Scope
Chapter “The admissibility frontier”, section “one action reaches the four detector ports”. This is assertion 3 of 3 in that section.
Expanded claim page · assertion 3 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 boundary remains decisive. The D4-shaped couplings were programmed into the apparatus, so the action does not explain why a natural carrier or a Claimipedia relation should realize them. The next look-here target is a source-native relation-to-hardware dictionary with a held-out detector consequence; building the bench tests action-to-record engineering, not fundamental D4 physics.
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 →