fix(checker): replay property steps, cite across files, project fields - #218

Merged

the-homeless-god merged 9 commits into

devfrom

a/1400-fmath-first-statements

Oct 1, 2026

Commits on Oct 1, 2026

fix(checker): replay property steps, cite across files, project fields

the-homeless-god
and
claude
committed
f01b9a3
docs(tasks): measure the whole standard library and rank its refusals

the-homeless-god
and
claude
committed
dd4b718
chore(numbers): sync counts, ledger rows and file name words

the-homeless-god
and
claude
committed
108ef5c
chore(numbers): sync counts and raise the probe ratchet to 608

the-homeless-god
and
claude
committed
3387be3
feat(stdlib): first proved statements of fmath, cited across files

the-homeless-god
and
claude
committed
7e7f23a
docs(tasks): name the assignee and branch of task 5583

the-homeless-god
and
claude
committed
46f2e52
chore(numbers): sync counts and raise the probe ratchet to 611

the-homeless-god
and
claude
committed
76e3066
docs(tasks): mark task 5583 as in progress

the-homeless-god
and
claude
committed
286543a
chore(numbers): sync counts after rebase onto the checker sets

the-homeless-god
and
claude
committed
43b143f