PredictionCertificates

Navigation page for Blueprint/D5/S3/ObserverMemory/PredictionCertificates/ at upstream snapshot 55a96922002fdbf5644c47264702e325d0b475c9.

Contents

• Clock Time Versus Refinement Depth
• Earliest Future Witness
• Finite Distinguishing Certificate
• Finite-History Permanent Stability
• Finite Stable Depth
• Canonical Local Prediction Minimality
• Local Prediction Certificate Minimality
• Local Distance Recurrence Uniqueness
• One-Step Permanent Stability
• Shortest-Distance Semantics