Logic
Kind: math-type
Record: reasoning:math-type-logic
Canonical: Reasoning
Does it hold, and what follows from it?
Listed in Reasoning records, after Set Theory and before Graph.
Contracts
- Semantic Operation Boundary
- Domain Cache Validation
- Principle Extraction
- Phase Validation Requirement
- Validation Strategy Composition
- Semantic Compliance Validation
- Algorithmic Embodiment Validation
- Agent Generation Completion
- Hybrid Workflow Orchestration
- Context Forking Configuration
- Verb-Based Execution Classification
- Workflow Type Document Selection
- Handoff Signal
- Orchestrator Action
- Workflow Principles Mapping
- Workflow Validation Gate
- Anti-Pattern Inversion
- Architecture Smell Record
- Document Truth Alignment
- Interface Contract
- Substitutability
- Extension Point
- Behavioral Dispatch
- Port Adapter
- Transaction Boundary
- Idempotent Side Effect
- Deterministic Core
- Error Boundary
- Cache Correctness
- Security Policy
- Control Plane
- Universal Architectural Concern Template
- Consumer Config SSOT
- Architectural Force Classification
- Conflict and Tension Resolution
- Violation Detection
- Enforcement Gate
- Modular Boundary Compliance
- Contract Compatibility
- Runtime Extensibility
- Event and Messaging Consistency
- State and Transaction Safety
- Correctness Verification
- Resilience Policy
- Security Governance
- Control Plane Coordination
- Metaprogramming Safety
- Model Lifecycle Governance
- Relationship Schema Validation
- Constraints Over Shortcuts
- Forward Compatibility Over Backward Compatibility
- Fail-Fast Over Fallback
- Explicit Removal Over Deprecation
- Greenfield Over Legacy
- Single-Path Determinism Over Dual-Path
- Immediacy Over Deferring
- Mandatory Over Optional
- Now Over For-Now
- Observed Execution Over Unobserved
- Compression Over Repetition
- Approved Evolution Over Unapproved
- Enforced Feedback Over Ignored
- Single Owner Over Shared Ownership
- Bounded Lifetime Over Unbounded
- Enforced Symmetry Over Asymmetric Lifecycle
- Explicit Retention Over Implicit
- Structural Release Over Discipline
- Immutable Data Over Mutable State
- Errors As Language Over Silent Errors
- Explicit Invalidity Over Hidden
- Event Emission Over Parent Callbacks
- Monotonic Growth Over Retraction
- Semantic Addressing Over Location Addressing
- Ordinal Time Over Timestamps
- Homoiconicity Over Separation
- Bounded Complexity Over Unlimited
- Computed Health Over Metric Health
- Secret Store Over Hardcoded Secrets
- Boundary Validation Over Unvalidated Input
- Least Privilege Over Broad Privilege
- Config Externalization Over Env Fallback
- Profile-First Over Unmeasured Optimization
- Rule As Code Over Convention
- Design By Contract Over Implicit Contract
- Versioned Evolution Over Breaking Change
- Schema-Validated Boundary Over Untyped
- Atomic Boundary Over Partial Commit
- Saga Compensation Over Distributed 2PC
- Async Events Over Synchronous Cross-Boundary
- Observable Signals Over Opaque Runtime
- Injected Dependency Over Hidden
- Convention Discovery Over Hardcoded Wiring
- Declarative Config Over Imperative
- Anti-Corruption Layer Over Cross-Context Leak
- Injected Nondeterminism Over Hidden
- Pattern By Fit Over Speculative Pattern
- Runtime-Neutral Automation Boundary
- Intentional Static Separation
- Extension Interface Discovery
- Performance-Aware Discovery Design
- Dynamic Extension Architecture
- Cache Invalidation Strategy
- Dynamic Failure Isolation
- Measured-vs-Estimated Validation
- Architecture Validation Before Persistence
- Automation Completion Status
- Runtime-Agnostic Adapter Boundary
- Pattern Classification
- Refactor Intent Classification
- Architecture Compliance Targeting
- Existing Solution Conflict
- Additive Debt Gate
- Pattern-Specific Validation
- Zero-Duplication Verification
- Completion Truthfulness
- Trust Anchor
- Intent & Directionality Normalization
- Planning Stage
- Principle Activation
- Protocol Semantic Selection
- Loop Class Labeling
- Codebase Pattern Enforcement
- Validator Coverage
- Structured Observability Context
- Cross-Cutting Surface Coverage
- Legacy Elimination
- Validation Stage
- Semantic Debt Policy
- Evidence-Based Claim Verification
- Validation Suite Battery
- Verification Execution
- Violation Classification
- Reverification Gate
- Evidence-Gated Claim Verification
- Environment Capability Verification
- Behavioral Self-Test
- Adversarial Input Testing
- Safe Arithmetic Contract
- Invocation Join
- Uncovered Gap Derivation
- Evidence Verdict
- Coverage Completion
- PAG Handoff Gate
- PAG Explicit Control Flow
- PAG Ambiguity Reduction
- PAG Well-Formedness Validation
- Anti-Pattern Classification
- Abstraction Boundary Principle
- Base-Class Candidate Selection
- Anti-Pattern Elimination Verification
- Pattern Distillation Completion Truthfulness
- Delta Capture
- Plan Phase Verification
- Canonical Config Resolution
- Machine Verdict Derivation
- Mode Contract Validation
- Type-Keyed Appearance
- Concern Classification
- Discovery Verification
- Taxonomy Completion
- Container Ladder
- Export Triage Ladder
- Alignment Cadence
Math domains
Primary math type of
Math type of
- Meaning
- Sequential Analysis
- Semantic Analysis
- Description
- Comparison
- Ground Truth
- Refutation Condition
- Support Against Refutation
- Standing
- Blocked Run
- Publication
- Difference
Linked from
- Agent creation
- Agent workflow
- Anti-patterns
- Architecture
- Architecture relationships
- Architectural Rules
- Automation
- Centralization
- Checklist creation
- Codebase verification
- Context verification
- Coordination
- Test coverage
- Pattern Abstract Grammar
- Pattern distillation
- Living profile
- Governed plan loop
- Quality engine
- Mode-driven response schema
- CSS cascade
- Taxonomy
- The substrate
- The axes
- The nodes