Cardano Updates

Cross-package hrefs to non-CHaP packages (base, bytestring, time, the
transformers stack, etc.) were being rewritten to Hackage URLs. In
practice:

  - Readers of cardano-api docs rarely click into bootlib internals.
  - Haddock's per-module URL structure (including src/ source views
    and '-<version>-inplace' suffixes from local rebuilds) doesn't
    line up cleanly with Hackage's rendering, so most of these URLs
    fail validation and become dead-link spans anyway.

The Hackage rewrites were therefore mostly producing 404s without
adding reader value. Treat non-CHaP just like unmapped CHaP: emit an
unclickable <span> with a tooltip, no outbound link. Track the count
in a separate NON_CHAP bucket so it's visible in the summary but does
not contribute to strict-mode failure (it's a policy choice, not a
gap).

Same shape of bug as 3c557b542 (Phase 1 symlink loops): an && chain
runs a capturing regex followed by a non-capturing one, and the second
match clears BASH_REMATCH[1] before the capture is consumed. Under set
-u the access errors. Reorder so the non-capturing exclusion is
evaluated first.

Flip the exit-code default so the docs deploy is no longer blocked by
upstream drift. The script still collects every dead link across all
phases and reports them at the end (no early-exit); only the final
exit code changes:

  - Default: exit 0 after printing the full diagnostic. Set
    FIX_HADDOCK_LINKS_STRICT=1 to fail the build instead.
  - github-page.yml runs post-push and never blocked merges, but
    exit 1 was skipping the Deploy step — default 0 keeps the site
    deploying while the diagnostic is still visible.

Make the per-URL diagnostic tell the reader what to fix:

  - Upstream Haskell module name (derived from the URL path by
    reversing Haddock's dot-to-dash encoding).
  - Symbols being linked (the <a> tag anchor text, collected before
    the <a>→<span> replacement runs).
  - Our own docs pages that reference the URL (maps 1:1 to our .hs
    source files).

In GitHub Actions, each dead link also emits a ::warning:: workflow
command so the failure surfaces as an annotation in the job summary
UI, not just in the log body.

The previous 8 phases narrated every internal step (filesystem scan,
CHaP fetch, HTML grep, probing, rewriting, validation, annotation, CSS
injection). Most were set-up substeps under three conceptual stages:

  Phase 1: Prepare      — filesystem scan, inplace symlinks, CHaP
                          fetch, single HTML grep that feeds both
                          target discovery and versioned-hash
                          symlinking.
  Phase 2: Resolve +
           rewrite      — probe each discovered package, build sed
                          args (rewrites and unmapped-CHaP
                          unclickables), apply in one sed pass.
  Phase 3: Validate +
           annotate     — HEAD-check all rewritten URLs, annotate dead
                          ones, inject CSS.

Also drops a redundant grep (the Phase 0(b)/Phase 3 HTML scans collapse
into one) and a redundant empty-dead-count check. Script is now 261
lines (from 328).

Config simplifications:
- Drop EXACT_OVERRIDES table (14 entries), SITE_PATH_SUFFIX table
  (2 entries), and the 4 named base-URL constants.
- Replace with one IOG_DOC_BASES list (6 entries) of known IOG
  doc-site roots, including path prefixes for non-flat sites.
- resolve_url now tries name-suffix candidates first, then falls
  back to probing each IOG_DOC_BASES entry. Verified against all 30
  packages cardano-api currently links to: all resolve correctly with
  no per-package bookkeeping.
- Adding a new IOG doc site is now one line; new packages on existing
  sites need no edit at all.

Structural simplifications:
- Merge Phase 5 (link rewrites) and Phase 5b (unmapped-CHaP
  unclickables) into a single sed pass — their rewrites are on
  disjoint package patterns.
- Consolidate three redundant trap calls into one upfront trap.
- Fix a latent bug: dead-link CSS was only injected when there were
  dead URLs, so a run with only unmapped-CHaP spans would leave them
  unstyled. CSS now runs whenever any spans were produced.
- Replace REWRITTEN_HACKAGE / REWRITTEN_DOCSITE arrays (used only for
  counts) with counters.
- Factor the <span class='dead-link'> sed expression into a small
  add_unclickable_sed helper shared by Phase 5 and Phase 7.

Add HasCallStack to makeShelleyTransactionBody, createAndValidateTransactionBody,
fromLegacyTxOut, and toShelleyUTxO, which call functions like mkCommonTxBody,
toShelleyTxOutAny, toShelleyTxOut, and createTransactionBody that already
carry the constraint.

Add HasCallStack to calcMinFeeRecursive, estimateOrCalculateBalancedTxBody,
and constructBalancedTx, which call balanceTxOuts, makeTransactionBodyAutoBalance,
estimateBalancedTxBody, and calculateMinimumUTxO that already carry the constraint.

Add HasCallStack to fromShelleyGenesis so it propagates the stack trace
from fromShelleyNetwork's error call on wrong mainnet network magic.

Add HasCallStack to toConsensusQuery so it propagates the stack trace
from toConsensusQueryShelleyBased's error calls for wrong-era queries.

Add HasCallStack constraints to standalone functions that call error
directly or indirectly. Improve bare Dijkstra-era placeholder error
messages to follow the convention: functionName: Dijkstra era not supported.

Add HasCallStack constraints to callers of makeShelleySignature so that
stack traces show the full signing call chain:
makeShelleyKeyWitness, makeShelleyKeyWitness', makeShelleyBootstrapWitness,
makeShelleyBasedBootstrapWitness, makeKeyWitness, issueOperationalCertificate.

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.

Add HasCallStack to calcMinFeeRecursive, estimateOrCalculateBalancedTxBody,
and constructBalancedTx, which call balanceTxOuts, makeTransactionBodyAutoBalance,
estimateBalancedTxBody, and calculateMinimumUTxO that already carry the constraint.

Add HasCallStack to makeShelleyTransactionBody, createAndValidateTransactionBody,
fromLegacyTxOut, and toShelleyUTxO, which call functions like mkCommonTxBody,
toShelleyTxOutAny, toShelleyTxOut, and createTransactionBody that already
carry the constraint.

Add HasCallStack to fromShelleyGenesis so it propagates the stack trace
from fromShelleyNetwork's error call on wrong mainnet network magic.

Add HasCallStack to toConsensusQuery so it propagates the stack trace
from toConsensusQueryShelleyBased's error calls for wrong-era queries.

Add HasCallStack constraints to callers of makeShelleySignature so that
stack traces show the full signing call chain:
makeShelleyKeyWitness, makeShelleyKeyWitness', makeShelleyBootstrapWitness,
makeShelleyBasedBootstrapWitness, makeKeyWitness, issueOperationalCertificate.

Add HasCallStack constraints to standalone functions that call error
directly or indirectly. Improve bare Dijkstra-era placeholder error
messages to follow the convention: functionName: Dijkstra era not supported.

Replace the hardcoded package list approach with an automated system that:
- 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 the ad-hoc hardcoded list, automatically handles new
dependencies, and guarantees zero broken clickable links.

Add HasCallStack to toConsensusQuery (calls
toConsensusQueryShelleyBased) and fromShelleyGenesis (calls
fromShelleyNetwork).

Add HasCallStack to calcMinFeeRecursive,
estimateOrCalculateBalancedTxBody, and constructBalancedTx, which call
balanceTxOuts, makeTransactionBodyAutoBalance, estimateBalancedTxBody,
and calculateMinimumUTxO that already carry the constraint.