leios-design: add LeiosFetchLogic.md
Home /
Input Output /
ouroboros-leios
Feb 26, 8-9 AM (2)
Feb 26, 9-10 AM (0)
Feb 26, 10-11 AM (0)
Feb 26, 11-12 PM (0)
Feb 26, 12-1 PM (0)
Feb 26, 1-2 PM (2)
Feb 26, 2-3 PM (0)
Feb 26, 3-4 PM (0)
Feb 26, 4-5 PM (0)
Feb 26, 5-6 PM (0)
Feb 26, 6-7 PM (0)
Feb 26, 7-8 PM (0)
Feb 26, 8-9 PM (0)
Feb 26, 9-10 PM (3)
Feb 26, 10-11 PM (2)
Feb 26, 11-12 AM (4)
Feb 27, 12-1 AM (0)
Feb 27, 1-2 AM (0)
Feb 27, 2-3 AM (0)
Feb 27, 3-4 AM (0)
Feb 27, 4-5 AM (0)
Feb 27, 5-6 AM (0)
Feb 27, 6-7 AM (2)
Feb 27, 7-8 AM (0)
Feb 27, 8-9 AM (0)
Feb 27, 9-10 AM (0)
Feb 27, 10-11 AM (0)
Feb 27, 11-12 PM (0)
Feb 27, 12-1 PM (0)
Feb 27, 1-2 PM (0)
Feb 27, 2-3 PM (0)
Feb 27, 3-4 PM (0)
Feb 27, 4-5 PM (0)
Feb 27, 5-6 PM (0)
Feb 27, 6-7 PM (0)
Feb 27, 7-8 PM (2)
Feb 27, 8-9 PM (0)
Feb 27, 9-10 PM (0)
Feb 27, 10-11 PM (0)
Feb 27, 11-12 AM (0)
Feb 28, 12-1 AM (0)
Feb 28, 1-2 AM (0)
Feb 28, 2-3 AM (0)
Feb 28, 3-4 AM (0)
Feb 28, 4-5 AM (0)
Feb 28, 5-6 AM (0)
Feb 28, 6-7 AM (0)
Feb 28, 7-8 AM (0)
Feb 28, 8-9 AM (0)
Feb 28, 9-10 AM (0)
Feb 28, 10-11 AM (0)
Feb 28, 11-12 PM (0)
Feb 28, 12-1 PM (0)
Feb 28, 1-2 PM (0)
Feb 28, 2-3 PM (0)
Feb 28, 3-4 PM (0)
Feb 28, 4-5 PM (0)
Feb 28, 5-6 PM (0)
Feb 28, 6-7 PM (0)
Feb 28, 7-8 PM (0)
Feb 28, 8-9 PM (0)
Feb 28, 9-10 PM (0)
Feb 28, 10-11 PM (0)
Feb 28, 11-12 AM (0)
Mar 01, 12-1 AM (0)
Mar 01, 1-2 AM (0)
Mar 01, 2-3 AM (0)
Mar 01, 3-4 AM (0)
Mar 01, 4-5 AM (0)
Mar 01, 5-6 AM (0)
Mar 01, 6-7 AM (0)
Mar 01, 7-8 AM (0)
Mar 01, 8-9 AM (0)
Mar 01, 9-10 AM (0)
Mar 01, 10-11 AM (0)
Mar 01, 11-12 PM (0)
Mar 01, 12-1 PM (0)
Mar 01, 1-2 PM (0)
Mar 01, 2-3 PM (0)
Mar 01, 3-4 PM (0)
Mar 01, 4-5 PM (0)
Mar 01, 5-6 PM (0)
Mar 01, 6-7 PM (0)
Mar 01, 7-8 PM (0)
Mar 01, 8-9 PM (0)
Mar 01, 9-10 PM (0)
Mar 01, 10-11 PM (0)
Mar 01, 11-12 AM (0)
Mar 02, 12-1 AM (0)
Mar 02, 1-2 AM (0)
Mar 02, 2-3 AM (0)
Mar 02, 3-4 AM (0)
Mar 02, 4-5 AM (0)
Mar 02, 5-6 AM (0)
Mar 02, 6-7 AM (0)
Mar 02, 7-8 AM (0)
Mar 02, 8-9 AM (0)
Mar 02, 9-10 AM (0)
Mar 02, 10-11 AM (0)
Mar 02, 11-12 PM (0)
Mar 02, 12-1 PM (0)
Mar 02, 1-2 PM (1)
Mar 02, 2-3 PM (2)
Mar 02, 3-4 PM (0)
Mar 02, 4-5 PM (0)
Mar 02, 5-6 PM (0)
Mar 02, 6-7 PM (0)
Mar 02, 7-8 PM (3)
Mar 02, 8-9 PM (0)
Mar 02, 9-10 PM (0)
Mar 02, 10-11 PM (0)
Mar 02, 11-12 AM (0)
Mar 03, 12-1 AM (0)
Mar 03, 1-2 AM (1)
Mar 03, 2-3 AM (0)
Mar 03, 3-4 AM (0)
Mar 03, 4-5 AM (0)
Mar 03, 5-6 AM (0)
Mar 03, 6-7 AM (0)
Mar 03, 7-8 AM (2)
Mar 03, 8-9 AM (0)
Mar 03, 9-10 AM (0)
Mar 03, 10-11 AM (0)
Mar 03, 11-12 PM (0)
Mar 03, 12-1 PM (2)
Mar 03, 1-2 PM (0)
Mar 03, 2-3 PM (1)
Mar 03, 3-4 PM (0)
Mar 03, 4-5 PM (0)
Mar 03, 5-6 PM (0)
Mar 03, 6-7 PM (0)
Mar 03, 7-8 PM (1)
Mar 03, 8-9 PM (0)
Mar 03, 9-10 PM (0)
Mar 03, 10-11 PM (0)
Mar 03, 11-12 AM (0)
Mar 04, 12-1 AM (0)
Mar 04, 1-2 AM (0)
Mar 04, 2-3 AM (0)
Mar 04, 3-4 AM (0)
Mar 04, 4-5 AM (0)
Mar 04, 5-6 AM (0)
Mar 04, 6-7 AM (0)
Mar 04, 7-8 AM (0)
Mar 04, 8-9 AM (0)
Mar 04, 9-10 AM (2)
Mar 04, 10-11 AM (0)
Mar 04, 11-12 PM (0)
Mar 04, 12-1 PM (4)
Mar 04, 1-2 PM (0)
Mar 04, 2-3 PM (3)
Mar 04, 3-4 PM (1)
Mar 04, 4-5 PM (0)
Mar 04, 5-6 PM (1)
Mar 04, 6-7 PM (1)
Mar 04, 7-8 PM (0)
Mar 04, 8-9 PM (0)
Mar 04, 9-10 PM (0)
Mar 04, 10-11 PM (1)
Mar 04, 11-12 AM (0)
Mar 05, 12-1 AM (0)
Mar 05, 1-2 AM (0)
Mar 05, 2-3 AM (0)
Mar 05, 3-4 AM (0)
Mar 05, 4-5 AM (0)
Mar 05, 5-6 AM (0)
Mar 05, 6-7 AM (0)
Mar 05, 7-8 AM (0)
Mar 05, 8-9 AM (0)
41 commits this week
Feb 26, 2026
-
Mar 05, 2026
Fix CI using bracket notation as suggested by Copilot.
Co-authored-by: Copilot <[email protected]>
Markov model for TxCache
Re-assessing applyTx/reapplyTx DQs
Merge pull request #1 from will-break-it/will/fix-what-is-leios-svgs
Replace What is Leios screenshots with extracted SVG assets
Use local SVG assets for What is Leios graphics
Merge pull request #796 from input-output-hk/bwbush/block-utilization
Compute history block utilization
Fix panic when all nodes have stake > 0 and simulate-transactions is enabled
TransactionProducer crashed with "cannot sample empty range" because tx_generation_weight defaults to 0 for nodes with stake, leaving no valid targets for transaction delivery. Now gracefully skips TX generation with a warning when no nodes have weight. Co-Authored-By: Claude Opus 4.6 <[email protected]>
Add Claude Code support (CLAUDE.md and .gitignore entry)
Add sim-rs/CLAUDE.md with build commands, architecture overview, and test structure to help Claude Code navigate the codebase. Add .claude/ to .gitignore since it contains local session state. Co-Authored-By: Claude Opus 4.6 <[email protected]>
ci(antithesis): avoid secrets check in global if when undefined
Signed-off-by: Chris Gianelloni <[email protected]>
Update FAQs and glossary to address comments
Update link for CIP-164 to the correct URL
Fix ForgedBlock hash parsing for actual cardano-node log format
The ForgedBlock log data nests the hash at data.forgedBlock.newBlockHash, not at data.block or data.blockHash. This caused all forged blocks to get hash="unknown", producing false positives in dup_creators and orphan_blocks safety assertions. Signed-off-by: Chris Gianelloni <[email protected]>
Merge pull request #788 from input-output-hk/chore/register-moog
chore(antithesis): register my user as allowed for moog
chore(antithesis): register my user as allowed for moog
Signed-off-by: Chris Gianelloni <[email protected]>
Merge pull request #773 from input-output-hk/bwbush/adversarial-resources
Adversarial analysis of resource constraints
Merge remote-tracking branch 'origin/main'
Signed-off-by: Chris Gianelloni <[email protected]>
Document safety assertions in antithesis/README
Signed-off-by: Chris Gianelloni <[email protected]>
Add 4 consensus safety always() assertions
New assertions that must hold under all conditions including faults: - No equivocation (same node, same slot, different blocks) - No duplicate block creators (same hash, different nodes) - Forged slot monotonicity (slots never decrease per node) - No orphan blocks (all received blocks have a known creator) Total assertions: 6 always + 6 sometimes = 12. Signed-off-by: Chris Gianelloni <[email protected]>
remove duplicate content from ImpactAnalysis.md