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