Skip to content

Commit cb46c2e

Browse files
committed
docs(pm): name the residual's carriers by their CONSUMERS, not by the record
Reading the consumers rather than the names: `VALUE_DOMAIN_FIELD_TYPES`, `PUBLIC_FORM_SERVER_MANAGED_FIELDS` and `VALID_AST_OPERATORS` are the live accept sets the `new Set([` silence covers. `TEXT_OPERATOR_DOOR_PASSING_TYPES` has NO non-test consumer -- the door's verdict reads the REFUSED set -- so it is a published derived constant, not a second live accept set. Claude-Session: https://claude.ai/code/session_01AmH9bKvGoLjiY86Q4Z3og2 Co-Authored-By: Claude <noreply@anthropic.com>
1 parent 0609cb4 commit cb46c2e

1 file changed

Lines changed: 26 additions & 13 deletions

File tree

‎scripts/pm/check-widening-tells.mjs‎

Lines changed: 26 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1286,7 +1286,7 @@
12861286
* this reading 29,552. ⭐ Base → here: 29,552 stand, **28 decline, 0 begin**,
12871287
* 5,164 change only their sentence. All 28 are T2 and all 28 were re-read
12881288
* THROUGH THIS READER rather than by eye: callee `Set` on 28 of 28, 0
1289-
* exceptions, across nine bindings — the three `field-value.zod.ts` value
1289+
* exceptions, across eleven bindings — the three `field-value.zod.ts` value
12901290
* classes, `VALUE_DOMAIN_FIELD_TYPES`, `TEXT_OPERATOR_DOOR_PASSING_TYPES`,
12911291
* `IMPORT_REFERENCE_TYPES`, `PUBLIC_FORM_SERVER_MANAGED_FIELDS`,
12921292
* `CONTAINER_ISSUE_CODES`, `VIEW_WRITE_PATH_IDENTITY_KEYS`,
@@ -1350,12 +1350,23 @@
13501350
* REFUSES what an author wrote, and again on the write path in
13511351
* `record-validator.ts`), `TEXT_OPERATOR_DOOR_PASSING_TYPES`
13521352
* (`data/filter-text-operator-declared-type.ts`), `IMPORT_REFERENCE_TYPES`
1353-
* (`data/import-coercion.ts`), `PUBLIC_FORM_SERVER_MANAGED_FIELDS`
1354-
* (`security/public-form.ts`, read by four seams of `rest-server.ts` to
1355-
* refuse a visitor's value), `CONTAINER_ISSUE_CODES`
1356-
* (`shared/union-branch-policy.ts`) and `VIEW_WRITE_PATH_IDENTITY_KEYS`
1357-
* (`ui/view.zod.ts`). ⛔ At least three of those decide what an authored
1358-
* document may say.
1353+
* (`data/import-coercion.ts`, read by `rest`'s import coercion),
1354+
* `PUBLIC_FORM_SERVER_MANAGED_FIELDS` (`security/public-form.ts`, read by
1355+
* four seams of `rest-server.ts` to refuse a visitor's value),
1356+
* `CONTAINER_ISSUE_CODES` (`shared/union-branch-policy.ts`) and
1357+
* `VIEW_WRITE_PATH_IDENTITY_KEYS` (`ui/view.zod.ts`).
1358+
*
1359+
* ⛔ Which of them the silence actually costs, measured by reading the
1360+
* consumers rather than the names: `VALUE_DOMAIN_FIELD_TYPES` refuses an
1361+
* authored `valueDomain` at parse time and again at write time, and
1362+
* `PUBLIC_FORM_SERVER_MANAGED_FIELDS` decides what an anonymous visitor may
1363+
* send — those two are accept sets in the doctrine's sense, and so is
1364+
* `VALID_AST_OPERATORS` (`data/filter.zod.ts`), which `isFilterAST` and three
1365+
* `packages/lint` walks read to judge a filter. ⚠️ And one correction to the
1366+
* record this round was dispatched against: `TEXT_OPERATOR_DOOR_PASSING_TYPES`
1367+
* has NO non-test consumer — `textOperatorDoorVerdict` reads the REFUSED set,
1368+
* not this one — so it is a published derived constant whose own parity test
1369+
* reds on a change, not a second live accept set.
13591370
* `.default([`: `allowedLicenses` and `prohibitedLicenses`
13601371
* (`kernel/plugin-security.zod.ts`) and `redact` (`system/logging.zod.ts`)
13611372
* — a default VALUE list, which is the one member of this vocabulary whose
@@ -3001,11 +3012,13 @@ const NON_SET_CALLEE_NAMES = Object.freeze(['Set', 'default']);
30013012
* seven false positives — and this tree spells two real ACCEPT sets exactly
30023013
* the same way: `VALUE_DOMAIN_FIELD_TYPES` in `data/field.zod.ts`, whose
30033014
* `.has(field.type)` inside a `superRefine` REFUSES what an author wrote
3004-
* (its own docblock calls a member addition "a widening of this set"), and
3005-
* `TEXT_OPERATOR_DOOR_PASSING_TYPES` in
3006-
* `data/filter-text-operator-declared-type.ts`. Measured on the shape a
3007-
* real PR carries: adding `'email',` to the first is base exit 4 / this
3008-
* reading exit 0, and `'number',` to the second the same. ⛔ The rationale
3015+
* (its own docblock calls a member addition "a widening of this set"),
3016+
* `PUBLIC_FORM_SERVER_MANAGED_FIELDS` in `security/public-form.ts`, which
3017+
* four seams of `rest-server.ts` read to refuse a visitor's value, and
3018+
* `VALID_AST_OPERATORS` in `data/filter.zod.ts`, which `isFilterAST` reads
3019+
* to judge a filter. Measured on the shape a real PR carries: adding
3020+
* `'email',` to the first is base exit 4 / this reading exit 0, and the
3021+
* header's census names every landed row the silence covers. ⛔ The rationale
30093022
* this bullet used to carry — "a set of internal discriminants is not an
30103023
* accept set, no author's document is ever parsed against it" — is FALSE of
30113024
* both. The two constructs are byte-indistinguishable INSIDE A HUNK: same
@@ -6109,7 +6122,7 @@ export function selfTest() {
61096122
// moves with it — and so that nobody re-derives the false rationale this
61106123
// reading used to carry ("no author's document is ever parsed against it").
61116124
t('⚠️ THE RESIDUAL — `VALUE_DOMAIN_FIELD_TYPES` is a real ACCEPT set spelled `new Set([`, refused by a `superRefine` that reads it, and this reader silences it', closedSetMembership([CTX('export const VALUE_DOMAIN_FIELD_TYPES: ReadonlySet<string> = new Set(['), CTX(" 'text',")], 1) === 'refused');
6112-
t('…so is `TEXT_OPERATOR_DOOR_PASSING_TYPES`, and PR #19314\'s internal discriminant set is BYTE-INDISTINGUISHABLE from both inside a hunk — same head, same element shape — which is why only CONSUMPTION separates them and no hunk-shaped reader can', closedSetMembership([CTX('export const TEXT_OPERATOR_DOOR_PASSING_TYPES: ReadonlySet<string> = new Set(['), CTX(" 'autonumber',")], 1) === 'refused' && closedSetMembership([CTX('const COLLECTION_WALK_WRAPPERS: ReadonlySet<string> = new Set(['), CTX(" 'pipe',")], 1) === 'refused');
6125+
t('…so is `PUBLIC_FORM_SERVER_MANAGED_FIELDS`, which decides what an anonymous visitor may send — and PR #19314\'s internal discriminant set is BYTE-INDISTINGUISHABLE from both inside a hunk — same head, same element shape — which is why only CONSUMPTION separates them and no hunk-shaped reader can', closedSetMembership([CTX('export const PUBLIC_FORM_SERVER_MANAGED_FIELDS: ReadonlySet<string> = new Set(['), CTX(" 'owner_id',")], 1) === 'refused' && closedSetMembership([CTX('const COLLECTION_WALK_WRAPPERS: ReadonlySet<string> = new Set(['), CTX(" 'pipe',")], 1) === 'refused');
61136126
// -- the readings the vocabulary is derived from, pinned as ONE ------------
61146127
t('⭐ the `new` prefix is LOAD-BEARING on `before` and nowhere else — the NAME is found either way because the pattern is unanchored at its start, but the slice must begin AT `new` or a transparent strip leaves one behind', callHeadOfFrame('const S = new Set(')?.before === 'const S = ' && callHeadOfFrame('const S = new Set(')?.callee === 'Set');
61156128
t('…and `before` is the text left of the WHOLE call, its receiver chain included', callHeadOfFrame('export const X = Object.freeze(')?.before === 'export const X = ' && callHeadOfFrame('export const X = Object.freeze(')?.callee === 'freeze');

0 commit comments

Comments
 (0)