{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "carbon_continuity_boundary_stationary": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "carbon_continuity_nonvacuous": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "carbon_continuity_strict_threshold_growth": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "carbon_continuity_threshold_iff": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "carbon_continuity_threshold_necessary": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "carbon_continuity_threshold_sufficient": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ]
    },
    "doi": "10.5281/zenodo.21855690",
    "kernel_receipt": "RESEARCH_PIPELINE_v2/CARBON_CONTINUITY_KERNEL_VERIFICATION_RECEIPT_2026-08-23.json",
    "lean_toolchain": "leanprover/lean4:v4.28.0",
    "mathlib_rev": "8f9d9cff6bd728b17a24e163c9402775d9e6a365"
  },
  "clean_room_reproduction": {
    "account_used": false,
    "copied_file_sha256": {
      "RECOMPUTE_RECEIPT.json": "10db29451c8eb1e45db52f794841b20e28498d1c2af02f4013c11fb495bfb265",
      "published_inputs.json": "7627eca158b44eaada7fee0c9dcd283abf78f3c740c1b07ae1c9b334e4865e9a",
      "recompute.py": "3a92351494b0da5cd543e178e70ecfc7ef14edc9b7b1ce4f234b1c56cf054e47",
      "recompute_receipt.py": "147b94fe43717434bc948b38e097c36545953ae18bd60030dd521a61a55abd05"
    },
    "exact_command": "python3 recompute_receipt.py --receipt RECOMPUTE_RECEIPT.json --result CLEAN_ROOM_RESULT.json",
    "executed_at_utc": "2026-08-23T15:19:07.923343+00:00",
    "expected_output_sha256": "fc040d2a05834898b28d5115bd40a00c0e8e8b8248cbe9a5718a143808ddd270",
    "fresh_directory": "/private/tmp/viridis-carbon-clean-room.mdfkYR",
    "network_used": false,
    "observed_output_sha256": "fc040d2a05834898b28d5115bd40a00c0e8e8b8248cbe9a5718a143808ddd270",
    "status": "PASS",
    "viridis_infrastructure_used": false
  },
  "directive_id": "VRS-PRODUCT-WARRANT-3",
  "exact_command": [
    "python3",
    "recompute.py",
    "--inputs",
    "published_inputs.json",
    "--output",
    "expected_output.json"
  ],
  "expected_output_sha256": "fc040d2a05834898b28d5115bd40a00c0e8e8b8248cbe9a5718a143808ddd270",
  "external_mutation": false,
  "generated_at_utc": "2026-08-23T15:18:38.029136+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "7627eca158b44eaada7fee0c9dcd283abf78f3c740c1b07ae1c9b334e4865e9a"
    }
  ],
  "module_id": "carbon-continuity",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "3a92351494b0da5cd543e178e70ecfc7ef14edc9b7b1ce4f234b1c56cf054e47"
  },
  "schema_version": "VRS-RECOMPUTE-1",
  "status": "PASS",
  "viridis_infrastructure_required": false
}