start 2026-10-22 23:12:24 UTC
md5 3e96454d2bdef2da84c21085677793ba  plus_check_laws.py
md5 736c5317cbe0e47bb49fec6c4756fbc6  plus_lp_tol.py
md5 e23d52dd72764e98fb579ae6dba2b85c  certs_v1_r0.jsonl
md5 ee9307ee5d40850c0e6199df6478b610  certs_v1_r1.jsonl
md5 f5fe9a23f7ddd05ff70b7217731aa1af  certs_v1_r2.jsonl
md5 6d495261e3af634ebc32ef8c7ef18c63  certs_v1_r3.jsonl
md5 3033710b0d34ca792aaa15feae577299  certs_v1_r4.jsonl
436 box records; D = 16
row 1 (V+ 0.5): mass 1.00000, V+ 0.50000, (a+, b+) = (0.18694, 0.17185), 71 count values; E|Z_K| = 0.77743
    J (one Y) = 0.83418 (HiGHS status 0, row violation of its measure 1.8e-10);  RQ-C's SB_lo 0.84024 (per shift; see rqc_sblo_feasibility.py)
    box [5, 5, 5, 16] = [0.17500, 0.21000] x [0.17000, 0.18063], mu_B 0.51662, padding 0.00360; (kappa_3, kappa_4) = (0.33762, 0.37248) in cell [2, 3, 1] (ok)
    E h_B(Z_W'') = 0.78764;  certified cell bound 0.852187 (C5 - bound = 0.00291);  E|Z_K| <= E h_B <= cert and J <= cert: True;  cert - J = 0.01801
row 2 (V+ 0.6): mass 1.00000, V+ 0.60000, (a+, b+) = (0.22525, 0.20597), 77 count values; E|Z_K| = 0.78362
    J (one Y) = 0.83396 (HiGHS status 0, row violation of its measure 8.6e-11);  RQ-C's SB_lo 0.84013 (per shift; see rqc_sblo_feasibility.py)
    box [4, 3, 4, 9] = [0.21000, 0.28000] x [0.19125, 0.21250], mu_B 0.45223, padding 0.00630; (kappa_3, kappa_4) = (0.32695, 0.37419) in cell [1, 1, 0] (ok)
    E h_B(Z_W'') = 0.79802;  certified cell bound 0.854689 (C5 - bound = 0.00041);  E|Z_K| <= E h_B <= cert and J <= cert: True;  cert - J = 0.02073
row 3 (V+ 0.75): mass 1.00000, V+ 0.75000, (a+, b+) = (0.15436, 0.28943), 77 count values; E|Z_K| = 0.81276
    J (one Y) = 0.83634 (HiGHS status 0, row violation of its measure 6.8e-14);  RQ-C's SB_lo 0.83854 (per shift; see rqc_sblo_feasibility.py)
    box [5, 4, 5, 27] = [0.14000, 0.17500] x [0.28687, 0.29750], mu_B 0.27096, padding 0.00453; (kappa_3, kappa_4) = (0.15775, 0.19448) in cell [0, 0, 0] (ok)
    E h_B(Z_W'') = 0.81530;  certified cell bound 0.854486 (C5 - bound = 0.00061);  E|Z_K| <= E h_B <= cert and J <= cert: True;  cert - J = 0.01815
row 4 (V+ 0.7): mass 1.00000, V+ 0.70000, (a+, b+) = (0.14407, 0.27013), 72 count values; E|Z_K| = 0.79818
    J (one Y) = 0.83066 (HiGHS status 0, row violation of its measure 5.1e-11);  RQ-C's SB_lo 0.83690 (per shift; see rqc_sblo_feasibility.py)
    box [5, 4, 5, 25] = [0.14000, 0.17500] x [0.26562, 0.27625], mu_B 0.31990, padding 0.00627; (kappa_3, kappa_4) = (0.22488, 0.23846) in cell [0, 0, 0] (ok)
    E h_B(Z_W'') = 0.80640;  certified cell bound 0.854507 (C5 - bound = 0.00059);  E|Z_K| <= E h_B <= cert and J <= cert: True;  cert - J = 0.02385
row 6 (V+ 0.5): mass 1.00000, V+ 0.50000, (a+, b+) = (0.18735, 0.17174), 71 count values; E|Z_K| = 0.79194
    J (one Y) = 0.81377 (HiGHS status 0, row violation of its measure 2.3e-12);  RQ-C's SB_lo 0.82031 (per shift; see rqc_sblo_feasibility.py)
    box [5, 5, 5, 16] = [0.17500, 0.21000] x [0.17000, 0.18063], mu_B 0.51662, padding 0.00357; (kappa_3, kappa_4) = (0.02799, 0.35549) in cell [2, 2, 1] (ok)
    E h_B(Z_W'') = 0.80737;  certified cell bound 0.841249 (C5 - bound = 0.01385);  E|Z_K| <= E h_B <= cert and J <= cert: True;  cert - J = 0.02748
end 2026-10-22 23:12:28 UTC
ALL CONSISTENT
