Migrate semantics-preserving gate changes
Type: kb/types/instruction.md
Use this instruction only when a verdict gate's wording changes without changing the judgment it asks for. If its meaning, scope, severity, exceptions, or output contract changes, run fresh assays instead.
Acknowledgement reuses completed evidence and advances the existing snapshot baseline; it does not append an event or rewrite the stored result. Because ack snapshots both sides, every affected note must still match its baseline note snapshot. If a note also changed, rerun that pair rather than silently accepting both changes together.
Steps
- Before editing, run the selector for the intended note scope under every affected model partition. Only migrate pairs that are currently fresh; resolve or rerun any pair already reported as
note-changed,criterion-changed, ormissing-baseline. A fresh pre-edit pair proves that both current files match its baseline snapshots. - Edit the gate file. Keep the criterion semantically equivalent; wording cleanup alone is not evidence that a behavioral change is harmless.
- Select the affected pairs under each model partition into an acknowledgement
manifest. Confirm every target's complete
reasonsarray contains onlycriterion-changed;--reasonalso returns a joint change and therefore is not sufficient evidence by itself.
bash
commonplace-review-target-selector {gate-id} --model-partition {model-partition} --note {note-paths...} --reason criterion-changed --json > {ack-manifest}
- Remove any target that is not verified for migration, then acknowledge the inspected manifest. This preserves completed verdict evidence while replacing only the criterion input snapshot. The command rejects any file or baseline change since selection:
bash
commonplace-ack-review --input {ack-manifest}
- Rerun the same selector without
--reason. An emptytargetslist means the migrated pairs are fresh. Inspect the evidence result rather than claiming that acknowledgement produced a new outcome.