@marinjursic/prc-linux-arm64 0.1.0 → 0.2.0

package/bin/schemas/control-check-bindings.schema.json

@@ -0,0 +1,119 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://marinjursic.github.io/production-readiness-checklist/schemas/control-check-bindings.schema.json",
+  "title": "Production Readiness Deterministic Control Check Bindings v0.1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "generator_id", "registry_version", "registry_sha256", "methodology_sha256", "classification_corpus_sha256", "implementation_registry", "binding_count", "bindings"],
+  "properties": {
+    "schema_version": {"const": "prc.control-check-bindings/v0.1"},
+    "generator_id": {"const": "prc.build-control-check-bindings@0.1"},
+    "registry_version": {"type": "string", "pattern": "^[0-9]+\\.[0-9]+\\.[0-9]+$"},
+    "registry_sha256": {"$ref": "#/$defs/digest"},
+    "methodology_sha256": {"$ref": "#/$defs/digest"},
+    "classification_corpus_sha256": {"$ref": "#/$defs/digest"},
+    "implementation_registry": {
+      "type": "array", "minItems": 11, "maxItems": 11,
+      "items": {"$ref": "#/$defs/implementation"}
+    },
+    "binding_count": {"type": "integer", "minimum": 1, "maximum": 100000},
+    "bindings": {
+      "type": "array", "minItems": 1, "maxItems": 100000,
+      "items": {"$ref": "#/$defs/binding"}
+    }
+  },
+  "$defs": {
+    "digest": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
+    "control_id": {"type": "string", "pattern": "^(PRC-[0-9]{2}-[0-9]{3}|USEQ-[A-F0-9]{8})$"},
+    "checker_family": {
+      "enum": ["inventory_fact", "structured_document", "package_metadata", "ci_policy", "container_iac", "source_ast", "artifact_integrity", "analysis_adapter", "execution_evidence", "environment_evidence", "structured_record"]
+    },
+    "authority": {"enum": ["repository", "artifact", "executed", "environment", "external_registry", "structured_record"]},
+    "implementation": {
+      "type": "object", "additionalProperties": false,
+      "required": ["checker_family", "implementation_id", "supported_evidence_authorities", "capability_class", "external_provider_registration", "implementation_contract_sha256", "registration_state", "on_unregistered", "external_provider_claimed"],
+      "properties": {
+        "checker_family": {"$ref": "#/$defs/checker_family"},
+        "implementation_id": {"type": "string", "pattern": "^prc\\.check\\.[a-z0-9-]+@[0-9]+\\.[0-9]+$"},
+        "supported_evidence_authorities": {"type": "array", "minItems": 1, "uniqueItems": true, "items": {"$ref": "#/$defs/authority"}},
+        "capability_class": {"enum": ["read_workspace", "read_workspace_or_external_readonly", "read_workspace_or_environment_readonly", "read_artifact", "executed_evidence", "external_readonly", "structured_record_evidence"]},
+        "external_provider_registration": {"const": "required_when_authority_is_environment_or_external_registry"},
+        "implementation_contract_sha256": {"$ref": "#/$defs/digest"},
+        "registration_state": {"const": "runtime_registration_required"},
+        "on_unregistered": {"const": "blocked"},
+        "external_provider_claimed": {"const": false}
+      }
+    },
+    "applicability_contract": {
+      "type": "object", "additionalProperties": false,
+      "required": ["applicable_result", "not_applicable_requires", "unresolved_result"],
+      "properties": {
+        "applicable_result": {"const": "applicable"},
+        "not_applicable_requires": {"const": "authoritative_bounded_absence_proof"},
+        "unresolved_result": {"const": "blocked"}
+      }
+    },
+    "result_branch": {
+      "type": "object", "additionalProperties": false,
+      "required": ["result", "requires_all"],
+      "properties": {
+        "result": {"enum": ["pass", "fail"]},
+        "requires_all": {
+          "type": "array", "minItems": 1, "uniqueItems": true,
+          "items": {"type": "string", "pattern": "^[a-z0-9_]+$"}
+        }
+      }
+    },
+    "blocked_branch": {
+      "type": "object", "additionalProperties": false,
+      "required": ["result", "when_any"],
+      "properties": {
+        "result": {"const": "blocked"},
+        "when_any": {
+          "type": "array", "minItems": 1, "uniqueItems": true,
+          "items": {"type": "string", "pattern": "^[a-z0-9_]+$"}
+        }
+      }
+    },
+    "result_contract": {
+      "type": "object", "additionalProperties": false,
+      "required": ["pass", "fail", "blocked"],
+      "properties": {
+        "pass": {"$ref": "#/$defs/result_branch"},
+        "fail": {"$ref": "#/$defs/result_branch"},
+        "blocked": {"$ref": "#/$defs/blocked_branch"}
+      }
+    },
+    "clause": {
+      "type": "object", "additionalProperties": false,
+      "required": ["clause_id", "ordinal", "statement", "checker_family", "evidence_authority", "implementation_id", "implementation_contract_sha256", "implementation_registration", "provider_contract", "external_provider_claimed", "result_contract"],
+      "properties": {
+        "clause_id": {"$ref": "#/$defs/digest"},
+        "ordinal": {"type": "integer", "minimum": 1, "maximum": 50},
+        "statement": {"type": "string", "minLength": 1, "maxLength": 2000},
+        "checker_family": {"$ref": "#/$defs/checker_family"},
+        "evidence_authority": {"$ref": "#/$defs/authority"},
+        "implementation_id": {"type": "string", "pattern": "^prc\\.check\\.[a-z0-9-]+@[0-9]+\\.[0-9]+$"},
+        "implementation_contract_sha256": {"$ref": "#/$defs/digest"},
+        "implementation_registration": {"const": "required_before_execution"},
+        "provider_contract": {"const": "required_before_execution"},
+        "external_provider_claimed": {"const": false},
+        "result_contract": {"$ref": "#/$defs/result_contract"}
+      }
+    },
+    "binding": {
+      "type": "object", "additionalProperties": false,
+      "required": ["control_id", "revision", "semantic_sha256", "final_row_sha256", "route", "aggregation", "applicability_contract", "clauses"],
+      "properties": {
+        "control_id": {"$ref": "#/$defs/control_id"},
+        "revision": {"type": "integer", "minimum": 1},
+        "semantic_sha256": {"$ref": "#/$defs/digest"},
+        "final_row_sha256": {"$ref": "#/$defs/digest"},
+        "route": {"enum": ["local_static", "artifact_verification", "bounded_execution", "external_readonly_query", "structured_record_validation", "deterministic_composite"]},
+        "aggregation": {"const": "all_clauses_pass"},
+        "applicability_contract": {"$ref": "#/$defs/applicability_contract"},
+        "clauses": {"type": "array", "minItems": 1, "maxItems": 50, "items": {"$ref": "#/$defs/clause"}}
+      }
+    }
+  }
+}

package/bin/schemas/control-check-evidence-v0.1.schema.json

@@ -0,0 +1,244 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://marinjursic.github.io/production-readiness-checklist/schemas/control-check-evidence-v0.1.schema.json",
+  "title": "Normalized authoritative control-check evidence v0.1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "evidence_id", "program_sha256", "control_id", "control_revision", "control_semantic_sha256", "clause_id", "clause_sha256", "implementation_contract_sha256", "subject_id", "observed_subjects", "inventory_sha256", "authority", "observed_at", "complete", "applicability", "applicability_proof_contract_sha256", "facts"],
+  "properties": {
+    "schema_version": {"const": "prc.control-check-evidence/v0.1"},
+    "evidence_id": {"$ref": "#/$defs/nonempty_string"},
+    "program_sha256": {"$ref": "#/$defs/digest"},
+    "control_id": {"$ref": "#/$defs/control_id"},
+    "control_revision": {"type": "integer", "minimum": 1},
+    "control_semantic_sha256": {"$ref": "#/$defs/digest"},
+    "clause_id": {"$ref": "#/$defs/digest"},
+    "clause_sha256": {"$ref": "#/$defs/digest"},
+    "implementation_contract_sha256": {"$ref": "#/$defs/digest"},
+    "subject_id": {"$ref": "#/$defs/nonempty_string"},
+    "observed_subjects": {"$ref": "#/$defs/string_set"},
+    "inventory_sha256": {"$ref": "#/$defs/digest"},
+    "authority": {"$ref": "#/$defs/authority"},
+    "observed_at": {"type": "string", "format": "date-time", "maxLength": 64},
+    "complete": {"type": "boolean"},
+    "contradiction_digests": {"$ref": "#/$defs/digest_set"},
+    "applicability": {"enum": ["applicable", "not_applicable", "unknown"]},
+    "applicability_proof_contract_sha256": {"$ref": "#/$defs/digest"},
+    "applicability_proof": {"$ref": "#/$defs/nonempty_string"},
+    "applicability_proof_sha256": {"$ref": "#/$defs/digest"},
+    "facts": {
+      "type": "object",
+      "maxProperties": 512,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"$ref": "#/$defs/fact"}
+    }
+  },
+  "allOf": [
+    {
+      "if": {"properties": {"applicability": {"const": "not_applicable"}}},
+      "then": {"required": ["applicability_proof", "applicability_proof_sha256"]},
+      "else": {
+        "not": {
+          "anyOf": [
+            {"required": ["applicability_proof"]},
+            {"required": ["applicability_proof_sha256"]}
+          ]
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "digest": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
+    "control_id": {"type": "string", "pattern": "^(PRC-[0-9]{2}-[0-9]{3}|USEQ-[A-F0-9]{8})$"},
+    "fact_id": {"type": "string", "minLength": 1, "maxLength": 128, "pattern": "^[A-Za-z0-9_.-]+$"},
+    "nonempty_string": {"type": "string", "minLength": 1, "maxLength": 4096},
+    "authority": {"enum": ["repository", "artifact", "executed", "environment", "external_registry", "structured_record"]},
+    "string_set": {"type": "array", "maxItems": 1024, "uniqueItems": true, "items": {"$ref": "#/$defs/nonempty_string"}},
+    "digest_set": {"type": "array", "maxItems": 1024, "uniqueItems": true, "items": {"$ref": "#/$defs/digest"}},
+    "number_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "number"}
+    },
+    "string_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "string", "maxLength": 4096}
+    },
+    "nonempty_string_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"$ref": "#/$defs/nonempty_string"}
+    },
+    "digest_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"$ref": "#/$defs/digest"}
+    },
+    "boolean_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "boolean"}
+    },
+    "directed_edge": {
+      "type": "object", "additionalProperties": false,
+      "required": ["from", "to"],
+      "properties": {
+        "from": {"$ref": "#/$defs/nonempty_string"},
+        "to": {"$ref": "#/$defs/nonempty_string"}
+      }
+    },
+    "time_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "string", "format": "date-time", "maxLength": 64}
+    },
+    "fact": {
+      "oneOf": [
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "string"],
+          "properties": {
+            "type": {"enum": ["identity", "schema", "state"]},
+            "complete": {"type": "boolean"},
+            "string": {"$ref": "#/$defs/nonempty_string"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "string"],
+          "properties": {
+            "type": {"const": "string"},
+            "complete": {"type": "boolean"},
+            "string": {"type": "string", "maxLength": 4096},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "string"],
+          "properties": {
+            "type": {"const": "digest"},
+            "complete": {"type": "boolean"},
+            "string": {"$ref": "#/$defs/digest"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "boolean"],
+          "properties": {
+            "type": {"const": "boolean"},
+            "complete": {"type": "boolean"},
+            "boolean": {"type": "boolean"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "number"],
+          "properties": {
+            "type": {"const": "number"},
+            "complete": {"type": "boolean"},
+            "number": {"type": "number"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "timestamp"],
+          "properties": {
+            "type": {"const": "time"},
+            "complete": {"type": "boolean"},
+            "timestamp": {"type": "string", "format": "date-time", "maxLength": 64},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "strings"],
+          "properties": {
+            "type": {"const": "string_set"},
+            "complete": {"type": "boolean"},
+            "strings": {"$ref": "#/$defs/string_set"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "values"],
+          "properties": {
+            "type": {"enum": ["identity_map", "schema_map", "state_map"]},
+            "complete": {"type": "boolean"},
+            "values": {"$ref": "#/$defs/nonempty_string_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "values"],
+          "properties": {
+            "type": {"const": "digest_map"},
+            "complete": {"type": "boolean"},
+            "values": {"$ref": "#/$defs/digest_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "values"],
+          "properties": {
+            "type": {"const": "string_map"},
+            "complete": {"type": "boolean"},
+            "values": {"$ref": "#/$defs/string_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "booleans"],
+          "properties": {
+            "type": {"const": "boolean_map"},
+            "complete": {"type": "boolean"},
+            "booleans": {"$ref": "#/$defs/boolean_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "edges"],
+          "properties": {
+            "type": {"const": "directed_graph"},
+            "complete": {"type": "boolean"},
+            "edges": {
+              "type": "array", "maxItems": 1024,
+              "items": {"$ref": "#/$defs/directed_edge"}
+            },
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "numbers"],
+          "properties": {
+            "type": {"const": "number_map"},
+            "complete": {"type": "boolean"},
+            "numbers": {"$ref": "#/$defs/number_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "timestamps"],
+          "properties": {
+            "type": {"const": "time_map"},
+            "complete": {"type": "boolean"},
+            "timestamps": {"$ref": "#/$defs/time_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        }
+      ]
+    }
+  }
+}

package/bin/schemas/control-check-evidence.schema.json

@@ -0,0 +1,244 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://marinjursic.github.io/production-readiness-checklist/schemas/control-check-evidence.schema.json",
+  "title": "Normalized authoritative control-check evidence v0.1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "evidence_id", "program_sha256", "control_id", "control_revision", "control_semantic_sha256", "clause_id", "clause_sha256", "implementation_contract_sha256", "subject_id", "observed_subjects", "inventory_sha256", "authority", "observed_at", "complete", "applicability", "applicability_proof_contract_sha256", "facts"],
+  "properties": {
+    "schema_version": {"const": "prc.control-check-evidence/v0.1"},
+    "evidence_id": {"$ref": "#/$defs/nonempty_string"},
+    "program_sha256": {"$ref": "#/$defs/digest"},
+    "control_id": {"$ref": "#/$defs/control_id"},
+    "control_revision": {"type": "integer", "minimum": 1},
+    "control_semantic_sha256": {"$ref": "#/$defs/digest"},
+    "clause_id": {"$ref": "#/$defs/digest"},
+    "clause_sha256": {"$ref": "#/$defs/digest"},
+    "implementation_contract_sha256": {"$ref": "#/$defs/digest"},
+    "subject_id": {"$ref": "#/$defs/nonempty_string"},
+    "observed_subjects": {"$ref": "#/$defs/string_set"},
+    "inventory_sha256": {"$ref": "#/$defs/digest"},
+    "authority": {"$ref": "#/$defs/authority"},
+    "observed_at": {"type": "string", "format": "date-time", "maxLength": 64},
+    "complete": {"type": "boolean"},
+    "contradiction_digests": {"$ref": "#/$defs/digest_set"},
+    "applicability": {"enum": ["applicable", "not_applicable", "unknown"]},
+    "applicability_proof_contract_sha256": {"$ref": "#/$defs/digest"},
+    "applicability_proof": {"$ref": "#/$defs/nonempty_string"},
+    "applicability_proof_sha256": {"$ref": "#/$defs/digest"},
+    "facts": {
+      "type": "object",
+      "maxProperties": 512,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"$ref": "#/$defs/fact"}
+    }
+  },
+  "allOf": [
+    {
+      "if": {"properties": {"applicability": {"const": "not_applicable"}}},
+      "then": {"required": ["applicability_proof", "applicability_proof_sha256"]},
+      "else": {
+        "not": {
+          "anyOf": [
+            {"required": ["applicability_proof"]},
+            {"required": ["applicability_proof_sha256"]}
+          ]
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "digest": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
+    "control_id": {"type": "string", "pattern": "^(PRC-[0-9]{2}-[0-9]{3}|USEQ-[A-F0-9]{8})$"},
+    "fact_id": {"type": "string", "minLength": 1, "maxLength": 128, "pattern": "^[A-Za-z0-9_.-]+$"},
+    "nonempty_string": {"type": "string", "minLength": 1, "maxLength": 4096},
+    "authority": {"enum": ["repository", "artifact", "executed", "environment", "external_registry", "structured_record"]},
+    "string_set": {"type": "array", "maxItems": 1024, "uniqueItems": true, "items": {"$ref": "#/$defs/nonempty_string"}},
+    "digest_set": {"type": "array", "maxItems": 1024, "uniqueItems": true, "items": {"$ref": "#/$defs/digest"}},
+    "number_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "number"}
+    },
+    "string_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "string", "maxLength": 4096}
+    },
+    "nonempty_string_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"$ref": "#/$defs/nonempty_string"}
+    },
+    "digest_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"$ref": "#/$defs/digest"}
+    },
+    "boolean_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "boolean"}
+    },
+    "directed_edge": {
+      "type": "object", "additionalProperties": false,
+      "required": ["from", "to"],
+      "properties": {
+        "from": {"$ref": "#/$defs/nonempty_string"},
+        "to": {"$ref": "#/$defs/nonempty_string"}
+      }
+    },
+    "time_map": {
+      "type": "object", "maxProperties": 1024,
+      "propertyNames": {"$ref": "#/$defs/fact_id"},
+      "additionalProperties": {"type": "string", "format": "date-time", "maxLength": 64}
+    },
+    "fact": {
+      "oneOf": [
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "string"],
+          "properties": {
+            "type": {"enum": ["identity", "schema", "state"]},
+            "complete": {"type": "boolean"},
+            "string": {"$ref": "#/$defs/nonempty_string"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "string"],
+          "properties": {
+            "type": {"const": "string"},
+            "complete": {"type": "boolean"},
+            "string": {"type": "string", "maxLength": 4096},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "string"],
+          "properties": {
+            "type": {"const": "digest"},
+            "complete": {"type": "boolean"},
+            "string": {"$ref": "#/$defs/digest"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "boolean"],
+          "properties": {
+            "type": {"const": "boolean"},
+            "complete": {"type": "boolean"},
+            "boolean": {"type": "boolean"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "number"],
+          "properties": {
+            "type": {"const": "number"},
+            "complete": {"type": "boolean"},
+            "number": {"type": "number"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "timestamp"],
+          "properties": {
+            "type": {"const": "time"},
+            "complete": {"type": "boolean"},
+            "timestamp": {"type": "string", "format": "date-time", "maxLength": 64},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "strings"],
+          "properties": {
+            "type": {"const": "string_set"},
+            "complete": {"type": "boolean"},
+            "strings": {"$ref": "#/$defs/string_set"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "values"],
+          "properties": {
+            "type": {"enum": ["identity_map", "schema_map", "state_map"]},
+            "complete": {"type": "boolean"},
+            "values": {"$ref": "#/$defs/nonempty_string_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "values"],
+          "properties": {
+            "type": {"const": "digest_map"},
+            "complete": {"type": "boolean"},
+            "values": {"$ref": "#/$defs/digest_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "values"],
+          "properties": {
+            "type": {"const": "string_map"},
+            "complete": {"type": "boolean"},
+            "values": {"$ref": "#/$defs/string_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "booleans"],
+          "properties": {
+            "type": {"const": "boolean_map"},
+            "complete": {"type": "boolean"},
+            "booleans": {"$ref": "#/$defs/boolean_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "edges"],
+          "properties": {
+            "type": {"const": "directed_graph"},
+            "complete": {"type": "boolean"},
+            "edges": {
+              "type": "array", "maxItems": 1024,
+              "items": {"$ref": "#/$defs/directed_edge"}
+            },
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "numbers"],
+          "properties": {
+            "type": {"const": "number_map"},
+            "complete": {"type": "boolean"},
+            "numbers": {"$ref": "#/$defs/number_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["type", "complete", "timestamps"],
+          "properties": {
+            "type": {"const": "time_map"},
+            "complete": {"type": "boolean"},
+            "timestamps": {"$ref": "#/$defs/time_map"},
+            "conflict_digests": {"$ref": "#/$defs/digest_set"}
+          }
+        }
+      ]
+    }
+  }
+}