Separation

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

Contents

• Boolean Effective Images Have a Surjective Slice
• Exact Boolean Budgets at Low Cycle Rank
• Boolean Tasks at Cyclomatic Rank Four
• Boolean Tasks and the Complete Rank-Three Odd Fiber
• An Actual Boolean K4 Subdivision and Its Exact Certificate
• A Rank-Three Protocol Beyond Balanced Deletion
• Capacity-sensitive supports and common extensions
• Completion Criterion
• Cone Residual Dual Witness
• Congruence Closure Duality
• Congruence Kernel
• Executable capacity-sensitive tree gluing
• Finite-Distance Invariant Sectors
• Finite Future Congruence
• Finite History Stability
• Finite Observation Refinement Bound
• FixedSkeletonWeightedInclusion
• The Actual Boolean Obstruction and Original Upper Contract
• Common Extensions on Finite Trees
• Invariant Separation Forces Infinite Observer Distance
• Missing Row Width Amplifier
• Moreau Decomposition
• Observer Distance Monotonicity Under Refinement
• Root-Pulse Refinement Depth
• Root Pulse Sharpness
• A Surjective Column and Sharp Response Width
• A Ternary Tree Obstruction to Two Messages per Side
• Bounded Cuts and Unbounded Three-Leaf Causal Peak