python-verbs-failure

A verb body of raise NotImplementedError, pass, or bare ellipsis is a missing expansion, not a TODO. Replace the stub with the work the verb row declares: construct the declared fact, re-point the state field to it, and emit it through a client field.

A verb body holds at most one top-level construction statement, with constituents constructing inside that single call. Building a constituent in a separate statement beside the composite restates what the composite's call already proves.

A fact implied by a frozen model's already-proven fields is a derivation and must be decorated with @property, @cached_property, or @computed_field. Use @property for cheap recomputation, @cached_property for costly or recursive computation, and @computed_field to include the fact in the serialized shape.

A verb's signature must render its modeled row exactly, so a yielding verb must be typed as AsyncIterator or Iterator of the fact it yields. A plain return annotation on a yielding verb is surface drift from the row's declared type.

The body must realize exactly the chain the row declares: construct every constructs participant and emit every emits participant. A promised participant the body never touches is promised work undone, and the body must construct and emit it.