Scope
Chapter “One carrier, two faces, three relations”, section “The graph result”. This is assertion 1 of 1 in that section.
Expanded claim page · assertion 1 of 1
The graph result
ConditionalBuilder
Works after a named field, coefficient, boundary condition or control is supplied. constructs a model, mechanism, calculation, protocol or intervention.
Exact assertion
A scaled cycle graph canonically isolates a real first-harmonic plane under refinement, but leaves an O(2) basis ambiguity. Symmetric controls generate only the common-oscillator \(\mathfrak{sp}(2,\mathbb R)\). Three addressed anisotropies can generate full \(\mathfrak{sp}(4,\mathbb R)\), but the addresses are control data, not consequences of the cycle. The graph lane therefore reaches conditional response symmetry, not emergent spacetime.
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
constructs a model, mechanism, calculation, protocol or intervention.
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
- full sp4 closure requires addressed anisotropy which is control data not cycle symmetryOpen controlling document →
- the graph to spin23 lane is internally exhausted at conditional response symmetry not spacetimeOpen controlling document →