{
  "order": [
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-codebase-verification-kernel",
      "json": "https://banes-lab.com/json/records/algorithms/codebase-verification-kernel",
      "label": "Codebase Verification Kernel",
      "markdown": "https://banes-lab.com/records/algorithms/codebase-verification-kernel.md",
      "ref": "algorithms:codebase-verification-kernel"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-context-initialization",
      "json": "https://banes-lab.com/json/records/algorithms/context-initialization",
      "label": "Context Initialization",
      "markdown": "https://banes-lab.com/records/algorithms/context-initialization.md",
      "ref": "algorithms:context-initialization"
    },
    {
      "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-iteration-bound",
      "json": "https://banes-lab.com/json/records/algorithms/iteration-bound",
      "label": "Iteration Bound",
      "markdown": "https://banes-lab.com/records/algorithms/iteration-bound.md",
      "ref": "algorithms:iteration-bound"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-file-scoped-fix",
      "json": "https://banes-lab.com/json/records/algorithms/file-scoped-fix",
      "label": "File-Scoped Fix",
      "markdown": "https://banes-lab.com/records/algorithms/file-scoped-fix.md",
      "ref": "algorithms:file-scoped-fix"
    },
    {
      "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-completion-report",
      "json": "https://banes-lab.com/json/records/algorithms/completion-report",
      "label": "Completion Report",
      "markdown": "https://banes-lab.com/records/algorithms/completion-report.md",
      "ref": "algorithms:completion-report"
    }
  ],
  "record": {
    "href": "https://banes-lab.com/ontology/algorithms#algorithms-codebase-verification-kernel",
    "json": "https://banes-lab.com/json/records/algorithms/codebase-verification-kernel",
    "label": "Codebase Verification Kernel",
    "markdown": "https://banes-lab.com/records/algorithms/codebase-verification-kernel.md",
    "ref": "algorithms:codebase-verification-kernel"
  },
  "ref": "algorithms:codebase-verification-kernel/closure",
  "title": "Codebase Verification Kernel and the contracts it depends on"
}