{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schema_version",
    "edition",
    "claims"
  ],
  "properties": {
    "schema_version": {
      "type": "integer",
      "const": 1
    },
    "edition": {
      "type": "string",
      "const": "2026.10.7"
    },
    "claims": {
      "type": "array",
      "minItems": 1,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "claim_id",
          "edition",
          "statement",
          "page",
          "disclosure_state",
          "engineering_status",
          "assurance",
          "assumptions",
          "negative_case",
          "does_not_establish",
          "open_obligations",
          "research",
          "reference",
          "production",
          "provenance"
        ],
        "properties": {
          "claim_id": {
            "type": "string",
            "pattern": "GA-SYN-[0-9]{3}"
          },
          "edition": {
            "type": "string",
            "const": "2026.10.7"
          },
          "statement": {
            "type": "string",
            "minLength": 1
          },
          "page": {
            "type": "string",
            "minLength": 1
          },
          "disclosure_state": {
            "type": "string",
            "enum": [
              "PUBLIC_CANDIDATE"
            ]
          },
          "engineering_status": {
            "type": "string",
            "enum": [
              "conceptual",
              "specified",
              "reference_implemented",
              "product_implemented",
              "production_observed"
            ]
          },
          "assurance": {
            "type": "array",
            "minItems": 1,
            "items": {
              "type": "string",
              "enum": [
                "hypothesis",
                "analytical",
                "bounded_formal",
                "automated_tested",
                "fault_tested",
                "externally_reproducible",
                "independently_reproduced",
                "independently_audited"
              ]
            }
          },
          "assumptions": {
            "type": "array",
            "minItems": 1,
            "items": {
              "type": "string",
              "minLength": 1
            }
          },
          "negative_case": {
            "type": "string",
            "minLength": 1
          },
          "does_not_establish": {
            "type": "array",
            "minItems": 1,
            "items": {
              "type": "string",
              "minLength": 1
            }
          },
          "open_obligations": {
            "type": "array",
            "minItems": 1,
            "items": {
              "type": "string",
              "minLength": 1
            }
          },
          "research": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "kind",
              "method",
              "actor",
              "date",
              "bounds",
              "artifact",
              "result",
              "independently_reproduced"
            ],
            "properties": {
              "kind": {
                "type": "string",
                "const": "analytical"
              },
              "method": {
                "type": "string",
                "const": "authored finite argument"
              },
              "actor": {
                "type": "string",
                "const": "publication author"
              },
              "date": {
                "type": "string",
                "pattern": "2026-10-12"
              },
              "bounds": {
                "type": "string",
                "minLength": 1
              },
              "artifact": {
                "type": "string",
                "minLength": 1
              },
              "result": {
                "type": "string",
                "const": "Scoped argument and counterexample stated"
              },
              "independently_reproduced": {
                "type": "boolean"
              }
            }
          },
          "reference": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "kind",
              "method",
              "actor",
              "date",
              "bounds",
              "artifact",
              "result",
              "independently_reproduced",
              "case"
            ],
            "properties": {
              "kind": {
                "type": "string",
                "const": "fault_tested"
              },
              "method": {
                "type": "string",
                "const": "author execution of original synthetic case"
              },
              "actor": {
                "type": "string",
                "const": "publication author"
              },
              "date": {
                "type": "string",
                "pattern": "2026-10-12"
              },
              "bounds": {
                "type": "string",
                "minLength": 1
              },
              "artifact": {
                "type": "string",
                "minLength": 1
              },
              "result": {
                "type": "string",
                "const": "positive condition holds; deliberate mutant violates it"
              },
              "independently_reproduced": {
                "type": "boolean"
              },
              "case": {
                "type": "string",
                "minLength": 1
              }
            }
          },
          "production": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "kind",
              "method",
              "actor",
              "date",
              "bounds",
              "artifact",
              "result",
              "independently_reproduced"
            ],
            "properties": {
              "kind": {
                "type": "string",
                "const": "none"
              },
              "method": {
                "type": "string",
                "const": "none"
              },
              "actor": {
                "type": "string",
                "const": "none"
              },
              "date": {
                "type": "string",
                "pattern": "2026-10-12"
              },
              "bounds": {
                "type": "string",
                "minLength": 1
              },
              "artifact": {
                "type": "string",
                "minLength": 1
              },
              "result": {
                "type": "string",
                "const": "none"
              },
              "independently_reproduced": {
                "type": "boolean"
              }
            }
          },
          "provenance": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "origin",
              "date",
              "artifact",
              "author"
            ],
            "properties": {
              "origin": {
                "type": "string",
                "enum": [
                  "original_public_teaching_model"
                ]
              },
              "date": {
                "type": "string",
                "const": "2026-10-12"
              },
              "artifact": {
                "type": "string",
                "minLength": 1
              },
              "author": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        }
      }
    }
  },
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Public evidence only \u2014 never a private graph projection"
}