The full applicability derivation for one definition against one loaded
document: startable ∧ acceptsDocumentType ∧ start.filter.
"Deployed" is the caller's premise — feed it deployed definitions (the
engine verb definitionsForDocument does). Throws when document carries
no _type — that's a ref or a projection, not a loaded document. A
start.filter that doesn't PARSE also throws, naming the definition —
that's a malformed definition (only writable by bypassing deploy
validation), and silently excluding it would make it vanish from every
picker with nothing screaming; only an evaluation result of GROQ null
("can't decide") fails closed.
The full applicability derivation for one definition against one loaded document: startable ∧ acceptsDocumentType ∧
start.filter. "Deployed" is the caller's premise — feed it deployed definitions (the engine verbdefinitionsForDocumentdoes). Throws whendocumentcarries no_type— that's a ref or a projection, not a loaded document. Astart.filterthat doesn't PARSE also throws, naming the definition — that's a malformed definition (only writable by bypassing deploy validation), and silently excluding it would make it vanish from every picker with nothing screaming; only an evaluation result of GROQ null ("can't decide") fails closed.