Jan 20, 3-4 PM (32)
Jan 20, 4-5 PM (40)
Jan 20, 5-6 PM (36)
Jan 20, 6-7 PM (11)
Jan 20, 7-8 PM (20)
Jan 20, 8-9 PM (17)
Jan 20, 9-10 PM (16)
Jan 20, 10-11 PM (31)
Jan 20, 11-12 AM (22)
Jan 21, 12-1 AM (4)
Jan 21, 1-2 AM (5)
Jan 21, 2-3 AM (2)
Jan 21, 3-4 AM (4)
Jan 21, 4-5 AM (8)
Jan 21, 5-6 AM (3)
Jan 21, 6-7 AM (6)
Jan 21, 7-8 AM (16)
Jan 21, 8-9 AM (36)
Jan 21, 9-10 AM (58)
Jan 21, 10-11 AM (54)
Jan 21, 11-12 PM (52)
Jan 21, 12-1 PM (42)
Jan 21, 1-2 PM (32)
Jan 21, 2-3 PM (36)
Jan 21, 3-4 PM (26)
Jan 21, 4-5 PM (18)
Jan 21, 5-6 PM (11)
Jan 21, 6-7 PM (14)
Jan 21, 7-8 PM (27)
Jan 21, 8-9 PM (27)
Jan 21, 9-10 PM (6)
Jan 21, 10-11 PM (28)
Jan 21, 11-12 AM (25)
Jan 22, 12-1 AM (9)
Jan 22, 1-2 AM (12)
Jan 22, 2-3 AM (10)
Jan 22, 3-4 AM (6)
Jan 22, 4-5 AM (4)
Jan 22, 5-6 AM (2)
Jan 22, 6-7 AM (11)
Jan 22, 7-8 AM (21)
Jan 22, 8-9 AM (12)
Jan 22, 9-10 AM (19)
Jan 22, 10-11 AM (38)
Jan 22, 11-12 PM (27)
Jan 22, 12-1 PM (23)
Jan 22, 1-2 PM (39)
Jan 22, 2-3 PM (14)
Jan 22, 3-4 PM (43)
Jan 22, 4-5 PM (40)
Jan 22, 5-6 PM (22)
Jan 22, 6-7 PM (6)
Jan 22, 7-8 PM (16)
Jan 22, 8-9 PM (17)
Jan 22, 9-10 PM (14)
Jan 22, 10-11 PM (37)
Jan 22, 11-12 AM (32)
Jan 23, 12-1 AM (8)
Jan 23, 1-2 AM (16)
Jan 23, 2-3 AM (6)
Jan 23, 3-4 AM (6)
Jan 23, 4-5 AM (4)
Jan 23, 5-6 AM (5)
Jan 23, 6-7 AM (6)
Jan 23, 7-8 AM (16)
Jan 23, 8-9 AM (35)
Jan 23, 9-10 AM (50)
Jan 23, 10-11 AM (54)
Jan 23, 11-12 PM (129)
Jan 23, 12-1 PM (30)
Jan 23, 1-2 PM (30)
Jan 23, 2-3 PM (35)
Jan 23, 3-4 PM (55)
Jan 23, 4-5 PM (16)
Jan 23, 5-6 PM (37)
Jan 23, 6-7 PM (46)
Jan 23, 7-8 PM (33)
Jan 23, 8-9 PM (13)
Jan 23, 9-10 PM (8)
Jan 23, 10-11 PM (26)
Jan 23, 11-12 AM (24)
Jan 24, 12-1 AM (28)
Jan 24, 1-2 AM (4)
Jan 24, 2-3 AM (11)
Jan 24, 3-4 AM (4)
Jan 24, 4-5 AM (3)
Jan 24, 5-6 AM (0)
Jan 24, 6-7 AM (4)
Jan 24, 7-8 AM (2)
Jan 24, 8-9 AM (1)
Jan 24, 9-10 AM (2)
Jan 24, 10-11 AM (7)
Jan 24, 11-12 PM (4)
Jan 24, 12-1 PM (2)
Jan 24, 1-2 PM (1)
Jan 24, 2-3 PM (10)
Jan 24, 3-4 PM (12)
Jan 24, 4-5 PM (5)
Jan 24, 5-6 PM (13)
Jan 24, 6-7 PM (3)
Jan 24, 7-8 PM (3)
Jan 24, 8-9 PM (6)
Jan 24, 9-10 PM (3)
Jan 24, 10-11 PM (25)
Jan 24, 11-12 AM (23)
Jan 25, 12-1 AM (0)
Jan 25, 1-2 AM (3)
Jan 25, 2-3 AM (0)
Jan 25, 3-4 AM (1)
Jan 25, 4-5 AM (1)
Jan 25, 5-6 AM (1)
Jan 25, 6-7 AM (1)
Jan 25, 7-8 AM (1)
Jan 25, 8-9 AM (1)
Jan 25, 9-10 AM (3)
Jan 25, 10-11 AM (0)
Jan 25, 11-12 PM (1)
Jan 25, 12-1 PM (7)
Jan 25, 1-2 PM (6)
Jan 25, 2-3 PM (12)
Jan 25, 3-4 PM (12)
Jan 25, 4-5 PM (2)
Jan 25, 5-6 PM (1)
Jan 25, 6-7 PM (2)
Jan 25, 7-8 PM (9)
Jan 25, 8-9 PM (5)
Jan 25, 9-10 PM (6)
Jan 25, 10-11 PM (21)
Jan 25, 11-12 AM (22)
Jan 26, 12-1 AM (11)
Jan 26, 1-2 AM (13)
Jan 26, 2-3 AM (15)
Jan 26, 3-4 AM (8)
Jan 26, 4-5 AM (4)
Jan 26, 5-6 AM (0)
Jan 26, 6-7 AM (4)
Jan 26, 7-8 AM (9)
Jan 26, 8-9 AM (48)
Jan 26, 9-10 AM (34)
Jan 26, 10-11 AM (16)
Jan 26, 11-12 PM (23)
Jan 26, 12-1 PM (44)
Jan 26, 1-2 PM (29)
Jan 26, 2-3 PM (33)
Jan 26, 3-4 PM (21)
Jan 26, 4-5 PM (27)
Jan 26, 5-6 PM (18)
Jan 26, 6-7 PM (16)
Jan 26, 7-8 PM (12)
Jan 26, 8-9 PM (19)
Jan 26, 9-10 PM (10)
Jan 26, 10-11 PM (29)
Jan 26, 11-12 AM (37)
Jan 27, 12-1 AM (14)
Jan 27, 1-2 AM (4)
Jan 27, 2-3 AM (4)
Jan 27, 3-4 AM (20)
Jan 27, 4-5 AM (2)
Jan 27, 5-6 AM (1)
Jan 27, 6-7 AM (9)
Jan 27, 7-8 AM (22)
Jan 27, 8-9 AM (26)
Jan 27, 9-10 AM (29)
Jan 27, 10-11 AM (70)
Jan 27, 11-12 PM (38)
Jan 27, 12-1 PM (49)
Jan 27, 1-2 PM (41)
Jan 27, 2-3 PM (13)
Jan 27, 3-4 PM (2)
3,031 commits this week Jan 20, 2026 - Jan 27, 2026
Version Update
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
test(cek): add comprehensive discharge tests for free variables
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
fix(cek): prevent variable capture in dischargeCekValue
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