fix: the re-zero is proven on hardware — and the arc was in the wrong frame (#35)#41

Merged

OriNachum merged 10 commits into

mainfrom

fix/rezero-frame-and-bus-robustness

Jul 12, 2026

Commits on Jul 12, 2026

fix(bus): a dropped packet must be a CliError, not an IndexError — and reads retry, writes never do
OriNachum
committed
merge: a dropped packet must be a CliError, not an IndexError — and reads retry, writes never do
OriNachum
committed
fix(rezero): the unreachable arc is RAW ticks — the target was computed in the wrong frame

OriNachum
and
claude
committed
merge: the unreachable arc is RAW ticks — the target was computed in the wrong frame
OriNachum
committed
wip: arc with margin (318, 2007) — tests still hardcode the old numbers
OriNachum
committed
test(rezero): derive expectations from the arc table, not hard-coded ticks

OriNachum
and
claude
committed
merge: derive rezero test expectations from the arc table, not hard-coded ticks
OriNachum
committed
fix: the re-zero is proven on hardware — and the arc was in the wrong frame (v0.22.0)

OriNachum
and
claude
committed
refactor(sonar): type _sdk_read's callable; drop the arithmetic comments (S5864, S125)

OriNachum
and
claude
committed
fix(explain): render the arc from arm_spec instead of quoting a snapshot of it

OriNachum
and
claude
committed