Refinement

A constraint carried inside Annotated, applied by codec_of.

Annotated[RelPath, where('stays in the workspace', _inside)] — the requirement is the diagnosis in the raised PayloadError and the feedback shown to the model; holds is the pure predicate every accepted value must satisfy. Lives here, next to refine, so codec_of can recognise it without a circular import with agentsparty.message.

Attributes

Functions