{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "4x4x1",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-v1",
  "result": "draw",
  "generator_commit": "dd3e3d8abee3eb5b8f363b08dc1d8881c4aef143",
  "artifact": "proofs/certificates/proofdama-4x4x1.v1.json.zst",
  "artifact_sha256": "5997acfd0baacb1ad76b7a4b26e69f4676603580363c8d0b0908704216a5b4ae",
  "canonical_json_sha256": "a755765ec87be91f0326ae9bf3a810ab4d8702b897540accae056159c79ee449",
  "stats": {
    "nodes": 84670,
    "edges": 172496,
    "terminal_leaves": 209,
    "fid_count_leaves": 1085
  },
  "independent_replay": {
    "status": "accepted",
    "corruptions_rejected": 4,
    "platforms": [
      {
        "architecture": "arm64",
        "environment": "Apple M4 Max, macOS 26.3",
        "rustc": "1.86.0",
        "artifact_sha256": "5997acfd0baacb1ad76b7a4b26e69f4676603580363c8d0b0908704216a5b4ae",
        "canonical_json_sha256": "a755765ec87be91f0326ae9bf3a810ab4d8702b897540accae056159c79ee449"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM",
        "rustc": "1.93.0",
        "artifact_sha256": "5997acfd0baacb1ad76b7a4b26e69f4676603580363c8d0b0908704216a5b4ae",
        "canonical_json_sha256": "a755765ec87be91f0326ae9bf3a810ab4d8702b897540accae056159c79ee449"
      }
    ]
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-4x4x1.v1.json.zst"
}