Hojun-Cho
0077b115fb
The exact B6-c5 set (rob b6 spec §2, numbering at4cac1cb): :3820 (fn-symbol load u), :7201 (#235 len() tuple-elem bu), :7807 (type_default let-init region u), :7900 (append su, str→[]u8 region), :9944 (`is` source u — the #37 memread predicate feed; the >32B cap test now keys the CHASED size, mirroring ww's taggedmemread, per the EYES condition — kb6_memread 40B-union byte-NEUTRALITY is the regression net, held), :10224 (module-qualified value ref tu), :10750/:10873 (tagged-union field loads, direct + through-ptr tag_fu/ptag_fu). Raw `->under` in cgen.c 17→9 — the remaining 9 are EXACTLY the designed whitelist survivors (:731 nullable_ptr_tag + :813/:814 + :834/:835 cg_variant_match peel-ok-#218, #95's fold) and B7's 4 emitter/intern lines (:14356 :14574 :14788 :15088). B6's 49 granted lines are fully retired; grep-verified. FLIP: kb6_tfread (tagged-union field load direct + through-ptr over alias struct, was both-correct divergent NO(4)) → 0/0 BYTE-ID; cs converged onto ww's UNCHANGED asm (#263 polarity, cmp-proven) and the alias shape equals the plain shape (kb6_tfread_p, same hash — ken's c5 pre-test). kb6_len / kb6_gref / kb6_memread latent byte-NEUTRAL as predicted. TRAIN INVARIANT (held c1..tip): cs-only; w6c_ww/ww_ww bit-identical to the4cac1cbbaselines (b6bddc8eb5c3ed8e805e50371d4b7017 / 4e9ca8741f19e1f68219ff799a5e5a14) at all five boundaries. cs movers c4→c5 bounded to exactly {kb6_tfread}; rest of corpus + five mains byte-NEUTRAL; kw1_101/fill2/tuparg_c/xampdef/amplen1 detectors unmoved across the whole train; 989 ratchet zero flips. 944_alias_cgen_b6_run final table: 18→22 rows, 49→61 checks (tfread_2lvl flip + len_2lvl/gref_2lvl controls + memread_40b cap- watch pin). All 944-family suites green; sizelint 0.