EXAMPLE — NOT A RESULT FROM A REAL REPOSITORY
Can an ordinary holder reach withdraw()?
This page shows the shape of a crash report. The names, paths, and statuses below are illustrative. They are not findings.
Question
Does an unprivileged caller have a public path from claim to withdraw in the repository that was submitted?
Evidence
A real report cites receipt ids, file paths, line ranges, and sha256 hashes produced by the engine. This example intentionally has none, because no repository was searched to write it.
Candidates
- UNRESOLVED Public entry exists. The call chain was not retrieved.
- Disproved hypotheses would be listed with the receipt that killed them, then kept in the morgue.
Contradictions
None are shown. An open decisive contradiction would block confirmation. Agreement would not close it.
Reproduction
Not run. A test receipt is a later stage. This preview does not imply a sandbox ran.
Next action
Retrieve the function and name the access control. Until that receipt exists, the status stays unresolved.