# Reasoning > Why, and what follows? Record: `reasoning:axis-reasoning` Kind: axis Canonical: https://banes-lab.com/ontology/reasoning#reasoning-axis-reasoning Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Analysis](https://banes-lab.com/records/reasoning/axis-analysis.md) and before [Representation](https://banes-lab.com/records/reasoning/axis-representation.md). ## Contracts - [Principle Extraction](https://banes-lab.com/records/algorithms/principle-extraction.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) - [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) - [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) - [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) - [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) - [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) - [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) - [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) - [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) - [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) - [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) - [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) - [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) - [Canonical Config Resolution](https://banes-lab.com/records/algorithms/canonical-config-resolution.md) - [Stage Ordering](https://banes-lab.com/records/algorithms/stage-ordering.md) - [Concern Classification](https://banes-lab.com/records/algorithms/concern-classification.md) - [Name Projection](https://banes-lab.com/records/algorithms/name-projection.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) - [Dialect Resolution](https://banes-lab.com/records/algorithms/dialect-resolution.md) ## Layer - [Epistemic](https://banes-lab.com/records/reasoning/layer-epistemic.md) ## Nodes - [rea-observation](https://banes-lab.com/records/reasoning/node-rea-observation.md) - [rea-description](https://banes-lab.com/records/reasoning/node-rea-description.md) - [rea-comparison](https://banes-lab.com/records/reasoning/node-rea-comparison.md) - [rea-classification](https://banes-lab.com/records/reasoning/node-rea-classification.md) - [rea-explanation](https://banes-lab.com/records/reasoning/node-rea-explanation.md) - [rea-prediction](https://banes-lab.com/records/reasoning/node-rea-prediction.md) - [rea-intervention](https://banes-lab.com/records/reasoning/node-rea-intervention.md) - [rea-creation](https://banes-lab.com/records/reasoning/node-rea-creation.md) - [rea-reflection](https://banes-lab.com/records/reasoning/node-rea-reflection.md) ## Primary math type - [logic](https://banes-lab.com/records/reasoning/math-type-logic.md) ## Axis of - [Derive](https://banes-lab.com/records/stage/derive.md) - [Project](https://banes-lab.com/records/stage/project.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) - [Coordination](https://banes-lab.com/ontology/algorithms/algorithms-domain-coordination.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) - [Quality engine](https://banes-lab.com/ontology/algorithms/algorithms-domain-quality-engine.md) - [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md) - [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md) - [The reasoning layers](https://banes-lab.com/ontology/reasoning/the-reasoning-layers.md) - [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md) - [Document types](https://banes-lab.com/ontology/grammar/the-document-types.md)