test: the case matrix, written before the implementation - #7

Merged

sotashimozono merged 11 commits into

mainfrom

spec/case-matrix

Sep 3, 2026

Commits on Sep 3, 2026

test: the case matrix, written before the implementation

sotashimozono
and
claude
committed
47e8ce9
test: expand the case matrix, and it immediately found two defects

sotashimozono
and
claude
committed
331ae7a
style: format with the JuliaFormatter version CI actually installs

sotashimozono
and
claude
committed
3ed8a58
test: fix the review findings — three of them were false greens

sotashimozono
and
claude
committed
a9b078c
test: dispatch branching, and what happens when the mark is written lazily

sotashimozono
and
claude
committed
36a297d
test: the mark's exit, and an entry point that is not a single function

sotashimozono
and
claude
committed
d526200
fix: second review round — including one defect in the shipped code

sotashimozono
and
claude
committed
ba44093
fix: address the review — generate the table, count behaviours, fix where the refusal points

sotashimozono
and
claude
committed
2008f75
fix: check the no-wrapping claim where it is exact, and normalise line endings

sotashimozono
and
claude
committed
ac64815
spec: split detection from recording, and make the default layer the point

sotashimozono
and
claude
committed
8097f06
style: cut the comments to the scope of the expected behaviour

sotashimozono
and
claude
committed
b422dce