IntersectMBO / IntersectMBO/formal-ledger-specifications
Clarify whether `maxRefScriptSize` takes duplicate scripts or not into account
Open
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
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