Scope
Chapter “The admissibility frontier”, section “Observers, horizons and outgoing channels”. This is assertion 4 of 4 in that section.
Expanded claim page · assertion 4 of 4
Observers, horizons and outgoing channels
ConditionalIntegrator
Works after a named field, coefficient, boundary condition or control is supplied. joins several typed results while letting the weakest edge set the claim.
Exact assertion
The five lanes share a source–evolution–channel–detector composition but differ in which block can be controlled. Thorium-229 is the fastest nested-closure test; generic nuclear reactions are the harshest vocabulary test; Unruh is the cleanest detector regression; Kerr is the strongest multi-record fundamental falsifier; Hawking is the deepest state–geometry–record endpoint. No lane yet supplies a source-derived Jordan/Lie physical bridge.
What this commits us to
The construction is admitted only after the named additional input is supplied. The page records the dependency instead of hiding it inside the conclusion.
Logical anatomy
Evidence posture
Identify the named external input and verify that the construction follows after it 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
Show that the named input is inconsistent, insufficient, unavailable, or fails to imply the claimed construction.
Source map
Controlling documents
- admissibility 136 acceleration changes detector closure not the global vacuumOpen controlling document →
- admissibility 137 hawking flux requires state horizon channel and detectorOpen controlling document →
- admissibility 138 kerr separates horizon ergosurface and superradiant channelOpen controlling document →
- admissibility 139 nuclear open systems calibrate seam channel and recordOpen controlling document →
- admissibility 140 observer horizon channel atlas and exhaustionOpen controlling document →
- admissibility 141 observer horizon and nuclear priority for next insightOpen controlling document →
- admissibility 143 th229 shared parent host channel factorization programmeOpen controlling document →
- admissibility 144 kerr multirecord public data consistency programmeOpen controlling document →
- admissibility 145 where the next insight can enterOpen controlling document →
- observer horizon nuclear literature review v1Open controlling document →