OP-000: {Operator Name}
Purpose
Signature (typed)
Write it like a function/operator, including domains and codomains:
- Input type(s):
- Output type(s):
- State acted upon: (e.g.,
χ-field state, agent state, relational state)
Preconditions
Postconditions
Invariants (must remain true)
Algebraic / dynamical properties
- Linearity?
- Unitarity / non-unitarity?
- Locality / non-locality?
- Symmetry / conservation implications?