This repository was archived by the owner on Oct 20, 2026. It is now read-only.

Repository navigation

Optimize router verification with predicate bundling - #441

Draft

jcp19 wants to merge 11 commits into

claude/slow-member-verification-9vn2hj

Draft

Optimize router verification with predicate bundling#441
jcp19 wants to merge 11 commits into
masterfrom
claude/slow-member-verification-9vn2hj

Commits on Sep 6, 2026
- Add a script to verify a single member of a package
  claude
  committed
  d0df5e9
- Record where the router's verification time goes
  claude
  committed
  d160acf
- Record the profile of 'process' and six optimisation attempts that failed
  claude
  committed
  b9184a8
Commits on Sep 7, 2026
- Bundle the last decoded layer into a predicate: 'process' 2.1x faster
  claude
  committed
  8180cd9
- Bundle the SCMP reply buffer into a predicate
  claude
  committed
  d3f01b9
- Revert the SCMP buffer predicate: no measurable gain
  claude
  committed
  e0d004b
- Record why the SCMP buffer resists the LastLayerMem treatment
  claude
  committed
  4b7947f
- Localise the rc closure: half of it is one invariant exhale
  claude
  committed
  9c09e83
- Bundle the read batch into a predicate: the 'rc' closure 4x faster
  claude
  committed
  783973a
- Record the MsgsMem result and what made it work
  claude
  committed
  30c58fe
Commits on Sep 8, 2026
- Merge master into the verification-performance branch
  claude
  committed
  1b351c7