Regenerate scripts
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
- Add TxLevel TopTx arg to Tx/TxBody throughout (new kind parameter) - Fix hashScriptIntegrity: move to Cardano.Ledger.Alonzo.Tx, use ScriptIntegrity record - Replace dsUnifiedL/raCredential with accountsL/addAccountState/AccountAddress - Fix ApplyTxError (now data family ConwayApplyTxError), TxSubmitResult constructors - Add ConwayEraOnwardsDijkstra catch-all cases - Replace deprecated ppMinFeeAL/ppMinFeeBL with ppTxFeePerByteL/ppTxFeeFixedL - Move RewardAccount import to Cardano.Ledger.Address (pattern synonym) - Add Peras fields (NoPerasEnabled) to Bound/EraParams record constructions - Replace throwErrorAsException with throwIO (ErrorAsException e) - hydra-plutus: remove GADTs from default-extensions, add NoPolyKinds per-file, bump target-version to 1.1.0 Signed-off-by: Sasha Bogicevic <[email protected]>
Closed ──PartialFanout──────────► FanoutProgress
FanoutProgress ──PartialFanout──► FanoutProgress (repeat)
FanoutProgress ──FinalPartialFanout──────────────► Final (burns tokens)
Closed ──Fanout──────────────────────────────────► Final (≤ threshold, unchanged)
Off-chain, HeadLogic.emitNextFanoutStep now distinguishes FreshFanout from
FanoutInProgress to select the correct tx builder at each step.
checkPartialFanout now verifies that headInValue equals headOutValue plus the sum of all distributed output values, preventing Ada theft via outputs not counted by the membership proof. The off-chain partialFanoutTx builder is updated accordingly to subtract distributed values from the continuing head output.
Fix warnings