{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "FNT_nonvacuous": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "barrier_half_identity": [
        "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": {
      "published_inputs.json": "0a31fedeef27a0109cd554473e561fc29a9c47ae3feb96fdc3f5782cb4e7d1f4",
      "recompute.py": "618c15948d6cd8da3edfc029fe308333a5e72d0c92c4f44e5275483684013f63"
    },
    "exact_command": "python3 -I recompute.py --inputs published_inputs.json --output expected_output.json",
    "executed_at_utc": "2026-10-31T15:18:57.468262+00:00",
    "expected_output_sha256": "4ff23dad0639b69ddcb8fd19d4e3aace8116fa6dd85bfb07ab4f62c43e030fb7",
    "fresh_directory": "/tmp/viridis-restoration-clean-room-78dm2pyd",
    "network_used": false,
    "observed_output_sha256": "4ff23dad0639b69ddcb8fd19d4e3aace8116fa6dd85bfb07ab4f62c43e030fb7",
    "status": "PASS",
    "viridis_infrastructure_used": false
  },
  "directive_id": "VRS-KERNELS-MATCH-CANON-2026-10-31",
  "exact_command": [
    "python3",
    "recompute.py",
    "--inputs",
    "published_inputs.json",
    "--output",
    "expected_output.json"
  ],
  "expected_output_sha256": "4ff23dad0639b69ddcb8fd19d4e3aace8116fa6dd85bfb07ab4f62c43e030fb7",
  "external_mutation": false,
  "generated_at_utc": "2026-10-31T15:18:57.468262+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "0a31fedeef27a0109cd554473e561fc29a9c47ae3feb96fdc3f5782cb4e7d1f4"
    }
  ],
  "kernel_version": "0.2.0",
  "module_id": "restoration",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "618c15948d6cd8da3edfc029fe308333a5e72d0c92c4f44e5275483684013f63"
  },
  "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
}