Add `DijkstraSpendingOutputFromSameTx` to `DijkstraLedgerPredFailure` to report when a sub-tx-id is being spent within the same transaction. Add Dijkstra.Imp.LedgerSpec with tests.
MemoBytes avoid space leaks
so it can be modified to wrap SubLedgers
`BinaryData` never requests the memoized Hash, so there is no need to retain the `ByteString`, it is better to use the already available `ShortByteString`
Upon decoding of a type it is quite possible to have a much larger lazy `ByteString` that is being supplied to the decoder, eg. decodign Tx in a Block. In order to ensure that that lazy buffer is not retained in memory we need to make a full copy of the slice, but only during decoding, not during construction, cause otherwise every lens update would incur significant overhead due to redundant serialization
Ensure original `ByteString` can be garbage collected as soon as the hash is computed
CDDL: Remove header_body discrepancy
* Add mkVersion32 and getVersion32 * Deprecate mkVersion64 and getVersion64 * Constrain dijkstra protocol_version minor to `uint .size 4`
block_body_size was not sized only for alonzo and babbage due to a historical error. It is now sized for all eras. And the header_body rule now clearly distinguishes when nonce_vrf and leader_vrf were deprecated in favor of vrf_result.
Add `DijkstraSpendingOutputFromSameTx` to `DijkstraLedgerPredFailure` to report when a sub-tx-id is being spent within the same transaction. Add Dijkstra.Imp.LedgerSpec with tests.
Add `DijkstraSpendingOutputFromSameTx` to `DijkstraLedgerPredFailure` to report when a sub-tx-id is being spent within the same transaction. Add Dijkstra.Imp.LedgerSpec with tests.
WIP. Starting to remove owners from the StakePoolSnapShot Reward computation is done Fix and Improve Arbitrary for SnapShot Move Stake definition to Stake module
Because it conflcicts with our internal type.
Add `DijkstraSpendingOutputFromSameTx` to `DijkstraLedgerPredFailure` to report when a sub-tx-id is being spent within the same transaction. Add Dijkstra.Imp.LedgerSpec with tests.