Skip to content

ogar-loco: proof-carrying vocabularies, the 3-ref min_shape fix, and the permanent floor - #240

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/rust-scratch-abi-soa-gsamge
Aug 5, 2026
Merged

ogar-loco: proof-carrying vocabularies, the 3-ref min_shape fix, and the permanent floor#240
AdaWorldAPI merged 1 commit into
mainfrom
claude/rust-scratch-abi-soa-gsamge

Commits

  1. Commits on Aug 5, 2026