Validate total withdrawals per account not exceeding original balance
Apr 22, 1-2 PM (64)
Apr 22, 2-3 PM (44)
Apr 22, 3-4 PM (86)
Apr 22, 4-5 PM (46)
Apr 22, 5-6 PM (17)
Apr 22, 6-7 PM (10)
Apr 22, 7-8 PM (18)
Apr 22, 8-9 PM (15)
Apr 22, 9-10 PM (23)
Apr 22, 10-11 PM (31)
Apr 22, 11-12 AM (17)
Apr 23, 12-1 AM (7)
Apr 23, 1-2 AM (4)
Apr 23, 2-3 AM (4)
Apr 23, 3-4 AM (6)
Apr 23, 4-5 AM (3)
Apr 23, 5-6 AM (8)
Apr 23, 6-7 AM (17)
Apr 23, 7-8 AM (26)
Apr 23, 8-9 AM (33)
Apr 23, 9-10 AM (33)
Apr 23, 10-11 AM (29)
Apr 23, 11-12 PM (30)
Apr 23, 12-1 PM (51)
Apr 23, 1-2 PM (69)
Apr 23, 2-3 PM (74)
Apr 23, 3-4 PM (26)
Apr 23, 4-5 PM (22)
Apr 23, 5-6 PM (7)
Apr 23, 6-7 PM (7)
Apr 23, 7-8 PM (11)
Apr 23, 8-9 PM (14)
Apr 23, 9-10 PM (6)
Apr 23, 10-11 PM (28)
Apr 23, 11-12 AM (18)
Apr 24, 12-1 AM (7)
Apr 24, 1-2 AM (4)
Apr 24, 2-3 AM (7)
Apr 24, 3-4 AM (5)
Apr 24, 4-5 AM (8)
Apr 24, 5-6 AM (13)
Apr 24, 6-7 AM (12)
Apr 24, 7-8 AM (33)
Apr 24, 8-9 AM (40)
Apr 24, 9-10 AM (41)
Apr 24, 10-11 AM (72)
Apr 24, 11-12 PM (57)
Apr 24, 12-1 PM (100)
Apr 24, 1-2 PM (57)
Apr 24, 2-3 PM (35)
Apr 24, 3-4 PM (19)
Apr 24, 4-5 PM (16)
Apr 24, 5-6 PM (38)
Apr 24, 6-7 PM (27)
Apr 24, 7-8 PM (12)
Apr 24, 8-9 PM (42)
Apr 24, 9-10 PM (17)
Apr 24, 10-11 PM (30)
Apr 24, 11-12 AM (16)
Apr 25, 12-1 AM (8)
Apr 25, 1-2 AM (1)
Apr 25, 2-3 AM (10)
Apr 25, 3-4 AM (5)
Apr 25, 4-5 AM (3)
Apr 25, 5-6 AM (13)
Apr 25, 6-7 AM (1)
Apr 25, 7-8 AM (4)
Apr 25, 8-9 AM (24)
Apr 25, 9-10 AM (17)
Apr 25, 10-11 AM (4)
Apr 25, 11-12 PM (4)
Apr 25, 12-1 PM (13)
Apr 25, 1-2 PM (3)
Apr 25, 2-3 PM (10)
Apr 25, 3-4 PM (6)
Apr 25, 4-5 PM (10)
Apr 25, 5-6 PM (16)
Apr 25, 6-7 PM (13)
Apr 25, 7-8 PM (30)
Apr 25, 8-9 PM (55)
Apr 25, 9-10 PM (13)
Apr 25, 10-11 PM (21)
Apr 25, 11-12 AM (22)
Apr 26, 12-1 AM (5)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (2)
Apr 26, 3-4 AM (5)
Apr 26, 4-5 AM (2)
Apr 26, 5-6 AM (2)
Apr 26, 6-7 AM (3)
Apr 26, 7-8 AM (8)
Apr 26, 8-9 AM (3)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (2)
Apr 26, 11-12 PM (1)
Apr 26, 12-1 PM (6)
Apr 26, 1-2 PM (4)
Apr 26, 2-3 PM (14)
Apr 26, 3-4 PM (14)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (13)
Apr 26, 6-7 PM (13)
Apr 26, 7-8 PM (7)
Apr 26, 8-9 PM (7)
Apr 26, 9-10 PM (5)
Apr 26, 10-11 PM (27)
Apr 26, 11-12 AM (21)
Apr 27, 12-1 AM (7)
Apr 27, 1-2 AM (7)
Apr 27, 2-3 AM (9)
Apr 27, 3-4 AM (9)
Apr 27, 4-5 AM (5)
Apr 27, 5-6 AM (13)
Apr 27, 6-7 AM (7)
Apr 27, 7-8 AM (82)
Apr 27, 8-9 AM (47)
Apr 27, 9-10 AM (33)
Apr 27, 10-11 AM (62)
Apr 27, 11-12 PM (80)
Apr 27, 12-1 PM (66)
Apr 27, 1-2 PM (44)
Apr 27, 2-3 PM (52)
Apr 27, 3-4 PM (42)
Apr 27, 4-5 PM (36)
Apr 27, 5-6 PM (26)
Apr 27, 6-7 PM (13)
Apr 27, 7-8 PM (26)
Apr 27, 8-9 PM (13)
Apr 27, 9-10 PM (15)
Apr 27, 10-11 PM (42)
Apr 27, 11-12 AM (28)
Apr 28, 12-1 AM (17)
Apr 28, 1-2 AM (8)
Apr 28, 2-3 AM (4)
Apr 28, 3-4 AM (5)
Apr 28, 4-5 AM (5)
Apr 28, 5-6 AM (8)
Apr 28, 6-7 AM (8)
Apr 28, 7-8 AM (37)
Apr 28, 8-9 AM (54)
Apr 28, 9-10 AM (59)
Apr 28, 10-11 AM (53)
Apr 28, 11-12 PM (56)
Apr 28, 12-1 PM (48)
Apr 28, 1-2 PM (53)
Apr 28, 2-3 PM (68)
Apr 28, 3-4 PM (31)
Apr 28, 4-5 PM (13)
Apr 28, 5-6 PM (47)
Apr 28, 6-7 PM (9)
Apr 28, 7-8 PM (8)
Apr 28, 8-9 PM (14)
Apr 28, 9-10 PM (20)
Apr 28, 10-11 PM (34)
Apr 28, 11-12 AM (29)
Apr 29, 12-1 AM (13)
Apr 29, 1-2 AM (1)
Apr 29, 2-3 AM (1)
Apr 29, 3-4 AM (6)
Apr 29, 4-5 AM (1)
Apr 29, 5-6 AM (4)
Apr 29, 6-7 AM (12)
Apr 29, 7-8 AM (45)
Apr 29, 8-9 AM (70)
Apr 29, 9-10 AM (49)
Apr 29, 10-11 AM (25)
Apr 29, 11-12 PM (42)
Apr 29, 12-1 PM (30)
Apr 29, 1-2 PM (9)
3,797 commits this week
Apr 22, 2026
-
Apr 29, 2026
Remove now-redundant `DijkstraSpendingOutputFromSameTx` pred failure
Specialize `CertsSpec` for dijkstra
to fix the tests failing because of the new predicate failure
Validate ref script sizes for the whole batch instead of just top level
Pass original utxo in the environment of UTXOS rule
Check input existence in original in threaded utxos
Implement `feesOk`-equivalent validation in Dijkstra UTXO
Validate value preservation against the original utxo
Use `DijkstraUtxoEnv` as Environment for UTXO
Add Dijkstra Foreign modules
NativeScripts; add DecEq-Network as an explicit parameter to avoid agda bug
for bug report see https://github.com/agda/agda/issues/8532
Implement top-level UTXO rule with subtransactions
Improve tc time for Computational instance UTXO
fix(cardano): Add parameter change proposal outcome
Add utxo0 binding in UTXOW
For consistency with SUBUTXOW
Add missing premises
test(smoke): cover tx-generator end-to-end in CI
Extend scripts/smoke-test.sh past the cardano-cli ping +
sidecar-convergence checks to drive the tx-generator
daemon through its core contract:
* Wait for the control socket to bind under
/state/tx-generator-control.sock.
* Probe `{"ready":null}` until the indexer + faucet
detection both flip true.
* Drive one parallel_driver_refill via docker exec.
* Poll `{"snapshot":null}` until the indexer observes the
refill (populationSize > 0).
* Drive 5 parallel_driver_transact bursts; tolerate
no-pickable-source / index-not-ready exits as the
composer does.
* Final snapshot must show populationSize >= 2 and at
least one transact landed.
The same scripts are what the Antithesis composer drives
at much heavier load on the cluster; this gives us a CI
gate that catches breakage before the Antithesis-side run.
Triggered via .github/workflows/smoke-test.yaml after
publish-images succeeds.
Merge branch 'staging' into docs/contract-optimization
chore(tx-generator): bump compose tag to cd750e8
Replace the local-build :9f91d6f-dirty placeholder with the real commit SHA cd750e8. publish-images.yaml resolves the tag via `git rev-list -n 1`, so the tag must be a real commit on the branch — `-dirty` tags can't be resolved and were only ever valid on developer workstations. cd750e8 is the pin-bump commit that wires the cluster to upstream cardano-node-clients @ 4fca187 (CI-green head of PR #94). publish-images will check out cd750e8 and build components/tx-generator/.#docker-image at that source.
chore(tx-generator): bump pin to upstream 4fca187 (CI-green)
* Bump cardano-node-clients flake input from 2714a2f (pre-lint-fix) to 4fca187, the current green head of https://github.com/lambdasistemi/cardano-node-clients/pull/94. * nix flake update cardano-node-clients regenerated the lockfile. * docker-compose tag bumped to match the freshly-built image: 9f91d6f-dirty. Locally re-validated end-to-end on the cluster: * Refill landed (txId 5a9bef34..., 5000 ADA at addr_0, awaited=false due to chain-sync catch-up race). * After 30 s of chain-sync settle: snapshot shows populationSize=1, p50=5000 ADA. * Next transact succeeded (src=0, fresh_count=3, dsts=[1,2,0,3], values_lovelace summing to ~2.7 ADA). The transient "no-pickable-source" responses while the indexer catches up to a freshly-submitted tx are the documented eventual-consistency behavior; the composer's exit-1-on-not-applicable pattern absorbs them.
net-rs: make telemetry sinks async to propagate backpressure
HttpEventSink::emit and HttpStatsSink::emit each spawned a fresh tokio task per event, with no bound on in-flight tasks. Under heavy event load (e.g. once the TxSubmission codec fix made tx propagation actually work), spawn rate exceeded drain rate and tasks accumulated unboundedly, each pinning a JSON payload, a reqwest::Client clone, and the in-flight POST future. Switch the EventSink/StatsSink traits to async (#[async_trait]) and have HTTP sinks .await the POST inline. record() and emit_stats() are now async; record_network_event() too. A slow aggregator now backpressures the caller chain naturally instead of leaking spawned tasks. New regression test (http_event_sink_does_not_spawn_per_emit) sanity-checks that emit doesn't leave background tasks behind. Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
Add Mininet LeiosFetch logic test bed to targeted-investigations
wip: improve tc time utxo.computational
test(stm): trying a method without locks