Documentation

Fields

• imTxs ∷ !(Map TxHash (ByteString, BytesSize))

  Global transaction storage.

• imEbPoints ∷ !(Map LeiosPoint BytesSize)

  Inserted EB points with their expected sizes. The same EB content can be inserted at multiple slots; each (slot, hash) point has its own entry and completes independently.

• imEbBodiesDownloaded ∷ !(Set LeiosPoint)

  Subset of imEbPoints for which writeEbBody has been called. Only these points are considered for completion.

• imEbBodies ∷ !(Map EbHash (IntMap EbTxEntry))

  EB tx-hash list, keyed by content hash. Shared across every point that references the same EB.

• imCompletedEbs ∷ !(Set LeiosPoint)

  Points for which AcquiredEbTxs has already been broadcast. The completion predicate stays true once an EB is complete, so any later batch containing one of its txs would re-trigger it without this guard; downstream consumers (e.g. runLeiosVoting) treat the re-notification as fatal (AlreadyKnown from addVote). Each point carries the EB's hash and its announcer slot, so this is also the source for scanCompleteEbClosuresNotOlderThanSlot.