GitNexus/gitnexus/test/unit/scope-resolution/qualified-name-index.test.ts
Gergő Magyar e944f90879
chore(shared): apply Ring 2 SHARED review follow-ups in one diff (#964)
* chore(shared): apply Ring 2 SHARED review follow-ups in one diff

Aggregates all actionable follow-ups from the 9 Ring 2 SHARED PRs
(#949–#963) before proceeding to Ring 2 PKG. No behavior changes;
docstring edits, test refinements, and one structural cleanup.

## #913 (DefIndex / ModuleScopeIndex / QualifiedNameIndex)
  - Rename `freezeIndex` → `wrapIndex` across all three index builders.
    The old name implied `Object.freeze` on the wrapper, which we never
    applied; `wrapIndex` more accurately describes the lightweight
    readonly-interface wrap. Safety surface (frozen bucket arrays,
    frozen miss-empty array, readonly Maps) is unchanged.
  - Document in `buildModuleScopeIndex` JSDoc that callers must
    pre-normalize `filePath` keys (no path-separator canonicalization
    happens here). Prevents silent cross-platform misses.
  - Add an explicit hit-path freeze assertion in
    `qualified-name-index.test.ts` (the existing test covered only the
    miss-path `EMPTY` array).

## #914 (MethodDispatchIndex)
  - Differentiate the C3 and BFS test cases: both tests now use
    distinct MRO orderings so they prove the materializer stores
    whatever order the `computeMro` callback produces (not that C3 and
    BFS yield identical output).
  - Add `implementsOfCalls` counter in the first-write-wins test, and
    document the call-count contract in `MethodDispatchInput.implementsOf`
    JSDoc: `implementsOf` fires **per occurrence** in `input.owners`
    (not per unique owner); `computeMro` fires at most once per unique
    owner. Callers with expensive `implementsOf` implementations should
    pre-dedupe `owners`.

## #916 (resolveTypeRef)
  - Document the deliberate exclusion of `'Type'` from `TYPE_KINDS`
    (verified no extractor in `gitnexus/src/core/ingestion/` emits
    `type: 'Type'` for annotation-relevant symbols).
  - Rename the namespace-origin test from `'resolves ...'` to
    `'returns null for a namespace-origin binding whose def is not a
    type kind'`, matching the failure-case intent.

## #918 (shadow diff + aggregate)
  - Remove the partial re-export `export type { ShadowAgreement, ShadowDiff };`
    from `aggregate.ts` — it omitted `ShadowCallsite` and diverged
    from the top-level barrel. Consumers import all three from the
    `gitnexus-shared` entry point.
  - Fix the invalid `'wildcard'` evidence kind in `diff.test.ts` fixture
    (that kind is not a valid `ResolutionEvidence.kind`). Replaced with
    `'global-name'`, a real kind the test treats identically.

## #912 (ScopeTree / PositionIndex / makeScopeId)
  - Document the touching-boundary semantics on `PositionIndex.atPosition`:
    when siblings share a boundary point, the right (later-start) sibling
    wins per the existing innermost-wins sort contract.
  - Resolve the layer-inversion flagged by review: move `ScopeLookup`
    from `resolve-type-ref.ts` to `types.ts` (its natural home in the
    data-model layer). `scope-tree.ts` now imports `ScopeLookup` from
    `types.js` directly; the old re-export from `resolve-type-ref.ts`
    is removed per repo convention (`feedback_no_reexport`). Barrel
    export moved alongside.

## #917 (ClassRegistry / MethodRegistry / FieldRegistry)
  - Replace the dangling "try a name-match among class-like defs"
    comment in `lookupReceiverType` with explicit prose that callers
    must pre-resolve via `resolveTypeRef` if they want richer semantics.
    No behavior change — the function already returned `undefined` on
    ambiguous/missing qnames.
  - Fix `tieBreakKey.origin` default for pure Step-2 candidates.
    Type-binding-only hits no longer falsely inherit `'local'` from
    `ensureCandidate`'s neutral default; they now demote to `'import'`
    on their first type-binding hit, and only a later Step-1 lexical
    hit can upgrade them back to `'local'`. Keeps the Appendix B
    cascade faithful to the true origin.
  - Document `'global-name'` in `evidence.ts`: currently reserved for
    Ring 3's byName global index; `lookupCore` never emits it today.
    The weight stays live so `composeEvidence` remains exhaustive over
    the origin union.
  - Rename the mislabeled Step-7 test from `'confidence DESC is the
    primary key'` (which actually tested hard-shadow baseline) to
    `'inner scope shadows outer, yielding single result'`, and add a
    separate test that actually exercises multi-candidate confidence
    ordering (local vs wildcard at the same scope).

## Verification
  - `tsc --noEmit` clean (both `gitnexus-shared` and `gitnexus`)
  - `gitnexus-shared` build clean
  - Combined scope-resolution / model / shadow suite: **260/260 pass**
    (+1 from the new multi-candidate ordering test in #917)

## Not addressed (non-actionable)
  - #949 CI "failure with zero failing tests": pre-existing Swift Node 22
    grammar flake unrelated to #910 scope.
  - #950: the two non-blocking findings were already addressed in
    follow-up commit `cbac32ba` (ParsedImport discriminated union +
    `ScopeId | null` on the two hooks).
  - #915: the five in-scope findings were already addressed in
    follow-up commit `54515a7e` (dead code, unused params, multi-hop
    docs, cap-hit test, stats granularity).
  - #915 LanguageProvider.resolveImportTarget signature divergence +
    `findDefById` O(F×D) perf: tracked separately as follow-up issues
    for the Ring 3 migration window.

* chore(shared): address ce:review findings on the follow-up diff

ce:review (interactive) on PR #964 surfaced two P2s and several P3s. This
commit applies all `safe_auto` fixes + both manual tests in-line so the
PR ships with a cleaner review trail.

## P2 fixes

- **Complete `freezeIndex` → `wrapIndex` rename.** The prior commit renamed
  3 of 5 sibling index files; `method-dispatch-index.ts` and
  `position-index.ts` still carried the old name. Now all 5 helpers use
  the consistent `wrapIndex` naming.
  (maintainability + project-standards reviewers both flagged this.)

- **Add regression tests for the `recordTypeBindingHit` origin demotion.**
  The prior commit introduced the `tieBreakKey.origin = 'import'`
  demotion for Step-2-only candidates without a direct test. Added:
    - `registries.test.ts`: two Step-2-only siblings under the same
      interface, asserting deterministic DefId.localeCompare tie-break
      AND the stronger invariant that composeEvidence never emits a
      where-found signal for Step-2-only candidates (no `signals.origin`).
    - `position-index.test.ts`: touching-boundary test proving the
      right-sibling-wins rule documented in the new JSDoc.
  (testing + kieran-typescript + api-contract reviewers all flagged these gaps.)

## P3 fixes

- Fix wrong comment in `recordTypeBindingHit` that claimed Step 1 could
  later upgrade a demoted origin. Step 1 runs BEFORE Step 2 — the actual
  upgrade path is Step 3 (`seedFromOwnerScopedContributor`). Comment now
  describes execution order correctly.

- Fix inaccurate "re-exported there" comment in `index.ts`. `types.ts`
  *defines* ScopeLookup natively; it's not a re-export. Phrasing now
  says "defined in types.ts and exported from the type-export block
  above — not from this module."

- Update stale `scope-tree.ts` file-header prose that still referenced
  `ScopeLookup` as living in #916/resolve-type-ref.ts. Now points to
  `./types.js` with a cross-ref to both #916 and #917 consumers.

- Expand `atPosition` touching-boundary JSDoc to name the mechanism
  (backward scan through start-sorted array) so readers can trace the
  binary-search code to the claim.

- Add breadcrumb to `aggregate.ts` module header pointing future readers
  to `./diff.ts` / the top-level barrel for `ShadowAgreement`,
  `ShadowCallsite`, and `ShadowDiff`.

- Remove unnecessary non-null assertion in `recordTypeBindingHit`. Local
  `const existingMroDepth = ...` lets TS narrow to `number` in the
  else-branch, eliminating the `!` without behavior change.

## Verification

- `tsc --noEmit` clean (both `gitnexus-shared` and `gitnexus`)
- `gitnexus-shared` build clean
- Combined scope-resolution / model / shadow suite: **262/262 pass** (+2
  from the new origin-demotion + touching-boundary regression tests)
2026-04-18 18:40:29 +01:00

125 lines
4.9 KiB
TypeScript

/**
* Unit tests for `buildQualifiedNameIndex` / `QualifiedNameIndex`
* (RFC #909 Ring 2 SHARED #913).
*
* Covers: per-kind accumulation, multi-def-per-qname (partial classes /
* overloads), skipping defs without a qualifiedName, duplicate-pair dedup,
* and empty-bucket iteration guarantee.
*/
import { describe, it, expect } from 'vitest';
import { buildQualifiedNameIndex, type SymbolDefinition } from 'gitnexus-shared';
const makeDef = (overrides: Partial<SymbolDefinition> = {}): SymbolDefinition => ({
nodeId: 'def:test',
filePath: 'src/test.ts',
type: 'Class',
...overrides,
});
describe('buildQualifiedNameIndex', () => {
it('builds an empty index from no defs', () => {
const idx = buildQualifiedNameIndex([]);
expect(idx.size).toBe(0);
expect(idx.get('anything')).toEqual([]);
expect(idx.has('anything')).toBe(false);
});
it('indexes a single qualified-named def', () => {
const def = makeDef({ nodeId: 'def:app.User', qualifiedName: 'app.User' });
const idx = buildQualifiedNameIndex([def]);
expect(idx.size).toBe(1);
expect(idx.has('app.User')).toBe(true);
expect(idx.get('app.User')).toEqual(['def:app.User']);
});
it('accumulates distinct DefIds under the same qualified name (partial classes)', () => {
// C# partial classes: same qname, different files/nodeIds
const a = makeDef({
nodeId: 'def:app.User:Core',
qualifiedName: 'app.User',
filePath: 'src/User.Core.cs',
});
const b = makeDef({
nodeId: 'def:app.User:Api',
qualifiedName: 'app.User',
filePath: 'src/User.Api.cs',
});
const idx = buildQualifiedNameIndex([a, b]);
expect(idx.get('app.User')).toEqual(['def:app.User:Core', 'def:app.User:Api']);
// Hit-path bucket is frozen just like the miss path — consumers cannot
// mutate the returned array.
expect(() => (idx.get('app.User') as unknown as string[]).push('x')).toThrow();
});
it('preserves input order in the bucket', () => {
const a = makeDef({ nodeId: 'def:a', qualifiedName: 'app.Foo' });
const b = makeDef({ nodeId: 'def:b', qualifiedName: 'app.Foo' });
const c = makeDef({ nodeId: 'def:c', qualifiedName: 'app.Foo' });
const idx = buildQualifiedNameIndex([c, a, b]);
expect(idx.get('app.Foo')).toEqual(['def:c', 'def:a', 'def:b']);
});
it('separates defs that share a simple name but differ in qualifiedName', () => {
const appUser = makeDef({ nodeId: 'def:app.User', qualifiedName: 'app.User' });
const adminUser = makeDef({ nodeId: 'def:admin.User', qualifiedName: 'admin.User' });
const idx = buildQualifiedNameIndex([appUser, adminUser]);
expect(idx.get('app.User')).toEqual(['def:app.User']);
expect(idx.get('admin.User')).toEqual(['def:admin.User']);
});
it('skips defs that have no qualifiedName', () => {
const qnamed = makeDef({ nodeId: 'def:app.Foo', qualifiedName: 'app.Foo' });
const anon = makeDef({ nodeId: 'def:anon', qualifiedName: undefined });
const idx = buildQualifiedNameIndex([qnamed, anon]);
expect(idx.size).toBe(1);
expect(idx.get('app.Foo')).toEqual(['def:app.Foo']);
expect(idx.has('')).toBe(false);
});
it('skips defs with an empty-string qualifiedName', () => {
const empty = makeDef({ nodeId: 'def:empty', qualifiedName: '' });
const idx = buildQualifiedNameIndex([empty]);
expect(idx.size).toBe(0);
expect(idx.has('')).toBe(false);
});
it('deduplicates exact (qname, DefId) pairs when the same def appears twice in input', () => {
const def = makeDef({ nodeId: 'def:app.Foo', qualifiedName: 'app.Foo' });
const idx = buildQualifiedNameIndex([def, def]);
expect(idx.get('app.Foo')).toEqual(['def:app.Foo']); // not duplicated
});
it('indexes across heterogeneous kinds (Class + Method + Field may share qname convention)', () => {
const klass = makeDef({
nodeId: 'def:class:app.User',
type: 'Class',
qualifiedName: 'app.User',
});
const method = makeDef({
nodeId: 'def:method:app.User.save',
type: 'Method',
qualifiedName: 'app.User.save',
});
const idx = buildQualifiedNameIndex([klass, method]);
expect(idx.size).toBe(2);
expect(idx.get('app.User')).toEqual(['def:class:app.User']);
expect(idx.get('app.User.save')).toEqual(['def:method:app.User.save']);
});
it('returns a frozen empty array (not undefined) for misses so callers can iterate safely', () => {
const idx = buildQualifiedNameIndex([makeDef({ qualifiedName: 'app.Foo' })]);
const miss = idx.get('app.Missing');
expect(miss).toEqual([]);
expect(() => (miss as unknown as string[]).push('x')).toThrow();
});
it('exposes byQualifiedName as a read-only Map for direct iteration', () => {
const idx = buildQualifiedNameIndex([
makeDef({ nodeId: 'def:A', qualifiedName: 'app.A' }),
makeDef({ nodeId: 'def:B', qualifiedName: 'app.B' }),
]);
const names = Array.from(idx.byQualifiedName.keys()).sort();
expect(names).toEqual(['app.A', 'app.B']);
});
});