# Computation > What can be generated or solved? Record: `reason:math-type-computation` Kind: math-type Canonical: https://banes-lab.com/ontology/reasoning#reason-math-type-computation ## domain - [Computation](https://banes-lab.com/records/reason/math-domain-computation.md) ## contracts - [Portable Contract Composition](https://banes-lab.com/records/algo/portable-contract-composition.md) - [Adapter Rendering](https://banes-lab.com/records/algo/adapter-rendering.md) - [Agent Creator Kernel](https://banes-lab.com/records/algo/agent-creator-kernel.md) - [File Modification Recovery](https://banes-lab.com/records/algo/agent-workflow-file-modification-recovery.md) - [Shared Document Workspace](https://banes-lab.com/records/algo/shared-document-workspace.md) - [Agent Document Responsibility](https://banes-lab.com/records/algo/agent-document-responsibility.md) - [Agent Activation Invocation](https://banes-lab.com/records/algo/agent-activation-invocation.md) - [Parallel Batch Execution](https://banes-lab.com/records/algo/parallel-batch-execution.md) - [Sequential Agent Execution](https://banes-lab.com/records/algo/sequential-agent-execution.md) - [Workflow Coordination Sequence](https://banes-lab.com/records/algo/workflow-coordination-sequence.md) - [Checklist Integration](https://banes-lab.com/records/algo/checklist-integration.md) - [Phase Documentation Template](https://banes-lab.com/records/algo/phase-documentation-template.md) - [Capability Invocation Protocol](https://banes-lab.com/records/algo/capability-invocation-protocol.md) - [Workflow Creation Kernel](https://banes-lab.com/records/algo/workflow-creation-kernel.md) - [Anti-Pattern Rule Compiler](https://banes-lab.com/records/algo/anti-pattern-rule-compiler.md) - [Architecture Fitness Function Generation](https://banes-lab.com/records/algo/architecture-fitness-function-generation.md) - [Architecture Catalog Compiler](https://banes-lab.com/records/algo/architecture-catalog-compiler.md) - [Master Architecture Governance Kernel](https://banes-lab.com/records/algo/master-architecture-governance-kernel.md) - [Architectural Contract Kernel](https://banes-lab.com/records/algo/architectural-contract-kernel.md) - [Construction Boundary](https://banes-lab.com/records/algo/construction-boundary.md) - [Saga Compensation](https://banes-lab.com/records/algo/saga-compensation.md) - [Declarative Metaprogramming](https://banes-lab.com/records/algo/declarative-metaprogramming.md) - [Manifest-Driven Documentation](https://banes-lab.com/records/algo/manifest-driven-documentation.md) - [Centralized Reference Resolver](https://banes-lab.com/records/algo/centralized-reference-resolver.md) - [Manual Fallback Preservation](https://banes-lab.com/records/algo/manual-fallback-preservation.md) - [Entry Point Migration](https://banes-lab.com/records/algo/entry-point-migration.md) - [Knowledge Capture](https://banes-lab.com/records/algo/knowledge-capture.md) - [Automation Kernel](https://banes-lab.com/records/algo/automation-kernel.md) - [Replacement Refactor](https://banes-lab.com/records/algo/replacement-refactor.md) - [Rollback-Centered Execution](https://banes-lab.com/records/algo/rollback-centered-execution.md) - [Centralization Kernel](https://banes-lab.com/records/algo/centralization-kernel.md) - [Dynamic Discovery Pattern Generation](https://banes-lab.com/records/algo/dynamic-discovery-pattern-generation.md) - [Compilation Stage](https://banes-lab.com/records/algo/compilation-stage.md) - [Verb Template Binding](https://banes-lab.com/records/algo/verb-template-binding.md) - [Task Atomization](https://banes-lab.com/records/algo/task-atomization.md) - [Checklist Creation Kernel](https://banes-lab.com/records/algo/checklist-creation-kernel.md) - [File-Scoped Fix](https://banes-lab.com/records/algo/file-scoped-fix.md) - [File Limit Remediation](https://banes-lab.com/records/algo/file-limit-remediation.md) - [Import Boundary Remediation](https://banes-lab.com/records/algo/import-boundary-remediation.md) - [Naming Convention Remediation](https://banes-lab.com/records/algo/naming-convention-remediation.md) - [Base-Class Compliance Remediation](https://banes-lab.com/records/algo/base-class-compliance-remediation.md) - [CSS Token Remediation](https://banes-lab.com/records/algo/css-token-remediation.md) - [DOM Factory Remediation](https://banes-lab.com/records/algo/dom-factory-remediation.md) - [Console Usage Remediation](https://banes-lab.com/records/algo/console-usage-remediation.md) - [Lifecycle Symmetry Remediation](https://banes-lab.com/records/algo/lifecycle-symmetry-remediation.md) - [Stylelint Post-Fix](https://banes-lab.com/records/algo/stylelint-post-fix.md) - [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md) - [File Modification Recovery](https://banes-lab.com/records/algo/file-modification-recovery.md) - [Defensive String Normalization](https://banes-lab.com/records/algo/defensive-string-normalization.md) - [Advanced Tool Escalation](https://banes-lab.com/records/algo/advanced-tool-escalation.md) - [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md) - [Governed Construction Boundary](https://banes-lab.com/records/algo/governed-construction-boundary.md) - [Type-Migration Centralization](https://banes-lab.com/records/algo/type-migration-centralization.md) - [Governed Autonomous Plan Loop](https://banes-lab.com/records/algo/governed-autonomous-plan-loop.md) - [Idempotent Merge](https://banes-lab.com/records/algo/idempotent-merge.md) - [Deterministic Merge Core](https://banes-lab.com/records/algo/deterministic-merge-core.md) - [Persistence Fork](https://banes-lab.com/records/algo/persistence-fork.md) - [Living Profile Kernel](https://banes-lab.com/records/algo/living-profile-kernel.md) - [Composed Turn Contract](https://banes-lab.com/records/algo/composed-turn-contract.md) - [Loop-Owned Mode Selection](https://banes-lab.com/records/algo/loop-owned-mode-selection.md) - [PAG Semantic Operation](https://banes-lab.com/records/algo/pag-tool-invocation.md) - [PAG Authoring Kernel](https://banes-lab.com/records/algo/pag-authoring-kernel.md) - [Base Schematic Composition](https://banes-lab.com/records/algo/base-schematic-composition.md) - [Backup-Verified Migration](https://banes-lab.com/records/algo/backup-verified-migration.md) - [Registry Regeneration](https://banes-lab.com/records/algo/registry-regeneration.md) - [Anti-Reintroduction Gate](https://banes-lab.com/records/algo/anti-reintroduction-gate.md) - [Pattern Distiller Kernel](https://banes-lab.com/records/algo/pattern-distiller-kernel.md) - [Quality Governance Loop](https://banes-lab.com/records/algo/quality-governance-loop.md) - [Comment Normalization Remediation](https://banes-lab.com/records/algo/comment-normalization-remediation.md) - [Custom-Rule Derivation](https://banes-lab.com/records/algo/custom-rule-derivation.md) - [Container Reshape](https://banes-lab.com/records/algo/container-reshape.md) - [Taxonomy Kernel](https://banes-lab.com/records/algo/taxonomy-kernel.md) - [Test Authoring](https://banes-lab.com/records/algo/test-authoring.md) - [Test Coverage Kernel](https://banes-lab.com/records/algo/test-coverage-kernel.md) ## referenced-by - [Formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - [Rea Creation](https://banes-lab.com/records/reason/node-rea-creation.md) - [Rep Computational](https://banes-lab.com/records/reason/node-rep-computational.md) - [For Computation](https://banes-lab.com/records/reason/node-for-computation.md) - [For Creation](https://banes-lab.com/records/reason/node-for-creation.md) - [Procedure](https://banes-lab.com/records/reason/substrate-node-procedure.md) - [Procedure](https://banes-lab.com/records/reason/substrate-node-procedure.md) - [Transformational](https://banes-lab.com/records/reason/lens-transformational.md)