@jinn-network/client 0.1.9 → 0.2.0-canary.0b79cd5d

package/dist/harnesses/engine/backfill-failed-deliveries.js

@@ -0,0 +1,94 @@
+/**
+ * Administrative backfill (#506): scan FAILED task_runs for ones whose
+ * delivery transaction actually landed on-chain and reclassify them as
+ * COMPLETE.
+ *
+ * Background: `insertArtifact()` used to throw on databases still carrying
+ * the legacy `artifacts.desired_state_id NOT NULL` column (fixed in #511).
+ * The engine's error path (`_runTransition` catch → `_classifyAndMarkTerminal`
+ * → `markFailed()`) turned that throw into a FAILED run even though the
+ * on-chain delivery — the thing that actually matters for reward eligibility
+ * — had already succeeded. This backfill corrects the historical DB rows
+ * left behind by that bug; it does not change any live engine behavior.
+ *
+ * Scope: a FAILED row is only a reclassification candidate when its
+ * `failureReason` carries the `artifacts.desired_state_id` NOT NULL
+ * constraint signature (see `DESIRED_STATE_ID_FAILURE_SIGNATURE` below).
+ * A `deliveryTxHash` + successful receipt alone is NOT sufficient — the
+ * daemon persists `deliveryTxHash` after `deliverToMarketplace` lands but
+ * *before* `claimDelivery` runs (crash-recovery design, see
+ * `client/src/harnesses/engine/delivery.ts`), so a row that genuinely failed
+ * at the `claimDelivery` step also carries a `deliveryTxHash` with a
+ * successful receipt — reclassifying it would hide a real failure. The
+ * receipt check below is a secondary confirmation, applied only after the
+ * failure-reason signature already narrows the candidate set to the #506
+ * bug.
+ *
+ * Caveat: because the failure in every #506 case happened at the
+ * `insertArtifact()` step, reclassified rows have no corresponding
+ * `artifacts` row and no ERC-8004 on-chain metadata anchor — that write is
+ * exactly what failed. This backfill does not attempt to reconstruct either;
+ * it only corrects `task_runs.state`.
+ */
+import { TaskRunState } from './state.js';
+/**
+ * Substring present in every `failureReason` produced by the #506 bug.
+ * The raw SqliteError message is exactly
+ * `NOT NULL constraint failed: artifacts.desired_state_id`; `markFailed`
+ * persists it verbatim when invoked from `_runTransition`'s 'transition'
+ * context, or prefixed with `recovery: ` when invoked from the 'recovery'
+ * context (see `_classifyAndMarkTerminal` in engine.ts). This substring
+ * survives both forms.
+ */
+const DESIRED_STATE_ID_FAILURE_SIGNATURE = 'artifacts.desired_state_id';
+export async function backfillFailedDeliveries(deps) {
+    const { persistence, publicClient, dryRun = false } = deps;
+    const result = { reclassified: [], skipped: [], failed: [] };
+    const failedRuns = persistence.getByState(TaskRunState.FAILED);
+    for (const run of failedRuns) {
+        if (!run.failureReason || !run.failureReason.includes(DESIRED_STATE_ID_FAILURE_SIGNATURE)) {
+            result.skipped.push({
+                requestId: run.requestId,
+                reason: 'failure reason does not match the desired_state_id constraint signature',
+            });
+            continue;
+        }
+        if (!run.deliveryTxHash) {
+            result.skipped.push({ requestId: run.requestId, reason: 'no deliveryTxHash recorded' });
+            continue;
+        }
+        let receipt;
+        try {
+            receipt = await publicClient.getTransactionReceipt({
+                hash: run.deliveryTxHash,
+            });
+        }
+        catch (err) {
+            result.failed.push({
+                requestId: run.requestId,
+                error: err instanceof Error ? err.message : String(err),
+            });
+            continue;
+        }
+        if (receipt.status !== 'success') {
+            result.skipped.push({
+                requestId: run.requestId,
+                reason: `delivery tx did not succeed (status=${receipt.status})`,
+            });
+            continue;
+        }
+        if (dryRun) {
+            result.reclassified.push({ requestId: run.requestId, originalFailureReason: run.failureReason });
+            continue;
+        }
+        const wrote = persistence.reclassifyFailedAsComplete(run.requestId);
+        if (wrote) {
+            result.reclassified.push({ requestId: run.requestId, originalFailureReason: run.failureReason });
+        }
+        else {
+            result.skipped.push({ requestId: run.requestId, reason: 'row state changed concurrently' });
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=backfill-failed-deliveries.js.map

package/dist/harnesses/engine/backfill-failed-deliveries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backfill-failed-deliveries.js","sourceRoot":"","sources":["../../../src/harnesses/engine/backfill-failed-deliveries.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;;;;;;;GAQG;AACH,MAAM,kCAAkC,GAAG,4BAA4B,CAAC;AAmBxE,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAkC;IAElC,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,GAAG,KAAK,EAAE,GAAG,IAAI,CAAC;IAC3D,MAAM,MAAM,GAAmC,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAE7F,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC/D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,kCAAkC,CAAC,EAAE,CAAC;YAC1F,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;gBAClB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,MAAM,EAAE,yEAAyE;aAClF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;YACxB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;YACxF,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC;QACZ,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,YAAY,CAAC,qBAAqB,CAAC;gBACjD,IAAI,EAAE,GAAG,CAAC,cAA+B;aAC1C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;gBACjB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aACxD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;gBAClB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,MAAM,EAAE,uCAAuC,OAAO,CAAC,MAAM,GAAG;aACjE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,qBAAqB,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;YACjG,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,WAAW,CAAC,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACpE,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,qBAAqB,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QACnG,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/harnesses/engine/canonical-json.d.ts

@@ -1 +1,2 @@
-export declare function canonicalJson(value: unknown): string;
+/** Compatibility export for the core-owned canonical JSON implementation. */
+export { canonicalJson } from '../../vendor/@jinn-network/core/dist/index.js';

package/dist/harnesses/engine/canonical-json.js

@@ -1,68 +1,3 @@
-/**
- * Canonical JSON serialisation — RFC 8785 JCS.
- *
- * Uses the `canonicalize` npm package (≈30 LOC, zero deps) so third-party
- * verifiers can reproduce our signing input with any standard JCS library.
- *
- * Rules per RFC 8785:
- * - Object keys sorted lexicographically by UTF-16 code-unit order.
- * - No insignificant whitespace.
- * - I-JSON number formatting per ECMAScript `Number.prototype.toString(10)`
- *   (integer-preferred; scientific notation when |x| ≥ 1e21 or |x| < 5e-7;
- *   -0 serialises as 0).
- * - String escape rules per JSON spec (control chars as \\uXXXX; only ", \
- *   and control chars must be escaped).
- * - `undefined` values in objects are dropped (matches JSON.stringify).
- * - `NaN` / `Infinity` serialise to `null` (matches JSON.stringify).
- *
- * BigInt is **not** supported — JCS is a canonicalization of standard JSON,
- * which has no BigInt type. Callers must convert BigInt to string or number
- * before calling. Passing BigInt throws.
- *
- * Used for manifest signing: produce a deterministic byte string that two
- * independent parties can reproduce from the same object graph.
- */
-// canonicalize v3 is ESM-only (no CJS entry); the client is `"type": "module"`
-// so a native ESM default import is the correct interop (replaces the v2-era
-// createRequire shim). v3 is packaging-only vs v2 — its RFC 8785 output is
-// byte-identical, so existing content hashes / manifest signatures are stable.
-import canonicalize from 'canonicalize';
-/**
- * Recursively replace NaN / ±Infinity with null so that canonicalize does not
- * throw — matching the JSON.stringify behaviour that the rest of the codebase
- * expects. BigInt is intentionally left unhandled so that canonicalize throws
- * a clear error when a caller passes one.
- */
-function coerceNonFinite(value) {
-    if (typeof value === 'number' && !isFinite(value))
-        return null;
-    if (Array.isArray(value))
-        return value.map(coerceNonFinite);
-    if (value !== null && typeof value === 'object') {
-        // Preserve toJSON() — canonicalize would otherwise call it itself;
-        // by pre-processing we must not strip it. Invoke it here and recurse
-        // on its return value so NaN/Infinity inside toJSON results are still
-        // coerced.
-        const toJson = value.toJSON;
-        if (typeof toJson === 'function') {
-            return coerceNonFinite(toJson.call(value));
-        }
-        const out = {};
-        for (const [k, v] of Object.entries(value))
-            out[k] = coerceNonFinite(v);
-        return out;
-    }
-    return value;
-}
-export function canonicalJson(value) {
-    const coerced = coerceNonFinite(value);
-    const result = canonicalize(coerced);
-    if (result === undefined) {
-        // canonicalize returns undefined for top-level undefined input (matches
-        // JSON.stringify). Match Jinn's previous behaviour: emit "null" so the
-        // return type is always a string.
-        return 'null';
-    }
-    return result;
-}
+/** Compatibility export for the core-owned canonical JSON implementation. */
+export { canonicalJson } from '../../vendor/@jinn-network/core/dist/index.js';
 //# sourceMappingURL=canonical-json.js.map

package/dist/harnesses/engine/canonical-json.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-json.js","sourceRoot":"","sources":["../../../src/harnesses/engine/canonical-json.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,+EAA+E;AAC/E,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,OAAO,YAAY,MAAM,cAAc,CAAC;AAExC;;;;;GAKG;AACH,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC5D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,mEAAmE;QACnE,qEAAqE;QACrE,sEAAsE;QACtE,WAAW;QACX,MAAM,MAAM,GAAI,KAAoC,CAAC,MAAM,CAAC;QAC5D,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;YACjC,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACxE,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAEvC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,wEAAwE;QACxE,uEAAuE;QACvE,kCAAkC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"canonical-json.js","sourceRoot":"","sources":["../../../src/harnesses/engine/canonical-json.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/harnesses/engine/corpus-knowledge.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Corpus knowledge autoload (#1393).
+ *
+ * Pure retrieval + ranking: query the corpus for prior *solution* records of
+ * the given solverType and shape the top few into a payload the engine can
+ * inject into task.context.corpusKnowledge before harness spawn.
+ *
+ * Reuses handleSearchRecords (client/src/mcp/search-records.ts) so the result
+ * set is exactly what the MCP tools would return: local envelope projections,
+ * locally served/cached artifact rows, and (when a corpus is configured)
+ * network manifests. Works corpus-null — the store-only path is the e2e
+ * configuration and the mainnet default until an indexer is wired.
+ *
+ * Contract: loadCorpusKnowledge NEVER throws and is bounded by timeoutMs.
+ * On failure or timeout it logs one warning and returns null — corpus
+ * problems must never block the claim/solve path (AC3 of #1393).
+ *
+ * RecordSummary.scoreMetadata is passed through verbatim as the future
+ * verdict-aware ranking seam (#1396).
+ */
+import { type ArtifactDescriptor, type ReadOnlyCorpus } from '../../mcp/search-records.js';
+import type { Store } from '../../store/store.js';
+export interface CorpusKnowledgeArtifactRef {
+    sha256: string;
+    artifactType: string;
+    /** Self-describing acquisition recipe: MCP acquire_artifact arguments. */
+    acquisition?: ArtifactDescriptor['acquisition'];
+}
+export interface CorpusKnowledgeRecordRef {
+    recordRef: string;
+    envelopeCid: string;
+    evidenceTier: string;
+    generatedAt?: number;
+    artifacts: CorpusKnowledgeArtifactRef[];
+    /** Score/verdict fields surfaced by search (seam for #1396). */
+    scoreMetadata?: Record<string, unknown>;
+}
+export interface CorpusKnowledgePayload {
+    version: 1;
+    solverType: string;
+    retrievedAt: number;
+    guidance: string;
+    records: CorpusKnowledgeRecordRef[];
+}
+export interface LoadCorpusKnowledgeOptions {
+    corpus: ReadOnlyCorpus | null;
+    store: Store;
+    solverType: string;
+    /** Records to inject. Default 3. */
+    limit?: number;
+    /**
+     * Records to fetch (and rank) before slicing to `limit`. Default 200 —
+     * large enough that an active solverType's older attested/committed
+     * records aren't truncated out of the ranking pool by recency alone
+     * (#1393 review finding 2). Also bounds queryEnvelopeProjections (cap
+     * 1000) and the local served/cached artifact join (cap 500).
+     */
+    searchLimit?: number;
+    /** Hard bound on the whole lookup. Default 10_000 ms. */
+    timeoutMs?: number;
+    log?: (msg: string) => void;
+}
+/** Reconstruct a payload from already-resolved record refs (#1393 review
+ * finding 3 — RUNNING retries/recovery re-drives reuse this instead of
+ * re-querying the corpus). */
+export declare function buildCorpusKnowledgePayload(solverType: string, records: CorpusKnowledgeRecordRef[]): CorpusKnowledgePayload;
+export declare function loadCorpusKnowledge(opts: LoadCorpusKnowledgeOptions): Promise<CorpusKnowledgePayload | null>;

package/dist/harnesses/engine/corpus-knowledge.js

@@ -0,0 +1,194 @@
+/**
+ * Corpus knowledge autoload (#1393).
+ *
+ * Pure retrieval + ranking: query the corpus for prior *solution* records of
+ * the given solverType and shape the top few into a payload the engine can
+ * inject into task.context.corpusKnowledge before harness spawn.
+ *
+ * Reuses handleSearchRecords (client/src/mcp/search-records.ts) so the result
+ * set is exactly what the MCP tools would return: local envelope projections,
+ * locally served/cached artifact rows, and (when a corpus is configured)
+ * network manifests. Works corpus-null — the store-only path is the e2e
+ * configuration and the mainnet default until an indexer is wired.
+ *
+ * Contract: loadCorpusKnowledge NEVER throws and is bounded by timeoutMs.
+ * On failure or timeout it logs one warning and returns null — corpus
+ * problems must never block the claim/solve path (AC3 of #1393).
+ *
+ * RecordSummary.scoreMetadata is passed through verbatim as the future
+ * verdict-aware ranking seam (#1396).
+ */
+import { handleSearchRecords, } from '../../mcp/search-records.js';
+const CORPUS_KNOWLEDGE_GUIDANCE = 'Prior solution records for this solverType, ranked by evidence tier then recency. '
+    + 'Full artifact content is acquirable via the MCP tools: inspect_record (pass the '
+    + 'envelopeCid) and acquire_artifact (pass each artifact\'s acquisition arguments).';
+const DEFAULT_SEARCH_LIMIT = 200;
+const TIER_WEIGHT = {
+    attested: 3,
+    committed: 2,
+    'self-signed': 1,
+    unknown: 1,
+};
+function tierWeight(record) {
+    return TIER_WEIGHT[record.envelopeRef?.evidenceTier ?? 'unknown'] ?? 1;
+}
+function recency(record) {
+    return record.generatedAt ?? record.envelopeRef?.publishedAt ?? 0;
+}
+/** Reconstruct a payload from already-resolved record refs (#1393 review
+ * finding 3 — RUNNING retries/recovery re-drives reuse this instead of
+ * re-querying the corpus). */
+export function buildCorpusKnowledgePayload(solverType, records) {
+    return {
+        version: 1,
+        solverType,
+        retrievedAt: Date.now(),
+        guidance: CORPUS_KNOWLEDGE_GUIDANCE,
+        records,
+    };
+}
+function artifactRefFromRow(row) {
+    const ref = { sha256: row.sha256, artifactType: row.artifactType };
+    if (row.source === 'network' && row.sourceEndpoint) {
+        ref.acquisition = {
+            tool: 'acquire_artifact',
+            arguments: {
+                sha256: row.sha256,
+                access: { endpoint: row.sourceEndpoint, priceUsdc: row.paidAmountUsdc ?? '0' },
+                artifactType: row.artifactType,
+            },
+        };
+    }
+    return ref;
+}
+/**
+ * Search with a store-only fallback (#1393 review finding 4). A hung or
+ * failing network corpus must not deny local knowledge that IS available.
+ *
+ * ReadOnlyCorpus.query() takes no AbortSignal, so a timed-out corpus.query
+ * call cannot be cancelled — it keeps running in the background until it
+ * settles on its own. We attach real (no-op-on-arrival) resolve/reject
+ * handlers to it via `.then` rather than leaving it a bare `Promise.race`
+ * loser, so Node never reports it as an unhandled rejection and it never
+ * produces a second, duplicate log line when it eventually settles.
+ */
+async function searchWithTimeoutAndFallback(corpus, store, solverType, searchLimit, timeoutMs, log) {
+    const args = { solverType, role: 'solution', limit: searchLimit };
+    try {
+        return await withTimeout(handleSearchRecords(corpus, store, args), timeoutMs);
+    }
+    catch (err) {
+        const reason = err instanceof Error ? err.message : String(err);
+        if (!corpus) {
+            log(`[corpus-knowledge] lookup failed for solverType=${solverType}: ${reason}`);
+            return null;
+        }
+        log(`[corpus-knowledge] network corpus failed for solverType=${solverType} (${reason}); `
+            + 'falling back to store-only knowledge');
+        try {
+            // corpus: null skips the network branch inside handleSearchRecords
+            // entirely, so this retry is local-only and cannot itself hang.
+            return await handleSearchRecords(null, store, args);
+        }
+        catch (fallbackErr) {
+            log(`[corpus-knowledge] store-only fallback also failed for solverType=${solverType}: `
+                + `${fallbackErr instanceof Error ? fallbackErr.message : String(fallbackErr)}`);
+            return null;
+        }
+    }
+}
+function withTimeout(promise, timeoutMs) {
+    return new Promise((resolve, reject) => {
+        const timer = setTimeout(() => reject(new Error(`corpus knowledge lookup timed out after ${timeoutMs}ms`)), timeoutMs);
+        promise.then((value) => { clearTimeout(timer); resolve(value); }, (err) => { clearTimeout(timer); reject(err); });
+    });
+}
+export async function loadCorpusKnowledge(opts) {
+    const limit = opts.limit ?? 3;
+    const searchLimit = opts.searchLimit ?? DEFAULT_SEARCH_LIMIT;
+    const timeoutMs = opts.timeoutMs ?? 10_000;
+    const log = opts.log ?? ((msg) => console.warn(msg));
+    try {
+        const result = await searchWithTimeoutAndFallback(opts.corpus, opts.store, opts.solverType, searchLimit, timeoutMs, log);
+        if (!result)
+            return null;
+        // Index artifact refs by envelopeCid across ALL returned records: local
+        // served/cached rows carry the sha256s but no solverType/role; projection
+        // records carry solverType/role/tier but no artifact refs. The join key
+        // is the envelope CID (backfilled onto served_artifacts by pack()).
+        const artifactsByCid = new Map();
+        for (const record of result.records) {
+            const cid = record.envelopeRef?.cid;
+            if (!cid)
+                continue;
+            for (const artifact of record.artifactRefs) {
+                const list = artifactsByCid.get(cid) ?? [];
+                if (!list.some((existing) => existing.sha256 === artifact.sha256)) {
+                    list.push({
+                        sha256: artifact.sha256,
+                        artifactType: artifact.artifactType,
+                        ...(artifact.acquisition ? { acquisition: artifact.acquisition } : {}),
+                    });
+                }
+                artifactsByCid.set(cid, list);
+            }
+        }
+        // Candidates: solution records for this solverType with an envelope CID
+        // (no CID → nothing to dedupe on or reference downstream). First record
+        // per CID wins (projection ordering puts local knowledge first).
+        const byCid = new Map();
+        for (const record of result.records) {
+            const cid = record.envelopeRef?.cid;
+            if (!cid)
+                continue;
+            if (record.solverType !== opts.solverType)
+                continue;
+            if (record.role !== 'solution')
+                continue;
+            if (!byCid.has(cid))
+                byCid.set(cid, record);
+        }
+        const ranked = [...byCid.entries()]
+            .sort(([, a], [, b]) => {
+            const tierDelta = tierWeight(b) - tierWeight(a);
+            if (tierDelta !== 0)
+                return tierDelta;
+            return recency(b) - recency(a);
+        })
+            .slice(0, limit);
+        if (ranked.length === 0)
+            return null;
+        // Backfill artifact refs for exactly the ranked CIDs by a direct,
+        // non-windowed store lookup (#1393 review finding 2). The `local` join
+        // inside handleSearchRecords only covers the searchLimit most-recent
+        // served/cached rows of ANY type — on a real store, a top-ranked record's
+        // artifact can fall outside that window even though it's a top-3 result.
+        // This backfill is deterministic regardless of store size because it's
+        // scoped to the few (≤limit) CIDs we're actually about to inject.
+        const rankedCids = ranked.map(([cid]) => cid);
+        for (const row of opts.store.getArtifactsByEnvelopeCids(rankedCids)) {
+            const cid = row.envelopeCid;
+            if (!cid)
+                continue;
+            const list = artifactsByCid.get(cid) ?? [];
+            if (!list.some((existing) => existing.sha256 === row.sha256)) {
+                list.push(artifactRefFromRow(row));
+            }
+            artifactsByCid.set(cid, list);
+        }
+        return buildCorpusKnowledgePayload(opts.solverType, ranked.map(([cid, record]) => ({
+            recordRef: record.recordRef,
+            envelopeCid: cid,
+            evidenceTier: record.envelopeRef?.evidenceTier ?? 'unknown',
+            ...(record.generatedAt !== undefined ? { generatedAt: record.generatedAt } : {}),
+            artifacts: artifactsByCid.get(cid) ?? [],
+            ...(record.scoreMetadata ? { scoreMetadata: record.scoreMetadata } : {}),
+        })));
+    }
+    catch (err) {
+        log(`[corpus-knowledge] lookup failed for solverType=${opts.solverType}: `
+            + `${err instanceof Error ? err.message : String(err)}`);
+        return null;
+    }
+}
+//# sourceMappingURL=corpus-knowledge.js.map

package/dist/harnesses/engine/corpus-knowledge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-knowledge.js","sourceRoot":"","sources":["../../../src/harnesses/engine/corpus-knowledge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EACL,mBAAmB,GAKpB,MAAM,6BAA6B,CAAC;AA+CrC,MAAM,yBAAyB,GAC7B,oFAAoF;MAClF,kFAAkF;MAClF,kFAAkF,CAAC;AAEvF,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAEjC,MAAM,WAAW,GAA2B;IAC1C,QAAQ,EAAE,CAAC;IACX,SAAS,EAAE,CAAC;IACZ,aAAa,EAAE,CAAC;IAChB,OAAO,EAAE,CAAC;CACX,CAAC;AAEF,SAAS,UAAU,CAAC,MAAqB;IACvC,OAAO,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,YAAY,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,OAAO,CAAC,MAAqB;IACpC,OAAO,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,EAAE,WAAW,IAAI,CAAC,CAAC;AACpE,CAAC;AAED;;8BAE8B;AAC9B,MAAM,UAAU,2BAA2B,CACzC,UAAkB,EAClB,OAAmC;IAEnC,OAAO;QACL,OAAO,EAAE,CAAC;QACV,UAAU;QACV,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;QACvB,QAAQ,EAAE,yBAAyB;QACnC,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,GAM3B;IACC,MAAM,GAAG,GAA+B,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;IAC/F,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;QACnD,GAAG,CAAC,WAAW,GAAG;YAChB,IAAI,EAAE,kBAAkB;YACxB,SAAS,EAAE;gBACT,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,MAAM,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,cAAc,EAAE,SAAS,EAAE,GAAG,CAAC,cAAc,IAAI,GAAG,EAAE;gBAC9E,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B;SACF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;GAUG;AACH,KAAK,UAAU,4BAA4B,CACzC,MAA6B,EAC7B,KAAY,EACZ,UAAkB,EAClB,WAAmB,EACnB,SAAiB,EACjB,GAA0B;IAE1B,MAAM,IAAI,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAC3E,IAAI,CAAC;QACH,OAAO,MAAM,WAAW,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IAChF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,GAAG,CAAC,mDAAmD,UAAU,KAAK,MAAM,EAAE,CAAC,CAAC;YAChF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,GAAG,CACD,2DAA2D,UAAU,KAAK,MAAM,KAAK;cACnF,sCAAsC,CACzC,CAAC;QACF,IAAI,CAAC;YACH,mEAAmE;YACnE,gEAAgE;YAChE,OAAO,MAAM,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,GAAG,CACD,qEAAqE,UAAU,IAAI;kBACjF,GAAG,WAAW,YAAY,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAChF,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAI,OAAmB,EAAE,SAAiB;IAC5D,OAAO,IAAI,OAAO,CAAI,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACxC,MAAM,KAAK,GAAG,UAAU,CACtB,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,2CAA2C,SAAS,IAAI,CAAC,CAAC,EACjF,SAAS,CACV,CAAC;QACF,OAAO,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EACnD,CAAC,GAAY,EAAE,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACxD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAgC;IAEhC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;IAC9B,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,oBAAoB,CAAC;IAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC;IAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE7D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,4BAA4B,CAC/C,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,UAAU,EACf,WAAW,EACX,SAAS,EACT,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAEzB,wEAAwE;QACxE,0EAA0E;QAC1E,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwC,CAAC;QACvE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;YACpC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;gBAC3C,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAClE,IAAI,CAAC,IAAI,CAAC;wBACR,MAAM,EAAE,QAAQ,CAAC,MAAM;wBACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;wBACnC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBACvE,CAAC,CAAC;gBACL,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,wEAAwE;QACxE,iEAAiE;QACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;QAC/C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;YACpC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU;gBAAE,SAAS;YACpD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YACzC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;aAChC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;YACrB,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,SAAS,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtC,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC;aACD,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAEnB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAErC,kEAAkE;QAClE,uEAAuE;QACvE,qEAAqE;QACrE,0EAA0E;QAC1E,yEAAyE;QACzE,uEAAuE;QACvE,kEAAkE;QAClE,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QAC9C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC;YAC5B,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;YACrC,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,2BAA2B,CAChC,IAAI,CAAC,UAAU,EACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,WAAW,EAAE,GAAG;YAChB,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE,YAAY,IAAI,SAAS;YAC3D,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,SAAS,EAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YACxC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CACD,mDAAmD,IAAI,CAAC,UAAU,IAAI;cACpE,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CACxD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}