Constrain
Kind: stage
Record: stage:constrain
Canonical: Reasoning
What is it for?
Listed in Loop stages, after Act and before Verify.
Axis
Contracts
- Creation History Collision
- Replacement Safety
- Automation Operation Mode
- Operation Mode Gating
- Admissibility Constraint Gate
- Phase-Separated Execution
- PAG Invariant Record
- Boundary Reconciliation
- Vocabulary Admission Gate