IntersectMBO / IntersectMBO/formal-ledger-specifications

Clarify whether `maxRefScriptSize` takes duplicate scripts or not into account

Open
#1,171 0 comments 0 reactions 0 assignees View on GitHub
era: conway
Dominant language
Agda
Stars
52
Forks
20
Avg merge
6d 14h
Merged PRs (30d)
7

Description

We need to:
- add an Imp test case that showcases the difference between the implementation and specification
- change the specification to match what the implementation currently does.

Contributor guide

Open the contributing guide

Research direction

Locate maxRefScriptSize in the Imp implementation and specification, then compare how duplicate scripts are counted. Add the requested Imp test case showing the difference, and update the specification to match the current implementation. Confirm the test passes and the specification reflects that behavior.

Written by the indexing model from the issue text.

Assessment

Domain
backend
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
52/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.