-
Notifications
You must be signed in to change notification settings - Fork 1
Logbook July 2026
Paolo Veronelli edited this page Jul 24, 2026
·
1 revision
Week of Jul 20th — The Amaru consumer becomes a scored Antithesis property. Wednesday wired the tracer-sidecar to score amaru-consumer convergence against the producer as a first-class Antithesis property (implementing the #180 spec), retuned the Amaru testnet for observable convergence (k=20, 0.5s slots, 400-slot epochs), repinned the producer image to amaru-bootstrap HEAD, and raised Amaru logging to info so convergence events reach the Antithesis log ingestion. Friday opened the follow-up that adopts the 037-vrf-investigation producer image and moves era-history and global-parameters to file-based inputs.
Issue: #180
- Merged feat(tracer-sidecar): score amaru-consumer convergence as an Antithesis property #184 — the tracer-sidecar now scores amaru-consumer convergence against the producer as a first-class Antithesis property, implementing the #180 convergence spec
- Merged feat(amaru): update testnet params to k=20, slotLength=0.5s, epochLength=400 #186 — retune the Amaru testnet (security parameter k=20, 0.5s slots, 400-slot epochs) so convergence is observable within a single run
- Merged testnet(amaru): repin producer image to amaru-bootstrap main HEAD #178 — repin the Amaru producer image to amaru-bootstrap main HEAD
- Merged fix(amaru): add tracer-sidecar to amaru-consumer depends_on list #187 — start the tracer-sidecar alongside amaru-consumer so the convergence property is always scored
- Merged chore(amaru): set AMARU_LOG and AMARU_TRACE to info level for Antithesis log ingestion #185 — raise Amaru log/trace verbosity to info so convergence events reach the Antithesis log ingestion
- Opened feat(amaru): adopt 037-vrf-investigation image + file-based era-history/global-parameters #189 — adopt the 037-vrf-investigation Amaru producer image and switch era-history and global-parameters to file-based inputs