G1 card S01 - DIAGNOSTIC strip-test sweep of DECORATIVE arithmetic parentheses in the eligible residual functions
Written 2026-09-26 01:58:40 -0700 (clock-read), BEFORE the sweep. Never edited.

T01 OUTCOME (fact, run scratch/campaign/workers/G1/runs/T01_pe_HEAD_sched, stock_equal true, dbg32c 32ee5e4d):
after the periodic call (cycle 131) the ready list holds fmul [esi+0x60] (+0x2c 0xe800, w36 12), add esp,8 (0x1400)
and fld 1.0 (0xcc00, w36 13); the FP slot takes the fmul (higher key). fsub's key 0xd400, faddp 0x3800, fmul scale
0x9c00, fstp magnitude 0x0c01. No 0x267 record in the block (prediction (b), 'no 0x267', CONFIRMED). January's order
needs the (1 - w) chain to outrank the product at that cycle (or the product not to be ready): a key/readiness fact,
not a grouping fact. add_continuous_effect STOPS here (5 source shapes + 1 trace; rule 'bound blind residual work').

PURPOSE OF S01: the census question 'where do parentheses change hidden-temp counts near the differing instructions'
restricted to what the owner ruling allows us to even consider: parentheses that are DECORATIVE in our source
(tree-identical without them: LEFTRED (a*b)*c, RIGHTRED x+(a*b), WHOLE x=(a*b);, LEAF (x)), arithmetic roots only.
Tool: tools/strip_sweep.py - one scratch copy per group with ONLY that pair removed, gate --fn, section compared with
the unmodified source and with January. 25 groups in 13 functions (decal_new_from_collision 2, vector_avoidance 1,
crosshairs 3, add_continuous 1, camera_effect_matrix 1, nav_point 5, ballistic 2, sun_glow 5, motion_sensor_update 1,
bsp3d_test_pill 1, draw_bitmap_in_rect 1, widget_instance_render_recursive 1, biped_update_physics 1).
Nothing from S01 is a candidate by itself: a group whose removal moves bytes is LOAD-BEARING DECORATION (an owner
item under ruling item 4, reported both when it moves toward and away from January). A strip that makes a function
EXACT would still be a parenthesis-only change (owner question), with the tree unchanged.
PREDICTIONS: most groups inert (C01A precedent); load-bearing groups expected only where W6's mechanism applies (a
paren temp whose record shifts an int slot / window) - guess 2-5 of 25 change bytes; 0 become EXACT (p 0.9).
The ballistic pair (landed by Lane A 2026-09-20 as a zero-credit parenthesisation) is predicted load-bearing (p 0.7)
because that lane reported the parenthesised form improved objdiff 94.50 -> 98.99.
