Transition operators make the boundary measurable

Exact assertion

A measured width still need not be that population lifetime. Pure dephasing, quasistatic frequency spread, power broadening, an effective continuum pole and the apparatus kernel can make similar lines. The next test therefore joins dark survival, Ramsey, echo, drive and resolution sweeps and propagates their independently measured contributions into the spectrum without refitting each line.

What this commits us to

The stated conclusion follows inside the declared model. Reusing it elsewhere requires carrying the same object definitions, assumptions and typing.

Logical anatomy

Verification route

1. Recover the declared objects and assumptions from the controlling documents.
2. Check the calculation, construction, obstruction or stopping rule on those same objects.
3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Locate a mismatched definition, an omitted assumption, a failed certificate step or a counterexample on the declared carrier.

Source map

Controlling documents

• admissibility 127 transition operators selection rules and lifetime frontierOpen controlling document →
• admissibility 128 widths coherence and escape are not one lifetimeOpen controlling document →
• admissibility 06 dynamic response geometry detection metastabilityOpen controlling document →
• frontier experiment atlas v1Open controlling document →
• transition operator propagation audit v1Open controlling document →