Type Alias: OpenWorldSearchCompletion
@kortexya/reasoninglayer / OpenWorldSearchCompletion
Type Alias: OpenWorldSearchCompletion
Section titled “Type Alias: OpenWorldSearchCompletion”OpenWorldSearchCompletion = {
status:"exhaustive"; } | {reasons:OpenWorldLimit[];status:"bounded"; }
Defined in: src/types/inference.ts:155
Whether an open-world ranking traversal was exhaustive, discriminated by
status.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ status: "exhaustive"; }
status
Section titled “status”status:
"exhaustive"
Discriminator: the traversal visited everything it could reach.
Type Literal
Section titled “Type Literal”{ reasons: OpenWorldLimit[]; status: "bounded"; }
reasons
Section titled “reasons”reasons:
OpenWorldLimit[]
The limits observed.
status
Section titled “status”status:
"bounded"
Discriminator: a limit stopped the traversal.
Remarks
Section titled “Remarks”This is traversal completion only, never a closed-world negative verdict:
an exhaustive open-world search with no solution does not refute the goal.
bounded lists the limits that stopped the traversal.