IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

#7.526 geöffnet am 15. Jan. 2026

Auf GitHub ansehen
 (5 Kommentare) (1 Reaktion) (1 zugewiesene Person)Haskell (1.637 Stars) (511 Forks)batch import
Good first issuebugstatus: triaged

Beschreibung

dischargeCekValue has the following code:

                  -- var is free, leave it alone
                  (Var () named)

which means that

(\0 \0 var 2) (delay (var 1))

evaluates to

[1 :-> delay (var 1)] (\0 var 2)

which then discharges to

\0 delay (var 1)

which is variable capture.

Contributor Guide

Tech Stack
Keine
Domain
backend
Issue Type
bug
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 hours
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
blocked
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
clear
Voraussetzungen
basic Haskelllambda calculus
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
25
Research-Richtung
The bug is in the `dischargeCekValue` function within the Plutus codebase. Start by locating this function, likely in a file related to the CEK machine evaluator. The issue describes variable capture when handling free variables. Review the specific case for `Var () named` and understand how the substitution is performed. Check if there are any existing tests for this behavior. The current assignee may have additional context; consider reviewing any comments for further guidance.