IntersectMBO / IntersectMBO/formal-ledger-specifications
[Dijkstra] Move `minFee` predicate check to a `feesOk` in the style of Conway
Open
era: dijkstra
nested transactions
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This issue has no description.
Contributor guide
Research direction
Locate the Dijkstra specification's minFee predicate check and compare it with the Conway feesOk pattern. Refactor the Dijkstra check to match that style, then verify that the formal specification still type-checks.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100