Arith / CONCEPT
Original Completion Phase Replay
Original controller phases are replayed from coarse histories, resetting only the local history at phase boundaries.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH16
DOCUMENT LINKS0
Original action and phase replay
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
- Actual Completion Acquisition Cutstructural-affinity · Closed
- Bounded Native Cache and Control Lower Boundsstructural-affinity · Closed
- Exact Finite Trace Compilerstructural-affinity · Closed
- Exact Original Source Orbit Certificatesstructural-affinity · Closed
- Exact Support Pruning and Nominal Table Coveragestructural-affinity · Closed
- Native Actual Prefix Replay and Rigiditystructural-affinity · Closed
- Native Counterfactual Completion Obstructionstructural-affinity · Closed
- Original Completion Horizon and Literal Supportstructural-affinity · Closed
- Original Marked Exact Tables and Attained Minimastructural-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