The rule, stated so it can be quoted in a review: a pair of instruction sets is behaviorally equivalent when every fixture in the suite stays inside its preset band on tool sequence, argument values and answer content, across the stated number of repeated runs. Everything else is a behavior change.
Turn that into a routable decision:
- Zero crossings, across all fixtures and all repeats: record the change as a no-op, mark it equivalent, and let it skip the full gate with a logged reference to the run manifest. This is the payoff. Prompt edits are frequent, and a "be concise" rewrite that changes nothing should not burn reviewer time (Braintrust on prompt management).
- Any crossing: the edit is a behavior change. Score it, route it, gate it.
The risk score should absorb the result rather than sit beside it. A simple additive model works: start from a base score, add a weight per crossed fixture scaled by fixture criticality (a sensitive-tool fixture weighs more than a formatting fixture), add a term for how far the answer similarity fell below the threshold, and add a penalty if any run showed non-determinism above the noise floor. Two numbers matter for calibration: the crossing rate (crossed fixtures divided by total fixtures) and the worst single crossing. A change that crosses one low-criticality fixture should route to a fast review; a change that crosses three fixtures including a sensitive one should route to the full gate.
This is the same logic change management has used for years. The 7 R's ask who raised the change, why, what return is expected, what the risks are, and what happens if you reject it (SolarWinds' checklist). Behavioral equivalence answers the risk question with evidence instead of opinion, and the run manifest becomes the audit trail: what changed, which fixtures ran, what the deltas were, who approved the equivalence call (the prompt governance overview).
A worked example. Take 30 fixtures, with 4 marked critical because they touch a write tool. Version B crosses 3 fixtures: two formatting-only answer changes and one refusal on an ambiguous task that is not critical. Sequence and arguments match everywhere. If your band classifies formatting as equivalent, you have one real crossing out of 30, a crossing rate of about 3%, on a non-critical fixture. Route to fast review. Now flip one detail: one of the crossed fixtures is the refund task that no longer reads policy first. That single critical crossing should outweigh the other 29 passes, and the model should escalate the score to the full gate. The lesson is that the crossing rate alone is the wrong trigger; criticality has to multiply it.
A second worked example on scaling. Suppose the team ships 40 prompt edits a quarter and each full gate review costs a reviewer half a day. If equivalence lets 25 of those skip the gate, you recover roughly 12 reviewer-days a quarter. That is the business case for building the suite, and it is worth stating in the design doc so the work is not treated as optional quality overhead.