docs(spec): drop "and os lint" and the voided-record run attributions (#19514)

Round 6, two deletions ordered by the seat:

- B1: the scalar entry's acceptanceCriteria said "os validate and os
  lint report each one by path"; os lint does not report this rule for
  a view's filter. "and os lint" is deleted and the verb agrees with its
  single subject ("reports"), the one non-deletion the order allows.
- N1: the attributions saying this change's review also ran driver-sql
  on a live PostgreSQL 16, driver-sqlite-wasm and turso's remote
  transport rest on records the seat voided. They are deleted from the
  scalar entry's reason, the changeset's "How each cell was measured"
  paragraph and the view.zod.ts docblock. The driver-memory 17.3.0
  attributions stay.

registry.ts regenerated by gen:migration-registry.

Claude-Session: https://claude.ai/code/session_01Sfe5YjBLwB9J3y8fvm2xq1
Co-authored-by: Claude <noreply@anthropic.com>

Author: claude

.changeset/19514-view-filter-rule-scalar-arm-and-icontains-comparand.md

@@ -20,7 +20,7 @@ Direction set by objectui#9050's ruling C′, quoted untranslated: 「the differ
 | `driver-memory` | **REFUSES** — the same shape in the same envelope |
 | `driver-mongodb` | **ANSWERS** — `translateFilter` passes the array through unchanged and the engine's shared comparand doors pass the shape, so the server applies MongoDB's equality rule for an array operand: a row matches when its stored array **equals** `['a']` **or holds `['a']` as an element**, and a row storing the scalar `'a'` does not (mingo 7.2.4, over `['a']`, `'a'`, `['a', 'b']`, `['b', 'a']`, `[['a'], 'x']`, `[['a']]` and `'b'`, selects `['a']`, `[['a'], 'x']` and `[['a']]`); a live `mongod` is NOT MEASURED |
 
-How each cell was measured. Run for this change on the lowered `{ tags: ['a'] }`, each beside a scalar and an `$in` control: `driver-sql` on SQLite, `driver-memory`, `driver-mongodb`'s `translateFilter`, and mingo 7.2.4 for MongoDB's rule. Run in this change's review: `driver-sql` on a live PostgreSQL 16 (refused before any SQL statement was emitted), `driver-sqlite-wasm`, and turso's remote transport over the repository's libsql stub. ⚠️ NOT MEASURED: MySQL, a live Turso server, and a live `mongod` — the MongoDB row is read at the driver's compile face, at the engine's shared comparand doors and through mingo.
+How each cell was measured. Run for this change on the lowered `{ tags: ['a'] }`, each beside a scalar and an `$in` control: `driver-sql` on SQLite, `driver-memory`, `driver-mongodb`'s `translateFilter`, and mingo 7.2.4 for MongoDB's rule. ⚠️ NOT MEASURED: MySQL, a live Turso server, and a live `mongod` — the MongoDB row is read at the driver's compile face, at the engine's shared comparand doors and through mingo.
 
 **None reads the array as the scalar the operator declares.** `driver-mongodb` returns rows — but for a different predicate, and only on an array-valued field, so it reads as a true statement about data the rule never asked for (a live `mongod` is NOT MEASURED). Earlier releases are a separate question, and only partly measured: `driver-memory` refuses the shape from 17.4.0, while its published 17.3.0 returned the row stored as `['a']` (run in this change's review; which other rows it selected, nested arrays included, is NOT MEASURED); whether any earlier SQL-family release answered the shape is NOT MEASURED.
 

packages/spec/src/migrations/entries/semantic/18.view-filter-rule-scalar-operator-array-refused.ts

@@ -55,9 +55,7 @@ export const entry: SemanticMigration = {
     + 'compile face, at those engine doors and through mingo 7.2.4, which applies that rule; '
     + 'a live mongod instance was NOT measured. Method: driver-sql on SQLite, driver-memory, '
     + 'driver-mongodb\'s translateFilter and mingo were each run on the '
-    + 'lowered node beside a scalar and an $in control, and this change\'s review also ran '
-    + 'driver-sql on a live PostgreSQL 16 (refused before any SQL statement was emitted), '
-    + 'driver-sqlite-wasm, and turso\'s remote transport over the repository\'s libsql stub; '
+    + 'lowered node beside a scalar and an $in control; '
     + 'MySQL and a live Turso server were NOT measured. '
     + 'Metadata AT REST is deliberately NOT rewritten and this entry adds no D2 conversion: a '
     + 'SemanticMigration converts nothing by its own type, and the stored-row pass replays D2 '
@@ -70,7 +68,7 @@ export const entry: SemanticMigration = {
     'Grep your authored views, pages and object-* blocks for a filter rule whose operator is '
     + 'none of in / not_in / between / the four unary operators and whose value is an array, '
     + 'then decide per rule which of the two things it meant: one value, or membership. '
-    + 'os validate and os lint report each one by path with the operator, the received shape '
+    + 'os validate reports each one by path with the operator, the received shape '
     + 'and both corrected spellings, so the sweep is mechanical rather than by eye. '
     + 'Either way, re-check what the view is '
     + 'supposed to show rather than assuming the old result set was correct. A one-element '

packages/spec/src/migrations/registry.ts

@@ -13117,9 +13117,7 @@ const step18: MigrationStep = {
         + 'compile face, at those engine doors and through mingo 7.2.4, which applies that rule; '
         + 'a live mongod instance was NOT measured. Method: driver-sql on SQLite, driver-memory, '
         + 'driver-mongodb\'s translateFilter and mingo were each run on the '
-        + 'lowered node beside a scalar and an $in control, and this change\'s review also ran '
-        + 'driver-sql on a live PostgreSQL 16 (refused before any SQL statement was emitted), '
-        + 'driver-sqlite-wasm, and turso\'s remote transport over the repository\'s libsql stub; '
+        + 'lowered node beside a scalar and an $in control; '
         + 'MySQL and a live Turso server were NOT measured. '
         + 'Metadata AT REST is deliberately NOT rewritten and this entry adds no D2 conversion: a '
         + 'SemanticMigration converts nothing by its own type, and the stored-row pass replays D2 '
@@ -13132,7 +13130,7 @@ const step18: MigrationStep = {
         'Grep your authored views, pages and object-* blocks for a filter rule whose operator is '
         + 'none of in / not_in / between / the four unary operators and whose value is an array, '
         + 'then decide per rule which of the two things it meant: one value, or membership. '
-        + 'os validate and os lint report each one by path with the operator, the received shape '
+        + 'os validate reports each one by path with the operator, the received shape '
         + 'and both corrected spellings, so the sweep is mechanical rather than by eye. '
         + 'Either way, re-check what the view is '
         + 'supposed to show rather than assuming the old result set was correct. A one-element '

packages/spec/src/ui/view.zod.ts

@@ -616,10 +616,8 @@ const VIEW_FILTER_TEXT_COMPARAND_OPERATOR = 'icontains' satisfies ViewFilterOper
  *
  * Method: `driver-sql` on SQLite, `driver-memory`,
  * `driver-mongodb`'s `translateFilter` and `mingo` were each run on the
- * lowered `{ tags: ['a'] }` beside a scalar and an `$in` control; this
- * change's review also ran `driver-sql` on a live PostgreSQL 16 (refused with
- * zero SQL statements emitted), `driver-sqlite-wasm`, and turso's remote
- * transport over the repository's libsql stub. MySQL, a live Turso server and
+ * lowered `{ tags: ['a'] }` beside a scalar and an `$in` control;
+ * MySQL, a live Turso server and
  * a live `mongod` are NOT MEASURED, and so is whether any SQL-family release
  * before this change answered the shape.
  *