Observer / CONCEPT
Posterior Dirac hitting and zero-error stopping
Posterior Dirac hitting and zero-error stopping
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS0
The exact finite-target stopping criterion
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual half-line recovery and full erasurestructural-affinity · Closed
- All-stationary geometric erasure tailstructural-affinity · Closed
- Explicit tails of the original twelve-state lawstructural-affinity · Closed
- Fixed-target recovery and unattained stopping errorstructural-affinity · Closed
- Independent seeds and the fixed original targetstructural-affinity · Closed
- Recovery of the original future residuestructural-affinity · Closed
- Stopping at the fixed original targetstructural-affinity · Closed
- The original twelve-state marked lawstructural-affinity · Closed
- Uniform guards from positive rectangular supportstructural-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