feat(scaffold): v2 six-language templates and a single-pass scanner (#186, #197) - #228

Merged

hyperpolymath merged 12 commits into

mainfrom

deliver-186-197

Sep 24, 2026

Commits on Sep 24, 2026

perf(scanner): one traversal, and honour the repository's .gitignore
hyperpolymath
committed
86d8f90
feat(scaffold): emit the v2 six-language template set
hyperpolymath
committed
2d9df0c
docs: delivery write-up for #186 and #197
hyperpolymath
committed
138ae97
docs: explain why the six templates do not share one sample API
hyperpolymath
committed
599d6be
fix(ci): the Rust proof workflow could not have worked as written
hyperpolymath
committed
f28ad4c
fix(ci): finish the Creusot install, and stop hard-coding the Why3 pin
hyperpolymath
committed
3bfd4c8
docs: record what running the proof workflows actually found
hyperpolymath
committed
27a280a
fix(ci): the Ada proof job never installed a compiler
hyperpolymath
committed
48a887a
docs: the Ada proof job had the same kind of hole as the Rust one
hyperpolymath
committed
92f5e45
docs: note the Agda pin that ci.yml does not honour
hyperpolymath
committed
7ef549c
docs: correct the claim that toolchains survive outside the workspace
hyperpolymath
committed
23798e8
docs: re-verify both proofs on the rebased tree, through the generator
hyperpolymath
committed
e4c7a11