{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://usedeed.app/contracts/deed.formal_cubical_import_closure.v1.schema.json",
  "title": "DEED formal Cubical import closure v1",
  "type": "object",
  "required": ["schema", "root", "sourceCommit", "roots", "ignoredBuiltins", "moduleCount", "modules", "files"],
  "properties": {
    "schema": { "const": "https://usedeed.app/contracts/deed.formal_cubical_import_closure.v1.schema.json" },
    "root": { "const": "formal/DEED/QAnamorphism.agda" },
    "sourceCommit": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
    "roots": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
    "ignoredBuiltins": { "type": "string", "minLength": 1 },
    "moduleCount": { "type": "integer", "minimum": 1 },
    "modules": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
    "files": { "type": "array", "items": { "type": "string", "pattern": "\\.agda$" }, "minItems": 1, "uniqueItems": true }
  },
  "additionalProperties": false
}