fix(mempool): address coderabbitai review
Signed-off-by: cryptodj413 <[email protected]>
Feb 17, 6-7 AM (7)
Feb 17, 7-8 AM (18)
Feb 17, 8-9 AM (38)
Feb 17, 9-10 AM (87)
Feb 17, 10-11 AM (36)
Feb 17, 11-12 PM (38)
Feb 17, 12-1 PM (79)
Feb 17, 1-2 PM (39)
Feb 17, 2-3 PM (50)
Feb 17, 3-4 PM (61)
Feb 17, 4-5 PM (43)
Feb 17, 5-6 PM (30)
Feb 17, 6-7 PM (19)
Feb 17, 7-8 PM (13)
Feb 17, 8-9 PM (23)
Feb 17, 9-10 PM (11)
Feb 17, 10-11 PM (59)
Feb 17, 11-12 AM (44)
Feb 18, 12-1 AM (21)
Feb 18, 1-2 AM (13)
Feb 18, 2-3 AM (16)
Feb 18, 3-4 AM (18)
Feb 18, 4-5 AM (16)
Feb 18, 5-6 AM (15)
Feb 18, 6-7 AM (19)
Feb 18, 7-8 AM (53)
Feb 18, 8-9 AM (93)
Feb 18, 9-10 AM (36)
Feb 18, 10-11 AM (37)
Feb 18, 11-12 PM (62)
Feb 18, 12-1 PM (41)
Feb 18, 1-2 PM (118)
Feb 18, 2-3 PM (61)
Feb 18, 3-4 PM (37)
Feb 18, 4-5 PM (16)
Feb 18, 5-6 PM (40)
Feb 18, 6-7 PM (33)
Feb 18, 7-8 PM (37)
Feb 18, 8-9 PM (47)
Feb 18, 9-10 PM (31)
Feb 18, 10-11 PM (44)
Feb 18, 11-12 AM (25)
Feb 19, 12-1 AM (14)
Feb 19, 1-2 AM (6)
Feb 19, 2-3 AM (6)
Feb 19, 3-4 AM (3)
Feb 19, 4-5 AM (3)
Feb 19, 5-6 AM (3)
Feb 19, 6-7 AM (18)
Feb 19, 7-8 AM (83)
Feb 19, 8-9 AM (52)
Feb 19, 9-10 AM (115)
Feb 19, 10-11 AM (99)
Feb 19, 11-12 PM (94)
Feb 19, 12-1 PM (71)
Feb 19, 1-2 PM (50)
Feb 19, 2-3 PM (72)
Feb 19, 3-4 PM (115)
Feb 19, 4-5 PM (36)
Feb 19, 5-6 PM (78)
Feb 19, 6-7 PM (48)
Feb 19, 7-8 PM (11)
Feb 19, 8-9 PM (27)
Feb 19, 9-10 PM (22)
Feb 19, 10-11 PM (37)
Feb 19, 11-12 AM (39)
Feb 20, 12-1 AM (34)
Feb 20, 1-2 AM (18)
Feb 20, 2-3 AM (21)
Feb 20, 3-4 AM (18)
Feb 20, 4-5 AM (19)
Feb 20, 5-6 AM (1)
Feb 20, 6-7 AM (5)
Feb 20, 7-8 AM (26)
Feb 20, 8-9 AM (25)
Feb 20, 9-10 AM (79)
Feb 20, 10-11 AM (95)
Feb 20, 11-12 PM (55)
Feb 20, 12-1 PM (61)
Feb 20, 1-2 PM (48)
Feb 20, 2-3 PM (26)
Feb 20, 3-4 PM (42)
Feb 20, 4-5 PM (43)
Feb 20, 5-6 PM (31)
Feb 20, 6-7 PM (13)
Feb 20, 7-8 PM (16)
Feb 20, 8-9 PM (10)
Feb 20, 9-10 PM (28)
Feb 20, 10-11 PM (43)
Feb 20, 11-12 AM (14)
Feb 21, 12-1 AM (2)
Feb 21, 1-2 AM (0)
Feb 21, 2-3 AM (6)
Feb 21, 3-4 AM (2)
Feb 21, 4-5 AM (3)
Feb 21, 5-6 AM (1)
Feb 21, 6-7 AM (2)
Feb 21, 7-8 AM (9)
Feb 21, 8-9 AM (3)
Feb 21, 9-10 AM (0)
Feb 21, 10-11 AM (1)
Feb 21, 11-12 PM (22)
Feb 21, 12-1 PM (4)
Feb 21, 1-2 PM (2)
Feb 21, 2-3 PM (7)
Feb 21, 3-4 PM (4)
Feb 21, 4-5 PM (9)
Feb 21, 5-6 PM (1)
Feb 21, 6-7 PM (7)
Feb 21, 7-8 PM (3)
Feb 21, 8-9 PM (0)
Feb 21, 9-10 PM (22)
Feb 21, 10-11 PM (33)
Feb 21, 11-12 AM (22)
Feb 22, 12-1 AM (5)
Feb 22, 1-2 AM (3)
Feb 22, 2-3 AM (6)
Feb 22, 3-4 AM (0)
Feb 22, 4-5 AM (6)
Feb 22, 5-6 AM (3)
Feb 22, 6-7 AM (0)
Feb 22, 7-8 AM (0)
Feb 22, 8-9 AM (1)
Feb 22, 9-10 AM (0)
Feb 22, 10-11 AM (1)
Feb 22, 11-12 PM (2)
Feb 22, 12-1 PM (10)
Feb 22, 1-2 PM (1)
Feb 22, 2-3 PM (1)
Feb 22, 3-4 PM (1)
Feb 22, 4-5 PM (10)
Feb 22, 5-6 PM (10)
Feb 22, 6-7 PM (8)
Feb 22, 7-8 PM (13)
Feb 22, 8-9 PM (8)
Feb 22, 9-10 PM (23)
Feb 22, 10-11 PM (20)
Feb 22, 11-12 AM (23)
Feb 23, 12-1 AM (2)
Feb 23, 1-2 AM (3)
Feb 23, 2-3 AM (12)
Feb 23, 3-4 AM (11)
Feb 23, 4-5 AM (0)
Feb 23, 5-6 AM (1)
Feb 23, 6-7 AM (5)
Feb 23, 7-8 AM (78)
Feb 23, 8-9 AM (32)
Feb 23, 9-10 AM (45)
Feb 23, 10-11 AM (42)
Feb 23, 11-12 PM (64)
Feb 23, 12-1 PM (50)
Feb 23, 1-2 PM (111)
Feb 23, 2-3 PM (52)
Feb 23, 3-4 PM (35)
Feb 23, 4-5 PM (27)
Feb 23, 5-6 PM (27)
Feb 23, 6-7 PM (22)
Feb 23, 7-8 PM (17)
Feb 23, 8-9 PM (4)
Feb 23, 9-10 PM (20)
Feb 23, 10-11 PM (30)
Feb 23, 11-12 AM (17)
Feb 24, 12-1 AM (7)
Feb 24, 1-2 AM (6)
Feb 24, 2-3 AM (11)
Feb 24, 3-4 AM (5)
Feb 24, 4-5 AM (6)
Feb 24, 5-6 AM (11)
Feb 24, 6-7 AM (4)
4,568 commits this week
Feb 17, 2026
-
Feb 24, 2026
DO NOT MERGE(ci): add snark-flakiness-cache-bust
feat: add node-exporter service definition in Helm chart
feat: add .helmignore and update resource definitions in Helm charts
feat: implement datum and redeemer utxow validations (#713)
Merge pull request #804 from MeshJS/fix/package-conflicts
Fix/package conflicts
feat(midnight-state): process parameter datums from address deltas (#731)
Add HydraNodeConfig and update withHydraNode to use it
Add mkHydraNodeConfig smart constructor Add config smart constructors for multi party configs
Add EraT and CardanoNodeT monad transformers to reduce argument passing.
fix(mempool): address coderabbitai review
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
fix(mempool): address coderabbitai review
Signed-off-by: cryptodj413 <[email protected]>
feat(mempool): resolve inputs from mempool for chained txs
Signed-off-by: cryptodj413 <[email protected]>
Artifacts generated from 69c35df988285da9f2d87057c4889058f62f060b
refactor: dedupe prism-node vdr service and silence lint
Signed-off-by: Yurii Shynbuiev <[email protected]>
fix: include database driver provider sources
Signed-off-by: Yurii Shynbuiev <[email protected]>
Computational Instance for Dijkstra UTXOW Rule
This PR completes the formalization of the computational instance for the `UTXOW` transition rule in the Dijkstra era. + **Record-Based Premises**. Refactored the transition rules to use named record types for premises (`UTXOW-Normal-Premises`, `UTXOW-Legacy-Premises`, `SUBUTXOW-Premises`). This significantly improves type-checking performance and scannability compared to the previous nested-tuple approach. + **WitnessData Consolidation**. Centralized the logic for collecting vKey hashes, scripts, and data hashes into a `WitnessData` record to avoid redundant lookups and simplify the decider logic. + **Era Toggle Logic**. Introduced a boolean `v1-v3-allowed` flag to the `UTXOW` mode records; this provides a simpler decidable mechanism to distinguish between Dijkstra-native (Normal/V4) and compatibility (Legacy/V1-V3) modes (but we should be able to prove it using other premises instead (TODO)). + **Completeness Proof**. (TODO: finish implementing completeness proof for `UTXOW`.) + Finalize `normal-legacy-exclusive` lemma logic, removing temporary boolean toggle if an intrinsic proof based on script pool contents is possible. + Expand the `failure` strings into more descriptive error messages using a structured error type.