Scope
Chapter “The projective loop”, section “From topology to a defect”. This is assertion 2 of 2 in that section.
Expanded claim page · assertion 2 of 2
From topology to a defect
ConditionalBuilder
Works after a named field, coefficient, boundary condition or control is supplied. constructs a model, mechanism, calculation, protocol or intervention.
Exact assertion
This cleanly separates memory from hardware: BF theory carries the sector label; the gapped reader carries non-topological dynamics; and the wall's origin remains an external microscopic question.
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
- charge three abelian higgs reduces conditionally to level three bf and a gapped unit charge reader can coexist only as non topological memoryOpen controlling document →
- a neutral z2 kink is the minimal defect origin and one even charge one boson localizes without mirror doublingOpen controlling document →