Skip to content

Rulvar API reference


Rulvar API reference / @rulvar/rulvar / findContradictions

Function: findContradictions()

ts
function findContradictions(rows, options?): Contradiction[];

Defined in: packages/core/dist/index.d.ts

Folds the settled children's outputs into the contradictions they hold against each other. Pure and deterministic: the output depends only on the input order and bytes, so a resumed run re-derives it without journaling anything.

Parameters

ParameterType
rowsreadonly ContradictionSource[]
options?ContradictionOptions

Returns

Contradiction[]