{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "6x4x1",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-sharded-v1",
  "result": "draw",
  "generator_commit": "2c619fef3c540351d018f98122f9bef6b565a405",
  "artifact": "proofs/certificates/proofdama-6x4x1.v1.sharded-manifest.json",
  "artifact_bytes": 36971,
  "canonical_json_bytes": 36971,
  "artifact_sha256": "b4493562df224346cfd4564d6a8c605879a3c006cc5e6c84c80c13d64337c758",
  "canonical_json_sha256": "b4493562df224346cfd4564d6a8c605879a3c006cc5e6c84c80c13d64337c758",
  "stats": {
    "nodes": 27598544,
    "edges": 77183716,
    "terminal_leaves": 7331,
    "fid_count_leaves": 348199
  },
  "shards": {
    "count": 111,
    "compressed_bytes": 194855212,
    "nodes_per_shard": 250000,
    "hashes_committed_by": "proofs/certificates/proofdama-6x4x1.v1.sharded-manifest.json"
  },
  "independent_replay": {
    "status": "accepted",
    "corruptions_rejected": 4,
    "platforms": [
      {
        "architecture": "arm64",
        "environment": "Apple M4 Max, macOS",
        "threads": 16,
        "mode": "bounded-streaming",
        "artifact_sha256": "b4493562df224346cfd4564d6a8c605879a3c006cc5e6c84c80c13d64337c758"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM, isolated proof worktree",
        "rustc": "1.93.0",
        "threads": 6,
        "mode": "bounded-streaming",
        "disk_index_bytes": 2162988200,
        "artifact_sha256": "b4493562df224346cfd4564d6a8c605879a3c006cc5e6c84c80c13d64337c758"
      }
    ]
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-6x4x1.v1.sharded-manifest.json --threads 6 --scratch /path/to/scratch --adversarial"
}