opencode-swarm 7.140.2 → 7.140.4

package/dist/hooks/promotion-evidence-store.d.ts

@@ -1,9 +1,10 @@
 /**
  * Promotion-evidence store (issue #1849 §B2).
  *
- * Append-only, FIFO-bounded JSONL store for {@link PromotionEvidenceRecord}s
- * produced when a validated terminal receipt (applied/violated/contradicted) is
- * filed. This is the wiring that finally feeds #1847's
+ * Append-only, FIFO-bounded, rebuildable projection of
+ * {@link PromotionEvidenceRecord}s produced when an authoritative V2 terminal
+ * receipt (applied/violated/contradicted) is filed. V2 receipt history remains
+ * the authority if this projection write fails. This is the wiring that feeds #1847's
  * {@link evaluatePromotionPolicy} consumer (previously inert "until #1849
  * produces real receipts").
  *
@@ -14,6 +15,7 @@
  * `.swarm/` (via {@link validateSwarmPath}), NOT the link-aware shared store
  * dir, so it stays per-worktree.
  */
+import { queryHistoricalOutcomes } from './knowledge-receipt-ledger.js';
 import type { PromotionEvidenceRecord } from './knowledge-types.js';
 /** Resolve the promotion-evidence log path under the project-root `.swarm/`. */
 export declare function resolvePromotionEvidencePath(directory: string): string;
@@ -25,9 +27,13 @@ export declare function resolvePromotionEvidencePath(directory: string): string;
  */
 export declare function appendPromotionEvidence(directory: string, records: PromotionEvidenceRecord[]): Promise<void>;
 /**
- * Load all promotion-evidence records, grouped by entry_id. This is the loader
- * that replaces the inert stub at `hive-promoter.ts:loadPromotionEvidence`.
- * Returns an empty object when the file is absent (no evidence yet — the
- * conservative default). Never throws.
+ * Load authoritative receipt terminals as promotion evidence, grouped by
+ * entry_id. The FIFO file above remains a derived projection and is never read.
+ * Ledger uncertainty or missing truthful cohort lineage conservatively returns
+ * no evidence. Never throws.
  */
-export declare function loadPromotionEvidenceByEntry(directory: string): Promise<Record<string, PromotionEvidenceRecord[]>>;
+export declare function loadPromotionEvidenceByEntry(directory: string, canonicalCohortId?: string): Promise<Record<string, PromotionEvidenceRecord[]>>;
+/** Dependency seam for authoritative-reader failure and mapping tests. */
+export declare const _internals: {
+    queryHistoricalOutcomes: typeof queryHistoricalOutcomes;
+};

package/dist/hooks/reviewer-verdict-parser.d.ts

@@ -3,21 +3,33 @@
  * Change 2 / Task 2.3).
  *
  * Parses a reviewer's `DIRECTIVE_COMPLIANCE` block (VERIFIED / VIOLATED / N/A
- * lines) and reconciles it against the set of directives the reviewer was asked
- * to verify, emitting one receipt event per directive (tagged source:'reviewer'):
+ * lines) and reconciles it against the exact retrieval memberships the reviewer
+ * was asked to verify, committing one authoritative terminal per pair:
  *
- *   VERIFIED:<id>  → type:'applied'   (verified === honored)
- *   VIOLATED:<id>  → type:'violated'  (+ run any verification_predicate)
- *   N/A:<id>       → type:'n_a'        (neutral)
+ *   VERIFIED:<trace_id>:<entry_id> -> outcome:'applied'
+ *   VIOLATED:<trace_id>:<entry_id> -> outcome:'violated'
+ *   N/A:<trace_id>:<entry_id>      -> outcome:'n_a'
  *
- * Anti-spoofing: verdicts for IDs that were not in the verify-set are dropped.
- * A CRITICAL directive the reviewer never addressed gets a synthetic
- * `violated` / `reviewer_omitted` event. Fail-open: never throws.
+ * Anti-spoofing: verdicts for pairs that were not in the verify-set are dropped.
+ * An omitted CRITICAL pair gets a `violated` / `reviewer_omitted` terminal.
+ * Authority failures return typed uncertainty and never fabricate success.
  */
 import { type DirectiveToVerify } from '../agents/reviewer-directive-compliance.js';
+import { runDirectivePredicate } from '../services/directive-predicate-runner.js';
+import { escalateViolatedEntries } from './knowledge-escalator.js';
+import { recordKnowledgeEvent } from './knowledge-events.js';
+import { validateAndCommitTerminalBatch } from './knowledge-receipt-ledger.js';
+/** Narrow dependency seam for isolated reconciliation ordering tests. */
+export declare const _internals: {
+    validateAndCommitTerminalBatch: typeof validateAndCommitTerminalBatch;
+    recordKnowledgeEvent: typeof recordKnowledgeEvent;
+    runDirectivePredicate: typeof runDirectivePredicate;
+    escalateViolatedEntries: typeof escalateViolatedEntries;
+};
 export type ReviewerVerdict = 'verified' | 'violated' | 'n_a';
 export interface ParsedReviewerVerdict {
-    id: string;
+    trace_id: string;
+    entry_id: string;
     verdict: ReviewerVerdict;
     /** evidence=... (VERIFIED/VIOLATED) or reason=... (N/A). */
     evidence?: string;
@@ -35,11 +47,23 @@ export interface ReconcileReviewerVerdictsParams {
 }
 export interface ReconcileReviewerVerdictsResult {
     emitted: Array<{
+        trace_id: string;
+        entry_id: string;
+        /** Legacy diagnostic alias. */
         id: string;
         type: string;
         source: 'reviewer';
     }>;
-    omittedCriticals: string[];
+    omittedCriticals: Array<{
+        trace_id: string;
+        entry_id: string;
+    }>;
+    uncertainties: Array<{
+        trace_id: string;
+        entry_id?: string;
+        code: string;
+        uncertainty?: unknown;
+    }>;
 }
 /**
  * Reconcile reviewer verdicts against the verify-set and emit receipt events.