{include:preamble}
TARGET: op {op_name} on every conformant backend
PROPERTY: I3 (backend equivalence)
ORACLE: Reference interpreter
Build a Program using {op} with inputs {input_class}.
Run it on every registered backend.
Assert every result is byte-identical to the reference interpreter.
REQUIRED:
- If only one backend is registered, skip with reason "I3 needs ≥2 backends."
- Iterate backends via the registry, not hardcoded names.
- Fail with a diff showing which backends disagreed.
FORBIDDEN:
- DO NOT hardcode backend names.
- DO NOT skip backends without documenting why.
- DO NOT compare backends against each other instead of against the reference interpreter.