pi-smart-compact 9.7.0 → 10.0.0

package/dist/mnemopi-worker.js

@@ -0,0 +1,213 @@
+// @bun
+// src/app/mnemopi-worker.ts
+import { Mnemopi } from "@oh-my-pi/pi-mnemopi";
+import { existsSync, mkdirSync } from "fs";
+import path from "path";
+import { Check } from "typebox/value";
+
+// src/app/mnemopi-protocol.ts
+import { Type } from "typebox";
+var MNEMOPI_READY = "psc-mnemopi-ready-v1";
+var target = { dbPath: Type.String(), projectId: Type.String() };
+var fact = {
+  memoryId: Type.String(),
+  kind: Type.String(),
+  title: Type.String({ maxLength: 200 }),
+  content: Type.String({ minLength: 1, maxLength: 2000 }),
+  relatedPaths: Type.Array(Type.String({ maxLength: 300 }), { maxItems: 20 })
+};
+var MnemopiMetadataSchema = Type.Object({
+  projectId: target.projectId,
+  memoryId: fact.memoryId,
+  kind: fact.kind,
+  title: fact.title,
+  relatedPaths: fact.relatedPaths
+});
+var MnemopiRequestSchema = Type.Union([
+  Type.Object({ ...target, ...fact, operation: Type.Literal("save") }),
+  Type.Object({
+    ...target,
+    operation: Type.Literal("resolve"),
+    memoryId: fact.memoryId
+  }),
+  Type.Object({
+    ...target,
+    operation: Type.Literal("inspect"),
+    memoryId: fact.memoryId
+  }),
+  Type.Object({
+    ...target,
+    operation: Type.Literal("recall"),
+    query: Type.String({ maxLength: 500 }),
+    limit: Type.Integer({ minimum: 1, maximum: 20 }),
+    kinds: Type.Optional(Type.Array(Type.String()))
+  })
+]);
+var MnemopiOutcomeSchema = Type.Union([
+  Type.Object({
+    state: Type.Literal("saved"),
+    dbPath: Type.String(),
+    id: Type.String(),
+    memoryId: Type.String(),
+    existing: Type.Boolean()
+  }),
+  Type.Object({
+    state: Type.Literal("resolved"),
+    dbPath: Type.String(),
+    closed: Type.Boolean()
+  }),
+  Type.Object({
+    state: Type.Literal("inspected"),
+    dbPath: Type.String(),
+    fact: Type.Union([
+      Type.Object({
+        memoryId: Type.String(),
+        kind: Type.String(),
+        title: Type.String(),
+        content: Type.String()
+      }),
+      Type.Null()
+    ])
+  }),
+  Type.Object({
+    state: Type.Literal("recalled"),
+    dbPath: Type.String(),
+    facts: Type.Array(Type.Object({
+      id: Type.String(),
+      memoryId: Type.String(),
+      kind: Type.String(),
+      title: Type.String(),
+      content: Type.String(),
+      score: Type.Number()
+    }), { maxItems: 20 })
+  }),
+  Type.Object({
+    state: Type.Literal("failed"),
+    reason: Type.String(),
+    dbPath: Type.Optional(Type.String())
+  }),
+  Type.Object({
+    state: Type.Literal("unknown"),
+    reason: Type.String(),
+    dbPath: Type.Optional(Type.String())
+  })
+]);
+
+// src/app/mnemopi-worker.ts
+async function execute(request) {
+  const { dbPath, projectId } = request;
+  if (request.operation !== "save" && !existsSync(dbPath)) {
+    if (request.operation === "recall")
+      return { state: "recalled", dbPath, facts: [] };
+    if (request.operation === "inspect")
+      return { state: "inspected", dbPath, fact: null };
+    return { state: "resolved", dbPath, closed: false };
+  }
+  process.umask(63);
+  if (request.operation === "save")
+    mkdirSync(path.dirname(dbPath), { recursive: true, mode: 448 });
+  const byRef = request.operation !== "recall";
+  const memory = new Mnemopi({
+    dbPath,
+    sessionId: byRef ? request.memoryId : projectId,
+    authorId: projectId,
+    channelId: request.operation === "save" ? request.kind : request.operation === "recall" ? projectId : "resolve",
+    noEmbeddings: true,
+    embeddings: false,
+    llmEnabled: false,
+    llm: false,
+    proactiveLinking: false,
+    reconcile: false
+  });
+  try {
+    if (request.operation === "recall") {
+      const groups = request.kinds?.length ? [...new Set(request.kinds)] : [undefined];
+      const facts = [];
+      for (const kind of groups) {
+        const matches = await memory.recall(request.query, request.limit, {
+          authorId: projectId,
+          channelId: kind,
+          queryEmbedding: null,
+          contentPreviewChars: 2000
+        });
+        for (const match of matches) {
+          let metadata;
+          try {
+            metadata = JSON.parse(match.metadata_json ?? "");
+          } catch {
+            continue;
+          }
+          if (!Check(MnemopiMetadataSchema, metadata) || metadata.projectId !== projectId || match.source !== "pi-smart-compact:" + metadata.memoryId || kind !== undefined && metadata.kind !== kind)
+            continue;
+          facts.push({
+            id: match.id,
+            memoryId: metadata.memoryId,
+            kind: metadata.kind,
+            title: metadata.title,
+            content: match.content.slice(0, 2000),
+            score: match.score ?? 0
+          });
+        }
+      }
+      facts.sort((a, b) => b.score - a.score);
+      return { state: "recalled", dbPath, facts: facts.slice(0, request.limit) };
+    }
+    const source = "pi-smart-compact:" + request.memoryId;
+    const rows = memory.getContext(2);
+    const row = rows[0];
+    if (rows.length > 1 || row !== undefined && (!row || typeof row !== "object" || !("source" in row) || row.source !== source || !("id" in row) || typeof row.id !== "string")) {
+      throw new Error("Mnemopi fact scope contains unexpected entries; nothing changed");
+    }
+    const existingId = row && typeof row === "object" && "id" in row && typeof row.id === "string" ? row.id : null;
+    if (request.operation === "inspect") {
+      if (!existingId)
+        return { state: "inspected", dbPath, fact: null };
+      const raw = memory.get(existingId);
+      const metadata = raw && typeof raw === "object" && "metadata" in raw ? Check(MnemopiMetadataSchema, raw.metadata) ? raw.metadata : null : null;
+      const content = raw && typeof raw === "object" && "content" in raw && typeof raw.content === "string" ? raw.content : "";
+      return {
+        state: "inspected",
+        dbPath,
+        fact: {
+          memoryId: request.memoryId,
+          kind: metadata?.kind ?? "fact",
+          title: metadata?.title ?? "Saved fact",
+          content: content.slice(0, 2000)
+        }
+      };
+    }
+    if (request.operation === "resolve") {
+      return { state: "resolved", dbPath, closed: existingId !== null && memory.forget(existingId) };
+    }
+    if (existingId)
+      return { state: "saved", dbPath, id: existingId, memoryId: request.memoryId, existing: true };
+    const id = memory.remember(request.content, {
+      source,
+      scope: "session",
+      veracity: "stated",
+      extract: false,
+      extractEntities: false,
+      metadata: { projectId, memoryId: request.memoryId, kind: request.kind, title: request.title, relatedPaths: request.relatedPaths }
+    });
+    return { state: "saved", dbPath, id, memoryId: request.memoryId, existing: false };
+  } finally {
+    memory.close();
+  }
+}
+console.log(MNEMOPI_READY);
+try {
+  const input = JSON.parse(await Bun.stdin.text());
+  if (!Check(MnemopiRequestSchema, input))
+    throw new Error("Invalid Mnemopi worker request");
+  let outcome;
+  try {
+    outcome = await execute(input);
+  } catch (error) {
+    const reason = error instanceof Error ? error.message : String(error);
+    const dbPath = typeof input.dbPath === "string" ? input.dbPath : undefined;
+    outcome = input.operation === "recall" ? { state: "failed", reason, dbPath } : { state: "unknown", reason, dbPath };
+  }
+  console.log(JSON.stringify(outcome));
+} catch (error) {
+  console.log(JSON.stringify({ state: "failed", reason: error instanceof Error ? error.message : String(error) }));
+}

package/dist/phases/explore.d.ts

@@ -1,7 +1,7 @@
 /**
  * Phase 2: Targeted LLM Exploration.
  */
-import type { Model, Api, ProviderHeaders } from "@earendil-works/pi-ai";
+import type { Model, Api, Context, ProviderHeaders } from "@earendil-works/pi-ai";
 import type { LlmMessage, StructuredExtraction, ExplorationReport } from "../types.ts";
 import type { SmartCompactServices } from "../infra/services.ts";
 import { SecretScrubber } from "../domain/scrub.ts";
@@ -18,14 +18,13 @@ export declare function executeExplorationTool(call: {
 export declare function parseExplorationReport(text: string, llmMessages: LlmMessage[]): ExplorationReport;
 export declare function buildExplorationReportFromParsed(parsed: unknown, llmMessages: LlmMessage[]): ExplorationReport;
 export declare function fallbackExplorationReport(llmMessages: LlmMessage[]): ExplorationReport;
-/**
- * Top-level exploration entry point.
- *
- * `services` is threaded in explicitly so concurrent production runs never
- * share mutable tool-support state. The optional `getDefaultServices()`
- * fallback exists only for legacy direct callers and test/REPL use; the
- * production orchestrator always supplies a run-scoped container.
- */
+/** Build the known first explorer request; tool-feedback rounds are checked at dispatch. */
+export declare function buildExplorerRequest(extraction: StructuredExtraction, model: Model<Api>, prevSummary?: string, userNote?: string): {
+    context: Context;
+    maxTokens: number;
+    userContent: string;
+};
+export declare function explorationToolSupportKey(model: Model<Api>): string;
 export declare function exploreConversation(llmMessages: LlmMessage[], extraction: StructuredExtraction, model: Model<Api>, auth: {
     apiKey: string;
     headers?: ProviderHeaders;
@@ -34,4 +33,8 @@ export declare function exploreConversation(llmMessages: LlmMessage[], extractio
     rounds: number;
     toolSupported: boolean;
 }>;
+export declare function buildDirectExplorationRequest(llmMessages: LlmMessage[], extraction: StructuredExtraction, model: Model<Api>, prevSummary?: string, userNote?: string): {
+    context: Context;
+    maxTokens: number;
+};
 //# sourceMappingURL=explore.d.ts.map

package/dist/phases/explore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"explore.d.ts","sourceRoot":"","sources":["../../src/phases/explore.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,KAAK,EACL,GAAG,EAKH,eAAe,EAChB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EACV,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EAElB,MAAM,aAAa,CAAC;AAcrB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAIjE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAuBpD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,oBAAoB,GAAG,OAAO,CAqBvE;AAsHD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,EAC1D,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,iBAAuB,GAC9B,MAAM,CA6MR;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,UAAU,EAAE,GACxB,iBAAiB,CAkDnB;AA6DD,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,OAAO,EACf,WAAW,EAAE,UAAU,EAAE,GACxB,iBAAiB,CAgCnB;AAED,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,UAAU,EAAE,GACxB,iBAAiB,CAWnB;AAED;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,WAAW,EAAE,UAAU,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,MAAM,CAAC,EAAE,WAAW,EACpB,SAAS,SAAyB,EAClC,MAAM,CAAC,EAAE,CACP,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,KAC5C,IAAI,EACT,QAAQ,CAAC,EAAE,oBAAoB,GAC9B,OAAO,CAAC;IACT,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC,CAkTD"}
+{"version":3,"file":"explore.d.ts","sourceRoot":"","sources":["../../src/phases/explore.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACX,KAAK,EACL,GAAG,EACH,OAAO,EAKP,eAAe,EACf,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EACX,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EAEjB,MAAM,aAAa,CAAC;AAerB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAIjE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAuBpD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,oBAAoB,GAAG,OAAO,CAqBvE;AAsHD,wBAAgB,sBAAsB,CACrC,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,EAC1D,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,iBAAuB,GAC7B,MAAM,CA6MR;AAED,wBAAgB,sBAAsB,CACrC,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,UAAU,EAAE,GACvB,iBAAiB,CAkDnB;AA6DD,wBAAgB,gCAAgC,CAC/C,MAAM,EAAE,OAAO,EACf,WAAW,EAAE,UAAU,EAAE,GACvB,iBAAiB,CAgCnB;AAED,wBAAgB,yBAAyB,CACxC,WAAW,EAAE,UAAU,EAAE,GACvB,iBAAiB,CAWnB;AAED,4FAA4F;AAC5F,wBAAgB,oBAAoB,CACnC,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAC1F;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAwC9D;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAEnE;AAED,wBAAsB,mBAAmB,CACxC,WAAW,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAC9E,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,WAAW,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,EACnF,SAAS,SAAyB,EAClC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,KAAK,IAAI,EAC/E,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,CAAC,CAsQhF;AAyED,wBAAgB,6BAA6B,CAC5C,WAAW,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAC9E,WAAW,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GACrC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAyCzC"}

package/dist/phases/synthesize.d.ts

@@ -1,7 +1,7 @@
 /**
  * Phase 3: Hierarchical Synthesis.
  */
-import type { Model, Api, ProviderHeaders } from "@earendil-works/pi-ai";
+import type { Model, Api, Context, ProviderHeaders } from "@earendil-works/pi-ai";
 import type { LlmMessage, LlmChunk, ChunkSummary, StructuredExtraction, ExplorationReport, ProfileConfig, CompactionState } from "../types.ts";
 import { type TokenEstimator } from "../utils/tokens.ts";
 import type { SmartCompactServices } from "../infra/services.ts";
@@ -11,13 +11,28 @@ export declare class BatchSummaryFormatError extends Error {
     constructor(reason: string);
 }
 export declare function chunkLlmMessages(msgs: LlmMessage[], boundaries: import("../types.ts").TopicBoundary[], pc: ProfileConfig, estimator?: TokenEstimator, focus?: string): LlmChunk[];
-export declare function singlePassCompact(convText: string, extraction: StructuredExtraction, report: ExplorationReport | null, prevContext: string, model: Model<Api>, auth: {
+export declare function heuristicTopicBoundaries(extraction: StructuredExtraction): {
+    afterIndex: number;
+    topic: string;
+    priority: "high" | "normal";
+    confidence: number;
+}[];
+export interface SynthesisRequest {
+    context: Context;
+    maxTokens: number;
+}
+/** The same concrete request is inspected by model selection and sent at runtime. */
+export declare function buildSinglePassRequest(convText: string, extraction: StructuredExtraction, report: ExplorationReport | null, prevContext: string, model: Model<Api>, budgetTokens: number, focus?: string): SynthesisRequest;
+export declare function singlePassCompact(request: SynthesisRequest, model: Model<Api>, auth: {
     apiKey: string;
     headers?: ProviderHeaders;
-}, budgetTokens: number, signal?: AbortSignal, services?: SmartCompactServices, focus?: string): Promise<{
+}, signal?: AbortSignal, services?: SmartCompactServices): Promise<{
     summary: string;
     llmCalls: 1;
 }>;
+export declare function buildBatchRequest(batch: LlmChunk[], extraction: StructuredExtraction, model: Model<Api>, maxOutputTokens?: number): SynthesisRequest & {
+    dynamicSuffix: string;
+};
 export declare function summarizeBatch(batch: LlmChunk[], extraction: StructuredExtraction, model: Model<Api>, auth: {
     apiKey: string;
     headers?: ProviderHeaders;

package/dist/phases/synthesize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../src/phases/synthesize.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,KAAK,EACX,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,MAAM,aAAa,CAAC;AAYrB,OAAO,EAGN,KAAK,cAAc,EACnB,MAAM,oBAAoB,CAAC;AAW5B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AA0BjE,oFAAoF;AACpF,qBAAa,uBAAwB,SAAQ,KAAK;IACjD,QAAQ,CAAC,IAAI,6BAA6B;IAE1C,YAAY,MAAM,EAAE,MAAM,EAEzB;CACD;AAoRD,wBAAgB,gBAAgB,CAC/B,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,OAAO,aAAa,EAAE,aAAa,EAAE,EACjD,EAAE,EAAE,aAAa,EACjB,SAAS,GAAE,cAAqC,EAChD,KAAK,CAAC,EAAE,MAAM,GACZ,QAAQ,EAAE,CAwGZ;AAED,wBAAsB,iBAAiB,CACtC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,YAAY,EAAE,MAAM,EACpB,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,KAAK,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,CAAC,CAAA;CAAE,CAAC,CA2D3C;AAED,wBAAsB,cAAc,CACnC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,eAAe,CAAC,EAAE,MAAM,EACxB,UAAU,CAAC,EAAE,MAAM,GACjB,OAAO,CAAC,YAAY,EAAE,CAAC,CA0MzB;AA6BD,wBAAsB,WAAW,CAChC,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,KAAK,CAAC,EAAE,MAAM,EACd,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,OAAO,CAAC,MAAM,CAAC,CAmDjB;AAED,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,QAAQ,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,EAChD,YAAY,GAAE,MAAc,EAC5B,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,MAAM,CAwIR;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,GAAG,YAAY,CAiB7D"}
+{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../src/phases/synthesize.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,KAAK,EACX,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,MAAM,aAAa,CAAC;AAYrB,OAAO,EAGN,KAAK,cAAc,EACnB,MAAM,oBAAoB,CAAC;AAW5B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AA0BjE,oFAAoF;AACpF,qBAAa,uBAAwB,SAAQ,KAAK;IACjD,QAAQ,CAAC,IAAI,6BAA6B;IAE1C,YAAY,MAAM,EAAE,MAAM,EAEzB;CACD;AAoRD,wBAAgB,gBAAgB,CAC/B,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,OAAO,aAAa,EAAE,aAAa,EAAE,EACjD,EAAE,EAAE,aAAa,EACjB,SAAS,GAAE,cAAqC,EAChD,KAAK,CAAC,EAAE,MAAM,GACZ,QAAQ,EAAE,CAwGZ;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,oBAAoB;;;;;IAOxE;AAED,MAAM,WAAW,gBAAgB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CAClB;AAED,qFAAqF;AACrF,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,YAAY,EAAE,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,GACZ,gBAAgB,CAuClB;AAED,wBAAsB,iBAAiB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,CAAC,CAAA;CAAE,CAAC,CAa3C;AAED,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,eAAe,CAAC,EAAE,MAAM,GACtB,gBAAgB,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,CAwD9C;AAED,wBAAsB,cAAc,CACnC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,eAAe,CAAC,EAAE,MAAM,EACxB,UAAU,CAAC,EAAE,MAAM,GACjB,OAAO,CAAC,YAAY,EAAE,CAAC,CAqIzB;AA6BD,wBAAsB,WAAW,CAChC,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,KAAK,CAAC,EAAE,MAAM,EACd,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,OAAO,CAAC,MAAM,CAAC,CAmDjB;AAED,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,QAAQ,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,EAChD,YAAY,GAAE,MAAc,EAC5B,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,MAAM,CAwIR;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,GAAG,YAAY,CAiB7D"}

package/dist/phases/verify.d.ts

@@ -4,8 +4,8 @@
  * Verification findings are structured data. Formatting belongs at the UI/LLM
  * boundary; repair logic switches on `kind` and never reparses its own prose.
  */
-import type { Model, Api, ProviderHeaders } from "@earendil-works/pi-ai";
-import type { CompactionState, StructuredExtraction, VerificationGap, VerificationGateStage, VerificationResult, LlmMessage } from "../types.ts";
+import type { Model, Api, Context, ProviderHeaders } from "@earendil-works/pi-ai";
+import type { CompactionState, ContinuityOverride, StructuredExtraction, VerificationGap, VerificationGateStage, VerificationResult, LlmMessage } from "../types.ts";
 import type { SmartCompactServices } from "../infra/services.ts";
 export interface VerificationEvidence {
     sourceMessages?: readonly LlmMessage[];
@@ -14,6 +14,8 @@ export interface VerificationEvidence {
         note?: string;
     };
     summaryBudgetTokens?: number;
+    /** Run-scoped fact overrides (e.g. constraints retired this run). */
+    factOverrides?: readonly ContinuityOverride[];
 }
 export declare function formatVerificationGap(gap: VerificationGap): string;
 export declare function verificationFailureMessage(result: VerificationResult): string | null;
@@ -26,6 +28,18 @@ export declare class VerificationGateError extends Error {
     readonly gapCount: number;
     constructor(result: VerificationResult, initialScore: number, stage: VerificationGateStage);
 }
+export declare function hasSemanticContradiction(source: string, target: string): boolean;
+/**
+ * True when `release` (a later user message) frees `constraint`.
+ *
+ * Two safe paths: a rich release trips the full contradiction check, and a
+ * terse release ("ok push it now") flips the polarity of the constrained
+ * action — but only for deferral constraints. Standing rules ("never commit
+ * directly to main") keep the strict check: a terse imperative sharing one
+ * verb must not silently drop a live rule the summary is still checked
+ * against.
+ */
+export declare function releasesConstraint(constraint: string, release: string): boolean;
 export declare function isDeterministicallyPatchable(gap: VerificationGap): boolean;
 /** Apply safe repairs to a fixed point; newly introduced patchable gaps get another bounded pass. */
 export declare function repairSummaryDeterministically(summary: string, result: VerificationResult, extraction: StructuredExtraction, continuity?: CompactionState | null, evidence?: VerificationEvidence, maxRounds?: number): {
@@ -36,6 +50,10 @@ export declare function repairSummaryDeterministically(summary: string, result:
 export declare function verifySummary(summary: string, extraction: StructuredExtraction, continuity?: CompactionState | null, evidence?: VerificationEvidence): VerificationResult;
 /** Apply every safe, deterministic repair. Hallucination/inconsistency gaps stay visible for LLM/user review. */
 export declare function patchDeterministic(summary: string, gaps: VerificationGap[], extraction: StructuredExtraction, continuity?: CompactionState | null, evidence?: VerificationEvidence): string;
+export declare function buildPatchRequest(summary: string, gaps: VerificationGap[], model: Model<Api>): {
+    context: Context;
+    maxTokens: number;
+};
 export declare function patchSummary(summary: string, gaps: VerificationGap[], model: Model<Api>, auth: {
     apiKey: string;
     headers?: ProviderHeaders;

package/dist/phases/verify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/phases/verify.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACX,KAAK,EACL,GAAG,EACH,eAAe,EAEf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EACX,eAAe,EACf,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,UAAU,EACV,MAAM,aAAa,CAAC;AAoCrB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,MAAM,WAAW,oBAAoB;IACpC,cAAc,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7C,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAiTD,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,CAkClE;AAED,wBAAgB,0BAA0B,CACzC,MAAM,EAAE,kBAAkB,GACxB,MAAM,GAAG,IAAI,CAcf;AAED,wFAAwF;AACxF,qBAAa,qBAAsB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YACC,MAAM,EAAE,kBAAkB,EAC1B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,EAW5B;CACD;AA4UD,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAK1E;AAED,qGAAqG;AACrG,wBAAgB,8BAA8B,CAC7C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,EACnC,SAAS,SAAI,GACX;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,CAyB7E;AAkYD,wBAAgB,aAAa,CAC5B,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,kBAAkB,CA4CpB;AAED,iHAAiH;AACjH,wBAAgB,kBAAkB,CACjC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,eAAe,EAAE,EACvB,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,MAAM,CA4MR;AA2CD,wBAAsB,YAAY,CACjC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,eAAe,EAAE,EACvB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,MAAM,CAAC,CA2DjB"}
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/phases/verify.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACX,KAAK,EACL,GAAG,EACH,OAAO,EACP,eAAe,EAEf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EACX,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,UAAU,EACV,MAAM,aAAa,CAAC;AAqCrB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,MAAM,WAAW,oBAAoB;IACpC,cAAc,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7C,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,aAAa,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC9C;AAiTD,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,CAkClE;AAED,wBAAgB,0BAA0B,CACzC,MAAM,EAAE,kBAAkB,GACxB,MAAM,GAAG,IAAI,CAcf;AAED,wFAAwF;AACxF,qBAAa,qBAAsB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YACC,MAAM,EAAE,kBAAkB,EAC1B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,EAW5B;CACD;AA0SD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAgChF;AAUD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAS/E;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAK1E;AAED,qGAAqG;AACrG,wBAAgB,8BAA8B,CAC7C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,EACnC,SAAS,SAAI,GACX;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,CAyB7E;AA8YD,wBAAgB,aAAa,CAC5B,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,kBAAkB,CA4CpB;AAED,iHAAiH;AACjH,wBAAgB,kBAAkB,CACjC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,eAAe,EAAE,EACvB,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,MAAM,CA4MR;AA2CD,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GACzD;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAczC;AAED,wBAAsB,YAAY,CACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAC3D,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EAAE,MAAM,CAAC,EAAE,WAAW,EACzE,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,MAAM,CAAC,CAkCjB"}

package/dist/rtk.d.ts

@@ -0,0 +1,7 @@
+/** Optional companion. Explicitly load this entry point; never auto-loaded by Smart Compact.
+ * Delegates rules to RTK's public `rewrite` CLI; requires >=0.50 for the tested recall behavior.
+ * No RTK source or filtering rules are bundled. https://github.com/rtk-ai/rtk/tree/master/hooks/pi
+ */
+import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+export default function rtkCompanion(pi: Pick<ExtensionAPI, "on" | "exec">): void;
+//# sourceMappingURL=rtk.d.ts.map

package/dist/rtk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rtk.d.ts","sourceRoot":"","sources":["../src/rtk.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGpE,MAAM,CAAC,OAAO,UAAU,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,MAAM,CAAC,GAAG,IAAI,CAiDhF"}