mirror of
https://github.com/logos-blockchain/logos-execution-zone.git
synced 2026-08-27 04:11:08 +00:00
Marvin Jones
3e7d2be961
UpdateFromDiffOutput's docstring didn't make clear that this journal is never the privacy-preserving circuit's own output — it's a separate program's inner receipt, reconstructed and checked via env::verify, then discarded. Clarify that, and trim the rest of the comment down. write_update_from_diff_output took its inputs by reference and cloned them to build the owned UpdateFromDiffOutput it commits. It has no callers yet on this branch and nothing else needs the values afterward, so take them by value and move them in instead. Rebuild every guest artifact and the prebuilt sequencer fixture: they were stale relative to this branch's own committed source (confirmed via mtimes — most of lee_core and every touched program's source postdated the checked-in .bin files), causing spurious DeserializeBadBool failures for anyone running tests against a fresh checkout without first running `just build-artifacts`.