Cardano Updates

ForkTreeState tracks per-host current tips and a global
parent map. Edges are recorded on AddedToCurrentChain
(producer's own extension always captures the true parent);
SwitchedToAFork only updates the host's tip without
recording an edge.

clusterForkDepth = max(tip.chainLength) - commonAncestor.chainLength,
where commonAncestor walks each host's ancestry back (capped
at maxDepth) and intersects to find the deepest shared block.

8 hspec unit tests cover: empty state, sequential extension,
agreement, 1-block fork, root-only common ancestor, deep 5-block
divergence, setTip without edge, depth-cap truncation.

Part of #119 — pure algebra commit; wiring + persistence in
follow-up commits on this branch.

Adds a SwitchedToAFork constructor to LogMessageData. Previously
these events fell through to OtherLogMessageData. Required for the
ForkTree probe (#119) to track per-host current-tip transitions
that bypass sequential extension.

Tests still green; golden output unchanged because no existing
rule matches SwitchedToAFork.

Flake lock file updates:

• Updated input 'CHaP':
    'github:input-output-hk/cardano-haskell-packages/3932849518c1c50018ee3dfba06b391f93a33f76?narHash=sha256-c9oScWEa0q5X0VF7G6mSsOrh%2BglHfwnUGdbHnPTVPVQ%3D' (2026-04-24)
  → 'github:input-output-hk/cardano-haskell-packages/e8a483522ee73c8c9493ea6055553e5c2532e66b?narHash=sha256-ZzXz2vOhqethlqPgBExPXEnKWvaTbidsIxh5MGv%2BpwE%3D' (2026-05-02)
• Updated input 'emanote':
    'github:srid/emanote/51993925f8120c6c1fa40b5c6061ac05c459054f?narHash=sha256-k4WxRhYi0n3hheV/DtWV53qTMdA2NhWNEdQ/KjcBXL4%3D' (2026-04-26)
  → 'github:srid/emanote/d98c9abbef3416b98ffa759c60e829ae00d848ee?narHash=sha256-pvKCvjpJJLFbniLecA3tTImzaPAjX6Bhd2XZGtSXMQ8%3D' (2026-05-02)
• Updated input 'emanote/commonmark-wikilink':
    'github:srid/commonmark-wikilink/5ab01515939047b58943cc1234e7ee0cb82d1c22?narHash=sha256-MWOb0Ojc4EQd9fOnQEveRDdbH5Cr6kjUt04uWzBPLGQ%3D' (2025-08-19)
  → 'github:srid/commonmark-wikilink/e47ba496ceaf68ec119e56eb22670ae017b35a42?narHash=sha256-dxjsU2SGG2txShwdXCl18ND18Y5Qbqt3J/FlrKhrkp4%3D' (2026-04-27)
• Updated input 'emanote/ema':
    'github:srid/ema/e92e52dbefea57de08ef64b4db0ea795170d6b81?narHash=sha256-rMb1a7VzMS2nmfEWAtJEKgZYg9Mc5JdSNK4y%2Bz1S/ec%3D' (2026-04-23)
  → 'github:srid/ema/87da4f3c678b78bc3ee96225910a3932b3e8b6f9?narHash=sha256-bzypHo%2BZ/fLJRK1hTEuxCzK/ybxJixDrfML8M6cfDtk%3D' (2026-04-26)
• Updated input 'emanote/heist-extra':
    'github:srid/heist-extra/bddc871dd0fe68c6376c6514498320b23ff9320e?narHash=sha256-4ArDqHLR82XJJE9AA3sX1w9eyChY1HRVwAzTYwRdEx8%3D' (2026-04-25)
  → 'github:srid/heist-extra/85c433921629d0de9374bc5deaa866ec830748c2?narHash=sha256-YefkrB6jip7AV9ssRLngjSbp9xHE/xcSgfQMzDjpga0%3D' (2026-04-30)
• Updated input 'flake-parts':
    'github:hercules-ci/flake-parts/3107b77cd68437b9a76194f0f7f9c55f2329ca5b?narHash=sha256-91qqW8lhL7TLwgQWijoGBbiD4t7/q75KTi8NxjVmSmA%3D' (2026-04-01)
  → 'github:hercules-ci/flake-parts/5250617bffd85403b14dbf43c3870e7f255d2c16?narHash=sha256-EPIFsulyon7Z1vLQq5Fk64GR8L7cQsT%2BIPhcsukVbgk%3D' (2026-05-01)
• Updated input 'flake-parts/nixpkgs-lib':
    'github:nix-community/nixpkgs.lib/333c4e0545a6da976206c74db8773a1645b5870a?narHash=sha256-%2BU7gF3qxzwD5TZuANzZPeJTZRHS29OFQgkQ2kiTJBIQ%3D' (2026-03-29)
  → 'github:nix-community/nixpkgs.lib/f5901329dade4a6ea039af1433fb087bd9c1fe14?narHash=sha256-GOkGPcboWE9BmGCRMLX3worL4EMnsnG8MyKmXNeYuhQ%3D' (2026-04-26)
• Updated input 'haskell-nix':
    'github:input-output-hk/haskell.nix/0d65e5a5caa0d79b2aa02c49602eff0c3a079f23?narHash=sha256-T5wVbrpXJGVPefF6%2BttKcNepqk0fAST6OKxSstJyzSc%3D' (2026-04-26)
  → 'github:input-output-hk/haskell.nix/7542beb47f1314e7045c6049d94779d11aca04bb?narHash=sha256-jFMGdUFcXRNxLDNbvtEN8jRYhj0TI9WvDmralnMdSYg%3D' (2026-05-03)
• Updated input 'haskell-nix/hackage':
    'github:input-output-hk/hackage.nix/164126a0bf3cf52632a0d90cbeeb930720a02b44?narHash=sha256-USlr9HTzI/HjQC3COQ6PUZ0jtlA3grrffVOM3fr%2BSeQ%3D' (2026-04-26)
  → 'github:input-output-hk/hackage.nix/9f772a193f43b7a68bdc2bd77386a9a2d9084543?narHash=sha256-OboBWbZ774JqMeirIsHRufHBogQwbKEet2dFhDXRBz0%3D' (2026-05-03)
• Updated input 'haskell-nix/hackage-for-stackage':
    'github:input-output-hk/hackage.nix/b0ff6df0b5220214704f2590ead8a58e97af84a0?narHash=sha256-VpWgq0FevPggXeiuHickC/q62qxm6czZIDZ2aeIkNuA%3D' (2026-04-26)
  → 'github:input-output-hk/hackage.nix/3953b112518c63f045d5c0b3739545d21a18fddb?narHash=sha256-ByNMSXMZzK%2BaLizUM89rFMnYxN3hZSrVPLo6n/Agt1M%3D' (2026-05-03)
• Updated input 'haskell-nix/stackage':
    'github:input-output-hk/stackage.nix/3b6af61aee3e6d6479ffd8f8ef012df6e96f0983?narHash=sha256-3qY4r/l1vEpz5cybYkA0A42t6Ou4mhtx6x/awuRTyRU%3D' (2026-04-26)
  → 'github:input-output-hk/stackage.nix/541f13cec99cd26d4a1dc74b94a617a95253b2b0?narHash=sha256-Jdgt8rIJ/RLn9kdsD7fnSVwcGsecUYfd6M1pVSrgI/M%3D' (2026-05-03)
• Updated input 'iohk-nix':
    'github:input-output-hk/iohk-nix/fdfc53bc51c684fe086117de651f36572b26655a?narHash=sha256-hkfKwhbhCiDVBwDeeKKXQiBg9VAI3KMM1GZ3yhO6cT8%3D' (2026-04-17)
  → 'github:input-output-hk/iohk-nix/912e9dcdc68ef241ab5f1e542a7a294b46c9b765?narHash=sha256-ahNiZOg9KX8V5lUMUGwtSCYmmtEcC7UvP6F/cIjhwPc%3D' (2026-05-03)
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/a5951fb3cf2eeeac787ece2e04fd23823c75ab73?narHash=sha256-RpIS/Whk/kw4A78sfi23kKzXumQLxxHQRf/11K5J80g%3D' (2026-04-26)
  → 'github:NixOS/nixpkgs/e2aae6df2b28735b1cc80b89d3c675fa4788e988?narHash=sha256-PJHvrK76K%2Bqan%2BzxP8RNYgHxzeTzg0pApJGnxsJAowQ%3D' (2026-05-03)

From https://github.com/IntersectMBO/cardano-node at 1ff192cbb5d31d4f62ad70985e34233371f66cd3

From https://github.com/IntersectMBO/cardano-node at 1ff192cbb5d31d4f62ad70985e34233371f66cd3

From https://github.com/IntersectMBO/cardano-node at 1ff192cbb5d31d4f62ad70985e34233371f66cd3

From https://github.com/IntersectMBO/cardano-node at 1ff192cbb5d31d4f62ad70985e34233371f66cd3

Picks up lambdasistemi/amaru-bootstrap PR #38 — the era-history
wiring + chain-DB-resolved nonce tail fix that closes
lambdasistemi/amaru-bootstrap#37. Required preconditions:

- amaru #2 (saturating epoch subtraction)
- amaru #3 (ln(1-f) guard for activeSlotsCoeff = 1)
- amaru #4 (--era-history-file on import-nonces +
  convert-ledger-state, GO snapshot retention)

All five fixes are in the new producer image; cardano_amaru and
cardano_amaru_epoch3600 testnets repinned.

Signed-off-by: Paolo Veronelli <[email protected]>

The composer's "Always: zero exit" property still flagged
stub/parallel_driver_asteria_player.sh (failing examples at vtimes
~272s, ~291s, ~3017s on the 2026-05-03 run). Each failing example
exits 1 in ~3s with empty stderr — consistent with an exception
escaping main from withN2C / readWalletKey before the inner
try wrapper covers it.

Mirror the c99e992 BootstrapMain pattern: wrap the whole pass in
a top-level try; on SomeException emit
asteria_player_pass_top_errored_<id> as sdkUnreachable and exit 0.
The inner observeAndAct try is preserved (same payload signal name
asteria_player_pass_errored_<id>) so the two failure surfaces stay
distinguishable in the report.

Pulls in:
- adversary:b8a0521 — emits SDK assertions per attack (Reachable
  adversary_chain_sync_started + Sometimes adversary_chain_sync_completed)
- sidecar:b8a0521 — finally_tips_agree.sh emits finally_perturbation_metrics
  with blocks_produced_total and max_slot_lag

Both pins resolve to the post-cabal-fix sidecar feat commit so
publish-images can rebuild against the corrected build-depends list
(directory + filepath were missing in the first push).

Adds an emit_perturbation_metrics() helper to
components/sidecar/composer/convergence/finally_tips_agree.sh that, on
every run, computes:

  - blocks_produced_total : sum of producers' block heights at end-of-test
  - max_slot_lag          : max(slot) − min(slot) across producers

and emits them as a Sometimes(true) "finally_perturbation_metrics" event
with both numbers in details. The Antithesis report's per-bucket
distribution view then shows the curve across runs without needing a
separate observer.

Slot lag is 0 on a perfectly synchronous cluster, mildly positive
under fault injection, large under attack pressure — gives us a
quantitative comparison for master vs adversary side-by-sides.

Layer 3 of three for issue #123.

Adds Adversary.SDK with Reachable / Sometimes assertion emitters that
write to \$ANTITHESIS_OUTPUT_DIR/sdk.jsonl (default /tmp/sdk.jsonl).
Wires two assertions into app/Main.hs:

  - reachable("adversary_chain_sync_started", {target_host, point, limit})
    fires once per invocation before connectToNode. Antithesis report
    will show, segmented by target_host, "the adversary fired against
    pN at least once". A host that never gets attacked is visible as
    a missing Reachable hit.

  - sometimes(true|false, "adversary_chain_sync_completed",
              {target_host, tip|reason})
    fires once per invocation on completion. true on clean exit,
    false on connect/protocol failure. Sometimes-true vs Sometimes-
    false buckets quantify how often the adversary actually completed
    a full --limit sync vs being cut short by chaos.

Layer 1 of three for issue #123.

Pulls in:
- adversary:9b439a3 — emits SDK assertions per attack (Reachable
  adversary_chain_sync_started + Sometimes adversary_chain_sync_completed)
- sidecar:9b439a3 — finally_tips_agree.sh emits finally_perturbation_metrics
  with blocks_produced_total and max_slot_lag

Both pins move to the SHA that introduces the perturbation Layer 1
+ Layer 3 changes.

Adds Adversary.SDK with Reachable / Sometimes assertion emitters that
write to \$ANTITHESIS_OUTPUT_DIR/sdk.jsonl (default /tmp/sdk.jsonl).
Wires two assertions into app/Main.hs:

  - reachable("adversary_chain_sync_started", {target_host, point, limit})
    fires once per invocation before connectToNode. Antithesis report
    will show, segmented by target_host, "the adversary fired against
    pN at least once". A host that never gets attacked is visible as
    a missing Reachable hit.

  - sometimes(true|false, "adversary_chain_sync_completed",
              {target_host, tip|reason})
    fires once per invocation on completion. true on clean exit,
    false on connect/protocol failure. Sometimes-true vs Sometimes-
    false buckets quantify how often the adversary actually completed
    a full --limit sync vs being cut short by chaos.

Layer 1 of three for issue #123.

Adds an emit_perturbation_metrics() helper to
components/sidecar/composer/convergence/finally_tips_agree.sh that, on
every run, computes:

  - blocks_produced_total : sum of producers' block heights at end-of-test
  - max_slot_lag          : max(slot) − min(slot) across producers

and emits them as a Sometimes(true) "finally_perturbation_metrics" event
with both numbers in details. The Antithesis report's per-bucket
distribution view then shows the curve across runs without needing a
separate observer.

Slot lag is 0 on a perfectly synchronous cluster, mildly positive
under fault injection, large under attack pressure — gives us a
quantitative comparison for master vs adversary side-by-sides.

Layer 3 of three for issue #123.

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

Signed-off-by: abhayrajjais01 <[email protected]>

Signed-off-by: abhayrajjais01 <[email protected]>

The two adversary docs described the long-running daemon shape that
was retired in #110. Rewrites both pages to match the current state:

- adversary.md — sleep-forever container, single CLI per tick, single
  driver with --target-host fan-out over all 5 cluster hosts,
  --seed-driven random pick. New CLI flag table. New compose
  fragment. Local test loop via scripts/smoke-test.sh
  cardano_node_adversary. Closing section explains why the daemon
  was retired (two schedulers, targeting bias, lifecycle complexity
  for no benefit).
- adversary-roadmap.md — restructures around CLIs, not endpoints.
  Each future archetype is one binary + one driver, not a new daemon
  endpoint. Tier list preserved; "what's behind us" replaces the
  daemon-era status table. Tickets section reflects the closures
  done in PRs #110 and #122.

Also drops the dead adversary-CI.yaml badge from the top README —
that workflow was retired in 9bc9b23.

The faults-enabled 1h Antithesis run on cardano_node_tx_generator
(commit 12a80b8, session 95887c0ae21ed981bf9e85943bda257f-50-7,
report OOdYZcg__MdS4qqvkORdLTR-) flagged 2 driver-script findings:

  tx-generator/parallel_driver_refill.sh        command_runtime=25.78s
  tx-generator/eventually_population_grew.sh    command_runtime=24.54s

both with command_return_code=1 and empty stderr. Reading the
indexed log streams returns 0 events for these scripts' .err
streams — they didn't crash, they were killed by the composer's
per-step deadline while blocked inside 'nc -U' against the daemon's
control socket.

Likely path: under a specific fault window the daemon's accept loop
wedges (mid-reconnect / mid-deadlock during a network-partition or
node-pause event), 'nc -U -q 1' has no kernel-side timeout to bail
on, the composer wrapper's ~25s deadline fires, exit code propagates
as 1 — surfacing as a finding on the built-in 'Commands finish with
zero exit code' Always property.

Wrap each control-socket request in 'timeout --kill-after=2s 5s sh -c
"..."' so any blocked nc is bailed out within 5s + 2s SIGKILL grace,
the empty-RSP branch hits the 'tx_generator_*_daemon_unreachable'
Reachability marker, and the script exits 0. The underlying daemon
wedge is a separate ticket on the upstream cardano-node-clients repo
— this composer fix masks the symptom so the testnet baseline isn't
contaminated by it.