feat(miner): rfc 0023 green pt1 — bounded template memory (RFC0023.1–.5) - #354

Merged

jensholdgaard merged 4 commits into

mainfrom

rfc0023-green-pt1

Jul 4, 2026

Commits on Jul 4, 2026

feat(miner): rfc 0023 green pt1 — the three bounded-memory knobs

jensholdgaard
and
claude
committed
3905f7b
refactor(miner): one emit_string_parse_failure helper for every §6.3 overflow exit

jensholdgaard
and
claude
committed
4775981
test(miner): review round — tree-level wildcard tests, fanout proptest, zero-bound test

jensholdgaard
and
claude
committed
aee0808
test(miner): land the below-floor line in the wildcard bucket it claims to test

jensholdgaard
and
claude
committed
6c6f9ea