You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Found by the VCR-RA-001 spike agent (PR #569) while running flag-on differentials: scripts/repro/flight_seam_differential.pyfails on current main flag-off too — it looks up symbol func_0, which no longer exists after the #394 name-propagation work (functions now carry export/name-section names in the paths the script reads).
The gap it reveals: this differential is a dev script, NOT CI-gated — so it drifted silently when naming changed. Either CI-gate it like the other execution oracles (preferred; the flight_seam fixture is load-bearing) or mark it deprecated in favor of the CI-gated frame_slot_dce_differential.py which covers the same flight_algo anchor (0x07FDF307).
Note: emitted code is NOT affected — CI-gated differentials (const_cse, frame_slot_dce) pass on the same fixtures; this is harness drift only.
Found by the VCR-RA-001 spike agent (PR #569) while running flag-on differentials:
scripts/repro/flight_seam_differential.pyfails on current main flag-off too — it looks up symbolfunc_0, which no longer exists after the #394 name-propagation work (functions now carry export/name-section names in the paths the script reads).Two things to fix:
synth disasmlesson (PR ci(vcr-oracle): CI-gate the RV32 immediate-shift-fold execution oracle (#472, #242) #489).frame_slot_dce_differential.pywhich covers the same flight_algo anchor (0x07FDF307).Note: emitted code is NOT affected — CI-gated differentials (const_cse, frame_slot_dce) pass on the same fixtures; this is harness drift only.