Cardano Updates

Testnet builds again

The YAML knob `vote-threshold: u64` (absolute count, mode-dependent
in meaning) is replaced by `quorum-weight-fraction: f64` (always a
fraction). The absolute threshold is derived at config build from
`quorum_weight_fraction × expected_total_weight`, with the
denominator per mode: PV+NPV seats (WfaLs), node count (Everyone),
total active stake (TopStakeFraction).

Default kept at 0.6 (legacy 300/500) in config.default.yaml to
preserve existing-experiment numerics; code default 0.75 (CIP-0164).

For TopStakeFraction, `try_vote_for_endorser_block` emits the
voter's own stake as the per-EB weight (rather than 1). The quorum
check is unchanged in form — `Σ weight ≥ vote_threshold()` — because
the threshold method now returns stake-denominated values.

`SimConfiguration::build` enforces σ_c > τ for TopStakeFraction and
bails with a clear error referencing the PR. Two new tests:
`top_stake_fraction_uses_stake_weighted_quorum` (per-voter weight =
stake, low-stake majority does NOT certify) and
`sim_config_rejects_top_stake_fraction_when_sigma_c_le_tau`.

`shared_consensus.rs` adapter: `derive_quorum_fraction` collapses to
a passthrough; expected_total_weight uses the new helper.

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

Quorum is now `Σ voter_stake ≥ τ × total_active_stake` under
StakeCentile committee selection. WfaLs and EveryoneVotes keep their
head-count semantics. The aggregator's per-voter weight unit is now
mode-polymorphic — seats for WfaLs, 1 for Everyone, voter stake for
StakeCentile — and the denominator returned by
`committee::expected_total_weight` matches.

`wfa.rs` is renamed to `committee.rs` since wFA^LS is one of three
schemes now, not the only one. `voter_weights` and the `weight`
parameter widen from u32 to u64 so stake values fit; quorum
comparisons follow.

`ElectionsConfig::validate()` enforces σ_c > τ at startup for
StakeCentile (PR #1196 §"Quorum as a stake threshold"); both the
sim-rs adapter and net-rs net-node panic on a misconfigured set.

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

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

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

Adds `Spec.Data.Value.Budget` with the lookup matrix for `valueOf` across
S1 / S3 / S8 / S100 value shapes at ada / middle / last / miss positions,
plus the standalone `unsafeDataAsValue` baseline per shape. Generated 96
golden files (eval / pir / uplc per bundle, 32 bundles total) capture CPU
and Memory cost evidence.

Companion to the merge PR for `valueOf` rewrite. This branch is kept
separate so the goldens — which only regenerate on upstream plugin or
cost-model changes, not on actual regressions — don't bloat the main
PR's diff or CI.

For IntersectMBO/plutus-private#2242.

Signed-off-by: akrepala <[email protected]>
Co-authored-by: akrepala <[email protected]>

* feat(dingo): Added mithril sync progress view metrics and validated manually with dingo mitrhil sync along with unit-tests

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

* feat(dingo): Fixed the lint errors

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

* feat(dingo): Fixed the lint errors

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

* feat(dingo): Made changes to broaden the isMithrilSyncActive

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

* feat(dingo): Made changes to restore diagnostics globals in governance test

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

* feat(dingo): Added remaining Mithril sync metrics

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

* feat(dingo): Made changes to TestUpdateMithrilViewAutoSwitch to save the original detectedNodeBinary value and restores that exact value in defer block

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

* feat(dingo): Made changes to preserve ledger import stage metrics

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

* feat(dingo): Fixed the lint errors

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

* feat(dingo): Made changes to avoid clobbering ledger import aggregates

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

* fix(dingo): Made changes to remove mithril view shortcut and kept mithril view automatic only

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

---------

Signed-off-by: akrepala <[email protected]>
Co-authored-by: akrepala <[email protected]>

Adds a PIR-readable snapshot and four budget snapshots for the new `valueOf`
implementation, registered alongside the existing golden coverage for
`gt`, `geq`, and `currencySymbolValueOf`.

Scenarios:
- valueOf_hit_first: ada-like first-position lookup, exercises short-circuit on the first outer step.
- valueOf_hit_middle: key at the middle of the outer map.
- valueOf_hit_last: key at the last entry, full outer scan.
- valueOf_miss: absent key, full scan with no inner walk.

These tests catch regressions in `valueOf` compilation and cost that would
otherwise surface only through downstream callers (`currencySymbolValueOf`,
`assetClassValueOf`, `geq`, etc.).

Signed-off-by: Tripura Repalle <[email protected]>

Update comp matrix for 11.0.1 (rosetta-java)

shape

Signed-off-by: Akhil Repala <[email protected]>

The event is internal — it drives the server-side per-slot vote
aggregation in net-cluster's `AggregatedNodeStats` (consumed by the
votes-distribution panel via the votes API), not user-facing
diffusion telemetry.  Drop it before the ring-buffer push so it
doesn't clutter the event log scroll without affecting the
aggregation path.

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