@equationalapplications/core-llm-wiki 4.19.0 → 4.21.0

package/dist/{testing-DP3lus54.d.mts → testing-i91HR1TG.d.mts}

@@ -13,6 +13,15 @@ interface SQLiteAdapter {
     }>;
     getAllAsync<T>(sql: string, params?: unknown[]): Promise<T[]>;
     getFirstAsync<T>(sql: string, params?: unknown[]): Promise<T | null>;
+    /**
+     * Runs `fn` inside a transaction. A bare adapter implementation is not required to
+     * serialize concurrent calls itself — `WikiMemory` wraps every adapter it's given in
+     * `withSerializedTransactions` (see `db/serializedAdapter.ts`), which is what makes
+     * transactions serialize in practice. Once wrapped, inside the callback use ONLY the
+     * provided `tx` handle — never the outer database handle (captured via closure or
+     * `this.db`). Calling the outer handle deadlocks against the transaction mutex;
+     * calling `tx.withTransactionAsync` throws (nested transactions are unsupported).
+     */
     withTransactionAsync<T>(fn: (tx: SQLiteAdapter) => Promise<T>): Promise<T>;
     closeAsync(): Promise<void>;
 }
@@ -20,6 +29,7 @@ interface PromptOverrides {
     ingestSystemPrompt?: string;
     librarianSystemPrompt?: string;
     healSystemPrompt?: string;
+    ontologyBackfillSystemPrompt?: string;
 }
 type OntologyMode = 'strict' | 'emergent' | 'off';
 interface OntologyNodeType {
@@ -69,6 +79,24 @@ interface OntologyPromptContext {
     ontologyManifest: string;
     ontologyModeInstructions: string;
 }
+/** Result of a single ontology backfill run. Omissions (facts the model declined
+ * to classify) are derivable as scanned − typed − failedValidation. */
+interface OntologyBackfillResult {
+    /** Untyped facts sent to the model this run. */
+    scanned: number;
+    /** Facts that received an okf_type. */
+    typed: number;
+    /** Model classifications rejected (unknown/duplicate id, non-manifest type). */
+    failedValidation: number;
+    /** Edges persisted. */
+    edgesAdded: number;
+    /** Untyped facts still eligible after this run — safe host convergence signal: loop while > 0.
+     * Always 0 when ontology mode is 'off' (nothing is eligible for typing while
+     * disabled), so 0 does not imply queue exhaustion in that mode. */
+    remaining: number;
+    /** Untyped facts inside the recheck cooldown. */
+    deferred: number;
+}
 interface WikiConfig {
     /**
      * Prefix applied to every SQL table/index/trigger name. Must match
@@ -456,10 +484,11 @@ interface EntityStatus {
  *
  * @remarks **Breaking change from v2.x** — the union previously only contained
  * `'ingest' | 'librarian' | 'heal' | 'prune' | 'reembed'`. The values `'import'`
- * and `'forget'` were added in v3.0. Exhaustive `switch` / narrowing on this type
- * must be updated (or given a `default` arm) to compile without errors.
+ * and `'forget'` were added in v3.0. `'ontologyBackfill'` was added afterward.
+ * Exhaustive `switch` / narrowing on this type must be updated (or given a
+ * `default` arm) to compile without errors.
  */
-type WikiBusyOperation = 'ingest' | 'librarian' | 'heal' | 'prune' | 'reembed' | 'import' | 'forget';
+type WikiBusyOperation = 'ingest' | 'librarian' | 'heal' | 'prune' | 'reembed' | 'import' | 'forget' | 'ontologyBackfill';
 /**
  * Thrown when a background mutator is already running for the requested entity.
  */
@@ -468,6 +497,19 @@ declare class WikiBusyError extends Error {
     readonly entityId: string;
     constructor(operation: WikiBusyOperation, entityId: string);
 }
+/**
+ * Thrown by the serialized transaction wrapper when a SQLite driver error
+ * escapes a transaction callback (nested BEGIN, SQLITE_BUSY, constraint
+ * violation). Domain errors thrown from callback logic pass through unwrapped.
+ * Stable `instanceof` target for observability, mirroring {@link WikiBusyError}.
+ */
+declare class WikiTransactionError extends Error {
+    /** Best-effort SQLite code lifted from the driver error, e.g. 'SQLITE_BUSY'. */
+    readonly sqliteErrorCode?: string;
+    constructor(message: string, options: {
+        cause: unknown;
+    });
+}
 declare class PrunePartialFailureError extends Error {
     readonly deleted: number;
     readonly failedAt: string;
@@ -695,6 +737,42 @@ declare class EntryRepository extends BaseRepository {
     trackAccess(ids: readonly string[], now: number, tx?: SQLiteAdapter): Promise<void>;
     getLegacyMigrationSQL(): string;
     findRecentByEntityIds(entityIds: readonly string[], limit: number, tx?: SQLiteAdapter): Promise<WikiFact[]>;
+    /**
+     * Live untyped facts eligible for ontology backfill, oldest first.
+     * Skips facts checked within the recheck cooldown (ontology_checked_at > recheckCutoff).
+     */
+    findUntypedByEntityId(entityId: string, limit: number, recheckCutoff: number, tx?: SQLiteAdapter): Promise<WikiFact[]>;
+    /** Counts live untyped facts: eligible (past cooldown) vs deferred (in cooldown). */
+    countUntypedByEntityId(entityId: string, recheckCutoff: number, tx?: SQLiteAdapter): Promise<{
+        eligible: number;
+        deferred: number;
+    }>;
+    /**
+     * Sets okf_type only when currently NULL — additive by construction: a
+     * concurrently-typed fact is never overwritten. Returns changes for the caller
+     * to distinguish applied vs skipped.
+     */
+    updateOkfType(id: string, entityId: string, okfType: string, tx: SQLiteAdapter): Promise<{
+        changes: number;
+    }>;
+    /**
+     * Stamps the backfill recheck cooldown. NEVER touches updated_at — import
+     * merge resolution is last-write-wins on updated_at and a bump here would
+     * make an unchanged local fact beat a genuinely newer remote edit.
+     */
+    markOntologyChecked(ids: string[], entityId: string, now: number, tx: SQLiteAdapter): Promise<void>;
+    /**
+     * Lightweight full-breadth title index (id, title, okf_type) over all live
+     * typed facts. Used by ontology backfill edge resolution — a recent-N window
+     * would miss an old fact's contemporaries. Untyped rows are excluded: they
+     * can never pass the edge target-type check, and batch facts typed during
+     * the run are re-added to the in-memory index by the caller.
+     */
+    findTitleIndexByEntityId(entityId: string, tx?: SQLiteAdapter): Promise<Array<{
+        id: string;
+        title: string;
+        okf_type: string | null;
+    }>>;
 }
 
 declare class MetadataRepository extends BaseRepository {
@@ -801,7 +879,7 @@ declare class SearchService {
     private _compareScoredRows;
 }
 
-type OperationType = 'prune' | 'librarian' | 'heal' | 'ingest' | 'reembed' | 'global_reembed' | 'import' | 'global_import' | 'forget';
+type OperationType = 'prune' | 'librarian' | 'heal' | 'ingest' | 'reembed' | 'global_reembed' | 'import' | 'global_import' | 'forget' | 'ontologyBackfill';
 declare class JobManager {
     private prefix;
     private activeMaintenanceJobs;
@@ -816,6 +894,7 @@ declare class JobManager {
     private _forgetKey;
     private _librarianKey;
     private _healKey;
+    private _ontologyBackfillKey;
     /**
      * Lookup table for acquireLock/releaseLock's dynamic-dispatch branch.
      * Excludes 'ingest' | 'global_reembed' | 'global_import', which those
@@ -886,9 +965,10 @@ interface NeighborhoodQueryOptions {
 declare class EdgeRepository extends BaseRepository {
     /**
      * Insert an edge, silently skipping on primary-key or uniqueness conflicts.
+     * Returns true when a row was inserted, false when skipped as a duplicate.
      * Throws when the insert was skipped due to an id collision with a different edge tuple.
      */
-    addIgnoreDuplicate(edge: WikiEdge, tx?: SQLiteAdapter): Promise<void>;
+    addIgnoreDuplicate(edge: WikiEdge, tx?: SQLiteAdapter): Promise<boolean>;
     getByEntityId(entityId: string, tx?: SQLiteAdapter): Promise<WikiEdge[]>;
     /** Hard delete — edges have no soft-delete concept, only presence/absence. `tx` is REQUIRED. */
     bulkDeleteByEntityId(entityId: string, tx: SQLiteAdapter): Promise<void>;
@@ -930,7 +1010,7 @@ declare class OntologyService {
         okf_type: string | null;
         edges: ExtractedFactEdge[];
     };
-    resolveAndPersistEdges(entityId: string, sourceId: string, sourceType: string | null, edges: ExtractedFactEdge[], manifest: OntologyManifest, titleIndex: Map<string, TitleIndexEntry>, tx: SQLiteAdapter, now: number): Promise<void>;
+    resolveAndPersistEdges(entityId: string, sourceId: string, sourceType: string | null, edges: ExtractedFactEdge[], manifest: OntologyManifest, titleIndex: Map<string, TitleIndexEntry>, tx: SQLiteAdapter, now: number): Promise<number>;
 }
 
 declare class PromptService {
@@ -952,6 +1032,10 @@ declare class PromptService {
         systemPrompt: string;
         userPrompt: string;
     };
+    buildOntologyBackfillPrompt(facts: unknown[], runtimeOverride?: string, ontologyContext?: OntologyPromptContext | null): {
+        systemPrompt: string;
+        userPrompt: string;
+    };
 }
 
 declare class IngestionService {
@@ -1072,6 +1156,9 @@ declare class EventRepository extends BaseRepository {
     getByEntityId(entityId: string, limit?: number): Promise<WikiEvent[]>;
 }
 
+declare const ONTOLOGY_BACKFILL_BATCH_SIZE = 25;
+declare const ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS = 40000;
+declare const ONTOLOGY_BACKFILL_RECHECK_MS: number;
 declare class MaintenanceService {
     private db;
     private prefix;
@@ -1101,6 +1188,10 @@ declare class MaintenanceService {
     runHeal(entityId: string, options?: {
         promptOverride?: string;
     }): Promise<void>;
+    runOntologyBackfill(entityId: string, options?: {
+        promptOverride?: string;
+        batchSize?: number;
+    }): Promise<OntologyBackfillResult>;
     runReembed(entityId?: string, opts?: {
         force?: boolean;
         skipExisting?: boolean;
@@ -1125,6 +1216,11 @@ declare class MaintenanceService {
     doRunLibrarian(entityId: string, promptOverride?: string): Promise<void>;
     /** Core heal pass (locks handled by {@link runHeal}). Package-internal orchestration hook. */
     doRunHeal(entityId: string, promptOverride?: string): Promise<void>;
+    /** Core ontology backfill pass (locks handled by {@link runOntologyBackfill}). Package-internal orchestration hook. */
+    doRunOntologyBackfill(entityId: string, options?: {
+        promptOverride?: string;
+        batchSize?: number;
+    }): Promise<OntologyBackfillResult>;
     private _validatePruneDuration;
     private _sanitizeRankerError;
 }
@@ -1291,6 +1387,25 @@ declare class WikiMemory {
     runHeal(entityId: string, options?: {
         promptOverride?: string;
     }): Promise<void>;
+    /**
+     * Types already-persisted untyped facts (okf_type IS NULL) in place via one
+     * librarian-style LLM call. Strictly additive: never creates, deletes, or
+     * rewrites facts; never overwrites an existing okf_type. Free when there is
+     * nothing to do (ontology off, or zero eligible untyped facts).
+     *
+     * Hosts own the trigger cadence (e.g. after each sync); loop `while
+     * result.remaining > 0` for convergence. Throws WikiBusyError when another
+     * backfill (or conflicting maintenance op) is running for the entity.
+     *
+     * @param options.promptOverride - Applies only to this call. For persistent
+     * customization set `options.config.prompts.ontologyBackfillSystemPrompt`.
+     * @param options.batchSize - Facts per run (default 25) for providers with
+     * tighter context limits.
+     */
+    runOntologyBackfill(entityId: string, options?: {
+        promptOverride?: string;
+        batchSize?: number;
+    }): Promise<OntologyBackfillResult>;
     runReembed(entityId?: string, opts?: {
         force?: boolean;
         skipExisting?: boolean;
@@ -1365,4 +1480,4 @@ declare class WikiMemory {
     }): Promise<void>;
 }
 
-export { type WikiMemoryTestAccess as A, type WikiOutboxEvent as B, type WikiTask as C, EmbeddingService as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HOOK_TIMEOUT_MARKER as H, ImportExportService as I, IngestionService as J, JobManager as K, type LLMProvider as L, type MemoryBundle as M, MaintenanceService as N, type OntologyConfig as O, type PromptOverrides as P, RetrievalService as Q, type ReadOptions as R, type SQLiteAdapter as S, SearchService as T, WriteService as U, type VectorRanker as V, type WikiOptions as W, type MemoryDump as a, 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, type OntologyEdgeType as i, type OntologyManifest as j, type OntologyMode as k, type OntologyNodeType as l, type OntologyPromptContext as m, type OntologyUpdates as n, PromptService as o, PrunePartialFailureError as p, type VectorRankerFallback as q, type VectorRankerRankArgs as r, type VectorRankerSemanticResult as s, WikiBusyError as t, type WikiBusyOperation as u, type WikiCheckpoint as v, type WikiConfig as w, type WikiEdge as x, type WikiEvent as y, type WikiFact as z };
+export { WriteService as $, type WikiConfig as A, type WikiEdge as B, type WikiEvent as C, type WikiFact as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HOOK_TIMEOUT_MARKER as H, type WikiMemoryTestAccess as I, type WikiOutboxEvent as J, type WikiTask as K, type LLMProvider as L, type MemoryBundle as M, WikiTransactionError as N, ONTOLOGY_BACKFILL_BATCH_SIZE as O, type PromptOverrides as P, EmbeddingService as Q, type ReadOptions as R, type SQLiteAdapter as S, ImportExportService as T, IngestionService as U, type VectorRanker as V, type WikiOptions as W, JobManager as X, MaintenanceService as Y, RetrievalService as Z, SearchService as _, type MemoryDump as a, 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, ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS as i, ONTOLOGY_BACKFILL_RECHECK_MS as j, type OntologyBackfillResult as k, type OntologyConfig as l, type OntologyEdgeType as m, type OntologyManifest as n, type OntologyMode as o, type OntologyNodeType as p, type OntologyPromptContext as q, type OntologyUpdates as r, PromptService as s, PrunePartialFailureError as t, type VectorRankerFallback as u, type VectorRankerRankArgs as v, type VectorRankerSemanticResult as w, WikiBusyError as x, type WikiBusyOperation as y, type WikiCheckpoint as z };

package/dist/{testing-DP3lus54.d.ts → testing-i91HR1TG.d.ts}

@@ -13,6 +13,15 @@ interface SQLiteAdapter {
     }>;
     getAllAsync<T>(sql: string, params?: unknown[]): Promise<T[]>;
     getFirstAsync<T>(sql: string, params?: unknown[]): Promise<T | null>;
+    /**
+     * Runs `fn` inside a transaction. A bare adapter implementation is not required to
+     * serialize concurrent calls itself — `WikiMemory` wraps every adapter it's given in
+     * `withSerializedTransactions` (see `db/serializedAdapter.ts`), which is what makes
+     * transactions serialize in practice. Once wrapped, inside the callback use ONLY the
+     * provided `tx` handle — never the outer database handle (captured via closure or
+     * `this.db`). Calling the outer handle deadlocks against the transaction mutex;
+     * calling `tx.withTransactionAsync` throws (nested transactions are unsupported).
+     */
     withTransactionAsync<T>(fn: (tx: SQLiteAdapter) => Promise<T>): Promise<T>;
     closeAsync(): Promise<void>;
 }
@@ -20,6 +29,7 @@ interface PromptOverrides {
     ingestSystemPrompt?: string;
     librarianSystemPrompt?: string;
     healSystemPrompt?: string;
+    ontologyBackfillSystemPrompt?: string;
 }
 type OntologyMode = 'strict' | 'emergent' | 'off';
 interface OntologyNodeType {
@@ -69,6 +79,24 @@ interface OntologyPromptContext {
     ontologyManifest: string;
     ontologyModeInstructions: string;
 }
+/** Result of a single ontology backfill run. Omissions (facts the model declined
+ * to classify) are derivable as scanned − typed − failedValidation. */
+interface OntologyBackfillResult {
+    /** Untyped facts sent to the model this run. */
+    scanned: number;
+    /** Facts that received an okf_type. */
+    typed: number;
+    /** Model classifications rejected (unknown/duplicate id, non-manifest type). */
+    failedValidation: number;
+    /** Edges persisted. */
+    edgesAdded: number;
+    /** Untyped facts still eligible after this run — safe host convergence signal: loop while > 0.
+     * Always 0 when ontology mode is 'off' (nothing is eligible for typing while
+     * disabled), so 0 does not imply queue exhaustion in that mode. */
+    remaining: number;
+    /** Untyped facts inside the recheck cooldown. */
+    deferred: number;
+}
 interface WikiConfig {
     /**
      * Prefix applied to every SQL table/index/trigger name. Must match
@@ -456,10 +484,11 @@ interface EntityStatus {
  *
  * @remarks **Breaking change from v2.x** — the union previously only contained
  * `'ingest' | 'librarian' | 'heal' | 'prune' | 'reembed'`. The values `'import'`
- * and `'forget'` were added in v3.0. Exhaustive `switch` / narrowing on this type
- * must be updated (or given a `default` arm) to compile without errors.
+ * and `'forget'` were added in v3.0. `'ontologyBackfill'` was added afterward.
+ * Exhaustive `switch` / narrowing on this type must be updated (or given a
+ * `default` arm) to compile without errors.
  */
-type WikiBusyOperation = 'ingest' | 'librarian' | 'heal' | 'prune' | 'reembed' | 'import' | 'forget';
+type WikiBusyOperation = 'ingest' | 'librarian' | 'heal' | 'prune' | 'reembed' | 'import' | 'forget' | 'ontologyBackfill';
 /**
  * Thrown when a background mutator is already running for the requested entity.
  */
@@ -468,6 +497,19 @@ declare class WikiBusyError extends Error {
     readonly entityId: string;
     constructor(operation: WikiBusyOperation, entityId: string);
 }
+/**
+ * Thrown by the serialized transaction wrapper when a SQLite driver error
+ * escapes a transaction callback (nested BEGIN, SQLITE_BUSY, constraint
+ * violation). Domain errors thrown from callback logic pass through unwrapped.
+ * Stable `instanceof` target for observability, mirroring {@link WikiBusyError}.
+ */
+declare class WikiTransactionError extends Error {
+    /** Best-effort SQLite code lifted from the driver error, e.g. 'SQLITE_BUSY'. */
+    readonly sqliteErrorCode?: string;
+    constructor(message: string, options: {
+        cause: unknown;
+    });
+}
 declare class PrunePartialFailureError extends Error {
     readonly deleted: number;
     readonly failedAt: string;
@@ -695,6 +737,42 @@ declare class EntryRepository extends BaseRepository {
     trackAccess(ids: readonly string[], now: number, tx?: SQLiteAdapter): Promise<void>;
     getLegacyMigrationSQL(): string;
     findRecentByEntityIds(entityIds: readonly string[], limit: number, tx?: SQLiteAdapter): Promise<WikiFact[]>;
+    /**
+     * Live untyped facts eligible for ontology backfill, oldest first.
+     * Skips facts checked within the recheck cooldown (ontology_checked_at > recheckCutoff).
+     */
+    findUntypedByEntityId(entityId: string, limit: number, recheckCutoff: number, tx?: SQLiteAdapter): Promise<WikiFact[]>;
+    /** Counts live untyped facts: eligible (past cooldown) vs deferred (in cooldown). */
+    countUntypedByEntityId(entityId: string, recheckCutoff: number, tx?: SQLiteAdapter): Promise<{
+        eligible: number;
+        deferred: number;
+    }>;
+    /**
+     * Sets okf_type only when currently NULL — additive by construction: a
+     * concurrently-typed fact is never overwritten. Returns changes for the caller
+     * to distinguish applied vs skipped.
+     */
+    updateOkfType(id: string, entityId: string, okfType: string, tx: SQLiteAdapter): Promise<{
+        changes: number;
+    }>;
+    /**
+     * Stamps the backfill recheck cooldown. NEVER touches updated_at — import
+     * merge resolution is last-write-wins on updated_at and a bump here would
+     * make an unchanged local fact beat a genuinely newer remote edit.
+     */
+    markOntologyChecked(ids: string[], entityId: string, now: number, tx: SQLiteAdapter): Promise<void>;
+    /**
+     * Lightweight full-breadth title index (id, title, okf_type) over all live
+     * typed facts. Used by ontology backfill edge resolution — a recent-N window
+     * would miss an old fact's contemporaries. Untyped rows are excluded: they
+     * can never pass the edge target-type check, and batch facts typed during
+     * the run are re-added to the in-memory index by the caller.
+     */
+    findTitleIndexByEntityId(entityId: string, tx?: SQLiteAdapter): Promise<Array<{
+        id: string;
+        title: string;
+        okf_type: string | null;
+    }>>;
 }
 
 declare class MetadataRepository extends BaseRepository {
@@ -801,7 +879,7 @@ declare class SearchService {
     private _compareScoredRows;
 }
 
-type OperationType = 'prune' | 'librarian' | 'heal' | 'ingest' | 'reembed' | 'global_reembed' | 'import' | 'global_import' | 'forget';
+type OperationType = 'prune' | 'librarian' | 'heal' | 'ingest' | 'reembed' | 'global_reembed' | 'import' | 'global_import' | 'forget' | 'ontologyBackfill';
 declare class JobManager {
     private prefix;
     private activeMaintenanceJobs;
@@ -816,6 +894,7 @@ declare class JobManager {
     private _forgetKey;
     private _librarianKey;
     private _healKey;
+    private _ontologyBackfillKey;
     /**
      * Lookup table for acquireLock/releaseLock's dynamic-dispatch branch.
      * Excludes 'ingest' | 'global_reembed' | 'global_import', which those
@@ -886,9 +965,10 @@ interface NeighborhoodQueryOptions {
 declare class EdgeRepository extends BaseRepository {
     /**
      * Insert an edge, silently skipping on primary-key or uniqueness conflicts.
+     * Returns true when a row was inserted, false when skipped as a duplicate.
      * Throws when the insert was skipped due to an id collision with a different edge tuple.
      */
-    addIgnoreDuplicate(edge: WikiEdge, tx?: SQLiteAdapter): Promise<void>;
+    addIgnoreDuplicate(edge: WikiEdge, tx?: SQLiteAdapter): Promise<boolean>;
     getByEntityId(entityId: string, tx?: SQLiteAdapter): Promise<WikiEdge[]>;
     /** Hard delete — edges have no soft-delete concept, only presence/absence. `tx` is REQUIRED. */
     bulkDeleteByEntityId(entityId: string, tx: SQLiteAdapter): Promise<void>;
@@ -930,7 +1010,7 @@ declare class OntologyService {
         okf_type: string | null;
         edges: ExtractedFactEdge[];
     };
-    resolveAndPersistEdges(entityId: string, sourceId: string, sourceType: string | null, edges: ExtractedFactEdge[], manifest: OntologyManifest, titleIndex: Map<string, TitleIndexEntry>, tx: SQLiteAdapter, now: number): Promise<void>;
+    resolveAndPersistEdges(entityId: string, sourceId: string, sourceType: string | null, edges: ExtractedFactEdge[], manifest: OntologyManifest, titleIndex: Map<string, TitleIndexEntry>, tx: SQLiteAdapter, now: number): Promise<number>;
 }
 
 declare class PromptService {
@@ -952,6 +1032,10 @@ declare class PromptService {
         systemPrompt: string;
         userPrompt: string;
     };
+    buildOntologyBackfillPrompt(facts: unknown[], runtimeOverride?: string, ontologyContext?: OntologyPromptContext | null): {
+        systemPrompt: string;
+        userPrompt: string;
+    };
 }
 
 declare class IngestionService {
@@ -1072,6 +1156,9 @@ declare class EventRepository extends BaseRepository {
     getByEntityId(entityId: string, limit?: number): Promise<WikiEvent[]>;
 }
 
+declare const ONTOLOGY_BACKFILL_BATCH_SIZE = 25;
+declare const ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS = 40000;
+declare const ONTOLOGY_BACKFILL_RECHECK_MS: number;
 declare class MaintenanceService {
     private db;
     private prefix;
@@ -1101,6 +1188,10 @@ declare class MaintenanceService {
     runHeal(entityId: string, options?: {
         promptOverride?: string;
     }): Promise<void>;
+    runOntologyBackfill(entityId: string, options?: {
+        promptOverride?: string;
+        batchSize?: number;
+    }): Promise<OntologyBackfillResult>;
     runReembed(entityId?: string, opts?: {
         force?: boolean;
         skipExisting?: boolean;
@@ -1125,6 +1216,11 @@ declare class MaintenanceService {
     doRunLibrarian(entityId: string, promptOverride?: string): Promise<void>;
     /** Core heal pass (locks handled by {@link runHeal}). Package-internal orchestration hook. */
     doRunHeal(entityId: string, promptOverride?: string): Promise<void>;
+    /** Core ontology backfill pass (locks handled by {@link runOntologyBackfill}). Package-internal orchestration hook. */
+    doRunOntologyBackfill(entityId: string, options?: {
+        promptOverride?: string;
+        batchSize?: number;
+    }): Promise<OntologyBackfillResult>;
     private _validatePruneDuration;
     private _sanitizeRankerError;
 }
@@ -1291,6 +1387,25 @@ declare class WikiMemory {
     runHeal(entityId: string, options?: {
         promptOverride?: string;
     }): Promise<void>;
+    /**
+     * Types already-persisted untyped facts (okf_type IS NULL) in place via one
+     * librarian-style LLM call. Strictly additive: never creates, deletes, or
+     * rewrites facts; never overwrites an existing okf_type. Free when there is
+     * nothing to do (ontology off, or zero eligible untyped facts).
+     *
+     * Hosts own the trigger cadence (e.g. after each sync); loop `while
+     * result.remaining > 0` for convergence. Throws WikiBusyError when another
+     * backfill (or conflicting maintenance op) is running for the entity.
+     *
+     * @param options.promptOverride - Applies only to this call. For persistent
+     * customization set `options.config.prompts.ontologyBackfillSystemPrompt`.
+     * @param options.batchSize - Facts per run (default 25) for providers with
+     * tighter context limits.
+     */
+    runOntologyBackfill(entityId: string, options?: {
+        promptOverride?: string;
+        batchSize?: number;
+    }): Promise<OntologyBackfillResult>;
     runReembed(entityId?: string, opts?: {
         force?: boolean;
         skipExisting?: boolean;
@@ -1365,4 +1480,4 @@ declare class WikiMemory {
     }): Promise<void>;
 }
 
-export { type WikiMemoryTestAccess as A, type WikiOutboxEvent as B, type WikiTask as C, EmbeddingService as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HOOK_TIMEOUT_MARKER as H, ImportExportService as I, IngestionService as J, JobManager as K, type LLMProvider as L, type MemoryBundle as M, MaintenanceService as N, type OntologyConfig as O, type PromptOverrides as P, RetrievalService as Q, type ReadOptions as R, type SQLiteAdapter as S, SearchService as T, WriteService as U, type VectorRanker as V, type WikiOptions as W, type MemoryDump as a, 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, type OntologyEdgeType as i, type OntologyManifest as j, type OntologyMode as k, type OntologyNodeType as l, type OntologyPromptContext as m, type OntologyUpdates as n, PromptService as o, PrunePartialFailureError as p, type VectorRankerFallback as q, type VectorRankerRankArgs as r, type VectorRankerSemanticResult as s, WikiBusyError as t, type WikiBusyOperation as u, type WikiCheckpoint as v, type WikiConfig as w, type WikiEdge as x, type WikiEvent as y, type WikiFact as z };
+export { WriteService as $, type WikiConfig as A, type WikiEdge as B, type WikiEvent as C, type WikiFact as D, type EntityStatus as E, type FormatContextOptions as F, type GraphNeighborhood as G, HOOK_TIMEOUT_MARKER as H, type WikiMemoryTestAccess as I, type WikiOutboxEvent as J, type WikiTask as K, type LLMProvider as L, type MemoryBundle as M, WikiTransactionError as N, ONTOLOGY_BACKFILL_BATCH_SIZE as O, type PromptOverrides as P, EmbeddingService as Q, type ReadOptions as R, type SQLiteAdapter as S, ImportExportService as T, IngestionService as U, type VectorRanker as V, type WikiOptions as W, JobManager as X, MaintenanceService as Y, RetrievalService as Z, SearchService as _, type MemoryDump as a, 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, ONTOLOGY_BACKFILL_MAX_PROMPT_CHARS as i, ONTOLOGY_BACKFILL_RECHECK_MS as j, type OntologyBackfillResult as k, type OntologyConfig as l, type OntologyEdgeType as m, type OntologyManifest as n, type OntologyMode as o, type OntologyNodeType as p, type OntologyPromptContext as q, type OntologyUpdates as r, PromptService as s, PrunePartialFailureError as t, type VectorRankerFallback as u, type VectorRankerRankArgs as v, type VectorRankerSemanticResult as w, WikiBusyError as x, type WikiBusyOperation as y, type WikiCheckpoint as z };

package/dist/testing.d.mts

@@ -1,2 +1,2 @@
-export { D as EmbeddingService, I as ImportExportService, J as IngestionService, K as JobManager, K as JobManagerType, N as MaintenanceService, Q as RetrievalService, T as SearchService, T as SearchServiceType, A as WikiMemoryTestAccess, U as WriteService } from './testing-DP3lus54.mjs';
+export { Q as EmbeddingService, T as ImportExportService, U as IngestionService, X as JobManager, X as JobManagerType, Y as MaintenanceService, Z as RetrievalService, _ as SearchService, _ as SearchServiceType, I as WikiMemoryTestAccess, $ as WriteService } from './testing-i91HR1TG.mjs';
 import 'minisearch';

package/dist/testing.d.ts

@@ -1,2 +1,2 @@
-export { D as EmbeddingService, I as ImportExportService, J as IngestionService, K as JobManager, K as JobManagerType, N as MaintenanceService, Q as RetrievalService, T as SearchService, T as SearchServiceType, A as WikiMemoryTestAccess, U as WriteService } from './testing-DP3lus54.js';
+export { Q as EmbeddingService, T as ImportExportService, U as IngestionService, X as JobManager, X as JobManagerType, Y as MaintenanceService, Z as RetrievalService, _ as SearchService, _ as SearchServiceType, I as WikiMemoryTestAccess, $ as WriteService } from './testing-i91HR1TG.js';
 import 'minisearch';