feat(stm): added srs validation functions and basic tests
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 (16)
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 (49)
Apr 28, 1-2 PM (54)
Apr 28, 2-3 PM (69)
Apr 28, 3-4 PM (31)
Apr 28, 4-5 PM (14)
Apr 28, 5-6 PM (47)
Apr 28, 6-7 PM (9)
Apr 28, 7-8 PM (9)
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 (75)
Apr 29, 9-10 AM (49)
Apr 29, 10-11 AM (28)
Apr 29, 11-12 PM (51)
Apr 29, 12-1 PM (39)
Apr 29, 1-2 PM (21)
Apr 29, 2-3 PM (66)
Apr 29, 3-4 PM (25)
Apr 29, 4-5 PM (36)
Apr 29, 5-6 PM (16)
Apr 29, 6-7 PM (10)
Apr 29, 7-8 PM (14)
Apr 29, 8-9 PM (13)
Apr 29, 9-10 PM (17)
Apr 29, 10-11 PM (25)
Apr 29, 11-12 AM (29)
Apr 30, 12-1 AM (6)
Apr 30, 1-2 AM (8)
Apr 30, 2-3 AM (1)
Apr 30, 3-4 AM (6)
Apr 30, 4-5 AM (2)
Apr 30, 5-6 AM (8)
Apr 30, 6-7 AM (15)
Apr 30, 7-8 AM (17)
Apr 30, 8-9 AM (100)
Apr 30, 9-10 AM (19)
Apr 30, 10-11 AM (50)
Apr 30, 11-12 PM (120)
Apr 30, 12-1 PM (69)
Apr 30, 1-2 PM (45)
Apr 30, 2-3 PM (117)
Apr 30, 3-4 PM (29)
Apr 30, 4-5 PM (34)
Apr 30, 5-6 PM (9)
Apr 30, 6-7 PM (20)
Apr 30, 7-8 PM (23)
Apr 30, 8-9 PM (28)
Apr 30, 9-10 PM (13)
Apr 30, 10-11 PM (25)
Apr 30, 11-12 AM (15)
May 01, 12-1 AM (18)
May 01, 1-2 AM (15)
May 01, 2-3 AM (6)
May 01, 3-4 AM (7)
May 01, 4-5 AM (3)
May 01, 5-6 AM (5)
May 01, 6-7 AM (8)
May 01, 7-8 AM (13)
May 01, 8-9 AM (24)
May 01, 9-10 AM (16)
May 01, 10-11 AM (16)
May 01, 11-12 PM (17)
May 01, 12-1 PM (39)
May 01, 1-2 PM (32)
May 01, 2-3 PM (19)
May 01, 3-4 PM (16)
May 01, 4-5 PM (25)
May 01, 5-6 PM (11)
May 01, 6-7 PM (20)
May 01, 7-8 PM (22)
May 01, 8-9 PM (65)
May 01, 9-10 PM (15)
May 01, 10-11 PM (40)
May 01, 11-12 AM (61)
May 02, 12-1 AM (6)
May 02, 1-2 AM (11)
May 02, 2-3 AM (5)
May 02, 3-4 AM (8)
May 02, 4-5 AM (6)
May 02, 5-6 AM (2)
May 02, 6-7 AM (2)
May 02, 7-8 AM (14)
May 02, 8-9 AM (7)
May 02, 9-10 AM (8)
May 02, 10-11 AM (11)
May 02, 11-12 PM (7)
May 02, 12-1 PM (7)
May 02, 1-2 PM (3)
May 02, 2-3 PM (14)
May 02, 3-4 PM (9)
May 02, 4-5 PM (27)
May 02, 5-6 PM (9)
May 02, 6-7 PM (29)
May 02, 7-8 PM (11)
May 02, 8-9 PM (14)
May 02, 9-10 PM (1)
May 02, 10-11 PM (20)
May 02, 11-12 AM (18)
May 03, 12-1 AM (8)
May 03, 1-2 AM (1)
May 03, 2-3 AM (4)
May 03, 3-4 AM (7)
May 03, 4-5 AM (1)
May 03, 5-6 AM (4)
May 03, 6-7 AM (32)
May 03, 7-8 AM (5)
May 03, 8-9 AM (1)
May 03, 9-10 AM (3)
May 03, 10-11 AM (10)
May 03, 11-12 PM (11)
May 03, 12-1 PM (16)
May 03, 1-2 PM (11)
May 03, 2-3 PM (2)
May 03, 3-4 PM (2)
May 03, 4-5 PM (5)
May 03, 5-6 PM (0)
May 03, 6-7 PM (5)
May 03, 7-8 PM (6)
May 03, 8-9 PM (8)
May 03, 9-10 PM (15)
May 03, 10-11 PM (23)
May 03, 11-12 AM (16)
May 04, 12-1 AM (4)
May 04, 1-2 AM (4)
May 04, 2-3 AM (10)
May 04, 3-4 AM (9)
May 04, 4-5 AM (5)
May 04, 5-6 AM (6)
May 04, 6-7 AM (5)
May 04, 7-8 AM (28)
May 04, 8-9 AM (24)
May 04, 9-10 AM (43)
May 04, 10-11 AM (9)
3,675 commits this week
Apr 27, 2026
-
May 04, 2026
Integrate changes to LedgerPeersConsensusInterface
try to deal with io-sim updates
chore: fix clippy warnings across workspace
Resolves all clippy warnings under `cargo clippy --all-targets --all-features` (modulo an external `chumsky` future-incompat note), covering the lib invocation CI runs (`cargo clippy -- -D warnings`) and test targets. Notable changes: - alonzo phase1 collateral check refactored to share the lovelace comparison across `Coin` and `Multiasset` - script_data tests: `const LazyLock` → `static LazyLock` to satisfy the interior-mutability lint - exposed existing tuple type aliases in tests/common.rs as `pub` and used them in babbage.rs / conway.rs in place of inline tuples - replaced `assert!(false, msg)` with `panic!(msg)` in validate tests and pallas-math Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
fixed voting_procedures failure by generating correct arbitrary values
Add custom generator and validator for sets
Add custom generator and validator to constr
Clairify LedgerPeersConsensusInterface.
- Rename getBlockHash to getImmutableBlockPoint. - The callback in getImmutableBlockPoint now has a dedicated GetImmutableBlockPointError error type.
Make monomorphized rule names use argument names instead of hash
Resolve generic refs in custom generators and validators
Custom generators and validators attached to a generic Huddle rule can now look up the type bound to a generic parameter at the enclosing rule. Add `generateFromGRef` and `validateFromGRef` helpers, plus `validateFromName`. Custom closures attached to generic rules are wrapped at monomorphization time to install the active local bindings into `geLocal`/`veLocal` on `GenEnv`/`ValidateEnv`, which a new `lookupGRef` method on `MonadCddl` consults. `runCBORValidator` now takes a `CTreeRoot ValidatorPhase` directly. `GRef` moves to `Codec.CBOR.Cuddle.CDDL` so lower-level modules can use it; `Huddle` re-exports it without the constructor.
Add round-trip test for generic tag range
New Huddle example `tagRangeExample`: `foo<a> = #6.1280(a) / #6.1400(a)` used at `[foo<uint>, foo<nint>]`, with a custom generator that picks any tag in `1280..1400` (biased toward the edges via `frequency`) and a custom validator accepting the same range. Both delegate to the bound generic type via `generateFromGRef` / `validateFromGRef`. Wired into the `Generated value validates` round-trip suite, plus a separate property that classifies tag samples to surface edge coverage (~38% edge / ~62% middle).
Add voterId to LeiosVoted trace
Add votes to LeiosVoteState upon receiving them
This is now possible because of de-duplication of the vote notification mechanism
Add tests for LeiosVoteState and de-duplicate votes
Add ToJSON instances to LeiosVote
Less pipelining and fix trace encoding
Not re-trigger notifications on old EBs
A little type alias plus a sketch for what could be
Re-use KES signing key as voting key and voter identity
This is obviously a dirty hack, but works to drive the development right now and side-steps key registration, while already exploring how to pass the voting key into the right consensus components.
Sketch Committee and LeiosVote types
Change MsgDone tags and move CDDLs to cardano-blueprint
Draft a LeiosVoteState handle and its call sites
Add MsgLeiosVotes to LeiosNotify protocol
This results in votes being forwarded already. However, this is obviously not safe to do this way in adversarial settings.