Expand description
Constraints become Active memory because a change was kept, not because the model mentioned them.
Accept binds the change-set digest. Revert and reject stay negative evidence and are absent from Active recall. The binding is the ledger the promoting host writes; restart reloads that file.