bindspace→mailbox_soa W1c: declared populated-row count (prefilter-bound fix)#519

Merged

AdaWorldAPI merged 3 commits into

mainfrom

claude/bindspace-mailbox-soa-w1c

Jun 17, 2026

Commits on Jun 17, 2026

feat(mailbox_soa): W1c — declared populated-row count (prefilter-bound fix)
claude
committed
fix(#519 codex P1): MailboxSoaView::n_rows() returns populated, not capacity N
claude
committed
mailbox_soa W1c: align stale n_rows/populated docs with impl (CodeRabbit)
claude
committed