ADR-0087 exemption (already-registered): this change adds no new transition. The first id's replacement prescribes the two-bound { $field } spelling and states that a reference is legal as the WHOLE comparand of $eq / $ne / $gt / $gte / $lt / $lte; `having` now evaluates exactly that, and refuses the list-member position the same ruling removed. The other two register the $icontains comparand and the retired $regex / $options refusals, which `having` already made on a populated grouped set and now makes whatever the rows. The comparand-type set was ruled at the shared face with no ledger entry; this change runs that face, unmodified, on one more position. The remaining refusals are of inputs `having` never had a meaning for: a value that is not a filter condition (FilterConditionSchema, the declared type of `having`, refuses it), an operator outside the vocabulary, and a reference that names no column. `having` is a request-only key: no metadata type stores it, so there is no stored document for `objectstack migrate meta` to rewrite. The table below is the author-facing remedy for each row, not a mechanical rewrite.