{
  "schema": "proofdama-reduced-certificate-manifest-v1",
  "benchmark": "4x6x2",
  "ruleset": "fid-italian-reduced-geometry-v1",
  "certificate_format": "dama-reduced-wld-proof-sharded-v1",
  "result": "black_win",
  "generator_commit": "a6b058440fb44f665c6572e56da7946da6d92cd3",
  "artifact": "proofs/certificates/proofdama-4x6x2.v1.sharded-manifest.json",
  "artifact_bytes": 253563,
  "canonical_json_bytes": 253563,
  "artifact_sha256": "6ec1c63a4af5cae15980589fc40bf45e7a5924be0dcda4020cf40324d2163258",
  "canonical_json_sha256": "6ec1c63a4af5cae15980589fc40bf45e7a5924be0dcda4020cf40324d2163258",
  "stats": {
    "nodes": 191244930,
    "edges": 519719086,
    "terminal_leaves": 219526,
    "fid_count_leaves": 2423490
  },
  "shards": {
    "count": 765,
    "compressed_bytes": 1351013439,
    "nodes_per_shard": 250000,
    "hashes_committed_by": "proofs/certificates/proofdama-4x6x2.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": "6ec1c63a4af5cae15980589fc40bf45e7a5924be0dcda4020cf40324d2163258"
      },
      {
        "architecture": "x86_64",
        "environment": "Hetzner Linux VM, isolated proof worktree",
        "rustc": "1.93.0",
        "threads": 4,
        "mode": "bounded-streaming",
        "disk_index_bytes": 14867468776,
        "artifact_sha256": "6ec1c63a4af5cae15980589fc40bf45e7a5924be0dcda4020cf40324d2163258"
      }
    ]
  },
  "replay_command": "cargo run --release --manifest-path solver_rust/Cargo.toml --bin proof_verify_reduced -- proofs/certificates/proofdama-4x6x2.v1.sharded-manifest.json --threads 4 --scratch /path/to/scratch --adversarial"
}