IntersectMBO/plutus

`dischargeCekValue` doesn't handle open terms correctly

Open

#7,526 opened on 2026年1月15日

GitHub で見る
 (5 comments) (1 reaction) (1 assignee)Haskell (1,637 stars) (511 forks)batch import
Good first issuebugstatus: triaged

説明

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.

コントリビューターガイド

技術スタック
なし
領域
backend
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
4
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3 hours
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
blocked
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
basic Haskelllambda calculus
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
25
調査方針
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.