ObserverMemory / CONCEPT
The obstruction to acquiring a binary phase singleton
Binary initial phase singletons require two complete blocks and paid arrival.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH16
DOCUMENT LINKS0
Every correct endpoint tree has horizon at least max(2,ceil(j/m))
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A waiting lower bound for arbitrary initial record targetsstructural-affinity · Closed
- Exact acquisition cost of a coprime phase singletonstructural-affinity · Closed
- Exact cost of repeated guarded phase queriesstructural-affinity · Closed
- FirstZeroRecursionstructural-affinity · Closed
- Initial tail acquisition and sharp block coststructural-affinity · Closed
- Internal zeros and literal seam safetystructural-affinity · Closed
- KBonacciIrreversibleAcquisitionstructural-affinity · Closed
- Literal inverses and safe shared charge suffixesstructural-affinity · Closed
- Original common-tail selectors and informative endpointsstructural-affinity · Closed
- Original execution on the joint native recordstructural-affinity · Closed
- Simultaneous codes for a full positive windowstructural-affinity · Closed
- The original acquired-history and paid-trace foundationstructural-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