C11 verifier (RQ-AUD), data: RQ-AUD/audit/rqc/c11_data
u_L = 15537/10000 < u0 = sqrt(1+sqrt2): True  [(u_L^2-1)^2 = 1.999349876 < 2]
q(27/16) = 256/985 = 256/985: True
kappa4(27/16) = -0.801178 < 0 (kappa4 = u^2+u^-2-4 increasing on u>=1): True
a(2/5) = 20/29 < 69/100: True;  a(533/1000) = 1066000/1284089 ~ 0.830161 > 83/100: True
near-dictator constant (81/256)(uE^4+uE^-4)(1-a)(1+a)^2/a^3 at a=93/100: 74761407288326311/88539849484664832 = 0.844381459; < 1: True; < 0.8444: True; equals RQ-C's fraction: True
cellsA.json: 360 cells, region field ['15537/10000', '27/16', '0', '69/100'], failed list 0
  tiling of ['15537/10000', '27/16', '0', '69/100']: OK; all inside: True; area sum == region area: True (overlap-free iff equal, given coverage)
  target r2=MINE: failures 0/360, certified sub-cells 360, max depth 0, 0.3s
  target r2=RQC-sigma: failures 0/360, certified sub-cells 360, max depth 0, 0.4s
cellsB.json: 33 cells, region field ['15537/10000', '27/16', '83/100', '93/100'], failed list 0
  tiling of ['15537/10000', '27/16', '83/100', '93/100']: OK; all inside: True; area sum == region area: True (overlap-free iff equal, given coverage)
  target r2=MINE: failures 0/33, certified sub-cells 33, max depth 0, 0.4s
  target r2=RQC-sigma: failures 0/33, certified sub-cells 33, max depth 0, 0.4s
quartic.json: 128 boxes; tiling of ['15537/10000', '27/16', '2/5', '533/1000']: OK; inside: True; area equal: True; c4 range [0.000382, 0.00795]
  A.6 quartic conditions (Q0)-(Q3): failures 0/128, certified sub-boxes 1760, max depth 4
  strict (Q4) k3 B0 - 4 c4 > 0: failures 0/128; smallest certified lower bound 5.88e-07
RESULT: ALL CHECKS PASSED (0.5s)
