{
  "order": [
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-layer-fitness-enforcement",
      "json": "https://banes-lab.com/json/records/algorithms/layer-fitness-enforcement",
      "label": "Layer Fitness Enforcement",
      "markdown": "https://banes-lab.com/records/algorithms/layer-fitness-enforcement.md",
      "ref": "algorithms:layer-fitness-enforcement"
    },
    {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-verification-fitness",
      "json": "https://banes-lab.com/json/records/algorithms/verification-fitness",
      "label": "Verification Fitness",
      "markdown": "https://banes-lab.com/records/algorithms/verification-fitness.md",
      "ref": "algorithms:verification-fitness"
    }
  ],
  "record": {
    "href": "https://banes-lab.com/ontology/algorithms#algorithms-layer-fitness-enforcement",
    "json": "https://banes-lab.com/json/records/algorithms/layer-fitness-enforcement",
    "label": "Layer Fitness Enforcement",
    "markdown": "https://banes-lab.com/records/algorithms/layer-fitness-enforcement.md",
    "ref": "algorithms:layer-fitness-enforcement"
  },
  "ref": "algorithms:layer-fitness-enforcement/closure",
  "title": "Layer Fitness Enforcement and the contracts it depends on"
}