Rulvar API reference / @rulvar/rulvar / ClaimContradictionFinding
Interface: ClaimContradictionFinding
Defined in: packages/core/dist/index.d.ts
One judged contradiction: the pair plus the judge's one-sentence reason.
Extends
Properties
| Property | Type | Description | Inherited from | Defined in |
|---|---|---|---|---|
anchor | string | The draft-side citation verbatim, e.g. 'src/exec.ts:256-296'. | ClaimPair.anchor | packages/core/dist/index.d.ts |
draftExcerpt | string | The citing draft sentence, collapsed and cut like the readings. | ClaimPair.draftExcerpt | packages/core/dist/index.d.ts |
pool | ClaimPoolReading[] | The pool sentences citing an intersecting span, first-seen order. | ClaimPair.pool | packages/core/dist/index.d.ts |
reason | string | - | - | packages/core/dist/index.d.ts |