@weftlet/toolkit 0.7.3 → 0.7.4

package/README.md

@@ -14,7 +14,7 @@ Proposed future capabilities are recorded in the [Weftlet 2.0 product plan](docs
 ## Set up a project
 
 <!-- weftlet:release:start -->
-Package versions in this checkout/archive: `@weftlet/toolkit@0.7.3` and `@weftlet/core@0.7.3`.
+Package versions in this checkout/archive: `@weftlet/toolkit@0.7.4` and `@weftlet/core@0.7.4`.
 <!-- weftlet:release:end -->
 
 Weftlet uses `@weftlet/toolkit`; its neutral `@weftlet/core` dependency is installed
@@ -491,6 +491,9 @@ ahead of repeated detail and shared-import context. Ranking changes ordering, no
 the reachable scope. Calls, cross-file references (including those without call proof) and file
 consumers share turns across distance groups, with source diversity within each group. Local
 detail has its own turns; unindexed symbol hubs follow local evidence unless explicitly queried.
+[Shared-symbol specificity](docs/ADR-043-shared-symbol-specificity.md) also gives turns to
+indexed consumers sharing a selectively referenced symbol with the producer. File-scope
+joins alone do not supply that signal. Equal evidence can still exceed a bounded page budget.
 These are ordering signals, not new assertions or proof of execution. All evidence remains in
 the reachable set. Responses identify the ranking version; after a ranking upgrade, restart
 scans whose old continuation tokens are rejected. No snapshot refresh is needed for new ordering.

package/dist/graph/impact-affinity-order.d.ts

@@ -0,0 +1,11 @@
+import type { GraphFact } from '@weftlet/core';
+import { type ImpactOrderRow } from './impact-order.js';
+/** Interleave specificity with baseline waves, retaining every assertion exactly
+ * once and preserving evidence-lane balancing. No affinity means exact v3 order. */
+export declare function interleaveAffinity(rows: ImpactOrderRow[], baseline: readonly {
+    fact: GraphFact;
+    score: number;
+}[], affinity: ReadonlyMap<string, number>): readonly {
+    fact: GraphFact;
+    score: number;
+}[];

package/dist/graph/impact-affinity-order.js

@@ -0,0 +1,53 @@
+import { sourceQueue } from './impact-order.js';
+/** Balance reference/consumer families and sources within a specificity cohort.
+ * A later occurrence can surface without waiting for every unrelated local file. */
+function affinityQueue(rows, affinity) {
+    const cohorts = new Map();
+    for (const row of rows) {
+        const degree = affinity.get(row.fact.id);
+        if (degree === undefined || row.contextOnly || !['references', 'consumes'].includes(row.fact.predicate))
+            continue;
+        const group = cohorts.get(degree) ?? [];
+        group.push(row);
+        cohorts.set(degree, group);
+    }
+    const ordered = [];
+    for (const [, cohort] of [...cohorts].sort(([a], [b]) => a - b)) {
+        const queues = ['references', 'consumes'].map(predicate => sourceQueue(cohort.filter(row => row.fact.predicate === predicate)));
+        let remaining = cohort.length;
+        while (remaining > 0)
+            for (const next of queues) {
+                const row = next();
+                if (row) {
+                    ordered.push(row.fact);
+                    remaining--;
+                }
+            }
+    }
+    return ordered;
+}
+/** Interleave specificity with baseline waves, retaining every assertion exactly
+ * once and preserving evidence-lane balancing. No affinity means exact v3 order. */
+export function interleaveAffinity(rows, baseline, affinity) {
+    if (!affinity.size)
+        return baseline;
+    const queue = affinityQueue(rows, affinity), emitted = new Set();
+    const result = [];
+    let cursor = 0;
+    const push = (fact, score) => {
+        if (!emitted.has(fact.id)) {
+            result.push({ fact, score });
+            emitted.add(fact.id);
+        }
+    };
+    for (const { fact, score } of baseline) {
+        if (emitted.has(fact.id))
+            continue;
+        while (cursor < queue.length && emitted.has(queue[cursor].id))
+            cursor++;
+        if (cursor < queue.length)
+            push(queue[cursor++], score);
+        push(fact, score);
+    }
+    return result;
+}

package/dist/graph/impact-affinity.d.ts

@@ -0,0 +1,6 @@
+import { type GraphFact } from '@weftlet/core';
+/** Structural relevance from producer -> shared symbol <- other indexed symbol.
+ * Smaller distinct production referrer counts are more specific, not more true.
+ * File/module anchors, locations alone and unknown projections cannot supply this
+ * signal. All assertions (including tests) remain in the baseline ordering. */
+export declare function sharedSymbolAffinity(facts: readonly GraphFact[], direct: readonly GraphFact[], anchorTerms: readonly string[]): ReadonlyMap<string, number>;

package/dist/graph/impact-affinity.js

@@ -0,0 +1,91 @@
+import { repositoryFileNode, sha256 } from '@weftlet/core';
+const sameExtraction = (a, b) => a.snapshotId === b.snapshotId &&
+    a.provenance.commitSha === b.provenance.commitSha && a.extractor.id === b.extractor.id &&
+    a.extractor.version === b.extractor.version;
+const indexedName = (node) => node.kind === 'CodeSymbol' &&
+    node.codeSymbol?.provider === 'scip-typescript' && node.codeSymbol.identityScope === 'repository' &&
+    node.codeSymbol.resolution === 'indexed-definition' && !node.codeSymbol.nativeSymbol.endsWith('/');
+// Keys describe corroborating saved evidence, never a new native/legacy identity edge.
+const projectionKey = (fact, native) => JSON.stringify([fact.snapshotId,
+    fact.provenance.commitSha, fact.provenance.digest, fact.provenance.path,
+    fact.extractor.id, fact.extractor.version, native]);
+const witnessKey = (fact) => JSON.stringify([fact.snapshotId, fact.provenance.commitSha,
+    fact.extractor.id, fact.extractor.version, fact.object.id]);
+/** Structural relevance from producer -> shared symbol <- other indexed symbol.
+ * Smaller distinct production referrer counts are more specific, not more true.
+ * File/module anchors, locations alone and unknown projections cannot supply this
+ * signal. All assertions (including tests) remain in the baseline ordering. */
+export function sharedSymbolAffinity(facts, direct, anchorTerms) {
+    if (!anchorTerms.length)
+        return new Map();
+    const definitions = new Map();
+    for (const fact of facts) {
+        if (fact.extractor.id !== 'scip-symbol-extractor' || fact.predicate !== 'definedBy' ||
+            fact.codeOccurrence?.role !== 'definition' || fact.codeOccurrence.locationKind !== 'name' ||
+            !indexedName(fact.subject) || fact.object.id !== repositoryFileNode(fact.provenance.path).id)
+            continue;
+        const group = definitions.get(fact.subject.id) ?? [];
+        group.push(fact);
+        definitions.set(fact.subject.id, group);
+    }
+    const eligible = (node, fact) => indexedName(node) &&
+        definitions.get(node.id)?.some(def => sameExtraction(def, fact)) === true;
+    const production = (node, fact) => definitions.get(node.id)?.some(def => sameExtraction(def, fact) && repositoryFileNode(def.provenance.path).kind === 'Component') === true;
+    const origins = new Set(direct.filter(fact => fact.predicate === 'definedBy' &&
+        definitions.get(fact.subject.id)?.some(def => def.id === fact.id)).map(fact => fact.subject.id));
+    if (!origins.size)
+        return new Map();
+    const references = facts.filter(fact => fact.predicate === 'references' &&
+        fact.codeOccurrence?.role === 'reference' && fact.codeOccurrence.locationKind === 'name' &&
+        fact.extractor.id === 'scip-symbol-extractor' && eligible(fact.subject, fact) && eligible(fact.object, fact) &&
+        fact.subject.codeSymbol.repositoryId === fact.object.codeSymbol.repositoryId);
+    const shared = new Map();
+    for (const fact of references)
+        if (origins.has(fact.subject.id)) {
+            shared.set(witnessKey(fact), { referrers: new Set(), members: [] });
+        }
+    for (const fact of references) {
+        const group = shared.get(witnessKey(fact));
+        if (!group)
+            continue;
+        if (production(fact.subject, fact))
+            group.referrers.add(fact.subject.id);
+        if (!origins.has(fact.subject.id))
+            group.members.push(fact);
+    }
+    // Include the extraction scope: stale evidence cannot become a current witness.
+    const subjectKey = (fact) => JSON.stringify([fact.snapshotId, fact.provenance.commitSha,
+        fact.extractor.id, fact.extractor.version, fact.subject.id]);
+    const affinity = new Map();
+    for (const group of shared.values())
+        for (const fact of group.members) {
+            const key = subjectKey(fact), count = Math.max(1, group.referrers.size);
+            affinity.set(key, Math.min(affinity.get(key) ?? Infinity, count));
+        }
+    const result = new Map(), projections = new Map();
+    for (const fact of references) {
+        const degree = affinity.get(subjectKey(fact));
+        if (degree === undefined)
+            continue;
+        result.set(fact.id, degree);
+        const key = projectionKey(fact, fact.object.codeSymbol.nativeSymbol);
+        projections.set(key, Math.min(projections.get(key) ?? Infinity, degree));
+    }
+    const legacyIds = new Map();
+    for (const fact of facts) {
+        if (fact.predicate !== 'consumes' || fact.extractor.id !== 'scip-symbol-extractor' ||
+            fact.subject.id !== repositoryFileNode(fact.provenance.path).id || fact.object.kind !== 'Contract')
+            continue;
+        const degree = projections.get(projectionKey(fact, fact.object.label));
+        if (degree === undefined)
+            continue;
+        let id = legacyIds.get(fact.object.label);
+        if (!id) {
+            id = `symbol:scip:${sha256(fact.object.label)}`;
+            legacyIds.set(fact.object.label, id);
+        }
+        if (fact.object.id === id)
+            result.set(fact.id, degree);
+    }
+    return result;
+}

package/dist/graph/impact-order.d.ts

@@ -7,6 +7,9 @@ export interface ImpactOrderRow {
     readonly focus: number;
     readonly tie: string;
 }
+/** One source per turn within a distance/family bucket, without adding an
+ * unbounded source ordinal to graph distance. Every input row is retained. */
+export declare function sourceQueue(rows: ImpactOrderRow[]): () => ImpactOrderRow | undefined;
 /** Ordering waves preserve evidence-lane balancing in the query facade. Near
  * and indirect relationships each get turns (two slots for calls, references
  * and consumers, one for other relations); local detail also gets one slot

package/dist/graph/impact-order.js

@@ -13,7 +13,7 @@ const compare = (a, b) => b.focus - a.focus ||
     a.proximity - b.proximity || lexical(a.tie, b.tie) || lexical(a.fact.id, b.fact.id);
 /** One source per turn within a distance/family bucket, without adding an
  * unbounded source ordinal to graph distance. Every input row is retained. */
-function sourceQueue(rows) {
+export function sourceQueue(rows) {
     const sources = new Map();
     for (const row of rows.sort(compare)) {
         const group = sources.get(row.fact.provenance.path) ?? [];

package/dist/graph/ranking.d.ts

@@ -1,6 +1,6 @@
 import type { GraphFact } from '@weftlet/core';
 /** Binds continuation offsets to the ordering policy; changing this requires restarting a scan. */
-export declare const IMPACT_RANKING_VERSION = "local-relationship-waves-v3";
+export declare const IMPACT_RANKING_VERSION = "shared-symbol-witnesses-v4";
 export declare function factSearchText(fact: GraphFact): string;
 export interface RankedImpactFact {
     readonly fact: GraphFact;

package/dist/graph/ranking.js

@@ -1,8 +1,10 @@
 import { stableJson } from '../infrastructure/util.js';
 import { impactRankingSignals } from './impact-signals.js';
 import { orderImpactRows } from './impact-order.js';
+import { sharedSymbolAffinity } from './impact-affinity.js';
+import { interleaveAffinity } from './impact-affinity-order.js';
 /** Binds continuation offsets to the ordering policy; changing this requires restarting a scan. */
-export const IMPACT_RANKING_VERSION = 'local-relationship-waves-v3';
+export const IMPACT_RANKING_VERSION = 'shared-symbol-witnesses-v4';
 export function factSearchText(fact) {
     return [fact.subject.id, fact.subject.label, fact.predicate, fact.object.id,
         fact.object.label, fact.provenance.path].join(' ').toLowerCase();
@@ -75,5 +77,5 @@ export function rankImpactFacts(facts, direct, anchorTerms, focus) {
             tie: stableTie(fact),
         };
     });
-    return orderImpactRows(rows);
+    return interleaveAffinity(rows, orderImpactRows(rows), sharedSymbolAffinity(facts, direct, anchorTerms));
 }

package/docs/1.0-WORK-QUEUE.md

@@ -37,6 +37,19 @@ record public and private denominators separately. See the latest [validation re
 The [ADR 042 patch](ADR-042-indirect-local-relationships.md) retrieves both exact public targets
 on the first page with the same saved evidence; private acceptance still requires the original replay.
 
+0.7.3 private replay: **the same ticket remains open**. Target ranks improve to 3,364 / 456 but
+both still miss 180 slots. The failure is competition within populated distance/predicate groups;
+file suggestion also regresses while library share remains 0/540. Before another ranking release,
+freeze a public within-group competition case and inspect whether saved evidence distinguishes
+the downstream targets from peers. Do not increase budgets, infer calls, or promise recall for
+indistinguishable consumers. Details and preserved controls are in [VALIDATION.md](VALIDATION.md).
+
+The next sanitized handoff identifies a selective exact-symbol witness for the two targets;
+the sampled peers have file-scope approaches instead. [ADR 043](ADR-043-shared-symbol-specificity.md)
+uses that saved structural evidence in a query-only candidate. The frozen within-group positive
+case returns both targets at 141 / 10; a symmetric control still misses them, documenting the
+limit rather than promising universal recall. Preserve the original private replay as the gate.
+
 All three public 554,516-fact strict SHACL passes succeeded but took about 35–37 minutes each
 in this cloud. This is a capacity result, not a 30-minute hydration qualification. B6b must record
 full hydration and agent-query latency on the consumer workload as well as correctness.

package/docs/ADR-042-indirect-local-relationships.md

@@ -2,6 +2,8 @@
 
 Status: query-only patch. Qualification and consumer status are recorded in VALIDATION.md.
 Supersedes ADR 041's impact ordering; its shortest-first path search is unchanged.
+The 0.7.3 private replay still misses both targets at 180 facts; the public result below is not
+private acceptance. Investigation now focuses on competition within the same groups.
 
 ## Evidence
 

package/docs/ADR-043-shared-symbol-specificity.md

@@ -0,0 +1,67 @@
+# ADR 043: shared-symbol specificity in bounded impact retrieval
+
+Status: query-only candidate; private two-assertion acceptance remains open.
+Extends [ADR 042](ADR-042-indirect-local-relationships.md). Does not change path search.
+
+## Evidence
+
+0.7.3 still misses the private unconfirmed symbol reference and legacy consumer at 180 facts.
+The subsequent sanitized chains supply a more specific signal than distance/family alone:
+producer → shared indexed symbol ← worker indexed symbol. The shared object has three distinct
+production referrers. The preselected median peers instead approach through file-scope symbols.
+A reverse reference is not a forward call. This is pairwise evidence, not a universal ranking proof.
+
+The [frozen public comparison](../evaluations/same-group-retrieval/protocol.md) uses actual
+SCIP extraction and strict publication. Both exact targets are reached in round two, inside the
+same populated distance/predicate groups as competitors. The reference is seventh within its
+source/group; the consumer is first. Baseline ranks are 3,074 and 323. A symmetric control gives
+all 136 workers the same producer connection; it cannot establish a unique preferred worker.
+
+## Decision
+
+Use `shared-symbol-witnesses-v4` to interleave a structural specificity queue with the unchanged
+v3 baseline waves, over the same reachable set. Each previously unreturned baseline assertion
+gets one opportunity for an additional specificity selection. Deduplicate by assertion ID and
+retain baseline wave boundaries for the existing evidence-lane balancing. With no usable
+witnesses, baseline order and scores are exactly unchanged.
+
+Eligible witnesses require saved SCIP named definitions for repository-scoped indexed symbols,
+and exact typed reference endpoints in the same snapshot, commit and extractor version. A direct
+matched definition supplies the producer origin. File-scope/module anchors, declaration-only or
+unindexed targets, local ordinal identities and unknown adapters cannot supply this signal.
+Rank shared objects by the number of distinct production indexed referrers in the reachable
+query scope. Repeated occurrences, file-scope imports and test referrers do not inflate that
+count. Test assertions remain available, including supported references in their existing
+validation lane; this does not certify production implementation.
+
+Within equal specificity, balance references and consumers and round-robin cited source files,
+using existing focus/distance/stable ties. A later occurrence from a selectively related worker
+can receive a turn before hundreds of unrelated local sources. Every assertion remains eligible;
+this adds no fact, confidence, authority, approval, call proof or runtime claim.
+
+A legacy file consumer receives corroborating priority only when its saved SCIP native symbol
+key/hash matches a supported typed reference in the same cited file, digest, commit, snapshot and
+extractor version. Its first citation may be an import before the later method reference. A shared
+file/start line alone is insufficient. This projection-specific ordering does **not** assert a
+native-to-legacy identity edge or make the file consumer an exact invocation. Unknown projections
+retain baseline ordering. There are no consumer names or fixture target IDs in production code.
+
+## Results, limits and compatibility
+
+On the unchanged positive public graph, the reference/consumer move to **141 / 10**, within the
+same 3 × 60 slots at depth three. All 6,417 reachable facts and stored bytes remain identical.
+Source diversity falls from 63 to 38 files; this is an explicit relevance/diversity tradeoff.
+Two of all 136 predeclared reference/consumer pairs are retrieved together; the denominator is
+272 assertions, not just the chosen successful targets.
+
+On the symmetric graph, the targets remain outside the budget at **2,892 / 309**. Zero of 136
+pairs appear together. Specificity cannot distinguish equal witnesses, nor promise retrieval
+of every relevant occurrence in large groups. The two-mode comparison is evidence for a bounded
+heuristic, not private acceptance or a completeness guarantee. Degree is query-scope relative,
+not a repository-global count or a confidence score.
+
+Continuation tokens identify v4 and reject prior offsets with restart instructions. No extractor,
+assembly, semantic-cache, snapshot, persistence, RDF, SHACL or core contract identity changes.
+Existing evidence can be queried without hydration or model calls. The 0.7.1 capacity fix and
+shortest-first direct paths remain untouched. Keep the private original queries, exact assertion
+IDs, 180-result budget, reachable totals and stored fingerprints as the next acceptance check.

package/docs/RELEASING.md

@@ -202,14 +202,14 @@ Verify the matching public version in a fresh disposable project after publicati
 
 ```sh
 npm init -y
-npx --yes @weftlet/toolkit@0.7.3 init --yes
-npx --yes @weftlet/toolkit@0.7.3 config validate
+npx --yes @weftlet/toolkit@0.7.4 init --yes
+npx --yes @weftlet/toolkit@0.7.4 config validate
 ```
 
 For local installation, use both prepared archives from the same reviewed release:
 
 ```sh
-npm install --save-dev "/path/to/weftlet/.release/weftlet-core-0.7.3.tgz" "/path/to/weftlet/.release/weftlet-toolkit-0.7.3.tgz"
+npm install --save-dev "/path/to/weftlet/.release/weftlet-core-0.7.4.tgz" "/path/to/weftlet/.release/weftlet-toolkit-0.7.4.tgz"
 ```
 <!-- weftlet:release:end -->
 

package/docs/VALIDATION.md

@@ -1,5 +1,69 @@
 # Validation evidence
 
+## Shared-symbol candidate: public evidence, 2026-11-03
+
+[ADR 043](ADR-043-shared-symbol-specificity.md) and its
+[frozen within-group comparison](../evaluations/same-group-retrieval/README.md) address the
+newly supplied chain evidence without changing extraction. On one unchanged 6,417-fact saved
+graph, both round-two targets move from 3,074 / 323 to **141 / 10** at depth three / 3 × 60.
+All reachable facts, exact citations/authority and four stored files remain unchanged. Source
+diversity changes from 63 to 38; two of all 136 predeclared pairs are returned together.
+The symmetric control still misses the targets at 2,892 / 309 and retrieves zero complete pairs.
+That negative result is retained; equal witnesses cannot guarantee universal bounded recall.
+
+The built CLI and a fresh stdio MCP server reproduce all 180 candidate IDs in order across
+three pages, including both exact stored target facts. No hydration/model calls or saved-byte
+changes occur during that comparison. Focused ranking, projection-mismatch, strict hydration,
+repeat, prior relationship and shortest-first path checks pass; full release qualification is
+recorded separately on the change PR. Repeat hydration creates a fresh identical RDF work file
+while preserving every prior evidence file. **The private two-assertion ticket remains open.**
+
+## 0.7.3 private replay: same indirect-ranking ticket remains open, 2026-11-03
+
+Maintainer-reported, sanitized evidence. At the original depth three / three pages of 60,
+the same `references` and `consumes` assertions improve from ranks 23,052 / 3,447 in 0.7.2
+to **3,364 / 456** in 0.7.3 (calculated pages 57 / 8). Both still miss the predeclared 180
+slots. This is the same ranking ticket, not another extraction, scale or authority failure.
+The earlier public two-target pass does not transfer to this larger graph.
+
+Snapshot digest remains `53e2e3a024125389685d5bc9183f428b4e749dc7021df87623f54e32af4c7f56`;
+360 direct matches and 420,837 reachable facts are unchanged. Both targets are reached in
+round two. The released ranker reproduces all 180 CLI fact IDs in order; later ranks were
+calculated without fetching additional pages. Neither target has a hub penalty or belongs
+to the context-only phase. No saved call in the reachable set cites the reference as target proof.
+
+| Target group | Assertions / sources | Target group rank / source ordinal | Slots in first 180 | Target wave |
+| --- | ---: | ---: | ---: | ---: |
+| Weighted distance 2, `references` | 1,038 / 136 | 284 / 5 | 10 | 141 |
+| Weighted distance 3, `consumes` | 284 / 47 | 29 / 1 | 10 | 14 |
+
+These measurements locate displacement within populated groups and their turn allocation;
+they do not establish a universally better weighting scheme. Across the three original cases,
+page-one expected file suggestion/citation changes from 12/12 / 12/12 in 0.7.2 to 10/12 / 11/12;
+through three pages it is 11/12 / 12/12. Library-target references remain 0/540 and no named
+noise control appears. The PM first 180 cover 63 provenance sources, versus 158 previously.
+File discovery and source diversity are separate measurements from exact relationship recall.
+
+The direct-path report stays closed: both exact one-hop assertions retain their predicates,
+citations and original 1,000-step budget. The MCP description is now accurate. Fresh MCP agrees
+with the released CLI; all 35 consumer checks and all 20 stored-byte fingerprints pass, without
+private rehydration or model calls. The 0.7.1 capacity fix remains accepted for the reported run.
+
+The subsequent saved-chain handoff distinguishes the targets from preselected median peers.
+Both targets have a producer → indexed shared symbol ← indexed worker witness, with **three
+distinct production referrer symbols**. The reference's sampled peer instead approaches through
+file-scope symbols; the consumer's peer also has no such shared-symbol witness. Peers were chosen
+as the fifth of ten first-page results in their respective groups, before comparing paths.
+This establishes pairwise structural specificity, not a universally optimal ranking or execution.
+There is no all-forward indexed reference/call path within four approach hops in that diagnostic.
+
+Native and legacy projections have no explicit identity edge. Matching usage/definition file and
+start line are corroboration only; they must not become graph joins or fabricated calls. The
+stored-byte SHA-256 in the handoff is
+`e92e3c2c4b6ec65a4767fe20697657cd566c15fbdff9732af58999d8ff09554d`.
+The query-only candidate and its positive/ambiguous public controls are tracked in
+[ADR 043](ADR-043-shared-symbol-specificity.md). **Private acceptance remains open.**
+
 ## Indirect-ranking patch: public comparison, 2026-11-03
 
 [ADR 042](ADR-042-indirect-local-relationships.md) and the

package/docs/extraction-manifest.json

@@ -108,7 +108,7 @@
       "destinationPath": "package.json",
       "sourceSha256": "a575dbb2fed8c554b95e8e9b3e03a0c21cab1be7249860bbebc18e046b2ff78d",
       "modified": true,
-      "destinationSha256": "f331a6f0f0f0183466e5a9bb97a856d66522417f3c357d2ff825f348ac0410c1"
+      "destinationSha256": "e7287cbf5f7182b8c16c073dcc097a26616ae85868a518fc8e8966a8072b83ae"
     },
     {
       "sourcePath": "tools/context-graph/packages/core/LICENSE",
@@ -129,7 +129,7 @@
       "destinationPath": "packages/core/README.md",
       "sourceSha256": "6044bf7b9a3dc793f41e2ff048546ed11938957d10a5b143eb1739ac4cd7477c",
       "modified": true,
-      "destinationSha256": "b49357185e5c1cd44e76a77ba4134e70002eeb3399983a7d9e4dd737a9dad9d8"
+      "destinationSha256": "cd458ed031e0109f5b8455cc5e0d948a42a64f7e4d67f79b12e28a1450c7be51"
     },
     {
       "sourcePath": "tools/context-graph/packages/core/THIRD_PARTY_NOTICES.md",
@@ -143,7 +143,7 @@
       "destinationPath": "packages/core/package.json",
       "sourceSha256": "2a29066eb8452f22fafcb06bb035a84dda93c5705dba32aba600a1b7e5aaf19c",
       "modified": true,
-      "destinationSha256": "afd324effa694d0f753d99be367434d1d3355eacfc68cc27813a5279267dbf94"
+      "destinationSha256": "825072a8f61911034ae7784935b66368eb0c945c19d68bad8fb6acecc6f5981b"
     },
     {
       "sourcePath": "tools/context-graph/packages/core/src/core.ts",
@@ -388,7 +388,7 @@
       "destinationPath": "src/graph/query.test.ts",
       "sourceSha256": "ba07c52566da979fcbb451b0c0c99b466521993cb49415ff8b35df2b01d4ecaf",
       "modified": true,
-      "destinationSha256": "4a87d3be19769dee26ffafc1b876d877f39dec921ffa89dcd011c7a3cfb9667e"
+      "destinationSha256": "11b59d7e1936c66cf453136dc01908e3c19287926a29e881effd7b631cce518c"
     },
     {
       "sourcePath": "tools/context-graph/src/query.ts",
@@ -636,6 +636,7 @@
     "docs/ADR-040-bounded-graph-io.md",
     "docs/ADR-041-bounded-relationship-retrieval.md",
     "docs/ADR-042-indirect-local-relationships.md",
+    "docs/ADR-043-shared-symbol-specificity.md",
     "docs/CLOUD-ENVIRONMENT.md",
     "docs/CONSUMER-TRIAL.md",
     "docs/ENVIRONMENT-VALIDATION.md",
@@ -789,6 +790,13 @@
     "evaluations/relationship-retrieval/baseline.json",
     "evaluations/relationship-retrieval/candidate.json",
     "evaluations/relationship-retrieval/protocol.md",
+    "evaluations/same-group-retrieval/README.md",
+    "evaluations/same-group-retrieval/prior-36-control.json",
+    "evaluations/same-group-retrieval/protocol.md",
+    "evaluations/same-group-retrieval/v3-specific.json",
+    "evaluations/same-group-retrieval/v3-symmetric.json",
+    "evaluations/same-group-retrieval/v4-specific.json",
+    "evaluations/same-group-retrieval/v4-symmetric.json",
     "evaluations/static-calls/README.md",
     "evaluations/static-calls/results/2026-10-29.json",
     "evaluations/weftlet/baseline.json",
@@ -908,6 +916,12 @@
     "scripts/restore-publication-state.mjs",
     "scripts/retrieval-study/preservation.ts",
     "scripts/retrieval-study/run.ts",
+    "scripts/same-group-study/entrypoints.ts",
+    "scripts/same-group-study/measure.ts",
+    "scripts/same-group-study/run.ts",
+    "scripts/same-group-study/v3-order.ts",
+    "scripts/same-group-study/v3-rows.ts",
+    "scripts/same-group-study/v3-signals.ts",
     "scripts/smoke-mapping-proposals.mjs",
     "scripts/smoke-traversal.mjs",
     "scripts/update-inventory.mjs",
@@ -1026,6 +1040,9 @@
     "src/graph/evidence-description.ts",
     "src/graph/identity-preflight.test.ts",
     "src/graph/identity-preflight.ts",
+    "src/graph/impact-affinity-order.ts",
+    "src/graph/impact-affinity.test.ts",
+    "src/graph/impact-affinity.ts",
     "src/graph/impact-order.test.ts",
     "src/graph/impact-order.ts",
     "src/graph/impact-signals.ts",
@@ -1114,6 +1131,7 @@
     "tests/fixtures/obligation-project.ts",
     "tests/fixtures/rdf-070-reference.ts",
     "tests/fixtures/relationship-retrieval-project.ts",
+    "tests/fixtures/same-group-project.ts",
     "tests/fixtures/shacl.ts",
     "tests/fixtures/static-call-project.ts",
     "tests/fixtures/symbol-bindings.ts",
@@ -1134,6 +1152,7 @@
     "tests/relationship-retrieval.test.ts",
     "tests/routing.test.ts",
     "tests/runtime.test.ts",
+    "tests/same-group-retrieval.test.ts",
     "tests/semantic-cache-reuse.test.ts",
     "tests/semantic-identity.test.ts",
     "tests/shacl-validation.test.ts",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@weftlet/toolkit",
-  "version": "0.7.3",
+  "version": "0.7.4",
   "description": "Evidence-backed context graphs for AI development agents: product intent, contracts, code, tests and runtime behavior",
   "license": "Apache-2.0",
   "type": "module",
@@ -66,7 +66,7 @@
     "rdf-validate-shacl": "0.6.5",
     "sparqljs": "3.7.4",
     "typescript": "5.5.4",
-    "@weftlet/core": "^0.7.3"
+    "@weftlet/core": "^0.7.4"
   },
   "devDependencies": {
     "@changesets/cli": "3.0.3",
@@ -132,6 +132,7 @@
     "evaluate:mappings": "tsx scripts/mapping-study/run.ts",
     "evaluate:calls": "tsx scripts/call-study/run.ts",
     "evaluate:proposals": "tsx scripts/mapping-proposal-study/run.ts",
-    "evaluate:indirect": "tsx scripts/indirect-retrieval-study/run.ts"
+    "evaluate:indirect": "tsx scripts/indirect-retrieval-study/run.ts",
+    "evaluate:same-group": "tsx scripts/same-group-study/run.ts"
   }
 }