Specify a PVA operator

Define behavior before implementation. Spec owns the behavior contract and test matrix. It does not implement the operator or invoke OpGen.

Inputs

Accept one or more of these sources:

• A plain-language description or local requirements file.
• A public requirements URL.
• A partial or complete specification.
• A local or public reference implementation.
• An existing operator name or path.