Cardano Updates

Replace the name-based PREFIX_RULES (6 entries) and most of the
EXACT_OVERRIDES table (26 -> 14 entries) with a heuristic: for each
CHaP package, generate candidate subdomains under
*.cardano.intersectmbo.org by progressively dropping trailing
'-<token>' segments of the package name, then HEAD-probe
doc-index.html at each candidate and take the first that resolves.

doc-index.html is a Haddock-standard asset that every real package
serves and that wrong-site probes reliably 404 on. That makes the
heuristic safe: mis-guesses become NONE (stripped link) rather than
wrong-but-not-broken URLs.

EXACT_OVERRIDES retains only packages whose subdomain is not a
name-suffix (the cardano-base family at base.cardano.intersectmbo.org,
the ledger-repo members that don't start with 'cardano-ledger-', the
two ouroboros-network oddballs, and io-classes on GitHub Pages).
Defensive entries for packages not currently referenced by this
project's Haddocks have been dropped; they can be added when new
re-exports surface them (Phase 7's dead-link annotation means missing
entries don't break the build).

The switch-suppression guard in evaluateBestPeerLocked compared
Tip.BlockNumber (the peer's claimed remote chain tip as advertised
in RollForward messages) rather than SelectionTip().BlockNumber
(the highest block header actually delivered to the chain selector).

These values can diverge: a peer announces Tip=N+1 in a RollForward
message at the same time it delivers the N+1 header. When two peers
are at the same chain position, peer A may announce Tip.BlockNumber=N+1
milliseconds before peer B, while both SelectionTips are still N. The
`>` precondition evaluates as `N+1 > N` (true), IsSignificantlyBetter
returns false for a 1-block lead, and the guard fires — keeping the old
incumbent. On the next cycle peer B catches up and the same logic fires
again in reverse, causing continuous oscillation near the chain tip.

Fix: use SelectionTip().BlockNumber for both the `>` precondition and
the IsSignificantlyBetter call. SelectionTip returns ObservedTip when
available (actual delivered headers), falling back to Tip otherwise.
This ensures the guard only suppresses switches based on headers that
have been concretely observed, not just claimed.

The density comparison case (same BlockNumber, different slots — fork
resolution) is unaffected: N > N is false, so the guard does not fire
and the density tiebreaker path proceeds normally.

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

- index.md: fix typos, incomplete sentence, rewrite components
  and testnets sections, add image publishing guide
- cardano-node-master.md: full rewrite with topology diagram,
  configuration files, running instructions, version strategy
- All component docs (configurator, sidecar, tracer, tracer-sidecar,
  config): replace empty stubs with actual documentation
- adversary.md: fix typos, broken shell command, unclear language
- testnets/index.md: fix typo, update command list, simplify
- CONTRIBUTING.md: fix broken link reference, update repo structure,
  add component contribution guide

so that it gets applied only if transaction is valid, and at both top
and sub level

Switch from build: to image: references so the Antithesis
push script can discover, build, and publish them.

2036-fix-db-tools-commands

cabal 3.16 expects 00-index.tar.gz in local repos but haskell.nix
mkLocalHackageRepo produces 01-index.tar.gz. Create a symlink via
the shellHook.

Fixes #601. Links to dependency packages (cardano-ledger-*, plutus-*,
etc.) were relative paths pointing to directories that don't exist on
the hosted site, resulting in 404s.

Adds scripts/fix-haddock-links.sh, invoked from the github-page
workflow, which:
- Fetches the CHaP package index to classify packages as CHaP vs Hackage
- Auto-discovers all broken cross-package links in generated HTML
- Creates symlinks for versioned directory names (GHC-bundled and local)
- Rewrites links to known doc sites (prefix rules + exact overrides) or
  Hackage
- Validates all rewritten URLs with HTTP HEAD requests
- Replaces dead links with annotated plain text (tooltip shows package
  name)

This eliminates any ad-hoc hardcoded list, automatically handles new
dependencies, and guarantees zero broken clickable links.