@equationalapplications/core-llm-wiki 5.5.0 → 6.0.0

package/dist/{testing-D0RnZjyW.d.mts → testing-DgqVB29I.d.mts}

@@ -101,6 +101,20 @@ interface OntologyBackfillResult {
      * Stamped with the recheck cooldown, so they reappear as `deferred` next pass. */
     skipped: number;
 }
+/**
+ * L3 heal-success record: a fact the model emitted a verdict for under a
+ * truncated view of its own body. `originalBodyChars` lets an operator flag
+ * the fact for re-inspection; `truncatedBodyChars` is the L3 cap actually
+ * applied. Emitted by `PromptService.buildHealPrompt`, surfaced via
+ * `HealResult.degraded`, mutually exclusive with `HealResult.skipped` on
+ * `id` (a fact can be either healed-under-degradation or dropped — never
+ * both).
+ */
+interface DegradedRecord {
+    id: string;
+    originalBodyChars: number;
+    truncatedBodyChars: number;
+}
 /** Result of a single heal run. */
 interface HealResult {
     /**
@@ -118,8 +132,32 @@ interface HealResult {
     deleted: number;
     /** New facts synthesized by heal. */
     newFactsCreated: number;
-    /** Candidates a batch could not process even alone, skipped so the pass could finish. */
-    skipped: number;
+    /**
+     * Candidates that could not converge after the helper's full escalation
+     * path. `reason` distinguishes genuine non-convergence
+     * (`'non_convergent'` — terminal give-up at attemptLevel 3, parse error,
+     * or model-config error) from transient provider failures
+     * (`'call_error'` — non-truncation error originating in `call()` at
+     * `batch.length === 1`). `doRunHeal` excludes `'call_error'` ids from
+     * `markHealChecked`'s cooldown stamp so a momentary provider hiccup does
+     * not lock the fact out for `HEAL_RECHECK_MS`. Mutually exclusive with
+     * `degraded` on `id`.
+     */
+    skipped: Array<{
+        id: string;
+        reason: 'non_convergent' | 'call_error';
+    }>;
+    /**
+     * L3 heal successes: facts the model emitted a verdict for under a
+     * truncated view of their own body. Each entry carries the truncation
+     * magnitude so an operator can flag the fact for re-inspection. The
+     * corresponding log line `[WikiMemory] heal healed under degraded
+     * context ...` fires for each entry. Mutually exclusive with `skipped`
+     * on `id` — the reconciliation step in doRunHeal drops any record
+     * whose id also appears in `skipped` (a contradiction: degraded means
+     * healed, skipped means dropped).
+     */
+    degraded: Array<DegradedRecord>;
     /**
      * Heal candidates still eligible after this run — convergence signal: loop while > 0.
      *
@@ -1530,9 +1568,34 @@ declare class PromptService {
         systemPrompt: string;
         userPrompt: string;
     };
-    buildHealPrompt(healCandidates: unknown[], documentAnchors: unknown[], allTasks: unknown[], recentEvents: unknown[], runtimeOverride?: string): {
-        systemPrompt: string;
-        userPrompt: string;
+    /**
+     * Heal-prompt level interpretation for the `attemptLevel` ladder.
+     *
+     * Caller contract: `documentAnchors` may be a slice sized for `batch.length`
+     * or a larger set (e.g. a cache hit from `_selectHealAnchors`). This function
+     * applies the prompt-side anchor cap `min(HEAL_MAX_ANCHORS=50, batch.length
+     * * HEAL_ANCHORS_PER_CANDIDATE=4)` so the rendered prompt is bounded
+     * regardless of caller input. `HEAL_MAX_ANCHORS` and
+     * `HEAL_ANCHORS_PER_CANDIDATE` live here too — keeping the formula
+     * co-located with its application avoids a "MaintenanceService policy"
+     * import cycle (`PromptService` is constructed before `MaintenanceService`
+     * exists) and makes the cap testable without a `MaintenanceService`
+     * instance. Task 3 exports the same two constants from `MaintenanceService`
+     * for caller-side overfetch sizing; the values must match.
+     *
+     * Level semantics:
+     * - L0: allTasks + recentEvents + full candidate bodies; anchors re-capped
+     * - L1: drop allTasks; recentEvents present; candidate bodies full
+     * - L2: drop allTasks and recentEvents; candidate bodies full
+     * - L3: drop allTasks and recentEvents; truncate each candidate body to
+     *   `bodyTruncationChars` and emit a `degraded` record per truncated fact
+     */
+    buildHealPrompt(healCandidates: unknown[], documentAnchors: unknown[], allTasks: unknown[], recentEvents: unknown[], runtimeOverride: string | undefined, attemptLevel: 0 | 1 | 2 | 3, bodyTruncationChars?: number): {
+        prompts: {
+            systemPrompt: string;
+            userPrompt: string;
+        };
+        degraded: DegradedRecord[];
     };
     buildOntologyBackfillPrompt(facts: unknown[], runtimeOverride?: string, ontologyContext?: OntologyPromptContext | null): {
         systemPrompt: string;
@@ -1748,6 +1811,7 @@ declare class EventRepository extends BaseRepository {
 declare const ONTOLOGY_BACKFILL_BATCH_SIZE = 25;
 declare const ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS = 40000;
 declare const ONTOLOGY_BACKFILL_RECHECK_MS: number;
+
 /**
  * Heal candidates fetched per pass. Bounds the pool runBatched draws from, not
  * the size of an individual LLM call — runBatched still packs ~10 candidates per
@@ -1787,6 +1851,7 @@ declare class MaintenanceService {
     runHeal(entityId: string, options?: {
         promptOverride?: string;
         batchSize?: number;
+        bodyTruncationChars?: number;
     }): Promise<HealResult>;
     runOntologyBackfill(entityId: string, options?: {
         promptOverride?: string;
@@ -1840,6 +1905,7 @@ declare class MaintenanceService {
     doRunHeal(entityId: string, options?: {
         promptOverride?: string;
         batchSize?: number;
+        bodyTruncationChars?: number;
     }): Promise<HealResult>;
     /** Core ontology backfill pass (locks handled by {@link runOntologyBackfill}). Package-internal orchestration hook. */
     doRunOntologyBackfill(entityId: string, options?: {
@@ -2304,4 +2370,4 @@ declare class WikiMemory {
     setGeneratedByTask(taskId: string, entityId: string, actor: string): Promise<void>;
 }
 
-export { WikiStrictOntologyViolation as $, WikiBusyError as A, type WikiBusyOperation as B, type ChunkFailure as C, type WikiCheckpoint as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HEAL_BATCH_SIZE as H, type IngestDocumentResult as I, type WikiConfig as J, WikiDuplicateHashError as K, type LLMProvider as L, type MemoryBundle as M, type WikiEdge as N, type OntologyManifest as O, type PromptOverrides as P, type WikiEvent as Q, type ReadOptions as R, type SQLiteAdapter as S, type WikiFact as T, WikiIngestEmptyError as U, type VectorRanker as V, type WikiOptions as W, type WikiMemoryTestAccess as X, type WikiOutboxEvent as Y, WikiParseError as Z, WikiSourceRefHashCollision as _, type MemoryDump as a, type WikiTask as a0, WikiTransactionError as a1, EmbeddingService as a2, ImportExportService as a3, IngestionService as a4, JobManager as a5, MaintenanceService as a6, RetrievalService as a7, SearchService as a8, WriteService as a9, type FormattedMemoryDump as b, WikiMemory as c, type ExtractedFact as d, type ExtractedFactEdge as e, type ExtractedFactWithOntology as f, type ExtractedTask as g, type GraphTraversalOptions as h, HEAL_RECHECK_MS as i, HOOK_TIMEOUT_MARKER as j, type HealResult as k, ONTOLOGY_BACKFILL_BATCH_SIZE as l, ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS as m, ONTOLOGY_BACKFILL_RECHECK_MS as n, type OntologyBackfillResult as o, type OntologyConfig as p, type OntologyEdgeType as q, type OntologyMode as r, type OntologyNodeType as s, type OntologyPromptContext as t, type OntologyUpdates as u, PromptService as v, PrunePartialFailureError as w, type VectorRankerFallback as x, type VectorRankerRankArgs as y, type VectorRankerSemanticResult as z };
+export { WikiSourceRefHashCollision as $, WikiBusyError as A, type WikiBusyOperation as B, type ChunkFailure as C, type DegradedRecord as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HEAL_BATCH_SIZE as H, type IngestDocumentResult as I, type WikiCheckpoint as J, type WikiConfig as K, type LLMProvider as L, type MemoryBundle as M, WikiDuplicateHashError as N, type OntologyManifest as O, type PromptOverrides as P, type WikiEdge as Q, type ReadOptions as R, type SQLiteAdapter as S, type WikiEvent as T, type WikiFact as U, type VectorRanker as V, type WikiOptions as W, WikiIngestEmptyError as X, type WikiMemoryTestAccess as Y, type WikiOutboxEvent as Z, WikiParseError as _, type MemoryDump as a, WikiStrictOntologyViolation as a0, type WikiTask as a1, WikiTransactionError as a2, EmbeddingService as a3, ImportExportService as a4, IngestionService as a5, JobManager as a6, MaintenanceService as a7, RetrievalService as a8, SearchService as a9, WriteService as aa, type FormattedMemoryDump as b, WikiMemory as c, type ExtractedFact as d, type ExtractedFactEdge as e, type ExtractedFactWithOntology as f, type ExtractedTask as g, type GraphTraversalOptions as h, HEAL_RECHECK_MS as i, HOOK_TIMEOUT_MARKER as j, type HealResult as k, ONTOLOGY_BACKFILL_BATCH_SIZE as l, ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS as m, ONTOLOGY_BACKFILL_RECHECK_MS as n, type OntologyBackfillResult as o, type OntologyConfig as p, type OntologyEdgeType as q, type OntologyMode as r, type OntologyNodeType as s, type OntologyPromptContext as t, type OntologyUpdates as u, PromptService as v, PrunePartialFailureError as w, type VectorRankerFallback as x, type VectorRankerRankArgs as y, type VectorRankerSemanticResult as z };

package/dist/{testing-D0RnZjyW.d.ts → testing-DgqVB29I.d.ts}

@@ -101,6 +101,20 @@ interface OntologyBackfillResult {
      * Stamped with the recheck cooldown, so they reappear as `deferred` next pass. */
     skipped: number;
 }
+/**
+ * L3 heal-success record: a fact the model emitted a verdict for under a
+ * truncated view of its own body. `originalBodyChars` lets an operator flag
+ * the fact for re-inspection; `truncatedBodyChars` is the L3 cap actually
+ * applied. Emitted by `PromptService.buildHealPrompt`, surfaced via
+ * `HealResult.degraded`, mutually exclusive with `HealResult.skipped` on
+ * `id` (a fact can be either healed-under-degradation or dropped — never
+ * both).
+ */
+interface DegradedRecord {
+    id: string;
+    originalBodyChars: number;
+    truncatedBodyChars: number;
+}
 /** Result of a single heal run. */
 interface HealResult {
     /**
@@ -118,8 +132,32 @@ interface HealResult {
     deleted: number;
     /** New facts synthesized by heal. */
     newFactsCreated: number;
-    /** Candidates a batch could not process even alone, skipped so the pass could finish. */
-    skipped: number;
+    /**
+     * Candidates that could not converge after the helper's full escalation
+     * path. `reason` distinguishes genuine non-convergence
+     * (`'non_convergent'` — terminal give-up at attemptLevel 3, parse error,
+     * or model-config error) from transient provider failures
+     * (`'call_error'` — non-truncation error originating in `call()` at
+     * `batch.length === 1`). `doRunHeal` excludes `'call_error'` ids from
+     * `markHealChecked`'s cooldown stamp so a momentary provider hiccup does
+     * not lock the fact out for `HEAL_RECHECK_MS`. Mutually exclusive with
+     * `degraded` on `id`.
+     */
+    skipped: Array<{
+        id: string;
+        reason: 'non_convergent' | 'call_error';
+    }>;
+    /**
+     * L3 heal successes: facts the model emitted a verdict for under a
+     * truncated view of their own body. Each entry carries the truncation
+     * magnitude so an operator can flag the fact for re-inspection. The
+     * corresponding log line `[WikiMemory] heal healed under degraded
+     * context ...` fires for each entry. Mutually exclusive with `skipped`
+     * on `id` — the reconciliation step in doRunHeal drops any record
+     * whose id also appears in `skipped` (a contradiction: degraded means
+     * healed, skipped means dropped).
+     */
+    degraded: Array<DegradedRecord>;
     /**
      * Heal candidates still eligible after this run — convergence signal: loop while > 0.
      *
@@ -1530,9 +1568,34 @@ declare class PromptService {
         systemPrompt: string;
         userPrompt: string;
     };
-    buildHealPrompt(healCandidates: unknown[], documentAnchors: unknown[], allTasks: unknown[], recentEvents: unknown[], runtimeOverride?: string): {
-        systemPrompt: string;
-        userPrompt: string;
+    /**
+     * Heal-prompt level interpretation for the `attemptLevel` ladder.
+     *
+     * Caller contract: `documentAnchors` may be a slice sized for `batch.length`
+     * or a larger set (e.g. a cache hit from `_selectHealAnchors`). This function
+     * applies the prompt-side anchor cap `min(HEAL_MAX_ANCHORS=50, batch.length
+     * * HEAL_ANCHORS_PER_CANDIDATE=4)` so the rendered prompt is bounded
+     * regardless of caller input. `HEAL_MAX_ANCHORS` and
+     * `HEAL_ANCHORS_PER_CANDIDATE` live here too — keeping the formula
+     * co-located with its application avoids a "MaintenanceService policy"
+     * import cycle (`PromptService` is constructed before `MaintenanceService`
+     * exists) and makes the cap testable without a `MaintenanceService`
+     * instance. Task 3 exports the same two constants from `MaintenanceService`
+     * for caller-side overfetch sizing; the values must match.
+     *
+     * Level semantics:
+     * - L0: allTasks + recentEvents + full candidate bodies; anchors re-capped
+     * - L1: drop allTasks; recentEvents present; candidate bodies full
+     * - L2: drop allTasks and recentEvents; candidate bodies full
+     * - L3: drop allTasks and recentEvents; truncate each candidate body to
+     *   `bodyTruncationChars` and emit a `degraded` record per truncated fact
+     */
+    buildHealPrompt(healCandidates: unknown[], documentAnchors: unknown[], allTasks: unknown[], recentEvents: unknown[], runtimeOverride: string | undefined, attemptLevel: 0 | 1 | 2 | 3, bodyTruncationChars?: number): {
+        prompts: {
+            systemPrompt: string;
+            userPrompt: string;
+        };
+        degraded: DegradedRecord[];
     };
     buildOntologyBackfillPrompt(facts: unknown[], runtimeOverride?: string, ontologyContext?: OntologyPromptContext | null): {
         systemPrompt: string;
@@ -1748,6 +1811,7 @@ declare class EventRepository extends BaseRepository {
 declare const ONTOLOGY_BACKFILL_BATCH_SIZE = 25;
 declare const ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS = 40000;
 declare const ONTOLOGY_BACKFILL_RECHECK_MS: number;
+
 /**
  * Heal candidates fetched per pass. Bounds the pool runBatched draws from, not
  * the size of an individual LLM call — runBatched still packs ~10 candidates per
@@ -1787,6 +1851,7 @@ declare class MaintenanceService {
     runHeal(entityId: string, options?: {
         promptOverride?: string;
         batchSize?: number;
+        bodyTruncationChars?: number;
     }): Promise<HealResult>;
     runOntologyBackfill(entityId: string, options?: {
         promptOverride?: string;
@@ -1840,6 +1905,7 @@ declare class MaintenanceService {
     doRunHeal(entityId: string, options?: {
         promptOverride?: string;
         batchSize?: number;
+        bodyTruncationChars?: number;
     }): Promise<HealResult>;
     /** Core ontology backfill pass (locks handled by {@link runOntologyBackfill}). Package-internal orchestration hook. */
     doRunOntologyBackfill(entityId: string, options?: {
@@ -2304,4 +2370,4 @@ declare class WikiMemory {
     setGeneratedByTask(taskId: string, entityId: string, actor: string): Promise<void>;
 }
 
-export { WikiStrictOntologyViolation as $, WikiBusyError as A, type WikiBusyOperation as B, type ChunkFailure as C, type WikiCheckpoint as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HEAL_BATCH_SIZE as H, type IngestDocumentResult as I, type WikiConfig as J, WikiDuplicateHashError as K, type LLMProvider as L, type MemoryBundle as M, type WikiEdge as N, type OntologyManifest as O, type PromptOverrides as P, type WikiEvent as Q, type ReadOptions as R, type SQLiteAdapter as S, type WikiFact as T, WikiIngestEmptyError as U, type VectorRanker as V, type WikiOptions as W, type WikiMemoryTestAccess as X, type WikiOutboxEvent as Y, WikiParseError as Z, WikiSourceRefHashCollision as _, type MemoryDump as a, type WikiTask as a0, WikiTransactionError as a1, EmbeddingService as a2, ImportExportService as a3, IngestionService as a4, JobManager as a5, MaintenanceService as a6, RetrievalService as a7, SearchService as a8, WriteService as a9, type FormattedMemoryDump as b, WikiMemory as c, type ExtractedFact as d, type ExtractedFactEdge as e, type ExtractedFactWithOntology as f, type ExtractedTask as g, type GraphTraversalOptions as h, HEAL_RECHECK_MS as i, HOOK_TIMEOUT_MARKER as j, type HealResult as k, ONTOLOGY_BACKFILL_BATCH_SIZE as l, ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS as m, ONTOLOGY_BACKFILL_RECHECK_MS as n, type OntologyBackfillResult as o, type OntologyConfig as p, type OntologyEdgeType as q, type OntologyMode as r, type OntologyNodeType as s, type OntologyPromptContext as t, type OntologyUpdates as u, PromptService as v, PrunePartialFailureError as w, type VectorRankerFallback as x, type VectorRankerRankArgs as y, type VectorRankerSemanticResult as z };
+export { WikiSourceRefHashCollision as $, WikiBusyError as A, type WikiBusyOperation as B, type ChunkFailure as C, type DegradedRecord as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HEAL_BATCH_SIZE as H, type IngestDocumentResult as I, type WikiCheckpoint as J, type WikiConfig as K, type LLMProvider as L, type MemoryBundle as M, WikiDuplicateHashError as N, type OntologyManifest as O, type PromptOverrides as P, type WikiEdge as Q, type ReadOptions as R, type SQLiteAdapter as S, type WikiEvent as T, type WikiFact as U, type VectorRanker as V, type WikiOptions as W, WikiIngestEmptyError as X, type WikiMemoryTestAccess as Y, type WikiOutboxEvent as Z, WikiParseError as _, type MemoryDump as a, WikiStrictOntologyViolation as a0, type WikiTask as a1, WikiTransactionError as a2, EmbeddingService as a3, ImportExportService as a4, IngestionService as a5, JobManager as a6, MaintenanceService as a7, RetrievalService as a8, SearchService as a9, WriteService as aa, type FormattedMemoryDump as b, WikiMemory as c, type ExtractedFact as d, type ExtractedFactEdge as e, type ExtractedFactWithOntology as f, type ExtractedTask as g, type GraphTraversalOptions as h, HEAL_RECHECK_MS as i, HOOK_TIMEOUT_MARKER as j, type HealResult as k, ONTOLOGY_BACKFILL_BATCH_SIZE as l, ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS as m, ONTOLOGY_BACKFILL_RECHECK_MS as n, type OntologyBackfillResult as o, type OntologyConfig as p, type OntologyEdgeType as q, type OntologyMode as r, type OntologyNodeType as s, type OntologyPromptContext as t, type OntologyUpdates as u, PromptService as v, PrunePartialFailureError as w, type VectorRankerFallback as x, type VectorRankerRankArgs as y, type VectorRankerSemanticResult as z };

package/dist/testing.d.mts

@@ -1,3 +1,3 @@
-export { a2 as EmbeddingService, a3 as ImportExportService, a4 as IngestionService, a5 as JobManager, a5 as JobManagerType, a6 as MaintenanceService, a7 as RetrievalService, a8 as SearchService, a8 as SearchServiceType, X as WikiMemoryTestAccess, a9 as WriteService } from './testing-D0RnZjyW.mjs';
+export { a3 as EmbeddingService, a4 as ImportExportService, a5 as IngestionService, a6 as JobManager, a6 as JobManagerType, a7 as MaintenanceService, a8 as RetrievalService, a9 as SearchService, a9 as SearchServiceType, Y as WikiMemoryTestAccess, aa as WriteService } from './testing-DgqVB29I.mjs';
 import '@equationalapplications/core-okf';
 import 'minisearch';

package/dist/testing.d.ts

@@ -1,3 +1,3 @@
-export { a2 as EmbeddingService, a3 as ImportExportService, a4 as IngestionService, a5 as JobManager, a5 as JobManagerType, a6 as MaintenanceService, a7 as RetrievalService, a8 as SearchService, a8 as SearchServiceType, X as WikiMemoryTestAccess, a9 as WriteService } from './testing-D0RnZjyW.js';
+export { a3 as EmbeddingService, a4 as ImportExportService, a5 as IngestionService, a6 as JobManager, a6 as JobManagerType, a7 as MaintenanceService, a8 as RetrievalService, a9 as SearchService, a9 as SearchServiceType, Y as WikiMemoryTestAccess, aa as WriteService } from './testing-DgqVB29I.js';
 import '@equationalapplications/core-okf';
 import 'minisearch';