Type Alias: OsfqlRowVerdict

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / OsfqlRowVerdict

Type Alias: OsfqlRowVerdict

OsfqlRowVerdict = "true" | "false" | "unknown" | "contradicted" | string & object

Defined in: src/types/osfql.ts:243

The verdict of one OSFQL binding row.

Remarks

• true — the row is established.
• false — the row is refuted.
• unknown — the row binds a well-founded UNDEFINED conclusion.
• contradicted — the row binds a contradicted conclusion.

The wire field is a plain string; the open string arm keeps a verdict added by a later engine visible.