k3b verifier (RQ-AUD), data RQ-AUD/audit/rqa/k3b_data: 288 cells, 1421 boxes, kinds {(-1, 'lpv'): 480, (1, 'lpv'): 626, (1, 'ms5'): 302, (1, 'ncA'): 13}
D  2845 vertex-certificate sets (16544 vertices); record-side cap/phi problems: 0 []
D  vertex certificates: failures 0/2845; sets by role {'lpv': 1106, 'c1': 302, 'TC': 871, 'SG': 146, 'TCS1': 210, 'TCS2': 210}; cone sub-boxes max 1, total 2845; 7s
RESULT: ALL CHECKS PASSED (parts D, 7s)
