{
  "account_required": false,
  "backing_theorem": {
    "axiom_report": {
      "Sigma_strictConvexOn": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "governability_tax": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "haste_neglect_cosh": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "tempo_floor": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "tempo_optimum": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ],
      "tempo_unique_minimizer": [
        "propext",
        "Classical.choice",
        "Quot.sound"
      ]
    },
    "doi": "10.5281/zenodo.20705183",
    "kernel_evidence": {
      "attempt_directory": "new leans/2026-06-14_aristotle_StewardshipTempo_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3",
      "local_axiom_log_sha256": "0257d86a18a8573cdbb1084e39c2ae8376e4ee2b5adb2eda3cb3ed48426cf525",
      "local_build_log_sha256": "8ff1131145ff20f5f820ca521525ea5b8c7ecdf94506760c7debd0388f5c87b5",
      "result": "new leans/2026-06-14_aristotle_StewardshipTempo_forge/PRODUCT_WARRANT_VRS-PRODUCT-WARRANT-3/P3_KERNEL_RESULT.json",
      "result_sha256": "0b0e9d474818f574a1d0426ff5527901caf2438ca280b9960810db42ae9549e4"
    },
    "name": "Stewardship Tempo"
  },
  "clean_room_reproduction": {
    "account_used": false,
    "exact_command": "python3 recompute_receipt.py --receipt RECOMPUTE_RECEIPT.json --result CLEAN_ROOM_RESULT.json",
    "executed_at_utc": "2026-08-23T17:52:42.236806+00:00",
    "expected_output_sha256": "117469bb2ba8c5831bfd0d5455cf9044cbed8dbd9c8fa9966ce37c1238b9c0db",
    "fresh_directory": "/var/folders/84/yrd3lk3x6hv4hm_cj1955r9h0000gn/T/viridis-tempo-clean-room.2bghvavc",
    "network_used": false,
    "observed_output_sha256": "117469bb2ba8c5831bfd0d5455cf9044cbed8dbd9c8fa9966ce37c1238b9c0db",
    "status": "PASS",
    "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": "117469bb2ba8c5831bfd0d5455cf9044cbed8dbd9c8fa9966ce37c1238b9c0db",
  "external_mutation": false,
  "generated_at_utc": "2026-08-23T17:52:42.159808+00:00",
  "inputs": [
    {
      "path": "published_inputs.json",
      "sha256": "f561af588a58bf9c342278f46cab3346905f5f2901b007f209ed25f4f7c8127a"
    }
  ],
  "module_id": "tempo",
  "output_path": "expected_output.json",
  "published_inputs": true,
  "runner": {
    "path": "recompute.py",
    "runtime": "Python 3 standard library",
    "sha256": "e837ffc31cd90a9d5acefb5c7b611f1022130f96375db9d32caab499b4831416"
  },
  "schema_version": "VRS-RECOMPUTE-1",
  "scope_boundary": "A matching hash establishes computational reproducibility and the stated conditional mathematics only; it does not validate empirical inputs, ecological validity, registry status, or credit existence.",
  "status": "PASS",
  "viridis_infrastructure_required": false
}