test: proof infrastructure — snapshot corpus, diff manifest tool, benchmarks, CI - #47

Merged

kamronbatman merged 5 commits into

mainfrom

kb/test_infrastructure

Aug 22, 2026

Commits on Aug 22, 2026

test: add snapshot corpus pinning exact generated output

kamronbatman
and
claude
committed
cfa5ce3
feat: add DiffTool manifest harness; accept .slnx solutions

kamronbatman
and
claude
committed
fd527b3
feat: add benchmarks for cold and incremental generator runs

kamronbatman
and
claude
committed
2c99d43
ci: run build and tests on push and pull requests

kamronbatman
and
claude
committed
d7c0091
test: normalize snapshot line endings; ignore benchmark artifacts

kamronbatman
and
claude
committed
18fea01