test: make the suites capable of failing — and fix the 19 lexer defects that exposed - #8

Merged

hyperpolymath merged 4 commits into

mainfrom

fix/proof-debt-breadth

Jul 28, 2026

Commits on Jul 27, 2026

test: make the test suites capable of failing, and wire `lake test`

hyperpolymath
and
claude
committed
21a9a23

Commits on Jul 28, 2026

fix(lexer): two-character lookahead was off by one

hyperpolymath
and
claude
committed
0077806
docs: add governance files, written for this repo rather than swept in

hyperpolymath
and
claude
committed
60947bb
fix(lake): build the test executables by default

hyperpolymath
and
claude
committed
62a2027