paolino

tx-diff issue 136 fixture

Actionable files only:

• swap.cbor.hex: transaction A input.
• bash.tx.json: transaction B input.
• tx-diff.human.txt: generated human tree-diff rendering.

Regenerate:

paolino

Antithesis Amaru Crash Excerpt

Session id: 203a9ed69fe29b6f001cb0a7425cb385-50-7

Crash signature: HeaderValidationError: Insufficient leader stake.

Relevant broad search: https://cardano.antithesis.com/search?search=v5veyJxIjp7Im4iOnsiciI6eyJoIjpbeyJoIjpbeyJjIjpmYWxzZSwiZiI6ImdlbmVyYWwub3V0cHV0X3RleHQiLCJvIjoiY29udGFpbnMiLCJ2IjoiNTkxNC5hNTc0NjA2Mzg0ZWYxNDE3YjFmYzg5MTUzYTljZWM0YmIzZjlmMjRhOGFiMTc0YTkzY2I0NjIwZTlkNmU1YTA1In1dLCJvIjoib3IifV0sIm8iOiJhbmQifSwidCI6eyJnIjpmYWxzZSwibSI6IiJ9LCJ5Ijoibm9uZSJ9fSwicyI6IjIwM2E5ZWQ2OWZlMjliNmYwMDFjYjBhNzQyNWNiMzg1LTUwLTcifQ&report_name=&get_logs=false&get_logs_event_desc=

Ordered Excerpt

paolino

Antithesis Overview

Generated: 2026-05-06 07:57 UTC Scope: last 48h on cardano.antithesis.com. Rows rendered: 23. The runs page indicated this view may be truncated by lazy rendering.

Report and Logs Explorer links include short-lived Antithesis auth tokens. Keep this gist private.

Suggested Order of Attack

• Newest run with new findings: #3 4dc62dcc try 2 in testnets/cardano_amaru_epoch240 has 8 new findings. report
• Abnormal run exit: #22 [ec225bb8](https:

paolino

Amaru Treasury — UTxO & Script Dependency Graph

Source: pragma-org/amaru-treasury (main)

The system has three NFT-pinned UTxO families (Scopes, Registry, Treasury) plus a permissions script that holds no UTxO and is invoked through the withdraw-zero pattern. Dependencies split into bake-time (script parameters fixed at deploy) and run-time (which UTxOs must appear as input or reference input in a tx).

---

Bake-time parameter graph

paolino

Amaru Treasury Expenditure: Design and Signing Review

This page is for people who sign Amaru treasury transactions, or who want to understand how Amaru handles expenditure from its treasury funds.

It is in two parts:

• Part 1 — The Design. What the system is, why it is shaped this way, what trust assumptions it asks of you, and where it has friction.
• Part 2 — What to Verify Before Signing. A short checklist where

paolino

Signing summary

1 metadata claim / 2 missing required signers / 2 redeemers

Tx id: 867995b3738c9bd9e5811ab2a39a7fc750023704879fc66153dfb17a4eeb367d

Headline: Claimed Swap ADA<->USDM is invalid and sends most value to the Script bucket.

Verdict

paolino

{
    "tx-deep-diagnosis": {
        "intent": {
            "ledger_functional_layer": "cardano-ledger-functional/v1",
            "op": "tx.intent",
            "result": {
                "intent": {
                    "body_hash": "867995b3738c9bd9e5811ab2a39a7fc750023704879fc66153dfb17a4eeb367d",
                    "claims": [
                        {

paolino

Amaru on Antithesis — first 1-hour green run

Gist: https://gist.github.com/paolino/d85f5afe38b3adb557906a0821638af4

On 2026-05-04, Amaru ran for a full 60 simulated minutes on Antithesis inside the cardano_amaru_epoch3600 testnet, under the project's standard fault-injection profile (network partitions, packet loss, clock skew, container kill/pause, CPU throttling), and Antithesis returned Completed with no failed property.

paolino

Signing summary

1 metadata claim / 2 missing required signers / 2 redeemers

Tx id: 867995b3738c9bd9e5811ab2a39a7fc750023704879fc66153dfb17a4eeb367d

Headline: Claimed Swap ADA<->USDM is invalid and sends most value to the Script bucket.

Verdict

paolino

Antithesis overview — cardano-foundation/cardano-node-antithesis

last 48h · 20 runs · all by cfhal · generated 2026-04-30 17:22 UTC

#	When (UTC)	Directory	Commit	Try	Status	Elapsed¹	Findings (n/o/r/rr)	Triage
1	Today 5:47 PM	cardano_node_master	caac8732	1	In progress	35m	—	logs
2	Today 5:37 PM	cardano_amaru	8e0a0f10	1	In progress	45m	—	[logs](https://cardano.antithesis.com/search?s