Created page of post-CIP findings.

Author: bwbush

Logbook.md

@@ -1,5 +1,12 @@
 # Leios logbook
 
+> [!IMPORTANT]
+> 
+> Now that the [Leios CIP](https://github.com/cardano-foundation/CIPs/pull/1078) is under review and implementation work has begun, this Leios logbook has been retired in favor of github tickets in the [Leios implementation roadmap](https://github.com/orgs/input-output-hk/projects/167/views/3).
+> 
+> See the [Post-CIP R&D Findings](docs/post-cip-findings.md) document for additional (after 2025-11-01) findings and artifacts not directly related to the implementation of Linear Leios.
+
+
 ## 2025-10-21
 
 ### Mainnet data on "canary transactions"

analysis/markov/ReadMe.md

@@ -21,7 +21,7 @@ The protocol state is represented by three quantities.
 - Whether an honest RB was produced.
 - Whether a certificate is ready for inclusion in the next RB.
 
-Time is tracked in terms of block-forging opportunties instead of in terms of slots.
+Time is tracked in terms of block-forging opportunities instead of in terms of slots.
 
 Transitions occur in several substeps:
 

docs/post-cip-findings.md

@@ -0,0 +1,36 @@
+# Post-CIP R&D Findings
+
+This document catalogs Leios-related findings and artifacts that were created subsequent to the [Leios CIP](https://github.com/cardano-foundation/CIPs/pull/1078).
+
+## Markovian model of Linear Leios
+
+[Markovian simulation of Linear Leios](../analysis/markov/) computes the probability of EB certifications as RBs are produced.
+
+The protocol state is represented by three quantities.
+
+- The number of RBs that have been produced.
+- The number of EBs that have been produced.
+- Whether an honest RB was produced.
+- Whether a certificate is ready for inclusion in the next RB.
+
+Time is tracked in terms of block-forging opportunities instead of in terms of slots.
+
+Transitions occur in several substeps:
+
+1. _Forge RB:_ create a new RB.
+2. _Certify:_ include a certificate in the RB.
+3. _Forge EB:_ create a new EB.
+4. _Vote:_ cast votes to reach a quorum.
+
+The `linleios` program executes the Markov model for EB production in Linear Leios. The protocol parameters and network characteristic are specified as flags on the command line. The program outputs the following information:
+
+- The efficiencies, on `/dev/stdout`.
+    - RB efficiency: the fraction of possible RBs that were actually produced.
+    - EB efficiency: the fraction of possible EBs that were actually produced.
+    - Efficiency: the fraction o possible payload bytes that were actual produced.
+- The "missing probability" resulting from the finite-resolution arithmetic of the computations, on `/dev/stderr`.
+- Optionally, a JSON file containing the probabilities of the given number of certified EBs.
+
+The figure below shows example results for the probability distribution of the number of EBs generated per 100 RBs. This directly relates to Leios efficiency.
+
+![Example results](../analysis/markov/example-results.png)