Scope
Chapter “The admissibility frontier”, section “name the coordinates before reading the signs”. This is assertion 1 of 3 in that section.
Expanded claim page · assertion 1 of 3
name the coordinates before reading the signs
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 triangle has two different kinds of content. Positivity, rank and determinant sign describe whether the joint response exists independently of an invertible change of source coordinates. The signs assigned to particular edges describe that response only after those coordinates have been named and held fixed.
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
- admissibility 75 operator basis covariance and cycle boundaryOpen controlling document →
- admissibility 74 one family triangle and global positivity gateOpen controlling document →
- admissibility 68 five coordinate source quotient and two current no goOpen controlling document →