{
  "format": "palo-semantic-invariants",
  "schemaVersion": "1.0.0",
  "semanticVersion": "3.1.0",
  "invariants": [
    {
      "invariantId": "SEM-01",
      "statement": "Every semantic entity has exactly one stable identifier.",
      "enforcedBy": [
        "SHACL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-02",
      "statement": "Every canonical definition has exactly one semantic version.",
      "enforcedBy": [
        "SHACL",
        "generator"
      ]
    },
    {
      "invariantId": "SEM-03",
      "statement": "Released definitions are superseded, never overwritten.",
      "enforcedBy": [
        "release validation",
        "documentation"
      ]
    },
    {
      "invariantId": "SEM-04",
      "statement": "Lifecycle definitions, phase definitions and gate definitions are distinct from runtime instances.",
      "enforcedBy": [
        "OWL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-05",
      "statement": "Every gate instance references exactly one versioned gate definition and one case.",
      "enforcedBy": [
        "SHACL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-06",
      "statement": "Every consequential gate decision is append-only, digest-bound and attributable.",
      "enforcedBy": [
        "SHACL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-07",
      "statement": "An evidence claim references exactly one artifact, one target and one case scope.",
      "enforcedBy": [
        "SHACL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-08",
      "statement": "Evidence evaluation is separate from evidence assertion.",
      "enforcedBy": [
        "OWL",
        "SHACL"
      ]
    },
    {
      "invariantId": "SEM-09",
      "statement": "Evidence bundles are manifests of digest-bound records, not duplicate evidence stores.",
      "enforcedBy": [
        "SHACL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-10",
      "statement": "Each cross-framework mapping represents one source version and one target version.",
      "enforcedBy": [
        "SHACL",
        "JSON Schema"
      ]
    },
    {
      "invariantId": "SEM-11",
      "statement": "Every assessment and evidence manifest is pinned to an immutable semantic release manifest.",
      "enforcedBy": [
        "SHACL",
        "release validation"
      ]
    },
    {
      "invariantId": "SEM-12",
      "statement": "Delivery status and evidence authority class remain separate properties.",
      "enforcedBy": [
        "semantic spine schema",
        "browser tests"
      ]
    },
    {
      "invariantId": "SEM-13",
      "statement": "Framework guidance does not create legal obligations or deployment authorization.",
      "enforcedBy": [
        "authority boundary",
        "documentation"
      ]
    },
    {
      "invariantId": "SEM-14",
      "statement": "Non-authoritative monitoring signals require accountable human review before changing case state.",
      "enforcedBy": [
        "semantic spine schema",
        "module contract"
      ]
    }
  ],
  "fixtureProfile": {
    "valid": "schemas/fixtures/palo-semantic-records.valid.ttl",
    "invalid": "schemas/fixtures/palo-semantic-records.invalid.ttl"
  }
}