docs: say what findDeployBlock, isStartBlock and the deploy actually do - #33

Merged

thedavidmeister merged 4 commits into

mainfrom

2026-08-14-issue-18-docs-match-code

Aug 14, 2026

Commits on Aug 14, 2026

docs: say what findDeployBlock, isStartBlock and the deploy actually do

thedavidmeister
and
claude
committed
5adc7c4
Merge main into 2026-08-14-issue-18-docs-match-code

thedavidmeister
and
claude
committed
ff98e96
docs: give the invariant, so the reader can check the tautology claim

thedavidmeister
and
claude
committed
5aa27e2
docs: state the loop invariant so it holds at the initial values too

thedavidmeister
and
claude
committed
7630749