Cardano Updates

nix: build all components

Spec under specs/006-drop-api-shelley-tx/ covering issue #5285:
three independently-shippable vertical stories (P1 cert helpers,
P2 body construction, P3 signTransaction) under parent epic #5237.

Fix trace  construction in `TestChain`

Restructure the input validation in the "Set version for clients" step
so REVISION is only required and validated in the revision-based
release path, and RELEASE_TAG is only validated in the tag-based path.

The previous version validated REVISION unconditionally, which broke
workflow_dispatch invocations that supply only releaseTag (with
revision left empty) — the path that takes VERSION_TAG directly from
the release tag. Reported by Codex on #1784.

Signed-off-by: Yurii Shynbuiev <[email protected]>

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

Now that the file lives at
`src-lib-exts/abstract-set-theory/Axiom/Set/Map/Extra.lagda.md`:

+ Update the top-level module declaration to
  `module abstract-set-theory.Axiom.Set.Map.Extra (th : Theory) where`,
  matching the rest of the abstract-set-theory subtree.
+ Replace `open import Ledger.Prelude` with explicit imports from
  `abstract-set-theory.Prelude` and stdlib modules. `src-lib-exts/`
  cannot depend on `Ledger.Prelude` (upward dependency).
+ Inline the five-line `_≢ᵐ_` definition that previously lived in
  the standalone `Extra.agda`, and delete `Extra.agda`.
+ Convert the file to literate-markdown formatting with brief
  section prose; the module body is otherwise unchanged.
+ Update the single downstream caller
  (`Ledger.Conway.Conformance.Equivalence.Deposits`) to import from
  the new location.

Closes #1194.

git-mv `src/Ledger/Conway/Conformance/Equivalence/Map.lagda.md` to
`src-lib-exts/abstract-set-theory/Axiom/Set/Map/Extra.lagda.md`.

Pure rename — the file's module header and content are unchanged in
this commit, so the project does not typecheck between this commit
and the next. The next commit re-parameterizes the moved module for
its new location, deletes the old `Extra.agda`, and updates the one
caller.

Splitting the rename from the edit keeps git rename detection
unambiguous and the content-edit diff readable.

Delete `Extra.agda`; the five-line `_≢ᵐ_` definition that previously
lived there will be added to the new Extra.lagda.md in the next commit.

Signed-off-by: Eric Torreborre <[email protected]>

- Replace `npm install` / `npm i` with `npm ci` in integration-tests
  and release workflows so CI uses the committed lockfile (and falls
  back to `npm install --package-lock-only && npm ci` when no lockfile
  is present, as in tests/didcomm-tests).
- Pin Node.js to `22.16.0` (was `lts/*`) for reproducibility.
- Pin and verify the npm 11.5.1 tarball via SHA-256 before global
  install, to defend against registry compromise.
- Add input validation for the `revision` and `releaseTag` workflow
  inputs (allow only [A-Za-z0-9._-]) to prevent shell injection in
  `release-clients.yml`.

Supersedes #1684 by @mineme0110, which had been idle since the
`CHANGES_REQUESTED` review in 2025-12. The current diff already
addresses the reviewer's feedback (`npm ci` switch with a fallback
for the lockfile-less directory).

Co-authored-by: Shailesh Patil <[email protected]>
Signed-off-by: Yurii Shynbuiev <[email protected]>

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

  From Mozilla, meant to better leverage intermediate compilation
  artifacts whenever possible. Built as a wrapper around the compiler.

  Expecting speed-ups ranging from 15-20% less build time on warm cache.

  Note: I am unsure about how the action is going to handle conflicting
  cache updates to the github action cache; so, let's see and iterate if
  needs be.

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

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

Introduce a Case Studies docs section with a Daedalus entry covering
Mithril-based initial sync, including navbar dropdown, sidebar, and
wordmark styling.

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

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