Cardano Updates

The 96G ulimit -v killed 1500-node sims at slot 313 with RSS only at
58G — Rust+tokio allocator reserves more virtual address space on
larger topologies than physical commit alone implies. The cap was
sized for 750 nodes; 1500 needs more headroom. 256G is the board's
max physical RAM ceiling; actual commit is bounded by RAM + swap.

Reverts pigz -1 to pigz -9 — the faster compressor did not solve the
end-of-sim EventMonitor spike (still ~8 GB from 11M events flushed
at once, regardless of compressor speed). The bottleneck is the
unbounded mpsc channel, not compression.

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

run-sweep continues to the next experiment on per-experiment failure
rather than aborting the whole loop on the first OOM, and reports a
list of failed experiments at the end. Each successful run now writes
a `done` marker after the full pipeline (sim + trace processor + post-
processing) completes; combine-results checks for it instead of
inferring completion from empty stderr (which is also the state of an
OOM-killed run that didn't get a chance to write).

Adds --memory-limit-file PATH for swapping in a tuned backlog yaml
without editing memory-limit.yaml in place; ships memory-limit-safe.yaml
with values that bound the per-node txs map (the dominant memory
consumer during the sim phase) without dropping locally-generated TXs
at the source like the original yaml does.

Switches the conformance-event compressor from pigz -9 to pigz -1 so
the EventMonitor mpsc buffer drains fast enough to avoid an ~8 GB
end-of-sim RSS spike; .gz size grows ~10-15%.

Backfills `done` markers on the existing 33 completed seed-0 runs.

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

run-deterministic.sh accepts --topology NAME and writes outputs to
<MODE>/<TOPOLOGY>/seed-<N>/, so 750-node and 1500-node sweeps can
coexist instead of overwriting each other. combine-results follows the
same path pattern, with a matching --topology flag and output under
results/<MODE>/<TOPOLOGY>/. analysis.ipynb gains a TOPOLOGY variable
in the configuration cell so each fork picks its own dataset.

Existing 750-node data moved into the new layout in place.

Reflect the spec-faithful WFA+LS implementation:
- Stake registry as a first-class consensus input (epoch-stable mirror of
  the ledger).
- WfaLs persistent committee via deterministic stake-weighted lottery
  (allocate_persistent_seats); identical inputs → identical committee
  on every node.
- Per-EB NPV via deterministic eligibility signature (Blake2b stand-in
  for the VRF output) re-run by every aggregator from the registry-
  resolved stake; the win count is never on the wire.
- Quorum threshold weight-based: q × expected_committee_size
  (default 480 + 120 = 600).
- Wfa.rs module added; module structure + 173 tests reflected.
- mainnet-shaped stake distribution (relay_fraction 0.71) documented.
- Telemetry field rename voted_stake → voted_weight.
- Removed the "WfaLs sortition formula" gap section (resolved by the
  spec-faithful implementation).
- Added a per-epoch refresh placeholder for when we model epochs.

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

Integrate ouroboros-leios#837

The script now covers both the NA throughput axis and the Plutus axis
(1000–50000 Gstep/EB at fixed 0.250 TxMB/s), so the old name was misleading.
Also normalize all-empty Plutus columns in combine-results so the
notebook works on NA-only sweeps without modification.

Tidies up old cip/ directory

This prevents re-building and re-processing of the formal spec html
files when the sources did not change (via a nix cache hit)