Cardano Updates

[ci skip]

* feat(blockfrost): Added Blockfrost transaction detail endpoints

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

* feat(blockfrost): Fixed the build failure

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

* fix(blockfrost): Fixed the lint errors

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

* fix(blockfrost): Fixed the lint errors

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

* feat(blockfrost): Added Blockfrost transaction submit endpoint

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

* feat(blockfrost): Fixed the bot comments

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

* feat(blockfrost): Fixed the lint errors and test failures at protocol parameters part

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

* fix(blockfrost): resolve tx input addresses from utxo cbor

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

* fix(blockfrost): align tx utxo index and cbor content type handling

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

* fix(blockfrost): Made changes in tx submit to limit transaction submit body size

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

* fix(ledger): Made changes to return 503 when mempool is unavailable and added a unit-test as well to validate it

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

* fix(blockfrost): compute tx size only from full decodedTx.Cbor() and not from ResolveTxCbor

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

* fix(blockfrost): Made changed to use only collateral return for invalid tx output amount

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

* fix(blockfrost): Made change for utxoCount to make sure it counts ollateral and reference utxos in tx summary

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

* fix(blockfrost): made changes to return full signed transaction CBOR and removed ResolveTxCbor

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

* fix(blockfrost): made changes to show collateral return for invalid tx utxos

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

* fix(blockfrost): Made changes to avoid shared reference pointer for tx inputs

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

* fix(blockfrost): Made changes to sort transaction certificates by index

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

* fix(blockfrost): Made changes to remove independent db calls for GetEpochBySlot and GetPParams

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

* fix(blockfrost): Made fixes to the claude comments on my PR regarding missing of mempool errors, invalid utxoCount, script payment address & fixed an error message in TransactionSubmit

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

* test(blockfrost): Added unit-tests to cover transaction submit error responses

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

* fix: add required_signers endpoint, distinguish mempool-full (425) from unavailable (503), add collateral/consumed_by_tx to UTxO outputs

Agent-Logs-Url: https://github.com/blinklabs-io/dingo/sessions/76179ea8-d57c-4b21-9b5d-213edf3f86e1

Co-authored-by: wolf31o2 <[email protected]>

* fix(blockfrost): required_signers endpoint, mempool-full 425, UTxO output fields

Agent-Logs-Url: https://github.com/blinklabs-io/dingo/sessions/76179ea8-d57c-4b21-9b5d-213edf3f86e1

Co-authored-by: wolf31o2 <[email protected]>

---------

Signed-off-by: Akhil Repala <[email protected]>
Co-authored-by: copilot-swe-agent[bot] <[email protected]>
Co-authored-by: wolf31o2 <[email protected]>

Build-tool exes (hsc2hs / alex / happy / ...) reach the slice's
build environment via `extraNativeBuildInputs` (PATH).  Their
source tarballs were also being added to the slicing repo's index
via `++ lib.concatMap (s: s.passthru.transitiveTarballs) buildToolSlices`,
which let cabal's solver see hsc2hs in the index and plan a
from-source rebuild for `build-tool-depends: hsc2hs:hsc2hs` —
forking the tool's unit-id (cross GHC info ≠ build-platform GHC
info) and failing the expected-package check.

Drop the line and rely on cabal's legacy PATH fallback for build-tool
resolution.  The tool's lib closure (process, directory, ...) still
reaches the slicing repo when those libs are also lib-deps of the
target package; otherwise they're not needed (the slice doesn't
re-solve the tool).

The bb-plan walk added by the previous commit pulled exe entries
(hsc2hs / alex / happy / ...) into `allDepClosure`.  Pinning them
in `libConstraintPins` lands them in `extra-packages:`, which
makes cabal's solver in the slice plan the build-tool from source
instead of using the pre-installed exe slice.  Skip closure
entries whose `component-name` starts with `exe:` — their lib
closures (process, directory, ...) still get pinned via the
`libDepsOf` walk in bb-plan.

Mirrors the 6be8939 → 290a8ed3 pattern: ship the script fix in one
commit, then bump the docker-compose pin in a follow-up so
publish-images.yaml rebuilds asteria-game with the new scripts and
the next Antithesis run actually exercises the fix.

Updates both testnets that pin asteria-game:
- testnets/cardano_node_master/docker-compose.yaml
- testnets/cardano_node_adversary/docker-compose.yaml

Re #142.

Closes #142.

Run try-10 of commit 290a8ed3 reported 7 NEW findings, all under
"Always: Commands finish with zero exit code" against stub/*.sh. Try-11
on the same commit and the same image digests was clean. Same code,
different scheduling — the stubs flake when Antithesis fault injection
delivers a signal to the bash interpreter (not the wrapped binary), or
when concurrent parallel_driver invocations race on /tmp/sdk.jsonl.

Three changes in helper_sdk.sh:

- _sdk_emit now wraps its >> /tmp/sdk.jsonl append with `flock -x` on
  the open append-FD, so two concurrent shells can't interleave at the
  syscall level under FS-fault injection.
- New `sdk_install_signal_trap` installs absorbing traps on
  SIGTERM/SIGINT/SIGPIPE that emit `sdk_sometimes_optional false` and
  exit 0; sourced once at the top of every stub script.
- New `sdk_run_signal_safe_fn` extends `sdk_run_signal_safe` to wrap
  shell-function bodies, not just single-binary launches — needed for
  the heartbeat/eventually_alive/finally_alive stubs whose work is a
  printf|timeout 1 socat|jq pipeline rather than one binary.

Per-stub:

- parallel_driver_heartbeat.sh, eventually_alive.sh, finally_alive.sh:
  body extracted into a local `_xxx_body` function, run through the
  new fn-wrapper. Variable names lower-cased to local style.
- anytime_asteria_admin_singleton.sh, finally_asteria_consistency.sh,
  parallel_driver_asteria_player.sh, serial_driver_asteria_bootstrap.sh:
  add the signal trap as defense-in-depth around the existing
  sdk_run_signal_safe binary wrap.

Smoke-tested standalone: 10 concurrent shells × 5 emits each produces
exactly 50 valid JSON lines (no race / loss); SIGTERM mid-sleep yields
exit 0 with the trap-emitted observation; `timeout 124` via the
fn-wrapper yields exit 0 with `must_hit:false`.

Real verification is the next Antithesis run on this branch.

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

Build-tool exes (hsc2hs / alex / happy / ...) run on the build
platform; their unit-ids and lib-dep closures belong to the
build-build project's plan, not the cross plan.  Previously
\`mkClosureFrom\` resolved every \`exe-depends\` id against the cross
plan-json — pulling in cross-target unit-ids and (transitively) the
wrong versions of process / directory / etc. for the slice's
\`libConstraintPins\` and \`sourceRepoEntries\`.

Tag every closure node with its plan ("cross" or "bb"), and have
\`exe-depends\` ids cross over to the bb plan via direct id lookup
(rare hit) or pkg-name fallback through \`package-ids-by-name\`.
Lib-deps of bb-tagged nodes stay in bb-plan; lib-deps of cross-tagged
nodes stay in cross.  \`sourceRepoEntries\` now dispatches on
\`e.plan\` for the \`hsPkgs\` lookup.

\`libConstraintPins\` reverts to \`allDepClosure\` so cabal in the
slice pins the bb plan's versions for an exe's lib closure (matching
what the bb slice was built against).

Plumbed via \`hsPkgs.{plan-json-by-id, package-ids-by-name}\` exposed
in component-driver — \`hsPkgs.pkgsBuildBuild.<idx>\` reaches the
bb project's indexes naturally.

Agent-Logs-Url: https://github.com/blinklabs-io/dingo/sessions/76179ea8-d57c-4b21-9b5d-213edf3f86e1

Co-authored-by: wolf31o2 <[email protected]>

Agent-Logs-Url: https://github.com/blinklabs-io/dingo/sessions/76179ea8-d57c-4b21-9b5d-213edf3f86e1

Co-authored-by: wolf31o2 <[email protected]>

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

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

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