Skip to content

fix(checker): reject a record whose hypothesis is not the statement's - #216

Merged
the-homeless-god merged 11 commits into
devfrom
a/checker-replays-steps-from-assumptions
Oct 2, 2026
Merged

fix(checker): reject a record whose hypothesis is not the statement's#216
the-homeless-god merged 11 commits into
devfrom
a/checker-replays-steps-from-assumptions

chore(numbers): sync measured counts after rebase

1a49b78
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar