> because now history is bounded we can safely use all its points as candidates to find an intersection
Add `DijkstraSpendingOutputFromSameTx` to `DijkstraLedgerPredFailure` to report when a sub-tx-id is being spent within the same transaction. Add Dijkstra.Imp.LedgerSpec with tests.
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
![vercel[bot]](https://avatars.githubusercontent.com/in/8329?v=4&s=80)
Updated dependencies to fix Next.js and React CVE vulnerabilities. The fix-react2shell-next tool automatically updated the following packages to their secure versions: - next - react-server-dom-webpack - react-server-dom-parcel - react-server-dom-turbopack All package.json files have been scanned and vulnerable versions have been patched to the correct fixed versions based on the official React advisory. Co-authored-by: Vercel <vercel[bot]@users.noreply.github.com>
Fixes #244
* 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]>