Expand description
Evidence records, rustev.evidence/1, and rustev.evidence/2 for plan 3
(spec 032, 3.10): what one decision used and computed. Emitting and storing them is the runtime’s job (spec 003); the
pure core builds the record.
Structs§
- Check
Evidence - Corroboration
- A corroboration step’s record: the claim before and after, the outcome and every check.
- Dropped
By - Which check dropped an input (spec 033, 3.4.8).
- Entry
Evidence - One snapshot entry considered for a graded input.
- Evidence
Record - Input
Evidence - Join
Evidence - Merge
Evidence - One merged field: its side (or why it is absent), rule and grade.
- Read
Evidence - Resolution
- The rule applied to a disagreement and what it chose.
- Step
Evidence
Enums§
- Check
Reason - Check
Result - Corroboration
Outcome - Disposition
- Input
Status - Match
Status - Merged
Field - Resolution
Rule - The conflict rule applied (spec 032, 3.8.1); the source order of
preferandtreat_as_hintis the plan’s. - Step
Status - Used
Entry