Arith / CONCEPT
Native relative prefix boxes
NativeRelativePrefixBoxes
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES0
PROOF DEPTH21
DOCUMENT LINKS0
Every attained blocking factor is a relative prefix box
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Complete raw rows and shared source reconstructionstructural-affinity · Closed
- Every missing-prefix actual obstructionstructural-affinity · Closed
- Guarded rank-only navigation and recordsstructural-affinity · Closed
- Masks, reached sets and original coordinate reconstructionstructural-affinity · Closed
- Native Birth-Vector Decoderstructural-affinity · Closed
- Native constructor array reconstructionstructural-affinity · Closed
- NativeFiniteBudgetClassificationstructural-affinity · Closed
- NativeWholeRowPlanstructural-affinity · Closed
- NativeWholeRowServicestructural-affinity · Closed
- Original ordered-menu branch-first codesstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance