-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#257 In rainlanguage/rain.erc4626.words;
- Status: Open.#256 In rainlanguage/rain.erc4626.words;
- Status: Open.#255 In rainlanguage/rain.erc4626.words;
- Status: Open.#253 In rainlanguage/rain.erc4626.words;
- Status: Open.#245 In rainlanguage/rain.erc4626.words;
Add deferred integrity-pointer tests from #29: slot-distinctness guard + end-to-end integrity-path (input counts + error selector)
auditaudit findingaudit findingpass2audit dimension 2audit dimension 2Status: Open.#210 In rainlanguage/rain.erc4626.words;15 vault addresses + a pinned fork block + hand-computed expected outputs are three independent sources of truth with no enforced agreement
auditaudit findingaudit findingpass6audit dimension 6audit dimension 6Status: Open.#139 In rainlanguage/rain.erc4626.words;Word names, input ordering, and decimal semantics are duplicated in the README as a second hand-maintained source the meta consumer reads
auditaudit findingaudit findingpass6audit dimension 6audit dimension 6Status: Open.#133 In rainlanguage/rain.erc4626.words;Library LibERC4626SubParser missing @title/@notice
auditaudit findingaudit findingpass3audit dimension 3audit dimension 3Status: Open.#124 In rainlanguage/rain.erc4626.words;authoringMetaV2() has no NatSpec (missing @notice/@return)
auditaudit findingaudit findingpass3audit dimension 3audit dimension 3Status: Open.#119 In rainlanguage/rain.erc4626.words;Authoring-meta descriptions omit the lossless-revert constraint and over-claim that any float amount works
auditaudit findingaudit findingpass5audit dimension 5audit dimension 5Status: Open.#116 In rainlanguage/rain.erc4626.words;run() missing @return and operand @param documentation
ai:close-candidateAI vetter: candidate to closeAI vetter: candidate to closeauditaudit findingaudit findingpass3audit dimension 3audit dimension 3Status: Open.#111 In rainlanguage/rain.erc4626.words;