Scope
Chapter “The admissibility frontier”, section “the missing middle has a type”. This is assertion 3 of 12 in that section.
Expanded claim page · assertion 3 of 12
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 corpus already contains a rank-two partial-sewing map from two channels into a three-dimensional environment. Under the standard sl2 plus sl3 action, that one map is cyclic: its orbit spans the full six-dimensional bifundamental module. The missing result is now narrower and more physical. The two port spaces have not been identified with the particular captured Claimipedia carriers, and no independent dynamics or boundary datum selects the observed map from its continuous orbit. A separate positive three-port model shows how locally real faces, a globally complex loop and Schur elimination can leave phase-bearing memory. The next test is the source-bearing carrier-identification square, selector provenance and a phase-sensitive retained-path measurement—not another dimension match.
The construction is admitted only after the named additional input is supplied. The page records the dependency instead of hiding it inside the conclusion.
Chapter “The admissibility frontier”, section “the missing middle has a type”. This is assertion 3 of 12 in that section.
Identify the named external input and verify that the construction follows after it is supplied.
joins several typed results while letting the weakest edge set the claim.
Show that the named input is inconsistent, insufficient, unavailable, or fails to imply the claimed construction.
Source map