mirror of
https://github.com/abhigyanpatwari/GitNexus.git
synced 2026-10-11 03:38:07 +00:00
3bd1337a3a
Review round 3 (`gitnexus-check` bot on `cf53bbaa`). Three findings, each
reproduced against the code before deciding.
R3-1 (Error, valid, REPRODUCED) — a CLASS receiver could resolve through a
shadowing value binding. `findClassBindingInScope` is a class-only walk: it
filters the scope chain by `isClassLike`, so it steps over a nearer binding that
is a value and keeps climbing — and past the chain entirely, into a
qualified-name fallback that answers with the unique workspace definition of the
name. A `u8` parameter named `Ticker`, in a file that neither declares nor
imports the `Ticker` container another file defines, therefore emitted
`register(Ticker.fire)` as a confident USES edge to that container's method.
That is exactly the wrong-edge failure R1-2 exists to prevent, arriving through
the class channel instead of the lexical one.
Fixed with `isOwnerNameShadowedBySomethingElse` — a sibling of
`isNamespaceNameShadowed` with one extra clause. The plain namespace guard could
NOT be reused: a container is often its own local declaration
(`fn make() { const Local = struct {…}; register(Local.go); }`), and reading that
binding as its own shadow suppresses precisely the resolutions this path exists
to make — the #2723 mistake, one channel over. So a scope that binds the name
answers immediately, and the answer is "not shadowed" only when one of that
scope's own bindings IS the def just resolved.
Both halves are pinned and both were verified to fail when the guard is
weakened: the parameter case fails with no guard at all, the local-container
case fails with the plain `isNamespaceNameShadowed`.
R3-2 (Warning; mechanism correct, unreachable today; fragility fixed instead) —
the dispatch exclusion could suppress an unfollowed registration. The bot is
right about the code: sweep 2 synthesizes CALLS only for a registration whose
site carried a `propertyKey`, while the exclusion zeroes the note on ANY inbound
`property-dispatch` CALLS edge. It is not reachable in the current rule set, and
the reason is measured rather than assumed: `@reference.value-ref` is emitted by
exactly three languages — JavaScript (2 rules), TypeScript (2), Zig (3) — every
JS/TS rule also captures `@reference.property-key` (both are object-literal
shapes) and no Zig rule does. A dispatchable registration is therefore always a
JS/TS one, an undispatchable one always a Zig one, and they cannot meet on one
symbol.
Rejected: splitting the edge `reason` into dispatchable / undispatchable. It is
the precise fix, but it is a graph-content change that churns whichever side
keeps the old literal — the Zig, TypeScript and probe suites all pin
'scope-resolution: value-ref' by hand as a drift canary — and it buys nothing
against a case no rule can produce.
What was actually wrong is that the exclusion's soundness rested on a
coincidence recorded nowhere, in files nobody reading `local-backend.ts` would
open. Fixed at both ends: the exclusion site now states the invariant, the three
facts it rests on and the two options for when it breaks; and
`value-ref-dispatchability.test.ts` fails the day it does — a JS/TS rule for a
bare callback argument, a Zig rule that grows a key, or a fourth language
emitting `value-ref` at all. Verified to fire (adding a property key to a Zig
value-ref rule fails the Zig case), and its rule splitter has its own guard test
so the suite cannot pass vacuously. `ZIG_SCOPE_QUERY` is exported for that test
only.
R3-3 (Nit, valid) — a test comment claimed the wrong epistemic result. The
`declines a qualified reference whose receiver cannot be resolved` case said the
shortfall shows up as `lower-bound`. It does not: with no edge there is no
evidence and the target stays `exact`. The pass docstring was corrected in round
2 and this comment was missed. It now says the decline costs the reference AND
the hedge, and why that is still the right trade.
Gates: tsc --noEmit clean, npm run build clean, prettier clean.
`test/integration/resolvers` 3,632 passed / 3 skipped (70 files);
`test/unit/scope-resolution` 2,015 passed (120 files);
`impact-callable-value-references` 7 passed under `lbug-db`. Bench --check:
receiver-resolution, zig-cross-file-resolution, scope-capture (15 languages),
scope-emission PASS with no baseline edited; callable-value-flow failed once on
its TIMING budget (2.006 > 1.9) with a byte-identical fingerprint, then passed
twice at 1.788 / 1.813 — machine load, not a regression.
|
||
|---|---|---|
| .. | ||
| c | ||
| cpp | ||
| csharp | ||
| go | ||
| java | ||
| javascript | ||
| php | ||
| python | ||
| ruby | ||
| rust | ||
| swift | ||
| typescript | ||
| callable-flow-captures.test.ts | ||
| callable-value-flow-env.test.ts | ||
| callable-value-flow-worklist.test.ts | ||
| callable-value-target-index.test.ts | ||
| cobol-import-target-parity.test.ts | ||
| construction-syntax-wiring.test.ts | ||
| def-index.test.ts | ||
| definition-id.test.ts | ||
| emit-references.test.ts | ||
| external-import-conformance.test.ts | ||
| finalize-algorithm.test.ts | ||
| finalize-orchestrator.test.ts | ||
| function-local-import-chain.test.ts | ||
| generic-instantiation.test.ts | ||
| graph-bridge-label-split.test.ts | ||
| heritage-type-arguments.test.ts | ||
| import-target-adapter.test.ts | ||
| import-target-index-parity.test.ts | ||
| import-target-index-reuse.contract.test.ts | ||
| imported-return-types.test.ts | ||
| imports-to-edges-deferred.test.ts | ||
| imports-to-edges-type-only.test.ts | ||
| method-dispatch-index.test.ts | ||
| module-scope-index.test.ts | ||
| namespace-channel-lookup.test.ts | ||
| namespace-targets-import-path.test.ts | ||
| node-lookup-determinism.test.ts | ||
| overload-narrowing.test.ts | ||
| parse-worker-scope-integration.test.ts | ||
| php-import-target-parity.test.ts | ||
| pick-implicit-this-overload.test.ts | ||
| pick-unique-global-callable.test.ts | ||
| pick-unique-global-class.test.ts | ||
| position-index.test.ts | ||
| property-dispatch-fanout-env.test.ts | ||
| property-name-index.test.ts | ||
| qualified-name-index.test.ts | ||
| receiver-chain-fold.test.ts | ||
| receiver-chain-wiring.test.ts | ||
| reconcile-ownership.test.ts | ||
| references-to-edges-call-form.test.ts | ||
| registries.test.ts | ||
| resolve-ambiguous-inheritance-base.test.ts | ||
| resolve-references.test.ts | ||
| resolve-type-ref.test.ts | ||
| run-progress.test.ts | ||
| scope-extractor.test.ts | ||
| scope-id.test.ts | ||
| scope-source-content-policy.test.ts | ||
| scope-tree.test.ts | ||
| strip-cast-wrappers.test.ts | ||
| type-parameters.test.ts | ||
| undecided-satisfaction.test.ts | ||
| unresolved-receiver-files.test.ts | ||
| unresolved-receivers.test.ts | ||
| validate-bindings-immutability.test.ts | ||
| value-ref-dispatchability.test.ts | ||
| walkers-augmentations.test.ts | ||
| workspace-index.test.ts | ||