Patch release for the GCC firmware trust and RV32 architectural-validation upgrade.
Highlights:
- Preserves the v1.3.0 GCC/ISS, Spike, ACT4, formal, mutation, coverage, timer/WFI, and mscratch evidence.
- Fixes the pinned Verilator v5.048 CI build by installing the required help2man dependency.
- Confirms green hosted open-source DV gates plus real UVM phases, TLM, coverage, RAL, solver-formal, and integrated CDC jobs.
Measured evidence includes 85/85 GCC executions, 178/178 GCC points, 94/94 GCC crosses, 12/12 Spike programs, 45/45 ACT4 tests, 3/3 RV32 formal groups, and 4/4 external-oracle mutation detections.