[do not merge] lc + receipts + num_laters_per_step in eris#70

Draft

ahuoguo wants to merge 6 commits into

mainfrom

Commits on Apr 30, 2026

LC for eris
ahuoguo
committed
name of proj
ahuoguo
committed

Commits on May 6, 2026

add steps for time receipts, mirroring https://github.com/logsem/clutch/commit/a7f711c193c1e1975d1a8afc176e2a7d7970cf5a#diff-575e056e2bc3defe2ed32fc5862778df093f3c6553b3040b4dde72785ad49277
ahuoguo
committed

Commits on May 22, 2026