Verification/Decompose claims
Decompose claims
Decomposition turns transcripts and prompts into atomic claims.
Claim taxonomy
| Kind | Verifier rule |
|---|---|
| tool_execution | Match transcript tool rows. |
| assistant_assertion | Require supporting evidence. |
| structured_assistant_claim | Accept only with constrained-output provenance. |
| user_requirement | Trace to acceptance bullets. |
