{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "4x3x1",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-v1",
  "result": "black_win",
  "generator_commit": "0d43e1f8241f8c6fd2d383df3dbef460922fabd0",
  "artifact": "proofs/certificates/proofdama-4x3x1.v1.json.zst",
  "artifact_bytes": 11968,
  "canonical_json_bytes": 310099,
  "artifact_sha256": "15b61a4058e45c49bfb3836186e247d28b74578afb986767cb3bce20e2d59321",
  "canonical_json_sha256": "4b10550f9709b4a95f5977323a9e7290e1a314538411ed50cab6763108015f0f",
  "stats": {
    "nodes": 1581,
    "edges": 2782,
    "terminal_leaves": 14,
    "fid_count_leaves": 21
  },
  "independent_replay": {
    "status": "accepted",
    "corruptions_rejected": 4,
    "platforms": [
      {
        "architecture": "arm64",
        "environment": "Apple M4 Max, macOS",
        "rustc": "1.86.0",
        "artifact_sha256": "15b61a4058e45c49bfb3836186e247d28b74578afb986767cb3bce20e2d59321",
        "canonical_json_sha256": "4b10550f9709b4a95f5977323a9e7290e1a314538411ed50cab6763108015f0f"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM, isolated proof worktree",
        "rustc": "1.93.0",
        "artifact_sha256": "15b61a4058e45c49bfb3836186e247d28b74578afb986767cb3bce20e2d59321",
        "canonical_json_sha256": "4b10550f9709b4a95f5977323a9e7290e1a314538411ed50cab6763108015f0f"
      }
    ],
    "x86_64_replay": "accepted"
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-4x3x1.v1.json.zst --adversarial"
}