Update src/Ledger/Dijkstra/Specification/Utxo.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Update Blackbox Exporter from v0.27.0 to v0.28.0 Update Blockfrost from 4.3.0 to 5.0.0 Update CoreDNS from 1.13.1 to 1.14.1 Update Debian from stable-20251117-slim to stable-20260112-slim Update Grafana from 12.3.0 to 12.3.1 Update Jaeger from 2.12.0 to 2.14.1 Update Loki from 3.6.2 to 3.6.4 Update Prometheus from v3.7.3 to v3.9.1 Update YQ from v4.49.2 to v4.50.1 Update uv from 0.9.13 to 0.9.27
Document the variable capture bug fix in the changelog.
Add 8 test cases covering variable capture scenarios in dischargeCekValue: - Free variables under 1, 2, and 3 lambdas - Deeply indexed free variables - Multiple free variables in the same term - Nested environment structures Tests verify that free variables are correctly shifted to prevent capture when terms are discharged from the evaluation environment. Tests for #7526
Add shiftTermBy function to correctly shift free variables when discharging values from the environment. Previously, free variables in discharged terms could be captured by outer lambdas, causing incorrect variable references in the output term. The fix tracks binding depth during discharge and shifts free variables (those with indices beyond the current binding depth) by the appropriate amount to maintain correct scoping. Resolves #7526
Make the dmq-node optional with the WITH_DMQ_NODE env variable. Defaults to 0.
As it is now needed for the foreign key between the blocks and transactions tables.
To hold block ranges roots for the `CardanoTransactions` signed entity type, the ranges for the new `CardanoBlocksTransactions` signed entity type will be stored in the `block_range_root` table.
Removing the block number and slot number from the transaction table (better storage efficiency). Adapt the crate to this new paradigm. Add some missing tests cases