Listing: Listing

# fixed_data_reading_out.txt -- Stage 2 summary (conditional on S-bv)
# Imported: sigma_eps = XII-C/XVI-L time-only ramp; chi_I = compact switch; Gate V unchanged
# S-bv: CONDITIONAL (not discharged)

STATUS: fixed-data criteria and universal region comparisons constructed; actual fixed-data dimensions unresolved
REGION 1 (full switched/prepared): status = sufficient criteria (i) G, (ii) Coll, (iii) adjoint-defect injectivity of ev_U
  ker G_formal subseteq ker G_fixed; (iii) needed for SA equality; time-only ramp: own Helmholtz analysis needed (Unresolved)
  comparison class formal: dim ker Coll = 0
REGION 2 (prep plateau, UNIVERSAL formal chi-jets): status = EXACT for the universal reading (actual chi_I: Unresolved)
  dim ker Coll = 21 ; SA_D0 = 26
  full SA dim = 47 ; variational image = 26 ; perD SA = {'0': 26, '1': 0, '2': 0, '3': 4, '4': 17}
REGION 3 (double plateau): status = EXACT (M.4)
  dim ker Coll = 22 ; SA = 1347 ; var image = 1325
REGION 4 (transitions): status = Unresolved (domain-size bound 0 <= dim ker Coll_fixed <= 3321)

DISTINCTIONS:
  support vanishing: C_2/M_2 die on {sigma=1}; chi-Leibniz dies on {chi=1}
  additional relations: possible for concrete ramp; none certified
  genuine SA: Gate V self-adjointness of collapsed operator

ULTRALOCAL: 26-dim family; 26 K-patterns in SA basis; Lorentz-scalar matched line: P1-(89/140)P2
ACCEPTANCE: criteria / exact-universal / exact / unresolved for regions 1..4
total runtime 120.3s
ALL CHECKS PASSED