Formalization
Kind: axis
Record: reasoning:axis-formalization
Canonical: Reasoning
What does it resolve to?
Listed in Reasoning records, after Representation and before Teleology.
Contracts
- Portable Contract Composition
- Adapter Rendering
- Agent Workflow File Modification Recovery
- Shared Document Workspace
- Agent Document Responsibility
- Agent Activation Invocation
- Parallel Batch Execution
- Sequential Agent Execution
- Handoff Signal
- Orchestrator Action
- Workflow Coordination Sequence
- Workflow Recovery Loop
- Checklist Integration
- Phase Documentation Template
- Capability Invocation Protocol
- Centralized Reference Resolver
- Cache Invalidation Strategy
- Manual Fallback Preservation
- Dynamic Failure Isolation
- Entry Point Migration
- Knowledge Capture
- Replacement Refactor
- Rollback-Centered Execution
- Compilation Stage
- Codebase Pattern Enforcement
- Verb Template Binding
- Task Atomization
- Ripple Chain Analysis
- Validator Coverage
- Structured Observability Context
- Cross-Cutting Surface Coverage
- Legacy Elimination
- Hierarchical Numbering
- File-Scoped Fix
- File Limit Remediation
- Import Boundary Remediation
- Naming Convention Remediation
- Base-Class Compliance Remediation
- CSS Token Remediation
- DOM Factory Remediation
- Console Usage Remediation
- Lifecycle Symmetry Remediation
- Stylelint Post-Fix
- File Modification Recovery
- Defensive String Normalization
- Safe Arithmetic Contract
- Recursion Control
- Advanced Tool Escalation
- Test Authoring
- PAG Explicit Control Flow
- PAG Semantic Operation
- Base Schematic Composition
- Backup-Verified Migration
- Registry Regeneration
- Anti-Reintroduction Gate
- Idempotent Merge
- Deterministic Merge Core
- Persistence Fork
- Comment Normalization Remediation
- Custom-Rule Derivation
- Composed Turn Contract
- Container Reshape
Layer
Nodes
- for-existence
- for-structure
- for-relation
- for-space
- for-transformation
- for-invariance
- for-uncertainty
- for-computation
- for-abstraction
- for-creation
- for-absence
Primary math type
Concept
Axis of
Grounded by
- WRITE
- EXECUTE
- SEND
- YIELDS
- OUTPUT_CONTRACT
- PERSIST_ARTIFACT
- EXECUTE_TOOL
- REPORT_RESULT
- semantic_operation
- tool_invocation
- tool_result_clause
- directive
- action_expr
Linked from
- Agent creation
- Agent workflow
- Automation
- Centralization
- Checklist creation
- Codebase verification
- Context verification
- Test coverage
- Pattern Abstract Grammar
- Pattern distillation
- Living profile
- Quality engine
- Mode-driven response schema
- Taxonomy
- The derivation loop
- The reasoning layers
- The nodes
- action
- node
- semantic_operation
- coordination
- statement
- Document types