{
  "status": "passed",
  "random_valid_horn_pair_oracle_checks": 500,
  "malformed_cases": 10,
  "rejected_truncated_prefixes": 2102,
  "exact_fuel_wrapper_cases": 23148,
  "private_name_separation": "passed",
  "quadratic_runtime_negative_control": "passed",
  "scope": "Grammar/semantic specification and fuel-wrapper finite checks. No extracted Horn primitive program, decimal clock constant, compiled scaffold, or Lean proof.",
  "sha256": {
    "clocked-horn-transfer.md": "eadd50b3a41b1a9cb5648ddc4a4efdde79de4eff2870ae661b825561b78069a1",
    "verify_clocked_horn.py": "b45c4f8ae0ef8bd79e176ffe6037eea965a7fd27cdc80f7a1d80ba07fac41506",
    "persistent-horn-closure.md": "b040ce5717cb3b577f0d5a104b433ddfc6a4e5f1735b14416d1af8a93e7063fb"
  }
}