{
  "order": [
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-test-coverage-kernel",
      "json": "https://banes-lab.com/json/records/algorithms/test-coverage-kernel",
      "label": "Test Coverage Kernel",
      "markdown": "https://banes-lab.com/records/algorithms/test-coverage-kernel.md",
      "ref": "algorithms:test-coverage-kernel"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-coverage-workspace",
      "json": "https://banes-lab.com/json/records/algorithms/coverage-workspace",
      "label": "Coverage Workspace",
      "markdown": "https://banes-lab.com/records/algorithms/coverage-workspace.md",
      "ref": "algorithms:coverage-workspace"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-surface-grid-walk",
      "json": "https://banes-lab.com/json/records/algorithms/surface-grid-walk",
      "label": "Surface Grid Walk",
      "markdown": "https://banes-lab.com/records/algorithms/surface-grid-walk.md",
      "ref": "algorithms:surface-grid-walk"
    },
    {
      "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-coverage-risk-prioritization",
      "json": "https://banes-lab.com/json/records/algorithms/coverage-risk-prioritization",
      "label": "Coverage Risk Prioritization",
      "markdown": "https://banes-lab.com/records/algorithms/coverage-risk-prioritization.md",
      "ref": "algorithms:coverage-risk-prioritization"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-technique-invariant-selection",
      "json": "https://banes-lab.com/json/records/algorithms/technique-invariant-selection",
      "label": "Technique and Invariant Selection",
      "markdown": "https://banes-lab.com/records/algorithms/technique-invariant-selection.md",
      "ref": "algorithms:technique-invariant-selection"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-test-authoring",
      "json": "https://banes-lab.com/json/records/algorithms/test-authoring",
      "label": "Test Authoring",
      "markdown": "https://banes-lab.com/records/algorithms/test-authoring.md",
      "ref": "algorithms:test-authoring"
    },
    {
      "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-ledger",
      "json": "https://banes-lab.com/json/records/algorithms/coverage-ledger",
      "label": "Coverage Ledger",
      "markdown": "https://banes-lab.com/records/algorithms/coverage-ledger.md",
      "ref": "algorithms:coverage-ledger"
    },
    {
      "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"
    }
  ],
  "record": {
    "href": "https://banes-lab.com/ontology/algorithms#algorithms-test-coverage-kernel",
    "json": "https://banes-lab.com/json/records/algorithms/test-coverage-kernel",
    "label": "Test Coverage Kernel",
    "markdown": "https://banes-lab.com/records/algorithms/test-coverage-kernel.md",
    "ref": "algorithms:test-coverage-kernel"
  },
  "ref": "algorithms:test-coverage-kernel/closure",
  "title": "Test Coverage Kernel and the contracts it depends on"
}