Evaluator cache, prover speed, flaky pong spec, parallel CI - #12

Merged

yogthos merged 10 commits into

mainfrom

eval-cache-list-vs-vector

Sep 25, 2026

Commits on Sep 25, 2026

Key the law evaluator's cache by the printed term
Yogthos
committed
461b20d
Run each example as its own CI job, with timeouts
Yogthos
committed
279b347
CI: pin jolt, so parallel installs don't hit the API rate limit
Yogthos
committed
28756e5
Examples runner: print each test as it starts and ends
Yogthos
committed
81f1aa7
CI: keep the examples' proof cache between runs
Yogthos
committed
d4e50ce
Prover: print each term once when sorting by its printed form
Yogthos
committed
80335d4
Prover: summarise a proof trace in one walk that skips shared subtrees
Yogthos
committed
5697ea2
Solver search: bind first-pass with an if, not (nil? queue)
Yogthos
committed
bf3d861
Look for an exists witness among at least 1000 values
Yogthos
committed
253ab06
CI: pong back to the examples' 60 minute timeout
Yogthos
committed
d78c894