v0.3.0 candidate: memory safety hardening + C ABI v4#116

Open

samtalki wants to merge 14 commits into

mainfrom

v0.3.0-candidate

Commits on Jun 12, 2026

fix(matpower): reject oversized gencost NCOST instead of panicking
claude
committed
Truncate C ABI message buffers on UTF-8 character boundaries
claude
committed
Merge remote-tracking branch 'origin/claude/amazing-edison-4bjitk' into v0.2.1-candidate
samtalki
committed
feat(capi): ABI v4 — frozen naming grammar, cap/count extractors, format strings everywhere

samtalki
and
claude
committed
test(fuzz): libFuzzer harnesses for the untrusted-input readers

samtalki
and
claude
committed
docs: v4 names across README, AGENTS, languages table, smoke.c; trust model and panic notes

samtalki
and
claude
committed
refactor(pwd): name the drawing record type; fmt; fix bench for fallible write_as

samtalki
and
claude
committed
refactor: /simplify pass on the v4 diff

samtalki
and
claude
committed
fix(capi): a doc comment contained */ which terminated the generated C block comment early

samtalki
and
claude
committed
fix(benchmarks): the validation FFI shim speaks ABI v4; add the pwd decoder bench

samtalki
and
claude
committed
docs: drop rhetorical contrast phrasing from the capi prose

samtalki
and
claude
committed
fix: review pass on the v4 candidate

samtalki
and
claude
committed
fix: snapshot degrades non-finite to null with a warning, not an error

samtalki
and
claude
committed
Merge remote-tracking branch 'origin/main' into v0.3.0-candidate
samtalki
committed