Separation

Navigation page for Blueprint/D5/S3/Observer/Separation/ at upstream snapshot 55a96922002fdbf5644c47264702e325d0b475c9.

Contents

• Completion Criterion
• Cone Residual Dual Witness
• Congruence Closure Duality
• Congruence Kernel
• Finite-Distance Invariant Sectors
• Finite Future Congruence
• Finite History Stability
• Finite Observation Refinement Bound
• Invariant Separation Forces Infinite Observer Distance
• Moreau Decomposition
• Observer Distance Monotonicity Under Refinement
• Root-Pulse Refinement Depth
• Root Pulse Sharpness