Cardano Updates

SonarCloud flags four blocks of commented-out code as MAJOR code smells.
The blocks are dead — unused, unreachable, and not maintained — and only
add noise when reading these files. Removing them closes the
corresponding SonarCloud issues.

- packages/lib/sdk/src/plugins/internal/oidc/connection/CreateAuthorizationRequest.ts:
  remove commented-out PKCE/nonce/code_challenge branches; the explanatory
  TODO is kept since it documents the still-pending work.
- packages/lib/sdk/src/plugins/internal/oidc/connection/ProcessCallbackUrl.ts:
  remove commented-out implicit/hybrid flow rejection.
- packages/shared/domain/src/utils/guards.ts: remove the commented-out
  notEmptyArray export and its orphaned JSDoc block.
- packages/lib/sdk/src/plugins/internal/oea/index.ts: remove two
  commented-out plugin.register calls referencing protocol types and
  handlers that no longer exist (HandlePresentationRequest is not
  imported, the OEA.ProtocolType.* members do not exist).

No behavior change; no tests touched. 765/765 tests pass locally.

Signed-off-by: Seydi Charyyev <[email protected]>

Reshape the UTxO-HD table abstraction so the @mk@ parameter is a
single-argument @TableKind@ (indexed by @blk@) rather than a
two-argument @MapKind@ over @(TxIn blk)@ and @(TxOut blk)@. The
concrete table types (`EmptyMK`, `KeysMK`, `ValuesMK`, `DiffMK`)
are renamed to `NoTables`, `Keys`, `Values`, `Diffs` and now take
@blk@ directly.

Collapse `Ouroboros.Consensus.Ledger.Tables{,.Basics,.Combinators,
.Kinds,.MapKind,.Utils}` into a single new
`Ouroboros.Consensus.Ledger.BasicTypes` module. The old modules are
left on disk but commented out of the cabal file.

Add `empty`, `map`, and `mapKeys` to
`Ouroboros.Consensus.Ledger.Tables.Diff`, and a constant bifunctor
`K2` in `Ouroboros.Consensus.Util`, both used by the new module.

Update all 130+ call sites to the new names and shape.

Provide access to the committee using the HasLeiosVoting type class and
via the ChainDB access to the tip's ledger state.

[ci skip]

[ci skip]

[ci skip]

[ci skip]

V1 took snapshots in ReadLocked m, which is why SnapshotManager carried
two monads (m and n). With V1 gone, n collapses into m.