What deploy/diff accept, conditioned on how the value is typed. The
string extends keyof T test matches ONLY index-signature types (keyof
of a literal is a finite key union that string never extends) — i.e. how
fetch results are typed (Record<string, unknown>), which pass through to
the runtime boundary parse. Everything precisely typed gets the exact
WorkflowDefinition contract with two accepted exceptions: the
document envelope (the closed system-key union, so a typed
DeployedDefinition passes castless) and the authoring-only root
runtime block, so a DefinedWorkflow passes castless too. Every
other unknown key is never, making a typo'd literal a compile error rather
than a silent collapse to the record arm.
What deploy/diff accept, conditioned on how the value is typed. The
string extends keyof Ttest matches ONLY index-signature types (keyofof a literal is a finite key union thatstringnever extends) — i.e. how fetch results are typed (Record<string, unknown>), which pass through to the runtime boundary parse. Everything precisely typed gets the exact WorkflowDefinition contract with two accepted exceptions: the document envelope (the closed system-key union, so a typed DeployedDefinition passes castless) and the authoring-only rootruntimeblock, so a DefinedWorkflow passes castless too. Every other unknown key isnever, making a typo'd literal a compile error rather than a silent collapse to the record arm.