* Add ./script/nixpkgs-fmt.sh for non-Nix users. * Add nixpkgs-fmt in our Nix pre-commit hook. * Add Github CI check
Optimize Text byte length check in metadata and other places
Refactor such that each example from an era is build on top of the example of the previous era. Allows: * reduced duplication * each example of each era has most fields set with values
Refactor such that each example from an era is build on top of the example of the previous era. Allows: * reduced duplication * each example of each era has most fields set with values
since it should be moved to top level UTXOW
Update ConwayTICKF to have Void as its PredicateFailure. This makes the implementation clearer while also allowing futureForecast to be pure.
`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`, `validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``
See: #5477
Export reusable validations to future eras and update the BBODY signal.
* Export reusable validations to future eras and update the BBODY signal. * Move isOverlaySlot calculation into incrBlock.
Refactor such that each example from an era is build on top of the example of the previous era. Allows: * reduced duplication * each example of each era has most fields set with values
Add withGenerator to plutus_v4_script to prevent set collisions, matching the fix for V1/V2/V3. Enable previously disabled Dijkstra tests that now pass: AuxData roundtrip, TxOut/Script/TxWits ArbitraryValidate, PParamsUpdate/ProposalProcedure/GovAction ArbitraryValidate, and TxAuxData decoder equivalence. Update xdescribe reasons for tests that remain disabled (plutus_v4_script tag 4 not yet supported by decoder, metadatum validation, empty redeemers). Co-Authored-By: Claude Opus 4.6 <[email protected]>
After removing distinct_bytes, the CDDL generator could produce duplicate empty byte strings for plutus scripts in nonempty_set collections (tag 258). The Set decoder would deduplicate them, causing a length mismatch error. Fix by generating 32-byte random bytestrings which makes collisions virtually impossible. Also mark proposal_procedure antiCborSpec as pending due to unrelated protver decoder issue. Co-Authored-By: Claude Opus 4.6 <[email protected]>