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 and confirm they are stale only because the criterion changed:
bash
commonplace-review-target-selector {gate-id} --model-partition {model-partition} --note {note-paths...} --reason criterion-changed --json
- Acknowledge each verified pair. This preserves its completed verdict evidence while replacing the one existing freshness baseline row with snapshots of the unchanged note and edited criterion:
bash
commonplace-ack-review {note-path} --model-partition {model-partition} {gate-id}
- 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.