PredictionCertificates

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

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