{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "establishment_efficiency_cubic_in_drive_over_tension": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "homogeneous_limit_recovers_fnt": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "site_prep_halving_sigma_eightfolds_efficiency": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ]
    },
    "doi": "10.5281/zenodo.21168224",
    "kernel_evidence": {
      "attempt_directory": "new leans/2026-06-28_aristotle_AST_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3",
      "local_axiom_log_sha256": "3c8585cb72b916193e4caab891fd58e334b6dec786dc99a984aa14e8ec413eb0",
      "local_build_log_sha256": "70f739f058a3b15f1167bee0d20f37b5c1922002fb805d58aeff4db16fdd8f8d",
      "result": "new leans/2026-06-28_aristotle_AST_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3/P3_KERNEL_RESULT.json",
      "result_sha256": "79384015569d5255bcdd416cd3b99cf6828bff0f80e3f397f90e797ec08cfc61"
    },
    "name": "AST"
  },
  "clean_room_reproduction": {
    "account_used": false,
    "copied_file_sha256": {
      "published_inputs.json": "18b4cb72675551329e59974d7ead1992a0bc12527139fea0ad2019e7e5246c37",
      "recompute.py": "f888565813f9cab2374927c6bd0f9f353020054c95c907d8c4668ddf7654b3f1"
    },
    "exact_command": "python3 -I recompute.py --inputs published_inputs.json --output expected_output.json",
    "executed_at_utc": "2026-10-31T15:18:57.641883+00:00",
    "expected_output_sha256": "000c236842d2868dd99204c8df5fd0fdc7fee30d8289a4e91092ce4bf709fed5",
    "fresh_directory": "/tmp/viridis-afforestation-clean-room-lmjcn837",
    "network_used": false,
    "observed_output_sha256": "000c236842d2868dd99204c8df5fd0fdc7fee30d8289a4e91092ce4bf709fed5",
    "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": "000c236842d2868dd99204c8df5fd0fdc7fee30d8289a4e91092ce4bf709fed5",
  "external_mutation": false,
  "generated_at_utc": "2026-10-31T15:18:57.641883+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "18b4cb72675551329e59974d7ead1992a0bc12527139fea0ad2019e7e5246c37"
    }
  ],
  "kernel_version": "0.2.0",
  "module_id": "afforestation",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "f888565813f9cab2374927c6bd0f9f353020054c95c907d8c4668ddf7654b3f1"
  },
  "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
}