Home / Reports / Apr 29, 2026

Wednesday, April 29, 2026

598 commits had been pushed across 74 repos by 90 authors. There were 15,934,277 additions and 1,411,725 deletions. Official weekly status updates can be found on essentialcardano.io.

Authors

Repos Updated

Commit Log

00:01:20 [a92f1d9e] add: cardano-db-sync: 13.6.0.8 (capkgs)
00:05:27 [13a31478] Update 2026-04-29T00:05:27Z (capkgs)
00:08:02 [118c6c78] fix(cardano): precompute per-pool live pledge for sharded rupd (dolos)
00:08:26 [adec5b90] Use latest version of cleret (cardano-ledger)
00:12:04 [8140bc4e] Collection of minor fixes (cardano-addresses)
00:18:43 [3d5b0454] Collection of minor fixes (cardano-addresses)
00:21:12 [5a9b471c] :bento: Update graphs [skip ci] (cf-cip1694-ballot-status)
00:29:41 [4127233d] checkUnique: warn-not-error on name-only collisions (haskell.nix)
00:30:02 [02c224cf] :pencil: Update summary in README [skip ci] [upptime] (cf-token-metadata-registry-status)
00:30:02 [0e612769] :card_file_box: Update status summary [skip ci] [upptime] (cf-token-metadata-registry-status)
00:31:35 [48d02475] fix(ouroboros): surface async blockfetch server errors via connection error channel (dingo)
00:31:58 [31dc5d89] Automatic Update (stackage.nix)
00:34:38 [a2d18e25] :bento: Update graphs [skip ci] (cf-token-metadata-registry-status)
00:36:49 [4136f651] :bento: Update graphs [skip ci] (cf-summit-evoting-status)
00:37:57 [d4f9f8c6] [Dijkstra] CIP-159-05: Update UTxO rules for direct deposits and balance intervals (#1117) (formal-ledger-specifications)
00:37:57 [dce7bffc] Address PR review change request. (formal-ledger-specifications)
00:37:57 [9f5a840f] PR review change request (formal-ledger-specifications)
00:38:34 [9836a746] [Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122) (formal-ledger-specifications)
00:40:14 [90091fda] [Dijkstra] CIP-159-08: Phantom asset attack prevention (#1120) (formal-ledger-specifications)
00:42:14 [f9fc48e0] [Dijkstra] CIP-159-05: Update UTxO rules for direct deposits and balance intervals (#1117) (formal-ledger-specifications)
00:42:14 [1ee16eaa] [Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122) (formal-ledger-specifications)
00:42:14 [5e3de619] [Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122) (formal-ledger-specifications)
00:44:39 [566a8459] fix: sort reward accounts before getting redeemer pointers (pallas)
00:45:24 [afe10b22] chore: fix lint format (pallas)
00:50:19 [7fbc670b] :card_file_box: Update status summary [skip ci] [upptime] (cf-cip1694-ballot-status)
00:50:19 [71e74782] :pencil: Update summary in README [skip ci] [upptime] (cf-cip1694-ballot-status)
00:56:21 [ac98c9a9] fix(ouroboros): address review (dingo)
00:59:25 [181eab27] :card_file_box: Update status summary [skip ci] [upptime] (cf-summit-evoting-status)
00:59:25 [315c035e] :pencil: Update summary in README [skip ci] [upptime] (cf-summit-evoting-status)
01:05:37 [974ec300] Artifacts generated from 262f02fd19b03fd03a6e19fdc72b292cb35be3e6 (formal-ledger-specifications)
01:07:10 [6e4c14f5] assign CPS number 30 (CIPs)
01:08:31 [0be2db15] Artifacts generated from c4c8fb751d889238085d0185364a31dca0e23812 (formal-ledger-specifications)
01:16:04 [86df880d] Update Hackage and Stackage (haskell.nix)
01:21:22 [9013e117] bump: capkgs and rel pins for dbsync-ng 13.7.0.4 and mithril 2617.0 / unstable (cardano-parts)
01:22:40 [922c6b66] bump: cardano-parts for dbsync-ng 13.7.0.4, mithril 2617.0 / unstable (cardano-playground)
01:22:54 [d47c869a] k8s: use StrategicMerge on the backendTrafficPolicy (cardano-playground)
01:25:08 [61365d86] Deploying to gh-pages from @ IntersectMBO/plutus@a76a966532f78306a904c55f690a5aa59ce4e374 🚀 (plutus)
01:31:53 [723f001b] assign CIP number 183 (CIPs)
01:32:20 [a5b18bb8] assign CIP number 184 (CIPs)
01:37:10 [8a89f300] Add WASM tutorial to docs (haskell.nix)
01:41:38 [769a7101] Optimize evaluation performance: uniqueWithName, checkUnique, planned.nix, load-cabal-plan (#2495) (haskell.nix)
01:59:10 [32e16002] Remove un-needed CHaP Haskell repository (cardano-addresses)
02:20:56 [c033f153] [EC Api] - Added: That's a wrap on the inaugural Andamio Pioneers Program Cohort 1! (essential-cardano-content)
03:37:08 [f07a3361] first try 2 tiers (formal-ledger-specifications)
04:07:48 [7f7a5d62] Scheduled update (pool_groups)
04:14:42 [36e7b6db] Update cardano-wallet version in *.cabal files (cardano-wallet)
04:14:42 [1bbb86b3] Update cardano-wallet version in README.md (cardano-wallet)
04:14:42 [d49812ac] Update wallet version in swagger.yaml (cardano-wallet)
04:14:42 [d02f1e6e] Update cardano-wallet version in run/common/docker/run.sh (cardano-wallet)
04:35:44 [d3603909] chore: Adjust logging levels for peers management. (#898) (acropolis)
05:47:57 [ac8fbdf8] Not re-trigger notifications on old EBs (ouroboros-consensus)
06:16:12 [b02c4a6b] feat(tx-evaluation): squashed work for stacked rebase (blockfrost-platform)
06:32:47 [620f6d51] Update proposal voting contexts (Governance)
06:43:29 [084190fd] chore: update translation progress from Crowdin [skip ci] (cardano-org)
06:47:51 [334a9d97] Mithril update 2026-04-29 (cardano-updates)
07:09:27 [f91bbfc4] stopgap: e2e preprod is on the edge for 181 (amaru)
07:13:08 [09a85ca5] Add script for preparing the wasm libraries for building without Nix (cardano-api)
07:15:38 [f70f7133] ci: retrigger after Hydra x86_64 timeout (#7742) (plutus)
07:17:31 [dd55b813] include .md extensions (developer-portal)
07:20:23 [cd80c128] Add edge stats that show message in transit detail (ouroboros-leios)
07:20:32 [2833c3b2] Bump node to 10.7.1 (guild-operators)
07:33:34 [5309fc9a] Change timeline to have skip to next/previous event (ouroboros-leios)
07:36:24 [7a8f1caa] sidebar final (developer-portal)
07:39:17 [b323e103] Add MAlonzo module in plutus-metatheory.cabal (plutus)
07:41:10 [07fa5c0f] leios: Remove dup leiosDbQueryCertificateByPoint (ouroboros-consensus)
07:51:12 [79b62412] feat: add EDR on switching to our own mini-protocol implementations (amaru)
07:54:26 [ab8d95e4] chore: clarify at-least-once delivery and idempotency key (blockfrost.dev)
08:05:20 [c2a30b99] Merge pull request #3217 from input-output-hk/damrobi/msnark/3162-accelerate-SNARK-tests (mithril)
08:10:17 [cc02a6b5] deploy: c2a30b996fdf1622436ecccde92253834060162c (mithril)
08:10:55 [045f02da] Merge remote-tracking branch 'origin/master' into basetunnel/certifier-case-reduce (plutus)
08:13:43 [d7b4f8a3] refactor(stm): Added a lock on writing the srs file and update helper functions to use format as input (mithril)
08:27:19 [012f31c5] Benchmark to compare incremental and non-incremental block decoders (ouroboros-network)
08:27:19 [b266c7ab] Incremental decoding experiment (ouroboros-network)
08:27:19 [f8e4b2ba] parser (ouroboros-network)
08:27:19 [31ebd922] network-mux: expose ReqResp (ouroboros-network)
08:27:19 [e5e88543] Add instructions readme (ouroboros-network)
08:28:34 [09467975] Use utxo0 for minFee calculation (formal-ledger-specifications)
08:31:39 [364f1e79] feat(Dijkstra/Ledger/PoV): prove SUBLEDGERS-utxo-coin (formal-ledger-specifications)
08:31:44 [7c5df2cd] Add extraneous scripts check (formal-ledger-specifications)
08:32:17 [37df70c4] PR review change request (formal-ledger-specifications)
08:32:17 [3bed1c2c] [Dijkstra] CIP-159-05: Update UTxO rules for direct deposits and balance intervals (#1117) (formal-ledger-specifications)
08:32:17 [d562b7c2] Address PR review change request. (formal-ledger-specifications)
08:33:48 [a514ae3f] [Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122) (formal-ledger-specifications)
08:34:16 [07691f7d] [Dijkstra] CIP-159-08: Phantom asset attack prevention (#1120) (formal-ledger-specifications)
08:36:02 [feab47f2] update comments (cardano-hw-interop-lib)
08:36:03 [7f8d5c8b] feat: bump yarn to v4 (cardano-hw-interop-lib)
08:36:29 [3bbde7dc] [Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122) (formal-ledger-specifications)
08:36:29 [4d0857b2] [Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122) (formal-ledger-specifications)
08:36:29 [3e158941] [Dijkstra] CIP-159-05: Update UTxO rules for direct deposits and balance intervals (#1117) (formal-ledger-specifications)
08:39:12 [cd99451b] leios: Small compilation fixes (ouroboros-consensus)
08:39:51 [e91899c1] Add extraneous scripts check (formal-ledger-specifications)
08:40:25 [be31ced5] Merge pull request #6527 from IntersectMBO/jutaro/namespace_generation (cardano-node)
08:42:43 [a5cbe1ed] feat: get peer candidates from ledger (amaru)
08:42:43 [a472d808] add doc comments and fix fmt & tests (amaru)
08:43:34 [b78fb509] stopgap: e2e preprod is on the edge for 181 (amaru)
08:43:43 [0ebb1955] CIP-159-11: LEDGER-pov structure with LEDGER-I proved (#1123) (formal-ledger-specifications)
08:43:43 [4e8d8dec] CIP-159-11: applyWithdrawals-pov and new library lemmas (#1123) (formal-ledger-specifications)
08:43:43 [568b764e] CIP-159-11: Initial PoV property module skeletons (#1123) (formal-ledger-specifications)
08:43:43 [8cdcb135] `indexedSumᵛ'-∪` and `sumConstZero` have proofs! (formal-ledger-specifications)
08:43:43 [8e9df79e] CIP-159-11: LEDGER-pov fully structured, all holes filled (#1123) (formal-ledger-specifications)
08:43:43 [e1ab269e] feat(dijkstra): add UTXO and UTXOW preservation-of-value modules (formal-ledger-specifications)
08:44:27 [da2f7ad9] feat(dijkstra): discharge `coin-of-{consumed,produced}Batch` in UTXO PoV (formal-ledger-specifications)
08:44:29 [ce740436] feat(Dijkstra/Ledger/PoV): prove SUBLEDGERS-utxo-coin (formal-ledger-specifications)
08:45:35 [46f3ab1b] leios: Fix handling of minCertificationGap (ouroboros-consensus)
08:47:01 [d22e939a] testnet: pin sidecar by content digest (antithesis)
08:47:33 [88c7f058] Move Conway specific instances from Core to Conway/Base (cardano-ledger)
08:47:33 [2fe20259] Add type parameter to SpecTranslate; instantiate with ConwayEra for Conway (cardano-ledger)
08:47:58 [1a36e70d] Assert certifications not happen too early in threadnet (ouroboros-consensus)
08:47:59 [d3ec6443] Move certify decision into shelley-specific parts (ouroboros-consensus)
08:48:30 [35ef963f] leios: Use mempty instead of zero (ouroboros-consensus)
08:57:35 [cf5cdb11] Update blog/2026-04-29-mithril.md (cardano-updates)
08:57:48 [790d5318] Artifacts generated from e30c86e150b78b3e276540bca900cc45327a4ab9 (formal-ledger-specifications)
09:00:22 [85232fc4] Artifacts generated from 37df70c41099fc832fa5ead9bbbf756741d77834 (formal-ledger-specifications)
09:00:28 [f9f169a0] ci: add yarn audit step (cardano-hw-interop-lib)
09:00:28 [51495c57] chore: bump mocha to v12 (cardano-hw-interop-lib)
09:01:58 [b4a87b0d] Full support of data injection from genesis files using streaming (cardano-ledger)
09:02:14 [d2cc4d9a] chore: update node types to match version used in CI (cardano-hw-interop-lib)
09:02:17 [74a98186] Artifacts generated from 7fa64623f0c89a0acb9b6e2fd8e324abba3f3176 (formal-ledger-specifications)
09:03:09 [2246d292] Artifacts generated from 23f6c1117d81d85d56c3b51e4cbb3d6bb054676a (formal-ledger-specifications)
09:03:43 [00864461] chore: update chai to latest (cardano-hw-interop-lib)
09:03:46 [ae50ee0b] Artifacts generated from 9afa8340043d666079a3b125f04cc003d0080dc5 (formal-ledger-specifications)
09:04:58 [7dab9735] Artifacts generated from 125562cf21e5e1d5569dda3f2cf283a6aa348fcc (formal-ledger-specifications)
09:09:38 [ec9d638d] Mithril update 2026-04-29 (#770) (cardano-updates)
09:13:19 [0dc16e62] deploy: ec9d638d4350bc8d193a5b62fa262a1b2d1512ac (cardano-updates)
09:15:24 [a068c292] chore: update cspell to latest (cardano-hw-interop-lib)
09:15:24 [0579bd36] chore: update prettier and eslint to latest (cardano-hw-interop-lib)
09:15:25 [8bdc38b8] chore: solve reported yarn audit issues (cardano-hw-interop-lib)
09:21:45 [4038f289] GITBOOK-346: No subject (cardano-upgrades-gitbook)
09:22:36 [7ebf9680] leios: Remove redundant Wno-orphans (ouroboros-consensus)
09:23:51 [a51aa4a3] GITBOOK-347: No subject (cardano-upgrades-gitbook)
09:26:12 [efa10e5e] test: update payloads golden examples to pass min ADA validation (cardano-rosetta-java)
09:26:57 [195c8994] Merge pull request #781 from pragma-org/rk/check-agentmd-version (amaru)
09:27:34 [df411bee] Update block Huddle comment (cardano-ledger)
09:27:34 [89bb2ebf] Make invalid_transactions a nonempty_set (cardano-ledger)
09:27:34 [a5b67fad] Generalize genArrayTerm to MonadGen (cardano-ledger)
09:27:34 [54e5200e] Add DecCBOR and ToExpr testlib instances for DijkstraBlockBody (cardano-ledger)
09:27:34 [6d6e049f] Refactor DijkstraBlockBody to use MemoBytes serialization (cardano-ledger)
09:27:34 [02f45e05] Disallow IsValid in BlockBody Txs (cardano-ledger)
09:27:34 [a4689ea5] Simplify DijkstraBlockBodyRaw decCBOR (cardano-ledger)
09:27:34 [f87ce4c3] Add Huddle spec and CDDL for block_body and peras_certificate (cardano-ledger)
09:27:34 [f17e8135] Change PerasCert to contain ByteArray (cardano-ledger)
09:27:34 [3020be0e] Fix numSegComponents (cardano-ledger)
09:27:34 [4caa7908] SafeToHash default implementation (cardano-ledger)
09:27:34 [ef53d768] Add blockBodySize method to EraBlockBody, remove bBodySize (cardano-ledger)
09:27:58 [5c059fbf] Move certify decision into shelley-specific parts (ouroboros-consensus)
09:28:45 [7b661b27] feat: add initial version of peer_selection stage (amaru)
09:28:51 [4d2b5876] feat: add block_source stage for tracking block provenance (amaru)
09:28:52 [d19e433a] feat: allow fixing chain db and improve startup logging (amaru)
09:28:52 [b50487d7] wire up block source to peer selection and optimise data types (amaru)
09:28:52 [bc605303] add EDR on peer handling infrastructure (amaru)
09:32:17 [9f709e8f] Bump node to 10.7.1 (guild-operators)
09:36:04 [4cd33b53] Artifacts generated from cb180eb7da027380b3dc5972053f760b2330656e (formal-ledger-specifications)
09:37:54 [641519e4] asteria-stub: minimal test-composer host for property experimentation (cardano-node-antithesis)
09:38:12 [6e0382c9] feature(client-cli, common): make cardano binaries download optionnal when using snapshot converter, allow devnet Cardano network (mithril)
09:38:47 [3ba6a55e] Bugfix for large rationale.jsonld: change escape regex to json.stringify() + stdout blocking (cardano-signer)
09:39:49 [7578cfb8] test: add error code 5060 to network/options golden example (cardano-rosetta-java)
09:40:26 [7d325460] asteria-stub: minimal test-composer host for property experimentation (cardano-node-antithesis)
09:40:54 [7dd50522] test(stm): added context to understand where the failure comes from (mithril)
09:43:19 [ed155e7e] Merge remote-tracking branch 'origin/staging' into docs/evolution-sdk (developer-portal)
09:44:03 [7345b1fb] add signing key to scalar function and cmd (bls)
09:44:31 [91a430e6] chore(ci): upgrade all third party actions to their latest version (mithril)
09:45:04 [f7875bac] Move certify decision into shelley-specific parts (ouroboros-consensus)
09:45:36 [eeb5e623] Update recent-updates.md (Intersect-knowledge-base)
09:47:31 [d3d6e0d4] Keep a note about a raise database error (ouroboros-consensus)
09:47:32 [4bf61882] Do as if we would create votes (ouroboros-consensus)
09:47:32 [178079fb] Expect votes in Leios threadnet (ouroboros-consensus)
09:47:32 [96e2f0d9] Expect more from the voting logic (ouroboros-consensus)
09:47:32 [a85a5253] Sketch a plan for the voting thread (ouroboros-consensus)
09:47:33 [63865187] Sketch Committee and LeiosVote types (ouroboros-consensus)
09:47:33 [26e337c8] Organize definitions in LeiosDemoTypes (ouroboros-consensus)
09:47:33 [b305a293] Use EBStore notification to vote on all complete closures (ouroboros-consensus)
09:47:33 [521b6528] Expect the threadnet to diffuse votes (ouroboros-consensus)
09:47:34 [6ea66ead] Change MsgDone tags and move CDDLs to cardano-blueprint (ouroboros-consensus)
09:47:34 [cdb2cc0a] Re-use KES signing key as voting key and voter identity (ouroboros-consensus)
09:47:34 [4c26bce1] A little type alias plus a sketch for what could be (ouroboros-consensus)
09:47:35 [58b5f5ec] Add tests for LeiosVoteState and de-duplicate votes (ouroboros-consensus)
09:47:35 [5bae4933] Add votes to LeiosVoteState upon receiving them (ouroboros-consensus)
09:47:35 [c1ff2f80] Draft a LeiosVoteState handle and its call sites (ouroboros-consensus)
09:47:35 [9e46d58e] Add MsgLeiosVotes to LeiosNotify protocol (ouroboros-consensus)
09:47:36 [dc87c007] Add voterId to LeiosVoted trace (ouroboros-consensus)
09:47:36 [5617595a] Add ToJSON instances to LeiosVote (ouroboros-consensus)
09:47:36 [313b6847] Less pipelining and fix trace encoding (ouroboros-consensus)
09:47:36 [5db5e6e8] Not re-trigger notifications on old EBs (ouroboros-consensus)
09:53:33 [3edb91cf] fix: add error 5061 to network options golden example snapshot (cardano-rosetta-java)
09:56:42 [db7e9fdb] chore: upgrade crate versions and `mithril-test-lab/mithril-devnet/VERSION` version (mithril)
09:56:42 [3a9dc718] feature(ci, test): add snapshot converter execution in ci test (mithril)
09:56:42 [145d7ca7] feature(test-lab): add snapshot conversion check in E2E tests (mithril)
10:03:24 [0cca9b14] net-rs: bitmap helpers for LeiosFetch tx selection (ouroboros-leios)
10:06:25 [a0e41a5c] net-rs: server-side bitmap filtering for LeiosBlockTxsRequest (ouroboros-leios)
10:07:00 [0d8b0aa2] [Leios Prototype] A bunch of bug fixes (#2017) (ouroboros-consensus)
10:09:05 [e47e5a78] net-rs: producer publishes EB tx bodies to LeiosStore (ouroboros-leios)
10:09:19 [ffc716c1] Add property tests for EveryoneVotes implementation (ouroboros-consensus)
10:09:19 [920e43ba] Add changelog (ouroboros-consensus)
10:09:19 [8bd003c3] Define concrete Peras certs and votes using BLS signatures (ouroboros-consensus)
10:09:19 [df4d1ef6] Add conformance tests for WFALS implementation (ouroboros-consensus)
10:09:19 [b97884f8] Implement local sortition for non-persistent seats (ouroboros-consensus)
10:09:19 [b970394d] Introduce O.C.Util.Bitmap (ouroboros-consensus)
10:09:19 [0a996a32] Add helpers for voting committee tests (ouroboros-consensus)
10:09:19 [35cf65c8] Add property tests for Bitmap library (ouroboros-consensus)
10:09:19 [25913aad] Add serialization roundtrip tests for PerasCert and PerasVote (ouroboros-consensus)
10:09:19 [9e6e896a] Add test helpers for PerasCrypto (ouroboros-consensus)
10:09:19 [668e9b7c] Implement BLS-based TestCrypto scheme for voting committee tests (ouroboros-consensus)
10:09:19 [b0e225b0] Implement BLS-based crypto helpers to instantiate voting committes (ouroboros-consensus)
10:09:19 [6e282c26] Implement pure weighted Fait-Accompli logic (ouroboros-consensus)
10:09:19 [2e02c43b] WIP implementing stateful voting committee handles (ouroboros-consensus)
10:09:19 [e3adea6d] Add conversion roundtrip tests between Peras votes/certs and voting committee types (ouroboros-consensus)
10:09:19 [28c4810b] Tweak existing WFALS model and conformance tests (ouroboros-consensus)
10:09:19 [46ebc1b6] Add property tests for WFALS implementation (ouroboros-consensus)
10:09:19 [c681d0f0] Implement EveryoneVotes voting committee instance (ouroboros-consensus)
10:09:19 [f86d486c] Add changelog (ouroboros-consensus)
10:09:19 [f15f0222] Implement wFA^LS voting committee instance (ouroboros-consensus)
10:09:19 [c852a3a5] Define PerasCrypto and wire up voting committee instance using BLS (ouroboros-consensus)
10:09:19 [1c04e906] Tweak voting committee crypto interface for aggregatable types (ouroboros-consensus)
10:09:19 [81250d14] Add property tests for VotesWithSameTarget (ouroboros-consensus)
10:09:19 [a6553dfd] Add changelog (ouroboros-consensus)
10:09:19 [d868a2eb] Add conversions between Peras votes/certs and voting committee types (ouroboros-consensus)
10:21:58 [ada77085] GITBOOK-86: No subject (civics-documentation)
10:25:10 [1e2162f4] build(nix): migrate to flake-parts with haskell.nix cross-compilation (cardano-addresses)
10:26:14 [82c5b4a8] deploy: 55c2cd6356033327c3ea90ab2aa58081e68a2c87 (cardano-rosetta-java)
10:26:49 [42dc8525] net-rs: mempool-aware bitmap for LeiosBlockTxsRequest (ouroboros-leios)
10:28:09 [09ea16e1] public key in G1 from private key (bls)
10:28:09 [ca1f3daf] replace nowitness links with intersect-mbo (developer-portal)
10:29:48 [3ceaefa5] net-rs: route fetched EB tx bodies through the validator (ouroboros-leios)
10:33:36 [fd9c93ff] Add CBORValidator (cuddle)
10:33:41 [c02b2ec6] Use _~_ in reduce directly instead of instantiating later, add comments about correct-by-construction (plutus)
10:36:28 [8498a644] deploy: 356931dcd6e6409358d31ec1249cd3889fc05815 (cardano-rosetta-java)
10:38:15 [7a0a5451] Bump node to 10.7.1 (guild-operators)
10:40:43 [64effd7f] Add Dijkstra Foreign modules (formal-ledger-specifications)
10:40:44 [8eafe9f1] NativeScripts; add DecEq-Network as an explicit parameter to avoid agda bug (formal-ledger-specifications)
10:41:17 [24a76476] Use utxo0 for minFee calculation (formal-ledger-specifications)
10:44:09 [fc694688] net-rs: receivers re-serve EB txs via mempool resolver (ouroboros-leios)
10:45:01 [6e63f527] Index LedgerTables and TxIn/TxOut by `blk` (ouroboros-consensus)
10:45:58 [7a41a344] deploy: 28862093d73d91a5b75bc4908806eedc15ee20a2 (cardano-rosetta-java)
10:47:00 [86cc287d] refactor(cardano): shard mem-hungry work units (#978) (dolos)
10:53:06 [acfea32e] refactor(ci): uses github provided actions to publish to pages (mithril)
10:55:42 [1ba6098e] net-rs: hash-verify EB tx responses against the manifest (ouroboros-leios)
11:02:36 [d9053766] Merge pull request #750 from AmbientTea/saturating-traits (cardano-serialization-lib)
11:07:52 [00912962] feat(tx-generator): replace python with nix-built haskell daemon image (cardano-node-antithesis)
11:09:29 [ca6d3235] net-rs: retry partial EB tx responses on a different peer (ouroboros-leios)
11:10:09 [bcff2b29] GITBOOK-87: No subject (civics-documentation)
11:10:49 [0a722514] net-rs: update leios-consensus.md for tx bitmap end-to-end (ouroboros-leios)
11:17:22 [c8e06977] fix(tx-generator): use netcat-openbsd, not netcat-gnu (cardano-node-antithesis)
11:18:58 [65af0f3a] chore: remove index-applier sidecar now that yaci-indexer handles indexes natively (cardano-rosetta-java)
11:20:27 [aefd5020] Merge pull request #5774 from IntersectMBO/nm/ci-test-failure-summaries (cardano-ledger)
11:23:35 [33579d02] add Haskell Benchmark (customSmallerIsBetter) benchmark result for aefd50205337d1f45d8c817394109b359df72d58 (cardano-ledger)
11:25:16 [1ae1a564] testnet: pin sidecar by content digest (cardano-node-antithesis)
11:25:48 [b8db0f54] WIP unstable component changes (ouroboros-consensus)
11:26:05 [c66f68e8] Deployed 1ae1a56 with MkDocs version: 1.6.1 (cardano-node-antithesis)
11:26:38 [9f4ec4de] Merge branch 'main' into chore/minikupo-tests (dolos)
11:27:44 [ff34437a] Make monomorphized rule names use argument names instead of hash (cuddle)
11:30:38 [c926dec2] asteria-stub: minimal test-composer host for property experimentation (antithesis)
11:30:48 [99092768] Artifacts generated from 14ce1c7250ac59d4fe64ffbddcdc73d7665b8899 (formal-ledger-specifications)
11:30:51 [188ff187] Add haddocks for `StateKind` and `LedgerStateKind`. (ouroboros-consensus)
11:34:13 [6a027159] asteria-player: real workload from PR #67, digest-pinned (cardano-node-antithesis)
11:35:18 [6e0b6d82] net-rs: cluster smoke surfaced two bitmap pipeline bugs (ouroboros-leios)
11:35:39 [4828ab84] Artifacts generated from 0bbb94d0a68aaaf7318591b63ef0f5cd66b8aede (formal-ledger-specifications)
11:40:08 [c1322d4c] temp: testing ci run (blockfrost-platform)
11:45:00 [7b86d1bd] Use utxo0 for minFee calculation (#1178) (formal-ledger-specifications)
11:48:34 [d432b3b7] add signature command in G2 (bls)
11:48:35 [37810a2b] refactor: replace string concatenation with prettyprinter in AgdaUnparse.hs (plutus)
11:50:03 [aeb967a1] wb | max_batch_size defaults to 0 (unlimited) (cardano-node)
11:50:16 [459b4fb3] test(stm): trying again to check for flakiness (mithril)
11:50:19 [dcb5e76d] feat(release-cli): add drt newsfeed subcommands (daedalus)
11:50:39 [9f91d6f9] feat(tx-generator): wire compose to new image + TextEnvelope-aware entrypoint (antithesis)
12:07:30 [430c6df1] Move certify decision into shelley-specific parts (ouroboros-consensus)
12:07:48 [88429cda] Keep a note about a raise database error (ouroboros-consensus)
12:07:49 [2e50743d] Use EBStore notification to vote on all complete closures (ouroboros-consensus)
12:07:49 [c03ebe39] Do as if we would create votes (ouroboros-consensus)
12:07:49 [eceb64b5] Expect more from the voting logic (ouroboros-consensus)
12:07:49 [478c9eed] Organize definitions in LeiosDemoTypes (ouroboros-consensus)
12:07:49 [6a2d4e76] Sketch a plan for the voting thread (ouroboros-consensus)
12:07:49 [185bbb74] Expect votes in Leios threadnet (ouroboros-consensus)
12:07:50 [fad7b00f] Sketch Committee and LeiosVote types (ouroboros-consensus)
12:07:50 [957f017a] Draft a LeiosVoteState handle and its call sites (ouroboros-consensus)
12:07:50 [1e9115c8] Re-use KES signing key as voting key and voter identity (ouroboros-consensus)
12:07:50 [91c4045e] A little type alias plus a sketch for what could be (ouroboros-consensus)
12:07:50 [85de8194] Expect the threadnet to diffuse votes (ouroboros-consensus)
12:07:50 [b602c2bd] Change MsgDone tags and move CDDLs to cardano-blueprint (ouroboros-consensus)
12:07:51 [54d24a8d] Add tests for LeiosVoteState and de-duplicate votes (ouroboros-consensus)
12:07:51 [2cf12484] Add MsgLeiosVotes to LeiosNotify protocol (ouroboros-consensus)
12:07:51 [6f59f098] Add ToJSON instances to LeiosVote (ouroboros-consensus)
12:07:51 [115c79c8] Less pipelining and fix trace encoding (ouroboros-consensus)
12:07:51 [24c3f585] Add voterId to LeiosVoted trace (ouroboros-consensus)
12:07:51 [add089cb] Add votes to LeiosVoteState upon receiving them (ouroboros-consensus)
12:07:52 [4b8ca081] Not re-trigger notifications on old EBs (ouroboros-consensus)
12:09:04 [222ff7e2] Merge pull request #6527 from IntersectMBO/jutaro/namespace_generation (cardano-node)
12:15:27 [007045d8] build(nix): migrate to flake-parts with haskell.nix cross-compilation (cardano-addresses)
12:24:01 [bb52f1a7] fix(ouroboros): surface async blockfetch server errors via connection… (#2098) (dingo)
12:24:02 [d434b64e] Performance and Tracing update 2026-04-29 (cardano-updates)
12:27:37 [316ca8ae] Performance and Tracing update 2026-04-29 (#771) (cardano-updates)
12:28:50 [ca2ec06f] Fix outer vk update (zeko)
12:30:47 [09816352] chore: bump tests (blockfrost-platform)
12:31:08 [e6c188d4] deploy: 316ca8aead9bc017b952ddb0ec70eb94c6010ab8 (cardano-updates)
12:31:59 [1788dece] net-rs: fix TxSubmission codec to wrap raw tx_id and tx body bytes (ouroboros-leios)
12:36:30 [d847538b] Artifacts generated from 7b86d1bd5f3f68b53951021e77d7ec2bb674401c (formal-ledger-specifications)
12:39:05 [79d728f6] Add Constitution example values and golden tests (cardano-ledger)
12:40:10 [87eac64a] tests(common): test ProtocolMessage chaining for hash schemes (mithril)
12:40:10 [df0ff818] feat(common): update ProtocolMessage to support multiple hash schemes (mithril)
12:40:11 [796be691] fixup! tests(common): test ProtocolMessage chaining for hash schemes (mithril)
12:40:11 [d09734cc] feat(common): add era awareness for SignableBuilder (mithril)
12:40:11 [c7d26301] wip(common): panic if rigid parts are ill-formed (mithril)
12:40:11 [f888afaa] feat(aggregator): add era awareness for signable builder (mithril)
12:40:11 [e86ffb49] feat(signer): add era awareness for signable builder (mithril)
12:40:12 [6aea388f] refactor(common): make ProtocolMessage::compute_hash return StdResult instead of panicking (mithril)
12:40:12 [10e74156] tests(common): test certificate chain linkage across Pythagoras to Lagrange era transition (mithril)
12:40:52 [1df1166f] Redo The Parser (plutus)
12:40:53 [8fa334ee] Done (plutus)
12:40:53 [51b50c12] Fix warning error (plutus)
12:40:53 [c6e63831] wip (plutus)
12:40:54 [0b0315c9] added changedlog (plutus)
12:46:03 [5c9adc88] Introduce HasAnn typeclass; fix Apply span regression (#7726) (plutus)
12:49:04 [7fabd1d2] feat: implement script eval visualizer (acropolis)
12:49:50 [e4e0df0f] Merge branch 'main' into gd/impl-script-eval-visualizer (acropolis)
12:50:52 [3b87c613] Bump node to 10.7.1 (guild-operators)
12:56:44 [bd0c8c0c] more help cmd (bls)
13:00:18 [6ed13fb3] Add WASM tutorial to docs (haskell.nix)
13:02:16 [1e81e39e] Deploying to gh-pages from @ IntersectMBO/plutus@5c9adc880bc36974c0642907f03a8e195be71a7e 🚀 (plutus)
13:03:14 [f02d91a5] Change result of queryConstitution to stable type. (cardano-ledger)
13:04:56 [cd046707] Fix message detail on the edge stats (ouroboros-leios)
13:05:10 [ce387bd1] Deploying to gh-pages from @ IntersectMBO/plutus@5c9adc880bc36974c0642907f03a8e195be71a7e 🚀 (plutus)
13:08:07 [3295aedd] Add Dotare to companies (cardano-org)
13:09:09 [a770ba40] fix: docs (blockfrost-platform)
13:10:42 [a39c5f71] Make monomorphized rule names use argument names instead of hash (cuddle)
13:10:42 [441e97d3] Resolve generic refs in custom generators and validators (cuddle)
13:10:42 [4e28f2a0] Export GRef constructor (cuddle)
13:10:42 [db209829] Add CBORValidator (cuddle)
13:12:48 [724a9fd2] Merge pull request #405 from cardano-foundation/feat/cip68-ft-vouchers (cardano-ibc-incubator)
13:15:24 [c17a4b70] smart contract optimization tips & tricks (developer-portal)
13:15:48 [f4adbba3] Merge remote-tracking branch 'origin/main' into fix/preprod-injective-runtime (cardano-ibc-incubator)
13:16:35 [62c2273b] fix sidebar label (developer-portal)
13:20:28 [69738181] feat: split cage state and request validators (cardano-mpfs-onchain)
13:20:28 [023d352e] feat(nix): expose Aiken checks (aiken-check, aiken-build) so CI uses .#checks instead of nix develop (cardano-mpfs-onchain)
13:21:22 [2fe1977f] Deployed 023d352 with MkDocs version: 1.6.1 (cardano-mpfs-onchain)
13:23:21 [6a062498] Add round-trip test for generic tag range (cuddle)
13:23:56 [82b9caa2] test(stm): trying a method without locks (mithril)
13:26:12 [e9723420] wip: improve tc time utxo.computational (formal-ledger-specifications)
13:27:54 [5fe1a03b] Add Mininet LeiosFetch logic test bed to targeted-investigations (ouroboros-leios)
13:28:31 [a397e119] net-rs: make telemetry sinks async to propagate backpressure (ouroboros-leios)
13:29:23 [dc9bed97] Bump node to 10.7.1 (guild-operators)
13:32:34 [cd750e86] chore(tx-generator): bump pin to upstream 4fca187 (CI-green) (antithesis)
13:32:38 [d13d7583] refactor(OpenAPI): make proof/v2 routes unstable and requiring CardanoBlocksTransactions capability (mithril)
13:41:34 [bb6b2404] chore(tx-generator): bump compose tag to cd750e8 (antithesis)
13:42:29 [eff0f9ef] Merge branch 'staging' into docs/contract-optimization (developer-portal)
13:43:01 [22025309] test(smoke): cover tx-generator end-to-end in CI (antithesis)
13:43:37 [53dfa6c6] Resolve generic refs in custom generators and validators (cuddle)
13:43:56 [08e1745d] Add round-trip test for generic tag range (cuddle)
13:44:23 [c9318f9c] Add utxo0 binding in UTXOW (formal-ledger-specifications)
13:44:23 [44c3eb00] Add missing premises (formal-ledger-specifications)
13:49:06 [2f09b258] Improve tc time for Computational instance UTXO (formal-ledger-specifications)
13:49:06 [d7f112fe] fix(cardano): Add parameter change proposal outcome (dolos)
13:51:06 [9cb9b64f] Implement top-level UTXO rule with subtransactions (cardano-ledger)
13:51:21 [0b0e7c2d] Tweak type for unique votes with same target (ouroboros-consensus)
13:56:37 [a7037233] Add Dijkstra Foreign modules (formal-ledger-specifications)
13:56:37 [0de925c9] NativeScripts; add DecEq-Network as an explicit parameter to avoid agda bug (formal-ledger-specifications)
14:01:23 [e8065f8a] Use `DijkstraUtxoEnv` as Environment for UTXO (cardano-ledger)
14:01:26 [3a4dc412] Pass original utxo in the environment of UTXOS rule (cardano-ledger)
14:01:26 [a422918e] Check input existence in original in threaded utxos (cardano-ledger)
14:01:26 [b49d02f6] Implement `feesOk`-equivalent validation in Dijkstra UTXO (cardano-ledger)
14:01:26 [21245263] Validate value preservation against the original utxo (cardano-ledger)
14:03:52 [cc33eb07] chore: Improve producer skills and setting up a pool (metis)
14:06:01 [2ee9e8c4] Validate ref script sizes for the whole batch instead of just top level (cardano-ledger)
14:06:02 [2e2a652d] Validate total withdrawals per account not exceeding original balance (cardano-ledger)
14:06:02 [643285ae] Remove now-redundant `DijkstraSpendingOutputFromSameTx` pred failure (cardano-ledger)
14:06:02 [b4543d4a] Specialize `CertsSpec` for dijkstra (cardano-ledger)
14:08:58 [30ac13bf] feat(wal): version on-disk schema and force-reset on incompatibility (dolos)
14:30:08 [fb383cf3] feat(release-cli): add drt newsfeed subcommands (daedalus)
14:30:59 [084f878b] asteria-stub: long-lived utxo-indexer + indexer-driven composer scripts (cardano-node-antithesis)
14:35:33 [8e4a2857] asteria-stub: long-lived utxo-indexer + indexer-driven composer scripts (cardano-node-antithesis)
14:37:58 [4d272478] Merge pull request #6527 from IntersectMBO/jutaro/namespace_generation (cardano-node)
14:40:25 [12db0d29] Add custom generator and validator to constr (cardano-ledger)
14:41:49 [08657c14] fix(composer): build SDK details JSON via jq -n --arg (cardano-node-antithesis)
14:41:58 [de9091aa] test(smoke): fail on jq stderr from composer drivers (cardano-node-antithesis)
14:42:12 [81d3612a] chore(tx-generator): bump compose tag to de9091a (cardano-node-antithesis)
14:44:45 [53ec3ff4] Merge pull request #3237 from input-output-hk/djo/3173/upgrade_github_actions (mithril)
14:50:27 [178d080a] Artifacts generated from 058ef8f2a1108007ade70c08ea8fe8f7fcf3d1c5 (formal-ledger-specifications)
15:00:27 [dd0f76f2] Update 2026-04-29T15:00:27Z (capkgs)
15:02:35 [47fbc54a] chore: add mainnet config files (cardano-graphql)
15:07:56 [77a3e411] test(stm): removed commented code (mithril)
15:12:14 [8c1f657d] chore: bump cardano db sync (cardano-graphql)
15:14:06 [14994efa] Add `Cardano.Ledger.Core.modifyTxAuxData` to apply some function on the `txAuxData` field of a `EraTx` (cardano-ledger)
15:14:06 [94197bec] Fix CHANGELOG cddl entries for shelley, allegra, mary, alonzo and babbage eras. (cardano-ledger)
15:14:06 [2174856a] Expand missing transaction content in examples in Test.Cardano.Ledger.<era>.Examples and refactor transaction examples to reduce duplication (cardano-ledger)
15:14:56 [59b93103] Merge pull request #6527 from IntersectMBO/jutaro/namespace_generation (cardano-node)
15:17:09 [75458e2a] Chore/bump node db sync mithril (#986) (cardano-graphql)
15:18:32 [5614babc] Expand missing transaction content in examples in Test.Cardano.Ledger.<era>.Examples and refactor transaction examples to reduce duplication (cardano-ledger-specs)
15:20:09 [23a83239] Tweak type for unique votes with same target (ouroboros-consensus)
15:21:15 [1c3b486e] fix(connmanager): log remote name when failing connection (#2084) (dingo)
15:21:18 [a09f5077] ci(smoke): chain smoke-test inside publish-images (cardano-node-antithesis)
15:34:26 [79deffdc] Certifier for case-reduce (#7739) (plutus)
15:36:48 [bd829f24] refactor: remove sync effects (amaru)
15:37:35 [a01170f4] refactor: hide effects type parameters in store and ledger (amaru)
15:37:35 [d23bba44] feat: implement store effects with consistent snapshots (amaru)
15:37:35 [6cb7976c] fix: better take care of the origin point when getting a tip (amaru)
15:37:36 [beb3169f] fix: make sure that two functions can be called with the origin point (amaru)
15:37:36 [04fd32fb] fix: select a correct best candidate on startup (amaru)
15:37:36 [4b39b7f8] refactor: remove the use of a Vec::remove call (amaru)
15:37:36 [e74c0605] chore: rebase on main (amaru)
15:37:36 [05ae28df] fix: get the next best chain header from a snapshot (amaru)
15:37:36 [3fcb4289] fix: collect then delete keys when switching to a new fork (amaru)
15:37:37 [49e7f4a1] fix: make sure that we can always return a best chain tip (amaru)
15:37:37 [ea95dcb9] test: fix the overriding chainstore when using snapshots (amaru)
15:37:37 [80ba7a06] refactor: return more precise results for missing blocks (amaru)
15:37:37 [382ba56d] fix: deal with the origin point when getting the next best chaint point (amaru)
15:37:37 [78a459c4] feat: add a note about fixing the special case of the origin point in the store (amaru)
15:37:37 [98279eb5] feat: find a rollback point using a snapshot (amaru)
15:37:38 [298ab164] refactor: remove an unnecessary test (amaru)
15:37:38 [3b5de14b] refactor: improve find_common_ancestor (amaru)
15:37:38 [09ccae0b] refactor: find ancestor on best chain (amaru)
15:37:38 [9b22fc44] doc: add a todo for storing tips (amaru)
15:37:38 [91611114] fix: the origin point is always considered to be an intersection point. (amaru)
15:37:39 [dde06110] refactor: simplify the search for best select_chain candidates on startup (amaru)
15:37:39 [f309c686] chore: rebase on main (amaru)
15:37:39 [23ae7320] refactor: add a comment (amaru)
15:37:39 [d17aa415] refactor: use an enum to handle intersection points results (amaru)
15:37:39 [ae41b58a] fix: revert the changes for finding a rollback point using the ledger (amaru)
15:37:39 [47728649] refactor: use the same implementation for the optimistic and the snapshot db (amaru)
15:39:41 [3ce10beb] Expand missing transaction content in examples in Test.Cardano.Ledger.<era>.Examples and refactor transaction examples to reduce duplication (cardano-ledger)
15:39:42 [9d18b2a5] Move transaction-related golden tests from cardano-ledger-alonzo-test to cardano-ledger-alonzo (cardano-ledger-specs)
15:39:42 [f7cd2060] Remove duplicated test execution in cardano-ledger-alonzo:test-suites (cardano-ledger-specs)
15:40:17 [e603d479] feat: limit the mempool capacity (amaru)
15:40:17 [2cd91c95] feat: implement validate_tx (amaru)
15:40:17 [9a04151a] feat: back-pressure txsubmission when the mempool is at capacity (amaru)
15:40:17 [708283b4] feat: update the mempool on new tip (amaru)
15:40:17 [0c0a0b60] test: use an overriding mempool in tests (amaru)
15:40:18 [74117b4e] feat: check limits in the txsubmission responder (amaru)
15:40:18 [eee25985] feat: add command line parameters for the tx submission responder (amaru)
15:40:18 [5bc49421] feat: add a timeout for requesting transactions in the txsubmission responder (amaru)
15:40:18 [5e1da711] feat: check the advertized transactions size (amaru)
15:40:52 [c45d0e30] chore: rebase on main (amaru)
15:41:34 [3208d947] feat: display the block height in the block header (amaru)
15:41:58 [2f05cac0] test: add a property tests for the select chain stage (amaru)
15:42:38 [47ba542b] refactor: remove some cloning (amaru)
15:43:27 [20123602] chore(tx-generator): repoint pin to upstream main (post-#94) (cardano-node-antithesis)
15:43:44 [d54d6384] chore(tx-generator): bump compose tag to 2012360 (cardano-node-antithesis)
15:47:13 [3352c618] test: use TraceMatch instead of TraceEntry (amaru)
15:47:32 [d783cbb8] feat(release-cli): add drt newsfeed subcommands (daedalus)
15:48:42 [4f9e209f] refactor: use a fallback for the tip effect (amaru)
15:50:43 [f3cc491f] doc: correct Full preset description (cardano-db-sync)
15:53:00 [3ceaf775] refactor(OpenAPI): make proof/v2 and /artifact/cardano-blocks-transactions/ routes unstable and requiring CardanoBlocksTransactions capability (mithril)
15:55:43 [99648435] docs: add v0.38.0 release notes (dingo)
15:56:28 [03c2f15c] filip(fix): adjust links and remove guide section (iframe lagging on firefox fix included) (ouroboros-leios-sim)
15:59:46 [5e2dab06] build(nix): migrate to flake-parts with haskell.nix cross-compilation (cardano-addresses)
16:00:59 [fa0ce245] docs: refine v0.38.0 release notes intro and new features (dingo)
16:01:15 [a153512c] Fix recipients (zeko)
16:01:28 [f7befdcc] docs: refine v0.38.0 release notes improvements and fixes (dingo)
16:02:11 [afacb1e3] docs: finalize v0.38.0 release notes wording (dingo)
16:03:16 [56fa7b5a] test(stm): updated the temporary file to use the name of the test calling the function (mithril)
16:04:17 [66205bd1] docs: finalize v0.38.0 release notes wording (dingo)
16:06:48 [940362cc] filip(fix): add bg colour to iframe container to account for some screen size inconsistencies (ouroboros-leios)
16:10:33 [0ea3f29a] net-rs: track per-peer announced txs in mempool, stop re-announcing (ouroboros-leios)
16:10:47 [279ad16a] net-rs: bound LeiosStore by slot-window retention (ouroboros-leios)
16:17:31 [9953a00a] test(stm): added test for non determinism of proofs (mithril)
16:18:22 [3da84d08] chore(electron): upgrade from 24.2.0 to 41.3.0 (daedalus)
16:18:31 [3e8b07f2] fix(preprod): support Cardano Injective swap runtime (cardano-ibc-incubator)
16:22:57 [2b609221] Merge pull request #3327 from input-output-hk/sl/drt-newsfeed (daedalus)
16:23:44 [2ba0fae7] fix(dapp): lower Cardano collateral floor (cardano-ibc-incubator)
16:28:39 [e20f7144] test(stm): forcing the proofs crate to 0.7.1 (mithril)
16:34:36 [f0f7eadc] fix(dapp): use wallet UTxOs for Cardano collateral (cardano-ibc-incubator)
16:37:26 [54b6cbb3] net-rs: make LeiosStore stats logging configurable, default off (ouroboros-leios)
16:39:02 [c0a99525] docs: add release notes for v0.38.0 (#2102) (dingo)
16:45:52 [6a986ec5] feat: impl_btmap_wrapper macro (cardano-serialization-lib)
16:45:53 [87971510] numerics for MultiAsset + Asstes (cardano-serialization-lib)
16:45:54 [8d1ca7aa] refactor: Replace MultiAsset::sub logic with SaturatingSub (cardano-serialization-lib)
16:47:01 [82939add] fix(dapp): accept Cardano unsigned tx response (cardano-ibc-incubator)
16:50:05 [1c15e260] bump: dbsync rel pins for dbsync 13.7.0.4 for release (cardano-parts)
16:57:10 [018c97c1] net-rs: switch net-node to jemalloc allocator (ouroboros-leios)
16:58:58 [a7590081] feat: update.sh guardrails-script and dijkstra (cardano-configs)
17:09:55 [05b1e64f] Fall back to mithril package when mithril-client-cli is unavailable (hydra-poc)
17:10:28 [36a4fce9] fix(stm): Fixes according to some of the suggestions (mithril)
17:13:21 [055f4ecd] wip (cardano-api)
17:17:05 [cf015378] Add property tests for VotesWithSameTarget (ouroboros-consensus)
17:17:05 [edd18f05] Add changelog (ouroboros-consensus)
17:17:05 [ae48de26] Implement pure weighted Fait-Accompli logic (ouroboros-consensus)
17:17:05 [abe295b0] Tweak voting committee crypto interface for aggregatable types (ouroboros-consensus)
17:17:05 [9579a7e9] Add property tests for WFALS implementation (ouroboros-consensus)
17:17:05 [2e036572] Add property tests for EveryoneVotes implementation (ouroboros-consensus)
17:17:05 [8b6d3da7] Add serialization roundtrip tests for PerasCert and PerasVote (ouroboros-consensus)
17:17:05 [30af18e4] Implement BLS-based crypto helpers to instantiate voting committes (ouroboros-consensus)
17:17:05 [8277f02c] Define PerasCrypto and wire up voting committee instance using BLS (ouroboros-consensus)
17:17:05 [5c9e6ec4] Add helpers for voting committee tests (ouroboros-consensus)
17:17:05 [67e54c6c] Add conversions between Peras votes/certs and voting committee types (ouroboros-consensus)
17:17:05 [2edf3d68] Add conversion roundtrip tests between Peras votes/certs and voting committee types (ouroboros-consensus)
17:17:05 [2def60dd] Implement local sortition for non-persistent seats (ouroboros-consensus)
17:17:05 [6d1c6aad] Tweak existing WFALS model and conformance tests (ouroboros-consensus)
17:17:05 [e278b7ae] Add property tests for Bitmap library (ouroboros-consensus)
17:17:05 [f6ee5b05] Add conformance tests for WFALS implementation (ouroboros-consensus)
17:17:05 [85efd547] Tweak VotesWithSameTarget to also check of duplicates (ouroboros-consensus)
17:17:05 [2a30555f] Implement wFA^LS voting committee instance (ouroboros-consensus)
17:17:05 [1f4082d7] Implement EveryoneVotes voting committee instance (ouroboros-consensus)
17:17:05 [4d9f827e] Define concrete Peras certs and votes using BLS signatures (ouroboros-consensus)
17:17:05 [bb9ec533] Add changelog (ouroboros-consensus)
17:17:05 [5b9a635e] Add test helpers for PerasCrypto (ouroboros-consensus)
17:17:05 [e76e0703] Introduce O.C.Util.Bitmap (ouroboros-consensus)
17:17:05 [df3bca97] Add changelog (ouroboros-consensus)
17:17:05 [8737caa8] Implement BLS-based TestCrypto scheme for voting committee tests (ouroboros-consensus)
17:17:05 [6c35fb94] WIP implementing stateful voting committee handles (ouroboros-consensus)
17:33:49 [ee56292a] Merge branch 'chore/prepare-8.5.2' into feat/python-test-framework (cardano-graphql)
17:34:10 [96bcdbd7] feat(tests): add Python test framework with full schema coverage (#987) (cardano-graphql)
17:47:20 [ff5785f5] Update proposal voting contexts (governance)
17:49:18 [54af0f9a] chore(nix): fix nixpkgs-25.11 eval failures on Darwin and Windows (daedalus)
17:50:26 [ca6ae693] fix signTx serialisation to prevent txhash from changing and give users option for partial signing (dapp-example)
17:54:40 [c9af5e5d] fix(dapp): reconnect Cardano wallet after refresh (cardano-ibc-incubator)
17:55:34 [ff021345] fix(dapp): sign Cardano transfers with CIP-30 (cardano-ibc-incubator)
18:00:02 [090a8ca9] Move transaction-related golden tests from cardano-ledger-alonzo-test to cardano-ledger-alonzo (cardano-ledger)
18:00:38 [bd67bb6a] wip (cardano-api)
18:01:59 [07de7aad] fix: extract UpsertMap wrapper to deduplicate BTreeMap key-replacing insert logic (amaru)
18:10:20 [f66d13ad] Implement `feesOk`-equivalent validation in Dijkstra UTXO (cardano-ledger)
18:10:20 [287a17af] Validate ref script sizes for the whole batch instead of just top level (cardano-ledger)
18:10:20 [006f994d] Validate total withdrawals per account not exceeding original balance (cardano-ledger)
18:10:20 [f6fea592] Remove now-redundant `DijkstraSpendingOutputFromSameTx` pred failure (cardano-ledger)
18:10:21 [6e1163f0] Specialize `CertsSpec` for dijkstra (cardano-ledger)
18:13:01 [27676b32] refactor: remove unnecessary things (amaru)
18:17:59 [38feb510] fix(dapp): show transfer progress (cardano-ibc-incubator)
18:25:21 [a5992751] fmt: formatting and clarity (amaru)
18:41:33 [329f94b7] Apply suggestion from @noonio (hydra-poc)
18:41:43 [e8735118] Fall back to mithril package when mithril-client-cli is unavailable (#2598) (hydra-poc)
18:51:21 [8b2385ee] chore: prepare 8.5.2 (#988) (cardano-graphql)
18:54:47 [75481714] feat(wal): version on-disk schema and force-reset on incompatibility (#984) (dolos)
18:59:33 [c0bfeb99] Use builtin.null_list in both list and dict is_empty (stdlib)
19:14:27 [3a9315c2] Deploying to gh-pages from @ cardano-scaling/hydra@e873511851ed5a504b03255f3b9525d54e6e71d2 🚀 (hydra-poc)
19:15:22 [bb5b8acb] fix: update txpump context directory so docker compose can build from the top level (dingo)
19:17:41 [e77b3c78] fix: pprof listener debug port (dingo)
19:29:20 [a325da00] fix: update txpump context directory so docker compose can build from the top level (#2108) (dingo)
19:30:15 [f96018ec] fix: update configuration permissions and glob patterns (dingo)
19:33:25 [d06f1b18] feat(certifier): bundle README.md with generated Agda certificate projects (plutus)
19:38:18 [6120c094] fix(sync): apply deltas before WAL commit so rollback undo works (dolos)
19:45:22 [5ee52150] fix(sync): apply deltas before WAL commit so rollback undo works (#985) (dolos)
19:48:46 [9e519c61] Refactor AgdaUnparse to use prettyprinter (plutus)
19:57:31 [fd3e3bb3] Update instructions for entering development shell (plutus)
20:02:08 [6d4db586] Tmp (plutus)
20:14:40 [7fa9a3a7] fix: update configuration permissions and glob patterns (#2110) (dingo)
20:18:44 [42d088ed] Merge pull request #5751 from IntersectMBO/td/utxo-with-subtransactions (cardano-ledger-specs)
20:21:45 [cba119bd] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 42d088ed84b799d6d980f9be6f14ad953a3c957d (cardano-ledger)
20:26:13 [03b5b490] Address carbolymer review on PR #1180 (cardano-api)
20:35:03 [1c34c8b3] Move reference script size validation from LEDGER to UTXO (cardano-ledger)
20:35:04 [9ca44cb7] Move treasury value validation from LEDGER to UTXO (cardano-ledger)
20:42:37 [2140f086] feat: update.sh guardrails-script and dijkstra (cardano-configs)
20:44:54 [fca47dfa] Remove un-needed CHaP Haskell repository (cardano-addresses)
20:59:34 [3b6adb86] fmt: formatting and clarity (amaru)
20:59:34 [a6864e44] refactor: remove unnecessary things (amaru)
20:59:34 [45a08c8d] fix: Redeemer map behavior to match Haskell impl (amaru)
20:59:34 [91423592] fix: extract UpsertMap wrapper to deduplicate BTreeMap key-replacing insert logic (amaru)
20:59:34 [bfeec82b] style: formatting (amaru)
21:00:26 [b2e20bcf] refactor(plutus): rebuild Redeemers around RedeemerKey, drop OrderedRedeemer/UpsertMap (amaru)
21:00:28 [fb180ffc] chore(plutus): restrict visibility in ScriptContext (amaru)
21:00:44 [62702f94] feat(cbor): add diagnostic parser with offset tracking and formatting (gouroboros)
21:10:27 [e51ad20f] Address carbolymer review on PR #1180 (cardano-api)
21:10:27 [8637415c] Fix broken cross-package Haddock links on hosted docs site (cardano-api)
21:11:39 [66512d58] test: add e2e scenario for mediator message pickup after wallet restore (atala-prism-wallet-sdk-ts)
21:15:10 [e3eb4c76] Add uplc executable user guide (#7745) (plutus)
21:19:06 [79932593] Merge pull request #6529 from IntersectMBO/add-testnet-config-dir-to-tx-generator (cardano-node)
21:24:51 [73d3cc4e] feat(cbor): address review (gouroboros)
21:29:33 [6efb6dcf] bump: cardano-parts for dbsync 13.7.0.4 (cardano-playground)
21:31:39 [d6ca2224] fix: pprof listener debug port (#2109) (dingo)
21:39:43 [de1f4b00] leios: convert to machine logging (cardano-playground)
21:44:29 [1bd7c6b5] Merge pull request #47 from Ryun1/fix-sign-tx (dapp-example)
22:01:37 [c8b4c8fc] Update tx-stats.json for epoch 627 (cardano-org)
22:05:17 [dbfd2518] Fix title, fix broken link (CIPs)
22:12:39 [78e8b59c] fix(vrf): fix vrf behavior at shelly->allegra boundary (dingo)
22:25:59 [4b327262] chore(deps): bump webiny/action-conventional-commits from 1.3.1 to 1.4.2 (#98) (adder-library-starter-kit)
22:28:50 [09ffc841] Fix title (CIPs)
22:33:22 [18301194] fix(forging): add ability to forge pre-conway era blocks (dingo)
22:36:33 [2f2323fd] chore(deps): bump webiny/action-conventional-commits from 1.3.1 to 1.4.2 (#372) (helm-charts)
22:37:10 [88c8c902] ci: pin to sha for conventional commits workflow (helm-charts)
22:38:22 [b3f37cd9] fix(forging): add ability to forge pre-conway era blocks (dingo)
22:38:55 [5800979f] chore(deps): bump webiny/action-conventional-commits from 1.3.1 to 1.4.2 (#288) (plutigo)
22:44:12 [b746b590] build(deps): Bump webiny/action-conventional-commits from 1.3.1 to 1.4.2 (#20) (bark)
22:44:55 [40c10eb2] ci: pin to sha for conventional commits workflow (bark)
22:46:52 [61699cb6] build(deps): Bump connectrpc.com/connect from 1.19.1 to 1.19.2 (#21) (bark)
22:54:03 [194b55a1] chore(deps): bump webiny/action-conventional-commits from 1.3.1 to 1.4.2 (#444) (tx-submit-api)
22:54:53 [b00b6c04] ci: pin to sha for conventional commits workflow (tx-submit-api)
22:55:37 [9181daa2] chore(deps): bump github.com/blinklabs-io/gouroboros (#443) (tx-submit-api)
22:57:52 [6d997759] fix: reject one-sided Cardano route channels (cardano-ibc-incubator)
23:02:48 [9de15bfa] chore(deps-dev): bump globals from 17.4.0 to 17.5.0 (#384) (after-town-hall)
23:04:18 [e017f2f5] chore(deps-dev): bump eslint from 9.39.2 to 10.2.1 (after-town-hall)
23:13:08 [dc06f96c] Fix deployment of token owner permission (zeko)
23:13:17 [8112c8e0] tmp debugging (zeko)
23:21:02 [3b6cb393] 🟩 API (Specific property) is up (204 in 124 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)
23:21:02 [5920c011] 🟩 API (Batch) is up (204 in 125 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)
23:21:02 [47c6cfcf] 🟩 API (All properties) is up (204 in 688 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)
23:24:45 [553c18d9] 🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:24:46 [c91ad033] 🟥 event-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:24:47 [f6ef4c08] 🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:24:47 [722092e5] 🟥 login-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:24:48 [00b18586] 🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:24:48 [a174f882] 🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:24:48 [b8652b3b] 🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)
23:25:15 [bd925f9b] 🟩 voting.summit.cardano.org is up (200 in 140 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:15 [c0e974d8] 🟩 event-api is up (200 in 407 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:16 [21633c8e] 🟩 user-verification-api is up (405 in 494 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:17 [65ed5063] 🟩 blockchain-follower-api is up (200 in 279 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:17 [ba027e81] 🟩 login-api is up (401 in 508 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:18 [c190accc] 🟩 cast-vote-api is up (401 in 282 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:18 [4e0bc794] 🟩 get-votes-api is up (401 in 314 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:19 [aab05a81] 🟩 get-vote-receipt-api is up (401 in 304 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:25:20 [cf96450d] 🟩 keria is up (401 in 559 ms) [skip ci] [upptime] (cf-summit-evoting-status)
23:46:34 [fbd122e5] Update CPS-0026/README.md (CIPs)
23:47:31 [e9e4161f] chore(cardano): update proposal outcomes (#983) (dolos)