Arith / CONCEPT
First Rejection Across Arbitrary Window Cuts
Every coordinate cut has an exact first-rejection response count and an exact Boolean collapse.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES7
PROOF DEPTH2
DOCUMENT LINKS1
Interval Seams and Terminal Ownership
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Balanced Interval Treestruth-dependency · Closed
- Four-Message Tree Rigiditytruth-dependency · Closed
- Garbled Posterior and Scalar Root Risktruth-dependency · Closed
- Scalar Softmax Trees and a Three-Class Obstructiontruth-dependency · Closed
- Shared Completion and First Rejectiontruth-dependency · Closed
- Tree Peak and Height Frontiertruth-dependency · Closed
- Two-State Profile Mass for Every Window Cuttruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A Surjective Column and Sharp Response Widthstructural-affinity · Closed
- Balanced Interval Treesstructural-affinity · Closed
- Capacity-sensitive supports and common extensionsstructural-affinity · Closed
- Common Extensions on Finite Treesstructural-affinity · Closed
- Complete Joint Identification on Whole Windowsstructural-affinity · Closed
- Complete Messages on Binary Treesstructural-affinity · Closed
- Constructive simulation with a multiplicative face equalitystructural-affinity · Closed
- Constructive Zeckendorf Future Equivalencestructural-affinity · Closed
- Exact rational five-mode networks with internal zerosstructural-affinity · Closed
- Exact rational laws from strictly positive five-mode tablesstructural-affinity · Closed
- Four-Message Tree Rigiditystructural-affinity · Closed
- Garbled Posterior and Scalar Root Riskstructural-affinity · Closed
- Language Postprocessing Obstructionstructural-affinity · Closed
- Literal Windows and Positive Endstructural-affinity · Closed
- Priority Teachers on the Legal Five-Window Languagestructural-affinity · Closed
- Scalar Softmax Trees and a Three-Class Obstructionstructural-affinity · Closed
- Shared Completion and First Rejectionstructural-affinity · Closed
- Sharp Heterogeneous Whole-Window Teacher Separationstructural-affinity · Closed
- The null tuple and Boolean constraint expressibilitystructural-affinity · Closed
- Tree Peak and Height Frontierstructural-affinity · Closed
- Two-State Profile Mass for Every Window Cutstructural-affinity · Closed
- Uniform Support Signal on Legal Positive-End Wordsstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance