{
  "builderSnapshotId": "1e0c05fbd0daaceb2ff0264d765a80cb8f25c523eb9d540e8766222905b96d05",
  "contractHash": "2495df3bf5cd596ce51e36477ba684bf9de72cd2d84edd0460c3530dae45f5d1",
  "controllingState": {
    "deploymentAuthorized": false,
    "heldNumericalPayloadIncluded": false,
    "numericPropagation": "held",
    "sapmDomainsHeld": 61,
    "verifiedTheorems": 0
  },
  "crossProjectStatus": {
    "deploymentAuthority": "none",
    "numericAuthority": "none",
    "publicationAuthority": "none",
    "recordedAt": "2026-07-29T20:15:00Z",
    "scope": "status_only",
    "sourceId": "state39-water-status",
    "sourceSha256": "3ab7bcd67f685b6e087bdefbb1b5f4c0fb56f946bab68531b5e09989c91c2e44",
    "status": "ACCEPTED",
    "statusEventId": "state39-water-privatization-independent-acceptance",
    "theoremAuthority": "none"
  },
  "generatedAt": "2026-07-30T01:00:00Z",
  "predecessorCandidateId": "5091f629d55dc12463c18fc1543d7dc5f0d73aa867113885ea72c832bee17c80",
  "routes": [
    {
      "id": "builder",
      "laboratoryRoute": "#builder/theorem-demo-fiber-characterization",
      "purpose": "Interactive theorem construction and assumption editing"
    },
    {
      "id": "compare",
      "laboratoryRoute": "#compare/theorem-demo-fiber-characterization",
      "purpose": "Predecessor/successor semantic comparison"
    },
    {
      "id": "reviews",
      "laboratoryRoute": "#reviews/theorem-demo-fiber-characterization",
      "purpose": "Pounding review queue and exact-hash provenance"
    },
    {
      "id": "promotion",
      "laboratoryRoute": "#promotion/theorem-demo-fiber-characterization",
      "purpose": "Promotion rule receipt"
    },
    {
      "id": "public-theorem",
      "purpose": "Website integration target; separate task owns implementation",
      "recommendedPublicRoute": "/theorems/fiber-characterization"
    }
  ],
  "schemaVersion": "theorem-builder-integration/2",
  "sourceManifestHash": "4a0e77c9bc51b466cfb3cae2bc60aac6af5a5c686e1ee63dff1651971cd21524",
  "theorems": [
    {
      "artifactState": "public",
      "cardIds": [
        "card-fiber-intuition",
        "card-fiber-terms",
        "card-fiber-assumptions",
        "card-fiber-worked-example",
        "card-fiber-counterexample",
        "card-fiber-boundary",
        "card-fiber-evidence",
        "card-fiber-paper",
        "card-fiber-reform"
      ],
      "claimId": "fiber-characterization",
      "currentVersionHash": "0ac50c417a82054ee97269a3c5e81c5af518423f8e2c3893fbe96b614f182bbf",
      "currentVersionId": "fiber-demo-v0.2",
      "curriculumSections": [
        "intuition",
        "terms",
        "assumptions",
        "worked_example",
        "counterexample",
        "boundary",
        "evidence",
        "paper_connection",
        "reform_connection"
      ],
      "label": "Fiber Characterization — Builder Demonstration",
      "numericPropagation": "held",
      "objections": [
        {
          "id": "objection-resolution",
          "label": "Approximate recovery",
          "severity": "MINOR",
          "status": "SURVIVES"
        },
        {
          "id": "objection-literature",
          "label": "Elementary factorization is established mathematics",
          "severity": "MAJOR",
          "status": "OPEN"
        }
      ],
      "papers": [
        {
          "label": "Missing System Theorem v1.3.2 released working paper",
          "locator": "Section 4.1, Proposition 4.1",
          "sha256": "ec18adfd14fc17eb231d200ffe0071517e839d300d74a7450327565557ba8803",
          "sourceId": "mst-release-source"
        },
        {
          "label": "MST v1.3.2 final independent working-paper release review",
          "locator": "Final release decision",
          "sha256": "330f816b2d7f3b009f0b49093333851065be6285a741c9c5d7eb80deb4d51c60",
          "sourceId": "mst-release-review"
        }
      ],
      "promotionEligible": false,
      "reforms": [
        {
          "id": "reform-declare-input",
          "label": "Declare the complete input",
          "status": "SURVIVES"
        },
        {
          "id": "reform-separating-signal",
          "label": "Add a separating signal",
          "status": "SURVIVES"
        }
      ],
      "relationships": [
        "claim:declared-input-blindness",
        "claim:target-recovery",
        "paper:the-missing-system-theorem"
      ],
      "state": "HELD",
      "stateLabel": "Held — synthetic workflow evidence cannot verify a theorem",
      "syntheticWorkflow": true,
      "theoremId": "theorem-demo-fiber-characterization",
      "theoremVerification": "reviewed_not_verified"
    }
  ]
}