CARD P3  (written 2026-09-26 01:40:20 -0700, before compiling)  unit source/math/periodic_functions
fn @periodic_function_build_variable_period_x_table@4 (parked instruction-scheduling, 244 meaningful B)
Observed discrepancy (J vs production): `inc edx` <-> `fld [ebp-4]` at +0x6f/+0x70 (single transposition).
Evidence: D - /Od builder 0x6c8460 +0x5b..+0x68 computes term 1 as `real_random()*0.25f + 0.25f` (mulss/addss with the
single constant 0x93ddf4); lab L3 - VC7 /O2 factors that spelling into January's `fadd [1.0]; fmul [0.25]` with no
0x267 barrier; trace T1 - production's residual is caused by the term-1 barrier (0x267, unit class 0) taking the
single integer slot at cycle 23, which pushes `inc edx` behind `fld [ebp-4]`.
Proposed correction: production term 1 `(real_random()+1.0f)*0.25f` -> the /Od-attested
`real_random()*0.25f + 0.25f` (same real-number value; a genuine first-party spelling, not a decoration).
Compiler-state prediction: C2 factors it to the same fadd/fmul pair; no barrier on unit 0 at cycle 23; inc issues at
23 after fmul[.25]; add esi with fld at 24; dec edi before fmul K at 25; the [ebp-8] store before fcos.
Expected emitted effect: builder EXACT (256/18, January sha 802ef4da); the other 6 functions unchanged; no symbol
change. p ~0.75. Collateral risk: the rounding of r*0.25+0.25 vs (r+1)*0.25 - irrelevant since VC7 emits the
factored form (identical bytes to January => identical arithmetic).
Decisive test: gate --all + keyed_diff vs build/base (@-names: sgate-style check via gate's section compare).
