{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "ght_best_response_minimizes": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_equimarginal": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_market_clears": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_nonvacuous": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "ght_strong_duality_decentralized_eq_centralized": [
        "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": {
      "published_inputs.json": "cd2986acadcb69ad7bd38ad1b85debb69d495718842375c28a3cf813d770c1b8",
      "recompute.py": "7b1cdb97635db06c2f870f0589a2d5e3366546f6e1a75921e101a7c4d5651166"
    },
    "exact_command": "python3 -I recompute.py --inputs published_inputs.json --output expected_output.json",
    "executed_at_utc": "2026-10-31T15:18:57.554447+00:00",
    "expected_output_sha256": "0616595802dfcf28a062e6360b789c9dae9febf10b48c538205baccb6f73039f",
    "fresh_directory": "/tmp/viridis-harmonization-clean-room-miusmf79",
    "network_used": false,
    "observed_output_sha256": "0616595802dfcf28a062e6360b789c9dae9febf10b48c538205baccb6f73039f",
    "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": "0616595802dfcf28a062e6360b789c9dae9febf10b48c538205baccb6f73039f",
  "external_mutation": false,
  "generated_at_utc": "2026-10-31T15:18:57.554447+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "cd2986acadcb69ad7bd38ad1b85debb69d495718842375c28a3cf813d770c1b8"
    }
  ],
  "kernel_version": "0.2.0",
  "module_id": "harmonization",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "7b1cdb97635db06c2f870f0589a2d5e3366546f6e1a75921e101a7c4d5651166"
  },
  "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
}