Correctness verification
Kind: force
Record: force:correctness-verification
Canonical: Schema
214 algorithm contracts and 15 architecture principles name this force.
Listed in Forces, after Control coordination and before Domain boundary.
Contracts
- Action Log
- Adaptive Phase Boundary
- Admissibility Constraint Gate
- Advanced Tool Escalation
- Adversarial Input Testing
- Agent Creator Kernel
- Agent Generation Completion
- <Agent Generation Concern>
- Agent Sequence Definition
- Agent Workflow File Modification Recovery
- Algorithmic Embodiment Validation
- Alignment Cadence
- Anomaly Outlier Detection
- Anti-Pattern Elimination Verification
- Anti-Pattern Inversion
- Anti-Pattern Priority Matrix
- Anti-Pattern Propagation Kernel
- Anti-Pattern Remediation Algebra
- Anti-Pattern Rule Compiler
- Anti-Reintroduction Gate
- Architectural Contract Algebra
- Architectural Contract Kernel
- Architectural Relationship Algebra
- <Architecture Anti-Pattern>
- Architecture Compliance Targeting
- Architecture Evolution Governance
- Architecture Refactoring Roadmap
- Architecture Selection Meta-Algorithm
- Architecture Smell Record
- Architecture Validation Before Persistence
- Atomic Refactor Phase
- Audit Artifact
- Authoritative Source Loading
- Automation Completion Status
- <Automation Concern>
- Automation Kernel
- Automation Operation Mode
- Automation Session Report
- Backup-Verified Migration
- Base-Class Compliance Remediation
- Boundary Reconciliation
- Bounded Cascade Termination
- Cache Correctness
- Canonical Data
- Capability Degradation
- Capability Invocation Protocol
- Capability Profile
- Causality Ordering
- <Centralization Concern>
- Centralization Kernel
- Centralization Report
- Checklist Creation Kernel
- <Checklist Governance Concern>
- Checklist Output Rendering
- Codebase Pattern Enforcement
- Codebase Verification Kernel
- Comment Normalization Remediation
- Compilation Stage
- Completion Report
- Completion Truthfulness
- Compliance Gap
- <Compliance Verification Concern>
- Console Usage Remediation
- Consumer Config SSOT
- Context Forking Configuration
- Context Initialization
- <Context Verification Concern>
- Contract-Based Verification Kernel
- Contract Compatibility
- Correctness Verification
- Coverage Completion
- Coverage Ledger
- Coverage Risk Prioritization
- Coverage Workspace
- Cross-Stage Invariants
- CSS Token Remediation
- Custom-Rule Derivation
- Declarative Metaprogramming
- Dependency Linearization
- Detection Registry
- Deterministic Core
- Deterministic Merge Core
- Discovery Verification
- Document Truth Alignment
- DOM Factory Remediation
- Domain Cache Validation
- DSL Compliance Loading
- Duplicate Disposition Walk
- Dynamic Extension Architecture
- Dynamic Failure Isolation
- Early Success Exit
- Enforcement Gate
- Environment Capability Verification
- Event and Messaging Consistency
- Evidence-Based Claim Verification
- Evidence-Gated Claim Verification
- Evidence Grounding Validation
- Evidence Verdict
- Existing Pattern Extraction
- Explicit Termination
- Extension Point
- File Limit Remediation
- File Modification Recovery
- File-Scoped Fix
- Final Generation Report
- Governed Autonomous Plan Loop
- <Governed Plan Concern>
- Handoff Signal
- Import Boundary Remediation
- Intent & Directionality Normalization
- Investigation Report
- Iteration Bound
- Knowledge Capture
- Legacy Elimination
- Lifecycle Symmetry Remediation
- <Living Accumulation Concern>
- Living Plan State
- Loop-Owned Mode Selection
- Machine Verdict Derivation
- Manifest-Driven Documentation
- Master Architecture Governance Kernel
- Measured-vs-Estimated Validation
- Metaprogramming Safety
- Migration Ordering
- Mode Contract Validation
- <Mode-Driven Response Schema>
- Model Lifecycle Governance
- Modular Boundary Compliance
- Naming Convention Remediation
- Operation Mode Gating
- Orientation Stage
- PAG Ambiguity Reduction
- PAG Authoring Kernel
- PAG Invariant Record
- PAG Explicit Control Flow
- <PAG Instruction Concern>
- PAG Keyword Ontology
- PAG Handoff Gate
- PAG Well-Formedness Validation
- Partial Success Reporting
- Pattern Classification
- Pattern Distillation Completion Truthfulness
- <Pattern Distillation Concern>
- Pattern Distiller Kernel
- Pattern-Specific Validation
- Phase Close Gate
- Phase Decomposition
- Phase-Separated Execution
- Phase Validation Requirement
- Plan Phase Verification
- Planning Stage
- Portability Environment
- Portable Contract Composition
- Principle Activation
- Protocol Semantic Selection
- Quality Governance Loop
- RAG Knowledge Boundary
- Recursive Self-Verification
- Refactor Selection
- Relationship Schema Validation
- Rendering Stage
- Repair Stage
- Replacement Refactor
- Replacement Safety
- Reshape Risk Priority
- Reverification Gate
- Ripple Chain Analysis
- Rollback-Centered Execution
- Runtime Discovery
- Runtime-Neutral Automation Boundary
- Security Governance
- Security Policy
- Semantic Compliance Validation
- Semantic Debt Policy
- Sequential Agent Execution
- Severity-Ordered Remediation
- Skeptical Context Acquisition
- Smell Taxonomy
- State and Transaction Safety
- Static-to-Dynamic Readiness
- Stylelint Post-Fix
- Substitutability
- Surface Grid Walk
- Task Atomization
- Taxonomy Completion
- Taxonomy Kernel
- Technique and Invariant Selection
- Teleological Intent Gate
- Test Authoring
- <Test Coverage Concern>
- Test Coverage Kernel
- Tool Calibration
- Trust Anchor
- Trust Anchor Declaration
- Type-Migration Centralization
- Uncovered Gap Derivation
- Universal Architectural Concern Template
- Validation Gate
- Validation Score
- Validation Stage
- Validation Strategy Composition
- Validation Suite Battery
- Validator Coverage
- Verb Template Binding
- Verification Execution
- Verification Fitness
- Verification Loop
- Violation Classification
- Workflow Coordination Sequence
- Workflow Creation Kernel
- <Workflow Orchestration Concern>
- Workflow Recovery Loop
- Workflow Validation Gate
- Zero-Duplication Verification
Principles
- Manual-Only Governance
- Middle Man
- Primitive Obsession
- Long Parameter List
- Pattern Cargo Cult
- Temporal Coupling
- Exception Control Flow
- Transaction Script Sprawl
- Fat Controller
- Repository Dump
- Cache Poisoning by Design
- Silent Data Corruption
- Log-as-Control-Flow
- Mock Mirage
- Flaky Test Normalization
Linked from
- Anti-patterns
- Agent creation
- Agent workflow
- Anti-patterns
- Architecture
- Architecture relationships
- Automation
- Centralization
- Checklist creation
- Codebase verification
- Context verification
- Coordination
- Test coverage
- Pattern Abstract Grammar
- Pattern distillation
- Living profile
- Governed plan loop
- Quality engine
- Mode-driven response schema
- CSS cascade
- Taxonomy