# JavaScript Ingestion Gaps

Audited on 2026-10-23 with freshly built production sources at `c35806d24` and
the accompanying benchmark changes. See the [measurement audit](receiver-resolution-audit.md)
for commands, target checks, exclusions and test limits. Historical reports below
remain separate from freshly measured receiver cases; broader ingestion is not
exhaustively assessed.

## Receiver shape snapshot

States below come from [baseline.json](../../gitnexus/bench/receiver-resolution/baseline.json).
The [harness](../../gitnexus/bench/receiver-resolution/measure.mjs) defines each
spelling and its N/A reason. RESOLVES requires the exact expected declaration ID
and no same-named call to a different owner. WRONG-TARGET records incorrect edges.

| Shape                   | Recorded state | Expression or exclusion                                                       |
| ----------------------- | -------------- | ----------------------------------------------------------------------------- |
| `plainChain`            | RESOLVES       | `svc.getUser().save();`                                                       |
| `untypedChain`          | VISIBLE-GAP    | `svc.getUser().save();` (intentional untyped control)                         |
| `plainDeepChain`        | RESOLVES       | `svc.getUser().address.save();`                                               |
| `optionalChain`         | RESOLVES       | `svc?.getUser().save();`                                                      |
| `nonNullAssert`         | N/A            | JavaScript has no non-null assertion operator.                                |
| `awaitParen`            | RESOLVES       | `(await svc.getUserAsync()).save();`                                          |
| `explicitTypeArgs`      | N/A            | JavaScript has no type-argument syntax.                                       |
| `indexElement`          | VISIBLE-GAP    | `repos[0].save();`                                                            |
| `fieldReceiverCall`     | RESOLVES       | `this.repo.save();`                                                           |
| `decoratedReceiverBase` | N/A            | JavaScript method receivers carry no type decoration.                         |
| `decoratedFieldType`    | N/A            | JavaScript fields carry no declared type, so there is no decoration to strip. |

JSDoc supplies the types in the passing plain, deep, optional and awaited chains. `indexElement` remains a visible gap with `@param {User[]} repos`; JavaScript has no `ScopeResolver.elementTypeOf` hook. `untypedChain` is an intentional negative control, not a request to guess a target from its method name.

## Planning candidates

| ID            | Evidence         | Gap or boundary                                                           | Next planning step and acceptance                                                                                                                                             |
| ------------- | ---------------- | ------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| JAVASCRIPT-01 | Measured gap     | A typed array does not establish the receiver type for `repos[0].save()`. | Preserve the container/element distinction and add a provider-owned element route. Require the exact User.save target, a same-name decoy and unsupported-container negatives. |
| JAVASCRIPT-02 | Negative control | `untypedChain` remains VISIBLE-GAP by design.                             | Keep the untyped receiver unresolved while adding typed coverage; resolving a same-named method elsewhere is a precision regression.                                          |

## Code and regression entry points

- [Language provider directory](../../gitnexus/src/core/ingestion/languages/javascript/).
- [Scope resolver](../../gitnexus/src/core/ingestion/languages/javascript/scope-resolver.ts).
- [javascript.test.ts](../../gitnexus/test/integration/resolvers/javascript.test.ts).
- [javascript-object-properties.test.ts](../../gitnexus/test/integration/resolvers/javascript-object-properties.test.ts).
- [javascript-captures.test.ts](../../gitnexus/test/unit/scope-resolution/javascript/javascript-captures.test.ts).

Evidence details: [receiver baseline notes](../../gitnexus/bench/receiver-resolution/BASELINE.md) and
[current roadmap](../../type-resolution-roadmap.md#current-backlog).