Include txouts scripts and data
Home /
Input Output /
formal-ledger-specifications
Jan 09, 11-12 PM (0)
Jan 09, 12-1 PM (0)
Jan 09, 1-2 PM (1)
Jan 09, 2-3 PM (13)
Jan 09, 3-4 PM (0)
Jan 09, 4-5 PM (0)
Jan 09, 5-6 PM (0)
Jan 09, 6-7 PM (0)
Jan 09, 7-8 PM (0)
Jan 09, 8-9 PM (0)
Jan 09, 9-10 PM (0)
Jan 09, 10-11 PM (0)
Jan 09, 11-12 AM (10)
Jan 10, 12-1 AM (1)
Jan 10, 1-2 AM (0)
Jan 10, 2-3 AM (0)
Jan 10, 3-4 AM (0)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (0)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (0)
Jan 10, 8-9 AM (0)
Jan 10, 9-10 AM (0)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (0)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (0)
Jan 10, 3-4 PM (0)
Jan 10, 4-5 PM (0)
Jan 10, 5-6 PM (0)
Jan 10, 6-7 PM (0)
Jan 10, 7-8 PM (0)
Jan 10, 8-9 PM (0)
Jan 10, 9-10 PM (0)
Jan 10, 10-11 PM (0)
Jan 10, 11-12 AM (0)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (0)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (0)
Jan 11, 4-5 AM (0)
Jan 11, 5-6 AM (0)
Jan 11, 6-7 AM (0)
Jan 11, 7-8 AM (0)
Jan 11, 8-9 AM (0)
Jan 11, 9-10 AM (0)
Jan 11, 10-11 AM (0)
Jan 11, 11-12 PM (0)
Jan 11, 12-1 PM (0)
Jan 11, 1-2 PM (0)
Jan 11, 2-3 PM (0)
Jan 11, 3-4 PM (0)
Jan 11, 4-5 PM (0)
Jan 11, 5-6 PM (0)
Jan 11, 6-7 PM (0)
Jan 11, 7-8 PM (0)
Jan 11, 8-9 PM (0)
Jan 11, 9-10 PM (0)
Jan 11, 10-11 PM (0)
Jan 11, 11-12 AM (0)
Jan 12, 12-1 AM (0)
Jan 12, 1-2 AM (0)
Jan 12, 2-3 AM (0)
Jan 12, 3-4 AM (0)
Jan 12, 4-5 AM (0)
Jan 12, 5-6 AM (0)
Jan 12, 6-7 AM (0)
Jan 12, 7-8 AM (0)
Jan 12, 8-9 AM (0)
Jan 12, 9-10 AM (0)
Jan 12, 10-11 AM (0)
Jan 12, 11-12 PM (0)
Jan 12, 12-1 PM (0)
Jan 12, 1-2 PM (1)
Jan 12, 2-3 PM (1)
Jan 12, 3-4 PM (24)
Jan 12, 4-5 PM (1)
Jan 12, 5-6 PM (1)
Jan 12, 6-7 PM (0)
Jan 12, 7-8 PM (0)
Jan 12, 8-9 PM (0)
Jan 12, 9-10 PM (0)
Jan 12, 10-11 PM (0)
Jan 12, 11-12 AM (0)
Jan 13, 12-1 AM (0)
Jan 13, 1-2 AM (0)
Jan 13, 2-3 AM (0)
Jan 13, 3-4 AM (0)
Jan 13, 4-5 AM (2)
Jan 13, 5-6 AM (20)
Jan 13, 6-7 AM (0)
Jan 13, 7-8 AM (0)
Jan 13, 8-9 AM (0)
Jan 13, 9-10 AM (0)
Jan 13, 10-11 AM (0)
Jan 13, 11-12 PM (0)
Jan 13, 12-1 PM (3)
Jan 13, 1-2 PM (0)
Jan 13, 2-3 PM (0)
Jan 13, 3-4 PM (4)
Jan 13, 4-5 PM (0)
Jan 13, 5-6 PM (0)
Jan 13, 6-7 PM (0)
Jan 13, 7-8 PM (0)
Jan 13, 8-9 PM (0)
Jan 13, 9-10 PM (0)
Jan 13, 10-11 PM (0)
Jan 13, 11-12 AM (0)
Jan 14, 12-1 AM (0)
Jan 14, 1-2 AM (0)
Jan 14, 2-3 AM (0)
Jan 14, 3-4 AM (0)
Jan 14, 4-5 AM (0)
Jan 14, 5-6 AM (0)
Jan 14, 6-7 AM (0)
Jan 14, 7-8 AM (2)
Jan 14, 8-9 AM (8)
Jan 14, 9-10 AM (1)
Jan 14, 10-11 AM (2)
Jan 14, 11-12 PM (1)
Jan 14, 12-1 PM (1)
Jan 14, 1-2 PM (0)
Jan 14, 2-3 PM (6)
Jan 14, 3-4 PM (7)
Jan 14, 4-5 PM (2)
Jan 14, 5-6 PM (1)
Jan 14, 6-7 PM (0)
Jan 14, 7-8 PM (0)
Jan 14, 8-9 PM (0)
Jan 14, 9-10 PM (0)
Jan 14, 10-11 PM (0)
Jan 14, 11-12 AM (0)
Jan 15, 12-1 AM (0)
Jan 15, 1-2 AM (0)
Jan 15, 2-3 AM (3)
Jan 15, 3-4 AM (2)
Jan 15, 4-5 AM (0)
Jan 15, 5-6 AM (0)
Jan 15, 6-7 AM (0)
Jan 15, 7-8 AM (0)
Jan 15, 8-9 AM (0)
Jan 15, 9-10 AM (0)
Jan 15, 10-11 AM (0)
Jan 15, 11-12 PM (0)
Jan 15, 12-1 PM (0)
Jan 15, 1-2 PM (0)
Jan 15, 2-3 PM (1)
Jan 15, 3-4 PM (0)
Jan 15, 4-5 PM (0)
Jan 15, 5-6 PM (0)
Jan 15, 6-7 PM (0)
Jan 15, 7-8 PM (0)
Jan 15, 8-9 PM (0)
Jan 15, 9-10 PM (1)
Jan 15, 10-11 PM (2)
Jan 15, 11-12 AM (11)
Jan 16, 12-1 AM (5)
Jan 16, 1-2 AM (0)
Jan 16, 2-3 AM (0)
Jan 16, 3-4 AM (0)
Jan 16, 4-5 AM (1)
Jan 16, 5-6 AM (1)
Jan 16, 6-7 AM (0)
Jan 16, 7-8 AM (0)
Jan 16, 8-9 AM (0)
Jan 16, 9-10 AM (0)
Jan 16, 10-11 AM (1)
Jan 16, 11-12 PM (0)
141 commits this week
Jan 09, 2026
-
Jan 16, 2026
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from c581a12a0d3b642e4326c5d574eaa1e0d861e950
address PR change requests
Artifacts generated from 72cf82416e52bc137c51671e1e09570f1d2fdefd
Add batch-level coin mint constraint to prevent Ada forgery (#1023)
* improvements * Initial plan * Add batchMintedCoin constraint to prevent Ada forgery Co-authored-by: williamdemeo <[email protected]> * Add documentation for batchMintedCoin security constraint Co-authored-by: williamdemeo <[email protected]> * Use consistent aggregation syntax for batchMintedCoin Co-authored-by: williamdemeo <[email protected]> --------- Co-authored-by: William DeMeo <[email protected]> Co-authored-by: copilot-swe-agent[bot] <[email protected]> Co-authored-by: williamdemeo <[email protected]>
remove duplicate typeclass instance
first pass at the UTXOS rule
clean up txInfoForPurpose
Add support for batch-level validity checking
add `TxInfo.txInfoSubTxs` field
1. Introduce subTx info type (using an alias for `TxInfo` for now). 2. Extend `TxInfo` with field `txInfoSubTxs : Maybe (List SubTxInfo)`. 3. Define a purpose-built builder: + Top-level Guard scripts ⇒ `txInfoSubTxs = just (...)` + Everything else ⇒ `txInfoSubTxs = nothing` + SubTx scripts ⇒ always `nothing` (even for `Guard` at sub level)
clean up txInfoForPurpose
cleanup and explain two utxo arguments
Fix prose explaining CIP 118.
+ Remove contradiction between "ref inputs may refer to earlier tx outputs in the batch" vs "all inputs must exist before applying any tx in the batch." The new text punts the exact constraint to the UTxO rules (where it belongs). + Fix Plutus bullet (old "nor earlier versions" reads like "no Plutus at all"). + Align fees with current Agda (`txFee : InTopLevel …`), but leave room for later CIP-driven updates.
Artifacts generated from 51c1cb4490ea549723e2d81358cfa96dfa1a2856
Fix Show instance of PParams
Make costmdls a map
Artifacts generated from 7659da8388e65f1e9442560a62190bb70cd376d3
Artifacts generated from 162264eea76472cd8ae5eaaf0c066f2a1e21282c
Artifacts generated from cec126a4755f58724665116c11b59928c3f6cacd