{include:preamble}
TARGET: Validation rule {V_NNN}
PROPERTY: must_reject({description})
ORACLE: V{NNN} rule definition in vyre/src/ir/validate.rs
Construct an ir::Program that violates exactly {V_NNN} and no other rule.
Assert that validate(&program) contains a ValidationError for {V_NNN}.
REQUIRED:
- The program must be otherwise well-formed.
- The error list must contain exactly one error, with rule == V{NNN}.
- If you cannot construct a program that violates ONLY this rule, output:
FAIL: rule {V_NNN} is not independently triggerable.
This is a finding — the validation rule set is not separable.
FORBIDDEN:
- DO NOT combine multiple validation rules in one test.
- DO NOT construct a program that is malformed in ways unrelated to {V_NNN}.
- DO NOT use helper functions or abstraction layers.