Scope
Chapter “The projective loop”, section “The reversal”. This is assertion 1 of 1 in that section.
Expanded claim page · assertion 1 of 1
The reversal
Obstruction / no-goAuditor
A stated candidate class or identification has been ruled out under explicit assumptions. checks assumptions, certificates, counterexamples and stopping rules.
Exact assertion
The central return −I preserves determinant orientation. It therefore cannot simply be renamed chirality or identified with a Pfaffian-sheet reversal. The negative result is productive: it tells the programme that orientation needs an independently odd datum.
What this commits us to
A specified candidate class fails under explicit assumptions. The conclusion does not automatically extend to mechanisms outside that class.
Logical anatomy
Evidence posture
Check the assumptions defining the ruled-out candidate class; the no-go does not automatically extend beyond that class.
Research move
checks assumptions, certificates, counterexamples and stopping rules.
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
Break one of the no-go assumptions in a controlled construction, or show that the alleged obstruction does not follow within its stated class.
Source map
Controlling documents
- the Wilson pi flux is the nontrivial RP1 line holonomy but its canonical frame lift is central minus I not a Pfaffian sheet flipOpen controlling document →
- the oriented area is exactly the pfaffian line of the response root but its microscopic weak higgs identification remains openOpen controlling document →