@aiwayds/dsh-topics-memory 0.21.0 → 0.23.0

package/lib/index.js

@@ -359,8 +359,9 @@ export async function apply(ctx, config = {}) {
             if (cfg.autoInject) {
                 const consumed = slowLane.consume(sessionId, observer.turnCountOf(sessionId));
                 if (consumed !== undefined) {
-                    if ('pending' in consumed)
-                        slow = consumed.pending;
+                    if ('pending' in consumed) {
+                        slow = { ...consumed.pending, outcome: consumed.pending.outcome };
+                    }
                     else
                         slowExpired = consumed.expired;
                 }
@@ -578,7 +579,10 @@ export async function apply(ctx, config = {}) {
         // and its own settle hook does the release.
         const run = distiller.request(sessionId, reason);
         if (run !== undefined) {
-            void run.finally(() => releaseSessionLlm(sessionId)).catch(() => undefined);
+            void run
+                .finally(() => releaseSessionLlm(sessionId))
+                .then(() => service.refreshEmbeddingIndex())
+                .catch(() => undefined);
         }
     });
     // ---- Session events: injection + observation ----
@@ -786,8 +790,11 @@ export async function apply(ctx, config = {}) {
                         // no-adapter detail instead
                     }
                     const run = distiller.request(sessionId, 'boot-replay');
-                    if (run !== undefined)
-                        void run.catch(() => undefined);
+                    if (run !== undefined) {
+                        void run
+                            .then(() => service.refreshEmbeddingIndex())
+                            .catch(() => undefined);
+                    }
                 })
                     .catch(() => undefined);
                 // Consolidation cadence check — after the pull (freshest pool),
@@ -823,6 +830,9 @@ export async function apply(ctx, config = {}) {
                     })
                         .catch(() => undefined);
                 }
+                // Embedding index maintenance (A4/A6, spec §3): boot-time freshness
+                // check + incremental rebuild — provider '' / packageMode off = no-op.
+                void service.refreshEmbeddingIndex().catch(() => undefined);
             })
                 .catch((error) => {
                 warn(`dsh-topics-memory 启动链失败（不影响会话启动）：${error instanceof Error ? error.message : String(error)}`);
@@ -948,7 +958,11 @@ export async function apply(ctx, config = {}) {
                     ? { ok: false, reason: 'in-flight', created: [], updated: [], marked: 0 }
                     : { ok: false, reason: 'no-model', created: [], updated: [], marked: 0 };
             }
-            return run.finally(() => releaseSessionLlm(sessionId));
+            void run
+                .finally(() => releaseSessionLlm(sessionId))
+                .then(() => service.refreshEmbeddingIndex())
+                .catch(() => undefined);
+            return run;
         };
         // Manual /topics consolidate trigger: same lane as the cadence path, same
         // trigger-time llm capture and in-flight guard (the command runs inside a
@@ -1018,6 +1032,9 @@ const DEFAULTS = {
     distillMaxModelCalls: 8,
     consolidateCadence: 'daily',
     deprecatedTtlDays: 15,
+    embeddingProvider: '',
+    embeddingModel: '',
+    packageMode: 'off',
     usageBoost: 0.15,
     pushDebounceSeconds: 45,
 };

package/lib/pipeline-events.d.ts

@@ -0,0 +1,36 @@
+/**
+ * meta/pipeline-events.jsonl — the pipeline-level anomaly ledger (spec §8.1,
+ * A2/A6 BL-1 revised: the "记 wtf 账" mechanism never existed, this IS the
+ * explicit ledger). One line JSON per event; always on, no config key
+ * (恒开无键 — observability is not a gray-release feature).
+ *
+ * Discipline = decisions.jsonl (src/jev/log.ts) verbatim: field-whitelist
+ * copy on write (extra caller fields cannot leak in, detail values must be
+ * scalar), 512KB auto-compaction keeping the most recent quarter, and write
+ * failures swallowed silently — a broken sink must never break the pipeline.
+ * Unlike jev/log this writer takes the bundle root explicitly (callers like
+ * the slow lane already hold it; tests point it at a tmp dir).
+ *
+ * @module pipeline-events
+ */
+/** Closed vocabulary, spec §8.1 + W-C wave start set. `slow-lane-outcome` is
+ *  the slow lane's per-run disposition row (quality.ts); the distill/link
+ *  kinds are the A2/A6 producers' contract — they import this module. */
+export type PipelineEventKind = 'slow-lane-outcome' | 'distill-op-invalid' | 'distill-op-retry-exhausted' | 'link-ref-rejected';
+/** File NAME inside the bundle's meta dir (path via pipelineEventsFile). */
+export declare const PIPELINE_EVENTS_FILE = "pipeline-events.jsonl";
+export interface PipelineEvent {
+    at: string;
+    kind: PipelineEventKind;
+    /** Bounded scalar metadata only — never conversation or conclusion text. */
+    detail?: Record<string, string | number | boolean>;
+}
+export declare function pipelineEventsFile(bundleDir: string): string;
+/**
+ * Copy one event through the field whitelist onto the ledger. Only `at`,
+ * `kind` and a scalar-valued `detail` map can pass; non-scalar detail values
+ * (objects/arrays/null/NaN), surplus entries and over-long keys/values are
+ * dropped here so no unbounded content can ride in. Write failures are
+ * swallowed downstream — this never rejects and never throws.
+ */
+export declare function recordPipelineEvent(bundleDir: string, event: PipelineEvent): Promise<void>;

package/lib/pipeline-events.js

@@ -0,0 +1,121 @@
+/**
+ * meta/pipeline-events.jsonl — the pipeline-level anomaly ledger (spec §8.1,
+ * A2/A6 BL-1 revised: the "记 wtf 账" mechanism never existed, this IS the
+ * explicit ledger). One line JSON per event; always on, no config key
+ * (恒开无键 — observability is not a gray-release feature).
+ *
+ * Discipline = decisions.jsonl (src/jev/log.ts) verbatim: field-whitelist
+ * copy on write (extra caller fields cannot leak in, detail values must be
+ * scalar), 512KB auto-compaction keeping the most recent quarter, and write
+ * failures swallowed silently — a broken sink must never break the pipeline.
+ * Unlike jev/log this writer takes the bundle root explicitly (callers like
+ * the slow lane already hold it; tests point it at a tmp dir).
+ *
+ * @module pipeline-events
+ */
+import { appendFile, mkdir, readFile, rename, writeFile } from 'node:fs/promises';
+import { randomUUID } from 'node:crypto';
+import { dirname, join } from 'node:path';
+import { metaDir } from "./paths.js";
+/** File NAME inside the bundle's meta dir (path via pipelineEventsFile). */
+export const PIPELINE_EVENTS_FILE = 'pipeline-events.jsonl';
+const COMPACT_LIMIT = 512 * 1024; // ~512KB cap, same as the decisions/ilog sidecars
+/** Whitelist copy bounds: detail entries and their values stay metadata-sized. */
+const DETAIL_MAX_ENTRIES = 16;
+const DETAIL_KEY_MAX_CHARS = 64;
+const DETAIL_VALUE_MAX_CHARS = 256;
+/** Runtime mirror of PipelineEventKind — the closed vocabulary is enforced
+ *  at the write gate too (a JS caller cannot smuggle an unknown kind in). */
+const KNOWN_KINDS = new Set([
+    'slow-lane-outcome',
+    'distill-op-invalid',
+    'distill-op-retry-exhausted',
+    'link-ref-rejected',
+]);
+export function pipelineEventsFile(bundleDir) {
+    return join(metaDir(bundleDir), PIPELINE_EVENTS_FILE);
+}
+// Serialized like jev/log: single-record appends are line-atomic anyway, but
+// the compaction rewrite must not interleave with an append.
+let queue = Promise.resolve();
+function enqueue(op) {
+    const run = queue.then(op, op);
+    queue = run.catch(() => undefined);
+    return run;
+}
+/** All write failures die HERE — never upstream. */
+async function appendJsonl(file, lines) {
+    await enqueue(async () => {
+        try {
+            await mkdir(dirname(file), { recursive: true });
+            await appendFile(file, lines.map((l) => `${l}\n`).join(''), 'utf8');
+            await compactIfNeeded(file);
+        }
+        catch {
+            // fail-open: a broken ledger must never break the pipeline (§8.1)
+        }
+    });
+}
+// jev/log compactIfNeeded pattern: ~512KB cap; keep the most recent quarter
+// when exceeded (headroom for the next window).
+async function compactIfNeeded(file) {
+    let raw;
+    try {
+        raw = await readFile(file, 'utf8');
+    }
+    catch {
+        return;
+    }
+    if (raw.length <= COMPACT_LIMIT)
+        return;
+    const lines = raw.split('\n').filter((l) => l.trim() !== '');
+    const keep = lines.slice(-Math.max(1, Math.floor(lines.length / 4)));
+    const tmp = `${file}.tmp-${randomUUID()}`;
+    try {
+        await writeFile(tmp, keep.map((l) => `${l}\n`).join(''), 'utf8');
+        await rename(tmp, file);
+    }
+    catch {
+        // swallow — the next append retries the compaction
+    }
+}
+/**
+ * Copy one event through the field whitelist onto the ledger. Only `at`,
+ * `kind` and a scalar-valued `detail` map can pass; non-scalar detail values
+ * (objects/arrays/null/NaN), surplus entries and over-long keys/values are
+ * dropped here so no unbounded content can ride in. Write failures are
+ * swallowed downstream — this never rejects and never throws.
+ */
+export async function recordPipelineEvent(bundleDir, event) {
+    if (bundleDir === '' || typeof bundleDir !== 'string')
+        return;
+    if (event === null || typeof event !== 'object')
+        return;
+    if (typeof event.kind !== 'string' || !KNOWN_KINDS.has(event.kind))
+        return;
+    const detail = {};
+    if (event.detail !== undefined && typeof event.detail === 'object') {
+        for (const [key, value] of Object.entries(event.detail)) {
+            if (Object.keys(detail).length >= DETAIL_MAX_ENTRIES)
+                break;
+            const t = typeof value;
+            if (t === 'string') {
+                if (value !== '')
+                    detail[key.slice(0, DETAIL_KEY_MAX_CHARS)] = value.slice(0, DETAIL_VALUE_MAX_CHARS);
+            }
+            else if (t === 'number') {
+                if (Number.isFinite(value))
+                    detail[key.slice(0, DETAIL_KEY_MAX_CHARS)] = value;
+            }
+            else if (t === 'boolean') {
+                detail[key.slice(0, DETAIL_KEY_MAX_CHARS)] = value;
+            }
+            // objects/arrays/null/undefined never pass the whitelist
+        }
+    }
+    const at = typeof event.at === 'string' && event.at !== '' ? event.at : new Date().toISOString();
+    const row = Object.keys(detail).length === 0
+        ? { at, kind: event.kind }
+        : { at, kind: event.kind, detail };
+    await appendJsonl(pipelineEventsFile(bundleDir), [JSON.stringify(row)]);
+}

package/lib/quality.d.ts

@@ -15,8 +15,11 @@
  * Picks rest in a per-session pending slot and inject at the NEXT spliced
  * (steer message), then the slot is gone (消费即清). Hard bounds: per-call
  * 20s, pipeline 45s, pending TTL 10min, turn-lag ≤2. Every failure is
- * contained and silent — I3 (可丢弃性): async products may be missing, never
- * blocking. The lexical re-gate at consumption is SHADOW-ONLY (v4 B3): it
+ * contained — async products may be missing, never blocking (I3 可丢弃性) —
+ * but no longer SILENT (A4 决议 3): each run lands a `slow-lane-outcome`
+ * disposition (SlowOutcome) on the session and in the pipeline-events
+ * ledger, so 「没跑」and 「跑了全败」are distinguishable in the log. The
+ * lexical re-gate at consumption is SHADOW-ONLY (v4 B3): it
  * records verdicts into ilog and never blocks a pick.
  *
  * @module quality
@@ -24,7 +27,10 @@
 import type { TopicsService } from './service.ts';
 import type { ModelCaller } from './distill.ts';
 import type { RingEntry } from './observer.ts';
-import type { QueryBuildShape } from './ilog.ts';
+import type { QueryBuildShape, SlowOutcome } from './ilog.ts';
+/** Re-exported for the ilog writers (spec §8.2): the service layer takes a
+ *  pending's `outcome` (or lastOutcomeOf) as the record's `slowOutcome`. */
+export type { SlowOutcome };
 export declare const PENDING_TTL_MS: number;
 /** Hard drift bound: a pending older than this many turn-ends expires. */
 export declare const TURN_LAG_LIMIT = 2;
@@ -69,6 +75,13 @@ export interface PendingInjection {
     queryBuild: QueryBuildShape;
     model: string;
     ms: number;
+    /**
+     * The producing run's disposition (A4 决议 3, spec §8.2) — always
+     * 'delivered' here (a pending only exists after a settled run). The
+     * service layer copies it into the ilog record's `slowOutcome` at
+     * consumption; expiry surfaces as `expired` via ConsumeResult instead.
+     */
+    outcome: SlowOutcome;
 }
 export type ConsumeResult = {
     pending: PendingInjection;
@@ -94,6 +107,13 @@ export declare class SlowLane {
     private inFlight;
     /** Same-session shadow serialization — a second trigger never overlaps. */
     private shadowInFlight;
+    /**
+     * The session's most recent slow-lane disposition (A4 决议 3): what a
+     * spliced with NO pending reports as its `slowOutcome` — without it a
+     * consumed-undefined round cannot say whether the lane never ran or ran
+     * and failed. One slot per session, overwritten by every trigger.
+     */
+    private outcomeBySession;
     private readonly service;
     private readonly caller;
     /**
@@ -109,6 +129,20 @@ export declare class SlowLane {
     hasPending(sessionId: string): boolean;
     /** True while the session's produce pipeline is still running (llm-capture guard). */
     hasInFlight(sessionId: string): boolean;
+    /**
+     * The session's most recent slow-lane disposition (A4 §3.2): a round whose
+     * consume() came up empty writes THIS as its ilog `slowOutcome` (spec §8.2
+     * — 「spliced 收到但未 produce 也留痕」). Undefined when the lane never
+     * triggered for the session.
+     */
+    lastOutcomeOf(sessionId: string): SlowOutcome | undefined;
+    /**
+     * One disposition, two sinks (A4 决议 3): the per-session slot above and a
+     * `slow-lane-outcome` row in the pipeline-events ledger. Metadata only
+     * (outcome/reason/session/turn/timing — never ring or query text). Never
+     * throws, never rejects: traceability must not become a failure source.
+     */
+    private traceOutcome;
     /** Drop the pending slot (session teardown, restore boundary). */
     clear(sessionId: string): void;
     /**
@@ -126,13 +160,19 @@ export declare class SlowLane {
     private fastGateShadow;
     /**
      * Produce a pending slot for the session's next steer message. Fire-and-
-     * forget; every guard failure is silent. Policy gates live here (config,
-     * sampling, in-flight); host gates (delegation, distill yield) live with
-     * the caller, which owns those services.
+     * forget; every guard failure is contained (never breaks the event
+     * handler) and QUALIFIED (A4 决议 3): a skipped trigger lands a `no-run`
+     * outcome naming the guard, so a later spliced can report why there was
+     * nothing to consume. Policy gates live here (config, sampling, in-flight);
+     * host gates (delegation, distill yield) live with the caller, which owns
+     * those services.
      */
     dispatch(sessionId: string, input: DispatchInput): void;
     private produce;
-    /** One pending slot per settled pipeline (the 0-2 picks + lane metadata). */
+    /** One pending slot per settled pipeline (the 0-2 picks + lane metadata).
+     *  The pending carries its producing run's disposition (A4 §3.2) so the
+     *  ilog writer can copy it verbatim — a pending only exists when the run
+     *  delivered, hence the constant. */
     private settlePending;
     /**
      * The jev rerank (design §2 row 1): one batched noul request over the whole

package/lib/quality.js

@@ -15,8 +15,11 @@
  * Picks rest in a per-session pending slot and inject at the NEXT spliced
  * (steer message), then the slot is gone (消费即清). Hard bounds: per-call
  * 20s, pipeline 45s, pending TTL 10min, turn-lag ≤2. Every failure is
- * contained and silent — I3 (可丢弃性): async products may be missing, never
- * blocking. The lexical re-gate at consumption is SHADOW-ONLY (v4 B3): it
+ * contained — async products may be missing, never blocking (I3 可丢弃性) —
+ * but no longer SILENT (A4 决议 3): each run lands a `slow-lane-outcome`
+ * disposition (SlowOutcome) on the session and in the pipeline-events
+ * ledger, so 「没跑」and 「跑了全败」are distinguishable in the log. The
+ * lexical re-gate at consumption is SHADOW-ONLY (v4 B3): it
  * records verdicts into ilog and never blocks a pick.
  *
  * @module quality
@@ -25,6 +28,7 @@ import { searchTopics } from "./retrieval.js";
 import { jevAskDual } from "./jev/dual.js";
 import { band as jevBand } from "./jev/thresholds.js";
 import { digestFor, logVerdicts } from "./jev/log.js";
+import { recordPipelineEvent } from "./pipeline-events.js";
 export const PENDING_TTL_MS = 10 * 60_000;
 /** Hard drift bound: a pending older than this many turn-ends expires. */
 export const TURN_LAG_LIMIT = 2;
@@ -184,11 +188,33 @@ export function parseJsonObject(raw) {
     }
     throw new Error('unbalanced JSON in output');
 }
+/** The closed outcome for an error that escaped the produce body: our own
+ *  withTimeout rejections and the pipeline-deadline abort are `timeout`,
+ *  everything else (model error, bad transport, unexpected throw) is
+ *  `llm-error`. Raw error text never enters the ledger (jev/log redaction
+ *  envelope — the outcome class is the observable, not the message). */
+function classifySlowError(e, controller) {
+    if (e !== null && typeof e === 'object') {
+        const msg = e.message;
+        if (typeof msg === 'string' && msg.startsWith('slow-lane call timeout'))
+            return 'timeout';
+    }
+    if (controller.signal.aborted)
+        return 'timeout';
+    return 'llm-error';
+}
 export class SlowLane {
     pending = new Map();
     inFlight = new Map();
     /** Same-session shadow serialization — a second trigger never overlaps. */
     shadowInFlight = new Map();
+    /**
+     * The session's most recent slow-lane disposition (A4 决议 3): what a
+     * spliced with NO pending reports as its `slowOutcome` — without it a
+     * consumed-undefined round cannot say whether the lane never ran or ran
+     * and failed. One slot per session, overwritten by every trigger.
+     */
+    outcomeBySession = new Map();
     service;
     caller;
     /**
@@ -212,10 +238,39 @@ export class SlowLane {
     hasInFlight(sessionId) {
         return this.inFlight.has(sessionId);
     }
+    /**
+     * The session's most recent slow-lane disposition (A4 §3.2): a round whose
+     * consume() came up empty writes THIS as its ilog `slowOutcome` (spec §8.2
+     * — 「spliced 收到但未 produce 也留痕」). Undefined when the lane never
+     * triggered for the session.
+     */
+    lastOutcomeOf(sessionId) {
+        return this.outcomeBySession.get(sessionId);
+    }
+    /**
+     * One disposition, two sinks (A4 决议 3): the per-session slot above and a
+     * `slow-lane-outcome` row in the pipeline-events ledger. Metadata only
+     * (outcome/reason/session/turn/timing — never ring or query text). Never
+     * throws, never rejects: traceability must not become a failure source.
+     */
+    traceOutcome(sessionId, turnId, outcome, reason, extra = {}) {
+        try {
+            this.outcomeBySession.set(sessionId, outcome);
+            void recordPipelineEvent(this.service.store.root, {
+                at: new Date().toISOString(),
+                kind: 'slow-lane-outcome',
+                detail: { outcome, reason, sessionId, turnId, ...extra },
+            });
+        }
+        catch {
+            // contained — the ledger is best-effort by design
+        }
+    }
     /** Drop the pending slot (session teardown, restore boundary). */
     clear(sessionId) {
         this.pending.delete(sessionId);
         this.shadowInFlight.delete(sessionId);
+        this.outcomeBySession.delete(sessionId);
     }
     /**
      * Fastgate shadow (design §2 row 3): fire-and-forget on the SAME sampled
@@ -318,21 +373,36 @@ export class SlowLane {
     }
     /**
      * Produce a pending slot for the session's next steer message. Fire-and-
-     * forget; every guard failure is silent. Policy gates live here (config,
-     * sampling, in-flight); host gates (delegation, distill yield) live with
-     * the caller, which owns those services.
+     * forget; every guard failure is contained (never breaks the event
+     * handler) and QUALIFIED (A4 决议 3): a skipped trigger lands a `no-run`
+     * outcome naming the guard, so a later spliced can report why there was
+     * nothing to consume. Policy gates live here (config, sampling, in-flight);
+     * host gates (delegation, distill yield) live with the caller, which owns
+     * those services.
      */
     dispatch(sessionId, input) {
         try {
             const cfg = this.service.cfg;
-            if (cfg.qualityLane !== 'sampled' && cfg.qualityLane !== 'always')
+            if (cfg.qualityLane !== 'sampled' && cfg.qualityLane !== 'always') {
+                this.traceOutcome(sessionId, input.turnId, 'no-run', 'lane-off');
                 return;
-            if (cfg.qualityLane === 'sampled' && input.turnId % SAMPLED_EVERY !== 0)
+            }
+            if (cfg.qualityLane === 'sampled' && input.turnId % SAMPLED_EVERY !== 0) {
+                this.traceOutcome(sessionId, input.turnId, 'no-run', 'cadence');
+                return;
+            }
+            if (this.caller === undefined) {
+                this.traceOutcome(sessionId, input.turnId, 'no-run', 'no-caller');
                 return;
-            if (this.caller === undefined || this.inFlight.has(sessionId))
+            }
+            if (this.inFlight.has(sessionId)) {
+                this.traceOutcome(sessionId, input.turnId, 'no-run', 'in-flight');
                 return;
-            if (input.ring.length === 0)
+            }
+            if (input.ring.length === 0) {
+                this.traceOutcome(sessionId, input.turnId, 'no-run', 'empty-ring');
                 return;
+            }
             const run = this.produce(sessionId, input).finally(() => {
                 this.inFlight.delete(sessionId);
                 this.onSettle(sessionId);
@@ -347,11 +417,15 @@ export class SlowLane {
     async produce(sessionId, input) {
         const caller = this.caller;
         if (caller === undefined)
-            return;
+            return; // unreachable — dispatch gated it, already traced
         const started = Date.now();
         const controller = new AbortController();
         const deadline = setTimeout(() => controller.abort(), PIPELINE_TIMEOUT_MS);
         deadline.unref?.();
+        // A4 决议 3: every exit qualifies — outcome on the session + the ledger.
+        const trace = (outcome, reason) => {
+            this.traceOutcome(sessionId, input.turnId, outcome, reason, { ms: Date.now() - started });
+        };
         try {
             const cfg = this.service.cfg;
             const ringText = input.ring
@@ -373,18 +447,23 @@ export class SlowLane {
                 built = parseJsonObject(buildRaw);
             }
             catch {
-                return; // unparseable build → no pending, nothing logged, next turn retries
+                trace('llm-error', 'build-bad-json'); // unparseable build → no pending, next turn retries
+                return;
             }
-            if (built.needs !== true || typeof built.query !== 'string' || built.query.trim() === '')
+            if (built.needs !== true || typeof built.query !== 'string' || built.query.trim() === '') {
+                trace('no-claim', 'build-no-need'); // the query builder claimed no background need
                 return;
+            }
             const query = built.query.trim();
             const stripped = Array.isArray(built.ignore)
                 ? built.ignore.filter((s) => typeof s === 'string' && s.trim() !== '').slice(0, 5)
                 : [];
             const queryBuild = { rawChars: ringText.length, keptChars: query.length, stripped };
             const roster = await this.service.roster().catch(() => []);
-            if (roster.length === 0)
+            if (roster.length === 0) {
+                trace('no-candidates', 'roster-empty');
                 return;
+            }
             // Recall-oriented band: gate OFF (the rerank IS this lane's gate);
             // candidates = threshold passers + the near-miss band beneath them.
             const band = searchTopics(query, roster, {
@@ -399,8 +478,10 @@ export class SlowLane {
             const candidates = [...band.hits, ...band.nearMisses]
                 .filter((c) => !exclude?.has(c.slug))
                 .slice(0, CANDIDATE_LIMIT);
-            if (candidates.length === 0)
+            if (candidates.length === 0) {
+                trace('no-candidates', 'band-empty');
                 return;
+            }
             const bySlug = new Map(roster.map((r) => [r.slug, r]));
             const payload = candidates.flatMap((c) => {
                 const meta = bySlug.get(c.slug);
@@ -417,8 +498,10 @@ export class SlowLane {
                     },
                 ];
             });
-            if (payload.length === 0)
+            if (payload.length === 0) {
+                trace('no-candidates', 'payload-empty');
                 return;
+            }
             // ---- jev batch rerank (design §2 row 1) — replaces the LLM rerank ----
             // One batched noul request over the whole band; the calibrated bands
             // decide the picks. A settled jev round is FINAL here (picks or none) —
@@ -427,10 +510,16 @@ export class SlowLane {
             if (this.service.cfg.jevEnabled === true) {
                 const jevItems = await this.jevRerank(query, payload);
                 if (jevItems !== undefined) {
-                    if (jevItems.length > 0)
+                    if (jevItems.length > 0) {
                         this.settlePending(sessionId, input, jevItems, queryBuild, started);
+                        trace('delivered', 'jev-picks');
+                    }
+                    else {
+                        trace('no-candidates', 'jev-zero-picks');
+                    }
                     return;
                 }
+                // jev failure → the legacy rerank below owns the final trace.
             }
             const rerankRaw = await withTimeout(caller({
                 system: RERANK_PROMPT,
@@ -450,6 +539,7 @@ export class SlowLane {
                 reranked = parseJsonObject(rerankRaw);
             }
             catch {
+                trace('llm-error', 'rerank-bad-json');
                 return;
             }
             const legal = new Set(payload.map((p) => p.slug));
@@ -472,18 +562,29 @@ export class SlowLane {
                 if (items.length >= 2)
                     break;
             }
-            if (items.length === 0)
+            if (items.length === 0) {
+                trace('no-candidates', 'rerank-zero-picks'); // ran fine, gate picked nothing worth injecting
                 return;
+            }
             this.settlePending(sessionId, input, items, queryBuild, started);
+            trace('delivered', 'rerank-picks');
         }
-        catch {
-            // timeouts, aborts, model errors — I3: the async product is simply absent
+        catch (e) {
+            // RED LINE, A4 决议 3 (revising the old silent catch): the fast lane's
+            // fail-silently principle only covers the SYNCHRONOUS seam — this is an
+            // async lane, so the failure must be observable while still never
+            // rethrowing at the caller (I3 可丢弃性: the async product is absent,
+            // but its absence is now qualified, not mute).
+            trace(classifySlowError(e, controller), 'call-failed');
         }
         finally {
             clearTimeout(deadline);
         }
     }
-    /** One pending slot per settled pipeline (the 0-2 picks + lane metadata). */
+    /** One pending slot per settled pipeline (the 0-2 picks + lane metadata).
+     *  The pending carries its producing run's disposition (A4 §3.2) so the
+     *  ilog writer can copy it verbatim — a pending only exists when the run
+     *  delivered, hence the constant. */
     settlePending(sessionId, input, items, queryBuild, started) {
         const route = this.service.cfg;
         this.pending.set(sessionId, {
@@ -493,6 +594,7 @@ export class SlowLane {
             queryBuild,
             model: `${route.distillProvider}/${route.distillModel}`,
             ms: Date.now() - started,
+            outcome: 'delivered',
         });
     }
     /**
@@ -587,10 +689,12 @@ export class SlowLane {
         const produced = Date.parse(pending.computedAt);
         if (!Number.isNaN(produced) && Date.now() - produced > PENDING_TTL_MS) {
             this.pending.delete(sessionId);
+            this.traceOutcome(sessionId, turnId, 'expired', 'ttl', { ageMs: Date.now() - produced });
             return { expired: 'ttl' };
         }
         if (turnId - pending.turnId > TURN_LAG_LIMIT) {
             this.pending.delete(sessionId);
+            this.traceOutcome(sessionId, turnId, 'expired', 'turn-lag', { producedTurnId: pending.turnId });
             return { expired: 'turn-lag' };
         }
         this.pending.delete(sessionId);