{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "4x6x1",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-v1",
  "result": "black_win",
  "generator_commit": "b6ba3363c88d3aaf70deb0060b037945bbdf49f7",
  "artifact": "proofs/certificates/proofdama-4x6x1.v1.json.zst",
  "artifact_bytes": 11131832,
  "canonical_json_bytes": 251037960,
  "artifact_sha256": "e6302960b8b7942e38a40346a6daac52dfd757d8ba928cab6587b0dcb0c53e44",
  "canonical_json_sha256": "b822b5024f85581d9c93dda222d1ed5606db97ffb53c038158178ce4d40614a5",
  "stats": {
    "nodes": 1054289,
    "edges": 2787382,
    "terminal_leaves": 642,
    "fid_count_leaves": 13428
  },
  "independent_replay": {
    "status": "accepted",
    "corruptions_rejected": 4,
    "platforms": [
      {
        "architecture": "arm64",
        "environment": "Apple M4 Max, macOS 26.3",
        "rustc": "1.86.0",
        "generation_wall_seconds": 93.58,
        "replay_with_adversarial_checks_wall_seconds": 22.14,
        "artifact_sha256": "e6302960b8b7942e38a40346a6daac52dfd757d8ba928cab6587b0dcb0c53e44",
        "canonical_json_sha256": "b822b5024f85581d9c93dda222d1ed5606db97ffb53c038158178ce4d40614a5"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM, isolated proof worktree",
        "rustc": "1.93.0",
        "generation_wall_seconds": 118.20,
        "generation_max_rss_kib": 1364300,
        "replay_with_adversarial_checks_wall_seconds": 17.56,
        "replay_max_rss_kib": 1025540,
        "artifact_sha256": "e6302960b8b7942e38a40346a6daac52dfd757d8ba928cab6587b0dcb0c53e44",
        "canonical_json_sha256": "b822b5024f85581d9c93dda222d1ed5606db97ffb53c038158178ce4d40614a5"
      }
    ]
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-4x6x1.v1.json.zst --adversarial"
}