Optimization
Kind: math-type
Record: reasoning:math-type-optimization
Canonical: Reasoning
What is admissible or best?
Listed in Reasoning records, after Analysis and before Topology.
Contracts
- Creation History Collision
- Adaptive Phase Boundary
- Replacement Safety
- First-Time Initiation
- Architectural Style Boundary
- Verification Fitness
- Performance Scaling
- Architecture Selection Meta-Algorithm
- Severity Policy
- Refactor Selection
- Architecture Assessment
- Pattern Selection
- Performance and Scalability
- Architecture Evolution Governance
- Architectural Recommendation
- Architecture Decision Support
- Static-to-Dynamic Readiness
- Automation Operation Mode
- Automation Priority Ordering
- Operation Mode Gating
- Canonical Variation Selection
- Developer Decision Gate
- Teleological Intent Gate
- Severity Assignment
- Admissibility Constraint Gate
- Severity Failure Routing
- Severity-Ordered Remediation
- Phase-Separated Execution
- Validation Gate
- Coverage Risk Prioritization
- PAG Invariant Record
- Anti-Pattern Priority Matrix
- Boundary Reconciliation
- Phase Close Gate
- Bounded Cascade Termination
- Layer Fitness Enforcement
- Reshape Risk Priority
- Vocabulary Admission Gate