[Upd4ting]

Why

A module author keys a computed subquery on a row field, for example table.getAll(doc.key("name"), "name").count(). Once that proxy is bound to a variable, or typed explicitly as in row.key<{ _id: string }, "_id">("_id"), it is a ValueProxy<string>. getAll rejected it (TS2345), so the author had to restate the key type with .cast<string | number | boolean>().

ValueProxy is invariant in its value type, so ValueProxy<string> is not assignable to ValueProxy<SelectionKey>, the only proxy IndexKeys accepted.

Fixes #68

What changes

• IndexKeys takes a type parameter, IndexKeys<K extends SelectionKey = SelectionKey>. The default keeps the old type, so adapters that type stage.args[0] as IndexKeys (@antelopejs/mongodb, @antelopejs/postgres) see no change, and QueryStageMap["getAll"] stays the same.
• Selection.getAll gains a second overload, getAll<K extends SelectionKey>(keys: IndexKeys<K>, index?). The original signature stays first, so every call that compiled before resolves exactly as it did, including a list of doc.key(...) calls whose type comes from the expected argument. The implementation and the recorded stage are unchanged, and no type assertion is added.
• The conformance suite gains "Do with Subquery Keyed on a Typed Field" in src/tests/do_operations.test.ts. It binds doc.key("name") to a const and counts getAll(name, "name"). It needs nothing new from adapters: @antelopejs/mongodb 1.6.0 passes it.

SelectionKey is still exported from the /common subpath only, not the root. A caller no longer needs to name it.

flowchart LR
  P["ValueProxy&lt;string&gt;<br/>(row field)"] --> O1{"getAll(keys: IndexKeys)"}
  O1 -- "invariant: not ValueProxy&lt;SelectionKey&gt;" --> O2{"getAll&lt;K extends SelectionKey&gt;(keys: IndexKeys&lt;K&gt;)"}
  O2 -- "K = string" --> I["implementation<br/>QueryStage('getAll', { index }, keys)"]
  O1 -- "literals, SelectionKey proxies,<br/>contextually typed doc.key()" --> I
  I --> S["recorded stage args: [keys: IndexKeys]<br/>(unchanged for adapters)"]

Loading

Proof

The test commit 6f69421 lands before the fix. Its build on top of main's code:

src/tests/do_operations.test.ts(276,46): error TS2345: Argument of type 'ValueProxy<string>' is not assignable to parameter of type 'IndexKeys'.
 ELIFECYCLE  Command failed with exit code 2.

With the fix (pnpm exec ajs module test . -f dist/tests/do_operations.test.js):

    ✔ Do with Subquery Keyed on a Typed Field
  21 passing (45ms)

• pnpm run checks passes all 8 checks. pnpm test:staged-query passes, and tsc -p docs/tsconfig.json is clean.
• antelopejs-verify passes all 29 journeys over the 18 features its plan maps, and no formal check covers the diff.
• Two adversarial reviewers compared the branch against main with type probes. Every call main accepts still compiles. Proxies of an object, array, Date, null, undefined or unknown are still rejected.

Attention

• One-way doors. antelopejs-verify doors flags the format and contract doors on src/staged-query/selection.ts and src/staged-query/stages.ts. The contract door also covers src/tests/do_operations.test.ts. The contract change is additive: one overload, and a type parameter whose default is the old type.
• Still rejected, as on main. A key list that mixes proxies of different key types, such as [ValueProxy<string>, ValueProxy<number>], still fails, because TypeScript picks one K for the list. One index holds one key type, and a field typed string | number gives a single ValueProxy<string | number>, which this accepts.