Merge pull request #875 from input-output-hk/ci/antithesis-trigger
ci(antithesis): trigger if demo/* or flake.lock change, too
Home /
Input Output /
ouroboros-leios
Apr 17, 8-9 PM (0)
Apr 17, 9-10 PM (1)
Apr 17, 10-11 PM (0)
Apr 17, 11-12 AM (0)
Apr 18, 12-1 AM (0)
Apr 18, 1-2 AM (0)
Apr 18, 2-3 AM (0)
Apr 18, 3-4 AM (0)
Apr 18, 4-5 AM (0)
Apr 18, 5-6 AM (0)
Apr 18, 6-7 AM (0)
Apr 18, 7-8 AM (0)
Apr 18, 8-9 AM (0)
Apr 18, 9-10 AM (0)
Apr 18, 10-11 AM (0)
Apr 18, 11-12 PM (0)
Apr 18, 12-1 PM (0)
Apr 18, 1-2 PM (0)
Apr 18, 2-3 PM (0)
Apr 18, 3-4 PM (0)
Apr 18, 4-5 PM (0)
Apr 18, 5-6 PM (0)
Apr 18, 6-7 PM (0)
Apr 18, 7-8 PM (0)
Apr 18, 8-9 PM (0)
Apr 18, 9-10 PM (0)
Apr 18, 10-11 PM (0)
Apr 18, 11-12 AM (0)
Apr 19, 12-1 AM (0)
Apr 19, 1-2 AM (0)
Apr 19, 2-3 AM (0)
Apr 19, 3-4 AM (0)
Apr 19, 4-5 AM (0)
Apr 19, 5-6 AM (0)
Apr 19, 6-7 AM (0)
Apr 19, 7-8 AM (0)
Apr 19, 8-9 AM (0)
Apr 19, 9-10 AM (0)
Apr 19, 10-11 AM (0)
Apr 19, 11-12 PM (0)
Apr 19, 12-1 PM (0)
Apr 19, 1-2 PM (0)
Apr 19, 2-3 PM (0)
Apr 19, 3-4 PM (0)
Apr 19, 4-5 PM (0)
Apr 19, 5-6 PM (0)
Apr 19, 6-7 PM (0)
Apr 19, 7-8 PM (0)
Apr 19, 8-9 PM (0)
Apr 19, 9-10 PM (0)
Apr 19, 10-11 PM (0)
Apr 19, 11-12 AM (0)
Apr 20, 12-1 AM (0)
Apr 20, 1-2 AM (0)
Apr 20, 2-3 AM (0)
Apr 20, 3-4 AM (0)
Apr 20, 4-5 AM (0)
Apr 20, 5-6 AM (0)
Apr 20, 6-7 AM (0)
Apr 20, 7-8 AM (0)
Apr 20, 8-9 AM (3)
Apr 20, 9-10 AM (2)
Apr 20, 10-11 AM (1)
Apr 20, 11-12 PM (0)
Apr 20, 12-1 PM (0)
Apr 20, 1-2 PM (0)
Apr 20, 2-3 PM (2)
Apr 20, 3-4 PM (4)
Apr 20, 4-5 PM (1)
Apr 20, 5-6 PM (0)
Apr 20, 6-7 PM (0)
Apr 20, 7-8 PM (0)
Apr 20, 8-9 PM (0)
Apr 20, 9-10 PM (0)
Apr 20, 10-11 PM (0)
Apr 20, 11-12 AM (0)
Apr 21, 12-1 AM (0)
Apr 21, 1-2 AM (0)
Apr 21, 2-3 AM (0)
Apr 21, 3-4 AM (0)
Apr 21, 4-5 AM (0)
Apr 21, 5-6 AM (0)
Apr 21, 6-7 AM (0)
Apr 21, 7-8 AM (1)
Apr 21, 8-9 AM (3)
Apr 21, 9-10 AM (0)
Apr 21, 10-11 AM (0)
Apr 21, 11-12 PM (0)
Apr 21, 12-1 PM (0)
Apr 21, 1-2 PM (0)
Apr 21, 2-3 PM (0)
Apr 21, 3-4 PM (0)
Apr 21, 4-5 PM (0)
Apr 21, 5-6 PM (0)
Apr 21, 6-7 PM (1)
Apr 21, 7-8 PM (0)
Apr 21, 8-9 PM (0)
Apr 21, 9-10 PM (0)
Apr 21, 10-11 PM (0)
Apr 21, 11-12 AM (0)
Apr 22, 12-1 AM (0)
Apr 22, 1-2 AM (0)
Apr 22, 2-3 AM (0)
Apr 22, 3-4 AM (0)
Apr 22, 4-5 AM (0)
Apr 22, 5-6 AM (0)
Apr 22, 6-7 AM (0)
Apr 22, 7-8 AM (0)
Apr 22, 8-9 AM (0)
Apr 22, 9-10 AM (0)
Apr 22, 10-11 AM (0)
Apr 22, 11-12 PM (0)
Apr 22, 12-1 PM (0)
Apr 22, 1-2 PM (0)
Apr 22, 2-3 PM (0)
Apr 22, 3-4 PM (0)
Apr 22, 4-5 PM (0)
Apr 22, 5-6 PM (0)
Apr 22, 6-7 PM (0)
Apr 22, 7-8 PM (0)
Apr 22, 8-9 PM (0)
Apr 22, 9-10 PM (0)
Apr 22, 10-11 PM (0)
Apr 22, 11-12 AM (0)
Apr 23, 12-1 AM (0)
Apr 23, 1-2 AM (0)
Apr 23, 2-3 AM (0)
Apr 23, 3-4 AM (0)
Apr 23, 4-5 AM (0)
Apr 23, 5-6 AM (1)
Apr 23, 6-7 AM (2)
Apr 23, 7-8 AM (1)
Apr 23, 8-9 AM (1)
Apr 23, 9-10 AM (1)
Apr 23, 10-11 AM (1)
Apr 23, 11-12 PM (2)
Apr 23, 12-1 PM (1)
Apr 23, 1-2 PM (0)
Apr 23, 2-3 PM (0)
Apr 23, 3-4 PM (0)
Apr 23, 4-5 PM (0)
Apr 23, 5-6 PM (0)
Apr 23, 6-7 PM (0)
Apr 23, 7-8 PM (0)
Apr 23, 8-9 PM (0)
Apr 23, 9-10 PM (0)
Apr 23, 10-11 PM (0)
Apr 23, 11-12 AM (0)
Apr 24, 12-1 AM (0)
Apr 24, 1-2 AM (0)
Apr 24, 2-3 AM (0)
Apr 24, 3-4 AM (0)
Apr 24, 4-5 AM (0)
Apr 24, 5-6 AM (0)
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (0)
Apr 24, 10-11 AM (0)
Apr 24, 11-12 PM (0)
Apr 24, 12-1 PM (4)
Apr 24, 1-2 PM (0)
Apr 24, 2-3 PM (0)
Apr 24, 3-4 PM (0)
Apr 24, 4-5 PM (0)
Apr 24, 5-6 PM (0)
Apr 24, 6-7 PM (1)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (2)
36 commits this week
Apr 17, 2026
-
Apr 24, 2026
ci(antithesis): add demo/** and flake.lock to pull_request path filters
Agent-Logs-Url: https://github.com/input-output-hk/ouroboros-leios/sessions/9e30fa19-ef75-42c2-af73-19747707f2f1 Co-authored-by: wolf31o2 <[email protected]>
Add explanation of P_cert
Fix some sizes and quantities
Notes on potentially wrong deltaq quantities
Merge pull request #864 from input-output-hk/ch1bo/integrate-deltaq-flake
Integrate deltaq-jupyter workflow to main-flake
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
Incorporate feedback from Karl on TxSubmission
Some editing on overall cost-estimate summary
Model network topology differently
This includes redundancy on fetched txs and votes (from up to 2 peers)
Add missing mempool traffic to Praos egress estimate
Along with a lot more changes on network egress
Various editing on storage/iops cost estimates
Introduce 5 TxkB/s leios baseline and use 4.5 for Praos costs
This allows for a better comparison and stresses that linear leios does not result in more costs when load is < Praos capacity.
Use worst-case plutus costs for a better upper bound
Update prices (only Hetzner changed significantly)
Fix some errors with vote traffic
WIP: Update the cost-estimate to CIP-164 protocol
Snapshot of Frisby's SQLite latency investigation during 2026 March
deploy: eb803fee91026a9433d02997c1082efb06dc4ac3
update roadmap (#861)
Co-authored-by: Sebastian Nagel <[email protected]>
update roadmap
Co-Authored-By: Sebastian Nagel <[email protected]>
Update site/docs/roadmap.md
Co-authored-by: Sebastian Nagel <[email protected]>
Raise default quorum to 75% and stake fraction to 99%
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]>
Document determinism guarantees and benchmark scripts in CLAUDE.md
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]>
Fix cip-voting-options.sh grep failures under set -e
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]>