deploy: de4fbb59441db7210702631f570859f02624be2b
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 (15)
May 01, 8-9 AM (24)
May 01, 9-10 AM (17)
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 (15)
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 (17)
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 (6)
May 04, 7-8 AM (28)
May 04, 8-9 AM (24)
May 04, 9-10 AM (43)
May 04, 10-11 AM (36)
May 04, 11-12 PM (61)
May 04, 12-1 PM (34)
May 04, 1-2 PM (48)
May 04, 2-3 PM (64)
May 04, 3-4 PM (33)
May 04, 4-5 PM (64)
May 04, 5-6 PM (49)
May 04, 6-7 PM (13)
May 04, 7-8 PM (31)
May 04, 8-9 PM (45)
May 04, 9-10 PM (9)
May 04, 10-11 PM (54)
May 04, 11-12 AM (24)
May 05, 12-1 AM (4)
May 05, 1-2 AM (5)
May 05, 2-3 AM (5)
May 05, 3-4 AM (11)
May 05, 4-5 AM (11)
May 05, 5-6 AM (50)
May 05, 6-7 AM (16)
May 05, 7-8 AM (36)
May 05, 8-9 AM (81)
May 05, 9-10 AM (68)
May 05, 10-11 AM (34)
May 05, 11-12 PM (72)
May 05, 12-1 PM (115)
May 05, 1-2 PM (118)
May 05, 2-3 PM (66)
May 05, 3-4 PM (91)
May 05, 4-5 PM (41)
May 05, 5-6 PM (26)
May 05, 6-7 PM (28)
May 05, 7-8 PM (73)
May 05, 8-9 PM (31)
May 05, 9-10 PM (18)
May 05, 10-11 PM (25)
May 05, 11-12 AM (17)
May 06, 12-1 AM (10)
May 06, 1-2 AM (5)
May 06, 2-3 AM (9)
May 06, 3-4 AM (22)
May 06, 4-5 AM (5)
May 06, 5-6 AM (13)
May 06, 6-7 AM (29)
May 06, 7-8 AM (11)
May 06, 8-9 AM (106)
May 06, 9-10 AM (26)
May 06, 10-11 AM (40)
May 06, 11-12 PM (46)
May 06, 12-1 PM (82)
May 06, 1-2 PM (52)
May 06, 2-3 PM (43)
May 06, 3-4 PM (33)
May 06, 4-5 PM (18)
May 06, 5-6 PM (8)
May 06, 6-7 PM (12)
May 06, 7-8 PM (26)
May 06, 8-9 PM (11)
May 06, 9-10 PM (9)
May 06, 10-11 PM (29)
May 06, 11-12 AM (23)
May 07, 12-1 AM (7)
May 07, 1-2 AM (2)
May 07, 2-3 AM (1)
May 07, 3-4 AM (10)
May 07, 4-5 AM (4)
May 07, 5-6 AM (33)
May 07, 6-7 AM (97)
May 07, 7-8 AM (235)
May 07, 8-9 AM (36)
May 07, 9-10 AM (7)
4,415 commits this week
Apr 30, 2026
-
May 07, 2026
New translations code.json (Spanish)
[ci skip]
Merge pull request #5363 from IntersectMBO/coot/local-socket-access
Local socket access right warnings
fix(sdjwt): remove console.log from verify error handling
Replaces console.log with silent error handling to prevent leaking error details to stdout in production. Matches the error handling pattern used in JWT.verify(). Signed-off-by: A-Chronicle <[email protected]>
fix(stm): fixed some broken tests
Fix era warning
Bind accumulatorHash to G2 commitment in Close and Contest validator
add Haskell Benchmark (customSmallerIsBetter) benchmark result for fa039c7e698ba5b7a085a0c7504612173fa9f579
Unify impl of buildFromSnapshotUTxOs with others
Merge pull request #5794 from IntersectMBO/aniketd/stable-types-for-queries
Add golden tests for the rest of the query result types
Bump hackage. Remove proto-lens srp
chore: update dashboard.json [skip ci]
Deployed 9194921 with MkDocs version: 1.6.1
Replace withSpecTransM by withCtx; rename withCtx for consistency
Add `EraSpec` and `ledgerEraTestMain`
This commit introduces a general hierarchy for common era testing
Remove `EraSpecificSpec`
chore(asteria-game): bump pin to 6a9a93b to activate cold_start fix
Activates the must_hit:false cold_start emit from the prior commit. publish-images will resolve the new tag, build asteria-game from 6a9a93b (which contains both the budget fix from PR #135 and the must_hit:false fix from this branch), push, and the next master cron + adversary dispatch will pull the new image. Tagging the immediate commit instead of the eventual rebase SHA on main: publish-images resolves the tag via `git rev-list -n 1 <tag>`, which works as long as the tag exists in the repo's git history — 6a9a93b's parent is on main, so the tag will resolve cleanly even after rebase merge.
fix(asteria-game): make cold_start emit must_hit:false to silence Sometimes-failed finding
PR #135 replaced sdk_unreachable in the cold-start path with
sdk_sometimes false to drop AlwaysOrUnreachable's hit:true +
condition:false finding mode. But sdk_sometimes hardcodes
must_hit:true, so the assertion now fails differently: the report
flags any must_hit:true Sometimes that only ever sees condition:false
("Sometimes assertions → stub eventually_alive cold_start: new",
3 examples on the first master verify run after the budget bump).
Add sdk_sometimes_optional which emits with must_hit:false. Same
shape as sdk_sometimes but never a finding — observation-only. Use
it for the cold_start emit since that branch isn't guaranteed to
be reached across all timelines (depends on whether a fault-cascade
window happens to coincide with an eventually_ dispatch).
The helper refactor adds an optional 8th argument to _sdk_emit
(default true). All existing callers keep their behavior. The new
sdk_sometimes_optional is a sibling of sdk_sometimes that passes
false for must_hit. sdk_unreachable, sdk_reachable, sdk_always
unchanged.
Smoke-tested locally — sdk_sometimes_optional false emits a JSONL
event with must_hit:false as expected.
feat(infra): add Cardano '11.0' configuration files
fix: use new repository address for Cardano node