scriptoriumadmin/GitNexus
1
0
Fork 0
mirror of https://github.com/abhigyanpatwari/GitNexus.git synced 2026-10-25 05:53:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

chore(bench): reject stale or dirty call-graph exports

Browse source 
The committed comparison named a candidate revision that is not on this branch,
and nothing stopped it. Comparison now requires both exports to come from clean
checkouts and the candidate export to come from the checkout running the
comparison.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Gergo Magyar 2026-10-19 06:56:03 +00:00
parent 47d09da4ac
commit 8a5f7b738a
2 changed files with 22 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
gitnexus/bench/lexical-binding-provenance/README.md
View file

@ -68,17 +68,17 @@ the historical module WeakMap from hiding index construction in the baseline.
Correctness checks run before timing and on the final result. They and the
fingerprints remain outside timing. Returning no facts cannot pass.
| Arm | Sizes | Measured operation | Exact semantic guard |
| --- | --- | --- | --- |
| `position-index` | 2,000 / 4,000 / 8,000 | Build index, then N outer reads after N completed siblings | Every read returns root |
| `position-deep-completed` | 2,000 / 4,000 / 8,000 | Build index, then N reads after N completed nested scopes | Every read returns root |
| `spread-aliases` | 128 / 256 / 512 | Fresh framework extraction across N functions | N exact GET paths |
| `completed-scopes` | 128 / 256 / 512 | Fresh extraction of N outer reads after N completed functions | N exact GET paths |
| `wrapper-aliases` | 128 / 256 / 512 | Fresh wrapper context, all definition facts and call candidates | N seeds, URL carriers, exact call/path identities |
| `nested-helpers` | 128 / 256 / 512 | All facts for N reachable sibling helpers and their outer function | N+1 seeds, one URL carrier |
| `nested-helper-chain` | 32 / 64 / 128 | All facts for deeply nested reachable helpers | N+1 seeds, one URL carrier |
| `reverse-chain` | 1,000 / 2,000 / 4,000 | Fresh classifier with seed last, then N decisions | Every chain node matches |
| `name-collisions` | 1,000 / 2,000 / 4,000 | Fresh classifier with N same-name definitions, half negative | Exact bound decisions, unresolved name rejected, unique positive retained |
| Arm | Sizes | Measured operation | Exact semantic guard |
| ------------------------- | --------------------- | ------------------------------------------------------------------ | ------------------------------------------------------------------------- |
| `position-index` | 2,000 / 4,000 / 8,000 | Build index, then N outer reads after N completed siblings | Every read returns root |
| `position-deep-completed` | 2,000 / 4,000 / 8,000 | Build index, then N reads after N completed nested scopes | Every read returns root |
| `spread-aliases` | 128 / 256 / 512 | Fresh framework extraction across N functions | N exact GET paths |
| `completed-scopes` | 128 / 256 / 512 | Fresh extraction of N outer reads after N completed functions | N exact GET paths |
| `wrapper-aliases` | 128 / 256 / 512 | Fresh wrapper context, all definition facts and call candidates | N seeds, URL carriers, exact call/path identities |
| `nested-helpers` | 128 / 256 / 512 | All facts for N reachable sibling helpers and their outer function | N+1 seeds, one URL carrier |
| `nested-helper-chain` | 32 / 64 / 128 | All facts for deeply nested reachable helpers | N+1 seeds, one URL carrier |
| `reverse-chain` | 1,000 / 2,000 / 4,000 | Fresh classifier with seed last, then N decisions | Every chain node matches |
| `name-collisions` | 1,000 / 2,000 / 4,000 | Fresh classifier with N same-name definitions, half negative | Exact bound decisions, unresolved name rejected, unique positive retained |
The deep helper sizes keep parser/model setup practical while still exposing
repeated descendant work. Parsing costs are not included in these measurements.
@ -121,7 +121,9 @@ file's hash, corpus fingerprint, and sorted `CALLS` and `METHOD_OVERRIDES` edge
arrays. Edge records retain `id`, `sourceId`, `targetId`, and readable source and
target names, paths, and lines. Arrays preserve graph-edge multiplicity.
Comparison refuses different corpus manifests and always fails if an override
Comparison refuses different corpus manifests, exports from dirty checkouts, and
a candidate export whose revision is not the checkout running the comparison. It
always fails if an override
edge changes. Every added/removed call edge is written in full for review. Add
`--check` when zero call changes are expected; the ownership fix intentionally
changes the annotated closure probe's target, so its first comparison requires

8
gitnexus/bench/lexical-binding-provenance/edges.mjs
View file

@ -192,6 +192,14 @@ if (prepare) {
'corpora differ; comparison is invalid',
);
assert.deepEqual(after.manifest, before.manifest, 'corpus file identities differ');
// Parity evidence holds only for clean exports and for the checkout under review.
assert.equal(before.dirty, false, 'baseline export came from a dirty checkout');
assert.equal(after.dirty, false, 'candidate export came from a dirty checkout');
assert.equal(
after.revision,
execFileSync('git', ['rev-parse', 'HEAD'], { cwd: SOURCE, encoding: 'utf8' }).trim(),
'candidate export does not come from the current checkout',
);
const difference = multisetDifference(before.edges, after.edges);
const report = {
baselineRevision: before.revision,