Record one audited claim
elliot_record_claimSubmits one documentation claim with its verdict and evidence for validation. Elliot confirms every source and code quote at the cited lines and runs absent searches itself, rejecting the claim if any citation fails.
Instructions
Submit one claim with its verdict and evidence. Elliot checks that the claim's source quote is really in the docs at those lines, that every evidence quote is really in the code at those lines, and runs every 'absent' search itself. If anything does not check out the claim is rejected: fix the citation and submit again.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| note | No | For VERIFIED: a minor gap worth mentioning that misleads nobody. | |
| claim | Yes | The claim, quoted or tightly paraphrased, as a user would read it. | |
| source | Yes | Where the project makes the claim. | |
| verdict | Yes | VERIFIED: the code implements it. PARTIAL: implemented with a material gap or narrower than claimed. FALSE: the code contradicts it or the feature does not exist. UNVERIFIABLE: depends on a deployment, contract or service outside the repo. | |
| audit_id | Yes | ||
| evidence | Yes | Code that implements or contradicts the claim. Use type 'absent' when the claimed thing does not exist in code. | |
| severity | No | Required for PARTIAL and FALSE: how much a user relying on the claim is hurt. | |
| explanation | Yes | One or two plain sentences: what the code actually does. | |
| user_impact | No | Required for PARTIAL and FALSE: what a user who relies on this sentence would get wrong, concretely. If there is no real consequence, use VERIFIED with a note. |