journal 2026-05-05

Banked lower service model

P105 kept the lower-memory RTL single-port but added a conservative banked-service model in the Verilator harness.

The shell smoke reached P105-FILE-OK. The model found 20,460,163 total different-bank extra grants and 8,290,549 during the shell window. The simple one-cycle-per-extra-grant projection takes the shell window from 64,438,096 cycles to 56,147,547 cycles.

Result: PASS for RTL simulation and shell profiling. Hardened layout: NOT RUN.