Cardano Updates

  singlePartyHeadFullLifeCycle now exercises the deposit (commit) flow
  using timing-derived deposit period instead of a hardcoded value, so the
  deposit activates within the test timeout on both devnet and real networks.

  waitForNodesSynced now waits for the Greetings message before declaring
  the node ready. Greetings is always sent after the full historical event
  replay, making it a reliable separator between replayed and live messages.
  This prevents tests from matching on historical HeadIsOpen or NodeSynced
  events from a previous run's persisted state — which caused the smoke test
  to proceed with a stale headId and then fail with "Head is not open" when
  posting to /commit.

Signed-off-by: Sasha Bogicevic <[email protected]>

* Add ./script/nix-format.sh for non-Nix users.
* Add nixfmt in our Nix pre-commit hook.
* Add Github CI check

Migrate scripts to `cardano-ledger-release-tool`

Update ConwayTICKF to have Void as its PredicateFailure. This makes the
implementation clearer while also allowing futureForecast to be pure.

Forecast t BabbageEra = BabbageForecast t BabbageEra

Replace these partials with more type-safe (Shelley)EraForecast, clearly
separating TPraos forecasts from Praos ones, and also distinguising
current and future forecasts in their respective types.

Also change PredicateFailure TICKN to be Void, and remove empty datatype
TicknPredicateFailure.

Signed-off-by: William Hankins <[email protected]>

Signed-off-by: William Hankins <[email protected]>

This fixes the following static build errors resulting from updating
nixpkgs:

    (.text.use_builtin_flow+0x10): undefined reference to `pg_fe_cleanup_oauth_flow'
    collect2: error: ld returned 1 exit status

This works by removing curl support for postgresql and enabling static libraries
for liburing and snappy

Signed-off-by: William Hankins <[email protected]>

Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 4 to 5.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

Narrow the range from 237–250 to 240–246. The lower bound has
headroom because F1 can be slightly lower than expected for some
generated inputs. The upper bound stays well below F2 to avoid
boundary cases where the surplus barely creates a valid change output.

Signed-off-by: William Hankins <[email protected]>