# Computation > What procedure produces it? Record: `reasoning:math-type-computation` Kind: math-type Canonical: https://banes-lab.com/ontology/reasoning#reasoning-math-type-computation Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Information Theory](https://banes-lab.com/records/reasoning/math-type-information-theory.md) and before [Dynamical Systems](https://banes-lab.com/records/reasoning/math-type-dynamical-systems.md). ## 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) - [Agent Creator Kernel](https://banes-lab.com/records/algorithms/agent-creator-kernel.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) - [Workflow Coordination Sequence](https://banes-lab.com/records/algorithms/workflow-coordination-sequence.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) - [Workflow Creation Kernel](https://banes-lab.com/records/algorithms/workflow-creation-kernel.md) - [Anti-Pattern Rule Compiler](https://banes-lab.com/records/algorithms/anti-pattern-rule-compiler.md) - [Architectural Contract Kernel](https://banes-lab.com/records/algorithms/architectural-contract-kernel.md) - [Construction Boundary](https://banes-lab.com/records/algorithms/construction-boundary.md) - [Saga Compensation](https://banes-lab.com/records/algorithms/saga-compensation.md) - [Declarative Metaprogramming](https://banes-lab.com/records/algorithms/declarative-metaprogramming.md) - [Manifest-Driven Documentation](https://banes-lab.com/records/algorithms/manifest-driven-documentation.md) - [Architecture Fitness Function Generation](https://banes-lab.com/records/algorithms/architecture-fitness-function-generation.md) - [Architecture Catalog Compiler](https://banes-lab.com/records/algorithms/architecture-catalog-compiler.md) - [Master Architecture Governance Kernel](https://banes-lab.com/records/algorithms/master-architecture-governance-kernel.md) - [Centralized Reference Resolver](https://banes-lab.com/records/algorithms/centralized-reference-resolver.md) - [Manual Fallback Preservation](https://banes-lab.com/records/algorithms/manual-fallback-preservation.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) - [Automation Kernel](https://banes-lab.com/records/algorithms/automation-kernel.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) - [Centralization Kernel](https://banes-lab.com/records/algorithms/centralization-kernel.md) - [Dynamic Discovery Pattern Generation](https://banes-lab.com/records/algorithms/dynamic-discovery-pattern-generation.md) - [Compilation Stage](https://banes-lab.com/records/algorithms/compilation-stage.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) - [Checklist Creation Kernel](https://banes-lab.com/records/algorithms/checklist-creation-kernel.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) - [Codebase Verification Kernel](https://banes-lab.com/records/algorithms/codebase-verification-kernel.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) - [Advanced Tool Escalation](https://banes-lab.com/records/algorithms/advanced-tool-escalation.md) - [Contract-Based Verification Kernel](https://banes-lab.com/records/algorithms/contract-based-verification-kernel.md) - [Convergence Walk](https://banes-lab.com/records/algorithms/convergence-walk.md) - [Test Authoring](https://banes-lab.com/records/algorithms/test-authoring.md) - [Test Coverage Kernel](https://banes-lab.com/records/algorithms/test-coverage-kernel.md) - [PAG Semantic Operation](https://banes-lab.com/records/algorithms/pag-tool-invocation.md) - [PAG Authoring Kernel](https://banes-lab.com/records/algorithms/pag-authoring-kernel.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) - [Pattern Distiller Kernel](https://banes-lab.com/records/algorithms/pattern-distiller-kernel.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) - [Living Profile Kernel](https://banes-lab.com/records/algorithms/living-profile-kernel.md) - [Governed Autonomous Plan Loop](https://banes-lab.com/records/algorithms/governed-autonomous-plan-loop.md) - [Quality Governance Loop](https://banes-lab.com/records/algorithms/quality-governance-loop.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) - [Loop-Owned Mode Selection](https://banes-lab.com/records/algorithms/loop-owned-mode-selection.md) - [Governed Construction Boundary](https://banes-lab.com/records/algorithms/governed-construction-boundary.md) - [Type-Migration Centralization](https://banes-lab.com/records/algorithms/type-migration-centralization.md) - [Container Reshape](https://banes-lab.com/records/algorithms/container-reshape.md) - [Taxonomy Kernel](https://banes-lab.com/records/algorithms/taxonomy-kernel.md) ## Math domains - [computation](https://banes-lab.com/records/reasoning/math-domain-computation.md) ## Primary math type of - [Formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) ## Math type of - [Creation](https://banes-lab.com/records/reasoning/node-rea-creation.md) - [Computational Representation](https://banes-lab.com/records/reasoning/node-rep-computational.md) - [Computability](https://banes-lab.com/records/reasoning/node-for-computation.md) - [Emergence](https://banes-lab.com/records/reasoning/node-for-creation.md) - [Procedure](https://banes-lab.com/records/reasoning/substrate-node-procedure.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) - [Anti-patterns](https://banes-lab.com/ontology/algorithms/algorithms-domain-anti-patterns.md) - [Architecture](https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md) - [Architecture relationships](https://banes-lab.com/ontology/algorithms/algorithms-domain-arch-relationships.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) - [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) - [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) - [CSS cascade](https://banes-lab.com/ontology/algorithms/algorithms-domain-css-cascade.md) - [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md) - [The substrate](https://banes-lab.com/ontology/reasoning/the-substrate.md) - [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md) - [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md) - [The maps](https://banes-lab.com/ontology/reasoning/the-maps.md)