{
  "code": null,
  "collection": "algorithms-domain",
  "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-context-verification",
  "id": "context-verification",
  "kind": "domain",
  "layer": null,
  "name": "Context verification",
  "ref": "algorithms-domain:context-verification",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-phase-separated-execution",
          "json": "https://banes-lab.com/json/records/algorithms/phase-separated-execution",
          "label": "Phase-Separated Execution",
          "markdown": "https://banes-lab.com/records/algorithms/phase-separated-execution.md",
          "ref": "algorithms:phase-separated-execution"
        },
        {
          "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-validation-gate",
          "json": "https://banes-lab.com/json/records/algorithms/validation-gate",
          "label": "Validation Gate",
          "markdown": "https://banes-lab.com/records/algorithms/validation-gate.md",
          "ref": "algorithms:validation-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-file-modification-recovery",
          "json": "https://banes-lab.com/json/records/algorithms/file-modification-recovery",
          "label": "File Modification Recovery",
          "markdown": "https://banes-lab.com/records/algorithms/file-modification-recovery.md",
          "ref": "algorithms:file-modification-recovery"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-trust-anchor-declaration",
          "json": "https://banes-lab.com/json/records/algorithms/trust-anchor-declaration",
          "label": "Trust Anchor Declaration",
          "markdown": "https://banes-lab.com/records/algorithms/trust-anchor-declaration.md",
          "ref": "algorithms:trust-anchor-declaration"
        },
        {
          "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-tool-calibration",
          "json": "https://banes-lab.com/json/records/algorithms/tool-calibration",
          "label": "Tool Calibration",
          "markdown": "https://banes-lab.com/records/algorithms/tool-calibration.md",
          "ref": "algorithms:tool-calibration"
        },
        {
          "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-defensive-string-normalization",
          "json": "https://banes-lab.com/json/records/algorithms/defensive-string-normalization",
          "label": "Defensive String Normalization",
          "markdown": "https://banes-lab.com/records/algorithms/defensive-string-normalization.md",
          "ref": "algorithms:defensive-string-normalization"
        },
        {
          "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-recursion-control",
          "json": "https://banes-lab.com/json/records/algorithms/recursion-control",
          "label": "Recursion Control",
          "markdown": "https://banes-lab.com/records/algorithms/recursion-control.md",
          "ref": "algorithms:recursion-control"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-recursive-self-verification",
          "json": "https://banes-lab.com/json/records/algorithms/recursive-self-verification",
          "label": "Recursive Self-Verification",
          "markdown": "https://banes-lab.com/records/algorithms/recursive-self-verification.md",
          "ref": "algorithms:recursive-self-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-advanced-tool-escalation",
          "json": "https://banes-lab.com/json/records/algorithms/advanced-tool-escalation",
          "label": "Advanced Tool Escalation",
          "markdown": "https://banes-lab.com/records/algorithms/advanced-tool-escalation.md",
          "ref": "algorithms:advanced-tool-escalation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-investigation-report",
          "json": "https://banes-lab.com/json/records/algorithms/investigation-report",
          "label": "Investigation Report",
          "markdown": "https://banes-lab.com/records/algorithms/investigation-report.md",
          "ref": "algorithms:investigation-report"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-action-log",
          "json": "https://banes-lab.com/json/records/algorithms/action-log",
          "label": "Action Log",
          "markdown": "https://banes-lab.com/records/algorithms/action-log.md",
          "ref": "algorithms:action-log"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-contract-based-verification-kernel",
          "json": "https://banes-lab.com/json/records/algorithms/contract-based-verification-kernel",
          "label": "Contract-Based Verification Kernel",
          "markdown": "https://banes-lab.com/records/algorithms/contract-based-verification-kernel.md",
          "ref": "algorithms:contract-based-verification-kernel"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-context-verification-concern",
          "json": "https://banes-lab.com/json/records/algorithms/context-verification-concern",
          "label": "<Context Verification Concern>",
          "markdown": "https://banes-lab.com/records/algorithms/context-verification-concern.md",
          "ref": "algorithms:context-verification-concern"
        }
      ],
      "relation": "contracts"
    },
    {
      "links": [
        {
          "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"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "The Context verification domain holds 18 algorithm contracts.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-coordination",
      "json": "https://banes-lab.com/json/records/algorithms-domain/coordination",
      "label": "Coordination",
      "markdown": "https://banes-lab.com/records/algorithms-domain/coordination.md",
      "ref": "algorithms-domain:coordination"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-codebase-verification",
      "json": "https://banes-lab.com/json/records/algorithms-domain/codebase-verification",
      "label": "Codebase verification",
      "markdown": "https://banes-lab.com/records/algorithms-domain/codebase-verification.md",
      "ref": "algorithms-domain:codebase-verification"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/algorithms-domain",
    "label": "Algorithm domains",
    "markdown": "https://banes-lab.com/api/records/algorithms-domain.md",
    "ref": "api:records/algorithms-domain"
  }
}