@remnic/core 9.69.56 → 9.69.57

package/dist/consolidation-undo.d.ts

@@ -1,37 +1,3 @@
-import { S as StorageManager } from './storage-CMm-3aD3.js';
-import { VersioningConfig } from './page-versioning.js';
-import './types-Du6VdoAg.js';
-import './message-parts/index.js';
-import './bounded-jsonl-state.js';
-import './operator-doctor-types.js';
-import './external-wiki-config.js';
-import './recall-state-view.js';
-import './contradiction-config.js';
-import './graph-path-scoring-config.js';
-import './background-generation-config.js';
-import './deep-recall-config.js';
-import './recall-navigation-config.js';
-import './recall-recognition-tier.js';
-import './causal-trajectory.js';
-import './objective-state.js';
-import './active-context-config.js';
-import './local-llm-config.js';
-import './semantic-merge-config.js';
-import './types-continuity.js';
-import './corpus-read-cancellation.js';
-import './artifact-search.js';
-import './active-context-transform.js';
-import './context-summary.js';
-import './entity-id-normalization.js';
-import './consolidation-operator.js';
-import './utils/serialize-mutations.js';
-import './memory-projection-store.js';
-import './maintenance/memory-governance.js';
-import './runtime/better-sqlite.js';
-import 'better-sqlite3';
-import './write-envelope.js';
-import './structured-attributes.js';
-
 /**
  * Consolidation undo (issue #561 PR 5).
  *
@@ -53,11 +19,12 @@ import './structured-attributes.js';
  * without additional wiring, and tests can exercise the plan logic
  * directly.
  */
-
+import type { StorageManager } from "./storage.js";
+import type { VersioningConfig } from "./page-versioning.js";
 /**
  * Outcome of restoring a single `derived_from` source.
  */
-interface ConsolidationUndoRestore {
+export interface ConsolidationUndoRestore {
     /** The raw `"<relpath>:<version>"` entry from `derived_from`. */
     entry: string;
     /** Absolute path where the source would be / was restored. */
@@ -70,7 +37,7 @@ interface ConsolidationUndoRestore {
 /**
  * Plan + result of a `remnic consolidate undo` invocation.
  */
-interface ConsolidationUndoResult {
+export interface ConsolidationUndoResult {
     /** Absolute path to the target memory. */
     targetPath: string;
     /** True when the target was archived successfully. */
@@ -90,7 +57,7 @@ interface ConsolidationUndoResult {
  * absolute form before comparison so `..` segments, symlinks-as-
  * strings, and relative prefixes are normalized.
  */
-declare function isInsideDirectory(candidate: string, root: string): boolean;
+export declare function isInsideDirectory(candidate: string, root: string): boolean;
 /**
  * Symlink-aware containment check (PR #637 round-2 review, codex P1).
  *
@@ -107,7 +74,7 @@ declare function isInsideDirectory(candidate: string, root: string): boolean;
  * so a not-yet-created target file still gets the symlink check on its
  * existing parent directories.
  */
-declare function isInsideDirectoryRealpath(candidate: string, root: string): Promise<boolean>;
+export declare function isInsideDirectoryRealpath(candidate: string, root: string): Promise<boolean>;
 /**
  * Check that a relative path (relative to memoryDir) points to an
  * active memory location rather than an internal/archive directory.
@@ -120,7 +87,7 @@ declare function isInsideDirectoryRealpath(candidate: string, root: string): Pro
  *                   under this directory are also rejected as
  *                   non-active.
  */
-declare function isActiveMemoryRelativePath(pagePath: string, sidecarDir?: string): boolean;
+export declare function isActiveMemoryRelativePath(pagePath: string, sidecarDir?: string): boolean;
 /**
  * Perform a consolidation-undo operation.
  *
@@ -133,7 +100,7 @@ declare function isActiveMemoryRelativePath(pagePath: string, sidecarDir?: strin
  * @param options.dryRun         When true, compute the plan but do not
  *                               write or archive.
  */
-declare function runConsolidationUndo(options: {
+export declare function runConsolidationUndo(options: {
     storage: StorageManager;
     memoryDir: string;
     targetPath: string;
@@ -145,6 +112,5 @@ declare function runConsolidationUndo(options: {
  * string for the CLI.  Extracted so tests can snapshot the formatting
  * without parsing stdout.
  */
-declare function formatConsolidationUndoResult(result: ConsolidationUndoResult): string;
-
-export { type ConsolidationUndoRestore, type ConsolidationUndoResult, formatConsolidationUndoResult, isActiveMemoryRelativePath, isInsideDirectory, isInsideDirectoryRealpath, runConsolidationUndo };
+export declare function formatConsolidationUndoResult(result: ConsolidationUndoResult): string;
+//# sourceMappingURL=consolidation-undo.d.ts.map

package/dist/consolidation-undo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"consolidation-undo.d.ts","sourceRoot":"","sources":["../src/consolidation-undo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAKH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAM7D;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;IACnB,8BAA8B;IAC9B,OAAO,EACH,UAAU,GACV,qBAAqB,GACrB,0BAA0B,GAC1B,0BAA0B,GAC1B,yBAAyB,GACzB,4BAA4B,GAC5B,yBAAyB,GACzB,0BAA0B,GAC1B,sBAAsB,GACtB,mCAAmC,GACnC,iBAAiB,CAAC;IACtB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,sDAAsD;IACtD,cAAc,EAAE,OAAO,CAAC;IACxB,mCAAmC;IACnC,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IACrC,+CAA+C;IAC/C,MAAM,EAAE,OAAO,CAAC;IAChB,iDAAiD;IACjD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAaD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAQ1E;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,yBAAyB,CAC7C,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,OAAO,CAAC,CAwElB;AAiCD;;;;;;;;;;;GAWG;AACH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,MAAM,EAChB,UAAU,CAAC,EAAE,MAAM,GAClB,OAAO,CAaT;AAoBD;;;;;;;;;;;GAWG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE;IAClD,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,gBAAgB,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAyZnC;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAwBrF"}

package/dist/content-hash.d.ts

@@ -7,18 +7,17 @@
  * `ContentHashIndex` delegate here to guarantee identical results.
  */
 /** Normalize content: preserve Unicode letters, marks, and numbers. */
-declare function normalizeContent(content: string): string;
+export declare function normalizeContent(content: string): string;
 /** Normalize content with the pre-Unicode ASCII-only normalizer. */
-declare function normalizeLegacyContent(content: string): string;
+export declare function normalizeLegacyContent(content: string): string;
 /** Compute the SHA-256 hash used by pre-Unicode content indexes. */
-declare function computeLegacyContentHash(content: string): string;
+export declare function computeLegacyContentHash(content: string): string;
 /**
  * Return true only when a persisted legacy hash can be proved to identify the
  * same body under the current normalizer. Empty or changed legacy forms are
  * ambiguous and must not be promoted to a current identity.
  */
-declare function isUnambiguousLegacyContentHash(content: string, contentHash: string, currentNormalizedText?: string): boolean;
+export declare function isUnambiguousLegacyContentHash(content: string, contentHash: string, currentNormalizedText?: string): boolean;
 /** Normalize content and compute SHA-256 hash. */
-declare function computeContentHash(content: string): string;
-
-export { computeContentHash, computeLegacyContentHash, isUnambiguousLegacyContentHash, normalizeContent, normalizeLegacyContent };
+export declare function computeContentHash(content: string): string;
+//# sourceMappingURL=content-hash.d.ts.map

package/dist/content-hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"content-hash.d.ts","sourceRoot":"","sources":["../src/content-hash.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,uEAAuE;AACvE,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAOxD;AAED,oEAAoE;AACpE,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAM9D;AAED,oEAAoE;AACpE,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,qBAAqB,GAAE,MAAkC,GACxD,OAAO,CAOT;AAED,kDAAkD;AAClD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1D"}

package/dist/context-summary.d.ts

@@ -1,7 +1,7 @@
 /** Model seam injected by the caller (orchestrator LLM path or a test stub). */
-type SummarizeFn = (text: string, targetTokens: number, aggressive: boolean) => Promise<string | null>;
-type ContextSummaryMethod = "deterministic" | "llm" | "auto";
-interface PureContextSummaryResult {
+export type SummarizeFn = (text: string, targetTokens: number, aggressive: boolean) => Promise<string | null>;
+export type ContextSummaryMethod = "deterministic" | "llm" | "auto";
+export interface PureContextSummaryResult {
     text: string;
     method: "llm" | "deterministic";
     /** True when the requested path degraded (auto mode only). */
@@ -13,7 +13,7 @@ interface PureContextSummaryResult {
      */
     escalation?: number;
 }
-interface SummarizeContextPureOptions {
+export interface SummarizeContextPureOptions {
     /** LLM seam. Required for `llm`; without it `auto` degrades to deterministic. */
     llm?: SummarizeFn;
     /** Hard ceiling for deterministic truncation output. */
@@ -24,7 +24,7 @@ interface SummarizeContextPureOptions {
     modelUsed?: string;
 }
 /** Thrown when `llm` mode cannot produce usable text (no silent fallback). */
-declare class ContextSummaryUnavailableError extends Error {
+export declare class ContextSummaryUnavailableError extends Error {
     constructor(reason: string);
 }
 /**
@@ -36,8 +36,7 @@ declare class ContextSummaryUnavailableError extends Error {
  * - `auto`: escalation ladder (LLM → aggressive LLM → deterministic), with
  *   `fallback: true` and an `escalation` level on degradation.
  */
-declare function summarizeContextPure(text: string, targetTokens: number, method: ContextSummaryMethod, options?: SummarizeContextPureOptions): Promise<PureContextSummaryResult>;
+export declare function summarizeContextPure(text: string, targetTokens: number, method: ContextSummaryMethod, options?: SummarizeContextPureOptions): Promise<PureContextSummaryResult>;
 /** Deterministic truncation: first and last sentence, plus middle truncation. */
-declare function deterministicTruncate(text: string, maxTokens: number): string;
-
-export { type ContextSummaryMethod, ContextSummaryUnavailableError, type PureContextSummaryResult, type SummarizeContextPureOptions, type SummarizeFn, deterministicTruncate, summarizeContextPure };
+export declare function deterministicTruncate(text: string, maxTokens: number): string;
+//# sourceMappingURL=context-summary.d.ts.map

package/dist/context-summary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-summary.d.ts","sourceRoot":"","sources":["../src/context-summary.ts"],"names":[],"mappings":"AAUA,gFAAgF;AAChF,MAAM,MAAM,WAAW,GAAG,CACxB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,OAAO,KAChB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAE5B,MAAM,MAAM,oBAAoB,GAAG,eAAe,GAAG,KAAK,GAAG,MAAM,CAAC;AAEpE,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,KAAK,GAAG,eAAe,CAAC;IAChC,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,2BAA2B;IAC1C,iFAAiF;IACjF,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB,wDAAwD;IACxD,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,iEAAiE;IACjE,yBAAyB,CAAC,EAAE,OAAO,CAAC;IACpC,qDAAqD;IACrD,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,8EAA8E;AAC9E,qBAAa,8BAA+B,SAAQ,KAAK;gBAC3C,MAAM,EAAE,MAAM;CAI3B;AAOD;;;;;;;;GAQG;AACH,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,oBAAoB,EAC5B,OAAO,GAAE,2BAAgC,GACxC,OAAO,CAAC,wBAAwB,CAAC,CAsDnC;AAmBD,iFAAiF;AACjF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAyB7E"}

package/dist/contradiction/contradiction-judge.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Contradiction Judge — LLM-as-judge for semantic contradiction detection (issue #520).
+ *
+ * Pairs semantically-similar memories and classifies their relationship.
+ * Reuses the extraction-judge adapter pattern but with a contradiction-specific
+ * prompt and verdict taxonomy.
+ *
+ * Design constraints:
+ *   - Default verdict on any failure is "needs-user" (rule 48: least-privileged default).
+ *   - Never auto-resolve; all verdicts enter the review queue.
+ *   - Content-hash caching avoids redundant LLM calls across runs.
+ */
+import type { PluginConfig } from "../types.js";
+import type { LocalLlmClient } from "../local-llm.js";
+import type { FallbackLlmClient } from "../fallback-llm.js";
+export type ContradictionVerdict = "contradicts" | "independent" | "duplicates" | "needs-user";
+export interface ContradictionJudgeInput {
+    /** Memory ID of the first fact. */
+    memoryIdA: string;
+    /** Memory ID of the second fact. */
+    memoryIdB: string;
+    /** Content text of the first fact. */
+    textA: string;
+    /** Content text of the second fact. */
+    textB: string;
+    /** Category of the first fact (optional context). */
+    categoryA?: string;
+    /** Category of the second fact (optional context). */
+    categoryB?: string;
+}
+export interface ContradictionJudgeResult {
+    /** Memory IDs of the pair. */
+    memoryIdA: string;
+    memoryIdB: string;
+    /** Verdict from the judge. */
+    verdict: ContradictionVerdict;
+    /** Human-readable rationale. */
+    rationale: string;
+    /** Confidence in [0, 1]. */
+    confidence: number;
+}
+export interface ContradictionJudgeBatchResult {
+    /** Results keyed by pair key ("idA:idB"). */
+    results: Map<string, ContradictionJudgeResult>;
+    /** Number served from cache. */
+    cached: number;
+    /** Number produced by LLM call. */
+    judged: number;
+    /** Total wall-clock time in ms. */
+    elapsed: number;
+}
+declare function pairKey(idA: string, idB: string): string;
+declare function contentHash(a: ContradictionJudgeInput): string;
+export declare function createVerdictCache(): Map<string, ContradictionJudgeResult>;
+export declare function clearVerdictCache(): void;
+export declare function verdictCacheSize(): number;
+/**
+ * Judge a batch of memory pairs for contradiction.
+ *
+ * Uses content-hash caching to skip pairs already judged in a prior run.
+ * On any LLM failure, all unresolved pairs default to "needs-user".
+ */
+export declare function judgeContradictionPairs(pairs: ContradictionJudgeInput[], config: PluginConfig, localLlm: LocalLlmClient | null, fallbackLlm: FallbackLlmClient | null, cache?: Map<string, ContradictionJudgeResult>): Promise<ContradictionJudgeBatchResult>;
+export { pairKey as _pairKey, contentHash as _contentHash };
+//# sourceMappingURL=contradiction-judge.d.ts.map

package/dist/contradiction/contradiction-judge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradiction-judge.d.ts","sourceRoot":"","sources":["../../src/contradiction/contradiction-judge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAK5D,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,YAAY,GACZ,YAAY,CAAC;AAEjB,MAAM,WAAW,uBAAuB;IACtC,mCAAmC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,wBAAwB;IACvC,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,8BAA8B;IAC9B,OAAO,EAAE,oBAAoB,CAAC;IAC9B,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,6BAA6B;IAC5C,6CAA6C;IAC7C,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;IAC/C,gCAAgC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,mCAAmC;IACnC,OAAO,EAAE,MAAM,CAAC;CACjB;AA8BD,iBAAS,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAGjD;AAED,iBAAS,WAAW,CAAC,CAAC,EAAE,uBAAuB,GAAG,MAAM,CAYvD;AAED,wBAAgB,kBAAkB,IAAI,GAAG,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAE1E;AAED,wBAAgB,iBAAiB,IAAI,IAAI,CAExC;AAED,wBAAgB,gBAAgB,IAAI,MAAM,CAEzC;AAID;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,KAAK,EAAE,uBAAuB,EAAE,EAChC,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,cAAc,GAAG,IAAI,EAC/B,WAAW,EAAE,iBAAiB,GAAG,IAAI,EACrC,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAC5C,OAAO,CAAC,6BAA6B,CAAC,CA8FxC;AA6GD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,WAAW,IAAI,YAAY,EAAE,CAAC"}

package/dist/contradiction/contradiction-review.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Contradiction Review Queue — storage for detected contradiction pairs (issue #520).
+ *
+ * Stores candidate pairs as JSON files under `memoryDir/.review/contradictions/`.
+ * Pair IDs are deterministic (sha256 of sorted memory IDs plus namespace when scoped) so reruns are idempotent.
+ *
+ * Lifecycle:
+ *   - `contradicts` → awaiting user review
+ *   - `duplicates` → auto-flagged for dedup (still needs user approval)
+ *   - `independent` / `both-valid` → dormant with cooldown
+ */
+import type { ContradictionVerdict } from "./contradiction-judge.js";
+/**
+ * Resolution verbs. The first five are contradiction-pair verbs; the last
+ * three resolve a `kind: "preference-drift"` item (issue #2371). Verb validity
+ * is per-kind — `executeResolution` rejects a cross-kind verb — but the stored
+ * union is shared so one review queue, one `review_resolve` surface, and one
+ * resolution record serve both item kinds.
+ */
+export type ResolutionVerb = "keep-a" | "keep-b" | "merge" | "both-valid" | "needs-more-context" | "keep" | "supersede" | "archive";
+/** Review-item kind. Absent on every pair written before issue #2371. */
+export type ReviewItemKind = "contradiction" | "preference-drift";
+/** Verbs valid for a `kind: "preference-drift"` item. */
+export declare const PREFERENCE_DRIFT_VERBS: readonly ResolutionVerb[];
+/** Verbs valid for a contradiction pair. */
+export declare const CONTRADICTION_VERBS: readonly ResolutionVerb[];
+export interface ContradictionPair {
+    /** Deterministic pair ID: sha256(sorted(memoryIdA, memoryIdB) plus namespace when scoped). */
+    pairId: string;
+    /** Memory IDs (sorted). */
+    memoryIds: [string, string];
+    /**
+     * Item kind (issue #2371). Absent on every pair written before drift
+     * detection existed, which reads as `"contradiction"`. A
+     * `"preference-drift"` item pairs the aging preference (first id) with the
+     * recent evidence that pointed away from it (second id).
+     */
+    kind?: ReviewItemKind;
+    /** Judge verdict. */
+    verdict: ContradictionVerdict;
+    /** Judge rationale. */
+    rationale: string;
+    /** Judge confidence in [0, 1]. */
+    confidence: number;
+    /** ISO timestamp when detected. */
+    detectedAt: string;
+    /** ISO timestamp when last reviewed by user. */
+    lastReviewedAt?: string;
+    /** Resolution verb applied by user. */
+    resolution?: ResolutionVerb;
+    /** ISO timestamp until which a non-terminal deferral remains hidden from review. */
+    deferredUntil?: string;
+    /** Content hashes captured for each referenced memory when this pair was judged. */
+    memoryContentHashes?: Record<string, string>;
+    /** Namespace scope. */
+    namespace?: string;
+}
+export interface ContradictionListResult {
+    pairs: ContradictionPair[];
+    total: number;
+    durationMs: number;
+}
+export type ContradictionFilter = ContradictionVerdict | "all" | "unresolved";
+export interface WritePairOptions {
+    /** Cooldown used by scan callers to preserve still-dormant reviewed pairs. */
+    cooldownDays?: number;
+}
+export declare function computePairId(memoryIdA: string, memoryIdB: string, namespace?: string): string;
+export declare function isDefaultReviewNamespace(defaultNamespace: string, requestedNamespace: string | undefined, resolvedNamespace: string): boolean;
+export declare function computeMemoryContentHash(content: string, category?: string): string;
+/**
+ * Write a contradiction pair to the review queue.
+ * Idempotent: if the pair already exists with a higher or equal confidence,
+ * the existing entry is preserved.
+ */
+export declare function writePair(memoryDir: string, pair: Omit<ContradictionPair, "pairId"> & {
+    memoryIds: [string, string];
+}, options?: WritePairOptions): ContradictionPair;
+/**
+ * Write multiple pairs, deduplicating inputs first (rule 49).
+ */
+export declare function writePairs(memoryDir: string, pairs: Array<Omit<ContradictionPair, "pairId"> & {
+    memoryIds: [string, string];
+}>, options?: WritePairOptions): ContradictionPair[];
+/**
+ * Read a single pair by ID. Returns null if not found.
+ */
+export declare function readPair(memoryDir: string, pairId: string): ContradictionPair | null;
+/**
+ * List pairs in the review queue, optionally filtered by verdict.
+ */
+export declare function listPairs(memoryDir: string, options?: {
+    filter?: ContradictionFilter;
+    namespace?: string;
+    includeUnscopedForNamespace?: boolean;
+    limit?: number;
+}): ContradictionListResult;
+export declare function migrateUnscopedPairsToNamespace(memoryDir: string, namespace: string, options?: WritePairOptions): number;
+/**
+ * Check if a pair is within its cooldown window.
+ * Returns true if the pair should be SKIPPED (still cooling down).
+ */
+export declare function isCoolingDown(pair: ContradictionPair, cooldownDays: number): boolean;
+/**
+ * Mark a pair as reviewed (sets lastReviewedAt and, for terminal verbs, resolution).
+ */
+export declare function resolvePair(memoryDir: string, pairId: string, verb: ResolutionVerb): ContradictionPair | null;
+/**
+ * Defer a pair without terminally resolving it.
+ */
+export declare function deferPair(memoryDir: string, pairId: string, deferredUntil?: string): ContradictionPair | null;
+/**
+ * Check whether a pair's referenced memories have changed since detection,
+ * which should override cooldown.
+ */
+export declare function memoryHashesChanged(_memoryDir: string, pair: ContradictionPair, getCurrentHash: (memoryId: string) => string | null): boolean;
+//# sourceMappingURL=contradiction-review.d.ts.map

package/dist/contradiction/contradiction-review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradiction-review.d.ts","sourceRoot":"","sources":["../../src/contradiction/contradiction-review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAIrE;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,YAAY,GACZ,oBAAoB,GACpB,MAAM,GACN,WAAW,GACX,SAAS,CAAC;AAEd,yEAAyE;AACzE,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG,kBAAkB,CAAC;AAElE,yDAAyD;AACzD,eAAO,MAAM,sBAAsB,EAAE,SAAS,cAAc,EAAqC,CAAC;AAElG,4CAA4C;AAC5C,eAAO,MAAM,mBAAmB,EAAE,SAAS,cAAc,EAMxD,CAAC;AAOF,MAAM,WAAW,iBAAiB;IAChC,8FAA8F;IAC9F,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5B;;;;;OAKG;IACH,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,qBAAqB;IACrB,OAAO,EAAE,oBAAoB,CAAC;IAC9B,uBAAuB;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uCAAuC;IACvC,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,oFAAoF;IACpF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oFAAoF;IACpF,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,uBAAuB;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,mBAAmB,GAAG,oBAAoB,GAAG,KAAK,GAAG,YAAY,CAAC;AAC9E,MAAM,WAAW,gBAAgB;IAC/B,8EAA8E;IAC9E,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAOD,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAK9F;AAED,wBAAgB,wBAAwB,CACtC,gBAAgB,EAAE,MAAM,EACxB,kBAAkB,EAAE,MAAM,GAAG,SAAS,EACtC,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAGT;AA0LD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAMnF;AAeD;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAAG;IAAE,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,EACzE,OAAO,GAAE,gBAAqB,GAC7B,iBAAiB,CAqEnB;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,GAAG;IAAE,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,CAAC,EACjF,OAAO,GAAE,gBAAqB,GAC7B,iBAAiB,EAAE,CAYrB;AAID;;GAEG;AACH,wBAAgB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAapF;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE;IACR,MAAM,CAAC,EAAE,mBAAmB,CAAC;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2BAA2B,CAAC,EAAE,OAAO,CAAC;IACtC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GACA,uBAAuB,CAmDzB;AAED,wBAAgB,+BAA+B,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,GAAE,gBAAqB,GAAG,MAAM,CA4D5H;AAID;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAepF;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,cAAc,GACnB,iBAAiB,GAAG,IAAI,CAwB1B;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,aAAa,SAAsE,GAClF,iBAAiB,GAAG,IAAI,CAgB1B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,iBAAiB,EACvB,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GAClD,OAAO,CAYT"}

package/dist/contradiction/contradiction-scan.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Contradiction Scan — pair generator + scan driver (issue #520).
+ *
+ * Nightly cron that pairs semantically-similar active memories within
+ * the same namespace, sends candidate pairs to the LLM-as-judge
+ * contradiction classifier, and drops contradicting pairs into a
+ * review queue for user resolution.
+ *
+ * Pair generation (cheap pre-filter):
+ *   1. Find candidate peers via embedding cosine >= similarityFloor.
+ *   2. Restrict to pairs sharing at least one entityRef OR overlapping
+ *      topic tokens >= topicOverlapFloor.
+ *   3. Skip pairs already judged independent/both-valid within cooldown.
+ *   4. Cap per-run work at maxPairsPerRun.
+ */
+import type { StorageManager } from "../storage.js";
+import type { PluginConfig, MemoryStatus } from "../types.js";
+import type { SemanticDedupLookup } from "../dedup/semantic.js";
+import type { LocalLlmClient } from "../local-llm.js";
+import type { FallbackLlmClient } from "../fallback-llm.js";
+/** The set of statuses that represent "live" memories eligible for scanning. */
+export declare const ACTIVE_STATUSES: Set<MemoryStatus>;
+export interface ScanResult {
+    /** Total active memories scanned. */
+    scanned: number;
+    /** Candidate pairs generated by the pre-filter. */
+    candidates: number;
+    /** Pairs sent to judge. */
+    judged: number;
+    /** Pairs written to review queue. */
+    queued: number;
+    /** Pairs skipped due to cooldown. */
+    cooledDown: number;
+    /** Total wall-clock time in ms. */
+    elapsedMs: number;
+}
+export interface ScanStorageResolution {
+    storage: StorageManager;
+    namespace?: string;
+}
+export interface ScanDependencies {
+    storage: StorageManager;
+    config: PluginConfig;
+    memoryDir: string;
+    /** Pre-built embedding lookup. When provided, used as-is for Strategy 3. */
+    embeddingLookup?: SemanticDedupLookup;
+    /**
+     * Factory to build a namespace-scoped embedding lookup.
+     * When provided, takes precedence over `embeddingLookup`.
+     * The scan driver passes its own `storage` so the lookup queries the correct index.
+     */
+    embeddingLookupFactory?: (storage: StorageManager) => SemanticDedupLookup | undefined;
+    /** Resolver for namespace-scoped storage. Required for scans when namespaces are enabled. */
+    storageForNamespace?: (namespace: string | undefined) => StorageManager | ScanStorageResolution | Promise<StorageManager | ScanStorageResolution>;
+    localLlm: LocalLlmClient | null;
+    fallbackLlm: FallbackLlmClient | null;
+    namespace?: string;
+}
+/**
+ * Run a contradiction scan over the memory corpus.
+ *
+ * This is the entry point called by the nightly cron and by the CLI.
+ */
+export declare function runContradictionScan(deps: ScanDependencies): Promise<ScanResult>;
+/**
+ * Resolve the namespace-scoped storage a scan must read and write through.
+ *
+ * Exported and narrowed to the fields it actually reads so sibling scans
+ * (preference drift, issue #2371) share ONE namespace resolver rather than
+ * re-deriving the read/write namespace independently — the divergence the
+ * namespace/ACL scenario matrix in AGENTS.md exists to prevent.
+ */
+export declare function resolveScanStorage(deps: Pick<ScanDependencies, "config" | "storage" | "storageForNamespace">, namespace: string | undefined): Promise<ScanStorageResolution>;
+//# sourceMappingURL=contradiction-scan.d.ts.map

package/dist/contradiction/contradiction-scan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradiction-scan.d.ts","sourceRoot":"","sources":["../../src/contradiction/contradiction-scan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAc,YAAY,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAahE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAK5D,gFAAgF;AAChF,eAAO,MAAM,eAAe,EAAE,GAAG,CAAC,YAAY,CAAuB,CAAC;AAYtE,MAAM,WAAW,UAAU;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,YAAY,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,eAAe,CAAC,EAAE,mBAAmB,CAAC;IACtC;;;;OAIG;IACH,sBAAsB,CAAC,EAAE,CAAC,OAAO,EAAE,cAAc,KAAK,mBAAmB,GAAG,SAAS,CAAC;IACtF,6FAA6F;IAC7F,mBAAmB,CAAC,EAAE,CACpB,SAAS,EAAE,MAAM,GAAG,SAAS,KAC1B,cAAc,GAAG,qBAAqB,GAAG,OAAO,CAAC,cAAc,GAAG,qBAAqB,CAAC,CAAC;IAC9F,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAID;;;;GAIG;AACH,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,CAyGtF;AAkLD;;;;;;;GAOG;AACH,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,IAAI,CAAC,gBAAgB,EAAE,QAAQ,GAAG,SAAS,GAAG,qBAAqB,CAAC,EAC1E,SAAS,EAAE,MAAM,GAAG,SAAS,GAC5B,OAAO,CAAC,qBAAqB,CAAC,CA6BhC"}

package/dist/contradiction/index.d.ts

@@ -1,41 +1,12 @@
-export { A as ACTIVE_STATUSES, a as ContradictionFilter, b as ContradictionJudgeBatchResult, c as ContradictionJudgeInput, d as ContradictionJudgeResult, e as ContradictionListResult, C as ContradictionPair, f as ContradictionVerdict, R as ResolutionResult, g as ResolutionVerb, h as ScanDependencies, i as ScanResult, t as clearVerdictCache, j as computePairId, u as createVerdictCache, k as executeResolution, l as isCoolingDown, m as isValidResolutionVerb, n as judgeContradictionPairs, o as listPairs, r as readPair, p as resolvePair, q as runContradictionScan, v as verdictCacheSize, w as writePair, s as writePairs } from '../index-B735x-tK.js';
-import '../storage-CMm-3aD3.js';
-import '../types-Du6VdoAg.js';
-import '../message-parts/index.js';
-import '../bounded-jsonl-state.js';
-import '../operator-doctor-types.js';
-import '../external-wiki-config.js';
-import '../recall-state-view.js';
-import '../contradiction-config.js';
-import '../graph-path-scoring-config.js';
-import '../background-generation-config.js';
-import '../deep-recall-config.js';
-import '../recall-navigation-config.js';
-import '../recall-recognition-tier.js';
-import '../causal-trajectory.js';
-import '../objective-state.js';
-import '../active-context-config.js';
-import '../local-llm-config.js';
-import '../semantic-merge-config.js';
-import '../types-continuity.js';
-import '../corpus-read-cancellation.js';
-import '../artifact-search.js';
-import '../active-context-transform.js';
-import '../context-summary.js';
-import '../entity-id-normalization.js';
-import '../page-versioning.js';
-import '../consolidation-operator.js';
-import '../utils/serialize-mutations.js';
-import '../memory-projection-store.js';
-import '../maintenance/memory-governance.js';
-import '../runtime/better-sqlite.js';
-import 'better-sqlite3';
-import '../write-envelope.js';
-import '../structured-attributes.js';
-import '../semantic-BalR6EXU.js';
-import '../local-llm-BkkEK9rn.js';
-import '../model-registry.js';
-import '../fallback-llm.js';
-import '../fallback-llm-codex-subscription.js';
-import '../cli-fallback.js';
-import '../resolve-provider-secret.js';
+/**
+ * Contradiction detection module (issue #520).
+ *
+ * Nightly scan that pairs semantically-similar active memories,
+ * classifies them with an LLM-as-judge, and queues contradicting
+ * pairs for user resolution.
+ */
+export { runContradictionScan, ACTIVE_STATUSES, type ScanResult, type ScanDependencies } from "./contradiction-scan.js";
+export { judgeContradictionPairs, createVerdictCache, clearVerdictCache, verdictCacheSize, type ContradictionVerdict, type ContradictionJudgeInput, type ContradictionJudgeResult, type ContradictionJudgeBatchResult, } from "./contradiction-judge.js";
+export { computePairId, writePair, writePairs, readPair, listPairs, isCoolingDown, resolvePair, type ContradictionPair, type ContradictionListResult, type ContradictionFilter, type ResolutionVerb, } from "./contradiction-review.js";
+export { executeResolution, isValidResolutionVerb, type ResolutionResult, } from "./resolution.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/contradiction/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contradiction/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,KAAK,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AACxH,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAAK,6BAA6B,GACnC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,aAAa,EACb,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,aAAa,EACb,WAAW,EACX,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,mBAAmB,EACxB,KAAK,cAAc,GACpB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,KAAK,gBAAgB,GACtB,MAAM,iBAAiB,CAAC"}

package/dist/contradiction/index.js

@@ -2,7 +2,17 @@ import "../chunk-V5OCT34X.js";
 import {
   executeResolution,
   isValidResolutionVerb
-} from "../chunk-HNHIHXSD.js";
+} from "../chunk-NKXHCCLB.js";
+import "../chunk-XCB6QDL6.js";
+import "../chunk-RBOJCG4T.js";
+import "../chunk-C64XATK7.js";
+import "../chunk-42JKGUFJ.js";
+import "../chunk-GDYU6VF4.js";
+import "../chunk-BT7NVCML.js";
+import "../chunk-VYCOJKSX.js";
+import "../chunk-NB3LRY4T.js";
+import "../chunk-5FVVY2EB.js";
+import "../chunk-FFAZ2XFU.js";
 import {
   ACTIVE_STATUSES,
   clearVerdictCache,
@@ -20,18 +30,8 @@ import {
   writePair,
   writePairs
 } from "../chunk-CTVWELNK.js";
-import "../chunk-XCB6QDL6.js";
-import "../chunk-RBOJCG4T.js";
-import "../chunk-C64XATK7.js";
-import "../chunk-42JKGUFJ.js";
 import "../chunk-RGMVMVMF.js";
-import "../chunk-GDYU6VF4.js";
-import "../chunk-BT7NVCML.js";
-import "../chunk-VYCOJKSX.js";
 import "../chunk-PWPIERBM.js";
-import "../chunk-NB3LRY4T.js";
-import "../chunk-5FVVY2EB.js";
-import "../chunk-FFAZ2XFU.js";
 import "../chunk-JDSVLVCG.js";
 import "../chunk-5GKPFL3S.js";
 import "../chunk-JAKIDQB2.js";

package/dist/contradiction/resolution.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Resolution Verbs — executes user-chosen resolution actions on contradiction pairs (issue #520).
+ *
+ * All resolution paths delegate to StorageManager.supersedeMemory. Do not
+ * reimplement supersession logic here (rule 22: deduplicate resolution).
+ */
+import type { StorageManager } from "../storage.js";
+import type { MemoryCategory } from "../types.js";
+import type { ResolutionVerb } from "./contradiction-review.js";
+export interface ResolutionResult {
+    pairId: string;
+    verb: ResolutionVerb;
+    /** Memory IDs affected by the resolution. */
+    affectedIds: string[];
+    /** Human-readable status. */
+    message: string;
+}
+export interface ExecuteResolutionOptions {
+    /** Existing merged memory to supersede both source memories to. */
+    mergedMemoryId?: string;
+    /** Content for a new merged memory. Required for merge when mergedMemoryId is omitted. */
+    mergedContent?: string;
+    /** Category for a newly created merged memory. Defaults to the shared source category, or fact. */
+    mergedCategory?: MemoryCategory;
+    /** Resolve storage for the pair namespace, or the default namespace for legacy unscoped pairs. */
+    storageForNamespace?: (namespace: string | undefined) => StorageManager | Promise<StorageManager>;
+    /**
+     * Best-effort hook invoked after a contradiction resolution leaves a durable
+     * mutation in the namespace's memory files (issue #1499 sweep, NH1dX / NH3X3).
+     * Every mutating verb — `merge` (creates a new memory and supersedes both
+     * sources), `keep-a`, and `keep-b` (supersede the losing source + rewrite
+     * frontmatter) — writes directly to the pair's (possibly DYNAMIC) namespace
+     * storage, bypassing the extraction write path that records catalog writes. So
+     * without this the namespace's `lastWriteAt` stays stale and QMD maintenance /
+     * `writtenSince` can skip a namespace whose only post-write mutation is
+     * resolving a contradiction. It fires after the resolution commits, or after a
+     * failed resolution/rollback path when durable memory changes are still left on
+     * disk. If a failure rolls back cleanly, this is never called, so the catalog
+     * never records a write that did not survive (rule #25). Non-mutating verbs
+     * (`both-valid`, `needs-more-context`) never trigger it. Callers wire this to
+     * `Orchestrator.recordCatalogWrite(namespace, storageDir)`. Must be
+     * failure-tolerant: it is fire-and-forget and must never affect resolution.
+     */
+    onMergedMemoryWritten?: (namespace: string | undefined, storageDir: string) => void;
+}
+export declare function isValidResolutionVerb(value: string): value is ResolutionVerb;
+/**
+ * Execute a resolution verb on a contradiction pair.
+ *
+ * - `keep-a`: Supersede B, keep A active.
+ * - `keep-b`: Supersede A, keep B active.
+ * - `merge`: Create or verify a real merged memory, then supersede both inputs.
+ * - `both-valid`: Mark pair as reviewed; no memories are superseded.
+ * - `needs-more-context`: Defer; no action, short cooldown.
+ */
+export declare function executeResolution(memoryDir: string, storage: StorageManager, pairId: string, verb: ResolutionVerb, options?: ExecuteResolutionOptions): Promise<ResolutionResult>;
+//# sourceMappingURL=resolution.d.ts.map

package/dist/contradiction/resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolution.d.ts","sourceRoot":"","sources":["../../src/contradiction/resolution.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAc,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAShE,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,cAAc,CAAC;IACrB,6CAA6C;IAC7C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,wBAAwB;IACvC,mEAAmE;IACnE,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0FAA0F;IAC1F,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,mGAAmG;IACnG,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,kGAAkG;IAClG,mBAAmB,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,KAAK,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAClG;;;;;;;;;;;;;;;;OAgBG;IACH,qBAAqB,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,UAAU,EAAE,MAAM,KAAK,IAAI,CAAC;CACrF;AAWD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAE5E;AAED;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,cAAc,EACpB,OAAO,GAAE,wBAA6B,GACrC,OAAO,CAAC,gBAAgB,CAAC,CAqS3B"}