@paraharness/sqlite 0.0.0-stage → 0.2.0

package/dist/stores/internal/sqlite-ledger-step-operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-step-operations.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-step-operations.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mCAAmC,CACjD,oBAA4B,EAC5B,gBAAwB;IAExB,IAAI,oBAAoB,KAAK,WAAW,EAAE,CAAC;QACzC,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kCAAkC,CAChD,MAAoB,EACpB,OAAkC;IAElC,MAAM,YAAY,GAChB,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAiC,YAAY;QACtD,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,uBAAuB,CAAyB;QACtE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAa,CAAC;IACjE,OAAO,MAAM,CAAC,MAAM,CAA4B;QAC9C,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,MAAM,EAAE,MAAM,CAAC,OAAO;QACtB,OAAO,EAAE,MAAM,CAAC,QAAQ;QACxB,SAAS,EAAE,MAAM,CAAC,UAAU;QAC5B,MAAM,EAAE,MAAM,CAAC,MAAwD;QACvE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;QACnC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;QACtD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QAC7C,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QAC7E,mBAAmB,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5F,mBAAmB,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5F,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;KACxC,CAAC,CAAC;AACL,CAAC"}

package/dist/stores/internal/sqlite-ledger-step-ops.d.ts

@@ -0,0 +1,47 @@
+import type { InterruptedStepBootRecord, RecordStepStartInput, RecordStepTransitionInput } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+import type { UpdateContinuationStackParams } from './update-continuation-stack-params.js';
+/**
+ * Persists a step execution start record in `harness_step_executions` and updates `harness_runs`.
+ *
+ * Allocates a monotonic `seq_id` and records `baseScopeCheckpoint` and `continuationStack`.
+ *
+ * @param {Database.Database}    db   - Active SQLite database handle.
+ * @param {RecordStepStartInput} step - Step start metadata and initial continuation stack.
+ *
+ * @returns {void} Returns nothing once the step start is committed.
+ */
+export declare function recordStepStartInSqlite(db: Database.Database, step: RecordStepStartInput): void;
+/**
+ * Updates `continuation_stack_json` and optional `base_scope_checkpoint` for `stepExecId`.
+ *
+ * Preserves serialized call-stack state across turns, tool batches, and child forks.
+ *
+ * @param {Database.Database}             db     - Active SQLite database handle.
+ * @param {UpdateContinuationStackParams} params - Step continuation stack update parameters.
+ *
+ * @returns {void} Returns nothing once the continuation stack is updated.
+ */
+export declare function updateContinuationStackInSqlite(db: Database.Database, params: UpdateContinuationStackParams): void;
+/**
+ * Records a step lifecycle status transition and updates `completed_step_outputs_json` on completion.
+ *
+ * Synchronizes the parent run status when transitioning to `'SUSPENDED'` or `'RUNNING'`.
+ *
+ * @param {Database.Database}         db         - Active SQLite database handle.
+ * @param {RecordStepTransitionInput} transition - Step transition metadata and telemetry JSON.
+ *
+ * @returns {void} Returns nothing once the step transition is persisted.
+ */
+export declare function recordStepTransitionInSqlite(db: Database.Database, transition: RecordStepTransitionInput): void;
+/**
+ * Queries all non-terminal runs (`'QUEUED' | 'RUNNING' | 'WAITING' | 'SUSPENDED'`) on startup.
+ *
+ * Joins each active run with its latest active step execution to reconstruct `InterruptedStepBootRecord`s.
+ *
+ * @param {Database.Database} db - Active SQLite database handle.
+ *
+ * @returns {readonly InterruptedStepBootRecord[]} Non-terminal runs requiring crash recovery.
+ */
+export declare function getInterruptedStepsOnBootFromSqlite(db: Database.Database): readonly InterruptedStepBootRecord[];
+//# sourceMappingURL=sqlite-ledger-step-ops.d.ts.map

package/dist/stores/internal/sqlite-ledger-step-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-step-ops.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-step-ops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,yBAAyB,EACzB,oBAAoB,EACpB,yBAAyB,EAC1B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAO3C,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AAE3F;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,oBAAoB,GAAG,IAAI,CAmB/F;AAED;;;;;;;;;GASG;AACH,wBAAgB,+BAA+B,CAC7C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,6BAA6B,GACpC,IAAI,CAWN;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,UAAU,EAAE,yBAAyB,GACpC,IAAI,CAmCN;AAED;;;;;;;;GAQG;AACH,wBAAgB,mCAAmC,CACjD,EAAE,EAAE,QAAQ,CAAC,QAAQ,GACpB,SAAS,yBAAyB,EAAE,CAetC"}

package/dist/stores/internal/sqlite-ledger-step-ops.js

@@ -0,0 +1,89 @@
+import { mapInterruptedBootRecordFromSqlite, resolveRunStatusAfterStepTransition, } from './sqlite-ledger-step-operations.js';
+/**
+ * Persists a step execution start record in `harness_step_executions` and updates `harness_runs`.
+ *
+ * Allocates a monotonic `seq_id` and records `baseScopeCheckpoint` and `continuationStack`.
+ *
+ * @param {Database.Database}    db   - Active SQLite database handle.
+ * @param {RecordStepStartInput} step - Step start metadata and initial continuation stack.
+ *
+ * @returns {void} Returns nothing once the step start is committed.
+ */
+export function recordStepStartInSqlite(db, step) {
+    const seqRow = db
+        .prepare('SELECT COALESCE(MAX(seq_id), 0) + 1 AS next_seq FROM harness_step_executions')
+        .get();
+    db.prepare("INSERT OR REPLACE INTO harness_step_executions (step_exec_id, run_id, step_id, executable_id, input_msg_id, status, output_json, base_scope_checkpoint, head_scope_checkpoint, continuation_stack_json, telemetry_json, seq_id) VALUES (?, ?, ?, ?, ?, 'RUNNING', NULL, ?, NULL, ?, NULL, ?)").run(step.stepExecId, step.runId, step.stepId, step.executableId ?? null, step.inputMsgId, step.baseScopeCheckpoint ?? null, JSON.stringify(step.continuationStack), seqRow.next_seq);
+    db.prepare("UPDATE harness_runs SET current_step_id = ?, status = 'RUNNING', updated_at = ? WHERE run_id = ?").run(step.stepId, new Date().toISOString(), step.runId);
+}
+/**
+ * Updates `continuation_stack_json` and optional `base_scope_checkpoint` for `stepExecId`.
+ *
+ * Preserves serialized call-stack state across turns, tool batches, and child forks.
+ *
+ * @param {Database.Database}             db     - Active SQLite database handle.
+ * @param {UpdateContinuationStackParams} params - Step continuation stack update parameters.
+ *
+ * @returns {void} Returns nothing once the continuation stack is updated.
+ */
+export function updateContinuationStackInSqlite(db, params) {
+    const stackJson = JSON.stringify(params.continuationStack);
+    if (params.baseScopeCheckpoint !== undefined) {
+        db.prepare('UPDATE harness_step_executions SET continuation_stack_json = ?, base_scope_checkpoint = ? WHERE step_exec_id = ? AND run_id = ?').run(stackJson, params.baseScopeCheckpoint, params.stepExecId, params.runId);
+        return;
+    }
+    db.prepare('UPDATE harness_step_executions SET continuation_stack_json = ? WHERE step_exec_id = ? AND run_id = ?').run(stackJson, params.stepExecId, params.runId);
+}
+/**
+ * Records a step lifecycle status transition and updates `completed_step_outputs_json` on completion.
+ *
+ * Synchronizes the parent run status when transitioning to `'SUSPENDED'` or `'RUNNING'`.
+ *
+ * @param {Database.Database}         db         - Active SQLite database handle.
+ * @param {RecordStepTransitionInput} transition - Step transition metadata and telemetry JSON.
+ *
+ * @returns {void} Returns nothing once the step transition is persisted.
+ */
+export function recordStepTransitionInSqlite(db, transition) {
+    const existing = db
+        .prepare('SELECT * FROM harness_step_executions WHERE step_exec_id = ?')
+        .get(transition.stepExecId);
+    if (existing === undefined) {
+        throw new Error(`Cannot transition unknown stepExecId '${transition.stepExecId}' in SQLite ledger.`);
+    }
+    db.prepare('UPDATE harness_step_executions SET status = ?, output_json = ?, base_scope_checkpoint = ?, head_scope_checkpoint = ?, telemetry_json = ? WHERE step_exec_id = ?').run(transition.status, transition.outputJson ?? existing.output_json, transition.baseScopeCheckpoint ?? existing.base_scope_checkpoint, transition.headScopeCheckpoint ?? existing.head_scope_checkpoint, transition.telemetryJson, transition.stepExecId);
+    const runRow = db
+        .prepare('SELECT completed_step_outputs_json, status FROM harness_runs WHERE run_id = ?')
+        .get(existing.run_id);
+    if (runRow === undefined) {
+        return;
+    }
+    const outputs = JSON.parse(runRow.completed_step_outputs_json);
+    if (transition.status === 'COMPLETED' && transition.outputJson !== undefined) {
+        outputs[existing.step_id] = transition.outputJson;
+    }
+    const nextRunStatus = resolveRunStatusAfterStepTransition(transition.status, runRow.status);
+    db.prepare('UPDATE harness_runs SET completed_step_outputs_json = ?, status = ?, updated_at = ? WHERE run_id = ?').run(JSON.stringify(outputs), nextRunStatus, new Date().toISOString(), existing.run_id);
+}
+/**
+ * Queries all non-terminal runs (`'QUEUED' | 'RUNNING' | 'WAITING' | 'SUSPENDED'`) on startup.
+ *
+ * Joins each active run with its latest active step execution to reconstruct `InterruptedStepBootRecord`s.
+ *
+ * @param {Database.Database} db - Active SQLite database handle.
+ *
+ * @returns {readonly InterruptedStepBootRecord[]} Non-terminal runs requiring crash recovery.
+ */
+export function getInterruptedStepsOnBootFromSqlite(db) {
+    const runs = db
+        .prepare("SELECT * FROM harness_runs WHERE status IN ('QUEUED', 'RUNNING', 'WAITING', 'SUSPENDED') ORDER BY rowid ASC")
+        .all();
+    const latestStepStmt = db.prepare('SELECT * FROM harness_step_executions WHERE run_id = ? ORDER BY seq_id DESC LIMIT 1');
+    const results = [];
+    for (const runRow of runs) {
+        const stepRow = latestStepStmt.get(runRow.run_id);
+        results.push(mapInterruptedBootRecordFromSqlite(runRow, stepRow));
+    }
+    return Object.freeze(results);
+}
+//# sourceMappingURL=sqlite-ledger-step-ops.js.map

package/dist/stores/internal/sqlite-ledger-step-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-step-ops.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-step-ops.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,kCAAkC,EAClC,mCAAmC,GACpC,MAAM,oCAAoC,CAAC;AAK5C;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CAAC,EAAqB,EAAE,IAA0B;IACvF,MAAM,MAAM,GAAG,EAAE;SACd,OAAO,CAAC,8EAA8E,CAAC;SACvF,GAAG,EAAmC,CAAC;IAC1C,EAAE,CAAC,OAAO,CACR,8RAA8R,CAC/R,CAAC,GAAG,CACH,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,YAAY,IAAI,IAAI,EACzB,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,mBAAmB,IAAI,IAAI,EAChC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,EACtC,MAAM,CAAC,QAAQ,CAChB,CAAC;IACF,EAAE,CAAC,OAAO,CACR,kGAAkG,CACnG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,+BAA+B,CAC7C,EAAqB,EACrB,MAAqC;IAErC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC7C,EAAE,CAAC,OAAO,CACR,iIAAiI,CAClI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9E,OAAO;IACT,CAAC;IACD,EAAE,CAAC,OAAO,CACR,sGAAsG,CACvG,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAqB,EACrB,UAAqC;IAErC,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,8DAA8D,CAAC;SACvE,GAAG,CAAC,UAAU,CAAC,UAAU,CAA8B,CAAC;IAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,yCAAyC,UAAU,CAAC,UAAU,qBAAqB,CACpF,CAAC;IACJ,CAAC;IACD,EAAE,CAAC,OAAO,CACR,iKAAiK,CAClK,CAAC,GAAG,CACH,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,EAC7C,UAAU,CAAC,mBAAmB,IAAI,QAAQ,CAAC,qBAAqB,EAChE,UAAU,CAAC,mBAAmB,IAAI,QAAQ,CAAC,qBAAqB,EAChE,UAAU,CAAC,aAAa,EACxB,UAAU,CAAC,UAAU,CACtB,CAAC;IACF,MAAM,MAAM,GAAG,EAAE;SACd,OAAO,CAAC,+EAA+E,CAAC;SACxF,GAAG,CAAC,QAAQ,CAAC,MAAM,CAET,CAAC;IACd,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,2BAA2B,CAA2B,CAAC;IACzF,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7E,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;IACpD,CAAC;IACD,MAAM,aAAa,GAAG,mCAAmC,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5F,EAAE,CAAC,OAAO,CACR,sGAAsG,CACvG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mCAAmC,CACjD,EAAqB;IAErB,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,6GAA6G,CAC9G;SACA,GAAG,EAAoB,CAAC;IAC3B,MAAM,cAAc,GAAG,EAAE,CAAC,OAAO,CAC/B,qFAAqF,CACtF,CAAC;IACF,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAA8B,CAAC;QAC/E,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC"}

package/dist/stores/internal/sqlite-lesson-ops.d.ts

@@ -0,0 +1,100 @@
+import type { LessonOutcome, LessonRecord } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+import type { AdmitLessonParams } from './admit-lesson-params.js';
+/**
+ * Parameters for querying candidate lessons in `queryCandidates`.
+ */
+export interface QueryLessonCandidatesParams {
+    /** Free-text search query $Q$ for BM25 relevance scoring. */
+    readonly queryText: string;
+    /** Active topology partition identifiers for filtering partition-scoped lessons. */
+    readonly partitions: readonly string[];
+}
+/**
+ * Single `(lessonId, outcome)` entry passed to `recordOutcomes`.
+ */
+export interface LessonOutcomeEntryParams {
+    /** Target lesson identifier. */
+    readonly lessonId: string;
+    /** Recorded 4-state execution outcome. */
+    readonly outcome: LessonOutcome;
+}
+/**
+ * Parameters for recording a promotion signal emission timestamp in `markLessonSignalEmittedInSqlite`.
+ */
+export interface MarkLessonSignalEmittedParams {
+    /** Identifier of the lesson that triggered the promotion signal. */
+    readonly lessonId: string;
+    /** Identifier of the emitted signal. */
+    readonly signalId: string;
+    /** ISO-8601 timestamp string of the emission. */
+    readonly emittedAt: string;
+}
+/**
+ * Queries non-retired candidate lessons matching `req.partitions` and computes `relevanceScore` $R(L, Q) \in [0, 1]$.
+ *
+ * Includes global lessons (`partition IS NULL`) and lessons whose `partition` is in `req.partitions`.
+ *
+ * @param {Database.Database}           db  - Active SQLite database handle.
+ * @param {QueryLessonCandidatesParams} req - Search query and active partitions.
+ *
+ * @returns {readonly LessonRecord[]} Candidate lessons sorted by descending `relevanceScore`.
+ */
+export declare function queryLessonCandidatesInSqlite(db: Database.Database, req: QueryLessonCandidatesParams): readonly LessonRecord[];
+/**
+ * Persists a distilled lesson into `harness_lessons` and returns its content-addressed `lessonId`.
+ *
+ * Deduplicates identical `(partition, directive)` pairs while updating `epochAtCreation` and `createdByRunId`.
+ *
+ * @param {Database.Database} db     - Active SQLite database handle.
+ * @param {AdmitLessonParams} lesson - Lesson candidate to admit.
+ *
+ * @returns {string} Assigned content-addressed `lessonId`.
+ */
+export declare function admitLessonInSqlite(db: Database.Database, lesson: AdmitLessonParams): string;
+/**
+ * Appends deduplicated step execution outcomes to the specified lessons in `harness_lessons`.
+ *
+ * Increments `total_clean_passes` on `'clean_pass'` and `total_violated` on `'violated'`.
+ *
+ * @param {Database.Database}                    db       - Active SQLite database handle.
+ * @param {readonly LessonOutcomeEntryParams[]} outcomes - Recorded outcomes batch.
+ *
+ * @returns {readonly LessonRecord[]} Updated lesson records for the affected lessons.
+ */
+export declare function recordLessonOutcomesInSqlite(db: Database.Database, outcomes: readonly LessonOutcomeEntryParams[]): readonly LessonRecord[];
+/**
+ * Aligns `epoch_at_creation` for lessons created by `runIds` when their topology overlays commit to the base store.
+ *
+ * Updates `epoch_at_creation = newEpoch` for each `(runId, partitionId)` pair in `updatedEpochs`.
+ *
+ * @param {Database.Database}           db            - Active SQLite database handle.
+ * @param {readonly string[]}           runIds        - Committed run identifiers.
+ * @param {ReadonlyMap<string, number>} updatedEpochs - Map of `partitionId` to newly committed base epoch.
+ *
+ * @returns {void} Returns nothing once creation epochs are synchronized.
+ */
+export declare function syncLessonEpochsInSqlite(db: Database.Database, runIds: readonly string[], updatedEpochs: ReadonlyMap<string, number>): void;
+/**
+ * Records the ISO-8601 timestamp when a promotion signal was emitted for `params.lessonId` in SQLite.
+ *
+ * Updates `signal_last_emitted_at_json[signalId] = emittedAt` on `harness_lessons`.
+ *
+ * @param {Database.Database}             db     - Active SQLite database handle.
+ * @param {MarkLessonSignalEmittedParams} params - Lesson ID, signal ID, and emission timestamp.
+ *
+ * @returns {void} Returns nothing once the timestamp is persisted.
+ */
+export declare function markLessonSignalEmittedInSqlite(db: Database.Database, params: MarkLessonSignalEmittedParams): void;
+/**
+ * Permanently marks the specified `lessonIds` as retired (`retired = 1`) in `harness_lessons`.
+ *
+ * Excludes retired lessons from all subsequent `queryCandidates()` recalls.
+ *
+ * @param {Database.Database} db        - Active SQLite database handle.
+ * @param {readonly string[]} lessonIds - Identifiers of lessons to retire.
+ *
+ * @returns {void} Returns nothing once all specified lessons are retired.
+ */
+export declare function retireLessonsInSqlite(db: Database.Database, lessonIds: readonly string[]): void;
+//# sourceMappingURL=sqlite-lesson-ops.d.ts.map

package/dist/stores/internal/sqlite-lesson-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-lesson-ops.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-lesson-ops.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAIlE;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oFAAoF;IACpF,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,gCAAgC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,oEAAoE;IACpE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAkCD;;;;;;;;;GASG;AACH,wBAAgB,6BAA6B,CAC3C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,GAAG,EAAE,2BAA2B,GAC/B,SAAS,YAAY,EAAE,CAmBzB;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAyB5F;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,QAAQ,EAAE,SAAS,wBAAwB,EAAE,GAC5C,SAAS,YAAY,EAAE,CAyBzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,IAAI,CASN;AAED;;;;;;;;;GASG;AACH,wBAAgB,+BAA+B,CAC7C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,6BAA6B,GACpC,IAAI,CAgBN;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAK/F"}

package/dist/stores/internal/sqlite-lesson-ops.js

@@ -0,0 +1,178 @@
+import { createHash } from 'node:crypto';
+import { computeNormalizedRelevanceScores } from './compute-normalized-relevance.js';
+/**
+ * Maps a persisted `SqliteLessonRow` into an immutable `LessonRecord` with optional `relevanceScore`.
+ *
+ * Parses `recent_outcomes_json` and `signal_last_emitted_at_json` into frozen structures.
+ *
+ * @param {SqliteLessonRow}    row            - Persisted lesson row from `harness_lessons`.
+ * @param {number | undefined} relevanceScore - Optional normalized relevance score $R(L, Q) \in [0, 1]$.
+ *
+ * @returns {LessonRecord} Frozen lesson record.
+ */
+function mapSqliteRowToLessonRecord(row, relevanceScore) {
+    const signalMap = row.signal_last_emitted_at_json !== null
+        ? Object.freeze(JSON.parse(row.signal_last_emitted_at_json))
+        : undefined;
+    return Object.freeze({
+        id: row.id,
+        partition: row.partition ?? undefined,
+        directive: row.directive,
+        epochAtCreation: row.epoch_at_creation,
+        createdByRunId: row.created_by_run_id ?? undefined,
+        recentOutcomes: Object.freeze(JSON.parse(row.recent_outcomes_json)),
+        totalCleanPasses: row.total_clean_passes,
+        totalViolated: row.total_violated,
+        relevanceScore,
+        signalLastEmittedAt: signalMap,
+    });
+}
+/**
+ * Queries non-retired candidate lessons matching `req.partitions` and computes `relevanceScore` $R(L, Q) \in [0, 1]$.
+ *
+ * Includes global lessons (`partition IS NULL`) and lessons whose `partition` is in `req.partitions`.
+ *
+ * @param {Database.Database}           db  - Active SQLite database handle.
+ * @param {QueryLessonCandidatesParams} req - Search query and active partitions.
+ *
+ * @returns {readonly LessonRecord[]} Candidate lessons sorted by descending `relevanceScore`.
+ */
+export function queryLessonCandidatesInSqlite(db, req) {
+    const rows = db
+        .prepare('SELECT * FROM harness_lessons WHERE retired = 0 ORDER BY id ASC')
+        .all();
+    const partitionSet = new Set(req.partitions);
+    const eligibleRows = [];
+    for (const row of rows) {
+        if (row.partition === null || partitionSet.has(row.partition)) {
+            eligibleRows.push(row);
+        }
+    }
+    const scoresById = computeNormalizedRelevanceScores(eligibleRows, req.queryText);
+    const candidates = [];
+    for (const row of eligibleRows) {
+        const relevanceScore = scoresById.get(row.id) ?? 0;
+        candidates.push(mapSqliteRowToLessonRecord(row, relevanceScore));
+    }
+    candidates.sort((left, right) => (right.relevanceScore ?? 0) - (left.relevanceScore ?? 0));
+    return Object.freeze(candidates);
+}
+/**
+ * Persists a distilled lesson into `harness_lessons` and returns its content-addressed `lessonId`.
+ *
+ * Deduplicates identical `(partition, directive)` pairs while updating `epochAtCreation` and `createdByRunId`.
+ *
+ * @param {Database.Database} db     - Active SQLite database handle.
+ * @param {AdmitLessonParams} lesson - Lesson candidate to admit.
+ *
+ * @returns {string} Assigned content-addressed `lessonId`.
+ */
+export function admitLessonInSqlite(db, lesson) {
+    const hashHex = createHash('sha256')
+        .update(`${lesson.partition ?? ''}:${lesson.directive}`, 'utf8')
+        .digest('hex')
+        .slice(0, 16);
+    const lessonId = `lesson_${hashHex}`;
+    const existing = db
+        .prepare('SELECT id FROM harness_lessons WHERE id = ?')
+        .get(lessonId);
+    if (existing !== undefined) {
+        db.prepare('UPDATE harness_lessons SET epoch_at_creation = ?, created_by_run_id = COALESCE(?, created_by_run_id), retired = 0 WHERE id = ?').run(lesson.epochAtCreation, lesson.createdByRunId ?? null, lessonId);
+        return lessonId;
+    }
+    db.prepare("INSERT INTO harness_lessons (id, partition, directive, epoch_at_creation, created_by_run_id, recent_outcomes_json, total_clean_passes, total_violated, signal_last_emitted_at_json, retired) VALUES (?, ?, ?, ?, ?, '[]', 0, 0, NULL, 0)").run(lessonId, lesson.partition ?? null, lesson.directive, lesson.epochAtCreation, lesson.createdByRunId ?? null);
+    return lessonId;
+}
+/**
+ * Appends deduplicated step execution outcomes to the specified lessons in `harness_lessons`.
+ *
+ * Increments `total_clean_passes` on `'clean_pass'` and `total_violated` on `'violated'`.
+ *
+ * @param {Database.Database}                    db       - Active SQLite database handle.
+ * @param {readonly LessonOutcomeEntryParams[]} outcomes - Recorded outcomes batch.
+ *
+ * @returns {readonly LessonRecord[]} Updated lesson records for the affected lessons.
+ */
+export function recordLessonOutcomesInSqlite(db, outcomes) {
+    const selectStmt = db.prepare('SELECT * FROM harness_lessons WHERE id = ?');
+    const updateStmt = db.prepare('UPDATE harness_lessons SET recent_outcomes_json = ?, total_clean_passes = ?, total_violated = ? WHERE id = ?');
+    const touchedIds = new Set();
+    for (const entry of outcomes) {
+        const row = selectStmt.get(entry.lessonId);
+        if (row !== undefined) {
+            const recent = JSON.parse(row.recent_outcomes_json);
+            recent.push(entry.outcome);
+            const cleanPasses = row.total_clean_passes + (entry.outcome === 'clean_pass' ? 1 : 0);
+            const violated = row.total_violated + (entry.outcome === 'violated' ? 1 : 0);
+            updateStmt.run(JSON.stringify(recent), cleanPasses, violated, entry.lessonId);
+            touchedIds.add(entry.lessonId);
+        }
+    }
+    const updatedRecords = [];
+    for (const id of touchedIds) {
+        const row = selectStmt.get(id);
+        if (row !== undefined) {
+            updatedRecords.push(mapSqliteRowToLessonRecord(row, undefined));
+        }
+    }
+    return Object.freeze(updatedRecords);
+}
+/**
+ * Aligns `epoch_at_creation` for lessons created by `runIds` when their topology overlays commit to the base store.
+ *
+ * Updates `epoch_at_creation = newEpoch` for each `(runId, partitionId)` pair in `updatedEpochs`.
+ *
+ * @param {Database.Database}           db            - Active SQLite database handle.
+ * @param {readonly string[]}           runIds        - Committed run identifiers.
+ * @param {ReadonlyMap<string, number>} updatedEpochs - Map of `partitionId` to newly committed base epoch.
+ *
+ * @returns {void} Returns nothing once creation epochs are synchronized.
+ */
+export function syncLessonEpochsInSqlite(db, runIds, updatedEpochs) {
+    const stmt = db.prepare('UPDATE harness_lessons SET epoch_at_creation = ? WHERE created_by_run_id = ? AND partition = ?');
+    for (const [partitionId, newEpoch] of updatedEpochs.entries()) {
+        for (const runId of runIds) {
+            stmt.run(newEpoch, runId, partitionId);
+        }
+    }
+}
+/**
+ * Records the ISO-8601 timestamp when a promotion signal was emitted for `params.lessonId` in SQLite.
+ *
+ * Updates `signal_last_emitted_at_json[signalId] = emittedAt` on `harness_lessons`.
+ *
+ * @param {Database.Database}             db     - Active SQLite database handle.
+ * @param {MarkLessonSignalEmittedParams} params - Lesson ID, signal ID, and emission timestamp.
+ *
+ * @returns {void} Returns nothing once the timestamp is persisted.
+ */
+export function markLessonSignalEmittedInSqlite(db, params) {
+    const row = db
+        .prepare('SELECT signal_last_emitted_at_json FROM harness_lessons WHERE id = ?')
+        .get(params.lessonId);
+    if (row === undefined) {
+        return;
+    }
+    const map = row.signal_last_emitted_at_json !== null
+        ? JSON.parse(row.signal_last_emitted_at_json)
+        : {};
+    map[params.signalId] = params.emittedAt;
+    db.prepare('UPDATE harness_lessons SET signal_last_emitted_at_json = ? WHERE id = ?').run(JSON.stringify(map), params.lessonId);
+}
+/**
+ * Permanently marks the specified `lessonIds` as retired (`retired = 1`) in `harness_lessons`.
+ *
+ * Excludes retired lessons from all subsequent `queryCandidates()` recalls.
+ *
+ * @param {Database.Database} db        - Active SQLite database handle.
+ * @param {readonly string[]} lessonIds - Identifiers of lessons to retire.
+ *
+ * @returns {void} Returns nothing once all specified lessons are retired.
+ */
+export function retireLessonsInSqlite(db, lessonIds) {
+    const stmt = db.prepare('UPDATE harness_lessons SET retired = 1 WHERE id = ?');
+    for (const lessonId of lessonIds) {
+        stmt.run(lessonId);
+    }
+}
+//# sourceMappingURL=sqlite-lesson-ops.js.map

package/dist/stores/internal/sqlite-lesson-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-lesson-ops.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-lesson-ops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAmCrF;;;;;;;;;GASG;AACH,SAAS,0BAA0B,CACjC,GAAoB,EACpB,cAAkC;IAElC,MAAM,SAAS,GACb,GAAG,CAAC,2BAA2B,KAAK,IAAI;QACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,CAA2B,CAAC;QACtF,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,MAAM,CAAC,MAAM,CAAe;QACjC,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,SAAS;QACrC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,eAAe,EAAE,GAAG,CAAC,iBAAiB;QACtC,cAAc,EAAE,GAAG,CAAC,iBAAiB,IAAI,SAAS;QAClD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAoB,CAAC;QACtF,gBAAgB,EAAE,GAAG,CAAC,kBAAkB;QACxC,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,cAAc;QACd,mBAAmB,EAAE,SAAS;KAC/B,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,6BAA6B,CAC3C,EAAqB,EACrB,GAAgC;IAEhC,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CAAC,iEAAiE,CAAC;SAC1E,GAAG,EAAuB,CAAC;IAC9B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,YAAY,GAAsB,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9D,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,gCAAgC,CAAC,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACjF,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,cAAc,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3F,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAqB,EAAE,MAAyB;IAClF,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC;SACjC,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,IAAI,EAAE,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC;SAC/D,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,MAAM,QAAQ,GAAG,UAAU,OAAO,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,6CAA6C,CAAC;SACtD,GAAG,CAAC,QAAQ,CAAwC,CAAC;IACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,EAAE,CAAC,OAAO,CACR,gIAAgI,CACjI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,cAAc,IAAI,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,EAAE,CAAC,OAAO,CACR,0OAA0O,CAC3O,CAAC,GAAG,CACH,QAAQ,EACR,MAAM,CAAC,SAAS,IAAI,IAAI,EACxB,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,cAAc,IAAI,IAAI,CAC9B,CAAC;IACF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAqB,EACrB,QAA6C;IAE7C,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAC3B,8GAA8G,CAC/G,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAgC,CAAC;QAC1E,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAoB,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,kBAAkB,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,MAAM,QAAQ,GAAG,GAAG,CAAC,cAAc,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9E,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAmB,EAAE,CAAC;IAC1C,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAgC,CAAC;QAC9D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,cAAc,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,EAAqB,EACrB,MAAyB,EACzB,aAA0C;IAE1C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,gGAAgG,CACjG,CAAC;IACF,KAAK,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,+BAA+B,CAC7C,EAAqB,EACrB,MAAqC;IAErC,MAAM,GAAG,GAAG,EAAE;SACX,OAAO,CAAC,sEAAsE,CAAC;SAC/E,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAwE,CAAC;IAC/F,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GACP,GAAG,CAAC,2BAA2B,KAAK,IAAI;QACtC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,CAA4B;QACzE,CAAC,CAAC,EAAE,CAAC;IACT,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IACxC,EAAE,CAAC,OAAO,CAAC,yEAAyE,CAAC,CAAC,GAAG,CACvF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EACnB,MAAM,CAAC,QAAQ,CAChB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,EAAqB,EAAE,SAA4B;IACvF,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC;IAC/E,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/stores/internal/sqlite-lesson-row.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Raw SQLite row shape for `harness_lessons`.
+ *
+ * Maps persisted empirical lesson fields, outcome counters, and retirement state.
+ */
+export interface SqliteLessonRow {
+    /** Content-addressed lesson identifier. */
+    readonly id: string;
+    /** Optional logical partition identifier, or `null`. */
+    readonly partition: string | null;
+    /** Preventative rule or architectural directive text. */
+    readonly directive: string;
+    /** Partition topology epoch at creation or last sync. */
+    readonly epoch_at_creation: number;
+    /** Optional creator run ID (`lastMutatedByRunId ?? runId`), or `null`. */
+    readonly created_by_run_id: string | null;
+    /** JSON-serialized `LessonOutcome[]` array. */
+    readonly recent_outcomes_json: string;
+    /** Lifetime count of `'clean_pass'` outcomes. */
+    readonly total_clean_passes: number;
+    /** Lifetime count of `'violated'` outcomes. */
+    readonly total_violated: number;
+    /** Optional JSON-serialized `Record<string, string>` of signal emission timestamps. */
+    readonly signal_last_emitted_at_json: string | null;
+    /** Retirement flag (`1` when retired, `0` when active). */
+    readonly retired: number;
+}
+//# sourceMappingURL=sqlite-lesson-row.d.ts.map

package/dist/stores/internal/sqlite-lesson-row.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-lesson-row.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-lesson-row.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,wDAAwD;IACxD,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,yDAAyD;IACzD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yDAAyD;IACzD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,0EAA0E;IAC1E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,+CAA+C;IAC/C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,iDAAiD;IACjD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,+CAA+C;IAC/C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,uFAAuF;IACvF,QAAQ,CAAC,2BAA2B,EAAE,MAAM,GAAG,IAAI,CAAC;IACpD,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B"}

package/dist/stores/internal/sqlite-lesson-row.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sqlite-lesson-row.js.map

package/dist/stores/internal/sqlite-lesson-row.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-lesson-row.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-lesson-row.ts"],"names":[],"mappings":""}

package/dist/stores/internal/sqlite-overlay-step-mutation-entry.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Step-scoped contract mutation history entry stored inside `harness_topology_overlays.step_mutations_json`.
+ *
+ * Captures the pre-mutation overlay state so `resetRunOverlay(runId, { scope: 'step', stepExecId })`
+ * can revert uncommitted edits from a single failed/aborted step while preserving prior steps.
+ */
+export interface SqliteOverlayStepMutationEntry {
+    /** Step execution identifier that performed the mutation, or `null`. */
+    readonly stepExecId: string | null;
+    /** Contract text prior to this mutation. */
+    readonly prevContractText: string;
+    /** Overlay epoch prior to this mutation. */
+    readonly prevEpoch: number;
+    /** `mutated_in_run` flag (`0` or `1`) prior to this mutation. */
+    readonly prevMutatedInRun: number;
+    /** `has_uncommitted_changes` flag (`0` or `1`) prior to this mutation. */
+    readonly prevHasUncommittedChanges: number;
+    /** `last_mutated_by_run_id` value prior to this mutation. */
+    readonly prevLastMutatedByRunId: string | null;
+}
+//# sourceMappingURL=sqlite-overlay-step-mutation-entry.d.ts.map

package/dist/stores/internal/sqlite-overlay-step-mutation-entry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-overlay-step-mutation-entry.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-overlay-step-mutation-entry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,WAAW,8BAA8B;IAC7C,wEAAwE;IACxE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,4CAA4C;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,4CAA4C;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,6DAA6D;IAC7D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD"}

package/dist/stores/internal/sqlite-overlay-step-mutation-entry.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sqlite-overlay-step-mutation-entry.js.map

package/dist/stores/internal/sqlite-overlay-step-mutation-entry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-overlay-step-mutation-entry.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-overlay-step-mutation-entry.ts"],"names":[],"mappings":""}

package/dist/stores/internal/sqlite-run-row.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Raw SQLite row shape for `harness_runs` and `harness_terminal_receipts` queries.
+ *
+ * Maps snake_case database columns to typed properties for `SqliteLedgerStore` run operations.
+ */
+export interface SqliteRunRow {
+    /** Unique flow run identifier. */
+    readonly run_id: string;
+    /** Enclosing lane identifier. */
+    readonly lane_id: string;
+    /** Work item deduplication key. */
+    readonly item_key: string;
+    /** Persisted run lifecycle status string. */
+    readonly status: string;
+    /** Currently executing step ID, or `null`. */
+    readonly current_step_id: string | null;
+    /** JSON-serialized flow input payload. */
+    readonly input_json: string;
+    /** Pending rewind target step ID, or `null`. */
+    readonly rewind_pending_to_step_id: string | null;
+    /** JSON-serialized map of pinned wire prefixes, or `null`. */
+    readonly compiled_prefixes_json: string | null;
+    /** Cumulative run cost in USD. */
+    readonly cost_usd: number;
+    /** Human-approved maximum cost in USD, or `null`. */
+    readonly approved_max_cost_usd: number | null;
+    /** JSON-serialized map of completed step IDs to output JSON. */
+    readonly completed_step_outputs_json: string;
+    /** JSON-serialized array of prerequisite item keys. */
+    readonly depends_on_json: string;
+    /** Terminal state string when recorded, or `null`. */
+    readonly terminal_state: string | null;
+    /** JSON-serialized final scope receipt, or `null`. */
+    readonly scope_receipt_json: string | null;
+}
+//# sourceMappingURL=sqlite-run-row.d.ts.map

package/dist/stores/internal/sqlite-run-row.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-run-row.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-run-row.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,mCAAmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8CAA8C;IAC9C,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gDAAgD;IAChD,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,8DAA8D;IAC9D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,kCAAkC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qDAAqD;IACrD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,gEAAgE;IAChE,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,uDAAuD;IACvD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sDAAsD;IACtD,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,sDAAsD;IACtD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5C"}

package/dist/stores/internal/sqlite-run-row.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sqlite-run-row.js.map

package/dist/stores/internal/sqlite-run-row.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-run-row.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-run-row.ts"],"names":[],"mappings":""}

package/dist/stores/internal/sqlite-step-row.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Raw SQLite row shape for `harness_step_executions`.
+ *
+ * Maps snake_case database columns to typed properties for `SqliteLedgerStore` step operations.
+ */
+export interface SqliteStepRow {
+    /** Unique step execution identifier. */
+    readonly step_exec_id: string;
+    /** Enclosing flow run identifier. */
+    readonly run_id: string;
+    /** Logical flow step identifier. */
+    readonly step_id: string;
+    /** Optional promoted executable identifier, or `null`. */
+    readonly executable_id: string | null;
+    /** Optional input message frame ID, or `null`. */
+    readonly input_msg_id: string | null;
+    /** Step execution lifecycle status. */
+    readonly status: string;
+    /** JSON-serialized step output when completed, or `null`. */
+    readonly output_json: string | null;
+    /** Serialized base scope checkpoint, or `null`. */
+    readonly base_scope_checkpoint: string | null;
+    /** Serialized head scope checkpoint on suspension, or `null`. */
+    readonly head_scope_checkpoint: string | null;
+    /** JSON-serialized `ContinuationFrame[]` call stack. */
+    readonly continuation_stack_json: string;
+    /** JSON-serialized `UniversalStepTelemetry` payload, or `null`. */
+    readonly telemetry_json: string | null;
+    /** Monotonic sequence integer within the ledger. */
+    readonly seq_id: number;
+}
+//# sourceMappingURL=sqlite-step-row.d.ts.map

package/dist/stores/internal/sqlite-step-row.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-step-row.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-step-row.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oCAAoC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0DAA0D;IAC1D,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,kDAAkD;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,mDAAmD;IACnD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,iEAAiE;IACjE,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,wDAAwD;IACxD,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,mEAAmE;IACnE,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB"}

package/dist/stores/internal/sqlite-step-row.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sqlite-step-row.js.map

package/dist/stores/internal/sqlite-step-row.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-step-row.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-step-row.ts"],"names":[],"mappings":""}