{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "4x8x1",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-v1",
  "result": "draw",
  "generator_commit": "fc7fa02a86e3dc3d06c6267801c1cd17fd04cf58",
  "artifact": "proofs/certificates/proofdama-4x8x1.v1.json.zst",
  "artifact_bytes": 53511650,
  "canonical_json_bytes": 1190927365,
  "artifact_sha256": "14acbaa88de3a6f52729adaca1b3110c33057a62485b1b628e224faeecea0503",
  "canonical_json_sha256": "0d61ad29ab5ca9c4f07017a55588f9381894cba0ba9d09c1ae537966d65e2739",
  "stats": {
    "nodes": 4617877,
    "edges": 14125387,
    "terminal_leaves": 1182,
    "fid_count_leaves": 58725
  },
  "independent_replay": {
    "status": "accepted",
    "corruptions_rejected": 4,
    "platforms": [
      {
        "architecture": "arm64",
        "environment": "Apple M4 Max, macOS 26.3",
        "rustc": "1.86.0",
        "generation_wall_seconds": 429.62,
        "generation_observed_rss_kib": 5043872,
        "replay_with_adversarial_checks_wall_seconds": 117.32,
        "artifact_sha256": "14acbaa88de3a6f52729adaca1b3110c33057a62485b1b628e224faeecea0503",
        "canonical_json_sha256": "0d61ad29ab5ca9c4f07017a55588f9381894cba0ba9d09c1ae537966d65e2739"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM, isolated proof worktree",
        "rustc": "1.93.0",
        "generation_wall_seconds": 558.08,
        "generation_observed_rss_kib": 6153952,
        "replay_with_adversarial_checks_wall_seconds": 94.94,
        "replay_max_rss_kib": 4699112,
        "artifact_sha256": "14acbaa88de3a6f52729adaca1b3110c33057a62485b1b628e224faeecea0503",
        "canonical_json_sha256": "0d61ad29ab5ca9c4f07017a55588f9381894cba0ba9d09c1ae537966d65e2739"
      }
    ]
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-4x8x1.v1.json.zst --adversarial"
}