Type Alias: OpenWorldLimit

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / OpenWorldLimit

Type Alias: OpenWorldLimit

OpenWorldLimit = "private_premises_excluded" | "witness_scan_limit" | "depth_limit" | "cycle_guard" | "answer_limit" | "deadline"

Defined in: src/types/inference.ts:138

A limit observed during native open-world ranking.

Remarks

• private_premises_excluded — premises the caller may not read were left out.
• witness_scan_limit — the witness scan stopped at its limit.
• depth_limit — the search reached its depth bound.
• cycle_guard — a cycle guard cut a branch.
• answer_limit — the answer limit was reached.
• deadline — the deadline passed.