Type Alias: TermState

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / TermState

Type Alias: TermState

TermState = "complete" | "residuated" | "failed" | "no_witnesses"

Defined in: src/types/terms.ts:14

Validation state of a term within a ValidatedTermResponse.

• "complete" — all type witnesses are satisfied
• "residuated" — some witnesses are suspended (missing information)
• "no_witnesses" — the sort has no witness requirements