RF-L candidate evidence: `_widget_instance_render_recursive` (743 meaningful / 752 padded) - EXACT candidate
Patch: render_recursive_L1_exact.patch (against lane HEAD 1b00eeea; `git apply --check` clean; applying it to a
pristine HEAD copy reproduces scratch/rf/workers/RF-L/src/l1.c byte-for-byte). Needs owner review (rules 21/36
disclosure below).

Changes (all three first-party attested; A and B are RF-E's RR2 and unchanged):
 A draw argb = modulate_pixel32_by_real_alpha(0xFFFFFFFF, alpha)  [/Od 0x66a020 +0x31d: push alpha; push -1;
   call 0x6627d0 = our EXACT _modulate_pixel32_by_real_alpha; January inlines every call site]  (RF-E RR-1)
 B clip through the pointer: if (clip) { clipped = *clip; clip = &clipped; clip->x0/x1/y0/y1 += ... }
   [/Od +0x220..+0x2a4; RTC aggregate name "local_clip"; HCEX local `local_clip`]  (structural R1 / RF-E RR-2)
 C helper widget_instance_get_cumulative_alpha_modifier in the /Od 0x668190 shape:
     real alpha_modifier = widget->alpha_modifier;
     widget = widget->parent;
     while (widget) { alpha_modifier *= widget->alpha_modifier; widget = widget->parent; }
     return alpha_modifier;
   [/Od 0x668190: a single local (the product, [ebp-4]); the parameter home [ebp+8] receives widget->parent
   (+0x18..+0x1e) and is re-stepped in the loop (+0x39..+0x3f); init falls into the test with no jump over an
   increment = while shape. Our previous `parent` local is attested nowhere.] January corroboration: the
   standalone helper (32 B) and the other four inline sites (render_text_box, render_spinner_list x2, render_column_list) are
   byte-identical under both shapes; render_recursive is EXACT only with the /Od shape.

Checks:
 - gate --all: 98 exact / 4 residual / 0 unwritten (HEAD and RR2: 97/5/0). logs/L1_gate_all.txt
 - keyed diff vs build/base/source/interface/ui_widget.obj: 329 -> 329 sections, 1 changed
   (_widget_instance_render_recursive, 752 -> 752, EXACT vs January), 0 added, 0 removed, 0 losses.
   logs/L1_keyed_vs_build_base.txt
 - /W3 (CL /Zs /W3, production flags): 17 before (HEAD), 17 after; identical multiset (the five in-file C4244
   warnings are the same statements, line numbers shifted by +3/+2). logs/W3_lane_head.txt, W3_rr2.txt, W3_l1.txt
 - fake_match_scan: 0 review leads (logs/L1_fake_scan.txt; HEAD also 0).
 - Strip test (card L-S): C alone (S-1), A+C (S-2), B+C (S-3) each fix +0x78 and leave frame hunks (residual);
   A+B (RR2) leaves only +0x78; A+B+C exact. Every strip variant changes only render_recursive. No change is
   decorative; C buys exactly the base/index order.
 - No lane source/config/tools touched; compiler hashes unchanged (C2 9dbf908b, C1 02843d31, CL 483e00c4).

Mechanism disclosure (house rules 21, 36): C's byte effect goes through C2's value-numbering ORDINAL. With the
parameter reused, VN creates 6 fewer temps before the loop, so the `definition + 0x4c` temp's id changes from
0x183 to 0x17d (id & 3: 3 -> 1); the address load's sort key drops from 0x1c008 to 0x14008, below the SR IV temp's
key, so the IV becomes input 1 and the address builder makes it the base. The form was chosen from /Od evidence and
predicted by the decoded mechanism BEFORE compiling (card L-1, P(EXACT) 30%); it is not a count-tuning filler, but
the owner should know the codegen effect is a VN-ordinal (mod 4) effect.
