{
  "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"
      ],
      "seeding_efficiency_eq_cos2_theta": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "site_prep_halving_sigma_eightfolds_efficiency": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "sower_IB_ceiling": [
        "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": {
      "RECOMPUTE_RECEIPT.json": "5a01d61ecb3a3184b5728895380ad1bfb345c8081c35aa29260aec7599ee70dd",
      "published_inputs.json": "9530757e1806b4b24ddd7575a05ebc892c38dc01b089e109f1aa46edec6b76bc",
      "recompute.py": "d929d9fffef881d3e1d38c7ff215c68dc66c21d015b0e5762ba8af1c8d28357a"
    },
    "exact_command": "python3 recompute_receipt.py --receipt RECOMPUTE_RECEIPT.json --result CLEAN_ROOM_RESULT.json",
    "executed_at_utc": "2026-08-23T17:50:56.778296+00:00",
    "expected_output_sha256": "2e5c9544389fc3d6c534abd5c2a3296bd55261f038763ce18de0e01da2773126",
    "fresh_directory": "/var/folders/84/yrd3lk3x6hv4hm_cj1955r9h0000gn/T/viridis-afforestation-clean-room.dtky8k74",
    "network_used": false,
    "observed_output_sha256": "2e5c9544389fc3d6c534abd5c2a3296bd55261f038763ce18de0e01da2773126",
    "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": "2e5c9544389fc3d6c534abd5c2a3296bd55261f038763ce18de0e01da2773126",
  "external_mutation": false,
  "generated_at_utc": "2026-08-23T17:50:56.705408+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "9530757e1806b4b24ddd7575a05ebc892c38dc01b089e109f1aa46edec6b76bc"
    }
  ],
  "module_id": "afforestation",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "d929d9fffef881d3e1d38c7ff215c68dc66c21d015b0e5762ba8af1c8d28357a"
  },
  "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
}