form.schema.json

{
  "$comment": "Generated by `go run ./internal/architecture/document/schema/cmd -write`; DO NOT EDIT.",
  "$defs": {
    "Accounting": {
      "additionalProperties": false,
      "properties": {
        "absent": {
          "minimum": 0,
          "type": "integer"
        },
        "applied_interpretations": {
          "minimum": 0,
          "type": "integer"
        },
        "carried": {
          "minimum": 0,
          "type": "integer"
        },
        "closures": {
          "minimum": 0,
          "type": "integer"
        },
        "data_instances": {
          "minimum": 0,
          "type": "integer"
        },
        "data_sources": {
          "minimum": 0,
          "type": "integer"
        },
        "declarations": {
          "minimum": 0,
          "type": "integer"
        },
        "deferred": {
          "minimum": 0,
          "type": "integer"
        },
        "dependencies": {
          "minimum": 0,
          "type": "integer"
        },
        "deposed": {
          "minimum": 0,
          "type": "integer"
        },
        "external_endpoints": {
          "minimum": 0,
          "type": "integer"
        },
        "facts": {
          "minimum": 0,
          "type": "integer"
        },
        "failed_interpretations": {
          "minimum": 0,
          "type": "integer"
        },
        "indeterminate": {
          "minimum": 0,
          "type": "integer"
        },
        "indeterminate_interpretations": {
          "minimum": 0,
          "type": "integer"
        },
        "instances": {
          "minimum": 0,
          "type": "integer"
        },
        "managed_instances": {
          "minimum": 0,
          "type": "integer"
        },
        "resolved": {
          "minimum": 0,
          "type": "integer"
        },
        "resources": {
          "minimum": 0,
          "type": "integer"
        },
        "uninterpreted_instances": {
          "minimum": 0,
          "type": "integer"
        }
      },
      "required": [
        "absent",
        "applied_interpretations",
        "carried",
        "closures",
        "data_instances",
        "data_sources",
        "declarations",
        "deferred",
        "dependencies",
        "deposed",
        "external_endpoints",
        "facts",
        "failed_interpretations",
        "indeterminate",
        "indeterminate_interpretations",
        "instances",
        "managed_instances",
        "resolved",
        "resources",
        "uninterpreted_instances"
      ],
      "type": "object"
    },
    "Architecture": {
      "additionalProperties": false,
      "properties": {
        "accounting": {
          "$ref": "#/$defs/Accounting"
        },
        "closures": {
          "items": {
            "$ref": "#/$defs/Closure"
          },
          "type": "array"
        },
        "contexts": {
          "items": {
            "$ref": "#/$defs/Context"
          },
          "type": "array"
        },
        "contributions": {
          "items": {
            "$ref": "#/$defs/Contribution"
          },
          "type": "array"
        },
        "declarations": {
          "items": {
            "$ref": "#/$defs/Declaration"
          },
          "type": "array"
        },
        "dependencies": {
          "items": {
            "$ref": "#/$defs/Dependency"
          },
          "type": "array"
        },
        "deposed": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "label": {
          "type": "string"
        },
        "reconstruction": {
          "$ref": "#/$defs/Reconstruction"
        },
        "relations": {
          "items": {
            "$ref": "#/$defs/Relation"
          },
          "type": "array"
        },
        "representations": {
          "items": {
            "$ref": "#/$defs/Representation"
          },
          "type": "array"
        },
        "stage": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        }
      },
      "required": [
        "accounting",
        "closures",
        "contexts",
        "contributions",
        "declarations",
        "dependencies",
        "deposed",
        "label",
        "relations",
        "representations",
        "stage"
      ],
      "type": "object"
    },
    "Attestation": {
      "additionalProperties": false,
      "properties": {
        "name": {
          "type": "string"
        },
        "value": {
          "type": "string"
        }
      },
      "required": [
        "name",
        "value"
      ],
      "type": "object"
    },
    "Cancellation": {
      "additionalProperties": false,
      "properties": {
        "drift_change": {
          "type": "string"
        },
        "fact": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "planned_change": {
          "type": "string"
        }
      },
      "required": [
        "drift_change",
        "fact",
        "id",
        "planned_change"
      ],
      "type": "object"
    },
    "Candidates": {
      "additionalProperties": false,
      "properties": {
        "excluded": {
          "minimum": 0,
          "type": "integer"
        },
        "known_equal": {
          "minimum": 0,
          "type": "integer"
        },
        "unknown": {
          "minimum": 0,
          "type": "integer"
        }
      },
      "required": [
        "excluded",
        "known_equal",
        "unknown"
      ],
      "type": "object"
    },
    "Closure": {
      "additionalProperties": false,
      "properties": {
        "candidates": {
          "$ref": "#/$defs/Candidates"
        },
        "emission": {
          "type": "string"
        },
        "facts": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "id": {
          "type": "string"
        },
        "outcome": {
          "enum": [
            "resolved",
            "absent",
            "indeterminate"
          ]
        },
        "reason": {
          "enum": [
            "unknown_until_apply",
            "sensitive",
            "ambiguous_unknown",
            "uncomparable_candidate",
            "reference_ambiguous",
            "identity_incomplete",
            "unavailable",
            "external_denied",
            "duplicate_identity"
          ]
        },
        "representation": {
          "type": "string"
        }
      },
      "required": [
        "candidates",
        "emission",
        "facts",
        "id",
        "outcome",
        "representation"
      ],
      "type": "object"
    },
    "Comparison": {
      "additionalProperties": false,
      "properties": {
        "after": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        },
        "before": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        },
        "cancelled": {
          "items": {
            "$ref": "#/$defs/Cancellation"
          },
          "type": "array"
        },
        "comparable": {
          "type": "boolean"
        },
        "counts": {
          "$ref": "#/$defs/ComparisonCounts"
        },
        "external_matches": {
          "items": {
            "$ref": "#/$defs/ExternalMatch"
          },
          "type": "array"
        },
        "facts": {
          "items": {
            "$ref": "#/$defs/FactChange"
          },
          "type": "array"
        },
        "indeterminate": {
          "items": {
            "$ref": "#/$defs/IndeterminateClosure"
          },
          "type": "array"
        },
        "name": {
          "enum": [
            "drift",
            "changes",
            "net",
            "cross"
          ]
        },
        "problems": {
          "items": {
            "$ref": "#/$defs/ComparisonProblem"
          },
          "type": "array"
        },
        "representations": {
          "items": {
            "$ref": "#/$defs/RepresentationChange"
          },
          "type": "array"
        }
      },
      "required": [
        "after",
        "before",
        "cancelled",
        "comparable",
        "counts",
        "facts",
        "indeterminate",
        "name",
        "problems",
        "representations"
      ],
      "type": "object"
    },
    "ComparisonCounts": {
      "additionalProperties": false,
      "properties": {
        "cancelled": {
          "minimum": 0,
          "type": "integer"
        },
        "facts_added": {
          "minimum": 0,
          "type": "integer"
        },
        "facts_removed": {
          "minimum": 0,
          "type": "integer"
        },
        "indeterminate": {
          "minimum": 0,
          "type": "integer"
        },
        "moved": {
          "minimum": 0,
          "type": "integer"
        },
        "recreated": {
          "minimum": 0,
          "type": "integer"
        },
        "replaced": {
          "minimum": 0,
          "type": "integer"
        },
        "representations_added": {
          "minimum": 0,
          "type": "integer"
        },
        "representations_changed": {
          "minimum": 0,
          "type": "integer"
        },
        "representations_removed": {
          "minimum": 0,
          "type": "integer"
        }
      },
      "required": [
        "cancelled",
        "facts_added",
        "facts_removed",
        "indeterminate",
        "moved",
        "recreated",
        "replaced",
        "representations_added",
        "representations_changed",
        "representations_removed"
      ],
      "type": "object"
    },
    "ComparisonForm": {
      "additionalProperties": false,
      "properties": {
        "after": {
          "$ref": "#/$defs/Side"
        },
        "before": {
          "$ref": "#/$defs/Side"
        },
        "comparison": {
          "$ref": "#/$defs/Comparison"
        },
        "diagnostics": {
          "items": {
            "$ref": "#/$defs/Diagnostic"
          },
          "type": "array"
        },
        "format_version": {
          "const": "1"
        },
        "generator": {
          "$ref": "#/$defs/Generator"
        },
        "kind": {
          "const": "comparison"
        }
      },
      "required": [
        "after",
        "before",
        "comparison",
        "diagnostics",
        "format_version",
        "generator",
        "kind"
      ],
      "type": "object"
    },
    "ComparisonProblem": {
      "additionalProperties": false,
      "properties": {
        "code": {
          "pattern": "^[A-Z][A-Z0-9_]{1,63}$",
          "type": "string"
        },
        "message": {
          "type": "string"
        }
      },
      "required": [
        "code",
        "message"
      ],
      "type": "object"
    },
    "Comparisons": {
      "additionalProperties": false,
      "properties": {
        "changes": {
          "$ref": "#/$defs/Comparison"
        },
        "drift": {
          "$ref": "#/$defs/Comparison"
        },
        "net": {
          "$ref": "#/$defs/Comparison"
        }
      },
      "required": [],
      "type": "object"
    },
    "Completeness": {
      "additionalProperties": false,
      "properties": {
        "attested_complete": {
          "type": "boolean"
        },
        "producer_complete": {
          "enum": [
            "true",
            "false",
            "unavailable"
          ]
        }
      },
      "required": [
        "attested_complete",
        "producer_complete"
      ],
      "type": "object"
    },
    "CompositionDefinition": {
      "additionalProperties": false,
      "properties": {
        "members": {
          "items": {
            "$ref": "#/$defs/CompositionMemberDefinition"
          },
          "type": "array"
        }
      },
      "required": [
        "members"
      ],
      "type": "object"
    },
    "CompositionMember": {
      "additionalProperties": false,
      "properties": {
        "evidence": {
          "enum": [
            "value",
            "traversal",
            "both"
          ]
        },
        "id": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "representation": {
          "type": "string"
        }
      },
      "required": [
        "evidence",
        "id",
        "name",
        "representation"
      ],
      "type": "object"
    },
    "CompositionMemberDefinition": {
      "additionalProperties": false,
      "properties": {
        "match_kind": {
          "type": "string"
        },
        "match_type": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "via": {
          "type": "string"
        }
      },
      "required": [
        "match_kind",
        "match_type",
        "name",
        "via"
      ],
      "type": "object"
    },
    "ConceptDefinition": {
      "additionalProperties": false,
      "properties": {
        "description": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "owner": {
          "type": "string"
        }
      },
      "required": [
        "id",
        "name",
        "owner"
      ],
      "type": "object"
    },
    "Context": {
      "additionalProperties": false,
      "properties": {
        "dimension": {
          "type": "string"
        },
        "from": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "provenance": {
          "items": {
            "$ref": "#/$defs/FactProvenance"
          },
          "type": "array"
        },
        "to": {
          "type": "string"
        }
      },
      "required": [
        "dimension",
        "from",
        "id",
        "provenance",
        "to"
      ],
      "type": "object"
    },
    "ContextDefinition": {
      "additionalProperties": false,
      "properties": {
        "description": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "owner": {
          "type": "string"
        }
      },
      "required": [
        "id",
        "name",
        "owner"
      ],
      "type": "object"
    },
    "Contribution": {
      "additionalProperties": false,
      "properties": {
        "from": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "provenance": {
          "items": {
            "$ref": "#/$defs/FactProvenance"
          },
          "type": "array"
        },
        "to": {
          "type": "string"
        }
      },
      "required": [
        "from",
        "id",
        "provenance",
        "to"
      ],
      "type": "object"
    },
    "Declaration": {
      "additionalProperties": false,
      "properties": {
        "address": {
          "type": "string"
        },
        "diagnostics": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "id": {
          "type": "string"
        },
        "kind": {
          "enum": [
            "resource",
            "data"
          ]
        },
        "module_declaration": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "population": {
          "$ref": "#/$defs/Population"
        },
        "provider": {
          "$ref": "#/$defs/Provider"
        },
        "type": {
          "type": "string"
        }
      },
      "required": [
        "address",
        "diagnostics",
        "id",
        "kind",
        "name",
        "population",
        "provider",
        "type"
      ],
      "type": "object"
    },
    "Dependency": {
      "additionalProperties": false,
      "properties": {
        "from": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "roles": {
          "items": {
            "enum": [
              "reference",
              "depends_on",
              "count",
              "for_each",
              "provider"
            ]
          },
          "type": "array"
        },
        "to": {
          "type": "string"
        }
      },
      "required": [
        "from",
        "id",
        "roles",
        "to"
      ],
      "type": "object"
    },
    "Diagnostic": {
      "additionalProperties": false,
      "properties": {
        "code": {
          "pattern": "^[A-Z][A-Z0-9_]{1,63}$",
          "type": "string"
        },
        "count": {
          "minimum": 0,
          "type": "integer"
        },
        "declaration": {
          "type": "string"
        },
        "emission": {
          "type": "string"
        },
        "id": {
          "pattern": "^diagnostic:[0-9a-f]{64}$",
          "type": "string"
        },
        "message": {
          "type": "string"
        },
        "owner": {
          "type": "string"
        },
        "path": {
          "type": "string"
        },
        "phase": {
          "enum": [
            "input",
            "enrichment",
            "selection",
            "interpretation",
            "composition",
            "resolution",
            "comparison",
            "validation"
          ]
        },
        "representation": {
          "type": "string"
        },
        "rule": {
          "type": "string"
        },
        "severity": {
          "enum": [
            "error",
            "warning",
            "info"
          ]
        },
        "stage": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        }
      },
      "required": [
        "code",
        "id",
        "message",
        "phase",
        "severity"
      ],
      "type": "object"
    },
    "DriftEntry": {
      "additionalProperties": false,
      "properties": {
        "actions": {
          "items": {
            "enum": [
              "no-op",
              "create",
              "read",
              "update",
              "delete",
              "forget"
            ]
          },
          "minItems": 1,
          "type": "array"
        },
        "address": {
          "type": "string"
        },
        "changed_paths": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "consequence": {
          "enum": [
            "architectural",
            "none_under_dialects",
            "indeterminate",
            "uncovered",
            "address_only"
          ]
        },
        "fact_changes": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "id": {
          "type": "string"
        },
        "previous_address": {
          "type": "string"
        },
        "representation": {
          "type": "string"
        }
      },
      "required": [
        "actions",
        "address",
        "changed_paths",
        "consequence",
        "fact_changes",
        "id"
      ],
      "type": "object"
    },
    "DriftReport": {
      "additionalProperties": false,
      "properties": {
        "entries": {
          "items": {
            "$ref": "#/$defs/DriftEntry"
          },
          "type": "array"
        },
        "summary": {
          "type": "string"
        }
      },
      "required": [
        "entries",
        "summary"
      ],
      "type": "object"
    },
    "Emission": {
      "additionalProperties": false,
      "properties": {
        "dimension": {
          "type": "string"
        },
        "disclose": {
          "enum": [
            "none",
            "record",
            "report"
          ]
        },
        "external": {
          "enum": [
            "allow",
            "deny"
          ]
        },
        "id": {
          "pattern": "^emission:[0-9a-f]{64}$",
          "type": "string"
        },
        "kind": {
          "enum": [
            "context",
            "contribution",
            "relation"
          ]
        },
        "match": {
          "$ref": "#/$defs/EmissionMatch"
        },
        "on_empty": {
          "enum": [
            "absent",
            "indeterminate"
          ]
        },
        "on_null": {
          "enum": [
            "absent",
            "indeterminate"
          ]
        },
        "predicate": {
          "type": "string"
        },
        "prefix": {
          "type": "string"
        },
        "rule": {
          "type": "string"
        },
        "to": {
          "$ref": "#/$defs/TargetRef"
        },
        "via": {
          "type": "string"
        }
      },
      "required": [
        "disclose",
        "external",
        "id",
        "kind",
        "on_empty",
        "on_null",
        "rule",
        "to",
        "via"
      ],
      "type": "object"
    },
    "EmissionMatch": {
      "additionalProperties": false,
      "properties": {
        "by": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "strategy": {
          "enum": [
            "exact",
            "dot-ancestor",
            "last-segment"
          ]
        }
      },
      "required": [
        "by",
        "strategy"
      ],
      "type": "object"
    },
    "EndpointDefinition": {
      "additionalProperties": false,
      "properties": {
        "attributes": {
          "items": {
            "type": "string"
          },
          "type": "array"
        }
      },
      "required": [
        "attributes"
      ],
      "type": "object"
    },
    "Enrichment": {
      "additionalProperties": false,
      "properties": {
        "snapshot": {
          "$ref": "#/$defs/SnapshotEnrichment"
        }
      },
      "required": [
        "snapshot"
      ],
      "type": "object"
    },
    "Evidence": {
      "additionalProperties": false,
      "properties": {
        "attestations": {
          "items": {
            "$ref": "#/$defs/Attestation"
          },
          "type": "array"
        },
        "completeness": {
          "$ref": "#/$defs/Completeness"
        },
        "enrichment": {
          "$ref": "#/$defs/Enrichment"
        },
        "input_format_version": {
          "type": "string"
        },
        "origin": {
          "enum": [
            "plan",
            "state"
          ]
        },
        "producer": {
          "$ref": "#/$defs/Producer"
        },
        "scope": {
          "$ref": "#/$defs/Scope"
        }
      },
      "required": [
        "attestations",
        "completeness",
        "enrichment",
        "input_format_version",
        "origin",
        "producer",
        "scope"
      ],
      "type": "object"
    },
    "ExternalMatch": {
      "additionalProperties": false,
      "properties": {
        "after": {
          "type": "string"
        },
        "before": {
          "type": "string"
        }
      },
      "required": [
        "after",
        "before"
      ],
      "type": "object"
    },
    "FactChange": {
      "additionalProperties": false,
      "properties": {
        "change": {
          "enum": [
            "added",
            "removed",
            "changed",
            "moved",
            "replaced",
            "recreated"
          ]
        },
        "emission": {
          "type": "string"
        },
        "fact": {
          "type": "string"
        },
        "from": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "kind": {
          "enum": [
            "context",
            "contribution",
            "relation"
          ]
        },
        "to": {
          "type": "string"
        }
      },
      "required": [
        "change",
        "emission",
        "fact",
        "from",
        "id",
        "kind",
        "to"
      ],
      "type": "object"
    },
    "FactProvenance": {
      "additionalProperties": false,
      "properties": {
        "closure": {
          "type": "string"
        },
        "emission": {
          "type": "string"
        },
        "evidence": {
          "enum": [
            "value",
            "traversal",
            "both"
          ]
        },
        "rule": {
          "type": "string"
        }
      },
      "required": [
        "closure",
        "emission",
        "evidence",
        "rule"
      ],
      "type": "object"
    },
    "Generator": {
      "additionalProperties": false,
      "properties": {
        "name": {
          "const": "rootform"
        },
        "version": {
          "type": "string"
        }
      },
      "required": [
        "name",
        "version"
      ],
      "type": "object"
    },
    "IdentityDefinition": {
      "additionalProperties": false,
      "properties": {
        "attributes": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "scope": {
          "enum": [
            "provider",
            "global"
          ]
        }
      },
      "required": [
        "attributes",
        "scope"
      ],
      "type": "object"
    },
    "Implementation": {
      "additionalProperties": false,
      "properties": {
        "kind": {
          "enum": [
            "direct",
            "composition"
          ]
        },
        "members": {
          "items": {
            "$ref": "#/$defs/CompositionMember"
          },
          "type": "array"
        },
        "unresolved": {
          "items": {
            "$ref": "#/$defs/UnresolvedMember"
          },
          "type": "array"
        }
      },
      "required": [
        "kind"
      ],
      "type": "object"
    },
    "IndeterminateClosure": {
      "additionalProperties": false,
      "properties": {
        "closure": {
          "type": "string"
        },
        "emission": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "reasons": {
          "items": {
            "enum": [
              "unknown_until_apply",
              "sensitive",
              "ambiguous_unknown",
              "uncomparable_candidate",
              "reference_ambiguous",
              "identity_incomplete",
              "unavailable",
              "external_denied",
              "duplicate_identity",
              "external_identity_withheld",
              "interpretation_failed"
            ]
          },
          "type": "array"
        },
        "representation": {
          "type": "string"
        },
        "side": {
          "enum": [
            "before",
            "after"
          ]
        }
      },
      "required": [
        "closure",
        "emission",
        "id",
        "reasons",
        "representation",
        "side"
      ],
      "type": "object"
    },
    "IndexKey": {
      "additionalProperties": false,
      "properties": {
        "kind": {
          "enum": [
            "none",
            "string",
            "number"
          ]
        },
        "value": {
          "type": "string"
        }
      },
      "required": [
        "kind"
      ],
      "type": "object"
    },
    "InputForm": {
      "additionalProperties": false,
      "properties": {
        "comparisons": {
          "$ref": "#/$defs/Comparisons"
        },
        "default_stage": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        },
        "diagnostics": {
          "items": {
            "$ref": "#/$defs/Diagnostic"
          },
          "type": "array"
        },
        "drift_report": {
          "$ref": "#/$defs/DriftReport"
        },
        "evidence": {
          "$ref": "#/$defs/Evidence"
        },
        "format_version": {
          "const": "1"
        },
        "generator": {
          "$ref": "#/$defs/Generator"
        },
        "kind": {
          "enum": [
            "state",
            "plan"
          ]
        },
        "semantics": {
          "$ref": "#/$defs/Semantics"
        },
        "stages": {
          "additionalProperties": {
            "$ref": "#/$defs/Architecture"
          },
          "propertyNames": {
            "enum": [
              "planned",
              "refreshed",
              "recorded"
            ]
          },
          "type": "object"
        }
      },
      "required": [
        "default_stage",
        "diagnostics",
        "evidence",
        "format_version",
        "generator",
        "kind",
        "semantics",
        "stages"
      ],
      "type": "object"
    },
    "Interpretation": {
      "additionalProperties": false,
      "properties": {
        "candidates": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "diagnostics": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "reason": {
          "enum": [
            "unknown_until_apply",
            "sensitive",
            "ambiguous_unknown",
            "uncomparable_candidate",
            "reference_ambiguous",
            "identity_incomplete",
            "unavailable",
            "external_denied",
            "duplicate_identity"
          ]
        },
        "status": {
          "enum": [
            "none",
            "applied",
            "indeterminate",
            "failed"
          ]
        }
      },
      "required": [
        "candidates",
        "diagnostics",
        "status"
      ],
      "type": "object"
    },
    "OwnerReplacement": {
      "additionalProperties": false,
      "properties": {
        "digest": {
          "pattern": "^sha256:[0-9a-f]{64}$",
          "type": "string"
        },
        "origin": {
          "enum": [
            "supplied",
            "local",
            "oci"
          ]
        },
        "owner": {
          "type": "string"
        }
      },
      "required": [
        "digest",
        "origin",
        "owner"
      ],
      "type": "object"
    },
    "Population": {
      "additionalProperties": false,
      "properties": {
        "instances": {
          "minimum": 0,
          "type": "integer"
        },
        "status": {
          "enum": [
            "observed",
            "proven_zero",
            "unverified"
          ]
        }
      },
      "required": [
        "instances",
        "status"
      ],
      "type": "object"
    },
    "Producer": {
      "additionalProperties": false,
      "properties": {
        "hints": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "reported_version": {
          "type": "string"
        },
        "tool": {
          "enum": [
            "unestablished",
            "terraform",
            "opentofu"
          ]
        },
        "tool_source": {
          "const": "attested"
        }
      },
      "required": [
        "hints",
        "reported_version",
        "tool"
      ],
      "type": "object"
    },
    "Provider": {
      "additionalProperties": false,
      "properties": {
        "address": {
          "type": "string"
        },
        "alias": {
          "type": "string"
        },
        "alias_availability": {
          "enum": [
            "available",
            "unavailable"
          ]
        },
        "binding": {
          "type": "string"
        },
        "module": {
          "type": "string"
        }
      },
      "required": [
        "address",
        "alias",
        "alias_availability"
      ],
      "type": "object"
    },
    "Reconstruction": {
      "additionalProperties": false,
      "properties": {
        "from": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        },
        "reversed_drift_entries": {
          "minimum": 0,
          "type": "integer"
        }
      },
      "required": [
        "from",
        "reversed_drift_entries"
      ],
      "type": "object"
    },
    "Relation": {
      "additionalProperties": false,
      "properties": {
        "from": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "predicate": {
          "type": "string"
        },
        "provenance": {
          "items": {
            "$ref": "#/$defs/FactProvenance"
          },
          "type": "array"
        },
        "to": {
          "type": "string"
        }
      },
      "required": [
        "from",
        "id",
        "predicate",
        "provenance",
        "to"
      ],
      "type": "object"
    },
    "RelationDefinition": {
      "additionalProperties": false,
      "properties": {
        "description": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "owner": {
          "type": "string"
        }
      },
      "required": [
        "id",
        "name",
        "owner"
      ],
      "type": "object"
    },
    "ReleaseSet": {
      "additionalProperties": false,
      "properties": {
        "id": {
          "pattern": "^release-set:[0-9a-f]{64}$",
          "type": "string"
        },
        "manifest_digest": {
          "pattern": "^sha256:[0-9a-f]{64}$",
          "type": "string"
        },
        "units": {
          "items": {
            "$ref": "#/$defs/ReleaseSetUnit"
          },
          "type": "array"
        },
        "version": {
          "type": "string"
        }
      },
      "required": [
        "id",
        "manifest_digest",
        "units",
        "version"
      ],
      "type": "object"
    },
    "ReleaseSetUnit": {
      "additionalProperties": false,
      "properties": {
        "content_digest": {
          "pattern": "^sha256:[0-9a-f]{64}$",
          "type": "string"
        },
        "kind": {
          "enum": [
            "vocabulary",
            "dialect"
          ]
        },
        "owner": {
          "type": "string"
        },
        "semantic_digest": {
          "pattern": "^sha256:[0-9a-f]{64}$",
          "type": "string"
        },
        "version": {
          "type": "string"
        }
      },
      "required": [
        "content_digest",
        "kind",
        "owner",
        "semantic_digest",
        "version"
      ],
      "type": "object"
    },
    "Representation": {
      "additionalProperties": false,
      "properties": {
        "action_reason": {
          "type": "string"
        },
        "actions": {
          "items": {
            "enum": [
              "no-op",
              "create",
              "read",
              "update",
              "delete",
              "forget"
            ]
          },
          "type": "array"
        },
        "address": {
          "type": "string"
        },
        "concept": {
          "type": "string"
        },
        "declaration": {
          "type": "string"
        },
        "diagnostics": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "disclosure": {
          "enum": [
            "none",
            "record",
            "report"
          ]
        },
        "id": {
          "type": "string"
        },
        "identity": {
          "additionalProperties": {
            "type": "string"
          },
          "description": "External endpoints only, under the record or report disclosure tier.",
          "type": "object"
        },
        "implementation": {
          "$ref": "#/$defs/Implementation"
        },
        "index_key": {
          "$ref": "#/$defs/IndexKey"
        },
        "interpretation": {
          "$ref": "#/$defs/Interpretation"
        },
        "kind": {
          "enum": [
            "managed",
            "data",
            "external"
          ]
        },
        "module_instance": {
          "type": "string"
        },
        "name": {
          "type": "string"
        },
        "previous_address": {
          "type": "string"
        },
        "provider": {
          "$ref": "#/$defs/Provider"
        },
        "rule": {
          "type": "string"
        },
        "status": {
          "enum": [
            "planned",
            "carried",
            "deferred",
            "recorded",
            "external"
          ]
        }
      },
      "required": [
        "actions",
        "diagnostics",
        "id",
        "implementation",
        "index_key",
        "kind",
        "status"
      ],
      "type": "object"
    },
    "RepresentationChange": {
      "additionalProperties": false,
      "properties": {
        "change": {
          "enum": [
            "added",
            "removed",
            "changed",
            "moved",
            "replaced",
            "recreated"
          ]
        },
        "fields": {
          "items": {
            "enum": [
              "provider",
              "rule",
              "concept",
              "implementation"
            ]
          },
          "type": "array"
        },
        "id": {
          "type": "string"
        },
        "previous_address": {
          "type": "string"
        },
        "reason": {
          "type": "string"
        },
        "representation": {
          "type": "string"
        }
      },
      "required": [
        "change",
        "id",
        "representation"
      ],
      "type": "object"
    },
    "RuleDefinition": {
      "additionalProperties": false,
      "properties": {
        "composition": {
          "$ref": "#/$defs/CompositionDefinition"
        },
        "concept": {
          "type": "string"
        },
        "emissions": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "endpoint": {
          "$ref": "#/$defs/EndpointDefinition"
        },
        "id": {
          "type": "string"
        },
        "identity": {
          "$ref": "#/$defs/IdentityDefinition"
        },
        "match_kind": {
          "type": "string"
        },
        "match_type": {
          "type": "string"
        },
        "owner": {
          "type": "string"
        }
      },
      "required": [
        "emissions",
        "id",
        "match_kind",
        "match_type",
        "owner"
      ],
      "type": "object"
    },
    "Scope": {
      "additionalProperties": false,
      "properties": {
        "data_sources_covered_by_drift": {
          "const": false
        },
        "deposed_covered_by_drift": {
          "const": false
        },
        "drift_records": {
          "enum": [
            "present",
            "absent",
            "not_applicable"
          ]
        },
        "refresh_scope": {
          "const": "not_exported"
        }
      },
      "required": [
        "data_sources_covered_by_drift",
        "deposed_covered_by_drift",
        "drift_records",
        "refresh_scope"
      ],
      "type": "object"
    },
    "Selection": {
      "additionalProperties": false,
      "properties": {
        "active_owners": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "excluded_owners": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "provider_map": {
          "items": {
            "$ref": "#/$defs/Attestation"
          },
          "type": "array"
        },
        "replacements": {
          "items": {
            "$ref": "#/$defs/OwnerReplacement"
          },
          "type": "array"
        }
      },
      "required": [
        "active_owners",
        "excluded_owners",
        "provider_map",
        "replacements"
      ],
      "type": "object"
    },
    "SemanticOwner": {
      "additionalProperties": false,
      "properties": {
        "content_digest": {
          "pattern": "^sha256:[0-9a-f]{64}$",
          "type": "string"
        },
        "dependencies": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "id": {
          "type": "string"
        },
        "kind": {
          "enum": [
            "vocabulary",
            "dialect"
          ]
        },
        "origin": {
          "enum": [
            "supplied",
            "local",
            "oci"
          ]
        },
        "providers": {
          "items": {
            "$ref": "#/$defs/SemanticProvider"
          },
          "type": "array"
        },
        "semantic_digest": {
          "pattern": "^sha256:[0-9a-f]{64}$",
          "type": "string"
        },
        "version": {
          "type": "string"
        }
      },
      "required": [
        "content_digest",
        "dependencies",
        "id",
        "kind",
        "origin",
        "providers",
        "semantic_digest",
        "version"
      ],
      "type": "object"
    },
    "SemanticProvider": {
      "additionalProperties": false,
      "properties": {
        "hosts": {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        "source": {
          "type": "string"
        },
        "version": {
          "type": "string"
        }
      },
      "required": [
        "hosts",
        "source",
        "version"
      ],
      "type": "object"
    },
    "Semantics": {
      "additionalProperties": false,
      "properties": {
        "concepts": {
          "items": {
            "$ref": "#/$defs/ConceptDefinition"
          },
          "type": "array"
        },
        "contexts": {
          "items": {
            "$ref": "#/$defs/ContextDefinition"
          },
          "type": "array"
        },
        "emissions": {
          "items": {
            "$ref": "#/$defs/Emission"
          },
          "type": "array"
        },
        "language_version": {
          "type": "string"
        },
        "owners": {
          "items": {
            "$ref": "#/$defs/SemanticOwner"
          },
          "type": "array"
        },
        "relations": {
          "items": {
            "$ref": "#/$defs/RelationDefinition"
          },
          "type": "array"
        },
        "release_set": {
          "$ref": "#/$defs/ReleaseSet"
        },
        "rules": {
          "items": {
            "$ref": "#/$defs/RuleDefinition"
          },
          "type": "array"
        },
        "selection": {
          "$ref": "#/$defs/Selection"
        }
      },
      "required": [
        "concepts",
        "contexts",
        "emissions",
        "language_version",
        "owners",
        "relations",
        "release_set",
        "rules",
        "selection"
      ],
      "type": "object"
    },
    "Side": {
      "additionalProperties": false,
      "properties": {
        "form": {
          "$ref": "#/$defs/InputForm"
        },
        "selected_from": {
          "enum": [
            "input",
            "before",
            "after"
          ]
        },
        "stage": {
          "enum": [
            "planned",
            "refreshed",
            "recorded"
          ]
        }
      },
      "required": [
        "form",
        "selected_from",
        "stage"
      ],
      "type": "object"
    },
    "SnapshotEnrichment": {
      "additionalProperties": false,
      "properties": {
        "diagnostic": {
          "type": "string"
        },
        "modules": {
          "minimum": 0,
          "type": "integer"
        },
        "status": {
          "enum": [
            "verified",
            "refused",
            "absent"
          ]
        },
        "trust": {
          "const": "paired"
        }
      },
      "required": [
        "modules",
        "status"
      ],
      "type": "object"
    },
    "TargetRef": {
      "additionalProperties": false,
      "properties": {
        "id": {
          "type": "string"
        },
        "kind": {
          "enum": [
            "concept",
            "rule"
          ]
        }
      },
      "required": [
        "id",
        "kind"
      ],
      "type": "object"
    },
    "UnresolvedMember": {
      "additionalProperties": false,
      "properties": {
        "name": {
          "type": "string"
        },
        "reason": {
          "enum": [
            "unknown_until_apply",
            "sensitive",
            "ambiguous_unknown",
            "uncomparable_candidate",
            "reference_ambiguous",
            "identity_incomplete",
            "unavailable",
            "external_denied",
            "duplicate_identity"
          ]
        }
      },
      "required": [
        "name",
        "reason"
      ],
      "type": "object"
    }
  },
  "$id": "https://rootform.dev/schemas/form.schema.json",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "oneOf": [
    {
      "$ref": "#/$defs/InputForm"
    },
    {
      "$ref": "#/$defs/ComparisonForm"
    }
  ],
  "title": "Form, format 1"
}