REFERENCE
checking-incomplete
Default severity: error · Identifier: weavec::checking-incomplete
What it means
Section titled “What it means”A selected function has an unresolved safety obligation: cannot establish checked safety: <reason>.
How to resolve it
Section titled “How to resolve it”Read the obligation and its call path in the checked report. Establish the missing bound, initialization, validity, ownership, or callee requirement in code. If the operation is outside the supported model, isolate and document the trust boundary. Disabling a warning cannot complete the proof. See reading reports.