Scope
Chapter “The admissibility frontier”, section “one action reaches the four detector ports”. This is assertion 2 of 3 in that section.
Expanded claim page · assertion 2 of 3
one action reaches the four detector ports
Interpretive mapIntegrator
Organizes thought or workflow but is not evidence for a physical claim. joins several typed results while letting the weakest edge set the claim.
Exact assertion
The same action covers both the exact quotient setting and the resolved outer-detuning intervention. Across 98 frequency and setting cases, its equation residual and injected-versus-dissipated power residual remain below numerical tolerance. This is the positive control OT-027 lacked: operator, amplitude, loss and record can belong to one causal model.
What this commits us to
The claim supplies a map or analogy. It becomes a derivation only after an explicit carrier-preserving map and invariant are given.
Logical anatomy
Evidence posture
Treat the passage as organization or analogy unless a cited carrier-preserving map is supplied.
Research move
joins several typed results while letting the weakest edge set the claim.
Verification route
- Recover the declared objects and assumptions from the controlling documents.
- Check the calculation, construction, obstruction or stopping rule on those same objects.
- Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
- Apply the status rule and retain every named external dependency.
What would move or defeat this claim
Provide an explicit map that preserves the claimed structure, then identify an observable consequence that the analogy alone did not supply.
Source map
Controlling documents
- admissibility 109 four mode sk action to recordOpen controlling document →
- admissibility 59 four mode quotient scar bench and tolerance closureOpen controlling document →
- admissibility 101 gaussian schwinger keldysh kms completionOpen controlling document →