@oscharko-dev/keiko-server 0.2.6 → 0.2.8

package/dist/grounded-context-diagnostics.js

@@ -0,0 +1,77 @@
+// PR4-W1 grounded diagnostics observer (ADR-0055 D1). A PURE, no-IO, no-clock function that
+// accepts a fully assembled `ConnectedContextPack` and a `ContextProfile` and returns a pack
+// whose `diagnostics.contextBudget?` is populated with a deterministic `ContextBudget` derived by
+// running the keiko-workflows allocator over lanes mapped from the pack.
+//
+// NON-NEGOTIABLE INVARIANT (AC5): this observer MUST NOT touch any field a prompt builder reads.
+// `buildGroundedGatewayMessages` (grounded-qa.ts) reads only pack.schemaVersion / stableId /
+// scope / query / budget / usage / omitted / files / uncertainty — never pack.diagnostics. The
+// observer therefore changes ONLY the additive optional `diagnostics.contextBudget?` field while
+// preserving the existing `diagnostics.rankedCandidates` (the first-lexical-ring explainability).
+// pack.files, pack.budget, pack.usage and pack.stableId are returned reference-identical.
+import { CONTEXT_ENGINEERING_SCHEMA_VERSION, } from "@oscharko-dev/keiko-contracts";
+import { allocateContext, DEFAULT_CONTEXT_BUDGET, } from "@oscharko-dev/keiko-workflows";
+// The grounded path carries repository evidence excerpts only; the system-contract / user-task /
+// plan / tool / memory / history / verification lanes are not assembled here, so they are passed
+// empty. Diagnostics over the populated repo-evidence lane are the W1 deliverable.
+function repoEvidenceLaneItems(pack) {
+    const items = [];
+    for (const file of pack.files) {
+        for (const excerpt of file.excerpts) {
+            items.push({
+                id: excerpt.atom.stableId,
+                text: excerpt.content,
+                score: excerpt.atom.score,
+            });
+        }
+    }
+    return items;
+}
+function groundedLanes(pack) {
+    return [{ laneId: "repo-evidence", items: repoEvidenceLaneItems(pack) }];
+}
+// Builds a ContextBudget whose `profile` is the supplied profile (so validateContextBudget's
+// profile-identity check holds) while reusing the canonical, tunable lane rows. Pure — no clock,
+// no IO, never mutates the inputs.
+function budgetForProfile(profile) {
+    return {
+        schemaVersion: CONTEXT_ENGINEERING_SCHEMA_VERSION,
+        profile,
+        lanes: DEFAULT_CONTEXT_BUDGET.lanes,
+    };
+}
+function diagnosticsWithBudget(existing, budget) {
+    const rankedCandidates = existing?.rankedCandidates ?? [];
+    return { ...existing, rankedCandidates, contextBudget: budget };
+}
+// SHARED lane-derivation + allocation pass (single source of truth for the observer AND the
+// evidence producer below). Pure, no-IO, no-clock: maps the pack's repo-evidence lane, builds the
+// profile budget, and runs the deterministic allocator once. Both the BFF/UI ContextBudget slot
+// and the regulated ContextAssemblyDiagnostics are projected from THIS result — there is no
+// divergent derivation path that could let the two views disagree for the same pack + profile.
+function allocateGroundedContext(pack, profile) {
+    const budget = budgetForProfile(profile);
+    const result = allocateContext({ profile, budget, lanes: groundedLanes(pack) });
+    return { budget, result };
+}
+// EVIDENCE producer (ADR-0056 W3). Returns the rich ContextAssemblyDiagnostics
+// (allocateContext(...).diagnostics) for the pack's repo-evidence lane under the supplied profile.
+// This is the value persisted to EvidenceManifest.contextAssembly? — NOT the ContextBudget that
+// ContextPackDiagnostics.contextBudget? carries. Derives the lane via the same shared helper the
+// observer uses, so the persisted diagnostics describe exactly the budget plan the observer
+// attached. Pure and deterministic.
+export function deriveGroundedContextAssembly(pack, profile) {
+    return allocateGroundedContext(pack, profile).result.diagnostics;
+}
+// Runs the deterministic allocator over the pack-derived lanes and attaches the resulting
+// ContextBudget to pack.diagnostics.contextBudget. The allocator pass exercises the budget plan
+// over real lane items (proving the budget is meaningful for this pack); the attached value is the
+// ContextBudget that ContextPackDiagnostics.contextBudget? carries (the only diagnostics slot the
+// pack contract exposes). All other pack fields are returned unchanged.
+export function attachContextBudgetDiagnostics(pack, profile) {
+    const { budget } = allocateGroundedContext(pack, profile);
+    return {
+        ...pack,
+        diagnostics: diagnosticsWithBudget(pack.diagnostics, budget),
+    };
+}

package/dist/grounded-orchestrator.d.ts

@@ -1,4 +1,5 @@
 import { type ConnectedContextPack, type ExplorationBudget, type RetrievalQuery, type SelectedScope } from "@oscharko-dev/keiko-contracts/connected-context";
+import type { ContextProfile } from "@oscharko-dev/keiko-contracts";
 import { type ClarificationPrompt, type ExplorationPlan, type MicroIndex } from "@oscharko-dev/keiko-workflows";
 import { DEFAULT_SEARCH_LIMITS, type WorkspaceFs, type WorkspaceInfo } from "@oscharko-dev/keiko-workspace";
 import { type GroundedAnswerPayload } from "./grounded-answer.js";
@@ -19,6 +20,7 @@ export interface OrchestratorDeps {
     readonly detectWorkspace?: (root: string, fs: WorkspaceFs) => WorkspaceInfo;
     readonly recordPlan?: (plan: ExplorationPlan) => void;
     readonly microIndex?: MicroIndex;
+    readonly contextProfile?: ContextProfile | undefined;
 }
 export interface OrchestratorOutput {
     readonly pack: ConnectedContextPack;

package/dist/grounded-orchestrator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"grounded-orchestrator.d.ts","sourceRoot":"","sources":["../src/grounded-orchestrator.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,KAAK,oBAAoB,EAEzB,KAAK,iBAAiB,EAGtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAEnB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAUL,KAAK,mBAAmB,EAExB,KAAK,eAAe,EAEpB,KAAK,UAAU,EAIhB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,qBAAqB,EAerB,KAAK,WAAW,EAChB,KAAK,aAAa,EAGnB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAkC,KAAK,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AASlG,MAAM,WAAW,gBAAgB;IAG/B,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACtF;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAE1C,QAAQ,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC;IAE1B,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,KAAK,aAAa,CAAC;IAE5E,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,IAAI,CAAC;IAEtD,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;CACjC;AAMD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;CAChC;AAKD,qBAAa,wBAAyB,SAAQ,KAAK;aACd,aAAa,EAAE,mBAAmB;gBAAlC,aAAa,EAAE,mBAAmB;CAItE;AAMD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAgBhF;AA25BD,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAM/E;AAw5BD,wBAAsB,4BAA4B,CAChD,KAAK,EAAE,iBAAiB,EACxB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,mBAAmB,CAAC,CA4C9B;AAED,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,iBAAiB,EACxB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,kBAAkB,CAAC,CA8B7B;AAID,OAAO,EAAE,qBAAqB,EAAE,CAAC"}
+{"version":3,"file":"grounded-orchestrator.d.ts","sourceRoot":"","sources":["../src/grounded-orchestrator.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,KAAK,oBAAoB,EAGzB,KAAK,iBAAiB,EAGtB,KAAK,cAAc,EACnB,KAAK,aAAa,EAEnB,MAAM,iDAAiD,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAUL,KAAK,mBAAmB,EAExB,KAAK,eAAe,EAEpB,KAAK,UAAU,EAIhB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAEL,qBAAqB,EAiBrB,KAAK,WAAW,EAChB,KAAK,aAAa,EAGnB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAkC,KAAK,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAUlG,MAAM,WAAW,gBAAgB;IAG/B,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACtF;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAE1C,QAAQ,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC;IAE1B,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,KAAK,aAAa,CAAC;IAE5E,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,IAAI,CAAC;IAEtD,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IAKjC,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;CACtD;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;CACjC;AAMD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;CAChC;AAKD,qBAAa,wBAAyB,SAAQ,KAAK;aACd,aAAa,EAAE,mBAAmB;gBAAlC,aAAa,EAAE,mBAAmB;CAItE;AAMD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAgBhF;AAk8BD,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAM/E;AA09BD,wBAAsB,4BAA4B,CAChD,KAAK,EAAE,iBAAiB,EACxB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,mBAAmB,CAAC,CA4C9B;AAED,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,iBAAiB,EACxB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,kBAAkB,CAAC,CA8B7B;AAID,OAAO,EAAE,qBAAqB,EAAE,CAAC"}

package/dist/grounded-orchestrator.js

@@ -11,11 +11,12 @@
 import { createHash } from "node:crypto";
 import { isValidScopePath, } from "@oscharko-dev/keiko-contracts/connected-context";
 import { advanceRing, applyUsage, assembleContextPack, canContinue, classifyRetrievalIntent, complete, contextPackIndexKey, planAndGovern, rankCandidates, } from "@oscharko-dev/keiko-workflows";
-import { DEFAULT_SEARCH_LIMITS, FileTooLargeError, RepoSearchUnsupportedFileError, detectWorkspaceAt, findFiles, gitHistoryAdapter, importGraphAdapter, readExcerpt, resolveWithinWorkspace, runStructuralAdapters, searchText, testSourcePairingAdapter, containedRealPathInfo, evidenceAtomStableId, } from "@oscharko-dev/keiko-workspace";
+import { CANONICAL_MANIFEST_BASENAMES, DEFAULT_SEARCH_LIMITS, FileTooLargeError, RepoSearchUnsupportedFileError, detectWorkspaceAt, findFiles, gitHistoryAdapter, importGraphAdapter, isCanonicalMetadataFile, isDenied, readExcerpt, resolveWithinWorkspace, runStructuralAdapters, searchText, testSourcePairingAdapter, containedRealPathInfo, evidenceAtomStableId, } from "@oscharko-dev/keiko-workspace";
 import { CancelledError } from "@oscharko-dev/keiko-model-gateway";
 import { nodeWorkspaceFs } from "@oscharko-dev/keiko-workspace/internal/fs";
 import { normalizeGroundedAnswerPayload } from "./grounded-answer.js";
 import { collectConnectedDocumentEvidence, isConnectedDocumentPath, } from "./grounded-document-evidence.js";
+import { attachContextBudgetDiagnostics } from "./grounded-context-diagnostics.js";
 // Raised when the planner asks for clarification (no anchors, too-generic prompt, etc.). The
 // route maps this to a 400 BAD_REQUEST via clarificationUserMessage below; the Error message
 // itself keeps the stable machine-ish form for logs and tests.
@@ -45,6 +46,23 @@ export function clarificationUserMessage(error) {
     const exampleText = examples.length > 0 ? ` Zum Beispiel: ${examples.map((q) => `"${q}"`).join(" oder ")}` : "";
     return `${intro}${anchorHint}${exampleText}`;
 }
+// Maps the workspace-layer SearchDiagnostics.rankedCandidates onto the contract pack-diagnostics
+// shape. Structurally identical (path/bucket/score/ecosystem/signals) but mapped explicitly so the
+// workspace and contracts types stay decoupled. Returns undefined when no diagnostics are present.
+function toPackDiagnostics(diagnostics) {
+    if (diagnostics === undefined) {
+        return undefined;
+    }
+    return {
+        rankedCandidates: diagnostics.rankedCandidates.map((entry) => ({
+            scopePath: entry.scopePath,
+            bucket: entry.bucket,
+            score: entry.score,
+            ecosystem: entry.ecosystem,
+            signals: entry.signals.map((signal) => ({ name: signal.name, value: signal.value })),
+        })),
+    };
+}
 const TEXT_ENCODER = new TextEncoder();
 function throwIfCancelled(signal) {
     if (signal?.aborted === true) {
@@ -245,6 +263,7 @@ async function runRing(ring, inputs) {
             omitted: omittedFromSearchCandidates(result.candidates, inputs.nowMs()),
             uncertainty: [],
             usage: usageDelta({ elapsedMs: result.elapsedMs }),
+            diagnostics: toPackDiagnostics(result.diagnostics),
         };
     }
     // Keep the planner's ring split authoritative: the structural ring should only run the
@@ -292,6 +311,9 @@ async function runAllRings(rings, inputs, initialGovernor) {
     const atoms = [];
     const omitted = [];
     const uncertainty = [];
+    // Ring order is fixed by the plan, so capturing the first lexical ring's diagnostics is
+    // deterministic. (There is normally exactly one lexical ring.)
+    let diagnostics;
     let governor = initialGovernor;
     for (const ring of rings) {
         throwIfCancelled(inputs.signal);
@@ -306,6 +328,8 @@ async function runAllRings(rings, inputs, initialGovernor) {
         }
         const result = await runRing(ring, inputs);
         throwIfCancelled(inputs.signal);
+        // First lexical ring wins (??= never overwrites once set); ring order is plan-fixed.
+        diagnostics ??= result.diagnostics;
         const afterRing = applyUsage(governor, result.usage);
         atoms.push(...result.atoms);
         omitted.push(...result.omitted);
@@ -320,7 +344,7 @@ async function runAllRings(rings, inputs, initialGovernor) {
     if (governor.status === "running") {
         governor = complete(governor);
     }
-    return { atoms, omitted, governor, uncertainty };
+    return { atoms, omitted, governor, uncertainty, diagnostics };
 }
 const DEFAULT_EXCERPT_WINDOW = { startLine: 1, endLine: 200 };
 const EXCERPT_CONTEXT_LINES = 2;
@@ -366,38 +390,21 @@ const PROJECT_METADATA_QUERY_TERMS = [
     "vitest",
     "yarn",
 ];
-const PROJECT_METADATA_FILENAMES = [
-    "package.json",
+// Dependency lockfiles surfaced for project-metadata questions (unchanged behaviour). The manifest
+// basenames themselves now come from the shared ecosystem registry (CANONICAL_MANIFEST_BASENAMES),
+// which is a superset of the prior JS/TS-only list and additionally covers Maven/Gradle/Go/Rust/
+// Python/.NET/etc., so "Which Java version does this project use?" injects pom.xml/build.gradle as
+// deterministic score-1 metadata atoms.
+const PROJECT_METADATA_LOCKFILES = [
     "package-lock.json",
     "pnpm-lock.yaml",
     "yarn.lock",
     "bun.lock",
     "bun.lockb",
-    "vitest.config.ts",
-    "vitest.config.mts",
-    "vitest.config.js",
-    "vitest.config.mjs",
-    "vitest.setup.ts",
-    "vite.config.ts",
-    "vite.config.mts",
-    "vite.config.js",
-    "vite.config.mjs",
-    "jest.config.ts",
-    "jest.config.js",
-    "jest.config.mjs",
-    "playwright.config.ts",
-    "playwright.config.js",
-    "cypress.config.ts",
-    "cypress.config.js",
-    "next.config.ts",
-    "next.config.js",
-    "next.config.mjs",
-    "tsconfig.json",
-    "eslint.config.ts",
-    "eslint.config.js",
-    "eslint.config.mjs",
-    "postcss.config.js",
-    "postcss.config.mjs",
+];
+const PROJECT_METADATA_FILENAMES = [
+    ...CANONICAL_MANIFEST_BASENAMES,
+    ...PROJECT_METADATA_LOCKFILES,
 ];
 const REPOSITORY_OVERVIEW_FILENAMES = [
     "README.md",
@@ -572,16 +579,32 @@ function safeReadDir(searchScope, fs, scopePath) {
         return [];
     }
 }
+// Bound on how many service subdirectories under a `dir/*` pattern are scanned, so a monorepo with
+// thousands of packages cannot trigger an unbounded directory fan-out (the per-result cap in the
+// caller is MAX_WORKSPACE_MANIFESTS; this caps the WORK, not just the output).
+const MAX_MONOREPO_SERVICE_DIRS = 96;
+// Canonical project manifests of ANY ecosystem present directly inside `dir` (one bounded readDir,
+// realpath-contained, no symlink following). Replaces the prior package.json-only probe so a
+// polyglot monorepo surfaces service-local pom.xml / go.mod / Cargo.toml / *.csproj, not just
+// JS packages. isDenied is applied even though the registry is deny-clean (defence in depth), and
+// the result is sorted for deterministic evidence ordering.
+function canonicalManifestScopePathsInDir(dir, searchScope, fs) {
+    return safeReadDir(searchScope, fs, dir)
+        .filter((entry) => !entry.isDirectory && !entry.isSymbolicLink)
+        .map((entry) => joinScopePath(dir, entry.name))
+        .filter((scopePath) => isCanonicalMetadataFile(scopePath) && !isDenied(scopePath))
+        .sort();
+}
 function expandWorkspacePattern(pattern, searchScope, fs) {
     const normalized = normalizeWorkspacePattern(pattern);
     if (normalized === undefined) {
         return [];
     }
     if (!normalized.includes("*")) {
-        const scopePath = normalized.endsWith("/package.json")
-            ? normalized
-            : joinScopePath(normalized, "package.json");
-        return fileExistsInSearchScope(searchScope, fs, scopePath) ? [scopePath] : [];
+        const dir = normalized.endsWith("/package.json")
+            ? normalized.slice(0, -"/package.json".length)
+            : normalized;
+        return canonicalManifestScopePathsInDir(dir, searchScope, fs);
     }
     if (!normalized.endsWith("/*") || normalized.slice(0, -2).includes("*")) {
         return [];
@@ -589,9 +612,10 @@ function expandWorkspacePattern(pattern, searchScope, fs) {
     const base = normalized.slice(0, -2);
     return safeReadDir(searchScope, fs, base)
         .filter((entry) => entry.isDirectory && !entry.isSymbolicLink)
-        .map((entry) => joinScopePath(joinScopePath(base, entry.name), "package.json"))
-        .filter((scopePath) => fileExistsInSearchScope(searchScope, fs, scopePath))
-        .sort();
+        .map((entry) => entry.name)
+        .sort()
+        .slice(0, MAX_MONOREPO_SERVICE_DIRS)
+        .flatMap((name) => canonicalManifestScopePathsInDir(joinScopePath(base, name), searchScope, fs));
 }
 function workspacePackageManifestPaths(input, searchScope, fs) {
     if (input.scope.kind !== "workspace-root" || input.scope.relativePaths.length !== 0) {
@@ -881,6 +905,37 @@ function selectedFileScopeAtoms(input, searchScope, fs, nowMs) {
     }
     return atoms;
 }
+// Accept a candidate injection path once: not already seen, shape-valid, and NOT deny-listed.
+// isDenied is re-checked here (not only at the downstream read gate) so a registry manifest pattern
+// can never inject a deny-listed/secret path as a score-1 atom; registry patterns are also asserted
+// deny-clean in ecosystems.test.ts. Mutates `seen` on acceptance.
+function acceptInjectionScopePath(scopePath, seen) {
+    if (seen.has(scopePath) ||
+        !isValidScopePath(scopePath, { mustBeRelative: true }) ||
+        isDenied(scopePath)) {
+        return false;
+    }
+    seen.add(scopePath);
+    return true;
+}
+// Bound on glob-manifest atoms injected per metadata root from a single directory listing (M4,
+// risk #1). The exact-name loop above handles fixed basenames; this catches GLOB manifests at the
+// root/scope dir (e.g. *.csproj, *.tf) that have no fixed name. Deny-checked + deduped + capped.
+const MAX_ROOT_GLOB_MANIFESTS = 16;
+// Bounded glob-manifest sweep of a single directory: returns the accepted (deduped, deny-clean,
+// shape-valid) scope paths, capped at MAX_ROOT_GLOB_MANIFESTS. Mutates `seen` via the gate.
+function rootGlobManifestPaths(root, searchScope, fs, seen) {
+    const paths = [];
+    for (const scopePath of canonicalManifestScopePathsInDir(root, searchScope, fs)) {
+        if (paths.length >= MAX_ROOT_GLOB_MANIFESTS) {
+            break;
+        }
+        if (acceptInjectionScopePath(scopePath, seen)) {
+            paths.push(scopePath);
+        }
+    }
+    return paths;
+}
 function projectMetadataAtoms(input, searchScope, fs, nowMs) {
     if (!wantsProjectMetadata(input)) {
         return [];
@@ -891,21 +946,21 @@ function projectMetadataAtoms(input, searchScope, fs, nowMs) {
     for (const root of metadataRootsForScope(input.scope)) {
         for (const filename of PROJECT_METADATA_FILENAMES) {
             const scopePath = joinScopePath(root, filename);
-            if (seen.has(scopePath) || !isValidScopePath(scopePath, { mustBeRelative: true })) {
-                continue;
-            }
-            seen.add(scopePath);
-            if (fileExistsInSearchScope(searchScope, fs, scopePath)) {
+            if (acceptInjectionScopePath(scopePath, seen) &&
+                fileExistsInSearchScope(searchScope, fs, scopePath)) {
                 atoms.push(metadataAtom(input.scope, scopePath, queryFingerprint, nowMs));
             }
         }
+        // Glob-manifest sweep of the directory itself (bounded), so a root-level *.csproj / *.tf that
+        // the fixed-name list cannot enumerate is still injected. Exact names already seen are deduped.
+        for (const scopePath of rootGlobManifestPaths(root, searchScope, fs, seen)) {
+            atoms.push(metadataAtom(input.scope, scopePath, queryFingerprint, nowMs));
+        }
     }
     for (const scopePath of workspacePackageManifestPaths(input, searchScope, fs)) {
-        if (seen.has(scopePath) || !isValidScopePath(scopePath, { mustBeRelative: true })) {
-            continue;
+        if (acceptInjectionScopePath(scopePath, seen)) {
+            atoms.push(metadataAtom(input.scope, scopePath, queryFingerprint, nowMs));
         }
-        seen.add(scopePath);
-        atoms.push(metadataAtom(input.scope, scopePath, queryFingerprint, nowMs));
     }
     return atoms;
 }
@@ -919,11 +974,8 @@ function repositoryOverviewAtoms(input, searchScope, fs, nowMs) {
     for (const root of metadataRootsForScope(input.scope)) {
         for (const filename of REPOSITORY_OVERVIEW_FILENAMES) {
             const scopePath = joinScopePath(root, filename);
-            if (seen.has(scopePath) || !isValidScopePath(scopePath, { mustBeRelative: true })) {
-                continue;
-            }
-            seen.add(scopePath);
-            if (fileExistsInSearchScope(searchScope, fs, scopePath)) {
+            if (acceptInjectionScopePath(scopePath, seen) &&
+                fileExistsInSearchScope(searchScope, fs, scopePath)) {
                 atoms.push(overviewAtom(input.scope, scopePath, queryFingerprint, nowMs));
             }
         }
@@ -1248,13 +1300,17 @@ function cachedGroundedPack({ input, deps, plan, rings, ordered, cacheIdentity,
         excerpts: new Map(),
         cacheIdentity,
         initialUsage,
+        diagnostics: rings.diagnostics,
     }, assembleOptions);
     return deps.microIndex.get(key);
 }
 function preparePackAssembly(input, plan, rings, nowMs) {
     const atoms = rings.atoms;
     const initialUsage = clampUsageToBudget(rings.governor.usage, plan.budget);
-    const ranking = rankCandidates({ atoms, anchors: plan.anchors }, { nowMs });
+    // M4: pass the classified retrieval intent so ranking can apply intent-conditioned signals
+    // (canonical-metadata, structural-edge). Non-boosted intents (e.g. clarification) and the
+    // no-context default are byte-identical — see weightsForIntent / isIntentBoosted.
+    const ranking = rankCandidates({ atoms, anchors: plan.anchors, context: { retrievalIntent: plan.retrievalIntent } }, { nowMs });
     const ordered = refineCandidateOrdering(ranking.kept, ranking.omitted, input.query.text, plan.anchors, nowMs());
     return {
         atoms,
@@ -1290,6 +1346,7 @@ async function assemblePackFromReads({ input, plan, rings, prepared, excerptRead
             ? undefined
             : cacheIdentity,
         initialUsage: prepared.initialUsage,
+        diagnostics: rings.diagnostics,
         initialUncertainty: [
             ...rings.uncertainty,
             ...excerptReads.uncertainty,
@@ -1339,13 +1396,24 @@ async function prepareGroundedAssembly(args, augmentedRings, prepared) {
         });
     return { documentEvidence, cached, cacheIdentity, assembleOptions };
 }
+// PR4-W1 (ADR-0055 D1): conditional diagnostics observer. When a ContextProfile is threaded
+// through OrchestratorDeps, the fully assembled pack is enriched with an additive
+// `diagnostics.contextBudget?`. The observer is pure and touches no field a prompt builder reads,
+// so the wire output stays byte-identical (AC5). When the profile is absent, the pack is returned
+// exactly as assembled — the unchanged-guarantee for legacy callers and existing tests.
+function withGroundedContextDiagnostics(pack, deps) {
+    if (deps.contextProfile === undefined) {
+        return pack;
+    }
+    return attachContextBudgetDiagnostics(pack, deps.contextProfile);
+}
 async function assembleGroundedPack(args) {
     const { input, deps, plan, searchScope, fs, nowMs } = args;
     const augmentedRings = await augmentRingsWithDeterministicAtoms(args);
     const prepared = preparePackAssembly(input, plan, augmentedRings, nowMs);
     const ctx = await prepareGroundedAssembly(args, augmentedRings, prepared);
     if (ctx.cached !== undefined) {
-        return ctx.cached;
+        return withGroundedContextDiagnostics(ctx.cached, deps);
     }
     const excerptReads = await readKeptExcerpts(prepared.keptPaths, {
         searchScope,
@@ -1356,7 +1424,7 @@ async function assembleGroundedPack(args) {
         nowMs,
         signal: deps.signal,
     });
-    return await assemblePackFromReads({
+    const pack = await assemblePackFromReads({
         input,
         plan,
         rings: augmentedRings,
@@ -1366,6 +1434,7 @@ async function assembleGroundedPack(args) {
         cacheIdentity: ctx.cacheIdentity,
         assembleOptions: ctx.assembleOptions,
     });
+    return withGroundedContextDiagnostics(pack, deps);
 }
 // ─── Public entry ─────────────────────────────────────────────────────────────
 // Epic #532 — retrieval-only pipeline: the ready-governed plan, workspace detection, ring run,

package/dist/grounded-qa-hybrid.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"grounded-qa-hybrid.d.ts","sourceRoot":"","sources":["../src/grounded-qa-hybrid.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,EAIL,KAAK,cAAc,EACnB,KAAK,eAAe,EACrB,MAAM,qCAAqC,CAAC;AAiB7C,OAAO,EAGL,KAAK,uBAAuB,EAO7B,MAAM,wCAAwC,CAAC;AAIhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,KAAK,EAAY,aAAa,EAAE,MAAM,WAAW,CAAC;AAEzD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAM7C,OAAO,EAML,KAAK,iBAAiB,EACvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAQL,KAAK,2BAA2B,EACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAEL,KAAK,qBAAqB,EAE3B,MAAM,sBAAsB,CAAC;AAsB9B,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,uBAAuB,EAAE,CAExF;AAID,wBAAgB,eAAe,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAU/E;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAChD,MAAM,MAAM,iBAAiB,GAAG,CAC9B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,EAC9B,QAAQ,EAAE,2BAA2B,KAClC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC9B,MAAM,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAE9F,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;IAGjC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS;QACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,EAAE,CAAC;CACL;AAwND,qBAAa,qBAAsB,SAAQ,KAAK;aACX,MAAM,EAAE,WAAW;gBAAnB,MAAM,EAAE,WAAW;CAIvD;AA4FD,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,WAAW,GAClB,cAAc,CAwBhB;AA4eD,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,oBAAoB,GAAG,OAAO,CAAC,WAAW,CAAC,CAS1F"}
+{"version":3,"file":"grounded-qa-hybrid.d.ts","sourceRoot":"","sources":["../src/grounded-qa-hybrid.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,EAIL,KAAK,cAAc,EACnB,KAAK,eAAe,EACrB,MAAM,qCAAqC,CAAC;AAiB7C,OAAO,EAGL,KAAK,uBAAuB,EAO7B,MAAM,wCAAwC,CAAC;AAIhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,KAAK,EAAY,aAAa,EAAE,MAAM,WAAW,CAAC;AAEzD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAM7C,OAAO,EAML,KAAK,iBAAiB,EACvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAQL,KAAK,2BAA2B,EACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAEL,KAAK,qBAAqB,EAE3B,MAAM,sBAAsB,CAAC;AAwB9B,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,uBAAuB,EAAE,CAExF;AAID,wBAAgB,eAAe,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAU/E;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAChD,MAAM,MAAM,iBAAiB,GAAG,CAC9B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,EAC9B,QAAQ,EAAE,2BAA2B,KAClC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC9B,MAAM,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAE9F,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;IAGjC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS;QACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,EAAE,CAAC;CACL;AAwND,qBAAa,qBAAsB,SAAQ,KAAK;aACX,MAAM,EAAE,WAAW;gBAAnB,MAAM,EAAE,WAAW;CAIvD;AA2FD,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,WAAW,GAClB,cAAc,CAwBhB;AA6eD,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,oBAAoB,GAAG,OAAO,CAAC,WAAW,CAAC,CAS1F"}

package/dist/grounded-qa-hybrid.js

@@ -21,7 +21,7 @@ import { MAX_PROMPT_REFERENCES, buildSelectedScopeSourceLookup, createEmbeddingA
 import { GROUNDED_SYSTEM_PROMPT } from "./grounded-prompt.js";
 import { normalizeGroundedAnswerPayload, } from "./grounded-answer.js";
 import { assertUsableAssistantContent } from "./assistant-response.js";
-import { buildCitations, buildQuery, buildSelectedScopeFrom, clarificationRequest, deriveScopeIdFrom, ensureNotCancelled, internalError, isValidGroundedPack, mappedGatewayError, mappedWorkspaceError, persistGroundedExchange, promptSafeExcerptText, redactString, } from "./grounded-qa.js";
+import { buildCitations, buildQuery, buildSelectedScopeFrom, clarificationRequest, deriveScopeIdFrom, ensureNotCancelled, groundedContextAssemblyInput, groundedContextSummaryInput, internalError, isValidGroundedPack, mappedGatewayError, mappedWorkspaceError, persistGroundedExchange, promptSafeExcerptText, redactString, } from "./grounded-qa.js";
 // ─── Canonical connector reader ───────────────────────────────────────────────
 // Mirrors buildConnectedScopes: the plural `localKnowledgeScopes` list supersedes the legacy single
 // `localKnowledgeScope`. Readers must not mix the two — the list, when present, is authoritative.
@@ -326,10 +326,10 @@ function emptyFolderSummary() {
         elapsedMs: 0,
     };
 }
-function folderSummary(folders, redactor) {
+function folderSummary(folders, redactor, deps) {
     if (folders.length === 0)
         return emptyFolderSummary();
-    return mergeContextPackSummaries(folders.map((src) => buildGroundedAnswerContextPackSummary(src.pack, buildCitations(src.pack, redactor).length, src.elapsedMs)));
+    return mergeContextPackSummaries(folders.map((src) => buildGroundedAnswerContextPackSummary(src.pack, buildCitations(src.pack, redactor).length, src.elapsedMs, groundedContextSummaryInput(deps, src.pack))));
 }
 function hashString32(value) {
     let hash = 0x811c9dc5;
@@ -404,6 +404,7 @@ function persistFolderEvidence(ctx, folders) {
             elapsedMs: src.elapsedMs,
             startedAt,
             finishedAt,
+            ...groundedContextAssemblyInput(ctx.deps, src.pack),
         }, {
             store: ctx.deps.evidenceStore,
             env: ctx.deps.env,
@@ -535,7 +536,7 @@ function assembleHybridAnswer(ctx, sources, store, selected, limits, assistant,
     const { firstRunId: evidenceRunId, runIds: evidenceRunIds } = persistFolderEvidence(ctx, sources.folders);
     persistConnectorAudit(store, sources.connectors, selected, ctx.modelId);
     const elapsedMs = sources.folders.reduce((acc, src) => acc + src.elapsedMs, 0);
-    const summary = folderSummary(sources.folders, redactor);
+    const summary = folderSummary(sources.folders, redactor, ctx.deps);
     return {
         groundingKind: "hybrid",
         ...ids,
@@ -575,6 +576,7 @@ function assembleHybridNoEvidenceRoute(ctx, store, meta, selected, limits) {
         folderSourceCount: meta.folderScopeCount,
         connectorSourceCount: meta.connectorScopeCount,
     }, store, selected, limits, { content, usage: { promptTokens: 0, completionTokens: 0 } }, { userMessageId: userMessage.id, assistantMessageId: assistantMessage.id });
+    ctx.deps.store.attachGroundedAnswer(assistantMessage.id, answer);
     return { status: 200, body: answer };
 }
 export async function runHybridGroundedAsk(ctx) {
@@ -736,6 +738,7 @@ async function answerAndAssemble(ctx, store, meta) {
         folderSourceCount: meta.folderScopeCount,
         connectorSourceCount: meta.connectorScopeCount,
     }, store, selected, limits, assistant, { userMessageId: userMessage.id, assistantMessageId: assistantMessage.id });
+    ctx.deps.store.attachGroundedAnswer(assistantMessage.id, answer);
     return { status: 200, body: answer };
 }
 // Issue #154 (GAP-B) — a GatewayError is redacted inside mappedGatewayError (shared with the

package/dist/grounded-qa-multi-source.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"grounded-qa-multi-source.d.ts","sourceRoot":"","sources":["../src/grounded-qa-multi-source.ts"],"names":[],"mappings":"AAWA,OAAO,EAGL,KAAK,WAAW,IAAI,kBAAkB,EACvC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAG7D,OAAO,EAIL,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EAGvB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAEL,KAAK,kBAAkB,EAEvB,KAAK,gCAAgC,EAGtC,MAAM,wCAAwC,CAAC;AAEhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAEzD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACzB,MAAM,4BAA4B,CAAC;AAKpC,OAAO,EAEL,KAAK,qBAAqB,EAE3B,MAAM,sBAAsB,CAAC;AA0B9B,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,kBAAkB,EAAE,CAE9E;AAOD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAY5F;AAgBD,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,GAAG,SAAS,MAAM,EAAE,CAUrF;AAgFD,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,SAAS,gCAAgC,EAAE,GACrD,gCAAgC,CAsBlC;AAID,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;CACrC;AAoBD,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,SAAS,WAAW,EAAE,EACpC,QAAQ,EAAE,QAAQ,GACjB,SAAS,kBAAkB,EAAE,CAE/B;AAmFD,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAI3F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,GAAG,iBAAiB,CAUvE;AAID,MAAM,MAAM,mBAAmB,GAAG,CAChC,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,SAAS,WAAW,EAAE,KACjC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAEpC,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,WAAW,GAClB,mBAAmB,CAqBrB;AAyBD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAG7B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACvF;AAgND,wBAAsB,iBAAiB,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,WAAW,CAAC,CA4CtF"}
+{"version":3,"file":"grounded-qa-multi-source.d.ts","sourceRoot":"","sources":["../src/grounded-qa-multi-source.ts"],"names":[],"mappings":"AAWA,OAAO,EAGL,KAAK,WAAW,IAAI,kBAAkB,EACvC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAQ7D,OAAO,EAIL,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EAGvB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAEL,KAAK,kBAAkB,EAGvB,KAAK,gCAAgC,EAGtC,MAAM,wCAAwC,CAAC;AAEhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAEzD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACzB,MAAM,4BAA4B,CAAC;AAKpC,OAAO,EAEL,KAAK,qBAAqB,EAE3B,MAAM,sBAAsB,CAAC;AA4B9B,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,kBAAkB,EAAE,CAE9E;AAOD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAY5F;AAgBD,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,GAAG,SAAS,MAAM,EAAE,CAUrF;AAoID,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,SAAS,gCAAgC,EAAE,GACrD,gCAAgC,CA0BlC;AAID,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;CACrC;AAoBD,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,SAAS,WAAW,EAAE,EACpC,QAAQ,EAAE,QAAQ,GACjB,SAAS,kBAAkB,EAAE,CAE/B;AAmFD,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAI3F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,GAAG,iBAAiB,CAUvE;AAID,MAAM,MAAM,mBAAmB,GAAG,CAChC,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,SAAS,WAAW,EAAE,KACjC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAEpC,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,WAAW,GAClB,mBAAmB,CAqBrB;AAyBD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAG7B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACvF;AAkND,wBAAsB,iBAAiB,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,WAAW,CAAC,CA6CtF"}

package/dist/grounded-qa-multi-source.js

@@ -10,6 +10,7 @@ import { basename } from "node:path";
 import { createHash, randomUUID } from "node:crypto";
 import { ContextOverflowError, resolveCostClass, } from "@oscharko-dev/keiko-model-gateway";
 import { persistConnectedContextEvidence } from "@oscharko-dev/keiko-evidence";
+import { CONTEXT_LANE_IDS, } from "@oscharko-dev/keiko-contracts";
 import { CANDIDATE_OMISSION_REASONS, DEFAULT_EXPLORATION_BUDGET, } from "@oscharko-dev/keiko-contracts/connected-context";
 import { buildGroundedAnswerContextPackSummary, } from "@oscharko-dev/keiko-contracts/bff-wire";
 import { currentRedactionSecrets } from "./deps.js";
@@ -19,7 +20,7 @@ import { GROUNDED_SYSTEM_PROMPT } from "./grounded-prompt.js";
 import { rememberGroundedTurn } from "./grounded-turn-registry.js";
 import { assertUsableAssistantContent } from "./assistant-response.js";
 import { normalizeGroundedAnswerPayload, } from "./grounded-answer.js";
-import { buildCitations, buildQuery, buildSelectedScopeFrom, clarificationRequest, deriveScopeIdFrom, ensureNotCancelled, evidenceLines, internalError, isValidGroundedPack, mappedGatewayError, mappedWorkspaceError, modelInputPromptByteLimit, packBudgetSummary, persistGroundedExchange, promptByteLength, redactString, uncertaintyLines, withPromptExcerptByteLimit, } from "./grounded-qa.js";
+import { buildCitations, buildQuery, buildSelectedScopeFrom, clarificationRequest, deriveScopeIdFrom, ensureNotCancelled, evidenceLines, groundedContextAssemblyInput, groundedContextSummaryInput, internalError, isValidGroundedPack, mappedGatewayError, mappedWorkspaceError, modelInputPromptByteLimit, packBudgetSummary, persistGroundedExchange, promptByteLength, redactString, uncertaintyLines, withPromptExcerptByteLimit, } from "./grounded-qa.js";
 // ─── Canonical reader + label/budget helpers ──────────────────────────────────
 // Canonical reader rule (Epic #532 contract): `connectedScopes` supersedes the legacy single
 // `connectedScope`. Readers must NOT mix the two — the list, when present, is authoritative.
@@ -130,11 +131,54 @@ function mergedFileCount(summaries) {
         return -1;
     return summaries.reduce((acc, s) => acc + s.fileCount, 0);
 }
+const PRESSURE_RANK = {
+    low: 0,
+    moderate: 1,
+    high: 2,
+    exceeded: 3,
+};
+function isContextSummary(summary) {
+    return summary !== undefined;
+}
+function emptyLaneCounts() {
+    const counts = {};
+    for (const laneId of CONTEXT_LANE_IDS) {
+        counts[laneId] = 0;
+    }
+    return counts;
+}
+function worstPressure(current, next) {
+    return PRESSURE_RANK[next] > PRESSURE_RANK[current] ? next : current;
+}
+function mergeContextSummaries(summaries) {
+    const contextSummaries = summaries
+        .map((summary) => summary.contextSummary)
+        .filter(isContextSummary);
+    if (contextSummaries.length === 0) {
+        return undefined;
+    }
+    const laneCounts = emptyLaneCounts();
+    let totalEstimatedTokens = 0;
+    let budgetPressure = "low";
+    let compactionActive = false;
+    for (const summary of contextSummaries) {
+        totalEstimatedTokens += summary.totalEstimatedTokens;
+        budgetPressure = worstPressure(budgetPressure, summary.budgetPressure);
+        compactionActive ||= summary.compactionActive;
+        for (const laneId of CONTEXT_LANE_IDS) {
+            laneCounts[laneId] += summary.laneCounts[laneId];
+        }
+    }
+    return { totalEstimatedTokens, budgetPressure, laneCounts, compactionActive };
+}
 export function mergeContextPackSummaries(summaries) {
     const [first] = summaries;
     if (first === undefined) {
         throw new Error("mergeContextPackSummaries requires at least one summary");
     }
+    // ADR-0057 D1: merge every contributing source's path-free contextSummary. The projection remains
+    // structurally path-free: fixed lane-id keys, numeric counts/tokens, a pressure enum, and a boolean.
+    const mergedContextSummary = mergeContextSummaries(summaries);
     return {
         schemaVersion: first.schemaVersion,
         scopeId: `scope-${createHash("sha256")
@@ -151,6 +195,7 @@ export function mergeContextPackSummaries(summaries) {
         omittedCounts: mergeOmittedCounts(summaries),
         uncertaintyCount: summaries.reduce((acc, s) => acc + s.uncertaintyCount, 0),
         elapsedMs: summaries.reduce((acc, s) => acc + s.elapsedMs, 0),
+        ...(mergedContextSummary !== undefined ? { contextSummary: mergedContextSummary } : {}),
     };
 }
 function sourceSection(entry, index, redactor) {
@@ -369,6 +414,7 @@ function persistPerSourceEvidence(ctx, sources) {
             elapsedMs: src.elapsedMs,
             startedAt,
             finishedAt,
+            ...groundedContextAssemblyInput(ctx.deps, src.pack),
         }, {
             store: ctx.deps.evidenceStore,
             env: ctx.deps.env,
@@ -383,7 +429,7 @@ function persistPerSourceEvidence(ctx, sources) {
 function assembleMultiSourceAnswer(ctx, sources, skipped, assistant, ids) {
     const { redactor } = ctx.deps;
     const citations = mergedCitations(sources, redactor);
-    const summaries = sources.map((src) => buildGroundedAnswerContextPackSummary(src.pack, buildCitations(src.pack, redactor).length, src.elapsedMs));
+    const summaries = sources.map((src) => buildGroundedAnswerContextPackSummary(src.pack, buildCitations(src.pack, redactor).length, src.elapsedMs, groundedContextSummaryInput(ctx.deps, src.pack)));
     const mergedSummary = mergeContextPackSummaries(summaries);
     const { firstRunId, runIds } = persistPerSourceEvidence(ctx, sources);
     return {
@@ -435,6 +481,7 @@ export async function runMultiSourceAsk(ctx) {
         userMessageId: userMessage.id,
         assistantMessageId: assistantMessage.id,
     });
+    ctx.deps.store.attachGroundedAnswer(assistantMessage.id, answer);
     rememberGroundedTurn({
         assistantMessageId: assistantMessage.id,
         chatId: ctx.chat.id,

package/dist/grounded-qa.d.ts

@@ -1,10 +1,12 @@
 import { type ChatMessage as GatewayChatMessage } from "@oscharko-dev/keiko-model-gateway";
+import { type ConnectedContextEvidenceInput } from "@oscharko-dev/keiko-evidence";
 import { type ConnectedContextPack, type RetrievalQuery, type SelectedScope } from "@oscharko-dev/keiko-contracts/connected-context";
 import { type GroundedEvidenceCitation, type GroundedUncertainty } from "@oscharko-dev/keiko-contracts/bff-wire";
 import type { RouteContext, RouteResult } from "./routes.js";
 import type { Redactor, UiHandlerDeps } from "./deps.js";
 import type { Chat, ChatConnectedScope, ChatMessage } from "./store/index.js";
 import { type OrchestratorInput, type OrchestratorOutput } from "./grounded-orchestrator.js";
+import { deriveGroundedContextAssembly } from "./grounded-context-diagnostics.js";
 import { type GroundedRetriever, type MultiSourceAnswerer } from "./grounded-qa-multi-source.js";
 import { type ConnectorRetrieve, type FolderRetriever, type HybridAnswerer } from "./grounded-qa-hybrid.js";
 import { GROUNDED_SYSTEM_PROMPT } from "./grounded-prompt.js";
@@ -32,6 +34,8 @@ export declare function buildCitations(pack: ConnectedContextPack, redactor: Red
 export declare function buildUncertainty(pack: ConnectedContextPack, redactor: Redactor): readonly GroundedUncertainty[];
 export type GroundedRunner = (input: OrchestratorInput) => Promise<OrchestratorOutput>;
 export declare function persistGroundedExchange(deps: UiHandlerDeps, chatId: string, userContent: string, assistantContent: string): readonly [ChatMessage, ChatMessage];
+export declare function groundedContextAssemblyInput(deps: Pick<UiHandlerDeps, "contextProfile">, pack: ConnectedContextPack): Pick<ConnectedContextEvidenceInput, "contextAssembly">;
+export declare function groundedContextSummaryInput(deps: Pick<UiHandlerDeps, "contextProfile">, pack: ConnectedContextPack): ReturnType<typeof deriveGroundedContextAssembly> | undefined;
 export interface MultiSourceSeam {
     readonly retriever: GroundedRetriever;
     readonly answerer: MultiSourceAnswerer;