{
  "check": "pre_registered_predictions",
  "honest_framing": "Each expected outcome was SHA-256 sealed and committed before the benchmark was re-run; the git history of the sealed file is the anti-overfitting timestamp.",
  "n_predictions": 11,
  "n_verified": 11,
  "ok": true,
  "reason": "all sealed predictions match live artifacts",
  "results": [
    {
      "actual": {
        "fields_matched": 13,
        "verdict": "real"
      },
      "diffs": [],
      "expected": {
        "fields_matched": 13,
        "verdict": "real"
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "native_core_kat",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "7f04ef6f16269f7ed7a9cc830af4fbe26db3998bf620063a0196bfe8a0183142",
      "skipped": false
    },
    {
      "actual": {
        "cap": 16384,
        "n_bounds": 3,
        "verdict": "real"
      },
      "diffs": [],
      "expected": {
        "cap": 16384,
        "n_bounds": 3,
        "verdict": "real"
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "farkas_edge_bounds",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "5b0498c90576b2617efedc9e522cd7c9e9c6c49ff48bb68cf5a1131f9b58741f",
      "skipped": false
    },
    {
      "actual": {
        "n_checks": 24,
        "n_checks_passed": 24,
        "n_param_sets": 3,
        "ok": true,
        "selfcheck_ok": true,
        "sizes_1024": [
          1568,
          1568,
          32
        ],
        "sizes_512": [
          800,
          768,
          32
        ],
        "sizes_768": [
          1184,
          1088,
          32
        ],
        "third_party_ran": true
      },
      "diffs": [],
      "expected": {
        "n_checks": 24,
        "n_checks_passed": 24,
        "n_param_sets": 3,
        "ok": true,
        "selfcheck_ok": true,
        "sizes_1024": [
          1568,
          1568,
          32
        ],
        "sizes_512": [
          800,
          768,
          32
        ],
        "sizes_768": [
          1184,
          1088,
          32
        ],
        "third_party_ran": true
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "interop_3p_contract",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "e2e9adb141e1f8f4629fb903463c11d6a9836652e8b468e7360a2b926bd0fd1f",
      "skipped": false
    },
    {
      "actual": {
        "all_points_on_frontier": true,
        "k1": {
          "leakage_bits": 0.0,
          "overhead_bytes": 11737
        },
        "k2": {
          "leakage_bits": 1.0,
          "overhead_bytes": 2643
        },
        "k3": {
          "leakage_bits": 1.584963,
          "overhead_bytes": 0
        },
        "n_classes": 3,
        "n_points": 3,
        "verdict": "real",
        "zero_leakage_endpoint_equals_floor": true
      },
      "diffs": [],
      "expected": {
        "all_points_on_frontier": true,
        "k1": {
          "leakage_bits": 0.0,
          "overhead_bytes": 11737
        },
        "k2": {
          "leakage_bits": 1.0,
          "overhead_bytes": 2643
        },
        "k3": {
          "leakage_bits": 1.584963,
          "overhead_bytes": 0
        },
        "n_classes": 3,
        "n_points": 3,
        "verdict": "real",
        "zero_leakage_endpoint_equals_floor": true
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "length_privacy_pareto",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "059f59df30f97e895e2822c8022e407e0cb9d6f203653544d1d9504ce43e05f2",
      "skipped": false
    },
    {
      "actual": {
        "adv_cca_log2_rounded": -16.5,
        "adv_cpaeph_log2_rounded": -164,
        "delta_correctness_log2": -164,
        "dominant_term": "Adv_CCA",
        "envelope_excluding_sig_log2_rounded": -16.5,
        "kem_anchor_quantum_bits": 164,
        "q_H_log2": 64,
        "q_H_log2_at_which_bound_reaches_1_rounded": 80.5,
        "q_dec_log2": 40,
        "sig_term_symbolic": true,
        "verdict": "real"
      },
      "diffs": [],
      "expected": {
        "adv_cca_log2_rounded": -16.5,
        "adv_cpaeph_log2_rounded": -164.0,
        "delta_correctness_log2": -164,
        "dominant_term": "Adv_CCA",
        "envelope_excluding_sig_log2_rounded": -16.5,
        "kem_anchor_quantum_bits": 164,
        "q_H_log2": 64,
        "q_H_log2_at_which_bound_reaches_1_rounded": 80.5,
        "q_dec_log2": 40,
        "sig_term_symbolic": true,
        "verdict": "real"
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "tightness_numeric",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "9fb8e4fb6556336e5cdbae147f3eb162969edc519dbe7499fd3963829177edb1",
      "skipped": false
    },
    {
      "actual": {
        "bytes_arm_max_retained_le_budget": true,
        "bytes_arm_present": true,
        "engine_matches_lean": true,
        "half_fill_admitted_bytes": 8,
        "half_fill_admitted_quota": 4,
        "half_fill_resident_bytes": 65536,
        "ninth_refused": true,
        "ok": true
      },
      "diffs": [],
      "expected": {
        "bytes_arm_max_retained_le_budget": true,
        "bytes_arm_present": true,
        "engine_matches_lean": true,
        "half_fill_admitted_bytes": 8,
        "half_fill_admitted_quota": 4,
        "half_fill_resident_bytes": 65536,
        "ninth_refused": true,
        "ok": true
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "ap_quota_bytes_engine",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "629b59a52b01e9baf4e7f0fcb5bc1eef4befd7e78f6a6b183c041120fef6859c",
      "skipped": false
    },
    {
      "actual": {
        "bound_unconditional": true,
        "disallowed_axioms": [],
        "half_fill_admitted_bytes": 8,
        "half_fill_admitted_window": 4,
        "half_fill_total_bytes": 65536,
        "n_max_bytes_canonical": 8,
        "n_max_window_canonical": 4,
        "n_theorems_at_least_8": true,
        "ninth_refused": true,
        "ok": true,
        "overfill_refused": true,
        "sorry_count": 0
      },
      "diffs": [],
      "expected": {
        "bound_unconditional": true,
        "disallowed_axioms": [],
        "half_fill_admitted_bytes": 8,
        "half_fill_admitted_window": 4,
        "half_fill_total_bytes": 65536,
        "n_max_bytes_canonical": 8,
        "n_max_window_canonical": 4,
        "n_theorems_at_least_8": true,
        "ninth_refused": true,
        "ok": true,
        "overfill_refused": true,
        "sorry_count": 0
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "ap_bound_bytes",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "a29fcabb61c412d9bba07a8f8ca34ef55cd6d84d365ede566d840781a8bbf709",
      "skipped": false
    },
    {
      "actual": {
        "b_mem": 65536,
        "n_max_from_lean": 4,
        "n_max_star": 5,
        "verdict": "real",
        "window_empty_at_star_plus_1": true,
        "window_nonempty_at_lean_n_max": true,
        "window_nonempty_at_star": true,
        "x_floor": 12000,
        "y_at_star": 13107,
        "z3_decided": true
      },
      "diffs": [],
      "expected": {
        "b_mem": 65536,
        "n_max_from_lean": 4,
        "n_max_star": 5,
        "verdict": "real",
        "window_empty_at_star_plus_1": true,
        "window_nonempty_at_lean_n_max": true,
        "window_nonempty_at_star": true,
        "x_floor": 12000,
        "y_at_star": 13107,
        "z3_decided": true
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "reassembly_crossing",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "52d0bf319a9ea0126d4453568720a15e71996fe7b0ce74683d27abd44b64de7c",
      "skipped": false
    },
    {
      "actual": {
        "all_k_tight": true,
        "floor_bits_k16": 4,
        "floor_bits_k2": 1,
        "floor_bits_k20": 5,
        "floor_bits_k3": 2,
        "floor_bits_k4": 2,
        "floor_bits_k8": 3,
        "genus_floor_bits": 5,
        "n_genus_protocols": 20,
        "verdict": "real"
      },
      "diffs": [],
      "expected": {
        "all_k_tight": true,
        "floor_bits_k16": 4,
        "floor_bits_k2": 1,
        "floor_bits_k20": 5,
        "floor_bits_k3": 2,
        "floor_bits_k4": 2,
        "floor_bits_k8": 3,
        "genus_floor_bits": 5,
        "n_genus_protocols": 20,
        "verdict": "real"
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "label_floor",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "482bce699d65ccf39563cfc84486b4ac89b4e86c827872aaf5e40d1a409296fc",
      "skipped": false
    },
    {
      "actual": {
        "all_pairs_tight": true,
        "matches_qmc_cap_slots": true,
        "n_max_1048576_7533": 139,
        "n_max_32768_16384": 2,
        "n_max_65536_16384": 4,
        "n_max_65536_7533": 8,
        "n_max_8388608_7533": 1113,
        "n_pairs": 5,
        "verdict": "real"
      },
      "diffs": [],
      "expected": {
        "all_pairs_tight": true,
        "matches_qmc_cap_slots": true,
        "n_max_1048576_7533": 139,
        "n_max_32768_16384": 2,
        "n_max_65536_16384": 4,
        "n_max_65536_7533": 8,
        "n_max_8388608_7533": 1113,
        "n_pairs": 5,
        "verdict": "real"
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "quota_curve",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "e541438b9d2708667a9d68642d507d2e54d7c8fe769cc412f265c4c4f0c84ead",
      "skipped": false
    },
    {
      "actual": {
        "n_cells": 124,
        "n_class_proofs": 11,
        "verdict": "real"
      },
      "diffs": [],
      "expected": {
        "n_cells": 124,
        "n_class_proofs": 11,
        "verdict": "real"
      },
      "integrity_ok": true,
      "match_ok": true,
      "name": "gate_genus",
      "ok": true,
      "reason": "sealed prediction matches actual",
      "sealed_hash": "cd07f70c39102e6586b1cf84891fd8b124dde30f21612101c68df822aa111ea2",
      "skipped": false
    }
  ],
  "skipped": false
}