A todoList-shaped array entry: the sugar's fixed of declares label +
status rows, which tells a todo list apart from other array kinds (e.g.
the notes sugar's {body, actor, at}). Accepts both vocabularies —
a deployed definition entry (type) and a resolved instance entry
(_type) — so start-time and runtime surfaces share one verdict. The
resolved-entry overload comes last: contextual typing reads an overloaded
argument's FINAL signature, which .filter(isTodoListEntry) needs.
A todoList-shaped
arrayentry: the sugar's fixedofdeclareslabel+statusrows, which tells a todo list apart from other array kinds (e.g. thenotessugar's{body, actor, at}). Accepts both vocabularies — a deployed definition entry (type) and a resolved instance entry (_type) — so start-time and runtime surfaces share one verdict. The resolved-entry overload comes last: contextual typing reads an overloaded argument's FINAL signature, which.filter(isTodoListEntry)needs.