{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "6x3x1",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-v1",
  "result": "draw",
  "generator_commit": "0d43e1f8241f8c6fd2d383df3dbef460922fabd0",
  "artifact": "proofs/certificates/proofdama-6x3x1.v1.json.zst",
  "artifact_bytes": 3243355,
  "canonical_json_bytes": 107540609,
  "artifact_sha256": "1f0956c9e2deb7050421bd2df457a89d3821498b67fef7a29bf96f72096d93e1",
  "canonical_json_sha256": "966f3e8e662f103d582449bf7a19964f58f728ee1825d5e2055bcdd3cfea2815",
  "stats": {
    "nodes": 469144,
    "edges": 1099413,
    "terminal_leaves": 1472,
    "fid_count_leaves": 6370
  },
  "independent_replay": {
    "status": "accepted",
    "corruptions_rejected": 4,
    "platforms": [
      {
        "architecture": "arm64",
        "environment": "Apple M4 Max, macOS",
        "rustc": "1.86.0",
        "artifact_sha256": "1f0956c9e2deb7050421bd2df457a89d3821498b67fef7a29bf96f72096d93e1",
        "canonical_json_sha256": "966f3e8e662f103d582449bf7a19964f58f728ee1825d5e2055bcdd3cfea2815"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM, isolated proof worktree",
        "rustc": "1.93.0",
        "artifact_sha256": "1f0956c9e2deb7050421bd2df457a89d3821498b67fef7a29bf96f72096d93e1",
        "canonical_json_sha256": "966f3e8e662f103d582449bf7a19964f58f728ee1825d5e2055bcdd3cfea2815"
      }
    ],
    "x86_64_replay": "accepted"
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-6x3x1.v1.json.zst --adversarial"
}