Cardano Updates

Hierarchical documentation: top-level README links to net-core/ and
net-cli/, net-core links to bearer/mux/types/protocols/peer modules,
protocols/ links to each of the 8 protocol subdirectories. Each
protocol README includes Mermaid state machine diagram, agency table,
limits, and API entry points. All links point to directories (not
README.md) so GitHub shows files alongside docs.

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

Refactor the 1086-line types.rs into a directory module:
- types/mod.rs: Point, Tip, encode/decode_points, constants, re-exports
- types/header.rs: WrappedHeader, HeaderInfo, Shelley+ header parser
- types/block.rs: BlockBody, LeiosBlockInfo, block body parser

All import paths preserved via re-exports. 238 tests pass.

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

Returns fake peers (192.0.2.x documentation addresses) when
a client requests peer sharing.

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

Add server-side peer support to the multi-peer coordinator:
- ChainStore: shared in-memory chain state (VecDeque with capacity
  eviction, watch::channel notification) for responder peers
- Server handlers: extract serve_chainsync/blockfetch/keepalive/
  txsubmission/peersharing from net-cli into net-core, parameterized
  on Arc<ChainStore>
- ResponderTask: per-inbound-connection task spawning server handlers
- Accept loop: coordinator spawns background accept task if
  listen_address configured
- InjectBlock/InjectRollback commands for external block injection
- TransactionReceived event from TxSubmission server

Refactor serve.rs from 660 lines of ad-hoc peer management to 130
lines using the coordinator with InjectBlock commands from a Poisson
block generator.

Add --listen flag to multi-follow for relay mode.

171 tests (153 + 14 chain_store + 3 server_handlers + 1 responder).
Live-tested: serve → multi-follow --listen → follow relay chain.

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

- CLAUDE.md: project overview, code standards, architecture notes, doc index
- docs/praos-network.md: complete N2N protocol reference from spec + blueprint
  (mux wire format, all 6 mini-protocols with state machines, CDDL, timeouts,
  concrete Cardano era-tagged types)
- docs/implementation-haskell.md: ouroboros-network architecture survey
  (typed-protocols framework, mux Wanton scheduling, connection manager)
- docs/implementation-pallas-v1.md: pallas-network v1 survey
  (facade API, runtime agency checks, design assessment)
- docs/implementation-pallas-v2.md: pallas-network2 survey
  (Interface/Behavior/Manager pattern, pure state machines, promotion system)
- docs/leios-changes.md: CIP-0164 Leios network additions
  (LeiosNotify/LeiosFetch protocols, EB/vote/certificate types, QoS requirements,
  structural implications for net-rs)
- plans/masterplan.md: project vision, requirements, design areas
- plans/implementation-plan.md: Phase 1 plan (bearer, mux, codec, handshake, CLI)

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

The max-backjumps setting is no longer needed for cabal to solve
constraints. The comment itself said to remove it when not needed
anymore.

Add per-protocol security audit sections for the six Praos protocols
(Handshake, ChainSync, BlockFetch, TxSubmission, KeepAlive, PeerSharing)
covering allocation bounds, timeout coverage, and test coverage. Reorder
sections by protocol ID and remove Phase markers from all headings. Link
README "Security hardened" note to the audit doc.

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

Fix check-git-dependencies for indented source-repository-package stanzas

* Mithril update 2026-03-25

* Update blog/2026-03-25-mithril.md

Co-authored-by: olgahryniuk <[email protected]>

---------

Co-authored-by: olgahryniuk <[email protected]>

* Add ./script/nix-format.sh for non-Nix users.
* Add nixfmt in our Nix pre-commit hook.
* Add Github CI check