Cardano Updates

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

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

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

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

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

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

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

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

Adds tools/antithesis-overview/, a Claude Code skill that lists
recent Antithesis runs for a given GitHub repo and publishes a
Markdown digest as a secret gh gist with clickable commit and
report links. The skill is parametric — tenant, repo, hours-back,
requester are all flags — so anyone with access to this repo can
clone, symlink the tool into ~/.claude/skills, and run it against
their own SUT.

Layout mirrors tools/query-logs/: SKILL.md + README.md +
assets/. The runtime depends on antithesis-triage.js which we
vendor at v3.0.0 from antithesishq/antithesis-skills.

Adds docs/overview.md as the user-facing guide and threads it
through the mkdocs nav and the existing triage.md cross-references.

Why publish it here rather than keep it in a personal dotfiles
repo: this is a project-specific workaround for the lack of an
Antithesis runs API, and discovery is easier when the tool sits
next to the existing query-logs tool the team already uses. The
skill is interview-driven so every operator drives it the same way.

Future scriptable replacement is tracked in #97.

CI stylish and deloy docs FIX

The adversary container was the only post-PR-D composer template
without SDK assertions. Constitution rule II requires every
non-trivial composer command to emit at least one Antithesis SDK
assertion per meaningful control-flow moment.

Adds three composer files alongside the existing parallel driver:

- components/adversary/composer/chain-sync-client/helper_sdk_lib.sh
  — copy of components/tx-generator/composer/tx-generator/helper_sdk_lib.sh.
  Provides sdk_reachable, sdk_sometimes, sdk_always, sdk_unreachable
  shell helpers writing to $ANTITHESIS_OUTPUT_DIR/sdk.jsonl.

- components/adversary/composer/chain-sync-client/eventually_adversary_active.sh
  — short single-shot validator (sleep 15, one bounded {"ready":null}
  probe, ≤1 min total). Emits sdk_sometimes true "adversary_ready" on
  success, sdk_sometimes false "adversary_not_ready_after_settle" on
  failure.

- components/adversary/composer/chain-sync-client/finally_adversary_summary.sh
  — diagnostic dump: one snapshot, sdk_reachable "adversary_summary"
  with the JSON response embedded as details. Always exits 0.

Rewrites parallel_driver_flaky_chain_sync.sh to source the helper
and emit:

- sdk_reachable "adversary_chain_sync_flap_started" on entry
- sdk_sometimes true "adversary_chain_sync_flap_completed" on ok=true
- sdk_sometimes false "adversary_no_chain_points" on no-chain-points-yet
- sdk_unreachable "adversary_misconfigured_no_points_file" on no-chain-points-file
- sdk_unreachable "adversary_misconfigured_no_producers" on no-producers
- sdk_unreachable "adversary_endpoint_not_implemented" on not-implemented
- sdk_unreachable "adversary_unexpected_response" on parsing failure

Drive-by fix in the same script: replace `nc -U -q 1` with
`nc -U -N`. The image ships netcat-openbsd; `-q` is GNU-only and
silently failed under the old image (always returned empty body).
The fix makes the daemon's response actually reachable from the
composer.

components/adversary/nix/docker-image.nix:

- chmod 0755 also on eventually_*.sh / finally_*.sh (mirrors tx-generator).
- writeShellScriptBin wrappers `eventually_adversary_active` and
  `finally_adversary_summary` so the antithesis composer can invoke
  them by short name.

End-to-end smoke verified locally: docker exec adv parallel_driver_flaky_chain_sync /
eventually_adversary_active / finally_adversary_summary all exit 0
and write five distinct SDK assertions to sdk.jsonl.

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

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

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

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

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

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

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