Cardano Updates

v2 slices no longer ship `.profiled` as an overlay rebuild — see
`docs/dev/profiling.md`.  Migrate the remaining tests that
referenced `…components.<kind>.<name>.profiled`
(`js-template-haskell`, `th-dlls-minimal`, `gi-gtk`) to a sibling
project whose `cabalProjectLocal` enables profiling, matching the
shape already used by `exe-dlls` / `exe-lib-dlls` / `th-dlls`.

Expose each new project's `plan-nix` under a distinct
`ifdInputs` key so the materialised plan-nix expressions are
covered by CI:

  plan-nix             — non-profiled (default)
  plan-nix-ei          — externalInterpreter variant (th-dlls /
                          th-dlls-minimal)
  plan-nix-profiled    — profiled
  plan-nix-profiled-ei — profiled + externalInterpreter

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

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

Bumps [fast-uri](https://github.com/fastify/fast-uri) from 3.0.3 to 3.1.2.
- [Release notes](https://github.com/fastify/fast-uri/releases)
- [Commits](https://github.com/fastify/fast-uri/compare/v3.0.3...v3.1.2)

---
updated-dependencies:
- dependency-name: fast-uri
  dependency-version: 3.1.2
  dependency-type: indirect
...

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

A network model of Ouroboros Praos: nodes produce blocks, exchange
chains, and select the best chain.
The spec is a literate Quint file (praos.md) with prose interleaved
with executable Quint code blocks.

What the model covers:
- Types matching the implementation: ChainHash (GenesisHash | BlockHash),
  WithOrigin (Origin | At), Block, Chain.
- Chain selection: prefer strictly longer chains that fork at most k
  blocks back.
- Actions: block production (nondeterministic leader election), chain
  delivery (receive and select), slot advance.
- Properties: allChainsValid (sanity check on actions), commonPrefix
  (stated but requires network delay bound to hold).

What is deferred:
- VRF-based leader election (currently nondeterministic).
- Chain exchange via ChainSync/BlockFetch (currently atomic).
- Header validation details (KES, VRF, nonce).
- Network delay bound (Δ) required for common prefix.
- Adversarial behavior.
- Conformance testing.

lmt extracts code blocks from markdown files, enabling literate Quint
specifications.
The Quint code lives in prose-heavy .md files and gets extracted into
.qnt files for typechecking and simulation.

Built from source (https://github.com/driusan/lmt), pinned at 62fe18f.

feat: shard transfer escrow by channel and denom

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

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

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

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

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

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

Fixes #553 — remove console.log(err) from SDJWT.verify() catch block
Fixes #554 — add temporal claim validation (exp/nbf) per RFC 7519

Changes:
- Check exp claim (§4.1.4): return false if current time >= exp
- Check nbf claim (§4.1.5): return false if current time < nbf
- Remove console.log: empty catch block, consistent with JWT.verify()
- Use string literals for claim keys to keep import type-only
- Remove static temporal fixtures; tests use vi.useFakeTimers()
  to control system clock and build SD-JWT payloads dynamically

Matches the areTimestampsValid() pattern in JWT.verify (#550, #552).
Credentials without exp/nbf keep current behavior (no enforcement).

Signed-off-by: Abhigyan Singh <[email protected]>

fix: remove channel refresh utxo path

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