{
  "code": null,
  "collection": "reasoning",
  "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-logic",
  "id": "math-type-logic",
  "kind": "math-type",
  "layer": null,
  "name": "Logic",
  "ref": "reasoning:math-type-logic",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-semantic-operation-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/semantic-operation-boundary",
          "label": "Semantic Operation Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/semantic-operation-boundary.md",
          "ref": "algorithms:semantic-operation-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-cache-validation",
          "json": "https://banes-lab.com/json/records/algorithms/domain-cache-validation",
          "label": "Domain Cache Validation",
          "markdown": "https://banes-lab.com/records/algorithms/domain-cache-validation.md",
          "ref": "algorithms:domain-cache-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-principle-extraction",
          "json": "https://banes-lab.com/json/records/algorithms/principle-extraction",
          "label": "Principle Extraction",
          "markdown": "https://banes-lab.com/records/algorithms/principle-extraction.md",
          "ref": "algorithms:principle-extraction"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-phase-validation-requirement",
          "json": "https://banes-lab.com/json/records/algorithms/phase-validation-requirement",
          "label": "Phase Validation Requirement",
          "markdown": "https://banes-lab.com/records/algorithms/phase-validation-requirement.md",
          "ref": "algorithms:phase-validation-requirement"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-validation-strategy-composition",
          "json": "https://banes-lab.com/json/records/algorithms/validation-strategy-composition",
          "label": "Validation Strategy Composition",
          "markdown": "https://banes-lab.com/records/algorithms/validation-strategy-composition.md",
          "ref": "algorithms:validation-strategy-composition"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-semantic-compliance-validation",
          "json": "https://banes-lab.com/json/records/algorithms/semantic-compliance-validation",
          "label": "Semantic Compliance Validation",
          "markdown": "https://banes-lab.com/records/algorithms/semantic-compliance-validation.md",
          "ref": "algorithms:semantic-compliance-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-algorithmic-embodiment-validation",
          "json": "https://banes-lab.com/json/records/algorithms/algorithmic-embodiment-validation",
          "label": "Algorithmic Embodiment Validation",
          "markdown": "https://banes-lab.com/records/algorithms/algorithmic-embodiment-validation.md",
          "ref": "algorithms:algorithmic-embodiment-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-agent-generation-completion",
          "json": "https://banes-lab.com/json/records/algorithms/agent-generation-completion",
          "label": "Agent Generation Completion",
          "markdown": "https://banes-lab.com/records/algorithms/agent-generation-completion.md",
          "ref": "algorithms:agent-generation-completion"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-hybrid-workflow-orchestration",
          "json": "https://banes-lab.com/json/records/algorithms/hybrid-workflow-orchestration",
          "label": "Hybrid Workflow Orchestration",
          "markdown": "https://banes-lab.com/records/algorithms/hybrid-workflow-orchestration.md",
          "ref": "algorithms:hybrid-workflow-orchestration"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-context-forking-configuration",
          "json": "https://banes-lab.com/json/records/algorithms/context-forking-configuration",
          "label": "Context Forking Configuration",
          "markdown": "https://banes-lab.com/records/algorithms/context-forking-configuration.md",
          "ref": "algorithms:context-forking-configuration"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-verb-based-execution-classification",
          "json": "https://banes-lab.com/json/records/algorithms/verb-based-execution-classification",
          "label": "Verb-Based Execution Classification",
          "markdown": "https://banes-lab.com/records/algorithms/verb-based-execution-classification.md",
          "ref": "algorithms:verb-based-execution-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-workflow-type-document-selection",
          "json": "https://banes-lab.com/json/records/algorithms/workflow-type-document-selection",
          "label": "Workflow Type Document Selection",
          "markdown": "https://banes-lab.com/records/algorithms/workflow-type-document-selection.md",
          "ref": "algorithms:workflow-type-document-selection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-handoff-signal",
          "json": "https://banes-lab.com/json/records/algorithms/handoff-signal",
          "label": "Handoff Signal",
          "markdown": "https://banes-lab.com/records/algorithms/handoff-signal.md",
          "ref": "algorithms:handoff-signal"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-orchestrator-action",
          "json": "https://banes-lab.com/json/records/algorithms/orchestrator-action",
          "label": "Orchestrator Action",
          "markdown": "https://banes-lab.com/records/algorithms/orchestrator-action.md",
          "ref": "algorithms:orchestrator-action"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-workflow-principles-mapping",
          "json": "https://banes-lab.com/json/records/algorithms/workflow-principles-mapping",
          "label": "Workflow Principles Mapping",
          "markdown": "https://banes-lab.com/records/algorithms/workflow-principles-mapping.md",
          "ref": "algorithms:workflow-principles-mapping"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-workflow-validation-gate",
          "json": "https://banes-lab.com/json/records/algorithms/workflow-validation-gate",
          "label": "Workflow Validation Gate",
          "markdown": "https://banes-lab.com/records/algorithms/workflow-validation-gate.md",
          "ref": "algorithms:workflow-validation-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-anti-pattern-inversion",
          "json": "https://banes-lab.com/json/records/algorithms/anti-pattern-inversion",
          "label": "Anti-Pattern Inversion",
          "markdown": "https://banes-lab.com/records/algorithms/anti-pattern-inversion.md",
          "ref": "algorithms:anti-pattern-inversion"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-architecture-smell-record",
          "json": "https://banes-lab.com/json/records/algorithms/architecture-smell-record",
          "label": "Architecture Smell Record",
          "markdown": "https://banes-lab.com/records/algorithms/architecture-smell-record.md",
          "ref": "algorithms:architecture-smell-record"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-document-truth-alignment",
          "json": "https://banes-lab.com/json/records/algorithms/document-truth-alignment",
          "label": "Document Truth Alignment",
          "markdown": "https://banes-lab.com/records/algorithms/document-truth-alignment.md",
          "ref": "algorithms:document-truth-alignment"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-interface-contract",
          "json": "https://banes-lab.com/json/records/algorithms/interface-contract",
          "label": "Interface Contract",
          "markdown": "https://banes-lab.com/records/algorithms/interface-contract.md",
          "ref": "algorithms:interface-contract"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-substitutability",
          "json": "https://banes-lab.com/json/records/algorithms/substitutability",
          "label": "Substitutability",
          "markdown": "https://banes-lab.com/records/algorithms/substitutability.md",
          "ref": "algorithms:substitutability"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-extension-point",
          "json": "https://banes-lab.com/json/records/algorithms/extension-point",
          "label": "Extension Point",
          "markdown": "https://banes-lab.com/records/algorithms/extension-point.md",
          "ref": "algorithms:extension-point"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-behavioral-dispatch",
          "json": "https://banes-lab.com/json/records/algorithms/behavioral-dispatch",
          "label": "Behavioral Dispatch",
          "markdown": "https://banes-lab.com/records/algorithms/behavioral-dispatch.md",
          "ref": "algorithms:behavioral-dispatch"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-port-adapter",
          "json": "https://banes-lab.com/json/records/algorithms/port-adapter",
          "label": "Port Adapter",
          "markdown": "https://banes-lab.com/records/algorithms/port-adapter.md",
          "ref": "algorithms:port-adapter"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-transaction-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/transaction-boundary",
          "label": "Transaction Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/transaction-boundary.md",
          "ref": "algorithms:transaction-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-idempotent-side-effect",
          "json": "https://banes-lab.com/json/records/algorithms/idempotent-side-effect",
          "label": "Idempotent Side Effect",
          "markdown": "https://banes-lab.com/records/algorithms/idempotent-side-effect.md",
          "ref": "algorithms:idempotent-side-effect"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-deterministic-core",
          "json": "https://banes-lab.com/json/records/algorithms/deterministic-core",
          "label": "Deterministic Core",
          "markdown": "https://banes-lab.com/records/algorithms/deterministic-core.md",
          "ref": "algorithms:deterministic-core"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-error-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/error-boundary",
          "label": "Error Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/error-boundary.md",
          "ref": "algorithms:error-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-cache-correctness",
          "json": "https://banes-lab.com/json/records/algorithms/cache-correctness",
          "label": "Cache Correctness",
          "markdown": "https://banes-lab.com/records/algorithms/cache-correctness.md",
          "ref": "algorithms:cache-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-security-policy",
          "json": "https://banes-lab.com/json/records/algorithms/security-policy",
          "label": "Security Policy",
          "markdown": "https://banes-lab.com/records/algorithms/security-policy.md",
          "ref": "algorithms:security-policy"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-control-plane",
          "json": "https://banes-lab.com/json/records/algorithms/control-plane",
          "label": "Control Plane",
          "markdown": "https://banes-lab.com/records/algorithms/control-plane.md",
          "ref": "algorithms:control-plane"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-universal-architectural-concern-template",
          "json": "https://banes-lab.com/json/records/algorithms/universal-architectural-concern-template",
          "label": "Universal Architectural Concern Template",
          "markdown": "https://banes-lab.com/records/algorithms/universal-architectural-concern-template.md",
          "ref": "algorithms:universal-architectural-concern-template"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-consumer-config-ssot",
          "json": "https://banes-lab.com/json/records/algorithms/consumer-config-ssot",
          "label": "Consumer Config SSOT",
          "markdown": "https://banes-lab.com/records/algorithms/consumer-config-ssot.md",
          "ref": "algorithms:consumer-config-ssot"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-architectural-force-classification",
          "json": "https://banes-lab.com/json/records/algorithms/architectural-force-classification",
          "label": "Architectural Force Classification",
          "markdown": "https://banes-lab.com/records/algorithms/architectural-force-classification.md",
          "ref": "algorithms:architectural-force-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-conflict-and-tension-resolution",
          "json": "https://banes-lab.com/json/records/algorithms/conflict-and-tension-resolution",
          "label": "Conflict and Tension Resolution",
          "markdown": "https://banes-lab.com/records/algorithms/conflict-and-tension-resolution.md",
          "ref": "algorithms:conflict-and-tension-resolution"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-violation-detection",
          "json": "https://banes-lab.com/json/records/algorithms/violation-detection",
          "label": "Violation Detection",
          "markdown": "https://banes-lab.com/records/algorithms/violation-detection.md",
          "ref": "algorithms:violation-detection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-enforcement-gate",
          "json": "https://banes-lab.com/json/records/algorithms/enforcement-gate",
          "label": "Enforcement Gate",
          "markdown": "https://banes-lab.com/records/algorithms/enforcement-gate.md",
          "ref": "algorithms:enforcement-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-modular-boundary-compliance",
          "json": "https://banes-lab.com/json/records/algorithms/modular-boundary-compliance",
          "label": "Modular Boundary Compliance",
          "markdown": "https://banes-lab.com/records/algorithms/modular-boundary-compliance.md",
          "ref": "algorithms:modular-boundary-compliance"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-contract-compatibility",
          "json": "https://banes-lab.com/json/records/algorithms/contract-compatibility",
          "label": "Contract Compatibility",
          "markdown": "https://banes-lab.com/records/algorithms/contract-compatibility.md",
          "ref": "algorithms:contract-compatibility"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-runtime-extensibility",
          "json": "https://banes-lab.com/json/records/algorithms/runtime-extensibility",
          "label": "Runtime Extensibility",
          "markdown": "https://banes-lab.com/records/algorithms/runtime-extensibility.md",
          "ref": "algorithms:runtime-extensibility"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-event-and-messaging-consistency",
          "json": "https://banes-lab.com/json/records/algorithms/event-and-messaging-consistency",
          "label": "Event and Messaging Consistency",
          "markdown": "https://banes-lab.com/records/algorithms/event-and-messaging-consistency.md",
          "ref": "algorithms:event-and-messaging-consistency"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-state-and-transaction-safety",
          "json": "https://banes-lab.com/json/records/algorithms/state-and-transaction-safety",
          "label": "State and Transaction Safety",
          "markdown": "https://banes-lab.com/records/algorithms/state-and-transaction-safety.md",
          "ref": "algorithms:state-and-transaction-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-correctness-verification",
          "json": "https://banes-lab.com/json/records/algorithms/correctness-verification",
          "label": "Correctness Verification",
          "markdown": "https://banes-lab.com/records/algorithms/correctness-verification.md",
          "ref": "algorithms:correctness-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-resilience-policy",
          "json": "https://banes-lab.com/json/records/algorithms/resilience-policy",
          "label": "Resilience Policy",
          "markdown": "https://banes-lab.com/records/algorithms/resilience-policy.md",
          "ref": "algorithms:resilience-policy"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-security-governance",
          "json": "https://banes-lab.com/json/records/algorithms/security-governance",
          "label": "Security Governance",
          "markdown": "https://banes-lab.com/records/algorithms/security-governance.md",
          "ref": "algorithms:security-governance"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-control-plane-coordination",
          "json": "https://banes-lab.com/json/records/algorithms/control-plane-coordination",
          "label": "Control Plane Coordination",
          "markdown": "https://banes-lab.com/records/algorithms/control-plane-coordination.md",
          "ref": "algorithms:control-plane-coordination"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-metaprogramming-safety",
          "json": "https://banes-lab.com/json/records/algorithms/metaprogramming-safety",
          "label": "Metaprogramming Safety",
          "markdown": "https://banes-lab.com/records/algorithms/metaprogramming-safety.md",
          "ref": "algorithms:metaprogramming-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-model-lifecycle-governance",
          "json": "https://banes-lab.com/json/records/algorithms/model-lifecycle-governance",
          "label": "Model Lifecycle Governance",
          "markdown": "https://banes-lab.com/records/algorithms/model-lifecycle-governance.md",
          "ref": "algorithms:model-lifecycle-governance"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-relationship-schema-validation",
          "json": "https://banes-lab.com/json/records/algorithms/relationship-schema-validation",
          "label": "Relationship Schema Validation",
          "markdown": "https://banes-lab.com/records/algorithms/relationship-schema-validation.md",
          "ref": "algorithms:relationship-schema-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-shortcuts",
          "json": "https://banes-lab.com/json/records/algorithms/no-shortcuts",
          "label": "Constraints Over Shortcuts",
          "markdown": "https://banes-lab.com/records/algorithms/no-shortcuts.md",
          "ref": "algorithms:no-shortcuts"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-backward-compat",
          "json": "https://banes-lab.com/json/records/algorithms/no-backward-compat",
          "label": "Forward Compatibility Over Backward Compatibility",
          "markdown": "https://banes-lab.com/records/algorithms/no-backward-compat.md",
          "ref": "algorithms:no-backward-compat"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-fallback",
          "json": "https://banes-lab.com/json/records/algorithms/no-fallback",
          "label": "Fail-Fast Over Fallback",
          "markdown": "https://banes-lab.com/records/algorithms/no-fallback.md",
          "ref": "algorithms:no-fallback"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-deprecation",
          "json": "https://banes-lab.com/json/records/algorithms/no-deprecation",
          "label": "Explicit Removal Over Deprecation",
          "markdown": "https://banes-lab.com/records/algorithms/no-deprecation.md",
          "ref": "algorithms:no-deprecation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-legacy",
          "json": "https://banes-lab.com/json/records/algorithms/no-legacy",
          "label": "Greenfield Over Legacy",
          "markdown": "https://banes-lab.com/records/algorithms/no-legacy.md",
          "ref": "algorithms:no-legacy"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-dual-path",
          "json": "https://banes-lab.com/json/records/algorithms/no-dual-path",
          "label": "Single-Path Determinism Over Dual-Path",
          "markdown": "https://banes-lab.com/records/algorithms/no-dual-path.md",
          "ref": "algorithms:no-dual-path"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-deferring",
          "json": "https://banes-lab.com/json/records/algorithms/no-deferring",
          "label": "Immediacy Over Deferring",
          "markdown": "https://banes-lab.com/records/algorithms/no-deferring.md",
          "ref": "algorithms:no-deferring"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-optional",
          "json": "https://banes-lab.com/json/records/algorithms/no-optional",
          "label": "Mandatory Over Optional",
          "markdown": "https://banes-lab.com/records/algorithms/no-optional.md",
          "ref": "algorithms:no-optional"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-for-now",
          "json": "https://banes-lab.com/json/records/algorithms/no-for-now",
          "label": "Now Over For-Now",
          "markdown": "https://banes-lab.com/records/algorithms/no-for-now.md",
          "ref": "algorithms:no-for-now"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-unobserved",
          "json": "https://banes-lab.com/json/records/algorithms/no-unobserved",
          "label": "Observed Execution Over Unobserved",
          "markdown": "https://banes-lab.com/records/algorithms/no-unobserved.md",
          "ref": "algorithms:no-unobserved"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-uncompressed",
          "json": "https://banes-lab.com/json/records/algorithms/no-uncompressed",
          "label": "Compression Over Repetition",
          "markdown": "https://banes-lab.com/records/algorithms/no-uncompressed.md",
          "ref": "algorithms:no-uncompressed"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-unapproved",
          "json": "https://banes-lab.com/json/records/algorithms/no-unapproved",
          "label": "Approved Evolution Over Unapproved",
          "markdown": "https://banes-lab.com/records/algorithms/no-unapproved.md",
          "ref": "algorithms:no-unapproved"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-ignored-feedback",
          "json": "https://banes-lab.com/json/records/algorithms/no-ignored-feedback",
          "label": "Enforced Feedback Over Ignored",
          "markdown": "https://banes-lab.com/records/algorithms/no-ignored-feedback.md",
          "ref": "algorithms:no-ignored-feedback"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-shared-ownership",
          "json": "https://banes-lab.com/json/records/algorithms/no-shared-ownership",
          "label": "Single Owner Over Shared Ownership",
          "markdown": "https://banes-lab.com/records/algorithms/no-shared-ownership.md",
          "ref": "algorithms:no-shared-ownership"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-unbounded",
          "json": "https://banes-lab.com/json/records/algorithms/no-unbounded",
          "label": "Bounded Lifetime Over Unbounded",
          "markdown": "https://banes-lab.com/records/algorithms/no-unbounded.md",
          "ref": "algorithms:no-unbounded"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-asymmetric",
          "json": "https://banes-lab.com/json/records/algorithms/no-asymmetric",
          "label": "Enforced Symmetry Over Asymmetric Lifecycle",
          "markdown": "https://banes-lab.com/records/algorithms/no-asymmetric.md",
          "ref": "algorithms:no-asymmetric"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-implicit-retention",
          "json": "https://banes-lab.com/json/records/algorithms/no-implicit-retention",
          "label": "Explicit Retention Over Implicit",
          "markdown": "https://banes-lab.com/records/algorithms/no-implicit-retention.md",
          "ref": "algorithms:no-implicit-retention"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-discipline-release",
          "json": "https://banes-lab.com/json/records/algorithms/no-discipline-release",
          "label": "Structural Release Over Discipline",
          "markdown": "https://banes-lab.com/records/algorithms/no-discipline-release.md",
          "ref": "algorithms:no-discipline-release"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-mutable",
          "json": "https://banes-lab.com/json/records/algorithms/no-mutable",
          "label": "Immutable Data Over Mutable State",
          "markdown": "https://banes-lab.com/records/algorithms/no-mutable.md",
          "ref": "algorithms:no-mutable"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-silent",
          "json": "https://banes-lab.com/json/records/algorithms/no-silent",
          "label": "Errors As Language Over Silent Errors",
          "markdown": "https://banes-lab.com/records/algorithms/no-silent.md",
          "ref": "algorithms:no-silent"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hidden-invalidity",
          "json": "https://banes-lab.com/json/records/algorithms/no-hidden-invalidity",
          "label": "Explicit Invalidity Over Hidden",
          "markdown": "https://banes-lab.com/records/algorithms/no-hidden-invalidity.md",
          "ref": "algorithms:no-hidden-invalidity"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-callbacks",
          "json": "https://banes-lab.com/json/records/algorithms/no-callbacks",
          "label": "Event Emission Over Parent Callbacks",
          "markdown": "https://banes-lab.com/records/algorithms/no-callbacks.md",
          "ref": "algorithms:no-callbacks"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-retraction",
          "json": "https://banes-lab.com/json/records/algorithms/no-retraction",
          "label": "Monotonic Growth Over Retraction",
          "markdown": "https://banes-lab.com/records/algorithms/no-retraction.md",
          "ref": "algorithms:no-retraction"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-location",
          "json": "https://banes-lab.com/json/records/algorithms/no-location",
          "label": "Semantic Addressing Over Location Addressing",
          "markdown": "https://banes-lab.com/records/algorithms/no-location.md",
          "ref": "algorithms:no-location"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-timestamps",
          "json": "https://banes-lab.com/json/records/algorithms/no-timestamps",
          "label": "Ordinal Time Over Timestamps",
          "markdown": "https://banes-lab.com/records/algorithms/no-timestamps.md",
          "ref": "algorithms:no-timestamps"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-separation",
          "json": "https://banes-lab.com/json/records/algorithms/no-separation",
          "label": "Homoiconicity Over Separation",
          "markdown": "https://banes-lab.com/records/algorithms/no-separation.md",
          "ref": "algorithms:no-separation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-unlimited",
          "json": "https://banes-lab.com/json/records/algorithms/no-unlimited",
          "label": "Bounded Complexity Over Unlimited",
          "markdown": "https://banes-lab.com/records/algorithms/no-unlimited.md",
          "ref": "algorithms:no-unlimited"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-metrics",
          "json": "https://banes-lab.com/json/records/algorithms/no-metrics",
          "label": "Computed Health Over Metric Health",
          "markdown": "https://banes-lab.com/records/algorithms/no-metrics.md",
          "ref": "algorithms:no-metrics"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hardcoded-secrets",
          "json": "https://banes-lab.com/json/records/algorithms/no-hardcoded-secrets",
          "label": "Secret Store Over Hardcoded Secrets",
          "markdown": "https://banes-lab.com/records/algorithms/no-hardcoded-secrets.md",
          "ref": "algorithms:no-hardcoded-secrets"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-unvalidated-input",
          "json": "https://banes-lab.com/json/records/algorithms/no-unvalidated-input",
          "label": "Boundary Validation Over Unvalidated Input",
          "markdown": "https://banes-lab.com/records/algorithms/no-unvalidated-input.md",
          "ref": "algorithms:no-unvalidated-input"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-broad-privilege",
          "json": "https://banes-lab.com/json/records/algorithms/no-broad-privilege",
          "label": "Least Privilege Over Broad Privilege",
          "markdown": "https://banes-lab.com/records/algorithms/no-broad-privilege.md",
          "ref": "algorithms:no-broad-privilege"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-env-fallback",
          "json": "https://banes-lab.com/json/records/algorithms/no-env-fallback",
          "label": "Config Externalization Over Env Fallback",
          "markdown": "https://banes-lab.com/records/algorithms/no-env-fallback.md",
          "ref": "algorithms:no-env-fallback"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-unmeasured-optimization",
          "json": "https://banes-lab.com/json/records/algorithms/no-unmeasured-optimization",
          "label": "Profile-First Over Unmeasured Optimization",
          "markdown": "https://banes-lab.com/records/algorithms/no-unmeasured-optimization.md",
          "ref": "algorithms:no-unmeasured-optimization"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-convention-enforcement",
          "json": "https://banes-lab.com/json/records/algorithms/no-convention-enforcement",
          "label": "Rule As Code Over Convention",
          "markdown": "https://banes-lab.com/records/algorithms/no-convention-enforcement.md",
          "ref": "algorithms:no-convention-enforcement"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-implicit-contract",
          "json": "https://banes-lab.com/json/records/algorithms/no-implicit-contract",
          "label": "Design By Contract Over Implicit Contract",
          "markdown": "https://banes-lab.com/records/algorithms/no-implicit-contract.md",
          "ref": "algorithms:no-implicit-contract"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-breaking-change",
          "json": "https://banes-lab.com/json/records/algorithms/no-breaking-change",
          "label": "Versioned Evolution Over Breaking Change",
          "markdown": "https://banes-lab.com/records/algorithms/no-breaking-change.md",
          "ref": "algorithms:no-breaking-change"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-untyped-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/no-untyped-boundary",
          "label": "Schema-Validated Boundary Over Untyped",
          "markdown": "https://banes-lab.com/records/algorithms/no-untyped-boundary.md",
          "ref": "algorithms:no-untyped-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-partial-commit",
          "json": "https://banes-lab.com/json/records/algorithms/no-partial-commit",
          "label": "Atomic Boundary Over Partial Commit",
          "markdown": "https://banes-lab.com/records/algorithms/no-partial-commit.md",
          "ref": "algorithms:no-partial-commit"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-distributed-2pc",
          "json": "https://banes-lab.com/json/records/algorithms/no-distributed-2pc",
          "label": "Saga Compensation Over Distributed 2PC",
          "markdown": "https://banes-lab.com/records/algorithms/no-distributed-2pc.md",
          "ref": "algorithms:no-distributed-2pc"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-sync-cross-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/no-sync-cross-boundary",
          "label": "Async Events Over Synchronous Cross-Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/no-sync-cross-boundary.md",
          "ref": "algorithms:no-sync-cross-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-opaque-runtime",
          "json": "https://banes-lab.com/json/records/algorithms/no-opaque-runtime",
          "label": "Observable Signals Over Opaque Runtime",
          "markdown": "https://banes-lab.com/records/algorithms/no-opaque-runtime.md",
          "ref": "algorithms:no-opaque-runtime"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hidden-dependency",
          "json": "https://banes-lab.com/json/records/algorithms/no-hidden-dependency",
          "label": "Injected Dependency Over Hidden",
          "markdown": "https://banes-lab.com/records/algorithms/no-hidden-dependency.md",
          "ref": "algorithms:no-hidden-dependency"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hardcoded-wiring",
          "json": "https://banes-lab.com/json/records/algorithms/no-hardcoded-wiring",
          "label": "Convention Discovery Over Hardcoded Wiring",
          "markdown": "https://banes-lab.com/records/algorithms/no-hardcoded-wiring.md",
          "ref": "algorithms:no-hardcoded-wiring"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-imperative-config",
          "json": "https://banes-lab.com/json/records/algorithms/no-imperative-config",
          "label": "Declarative Config Over Imperative",
          "markdown": "https://banes-lab.com/records/algorithms/no-imperative-config.md",
          "ref": "algorithms:no-imperative-config"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-leaky-context",
          "json": "https://banes-lab.com/json/records/algorithms/no-leaky-context",
          "label": "Anti-Corruption Layer Over Cross-Context Leak",
          "markdown": "https://banes-lab.com/records/algorithms/no-leaky-context.md",
          "ref": "algorithms:no-leaky-context"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-hidden-nondeterminism",
          "json": "https://banes-lab.com/json/records/algorithms/no-hidden-nondeterminism",
          "label": "Injected Nondeterminism Over Hidden",
          "markdown": "https://banes-lab.com/records/algorithms/no-hidden-nondeterminism.md",
          "ref": "algorithms:no-hidden-nondeterminism"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-no-speculative-pattern",
          "json": "https://banes-lab.com/json/records/algorithms/no-speculative-pattern",
          "label": "Pattern By Fit Over Speculative Pattern",
          "markdown": "https://banes-lab.com/records/algorithms/no-speculative-pattern.md",
          "ref": "algorithms:no-speculative-pattern"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-runtime-neutral-automation-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/runtime-neutral-automation-boundary",
          "label": "Runtime-Neutral Automation Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/runtime-neutral-automation-boundary.md",
          "ref": "algorithms:runtime-neutral-automation-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-intentional-static-separation",
          "json": "https://banes-lab.com/json/records/algorithms/intentional-static-separation",
          "label": "Intentional Static Separation",
          "markdown": "https://banes-lab.com/records/algorithms/intentional-static-separation.md",
          "ref": "algorithms:intentional-static-separation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-extension-interface-discovery",
          "json": "https://banes-lab.com/json/records/algorithms/extension-interface-discovery",
          "label": "Extension Interface Discovery",
          "markdown": "https://banes-lab.com/records/algorithms/extension-interface-discovery.md",
          "ref": "algorithms:extension-interface-discovery"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-performance-aware-discovery-design",
          "json": "https://banes-lab.com/json/records/algorithms/performance-aware-discovery-design",
          "label": "Performance-Aware Discovery Design",
          "markdown": "https://banes-lab.com/records/algorithms/performance-aware-discovery-design.md",
          "ref": "algorithms:performance-aware-discovery-design"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-dynamic-extension-architecture",
          "json": "https://banes-lab.com/json/records/algorithms/dynamic-extension-architecture",
          "label": "Dynamic Extension Architecture",
          "markdown": "https://banes-lab.com/records/algorithms/dynamic-extension-architecture.md",
          "ref": "algorithms:dynamic-extension-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-cache-invalidation-strategy",
          "json": "https://banes-lab.com/json/records/algorithms/cache-invalidation-strategy",
          "label": "Cache Invalidation Strategy",
          "markdown": "https://banes-lab.com/records/algorithms/cache-invalidation-strategy.md",
          "ref": "algorithms:cache-invalidation-strategy"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-dynamic-failure-isolation",
          "json": "https://banes-lab.com/json/records/algorithms/dynamic-failure-isolation",
          "label": "Dynamic Failure Isolation",
          "markdown": "https://banes-lab.com/records/algorithms/dynamic-failure-isolation.md",
          "ref": "algorithms:dynamic-failure-isolation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-measured-vs-estimated-validation",
          "json": "https://banes-lab.com/json/records/algorithms/measured-vs-estimated-validation",
          "label": "Measured-vs-Estimated Validation",
          "markdown": "https://banes-lab.com/records/algorithms/measured-vs-estimated-validation.md",
          "ref": "algorithms:measured-vs-estimated-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-architecture-validation-before-persistence",
          "json": "https://banes-lab.com/json/records/algorithms/architecture-validation-before-persistence",
          "label": "Architecture Validation Before Persistence",
          "markdown": "https://banes-lab.com/records/algorithms/architecture-validation-before-persistence.md",
          "ref": "algorithms:architecture-validation-before-persistence"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-automation-completion-status",
          "json": "https://banes-lab.com/json/records/algorithms/automation-completion-status",
          "label": "Automation Completion Status",
          "markdown": "https://banes-lab.com/records/algorithms/automation-completion-status.md",
          "ref": "algorithms:automation-completion-status"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-runtime-agnostic-adapter-boundary",
          "json": "https://banes-lab.com/json/records/algorithms/runtime-agnostic-adapter-boundary",
          "label": "Runtime-Agnostic Adapter Boundary",
          "markdown": "https://banes-lab.com/records/algorithms/runtime-agnostic-adapter-boundary.md",
          "ref": "algorithms:runtime-agnostic-adapter-boundary"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pattern-classification",
          "json": "https://banes-lab.com/json/records/algorithms/pattern-classification",
          "label": "Pattern Classification",
          "markdown": "https://banes-lab.com/records/algorithms/pattern-classification.md",
          "ref": "algorithms:pattern-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-refactor-intent-classification",
          "json": "https://banes-lab.com/json/records/algorithms/refactor-intent-classification",
          "label": "Refactor Intent Classification",
          "markdown": "https://banes-lab.com/records/algorithms/refactor-intent-classification.md",
          "ref": "algorithms:refactor-intent-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-architecture-compliance-targeting",
          "json": "https://banes-lab.com/json/records/algorithms/architecture-compliance-targeting",
          "label": "Architecture Compliance Targeting",
          "markdown": "https://banes-lab.com/records/algorithms/architecture-compliance-targeting.md",
          "ref": "algorithms:architecture-compliance-targeting"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-existing-solution-conflict",
          "json": "https://banes-lab.com/json/records/algorithms/existing-solution-conflict",
          "label": "Existing Solution Conflict",
          "markdown": "https://banes-lab.com/records/algorithms/existing-solution-conflict.md",
          "ref": "algorithms:existing-solution-conflict"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-additive-debt-gate",
          "json": "https://banes-lab.com/json/records/algorithms/additive-debt-gate",
          "label": "Additive Debt Gate",
          "markdown": "https://banes-lab.com/records/algorithms/additive-debt-gate.md",
          "ref": "algorithms:additive-debt-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pattern-specific-validation",
          "json": "https://banes-lab.com/json/records/algorithms/pattern-specific-validation",
          "label": "Pattern-Specific Validation",
          "markdown": "https://banes-lab.com/records/algorithms/pattern-specific-validation.md",
          "ref": "algorithms:pattern-specific-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-zero-duplication-verification",
          "json": "https://banes-lab.com/json/records/algorithms/zero-duplication-verification",
          "label": "Zero-Duplication Verification",
          "markdown": "https://banes-lab.com/records/algorithms/zero-duplication-verification.md",
          "ref": "algorithms:zero-duplication-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-completion-truthfulness",
          "json": "https://banes-lab.com/json/records/algorithms/completion-truthfulness",
          "label": "Completion Truthfulness",
          "markdown": "https://banes-lab.com/records/algorithms/completion-truthfulness.md",
          "ref": "algorithms:completion-truthfulness"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-trust-anchor",
          "json": "https://banes-lab.com/json/records/algorithms/trust-anchor",
          "label": "Trust Anchor",
          "markdown": "https://banes-lab.com/records/algorithms/trust-anchor.md",
          "ref": "algorithms:trust-anchor"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-intent-directionality-normalization",
          "json": "https://banes-lab.com/json/records/algorithms/intent-directionality-normalization",
          "label": "Intent & Directionality Normalization",
          "markdown": "https://banes-lab.com/records/algorithms/intent-directionality-normalization.md",
          "ref": "algorithms:intent-directionality-normalization"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-planning-stage",
          "json": "https://banes-lab.com/json/records/algorithms/planning-stage",
          "label": "Planning Stage",
          "markdown": "https://banes-lab.com/records/algorithms/planning-stage.md",
          "ref": "algorithms:planning-stage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-principle-activation",
          "json": "https://banes-lab.com/json/records/algorithms/principle-activation",
          "label": "Principle Activation",
          "markdown": "https://banes-lab.com/records/algorithms/principle-activation.md",
          "ref": "algorithms:principle-activation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-protocol-semantic-selection",
          "json": "https://banes-lab.com/json/records/algorithms/protocol-semantic-selection",
          "label": "Protocol Semantic Selection",
          "markdown": "https://banes-lab.com/records/algorithms/protocol-semantic-selection.md",
          "ref": "algorithms:protocol-semantic-selection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-loop-class-labeling",
          "json": "https://banes-lab.com/json/records/algorithms/loop-class-labeling",
          "label": "Loop Class Labeling",
          "markdown": "https://banes-lab.com/records/algorithms/loop-class-labeling.md",
          "ref": "algorithms:loop-class-labeling"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-codebase-pattern-enforcement",
          "json": "https://banes-lab.com/json/records/algorithms/codebase-pattern-enforcement",
          "label": "Codebase Pattern Enforcement",
          "markdown": "https://banes-lab.com/records/algorithms/codebase-pattern-enforcement.md",
          "ref": "algorithms:codebase-pattern-enforcement"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-validator-coverage",
          "json": "https://banes-lab.com/json/records/algorithms/validator-coverage",
          "label": "Validator Coverage",
          "markdown": "https://banes-lab.com/records/algorithms/validator-coverage.md",
          "ref": "algorithms:validator-coverage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-structured-observability-context",
          "json": "https://banes-lab.com/json/records/algorithms/structured-observability-context",
          "label": "Structured Observability Context",
          "markdown": "https://banes-lab.com/records/algorithms/structured-observability-context.md",
          "ref": "algorithms:structured-observability-context"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-cross-cutting-surface-coverage",
          "json": "https://banes-lab.com/json/records/algorithms/cross-cutting-surface-coverage",
          "label": "Cross-Cutting Surface Coverage",
          "markdown": "https://banes-lab.com/records/algorithms/cross-cutting-surface-coverage.md",
          "ref": "algorithms:cross-cutting-surface-coverage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-legacy-elimination",
          "json": "https://banes-lab.com/json/records/algorithms/legacy-elimination",
          "label": "Legacy Elimination",
          "markdown": "https://banes-lab.com/records/algorithms/legacy-elimination.md",
          "ref": "algorithms:legacy-elimination"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-validation-stage",
          "json": "https://banes-lab.com/json/records/algorithms/validation-stage",
          "label": "Validation Stage",
          "markdown": "https://banes-lab.com/records/algorithms/validation-stage.md",
          "ref": "algorithms:validation-stage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-semantic-debt-policy",
          "json": "https://banes-lab.com/json/records/algorithms/semantic-debt-policy",
          "label": "Semantic Debt Policy",
          "markdown": "https://banes-lab.com/records/algorithms/semantic-debt-policy.md",
          "ref": "algorithms:semantic-debt-policy"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-evidence-based-claim-verification",
          "json": "https://banes-lab.com/json/records/algorithms/evidence-based-claim-verification",
          "label": "Evidence-Based Claim Verification",
          "markdown": "https://banes-lab.com/records/algorithms/evidence-based-claim-verification.md",
          "ref": "algorithms:evidence-based-claim-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-validation-suite-battery",
          "json": "https://banes-lab.com/json/records/algorithms/validation-suite-battery",
          "label": "Validation Suite Battery",
          "markdown": "https://banes-lab.com/records/algorithms/validation-suite-battery.md",
          "ref": "algorithms:validation-suite-battery"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-verification-execution",
          "json": "https://banes-lab.com/json/records/algorithms/verification-execution",
          "label": "Verification Execution",
          "markdown": "https://banes-lab.com/records/algorithms/verification-execution.md",
          "ref": "algorithms:verification-execution"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-violation-classification",
          "json": "https://banes-lab.com/json/records/algorithms/violation-classification",
          "label": "Violation Classification",
          "markdown": "https://banes-lab.com/records/algorithms/violation-classification.md",
          "ref": "algorithms:violation-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-reverification-gate",
          "json": "https://banes-lab.com/json/records/algorithms/reverification-gate",
          "label": "Reverification Gate",
          "markdown": "https://banes-lab.com/records/algorithms/reverification-gate.md",
          "ref": "algorithms:reverification-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-evidence-gated-claim-verification",
          "json": "https://banes-lab.com/json/records/algorithms/evidence-gated-claim-verification",
          "label": "Evidence-Gated Claim Verification",
          "markdown": "https://banes-lab.com/records/algorithms/evidence-gated-claim-verification.md",
          "ref": "algorithms:evidence-gated-claim-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-environment-capability-verification",
          "json": "https://banes-lab.com/json/records/algorithms/environment-capability-verification",
          "label": "Environment Capability Verification",
          "markdown": "https://banes-lab.com/records/algorithms/environment-capability-verification.md",
          "ref": "algorithms:environment-capability-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-behavioral-self-test",
          "json": "https://banes-lab.com/json/records/algorithms/behavioral-self-test",
          "label": "Behavioral Self-Test",
          "markdown": "https://banes-lab.com/records/algorithms/behavioral-self-test.md",
          "ref": "algorithms:behavioral-self-test"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-adversarial-input-testing",
          "json": "https://banes-lab.com/json/records/algorithms/adversarial-input-testing",
          "label": "Adversarial Input Testing",
          "markdown": "https://banes-lab.com/records/algorithms/adversarial-input-testing.md",
          "ref": "algorithms:adversarial-input-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-safe-arithmetic-contract",
          "json": "https://banes-lab.com/json/records/algorithms/safe-arithmetic-contract",
          "label": "Safe Arithmetic Contract",
          "markdown": "https://banes-lab.com/records/algorithms/safe-arithmetic-contract.md",
          "ref": "algorithms:safe-arithmetic-contract"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-invocation-join",
          "json": "https://banes-lab.com/json/records/algorithms/invocation-join",
          "label": "Invocation Join",
          "markdown": "https://banes-lab.com/records/algorithms/invocation-join.md",
          "ref": "algorithms:invocation-join"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-uncovered-gap-derivation",
          "json": "https://banes-lab.com/json/records/algorithms/uncovered-gap-derivation",
          "label": "Uncovered Gap Derivation",
          "markdown": "https://banes-lab.com/records/algorithms/uncovered-gap-derivation.md",
          "ref": "algorithms:uncovered-gap-derivation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-evidence-verdict",
          "json": "https://banes-lab.com/json/records/algorithms/evidence-verdict",
          "label": "Evidence Verdict",
          "markdown": "https://banes-lab.com/records/algorithms/evidence-verdict.md",
          "ref": "algorithms:evidence-verdict"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-coverage-completion",
          "json": "https://banes-lab.com/json/records/algorithms/coverage-completion",
          "label": "Coverage Completion",
          "markdown": "https://banes-lab.com/records/algorithms/coverage-completion.md",
          "ref": "algorithms:coverage-completion"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-validation-gate",
          "json": "https://banes-lab.com/json/records/algorithms/pag-validation-gate",
          "label": "PAG Handoff Gate",
          "markdown": "https://banes-lab.com/records/algorithms/pag-validation-gate.md",
          "ref": "algorithms:pag-validation-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-explicit-control-flow",
          "json": "https://banes-lab.com/json/records/algorithms/pag-explicit-control-flow",
          "label": "PAG Explicit Control Flow",
          "markdown": "https://banes-lab.com/records/algorithms/pag-explicit-control-flow.md",
          "ref": "algorithms:pag-explicit-control-flow"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-ambiguity-reduction",
          "json": "https://banes-lab.com/json/records/algorithms/pag-ambiguity-reduction",
          "label": "PAG Ambiguity Reduction",
          "markdown": "https://banes-lab.com/records/algorithms/pag-ambiguity-reduction.md",
          "ref": "algorithms:pag-ambiguity-reduction"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pag-well-formedness-validation",
          "json": "https://banes-lab.com/json/records/algorithms/pag-well-formedness-validation",
          "label": "PAG Well-Formedness Validation",
          "markdown": "https://banes-lab.com/records/algorithms/pag-well-formedness-validation.md",
          "ref": "algorithms:pag-well-formedness-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-anti-pattern-classification",
          "json": "https://banes-lab.com/json/records/algorithms/anti-pattern-classification",
          "label": "Anti-Pattern Classification",
          "markdown": "https://banes-lab.com/records/algorithms/anti-pattern-classification.md",
          "ref": "algorithms:anti-pattern-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-abstraction-boundary-principle",
          "json": "https://banes-lab.com/json/records/algorithms/abstraction-boundary-principle",
          "label": "Abstraction Boundary Principle",
          "markdown": "https://banes-lab.com/records/algorithms/abstraction-boundary-principle.md",
          "ref": "algorithms:abstraction-boundary-principle"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-base-class-candidate-selection",
          "json": "https://banes-lab.com/json/records/algorithms/base-class-candidate-selection",
          "label": "Base-Class Candidate Selection",
          "markdown": "https://banes-lab.com/records/algorithms/base-class-candidate-selection.md",
          "ref": "algorithms:base-class-candidate-selection"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-anti-pattern-elimination-verification",
          "json": "https://banes-lab.com/json/records/algorithms/anti-pattern-elimination-verification",
          "label": "Anti-Pattern Elimination Verification",
          "markdown": "https://banes-lab.com/records/algorithms/anti-pattern-elimination-verification.md",
          "ref": "algorithms:anti-pattern-elimination-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-pattern-distillation-completion-truthfulness",
          "json": "https://banes-lab.com/json/records/algorithms/pattern-distillation-completion-truthfulness",
          "label": "Pattern Distillation Completion Truthfulness",
          "markdown": "https://banes-lab.com/records/algorithms/pattern-distillation-completion-truthfulness.md",
          "ref": "algorithms:pattern-distillation-completion-truthfulness"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-delta-capture",
          "json": "https://banes-lab.com/json/records/algorithms/delta-capture",
          "label": "Delta Capture",
          "markdown": "https://banes-lab.com/records/algorithms/delta-capture.md",
          "ref": "algorithms:delta-capture"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-plan-phase-verification",
          "json": "https://banes-lab.com/json/records/algorithms/plan-phase-verification",
          "label": "Plan Phase Verification",
          "markdown": "https://banes-lab.com/records/algorithms/plan-phase-verification.md",
          "ref": "algorithms:plan-phase-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-canonical-config-resolution",
          "json": "https://banes-lab.com/json/records/algorithms/canonical-config-resolution",
          "label": "Canonical Config Resolution",
          "markdown": "https://banes-lab.com/records/algorithms/canonical-config-resolution.md",
          "ref": "algorithms:canonical-config-resolution"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-machine-verdict-derivation",
          "json": "https://banes-lab.com/json/records/algorithms/machine-verdict-derivation",
          "label": "Machine Verdict Derivation",
          "markdown": "https://banes-lab.com/records/algorithms/machine-verdict-derivation.md",
          "ref": "algorithms:machine-verdict-derivation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-mode-contract-validation",
          "json": "https://banes-lab.com/json/records/algorithms/mode-contract-validation",
          "label": "Mode Contract Validation",
          "markdown": "https://banes-lab.com/records/algorithms/mode-contract-validation.md",
          "ref": "algorithms:mode-contract-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-type-keyed-appearance",
          "json": "https://banes-lab.com/json/records/algorithms/type-keyed-appearance",
          "label": "Type-Keyed Appearance",
          "markdown": "https://banes-lab.com/records/algorithms/type-keyed-appearance.md",
          "ref": "algorithms:type-keyed-appearance"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-concern-classification",
          "json": "https://banes-lab.com/json/records/algorithms/concern-classification",
          "label": "Concern Classification",
          "markdown": "https://banes-lab.com/records/algorithms/concern-classification.md",
          "ref": "algorithms:concern-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-discovery-verification",
          "json": "https://banes-lab.com/json/records/algorithms/discovery-verification",
          "label": "Discovery Verification",
          "markdown": "https://banes-lab.com/records/algorithms/discovery-verification.md",
          "ref": "algorithms:discovery-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-taxonomy-completion",
          "json": "https://banes-lab.com/json/records/algorithms/taxonomy-completion",
          "label": "Taxonomy Completion",
          "markdown": "https://banes-lab.com/records/algorithms/taxonomy-completion.md",
          "ref": "algorithms:taxonomy-completion"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-container-ladder",
          "json": "https://banes-lab.com/json/records/algorithms/container-ladder",
          "label": "Container Ladder",
          "markdown": "https://banes-lab.com/records/algorithms/container-ladder.md",
          "ref": "algorithms:container-ladder"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-export-triage-ladder",
          "json": "https://banes-lab.com/json/records/algorithms/export-triage-ladder",
          "label": "Export Triage Ladder",
          "markdown": "https://banes-lab.com/records/algorithms/export-triage-ladder.md",
          "ref": "algorithms:export-triage-ladder"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-alignment-cadence",
          "json": "https://banes-lab.com/json/records/algorithms/alignment-cadence",
          "label": "Alignment Cadence",
          "markdown": "https://banes-lab.com/records/algorithms/alignment-cadence.md",
          "ref": "algorithms:alignment-cadence"
        }
      ],
      "relation": "contracts"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-domain-logic",
          "json": "https://banes-lab.com/json/records/reasoning/math-domain-logic",
          "label": "logic",
          "markdown": "https://banes-lab.com/records/reasoning/math-domain-logic.md",
          "ref": "reasoning:math-domain-logic"
        }
      ],
      "relation": "math-domains"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-reasoning",
          "json": "https://banes-lab.com/json/records/reasoning/axis-reasoning",
          "label": "Reasoning",
          "markdown": "https://banes-lab.com/records/reasoning/axis-reasoning.md",
          "ref": "reasoning:axis-reasoning"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-verification",
          "json": "https://banes-lab.com/json/records/reasoning/axis-verification",
          "label": "Verification",
          "markdown": "https://banes-lab.com/records/reasoning/axis-verification.md",
          "ref": "reasoning:axis-verification"
        }
      ],
      "relation": "primary-math-type-of"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ont-meaning",
          "json": "https://banes-lab.com/json/records/reasoning/node-ont-meaning",
          "label": "Meaning",
          "markdown": "https://banes-lab.com/records/reasoning/node-ont-meaning.md",
          "ref": "reasoning:node-ont-meaning"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ana-sequential",
          "json": "https://banes-lab.com/json/records/reasoning/node-ana-sequential",
          "label": "Sequential Analysis",
          "markdown": "https://banes-lab.com/records/reasoning/node-ana-sequential.md",
          "ref": "reasoning:node-ana-sequential"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ana-semantic",
          "json": "https://banes-lab.com/json/records/reasoning/node-ana-semantic",
          "label": "Semantic Analysis",
          "markdown": "https://banes-lab.com/records/reasoning/node-ana-semantic.md",
          "ref": "reasoning:node-ana-semantic"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-rea-description",
          "json": "https://banes-lab.com/json/records/reasoning/node-rea-description",
          "label": "Description",
          "markdown": "https://banes-lab.com/records/reasoning/node-rea-description.md",
          "ref": "reasoning:node-rea-description"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-rea-comparison",
          "json": "https://banes-lab.com/json/records/reasoning/node-rea-comparison",
          "label": "Comparison",
          "markdown": "https://banes-lab.com/records/reasoning/node-rea-comparison.md",
          "ref": "reasoning:node-rea-comparison"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-ground-truth",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-ground-truth",
          "label": "Ground Truth",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-ground-truth.md",
          "ref": "reasoning:node-ver-ground-truth"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-falsification",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-falsification",
          "label": "Refutation Condition",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-falsification.md",
          "ref": "reasoning:node-ver-falsification"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-refutation",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-refutation",
          "label": "Support Against Refutation",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-refutation.md",
          "ref": "reasoning:node-ver-refutation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ver-standing",
          "json": "https://banes-lab.com/json/records/reasoning/node-ver-standing",
          "label": "Standing",
          "markdown": "https://banes-lab.com/records/reasoning/node-ver-standing.md",
          "ref": "reasoning:node-ver-standing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-block",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-block",
          "label": "Blocked Run",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-block.md",
          "ref": "reasoning:node-ter-block"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-node-ter-publication",
          "json": "https://banes-lab.com/json/records/reasoning/node-ter-publication",
          "label": "Publication",
          "markdown": "https://banes-lab.com/records/reasoning/node-ter-publication.md",
          "ref": "reasoning:node-ter-publication"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-difference",
          "json": "https://banes-lab.com/json/records/reasoning/substrate-node-difference",
          "label": "Difference",
          "markdown": "https://banes-lab.com/records/reasoning/substrate-node-difference.md",
          "ref": "reasoning:substrate-node-difference"
        }
      ],
      "relation": "math-type-of"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-agent-creation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-agent-creation",
          "label": "Agent creation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-creation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-agent-creation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-agent-workflow",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-agent-workflow",
          "label": "Agent workflow",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-agent-workflow"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-anti-patterns",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-anti-patterns",
          "label": "Anti-patterns",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-anti-patterns.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-anti-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-architecture",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-architecture",
          "label": "Architecture",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-arch-relationships",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-arch-relationships",
          "label": "Architecture relationships",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-arch-relationships.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-arch-relationships"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-architectural-rules",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-architectural-rules",
          "label": "Architectural Rules",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-architectural-rules.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-architectural-rules"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-automation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-automation",
          "label": "Automation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-automation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-automation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-centralization",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-centralization",
          "label": "Centralization",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-centralization"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-checklist-creation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-checklist-creation",
          "label": "Checklist creation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-checklist-creation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-codebase-verification",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-codebase-verification",
          "label": "Codebase verification",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-codebase-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-context-verification",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-context-verification",
          "label": "Context verification",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-context-verification.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-context-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-coordination",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-coordination",
          "label": "Coordination",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-coordination.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-coordination"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-test-coverage",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-test-coverage",
          "label": "Test coverage",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-test-coverage"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-pag",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-pag",
          "label": "Pattern Abstract Grammar",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-pag"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-pattern-distillation",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-pattern-distillation",
          "label": "Pattern distillation",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-pattern-distillation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-living-profile",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-living-profile",
          "label": "Living profile",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-living-profile.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-living-profile"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-governed-plan-loop",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-governed-plan-loop",
          "label": "Governed plan loop",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-governed-plan-loop.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-governed-plan-loop"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-quality-engine",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-quality-engine",
          "label": "Quality engine",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-quality-engine.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-quality-engine"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-mode-driven-response-schema",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-mode-driven-response-schema",
          "label": "Mode-driven response schema",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-mode-driven-response-schema.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-mode-driven-response-schema"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-css-cascade",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-css-cascade",
          "label": "CSS cascade",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-css-cascade.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-css-cascade"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-taxonomy",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-taxonomy",
          "label": "Taxonomy",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-taxonomy"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-substrate",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-substrate",
          "label": "The substrate",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-substrate.md",
          "ref": "chapter:/ontology/reasoning#the-substrate"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-axes",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-axes",
          "label": "The axes",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-axes.md",
          "ref": "chapter:/ontology/reasoning#the-axes"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#the-nodes",
          "json": "https://banes-lab.com/json/ontology/reasoning/the-nodes",
          "label": "The nodes",
          "markdown": "https://banes-lab.com/ontology/reasoning/the-nodes.md",
          "ref": "chapter:/ontology/reasoning#the-nodes"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "Does it hold, and what follows from it?",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-graph",
      "json": "https://banes-lab.com/json/records/reasoning/math-type-graph",
      "label": "Graph",
      "markdown": "https://banes-lab.com/records/reasoning/math-type-graph.md",
      "ref": "reasoning:math-type-graph"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#reasoning-math-type-set-theory",
      "json": "https://banes-lab.com/json/records/reasoning/math-type-set-theory",
      "label": "Set Theory",
      "markdown": "https://banes-lab.com/records/reasoning/math-type-set-theory.md",
      "ref": "reasoning:math-type-set-theory"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/reasoning",
    "label": "Reasoning records",
    "markdown": "https://banes-lab.com/api/records/reasoning.md",
    "ref": "api:records/reasoning"
  }
}