Merge pull request #875 from input-output-hk/ci/antithesis-trigger
ci(antithesis): trigger if demo/* or flake.lock change, too
ci(antithesis): trigger if demo/* or flake.lock change, too
Agent-Logs-Url: https://github.com/input-output-hk/ouroboros-leios/sessions/9e30fa19-ef75-42c2-af73-19747707f2f1 Co-authored-by: wolf31o2 <[email protected]>
Integrate deltaq-jupyter workflow to main-flake
This makes is less surprising that a nix develop or direnv works differently from within analysis/deltaq/linear-leios
This includes redundancy on fetched txs and votes (from up to 2 peers)
Along with a lot more changes on network egress
This allows for a better comparison and stresses that linear leios does not result in more costs when load is < Praos capacity.
Co-authored-by: Sebastian Nagel <[email protected]>
Co-Authored-By: Sebastian Nagel <[email protected]>
Co-authored-by: Sebastian Nagel <[email protected]>
Aligns all three committee modes to a consistent 75% quorum (wfa-ls was already 450/600 = 75%) and captures nearly all block-producing nodes in the top-stake-fraction committee. Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>
Add Determinism section covering all sources of non-determinism that were found and fixed (HashMap iteration, shard assignment, TX ID counters, rayon collect order, event stream sorting), what was tested and found unnecessary (barrier synchronization), and what does not affect determinism (CpuTaskQueue HashMap, config HashSets). Add Benchmark Scripts section documenting cip-voting-options.sh, poll-sim.sh, and the determinism verification methodology. Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>
When simulation stats lines are absent (e.g. 0 uncertified EBs),
grep exits with code 1 which trips set -e before the ${var:-0}
default can take effect. Add || true to all stat-parsing greps.
Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>