{
  "artifact": "s06_verifier_parity",
  "sprint": "S06-C4",
  "prereg": "results/s06_verifier_parity.prereg.json",
  "claim": "The browser verifier runs the repo's own refusal code (bundled byte-identical) and its expected verdicts on every committed certificate are these.",
  "method": "verifier/verify_core.py over results/*.json natively; bundle sha256 vs repo module sha256.",
  "bundle_parity": {
    "stats.py": {
      "bundle_sha256": "0a7489b1f4690642da74c86b78a704eaf4af0f94c15d0d8cfb2a7e12348604b4",
      "repo_sha256": "0a7489b1f4690642da74c86b78a704eaf4af0f94c15d0d8cfb2a7e12348604b4",
      "identical": true
    },
    "seal.py": {
      "bundle_sha256": "7ceb89234f1929c4a86fadd7f595b9cca1c5129539f91a96e78140a3bc2b2077",
      "repo_sha256": "7ceb89234f1929c4a86fadd7f595b9cca1c5129539f91a96e78140a3bc2b2077",
      "identical": true
    },
    "economics.py": {
      "bundle_sha256": "0e24521370a2a7b64102bc9f54fe93a82368884b16d73f47c5d63bdbd9576d62",
      "repo_sha256": "0e24521370a2a7b64102bc9f54fe93a82368884b16d73f47c5d63bdbd9576d62",
      "identical": true
    }
  },
  "n_certificates_with_rules": 24,
  "seal_checks": 12,
  "seal_disagreements": 0,
  "mde_checks": 96,
  "mde_disagreements": 28,
  "economics_refusals_fired": 0,
  "expected": {
    "d1_engine_hit_rate.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "82d15baf960343564b0ec952c3fd4975043ae1213f987215abe42859bb269796",
          "recomputed": "82d15baf960343564b0ec952c3fd4975043ae1213f987215abe42859bb269796",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s01_aa_null_sharded.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.029,
          "recomputed": 0.029,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.015,
          "recomputed": 0.015,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.009,
          "recomputed": 0.009,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 27.02,
          "recomputed": 27.02,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 13.117,
          "recomputed": 13.117,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 7.571,
          "recomputed": 7.571,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 1.785,
          "recomputed": 1.785,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 0.916,
          "recomputed": 0.916,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 0.541,
          "recomputed": 0.541,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.136,
          "recomputed": 0.136,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.07,
          "recomputed": 0.07,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.041,
          "recomputed": 0.041,
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s01_aa_null_tiny.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.205,
          "recomputed": 0.216,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.11,
          "recomputed": 0.111,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.066,
          "recomputed": 0.066,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 35.953,
          "recomputed": 38.231,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 17.927,
          "recomputed": 18.156,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 10.37,
          "recomputed": 10.384,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 1.206,
          "recomputed": 1.272,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 0.646,
          "recomputed": 0.654,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 0.386,
          "recomputed": 0.386,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.036,
          "recomputed": 0.038,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.019,
          "recomputed": 0.02,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.012,
          "recomputed": 0.012,
          "verdict": "PASS"
        }
      ],
      "n_fail": 9
    },
    "s01_positive_control.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.08,
          "recomputed": 0.085,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.043,
          "recomputed": 0.044,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.026,
          "recomputed": 0.026,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 174.411,
          "recomputed": 189.815,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 71.938,
          "recomputed": 73.036,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 38.303,
          "recomputed": 38.361,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 7.645,
          "recomputed": 8.075,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 4.034,
          "recomputed": 4.083,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 2.395,
          "recomputed": 2.398,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.128,
          "recomputed": 0.135,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.069,
          "recomputed": 0.069,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.041,
          "recomputed": 0.041,
          "verdict": "PASS"
        }
      ],
      "n_fail": 9
    },
    "s01_positive_control_eager.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.49,
          "recomputed": 0.516,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.263,
          "recomputed": 0.266,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.157,
          "recomputed": 0.157,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 22.804,
          "recomputed": 24.176,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 11.66,
          "recomputed": 11.805,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 6.821,
          "recomputed": 6.831,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 18.853,
          "recomputed": 19.968,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 9.716,
          "recomputed": 9.836,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 5.705,
          "recomputed": 5.713,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.502,
          "recomputed": 0.529,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.269,
          "recomputed": 0.272,
          "verdict": "FAIL: the MDE does not recompute"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.161,
          "recomputed": 0.161,
          "verdict": "PASS"
        }
      ],
      "n_fail": 10
    },
    "s01_variance_levels.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.055,
          "recomputed": 0.055,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.028,
          "recomputed": 0.028,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.017,
          "recomputed": 0.017,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 14.659,
          "recomputed": 14.659,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 7.303,
          "recomputed": 7.303,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 4.262,
          "recomputed": 4.262,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 1.167,
          "recomputed": 1.167,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 0.6,
          "recomputed": 0.6,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 0.355,
          "recomputed": 0.355,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.07,
          "recomputed": 0.07,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.036,
          "recomputed": 0.036,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.021,
          "recomputed": 0.021,
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s01_variance_levels_L1.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.055,
          "recomputed": 0.055,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.028,
          "recomputed": 0.028,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.017,
          "recomputed": 0.017,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 14.659,
          "recomputed": 14.659,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 7.303,
          "recomputed": 7.303,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 4.262,
          "recomputed": 4.262,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 1.167,
          "recomputed": 1.167,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 0.6,
          "recomputed": 0.6,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 0.355,
          "recomputed": 0.355,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.07,
          "recomputed": 0.07,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.036,
          "recomputed": 0.036,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.021,
          "recomputed": 0.021,
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s01_variance_levels_L2.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.087,
          "recomputed": 0.087,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.045,
          "recomputed": 0.045,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.027,
          "recomputed": 0.027,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 12.841,
          "recomputed": 12.841,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 6.423,
          "recomputed": 6.423,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 3.755,
          "recomputed": 3.755,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 0.657,
          "recomputed": 0.657,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 0.338,
          "recomputed": 0.338,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 0.2,
          "recomputed": 0.2,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.067,
          "recomputed": 0.067,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.034,
          "recomputed": 0.034,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.02,
          "recomputed": 0.02,
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s01_variance_levels_L3.json": {
      "checks": [
        {
          "rule": "MDE recomputes (gpu_seconds, n=3, exact noncentral-t)",
          "recorded": 0.165,
          "recomputed": 0.165,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=5, exact noncentral-t)",
          "recorded": 0.085,
          "recomputed": 0.085,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (gpu_seconds, n=10, exact noncentral-t)",
          "recorded": 0.05,
          "recomputed": 0.05,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=3, exact noncentral-t)",
          "recorded": 11.426,
          "recomputed": 11.426,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=5, exact noncentral-t)",
          "recorded": 5.733,
          "recomputed": 5.733,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (ttft_p95_ms, n=10, exact noncentral-t)",
          "recorded": 3.356,
          "recomputed": 3.356,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=3, exact noncentral-t)",
          "recorded": 0.334,
          "recomputed": 0.334,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=5, exact noncentral-t)",
          "recorded": 0.172,
          "recomputed": 0.172,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (tpot_p95_ms, n=10, exact noncentral-t)",
          "recorded": 0.102,
          "recomputed": 0.102,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=3, exact noncentral-t)",
          "recorded": 0.088,
          "recomputed": 0.088,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=5, exact noncentral-t)",
          "recorded": 0.045,
          "recomputed": 0.045,
          "verdict": "PASS"
        },
        {
          "rule": "MDE recomputes (output_tok_s, n=10, exact noncentral-t)",
          "recorded": 0.027,
          "recomputed": 0.027,
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s02_paired_knee.json": {
      "checks": [
        {
          "rule": "no band below n=5",
          "recorded": {
            "n_replicates": 5,
            "quotable_band": null
          },
          "recomputed": {
            "band_refused": false
          },
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s02_paired_knee.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "7348021db6a5c5be2435dbfbbbbcbadf305027ae5aafd7e952742a4c1a449864",
          "recomputed": "7348021db6a5c5be2435dbfbbbbcbadf305027ae5aafd7e952742a4c1a449864",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s06_bailian_fleet_audit.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "6f96e1254411028c19eefea507571e1291d992475126a3fecee7dc2eac8fb62f",
          "recomputed": "6f96e1254411028c19eefea507571e1291d992475126a3fecee7dc2eac8fb62f",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s06_verifier_parity.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "636ab0838627abfcc0afc845bd4cd7bcafc09f39cb124dc3420f37cf1edc1cb7",
          "recomputed": "636ab0838627abfcc0afc845bd4cd7bcafc09f39cb124dc3420f37cf1edc1cb7",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s06_weka_prefix_hit_rate.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "39fbbd9e462622217c77bae97852248e1394b87c3a7b54a33951013c0d61a3c5",
          "recomputed": "39fbbd9e462622217c77bae97852248e1394b87c3a7b54a33951013c0d61a3c5",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s06_weka_residency.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "d9a5a61b31cf1cb6b8bfe059649ddf2ce99d136386fb7fb1723a044dbdab5de0",
          "recomputed": "d9a5a61b31cf1cb6b8bfe059649ddf2ce99d136386fb7fb1723a044dbdab5de0",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s46_apc_real_trace.json": {
      "checks": [
        {
          "rule": "no band below n=5",
          "recorded": {
            "n_replicates": 5,
            "quotable_band": null
          },
          "recomputed": {
            "band_refused": false
          },
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s46_apc_real_trace.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "14a17e1b8536c28bd771217d915d0735884980ae0801e7aae10d28858917aa33",
          "recomputed": "14a17e1b8536c28bd771217d915d0735884980ae0801e7aae10d28858917aa33",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s46b_apc_fixed_bridge.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "0e631ef0e62c45042c6ca589f252da3469253005a457d6c4b690fba8c171983a",
          "recomputed": "0e631ef0e62c45042c6ca589f252da3469253005a457d6c4b690fba8c171983a",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s46c_apc_fixed_bridge_n8.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "5c81877d25c93bbed9c6cef13c2329e12ac58fda702c8736779fa81e54fc2b49",
          "recomputed": "5c81877d25c93bbed9c6cef13c2329e12ac58fda702c8736779fa81e54fc2b49",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s47_aa_null_real_trace.json": {
      "checks": [
        {
          "rule": "no band below n=5",
          "recorded": {
            "n_replicates": 5,
            "quotable_band": null
          },
          "recomputed": {
            "band_refused": false
          },
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s47_aa_null_real_trace.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "8a617e12f210e02d057bbaf18dd264f5f9136895c31380bf23d40cfa555770e0",
          "recomputed": "8a617e12f210e02d057bbaf18dd264f5f9136895c31380bf23d40cfa555770e0",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s47_aa_null_real_trace.superseded.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "5697974460f3a5aa47480e6ab65e0ffc6bb8aabc39c43b6348c5fd33e2bb9046",
          "recomputed": "5697974460f3a5aa47480e6ab65e0ffc6bb8aabc39c43b6348c5fd33e2bb9046",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "s47b_aa_fixed_bridge_n8.prereg.json": {
      "checks": [
        {
          "rule": "seal recomputes (vendor/seal.py, sort_keys default separators)",
          "recorded": "934953b692432e4f652e14fbaded8f81c2e141beb061fd8442a8ec5921769b56",
          "recomputed": "934953b692432e4f652e14fbaded8f81c2e141beb061fd8442a8ec5921769b56",
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    },
    "sprint44_knee_claim_path.json": {
      "checks": [
        {
          "rule": "$/1M output tokens is not evidence at equal GPU-hours",
          "recorded": {
            "equal_gpu_hours_within_tolerance": false,
            "cost_is_independent_evidence": true
          },
          "recomputed": {
            "must_refuse": false
          },
          "verdict": "PASS"
        }
      ],
      "n_fail": 0
    }
  },
  "verdict": "PARITY BROKEN: bundle 3/3 identical (drifted: none); seals 12/12 recompute; MDE rows 68/96 recompute; equal-GPU-hours refusals fired: 0; 24 certificates carry at least one rule the browser page can run.",
  "wall_s": 5.5,
  "cost_usd": 0.0,
  "does_not_prove": [
    "The browser run itself: pyodide executing the same bytes is the stranger's step; this certifies the bytes and the expected answers, not a browser.",
    "Rules beyond the four bundled (quality.py's non-inferiority refusal is not bundled: it needs a candidate's outputs, not a certificate)."
  ],
  "generated_utc": "2026-09-02T23:03:34.683826+00:00",
  "git_rev": "3fdf820",
  "git_dirty": true,
  "run_id": "a09ed09f9732434a",
  "host_kind": "Darwin-arm64",
  "provenance_schema": "gpu-cert-provenance/1"
}