LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm

[Th0rgal]

Base

76053bb4c41ff018413e261388f9b6b1d0c5ac34

Change (3 lines)

1. Delete reg [7:0] taken_proposal; declaration (was line 360)
2. Delete taken_proposal = frame_payload[77*8 +: 8]; assignment (was line 909)
3. Inline both uses at former lines 921 and 924 with frame_payload[77*8 +: 8]

Validation Ladder (real exit codes)

Check	Result
make checksum-check	EXIT:0 (SHA256SUMS regenerated)
python3 tools/sv_smoke_check.py asic_core/rtl/*.sv	EXIT:0 (16/16 files balanced)
make -C test sim	EXIT:0 (18 tests PacketFrontendRtlDifferential + 1 ConformanceV3RtlDifferential = 19 OK)
python3 tools/lsc1_authored_rtl_contract.py --verify	EXIT:0 (30 observations PASS)
yosys lint	EXIT:0 (0 errors, 6 warnings only)
Yosys baseline cell count	3850 cells (≤3850 baseline)
JUMP differential proof (512 enumerations)	EXIT:0 (512/512 match)

R10 — JUMP BAD_CELL vs BAD_BRANCH_PROPOSAL ordering

PINNED, NOT FIXED. The cell_alias_inconsistent fault priority block (lines ~919-920) is untouched. This change is purely combinational refactoring with no FSM/state or fault-priority change.

Bounded Classification

• LSC-1 (ASIC, RTL, combinational refactoring only) ✓
• LSC-1µ: PERMANENTLY FROZEN — no claim made
• LSC1-09+ (FPGA/netlist/P&R/hardware): NOT CLAIMED
• Unbounded/universal equivalence: NOT CLAIMED — honest bounded-pass on dead-write deletion only
• Netlist PPA: NOT CLAIMED
• No merge/rebase/force-push

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, add credits to your account and enable them for code reviews in your settings.