{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "ght_bandwidth_antitone_temp": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_best_response_minimizes": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_equimarginal": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_harmonization_bandwidth_from_IB": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_market_clears": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_nonvacuous": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_scalar_price_minimal_sufficient": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_strong_duality_decentralized_eq_centralized": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_wuwei_robustness_ratio_ge_one": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_wuwei_robustness_strict": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ]
    },
    "doi": "10.5281/zenodo.21168212",
    "kernel_evidence": {
      "attempt_directory": "new leans/2026-06-27_aristotle_GHT_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3",
      "local_axiom_log_sha256": "6cf6e943152decf4e2718d7df5e299d15c792b1b86c6cae947b5f7e53697ce88",
      "local_build_log_sha256": "48e98a0c98bb1bdfd7b697b31918f2715076b2cae80274485974fe5f3eefa846",
      "result": "new leans/2026-06-27_aristotle_GHT_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3/P3_KERNEL_RESULT.json",
      "result_sha256": "232671b698050144e3fa5f1f549d0bdb9edbea970219d8a23c6541d104945614"
    },
    "name": "GHT"
  },
  "clean_room_reproduction": {
    "account_used": false,
    "copied_file_sha256": {
      "RECOMPUTE_RECEIPT.json": "74328a084549bf8fa1560cfdb9c80e53901f81ad45ff7131bf53455e3ebaa902",
      "published_inputs.json": "cd70b84e9dd18d8e5b07bac1fab27acade31381f7658e0b59533d4af9d369bbf",
      "recompute.py": "3f97f5ad948bb40af9843bd12ca58d041d1469e29f61426bb041ac3191199d96"
    },
    "exact_command": "python3 recompute_receipt.py --receipt RECOMPUTE_RECEIPT.json --result CLEAN_ROOM_RESULT.json",
    "executed_at_utc": "2026-08-23T17:50:56.886381+00:00",
    "expected_output_sha256": "34e13dc64eab90af7f5b140c5073a919aa06e80e6147145efa209d1fe46eefb8",
    "fresh_directory": "/var/folders/84/yrd3lk3x6hv4hm_cj1955r9h0000gn/T/viridis-harmonization-clean-room.2jqhhb8i",
    "network_used": false,
    "observed_output_sha256": "34e13dc64eab90af7f5b140c5073a919aa06e80e6147145efa209d1fe46eefb8",
    "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": "34e13dc64eab90af7f5b140c5073a919aa06e80e6147145efa209d1fe46eefb8",
  "external_mutation": false,
  "generated_at_utc": "2026-08-23T17:50:56.812185+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "cd70b84e9dd18d8e5b07bac1fab27acade31381f7658e0b59533d4af9d369bbf"
    }
  ],
  "module_id": "harmonization",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "3f97f5ad948bb40af9843bd12ca58d041d1469e29f61426bb041ac3191199d96"
  },
  "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
}