{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "FNT_nonvacuous": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "barrier_half_identity": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "broadcast_suboptimal": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "critical_nucleus": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ]
    },
    "doi": "10.5281/zenodo.20982979",
    "kernel_evidence": {
      "attempt_directory": "new leans/2026-06-25_aristotle_FNT_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3",
      "local_axiom_log_sha256": "fef50b49032af0ead6d30eea1ee05136342a5645000d73c1caa0f9174f0bc6c9",
      "local_build_log_sha256": "41e279949a7c941837543697f352bb89363cb0b7f618d5fdc0d361304f0c7a89",
      "result": "new leans/2026-06-25_aristotle_FNT_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3/P3_KERNEL_RESULT.json",
      "result_sha256": "0ba9e2bdaed6fb2aecc07bf47d7213051b9f0da3340d07d140b1481e792323e4"
    },
    "name": "FNT"
  },
  "clean_room_reproduction": {
    "account_used": false,
    "copied_file_sha256": {
      "RECOMPUTE_RECEIPT.json": "892acbcb05b20eafd83afb5465bfb86d48944feaca4a736b6e70f9c1cf137869",
      "published_inputs.json": "576eeacc6d7450b6b7733d8a51dc15e36358dbf8e181e958400063e9b5d356b2",
      "recompute.py": "99dd380abe24ec5dfbffefa520b4c386c35c6bd044bf2731b4f5a0701259515b"
    },
    "exact_command": "python3 recompute_receipt.py --receipt RECOMPUTE_RECEIPT.json --result CLEAN_ROOM_RESULT.json",
    "executed_at_utc": "2026-08-23T17:50:56.671214+00:00",
    "expected_output_sha256": "0be501a280a9737d8303f1548180be36f2dd0582793f55eca40e35f7e9fd5e3e",
    "fresh_directory": "/var/folders/84/yrd3lk3x6hv4hm_cj1955r9h0000gn/T/viridis-restoration-clean-room.tmp2a7xy",
    "network_used": false,
    "observed_output_sha256": "0be501a280a9737d8303f1548180be36f2dd0582793f55eca40e35f7e9fd5e3e",
    "status": "PASS",
    "verifier_sha256": "147b94fe43717434bc948b38e097c36545953ae18bd60030dd521a61a55abd05",
    "viridis_infrastructure_used": false
  },
  "directive_id": "VRS-PLATFORM-DIALED-4",
  "exact_command": [
    "python3",
    "recompute.py",
    "--inputs",
    "published_inputs.json",
    "--output",
    "expected_output.json"
  ],
  "expected_output_sha256": "0be501a280a9737d8303f1548180be36f2dd0582793f55eca40e35f7e9fd5e3e",
  "external_mutation": false,
  "generated_at_utc": "2026-08-23T17:50:56.596728+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "576eeacc6d7450b6b7733d8a51dc15e36358dbf8e181e958400063e9b5d356b2"
    }
  ],
  "module_id": "restoration",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "99dd380abe24ec5dfbffefa520b4c386c35c6bd044bf2731b4f5a0701259515b"
  },
  "schema_version": "VRS-RECOMPUTE-1",
  "scope_boundary": "A matching hash establishes computational reproducibility of this runtime kernel and the stated conditional mathematics only; it does not validate empirical inputs, ecological validity, registry status, credit existence, or Python-Lean code equivalence.",
  "status": "PASS",
  "viridis_infrastructure_required": false
}