Cardano Updates

Mix of stale renames, unqualified type references inside nested
modules, and one private-item link.  cargo doc -p shared-consensus
--no-deps is now warning-free.

- praos.rs: parent_announced_eb → parent_announced_eb_for_cert
  (renamed at some point); qualify equivocating_rb_slots and
  note_header_first_seen with PraosState::; drop the link to the
  private LeiosState::decide_vote and point at the public
  ChainTipContext::equivocating_slots that actually carries the data.
- leios.rs: [`EmitVote`] → [`LeiosEffect::EmitVote`].
- mempool.rs: [`get_body_by_id`] → [`MempoolState::get_body_by_id`].
- chain_tree.rs: [`select_chain_once`](super::consensus::praos)
  was wrong on both ends — fix to the real path
  crate::praos::PraosState::select_chain_once.
- behaviour/mod.rs: inside `mod behaviours`, [`Behaviour`] resolves to
  nothing — use [`super::Behaviour`]; same for the [`decide_body_path`]
  cross-method link (use [`Self::decide_body_path`]); drop the
  redundant explicit link target on [`registry::build`].
- behaviour/behaviours/lazy_voter.rs: [`LeiosEffect::NoVote`] →
  [`crate::leios::LeiosEffect::NoVote`].

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

* feat(database): Made changes to optimize sqlite backfill address key lookup

Signed-off-by: Akhil Repala <[email protected]>

* feat(database): Added description for the tests

Signed-off-by: Akhil Repala <[email protected]>

* feat(database): Made changes to make sure it is consistent with SetTransactionBatched indexing of reference inputs for address_transaction

Signed-off-by: Akhil Repala <[email protected]>

---------

Signed-off-by: Akhil Repala <[email protected]>

README adds module entries for lottery / bitmap / fetch / mempool /
production / behaviour, four flow-specific sequence diagrams
(transactions, RBs, EBs, votes), an events-and-effects graph for
MempoolState, and summary sections for the Behaviour and Fetch
subsystems.  CLAUDE picks up the new modules in the map and adds a
Behaviours section pointing contributors at the subsystem README.

src/behaviour/README.md is new: hook taxonomy (reactive / decision /
strategy / notification), outcome enums, BehaviourHandle ownership,
composition rules, registry shape (BehaviourSpec, build, swap_handle),
outbound transforms, DelayQueue, shipped behaviours, and the recipe
for adding a new one — all under the same determinism contract.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Co-authored-by: sg-doc-holiday[bot] <219201796+sg-doc-holiday[bot]@users.noreply.github.com>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Parameterise runThreadNet over NodeJoinPlan and add a new property that
starts node 3 at a random slot while nodes 0–2 run from slot 0.
This demonstrates the crash in resolveLeiosBlock when a late-joining
node encounters a CertRB referencing an EB it never received.

Signed-off-by: Chris Gianelloni <[email protected]>

fix: cloud DNS site verification in infra