# The derivation loop > Every algorithm grammar is an instance of the derivation loop, which has ten stages, each on one reasoning axis, joined by transitions that sequence, gate or… Page: Ontology · Reasoning Canonical: https://banes-lab.com/ontology/reasoning#reasoning-loop-derivation-loop Listed in [Ontology · Reasoning](https://banes-lab.com/api/pages/ontology/reasoning.md), before [The substrate](https://banes-lab.com/ontology/reasoning/the-substrate.md). Every algorithm grammar is an instance of the derivation loop, which has ten stages, each on one reasoning axis, joined by transitions that sequence, gate or refute back. Each stage is listed with the contracts that run at it and the records it grounds, and the traversal is taught in [the loop](https://banes-lab.com/disciplined-methodology/start/the-loop.md) on the methodology page. How it is checked **Checked by** the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis **Population** Every process grammar, its kernel and its staged records **Freshness** A verdict stands until the loop, a grammar or a staged record changes **Refusal** The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage **Observation** None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes **Evidence** Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record **Authoritative side** The loop's stage list, which every kernel and staged record cites **Depends on** Not answered **Shape it refuses** Not answered Relations diagram The derivation loop with its gates. ```mermaid flowchart TB n_orient["orient · ontology"] n_intent["intent · teleology"] n_see["see · analysis"] n_derive["derive · reasoning"] n_project["project · reasoning"] n_act["act · formalization"] n_constrain["constrain · teleology"] n_verify["verify · verification"] n_commit["commit · representation"] n_terminate["terminate · termination"] n_orient --> n_intent n_intent -- tel-priority --> n_see n_see --> n_derive n_derive --> n_project n_project --> n_act n_act --> n_constrain n_constrain --> n_verify n_verify -.-> n_derive n_verify --> n_commit n_commit --> n_terminate n_terminate --> n_orient ``` ### orient - Axis: [ontology](https://banes-lab.com/records/reasoning/axis-ontology.md) Details Contracts [Evidence-Before-Generation](https://banes-lab.com/records/algorithms/evidence-before-generation.md), [Semantic Operation Boundary](https://banes-lab.com/records/algorithms/semantic-operation-boundary.md), [Capability Profile](https://banes-lab.com/records/algorithms/capability-profile.md), [Domain Cache Validation](https://banes-lab.com/records/algorithms/domain-cache-validation.md), [Scope Extraction](https://banes-lab.com/records/algorithms/scope-extraction.md), [Domain Knowledge Base](https://banes-lab.com/records/algorithms/domain-knowledge-base.md), [DSL Compliance Loading](https://banes-lab.com/records/algorithms/dsl-compliance-loading.md), [Workspace Configuration Discovery](https://banes-lab.com/records/algorithms/workspace-configuration-discovery.md), [Runtime-Neutral Automation Boundary](https://banes-lab.com/records/algorithms/runtime-neutral-automation-boundary.md), [Capability Degradation](https://banes-lab.com/records/algorithms/capability-degradation.md), [Automation Opportunity Detection](https://banes-lab.com/records/algorithms/automation-opportunity-detection.md), [Runtime-Agnostic Adapter Boundary](https://banes-lab.com/records/algorithms/runtime-agnostic-adapter-boundary.md), [Capability Disclosure](https://banes-lab.com/records/algorithms/capability-disclosure.md), [Iterative Variation Discovery](https://banes-lab.com/records/algorithms/iterative-variation-discovery.md), [Detection Registry](https://banes-lab.com/records/algorithms/detection-registry.md), [Orientation Stage](https://banes-lab.com/records/algorithms/orientation-stage.md), [Authoritative Source Loading](https://banes-lab.com/records/algorithms/authoritative-source-loading.md), [Trust Anchor](https://banes-lab.com/records/algorithms/trust-anchor.md), [Intent & Directionality Normalization](https://banes-lab.com/records/algorithms/intent-directionality-normalization.md), [Skeptical Context Acquisition](https://banes-lab.com/records/algorithms/skeptical-context-acquisition.md), [Dynamic Discovery Pattern Generation](https://banes-lab.com/records/algorithms/dynamic-discovery-pattern-generation.md), [Context Initialization](https://banes-lab.com/records/algorithms/context-initialization.md), [Trust Anchor Declaration](https://banes-lab.com/records/algorithms/trust-anchor-declaration.md), [Coverage Workspace](https://banes-lab.com/records/algorithms/coverage-workspace.md), [PAG Document Declaration](https://banes-lab.com/records/algorithms/pag-document-declaration.md), [Analysis Workspace](https://banes-lab.com/records/algorithms/analysis-workspace.md), [Registry Baseline](https://banes-lab.com/records/algorithms/registry-baseline.md), [Profile Compose](https://banes-lab.com/records/algorithms/profile-compose.md), [Seed Composition](https://banes-lab.com/records/algorithms/seed-composition.md), [Taxonomy Jurisdiction](https://banes-lab.com/records/algorithms/taxonomy-jurisdiction.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### intent - Axis: [teleology](https://banes-lab.com/records/reasoning/axis-teleology.md) Details Contracts [Adaptive Phase Boundary](https://banes-lab.com/records/algorithms/adaptive-phase-boundary.md), [Static-to-Dynamic Readiness](https://banes-lab.com/records/algorithms/static-to-dynamic-readiness.md), [Automation Priority Ordering](https://banes-lab.com/records/algorithms/automation-priority-ordering.md), [Canonical Variation Selection](https://banes-lab.com/records/algorithms/canonical-variation-selection.md), [Developer Decision Gate](https://banes-lab.com/records/algorithms/developer-decision-gate.md), [Teleological Intent Gate](https://banes-lab.com/records/algorithms/teleological-intent-gate.md), [Severity-Ordered Remediation](https://banes-lab.com/records/algorithms/severity-ordered-remediation.md), [Coverage Risk Prioritization](https://banes-lab.com/records/algorithms/coverage-risk-prioritization.md), [Anti-Pattern Priority Matrix](https://banes-lab.com/records/algorithms/anti-pattern-priority-matrix.md), [Reshape Risk Priority](https://banes-lab.com/records/algorithms/reshape-risk-priority.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### see - Axis: [analysis](https://banes-lab.com/records/reasoning/axis-analysis.md) Details Contracts [Non-Destructive Domain Investigation](https://banes-lab.com/records/algorithms/non-destructive-domain-investigation.md), [Risk Complexity Reversibility](https://banes-lab.com/records/algorithms/risk-complexity-reversibility.md), [Existing Pattern Extraction](https://banes-lab.com/records/algorithms/existing-pattern-extraction.md), [Knowledge Documentation Relevance](https://banes-lab.com/records/algorithms/knowledge-documentation-relevance.md), [Breaking Point Calculation](https://banes-lab.com/records/algorithms/breaking-point-calculation.md), [Convention Strength Analysis](https://banes-lab.com/records/algorithms/convention-strength-analysis.md), [Scalability Projection](https://banes-lab.com/records/algorithms/scalability-projection.md), [Research Guidance](https://banes-lab.com/records/algorithms/research-guidance.md), [Tool Calibration](https://banes-lab.com/records/algorithms/tool-calibration.md), [Lifetime Resolution](https://banes-lab.com/records/algorithms/lifetime-resolution.md), [Surface Grid Walk](https://banes-lab.com/records/algorithms/surface-grid-walk.md), [PAG Keyword Ontology](https://banes-lab.com/records/algorithms/pag-keyword-ontology.md), [Compliance Gap](https://banes-lab.com/records/algorithms/compliance-gap.md), [Semantic Domain Partitioning](https://banes-lab.com/records/algorithms/semantic-domain-partitioning.md), [Behavioral Signature Extraction](https://banes-lab.com/records/algorithms/behavioral-signature-extraction.md), [Cross-Class Pattern Detection](https://banes-lab.com/records/algorithms/cross-class-pattern-detection.md), [Behavioral Inconsistency](https://banes-lab.com/records/algorithms/behavioral-inconsistency.md), [Sequential Chain Duplication](https://banes-lab.com/records/algorithms/sequential-chain-duplication.md), [Temporal Coupling Detection](https://banes-lab.com/records/algorithms/temporal-coupling-detection.md), [Relational Graph Duplication](https://banes-lab.com/records/algorithms/relational-graph-duplication.md), [Causal Wiring Duplication](https://banes-lab.com/records/algorithms/causal-wiring-duplication.md), [Anomaly Outlier Detection](https://banes-lab.com/records/algorithms/anomaly-outlier-detection.md), [Conceptual Duplication Detection](https://banes-lab.com/records/algorithms/conceptual-duplication-detection.md), [Fractal Scale Duplication](https://banes-lab.com/records/algorithms/fractal-scale-duplication.md), [Path Role Walk](https://banes-lab.com/records/algorithms/path-role-walk.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### derive - Axis: [reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md) Details Contracts [Principle Extraction](https://banes-lab.com/records/algorithms/principle-extraction.md), [Hybrid Workflow Orchestration](https://banes-lab.com/records/algorithms/hybrid-workflow-orchestration.md), [Context Forking Configuration](https://banes-lab.com/records/algorithms/context-forking-configuration.md), [Verb-Based Execution Classification](https://banes-lab.com/records/algorithms/verb-based-execution-classification.md), [Workflow Type Document Selection](https://banes-lab.com/records/algorithms/workflow-type-document-selection.md), [Workflow Principles Mapping](https://banes-lab.com/records/algorithms/workflow-principles-mapping.md), [Intentional Static Separation](https://banes-lab.com/records/algorithms/intentional-static-separation.md), [Extension Interface Discovery](https://banes-lab.com/records/algorithms/extension-interface-discovery.md), [Pattern Classification](https://banes-lab.com/records/algorithms/pattern-classification.md), [Refactor Intent Classification](https://banes-lab.com/records/algorithms/refactor-intent-classification.md), [Architecture Compliance Targeting](https://banes-lab.com/records/algorithms/architecture-compliance-targeting.md), [Existing Solution Conflict](https://banes-lab.com/records/algorithms/existing-solution-conflict.md), [Planning Stage](https://banes-lab.com/records/algorithms/planning-stage.md), [Principle Activation](https://banes-lab.com/records/algorithms/principle-activation.md), [Protocol Semantic Selection](https://banes-lab.com/records/algorithms/protocol-semantic-selection.md), [Violation Classification](https://banes-lab.com/records/algorithms/violation-classification.md), [Invocation Join](https://banes-lab.com/records/algorithms/invocation-join.md), [Duplicate Disposition Walk](https://banes-lab.com/records/algorithms/duplicate-disposition-walk.md), [Uncovered Gap Derivation](https://banes-lab.com/records/algorithms/uncovered-gap-derivation.md), [PAG Ambiguity Reduction](https://banes-lab.com/records/algorithms/pag-ambiguity-reduction.md), [Anti-Pattern Classification](https://banes-lab.com/records/algorithms/anti-pattern-classification.md), [Abstraction Boundary Principle](https://banes-lab.com/records/algorithms/abstraction-boundary-principle.md), [Base-Class Candidate Selection](https://banes-lab.com/records/algorithms/base-class-candidate-selection.md), [Canonical Config Resolution](https://banes-lab.com/records/algorithms/canonical-config-resolution.md), [Concern Classification](https://banes-lab.com/records/algorithms/concern-classification.md), [Container Ladder](https://banes-lab.com/records/algorithms/container-ladder.md), [Export Triage Ladder](https://banes-lab.com/records/algorithms/export-triage-ladder.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### project - Axis: [reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md) Details Contracts [Phase Validation Requirement](https://banes-lab.com/records/algorithms/phase-validation-requirement.md), [Validation Strategy Composition](https://banes-lab.com/records/algorithms/validation-strategy-composition.md), [Agent Sequence Definition](https://banes-lab.com/records/algorithms/agent-sequence-definition.md), [Four-Dimensional Agent Graph](https://banes-lab.com/records/algorithms/four-dimensional-agent-graph.md), [Performance-Aware Discovery Design](https://banes-lab.com/records/algorithms/performance-aware-discovery-design.md), [Dynamic Extension Architecture](https://banes-lab.com/records/algorithms/dynamic-extension-architecture.md), [Migration Action Mapping](https://banes-lab.com/records/algorithms/migration-action-mapping.md), [Atomic Refactor Phase](https://banes-lab.com/records/algorithms/atomic-refactor-phase.md), [Phase Decomposition](https://banes-lab.com/records/algorithms/phase-decomposition.md), [Four-Dimensional Phase Graph](https://banes-lab.com/records/algorithms/four-dimensional-phase-graph.md), [Dependency Linearization](https://banes-lab.com/records/algorithms/dependency-linearization.md), [Severity Assignment](https://banes-lab.com/records/algorithms/severity-assignment.md), [Loop Class Labeling](https://banes-lab.com/records/algorithms/loop-class-labeling.md), [Technique and Invariant Selection](https://banes-lab.com/records/algorithms/technique-invariant-selection.md), [PAG Node Decomposition](https://banes-lab.com/records/algorithms/pag-node-decomposition.md), [PAG Structure Declaration](https://banes-lab.com/records/algorithms/pag-coordination-construct.md), [Concrete-vs-Abstract Responsibility Split](https://banes-lab.com/records/algorithms/concrete-vs-abstract-responsibility-split.md), [Template Method Lifecycle](https://banes-lab.com/records/algorithms/template-method-lifecycle.md), [Migration Ordering](https://banes-lab.com/records/algorithms/migration-ordering.md), [Stage Ordering](https://banes-lab.com/records/algorithms/stage-ordering.md), [Name Projection](https://banes-lab.com/records/algorithms/name-projection.md), [Dialect Resolution](https://banes-lab.com/records/algorithms/dialect-resolution.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### act - Axis: [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) Details Contracts [Portable Contract Composition](https://banes-lab.com/records/algorithms/portable-contract-composition.md), [Adapter Rendering](https://banes-lab.com/records/algorithms/adapter-rendering.md), [File Modification Recovery](https://banes-lab.com/records/algorithms/agent-workflow-file-modification-recovery.md), [Shared Document Workspace](https://banes-lab.com/records/algorithms/shared-document-workspace.md), [Agent Document Responsibility](https://banes-lab.com/records/algorithms/agent-document-responsibility.md), [Agent Activation Invocation](https://banes-lab.com/records/algorithms/agent-activation-invocation.md), [Parallel Batch Execution](https://banes-lab.com/records/algorithms/parallel-batch-execution.md), [Sequential Agent Execution](https://banes-lab.com/records/algorithms/sequential-agent-execution.md), [Handoff Signal](https://banes-lab.com/records/algorithms/handoff-signal.md), [Orchestrator Action](https://banes-lab.com/records/algorithms/orchestrator-action.md), [Workflow Coordination Sequence](https://banes-lab.com/records/algorithms/workflow-coordination-sequence.md), [Workflow Recovery Loop](https://banes-lab.com/records/algorithms/workflow-recovery-loop.md), [Checklist Integration](https://banes-lab.com/records/algorithms/checklist-integration.md), [Phase Documentation Template](https://banes-lab.com/records/algorithms/phase-documentation-template.md), [Capability Invocation Protocol](https://banes-lab.com/records/algorithms/capability-invocation-protocol.md), [Centralized Reference Resolver](https://banes-lab.com/records/algorithms/centralized-reference-resolver.md), [Cache Invalidation Strategy](https://banes-lab.com/records/algorithms/cache-invalidation-strategy.md), [Manual Fallback Preservation](https://banes-lab.com/records/algorithms/manual-fallback-preservation.md), [Dynamic Failure Isolation](https://banes-lab.com/records/algorithms/dynamic-failure-isolation.md), [Entry Point Migration](https://banes-lab.com/records/algorithms/entry-point-migration.md), [Knowledge Capture](https://banes-lab.com/records/algorithms/knowledge-capture.md), [Replacement Refactor](https://banes-lab.com/records/algorithms/replacement-refactor.md), [Rollback-Centered Execution](https://banes-lab.com/records/algorithms/rollback-centered-execution.md), [Compilation Stage](https://banes-lab.com/records/algorithms/compilation-stage.md), [Codebase Pattern Enforcement](https://banes-lab.com/records/algorithms/codebase-pattern-enforcement.md), [Verb Template Binding](https://banes-lab.com/records/algorithms/verb-template-binding.md), [Task Atomization](https://banes-lab.com/records/algorithms/task-atomization.md), [Ripple Chain Analysis](https://banes-lab.com/records/algorithms/ripple-chain-analysis.md), [Validator Coverage](https://banes-lab.com/records/algorithms/validator-coverage.md), [Structured Observability Context](https://banes-lab.com/records/algorithms/structured-observability-context.md), [Cross-Cutting Surface Coverage](https://banes-lab.com/records/algorithms/cross-cutting-surface-coverage.md), [Legacy Elimination](https://banes-lab.com/records/algorithms/legacy-elimination.md), [Hierarchical Numbering](https://banes-lab.com/records/algorithms/hierarchical-numbering.md), [File-Scoped Fix](https://banes-lab.com/records/algorithms/file-scoped-fix.md), [File Limit Remediation](https://banes-lab.com/records/algorithms/file-limit-remediation.md), [Import Boundary Remediation](https://banes-lab.com/records/algorithms/import-boundary-remediation.md), [Naming Convention Remediation](https://banes-lab.com/records/algorithms/naming-convention-remediation.md), [Base-Class Compliance Remediation](https://banes-lab.com/records/algorithms/base-class-compliance-remediation.md), [CSS Token Remediation](https://banes-lab.com/records/algorithms/css-token-remediation.md), [DOM Factory Remediation](https://banes-lab.com/records/algorithms/dom-factory-remediation.md), [Console Usage Remediation](https://banes-lab.com/records/algorithms/console-usage-remediation.md), [Lifecycle Symmetry Remediation](https://banes-lab.com/records/algorithms/lifecycle-symmetry-remediation.md), [Stylelint Post-Fix](https://banes-lab.com/records/algorithms/stylelint-post-fix.md), [File Modification Recovery](https://banes-lab.com/records/algorithms/file-modification-recovery.md), [Defensive String Normalization](https://banes-lab.com/records/algorithms/defensive-string-normalization.md), [Safe Arithmetic Contract](https://banes-lab.com/records/algorithms/safe-arithmetic-contract.md), [Recursion Control](https://banes-lab.com/records/algorithms/recursion-control.md), [Advanced Tool Escalation](https://banes-lab.com/records/algorithms/advanced-tool-escalation.md), [Test Authoring](https://banes-lab.com/records/algorithms/test-authoring.md), [PAG Explicit Control Flow](https://banes-lab.com/records/algorithms/pag-explicit-control-flow.md), [PAG Semantic Operation](https://banes-lab.com/records/algorithms/pag-tool-invocation.md), [Base Schematic Composition](https://banes-lab.com/records/algorithms/base-schematic-composition.md), [Backup-Verified Migration](https://banes-lab.com/records/algorithms/backup-verified-migration.md), [Registry Regeneration](https://banes-lab.com/records/algorithms/registry-regeneration.md), [Anti-Reintroduction Gate](https://banes-lab.com/records/algorithms/anti-reintroduction-gate.md), [Idempotent Merge](https://banes-lab.com/records/algorithms/idempotent-merge.md), [Deterministic Merge Core](https://banes-lab.com/records/algorithms/deterministic-merge-core.md), [Persistence Fork](https://banes-lab.com/records/algorithms/persistence-fork.md), [Comment Normalization Remediation](https://banes-lab.com/records/algorithms/comment-normalization-remediation.md), [Custom-Rule Derivation](https://banes-lab.com/records/algorithms/custom-rule-derivation.md), [Composed Turn Contract](https://banes-lab.com/records/algorithms/composed-turn-contract.md), [Container Reshape](https://banes-lab.com/records/algorithms/container-reshape.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### constrain - Axis: [teleology](https://banes-lab.com/records/reasoning/axis-teleology.md) Details Contracts [Creation History Collision](https://banes-lab.com/records/algorithms/creation-history-collision.md), [Replacement Safety](https://banes-lab.com/records/algorithms/replacement-safety.md), [Automation Operation Mode](https://banes-lab.com/records/algorithms/automation-operation-mode.md), [Operation Mode Gating](https://banes-lab.com/records/algorithms/operation-mode-gating.md), [Admissibility Constraint Gate](https://banes-lab.com/records/algorithms/admissibility-constraint-stage.md), [Phase-Separated Execution](https://banes-lab.com/records/algorithms/phase-separated-execution.md), [PAG Invariant Record](https://banes-lab.com/records/algorithms/pag-constraint-boundary.md), [Boundary Reconciliation](https://banes-lab.com/records/algorithms/boundary-reconciliation.md), [Vocabulary Admission Gate](https://banes-lab.com/records/algorithms/vocabulary-admission-gate.md) Grounds [Governed Autonomous Plan Loop](https://banes-lab.com/records/algorithms/governed-autonomous-plan-loop.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### verify - Axis: [verification](https://banes-lab.com/records/reasoning/axis-verification.md) Details Contracts [Semantic Compliance Validation](https://banes-lab.com/records/algorithms/semantic-compliance-validation.md), [Evidence Grounding Validation](https://banes-lab.com/records/algorithms/evidence-grounding-validation.md), [Algorithmic Embodiment Validation](https://banes-lab.com/records/algorithms/algorithmic-embodiment-validation.md), [Workflow Validation Gate](https://banes-lab.com/records/algorithms/workflow-validation-gate.md), [Measured-vs-Estimated Validation](https://banes-lab.com/records/algorithms/measured-vs-estimated-validation.md), [Architecture Validation Before Persistence](https://banes-lab.com/records/algorithms/architecture-validation-before-persistence.md), [Additive Debt Gate](https://banes-lab.com/records/algorithms/additive-debt-gate.md), [Pattern-Specific Validation](https://banes-lab.com/records/algorithms/pattern-specific-validation.md), [Zero-Duplication Verification](https://banes-lab.com/records/algorithms/zero-duplication-verification.md), [Validation Score](https://banes-lab.com/records/algorithms/validation-score.md), [Validation Stage](https://banes-lab.com/records/algorithms/validation-stage.md), [Semantic Debt Policy](https://banes-lab.com/records/algorithms/semantic-debt-policy.md), [Evidence-Based Claim Verification](https://banes-lab.com/records/algorithms/evidence-based-claim-verification.md), [Validation Suite Battery](https://banes-lab.com/records/algorithms/validation-suite-battery.md), [Repair Stage](https://banes-lab.com/records/algorithms/repair-stage.md), [Bounded Repair Loop](https://banes-lab.com/records/algorithms/bounded-repair-loop.md), [Severity Failure Routing](https://banes-lab.com/records/algorithms/severity-failure-routing.md), [Verification Loop](https://banes-lab.com/records/algorithms/verification-loop.md), [Verification Execution](https://banes-lab.com/records/algorithms/verification-execution.md), [Reverification Gate](https://banes-lab.com/records/algorithms/reverification-gate.md), [Evidence-Gated Claim Verification](https://banes-lab.com/records/algorithms/evidence-gated-claim-verification.md), [Environment Capability Verification](https://banes-lab.com/records/algorithms/environment-capability-verification.md), [Behavioral Self-Test](https://banes-lab.com/records/algorithms/behavioral-self-test.md), [Adversarial Input Testing](https://banes-lab.com/records/algorithms/adversarial-input-testing.md), [Recursive Self-Verification](https://banes-lab.com/records/algorithms/recursive-self-verification.md), [Evidence Verdict](https://banes-lab.com/records/algorithms/evidence-verdict.md), [PAG Handoff Gate](https://banes-lab.com/records/algorithms/pag-validation-gate.md), [Anti-Pattern Elimination Verification](https://banes-lab.com/records/algorithms/anti-pattern-elimination-verification.md), [Distillation Metrics](https://banes-lab.com/records/algorithms/distillation-metrics.md), [Delta Capture](https://banes-lab.com/records/algorithms/delta-capture.md), [Plan Phase Verification](https://banes-lab.com/records/algorithms/plan-phase-verification.md), [Machine Verdict Derivation](https://banes-lab.com/records/algorithms/machine-verdict-derivation.md), [Mode Contract Validation](https://banes-lab.com/records/algorithms/mode-contract-validation.md), [Discovery Verification](https://banes-lab.com/records/algorithms/discovery-verification.md), [Alignment Cadence](https://banes-lab.com/records/algorithms/alignment-cadence.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### commit - Axis: [representation](https://banes-lab.com/records/reasoning/axis-representation.md) Details Contracts [Audit Artifact](https://banes-lab.com/records/algorithms/audit-artifact.md), [Final Generation Report](https://banes-lab.com/records/algorithms/final-generation-report.md), [Template Assembly](https://banes-lab.com/records/algorithms/template-assembly.md), [Automation Session Report](https://banes-lab.com/records/algorithms/automation-session-report.md), [Centralization Report](https://banes-lab.com/records/algorithms/centralization-report.md), [Rendering Stage](https://banes-lab.com/records/algorithms/rendering-stage.md), [Checklist Output Rendering](https://banes-lab.com/records/algorithms/checklist-output-rendering.md), [Partial Success Reporting](https://banes-lab.com/records/algorithms/partial-success-reporting.md), [Completion Report](https://banes-lab.com/records/algorithms/completion-report.md), [Investigation Report](https://banes-lab.com/records/algorithms/investigation-report.md), [Action Log](https://banes-lab.com/records/algorithms/action-log.md), [Convergence Walk](https://banes-lab.com/records/algorithms/convergence-walk.md), [Coverage Ledger](https://banes-lab.com/records/algorithms/coverage-ledger.md), [Pattern Distillation History](https://banes-lab.com/records/algorithms/pattern-distillation-history.md), [Version Provenance](https://banes-lab.com/records/algorithms/version-provenance.md), [Living Plan State](https://banes-lab.com/records/algorithms/living-plan-state.md), [Versioned Turn Provenance](https://banes-lab.com/records/algorithms/versioned-turn-provenance.md), [Taxonomy Ledger](https://banes-lab.com/records/algorithms/taxonomy-ledger.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### terminate - Axis: [termination](https://banes-lab.com/records/reasoning/axis-termination.md) Details Contracts [Agent Generation Completion](https://banes-lab.com/records/algorithms/agent-generation-completion.md), [First-Time Initiation](https://banes-lab.com/records/algorithms/first-time-initiation.md), [Automation Completion Status](https://banes-lab.com/records/algorithms/automation-completion-status.md), [Completion Truthfulness](https://banes-lab.com/records/algorithms/completion-truthfulness.md), [Explicit Termination](https://banes-lab.com/records/algorithms/explicit-termination.md), [Early Success Exit](https://banes-lab.com/records/algorithms/early-success-exit.md), [Iteration Bound](https://banes-lab.com/records/algorithms/iteration-bound.md), [Validation Gate](https://banes-lab.com/records/algorithms/validation-gate.md), [Coverage Completion](https://banes-lab.com/records/algorithms/coverage-completion.md), [PAG Well-Formedness Validation](https://banes-lab.com/records/algorithms/pag-well-formedness-validation.md), [Completion Truthfulness](https://banes-lab.com/records/algorithms/pattern-distillation-completion-truthfulness.md), [Phase Close Gate](https://banes-lab.com/records/algorithms/phase-close-gate.md), [Bounded Cascade Termination](https://banes-lab.com/records/algorithms/bounded-cascade-termination.md), [Taxonomy Completion](https://banes-lab.com/records/algorithms/taxonomy-completion.md) How it is checked Checked by the reasoning-native check, which requires every process grammar's kernel to map the loop's stages and every staged record to name a real stage and that stage's axis Population Every process grammar, its kernel and its staged records Freshness A verdict stands until the loop, a grammar or a staged record changes Refusal The gate fails on an unknown stage, a stage whose axis does not match, or a kernel that omits the verify stage Observation None, because the loop is a procedure the grammars instantiate, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants an unknown stage, a mismatched axis and a kernel that omits the verify stage, and passes a fully typed staged record Authoritative side The loop's stage list, which every kernel and staged record cites Depends on Not answered Shape it refuses Not answered ### orient → intent Details [orient](https://banes-lab.com/records/stage/orient.md) → [intent](https://banes-lab.com/records/stage/intent.md) · Transition: sequences ### intent → see Details [intent](https://banes-lab.com/records/stage/intent.md) → [see](https://banes-lab.com/records/stage/see.md) · Transition: gates · Gate: tel-priority · On fail: redirect ### see → derive Details [see](https://banes-lab.com/records/stage/see.md) → [derive](https://banes-lab.com/records/stage/derive.md) · Transition: sequences ### derive → project Details [derive](https://banes-lab.com/records/stage/derive.md) → [project](https://banes-lab.com/records/stage/project.md) · Transition: sequences ### project → act Details [project](https://banes-lab.com/records/stage/project.md) → [act](https://banes-lab.com/records/stage/act.md) · Transition: sequences ### act → constrain Details [act](https://banes-lab.com/records/stage/act.md) → [constrain](https://banes-lab.com/records/stage/constrain.md) · Transition: sequences ### constrain → verify Details [constrain](https://banes-lab.com/records/stage/constrain.md) → [verify](https://banes-lab.com/records/stage/verify.md) · Transition: sequences ### verify → derive Details [verify](https://banes-lab.com/records/stage/verify.md) → [derive](https://banes-lab.com/records/stage/derive.md) · Transition: refutes-back · Gate: ver-evidence · On fail: derive ### verify → commit Details [verify](https://banes-lab.com/records/stage/verify.md) → [commit](https://banes-lab.com/records/stage/commit.md) · Transition: sequences ### commit → terminate Details [commit](https://banes-lab.com/records/stage/commit.md) → [terminate](https://banes-lab.com/records/stage/terminate.md) · Transition: sequences ### terminate → orient Details [terminate](https://banes-lab.com/records/stage/terminate.md) → [orient](https://banes-lab.com/records/stage/orient.md) · Transition: sequences · Gate: ter-stop · On pass: stop ## Links to - [The loop](https://banes-lab.com/disciplined-methodology/start/the-loop.md) - [Ontology](https://banes-lab.com/records/reasoning/axis-ontology.md) - [Evidence-Before-Generation](https://banes-lab.com/records/algorithms/evidence-before-generation.md) - [Semantic Operation Boundary](https://banes-lab.com/records/algorithms/semantic-operation-boundary.md) - [Capability Profile](https://banes-lab.com/records/algorithms/capability-profile.md) - [Domain Cache Validation](https://banes-lab.com/records/algorithms/domain-cache-validation.md) - [Scope Extraction](https://banes-lab.com/records/algorithms/scope-extraction.md) - [Domain Knowledge Base](https://banes-lab.com/records/algorithms/domain-knowledge-base.md) - [DSL Compliance Loading](https://banes-lab.com/records/algorithms/dsl-compliance-loading.md) - [Workspace Configuration Discovery](https://banes-lab.com/records/algorithms/workspace-configuration-discovery.md) - [Runtime-Neutral Automation Boundary](https://banes-lab.com/records/algorithms/runtime-neutral-automation-boundary.md) - [Capability Degradation](https://banes-lab.com/records/algorithms/capability-degradation.md) - [Automation Opportunity Detection](https://banes-lab.com/records/algorithms/automation-opportunity-detection.md) - [Runtime-Agnostic Adapter Boundary](https://banes-lab.com/records/algorithms/runtime-agnostic-adapter-boundary.md) - [Capability Disclosure](https://banes-lab.com/records/algorithms/capability-disclosure.md) - [Iterative Variation Discovery](https://banes-lab.com/records/algorithms/iterative-variation-discovery.md) - [Detection Registry](https://banes-lab.com/records/algorithms/detection-registry.md) - [Orientation Stage](https://banes-lab.com/records/algorithms/orientation-stage.md) - [Authoritative Source Loading](https://banes-lab.com/records/algorithms/authoritative-source-loading.md) - [Trust Anchor](https://banes-lab.com/records/algorithms/trust-anchor.md) - [Intent & Directionality Normalization](https://banes-lab.com/records/algorithms/intent-directionality-normalization.md) - [Skeptical Context Acquisition](https://banes-lab.com/records/algorithms/skeptical-context-acquisition.md) - [Dynamic Discovery Pattern Generation](https://banes-lab.com/records/algorithms/dynamic-discovery-pattern-generation.md) - [Context Initialization](https://banes-lab.com/records/algorithms/context-initialization.md) - [Trust Anchor Declaration](https://banes-lab.com/records/algorithms/trust-anchor-declaration.md) - [Coverage Workspace](https://banes-lab.com/records/algorithms/coverage-workspace.md) - [PAG Document Declaration](https://banes-lab.com/records/algorithms/pag-document-declaration.md) - [Analysis Workspace](https://banes-lab.com/records/algorithms/analysis-workspace.md) - [Registry Baseline](https://banes-lab.com/records/algorithms/registry-baseline.md) - [Profile Compose](https://banes-lab.com/records/algorithms/profile-compose.md) - [Seed Composition](https://banes-lab.com/records/algorithms/seed-composition.md) - [Taxonomy Jurisdiction](https://banes-lab.com/records/algorithms/taxonomy-jurisdiction.md) - [Teleology](https://banes-lab.com/records/reasoning/axis-teleology.md) - [Adaptive Phase Boundary](https://banes-lab.com/records/algorithms/adaptive-phase-boundary.md) - [Static-to-Dynamic Readiness](https://banes-lab.com/records/algorithms/static-to-dynamic-readiness.md) - [Automation Priority Ordering](https://banes-lab.com/records/algorithms/automation-priority-ordering.md) - [Canonical Variation Selection](https://banes-lab.com/records/algorithms/canonical-variation-selection.md) - [Developer Decision Gate](https://banes-lab.com/records/algorithms/developer-decision-gate.md) - [Teleological Intent Gate](https://banes-lab.com/records/algorithms/teleological-intent-gate.md) - [Severity-Ordered Remediation](https://banes-lab.com/records/algorithms/severity-ordered-remediation.md) - [Coverage Risk Prioritization](https://banes-lab.com/records/algorithms/coverage-risk-prioritization.md) - [Anti-Pattern Priority Matrix](https://banes-lab.com/records/algorithms/anti-pattern-priority-matrix.md) - [Reshape Risk Priority](https://banes-lab.com/records/algorithms/reshape-risk-priority.md) - [Analysis](https://banes-lab.com/records/reasoning/axis-analysis.md) - [Non-Destructive Domain Investigation](https://banes-lab.com/records/algorithms/non-destructive-domain-investigation.md) - [Risk Complexity Reversibility](https://banes-lab.com/records/algorithms/risk-complexity-reversibility.md) - [Existing Pattern Extraction](https://banes-lab.com/records/algorithms/existing-pattern-extraction.md) - [Knowledge Documentation Relevance](https://banes-lab.com/records/algorithms/knowledge-documentation-relevance.md) - [Breaking Point Calculation](https://banes-lab.com/records/algorithms/breaking-point-calculation.md) - [Convention Strength Analysis](https://banes-lab.com/records/algorithms/convention-strength-analysis.md) - [Scalability Projection](https://banes-lab.com/records/algorithms/scalability-projection.md) - [Research Guidance](https://banes-lab.com/records/algorithms/research-guidance.md) - [Tool Calibration](https://banes-lab.com/records/algorithms/tool-calibration.md) - [Lifetime Resolution](https://banes-lab.com/records/algorithms/lifetime-resolution.md) - [Surface Grid Walk](https://banes-lab.com/records/algorithms/surface-grid-walk.md) - [PAG Keyword Ontology](https://banes-lab.com/records/algorithms/pag-keyword-ontology.md) - [Compliance Gap](https://banes-lab.com/records/algorithms/compliance-gap.md) - [Semantic Domain Partitioning](https://banes-lab.com/records/algorithms/semantic-domain-partitioning.md) - [Behavioral Signature Extraction](https://banes-lab.com/records/algorithms/behavioral-signature-extraction.md) - [Cross-Class Pattern Detection](https://banes-lab.com/records/algorithms/cross-class-pattern-detection.md) - [Behavioral Inconsistency](https://banes-lab.com/records/algorithms/behavioral-inconsistency.md) - [Sequential Chain Duplication](https://banes-lab.com/records/algorithms/sequential-chain-duplication.md) - [Temporal Coupling Detection](https://banes-lab.com/records/algorithms/temporal-coupling-detection.md) - [Relational Graph Duplication](https://banes-lab.com/records/algorithms/relational-graph-duplication.md) - [Causal Wiring Duplication](https://banes-lab.com/records/algorithms/causal-wiring-duplication.md) - [Anomaly Outlier Detection](https://banes-lab.com/records/algorithms/anomaly-outlier-detection.md) - [Conceptual Duplication Detection](https://banes-lab.com/records/algorithms/conceptual-duplication-detection.md) - [Fractal Scale Duplication](https://banes-lab.com/records/algorithms/fractal-scale-duplication.md) - [Path Role Walk](https://banes-lab.com/records/algorithms/path-role-walk.md) - [Reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md) - [Principle Extraction](https://banes-lab.com/records/algorithms/principle-extraction.md) - [Hybrid Workflow Orchestration](https://banes-lab.com/records/algorithms/hybrid-workflow-orchestration.md) - [Context Forking Configuration](https://banes-lab.com/records/algorithms/context-forking-configuration.md) - [Verb-Based Execution Classification](https://banes-lab.com/records/algorithms/verb-based-execution-classification.md) - [Workflow Type Document Selection](https://banes-lab.com/records/algorithms/workflow-type-document-selection.md) - [Workflow Principles Mapping](https://banes-lab.com/records/algorithms/workflow-principles-mapping.md) - [Intentional Static Separation](https://banes-lab.com/records/algorithms/intentional-static-separation.md) - [Extension Interface Discovery](https://banes-lab.com/records/algorithms/extension-interface-discovery.md) - [Pattern Classification](https://banes-lab.com/records/algorithms/pattern-classification.md) - [Refactor Intent Classification](https://banes-lab.com/records/algorithms/refactor-intent-classification.md) - [Architecture Compliance Targeting](https://banes-lab.com/records/algorithms/architecture-compliance-targeting.md) - [Existing Solution Conflict](https://banes-lab.com/records/algorithms/existing-solution-conflict.md) - [Planning Stage](https://banes-lab.com/records/algorithms/planning-stage.md) - [Principle Activation](https://banes-lab.com/records/algorithms/principle-activation.md) - [Protocol Semantic Selection](https://banes-lab.com/records/algorithms/protocol-semantic-selection.md) - [Violation Classification](https://banes-lab.com/records/algorithms/violation-classification.md) - [Invocation Join](https://banes-lab.com/records/algorithms/invocation-join.md) - [Duplicate Disposition Walk](https://banes-lab.com/records/algorithms/duplicate-disposition-walk.md) - [Uncovered Gap Derivation](https://banes-lab.com/records/algorithms/uncovered-gap-derivation.md) - [PAG Ambiguity Reduction](https://banes-lab.com/records/algorithms/pag-ambiguity-reduction.md) - [Anti-Pattern Classification](https://banes-lab.com/records/algorithms/anti-pattern-classification.md) - [Abstraction Boundary Principle](https://banes-lab.com/records/algorithms/abstraction-boundary-principle.md) - [Base-Class Candidate Selection](https://banes-lab.com/records/algorithms/base-class-candidate-selection.md) - [Canonical Config Resolution](https://banes-lab.com/records/algorithms/canonical-config-resolution.md) - [Concern Classification](https://banes-lab.com/records/algorithms/concern-classification.md) - [Container Ladder](https://banes-lab.com/records/algorithms/container-ladder.md) - [Export Triage Ladder](https://banes-lab.com/records/algorithms/export-triage-ladder.md) - [Phase Validation Requirement](https://banes-lab.com/records/algorithms/phase-validation-requirement.md) - [Validation Strategy Composition](https://banes-lab.com/records/algorithms/validation-strategy-composition.md) - [Agent Sequence Definition](https://banes-lab.com/records/algorithms/agent-sequence-definition.md) - [Four-Dimensional Agent Graph](https://banes-lab.com/records/algorithms/four-dimensional-agent-graph.md) - [Performance-Aware Discovery Design](https://banes-lab.com/records/algorithms/performance-aware-discovery-design.md) - [Dynamic Extension Architecture](https://banes-lab.com/records/algorithms/dynamic-extension-architecture.md) - [Migration Action Mapping](https://banes-lab.com/records/algorithms/migration-action-mapping.md) - [Atomic Refactor Phase](https://banes-lab.com/records/algorithms/atomic-refactor-phase.md) - [Phase Decomposition](https://banes-lab.com/records/algorithms/phase-decomposition.md) - [Four-Dimensional Phase Graph](https://banes-lab.com/records/algorithms/four-dimensional-phase-graph.md) - [Dependency Linearization](https://banes-lab.com/records/algorithms/dependency-linearization.md) - [Severity Assignment](https://banes-lab.com/records/algorithms/severity-assignment.md) - [Loop Class Labeling](https://banes-lab.com/records/algorithms/loop-class-labeling.md) - [Technique and Invariant Selection](https://banes-lab.com/records/algorithms/technique-invariant-selection.md) - [PAG Node Decomposition](https://banes-lab.com/records/algorithms/pag-node-decomposition.md) - [PAG Structure Declaration](https://banes-lab.com/records/algorithms/pag-coordination-construct.md) - [Concrete-vs-Abstract Responsibility Split](https://banes-lab.com/records/algorithms/concrete-vs-abstract-responsibility-split.md) - [Template Method Lifecycle](https://banes-lab.com/records/algorithms/template-method-lifecycle.md) - [Migration Ordering](https://banes-lab.com/records/algorithms/migration-ordering.md) - [Stage Ordering](https://banes-lab.com/records/algorithms/stage-ordering.md) - [Name Projection](https://banes-lab.com/records/algorithms/name-projection.md) - [Dialect Resolution](https://banes-lab.com/records/algorithms/dialect-resolution.md) - [Formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) - [Portable Contract Composition](https://banes-lab.com/records/algorithms/portable-contract-composition.md) - [Adapter Rendering](https://banes-lab.com/records/algorithms/adapter-rendering.md) - [File Modification Recovery](https://banes-lab.com/records/algorithms/agent-workflow-file-modification-recovery.md) - [Shared Document Workspace](https://banes-lab.com/records/algorithms/shared-document-workspace.md) - [Agent Document Responsibility](https://banes-lab.com/records/algorithms/agent-document-responsibility.md) - [Agent Activation Invocation](https://banes-lab.com/records/algorithms/agent-activation-invocation.md) - [Parallel Batch Execution](https://banes-lab.com/records/algorithms/parallel-batch-execution.md) - [Sequential Agent Execution](https://banes-lab.com/records/algorithms/sequential-agent-execution.md) - [Handoff Signal](https://banes-lab.com/records/algorithms/handoff-signal.md) - [Orchestrator Action](https://banes-lab.com/records/algorithms/orchestrator-action.md) - [Workflow Coordination Sequence](https://banes-lab.com/records/algorithms/workflow-coordination-sequence.md) - [Workflow Recovery Loop](https://banes-lab.com/records/algorithms/workflow-recovery-loop.md) - [Checklist Integration](https://banes-lab.com/records/algorithms/checklist-integration.md) - [Phase Documentation Template](https://banes-lab.com/records/algorithms/phase-documentation-template.md) - [Capability Invocation Protocol](https://banes-lab.com/records/algorithms/capability-invocation-protocol.md) - [Centralized Reference Resolver](https://banes-lab.com/records/algorithms/centralized-reference-resolver.md) - [Cache Invalidation Strategy](https://banes-lab.com/records/algorithms/cache-invalidation-strategy.md) - [Manual Fallback Preservation](https://banes-lab.com/records/algorithms/manual-fallback-preservation.md) - [Dynamic Failure Isolation](https://banes-lab.com/records/algorithms/dynamic-failure-isolation.md) - [Entry Point Migration](https://banes-lab.com/records/algorithms/entry-point-migration.md) - [Knowledge Capture](https://banes-lab.com/records/algorithms/knowledge-capture.md) - [Replacement Refactor](https://banes-lab.com/records/algorithms/replacement-refactor.md) - [Rollback-Centered Execution](https://banes-lab.com/records/algorithms/rollback-centered-execution.md) - [Compilation Stage](https://banes-lab.com/records/algorithms/compilation-stage.md) - [Codebase Pattern Enforcement](https://banes-lab.com/records/algorithms/codebase-pattern-enforcement.md) - [Verb Template Binding](https://banes-lab.com/records/algorithms/verb-template-binding.md) - [Task Atomization](https://banes-lab.com/records/algorithms/task-atomization.md) - [Ripple Chain Analysis](https://banes-lab.com/records/algorithms/ripple-chain-analysis.md) - [Validator Coverage](https://banes-lab.com/records/algorithms/validator-coverage.md) - [Structured Observability Context](https://banes-lab.com/records/algorithms/structured-observability-context.md) - [Cross-Cutting Surface Coverage](https://banes-lab.com/records/algorithms/cross-cutting-surface-coverage.md) - [Legacy Elimination](https://banes-lab.com/records/algorithms/legacy-elimination.md) - [Hierarchical Numbering](https://banes-lab.com/records/algorithms/hierarchical-numbering.md) - [File-Scoped Fix](https://banes-lab.com/records/algorithms/file-scoped-fix.md) - [File Limit Remediation](https://banes-lab.com/records/algorithms/file-limit-remediation.md) - [Import Boundary Remediation](https://banes-lab.com/records/algorithms/import-boundary-remediation.md) - [Naming Convention Remediation](https://banes-lab.com/records/algorithms/naming-convention-remediation.md) - [Base-Class Compliance Remediation](https://banes-lab.com/records/algorithms/base-class-compliance-remediation.md) - [CSS Token Remediation](https://banes-lab.com/records/algorithms/css-token-remediation.md) - [DOM Factory Remediation](https://banes-lab.com/records/algorithms/dom-factory-remediation.md) - [Console Usage Remediation](https://banes-lab.com/records/algorithms/console-usage-remediation.md) - [Lifecycle Symmetry Remediation](https://banes-lab.com/records/algorithms/lifecycle-symmetry-remediation.md) - [Stylelint Post-Fix](https://banes-lab.com/records/algorithms/stylelint-post-fix.md) - [File Modification Recovery](https://banes-lab.com/records/algorithms/file-modification-recovery.md) - [Defensive String Normalization](https://banes-lab.com/records/algorithms/defensive-string-normalization.md) - [Safe Arithmetic Contract](https://banes-lab.com/records/algorithms/safe-arithmetic-contract.md) - [Recursion Control](https://banes-lab.com/records/algorithms/recursion-control.md) - [Advanced Tool Escalation](https://banes-lab.com/records/algorithms/advanced-tool-escalation.md) - [Test Authoring](https://banes-lab.com/records/algorithms/test-authoring.md) - [PAG Explicit Control Flow](https://banes-lab.com/records/algorithms/pag-explicit-control-flow.md) - [PAG Semantic Operation](https://banes-lab.com/records/algorithms/pag-tool-invocation.md) - [Base Schematic Composition](https://banes-lab.com/records/algorithms/base-schematic-composition.md) - [Backup-Verified Migration](https://banes-lab.com/records/algorithms/backup-verified-migration.md) - [Registry Regeneration](https://banes-lab.com/records/algorithms/registry-regeneration.md) - [Anti-Reintroduction Gate](https://banes-lab.com/records/algorithms/anti-reintroduction-gate.md) - [Idempotent Merge](https://banes-lab.com/records/algorithms/idempotent-merge.md) - [Deterministic Merge Core](https://banes-lab.com/records/algorithms/deterministic-merge-core.md) - [Persistence Fork](https://banes-lab.com/records/algorithms/persistence-fork.md) - [Comment Normalization Remediation](https://banes-lab.com/records/algorithms/comment-normalization-remediation.md) - [Custom-Rule Derivation](https://banes-lab.com/records/algorithms/custom-rule-derivation.md) - [Composed Turn Contract](https://banes-lab.com/records/algorithms/composed-turn-contract.md) - [Container Reshape](https://banes-lab.com/records/algorithms/container-reshape.md) - [Creation History Collision](https://banes-lab.com/records/algorithms/creation-history-collision.md) - [Replacement Safety](https://banes-lab.com/records/algorithms/replacement-safety.md) - [Automation Operation Mode](https://banes-lab.com/records/algorithms/automation-operation-mode.md) - [Operation Mode Gating](https://banes-lab.com/records/algorithms/operation-mode-gating.md) - [Admissibility Constraint Gate](https://banes-lab.com/records/algorithms/admissibility-constraint-stage.md) - [Phase-Separated Execution](https://banes-lab.com/records/algorithms/phase-separated-execution.md) - [PAG Invariant Record](https://banes-lab.com/records/algorithms/pag-constraint-boundary.md) - [Boundary Reconciliation](https://banes-lab.com/records/algorithms/boundary-reconciliation.md) - [Vocabulary Admission Gate](https://banes-lab.com/records/algorithms/vocabulary-admission-gate.md) - [Governed Autonomous Plan Loop](https://banes-lab.com/records/algorithms/governed-autonomous-plan-loop.md) - [Verification](https://banes-lab.com/records/reasoning/axis-verification.md) - [Semantic Compliance Validation](https://banes-lab.com/records/algorithms/semantic-compliance-validation.md) - [Evidence Grounding Validation](https://banes-lab.com/records/algorithms/evidence-grounding-validation.md) - [Algorithmic Embodiment Validation](https://banes-lab.com/records/algorithms/algorithmic-embodiment-validation.md) - [Workflow Validation Gate](https://banes-lab.com/records/algorithms/workflow-validation-gate.md) - [Measured-vs-Estimated Validation](https://banes-lab.com/records/algorithms/measured-vs-estimated-validation.md) - [Architecture Validation Before Persistence](https://banes-lab.com/records/algorithms/architecture-validation-before-persistence.md) - [Additive Debt Gate](https://banes-lab.com/records/algorithms/additive-debt-gate.md) - [Pattern-Specific Validation](https://banes-lab.com/records/algorithms/pattern-specific-validation.md) - [Zero-Duplication Verification](https://banes-lab.com/records/algorithms/zero-duplication-verification.md) - [Validation Score](https://banes-lab.com/records/algorithms/validation-score.md) - [Validation Stage](https://banes-lab.com/records/algorithms/validation-stage.md) - [Semantic Debt Policy](https://banes-lab.com/records/algorithms/semantic-debt-policy.md) - [Evidence-Based Claim Verification](https://banes-lab.com/records/algorithms/evidence-based-claim-verification.md) - [Validation Suite Battery](https://banes-lab.com/records/algorithms/validation-suite-battery.md) - [Repair Stage](https://banes-lab.com/records/algorithms/repair-stage.md) - [Bounded Repair Loop](https://banes-lab.com/records/algorithms/bounded-repair-loop.md) - [Severity Failure Routing](https://banes-lab.com/records/algorithms/severity-failure-routing.md) - [Verification Loop](https://banes-lab.com/records/algorithms/verification-loop.md) - [Verification Execution](https://banes-lab.com/records/algorithms/verification-execution.md) - [Reverification Gate](https://banes-lab.com/records/algorithms/reverification-gate.md) - [Evidence-Gated Claim Verification](https://banes-lab.com/records/algorithms/evidence-gated-claim-verification.md) - [Environment Capability Verification](https://banes-lab.com/records/algorithms/environment-capability-verification.md) - [Behavioral Self-Test](https://banes-lab.com/records/algorithms/behavioral-self-test.md) - [Adversarial Input Testing](https://banes-lab.com/records/algorithms/adversarial-input-testing.md) - [Recursive Self-Verification](https://banes-lab.com/records/algorithms/recursive-self-verification.md) - [Evidence Verdict](https://banes-lab.com/records/algorithms/evidence-verdict.md) - [PAG Handoff Gate](https://banes-lab.com/records/algorithms/pag-validation-gate.md) - [Anti-Pattern Elimination Verification](https://banes-lab.com/records/algorithms/anti-pattern-elimination-verification.md) - [Distillation Metrics](https://banes-lab.com/records/algorithms/distillation-metrics.md) - [Delta Capture](https://banes-lab.com/records/algorithms/delta-capture.md) - [Plan Phase Verification](https://banes-lab.com/records/algorithms/plan-phase-verification.md) - [Machine Verdict Derivation](https://banes-lab.com/records/algorithms/machine-verdict-derivation.md) - [Mode Contract Validation](https://banes-lab.com/records/algorithms/mode-contract-validation.md) - [Discovery Verification](https://banes-lab.com/records/algorithms/discovery-verification.md) - [Alignment Cadence](https://banes-lab.com/records/algorithms/alignment-cadence.md) - [Representation](https://banes-lab.com/records/reasoning/axis-representation.md) - [Audit Artifact](https://banes-lab.com/records/algorithms/audit-artifact.md) - [Final Generation Report](https://banes-lab.com/records/algorithms/final-generation-report.md) - [Template Assembly](https://banes-lab.com/records/algorithms/template-assembly.md) - [Automation Session Report](https://banes-lab.com/records/algorithms/automation-session-report.md) - [Centralization Report](https://banes-lab.com/records/algorithms/centralization-report.md) - [Rendering Stage](https://banes-lab.com/records/algorithms/rendering-stage.md) - [Checklist Output Rendering](https://banes-lab.com/records/algorithms/checklist-output-rendering.md) - [Partial Success Reporting](https://banes-lab.com/records/algorithms/partial-success-reporting.md) - [Completion Report](https://banes-lab.com/records/algorithms/completion-report.md) - [Investigation Report](https://banes-lab.com/records/algorithms/investigation-report.md) - [Action Log](https://banes-lab.com/records/algorithms/action-log.md) - [Convergence Walk](https://banes-lab.com/records/algorithms/convergence-walk.md) - [Coverage Ledger](https://banes-lab.com/records/algorithms/coverage-ledger.md) - [Pattern Distillation History](https://banes-lab.com/records/algorithms/pattern-distillation-history.md) - [Version Provenance](https://banes-lab.com/records/algorithms/version-provenance.md) - [Living Plan State](https://banes-lab.com/records/algorithms/living-plan-state.md) - [Versioned Turn Provenance](https://banes-lab.com/records/algorithms/versioned-turn-provenance.md) - [Taxonomy Ledger](https://banes-lab.com/records/algorithms/taxonomy-ledger.md) - [Termination](https://banes-lab.com/records/reasoning/axis-termination.md) - [Agent Generation Completion](https://banes-lab.com/records/algorithms/agent-generation-completion.md) - [First-Time Initiation](https://banes-lab.com/records/algorithms/first-time-initiation.md) - [Automation Completion Status](https://banes-lab.com/records/algorithms/automation-completion-status.md) - [Completion Truthfulness](https://banes-lab.com/records/algorithms/completion-truthfulness.md) - [Explicit Termination](https://banes-lab.com/records/algorithms/explicit-termination.md) - [Early Success Exit](https://banes-lab.com/records/algorithms/early-success-exit.md) - [Iteration Bound](https://banes-lab.com/records/algorithms/iteration-bound.md) - [Validation Gate](https://banes-lab.com/records/algorithms/validation-gate.md) - [Coverage Completion](https://banes-lab.com/records/algorithms/coverage-completion.md) - [PAG Well-Formedness Validation](https://banes-lab.com/records/algorithms/pag-well-formedness-validation.md) - [Completion Truthfulness](https://banes-lab.com/records/algorithms/pattern-distillation-completion-truthfulness.md) - [Phase Close Gate](https://banes-lab.com/records/algorithms/phase-close-gate.md) - [Bounded Cascade Termination](https://banes-lab.com/records/algorithms/bounded-cascade-termination.md) - [Taxonomy Completion](https://banes-lab.com/records/algorithms/taxonomy-completion.md) - [Orient](https://banes-lab.com/records/stage/orient.md) - [Intent](https://banes-lab.com/records/stage/intent.md) - [See](https://banes-lab.com/records/stage/see.md) - [Derive](https://banes-lab.com/records/stage/derive.md) - [Project](https://banes-lab.com/records/stage/project.md) - [Act](https://banes-lab.com/records/stage/act.md) - [Constrain](https://banes-lab.com/records/stage/constrain.md) - [Verify](https://banes-lab.com/records/stage/verify.md) - [Commit](https://banes-lab.com/records/stage/commit.md) - [Terminate](https://banes-lab.com/records/stage/terminate.md) ## Linked from - [Agent creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-creation.md) - [Agent workflow](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md) - [Automation](https://banes-lab.com/ontology/algorithms/algorithms-domain-automation.md) - [Centralization](https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md) - [Checklist creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md) - [Codebase verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md) - [Context verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-context-verification.md) - [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md) - [Pattern Abstract Grammar](https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md) - [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md) - [Living profile](https://banes-lab.com/ontology/algorithms/algorithms-domain-living-profile.md) - [Governed plan loop](https://banes-lab.com/ontology/algorithms/algorithms-domain-governed-plan-loop.md) - [Quality engine](https://banes-lab.com/ontology/algorithms/algorithms-domain-quality-engine.md) - [Mode-driven response schema](https://banes-lab.com/ontology/algorithms/algorithms-domain-mode-driven-response-schema.md) - [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md) - [The groundings](https://banes-lab.com/ontology/reasoning/the-groundings.md) - [node](https://banes-lab.com/ontology/grammar/pag-keywords-node.md) - [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md)