@orion-agents/orion-code 0.3.0 → 0.3.2

package/dist/runtime/thread-event-store.d.ts

@@ -18,17 +18,53 @@ export interface ThreadEventCommitV1 {
     readonly events: readonly RuntimeEventEnvelopeV1[];
     readonly projection: ThreadProjectionV1;
 }
+export interface ThreadLogIdentityV1 {
+    readonly bytes: number;
+    readonly device: string;
+    readonly inode: string;
+    readonly mtimeNs: string;
+    readonly ctimeNs: string;
+}
 export interface ThreadReadModelHeadV1 {
     readonly projection: ThreadProjectionV1;
     readonly lastEventTimestamp: number;
     readonly lastRecordHash: string | null;
-    readonly log: {
-        readonly bytes: number;
-        readonly device: string;
-        readonly inode: string;
-        readonly mtimeNs: string;
-        readonly ctimeNs: string;
-    };
+    readonly log: ThreadLogIdentityV1;
+}
+export interface ThreadCheckpointHeadV1 {
+    readonly cursor: number;
+    readonly projectionDigest: string;
+    readonly lastEventTimestamp: number;
+    readonly lastRecordHash: string | null;
+    readonly log: ThreadLogIdentityV1;
+    readonly verifiedPrefixes: readonly ThreadVerifiedPrefixV1[];
+}
+export interface ThreadVerifiedPrefixV1 {
+    readonly cursor: number;
+    readonly eventDigest: string;
+    readonly projectionDigest: string;
+}
+/**
+ * Crash-safe derived checkpoint for opening a Thread in a fresh process.
+ *
+ * The JSONL remains authoritative. This receipt is accepted only while its
+ * exact file identity and independently digested projection still match; any
+ * mismatch falls back to the full hash-chain verification path.
+ */
+export interface ThreadHeadV1 {
+    readonly version: 1;
+    readonly generation: number;
+    readonly threadId: string;
+    readonly cursor: number;
+    readonly projectionDigest: string;
+    readonly lastEventTimestamp: number;
+    readonly lastRecordHash: string | null;
+    readonly safeByteLength: number;
+    readonly discardedTailBytes: number;
+    readonly eventIds: readonly string[];
+    readonly verifiedPrefixes: readonly ThreadVerifiedPrefixV1[];
+    readonly log: ThreadLogIdentityV1;
+    readonly digest: string;
 }
 export type ThreadEventStoreBoundaryV1 = 'before_log_write' | 'after_log_write' | 'after_log_flush' | 'before_projection_write' | 'after_projection_write';
 export interface ThreadEventStoreOptionsV1 {
@@ -64,6 +100,7 @@ export declare class ThreadEventStore {
     readonly threadId: string;
     readonly logPath: string;
     readonly projectionPath: string;
+    readonly headPath: string;
     readonly compactStatePath: string;
     readonly compactCheckpointsDir: string;
     private readonly maxLogBytes;
@@ -84,7 +121,20 @@ export declare class ThreadEventStore {
         type: 'item.delta';
     }>>(input: AppendRuntimeEventV1<T>): RuntimeEventEnvelopeV1<T>;
     replay(cursor?: number, limit?: number): ThreadEventReplayV1;
+    /**
+     * Verify and seal an immutable imported prefix. The first call may scan the
+     * authoritative log; later processes reuse the prefix receipt while the
+     * exact log identity/projection checkpoint remains current. Internal append
+     * carries the proof forward because the hash-chained prefix cannot change.
+     */
+    verifyDurablePrefix(cursor: number, eventDigest: string, projectionDigest: string): boolean;
     getCursor(): number;
+    /**
+     * Read the compact persisted receipt without parsing the potentially large
+     * projection. Callers must fall back to the authoritative scan whenever the
+     * receipt is missing, stale, or lacks their required cutover proof.
+     */
+    capturePersistedCheckpointHead(): ThreadCheckpointHeadV1 | undefined;
     /** Capture the catalog read model and its exact verified log identity atomically. */
     captureReadModelHead(): ThreadReadModelHeadV1;
     loadProjection(): ThreadProjectionV1;
@@ -113,10 +163,13 @@ export declare class ThreadEventStore {
      */
     recoverIncomplete(reason?: string): ThreadProjectionV1;
     /**
-     * Return the last fully verified log head, rescanning only after the file
-     * identity changes. Callers already hold the Thread log lock.
+     * Return the last verified log head. A fresh process may adopt the persisted
+     * receipt only when the exact JSONL identity and independently validated
+     * projection still match. Callers that need historical events explicitly
+     * request a scan; cursor/projection/append paths stay O(head + projection).
      */
     private loadVerifiedHead;
+    private tryPersistVerifiedHead;
     private withLogLock;
     private assertCompactCheckpoint;
     private boundary;

package/dist/runtime/thread-event-store.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"thread-event-store.d.ts","sourceRoot":"","sources":["../../src/runtime/thread-event-store.ts"],"names":[],"mappings":"AAgBA,OAAO,EAIL,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACpB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACV,4BAA4B,EAC5B,gCAAgC,EAEhC,8BAA8B,EAC9B,+BAA+B,EAC/B,qBAAqB,EACtB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,oBAAoB,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc;IAC7E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;CACzC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE;QACZ,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAsCD,MAAM,MAAM,0BAA0B,GAClC,kBAAkB,GAClB,iBAAiB,GACjB,iBAAiB,GACjB,yBAAyB,GACzB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,CACpB,QAAQ,EAAE,0BAA0B,EACpC,OAAO,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,KAC7D,IAAI,CAAC;IACV,yEAAyE;IACzE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE;QAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,IAAI,CAAC;CACZ;AAuBD,qBAAa,qBAAsB,SAAQ,KAAK;IAE5C,QAAQ,CAAC,IAAI,EACT,4BAA4B,GAC5B,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,8BAA8B,GAC9B,+BAA+B;IAEnC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;gBARf,IAAI,EACT,4BAA4B,GAC5B,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,8BAA8B,GAC9B,+BAA+B,EACnC,OAAO,EAAE,MAAM,EACN,MAAM,CAAC,EAAE,MAAM,YAAA;CAK3B;AAMD;;;;;GAKG;AACH,qBAAa,gBAAgB;IAgBzB,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAhB3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAe;IACrC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAe;IACzC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAA0C;IACtE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAyC;IACpE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkE;IAClG,OAAO,CAAC,UAAU,CAAC,CAAqB;gBAG7B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EACzB,OAAO,GAAE,yBAA8B;IAwBzC,aAAa,CAAC,CAAC,SAAS,cAAc,EACpC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAC7B,sBAAsB,CAAC,CAAC,CAAC;IAI5B,kBAAkB,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,GAAG,mBAAmB;IAiFhF,8EAA8E;IAC9E,kBAAkB,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,KAAK,IAAI,GAAG,MAAM,IAAI;IAK7F,eAAe,CAAC,CAAC,SAAS,OAAO,CAAC,cAAc,EAAE;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC,EACvE,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAC7B,sBAAsB,CAAC,CAAC,CAAC;IAkB5B,MAAM,CAAC,MAAM,SAAI,EAAE,KAAK,SAAuB,GAAG,mBAAmB;IAmCrE,SAAS,IAAI,MAAM;IAQnB,qFAAqF;IACrF,oBAAoB,IAAI,qBAAqB;IA0B7C,cAAc,IAAI,kBAAkB;IA4BpC;;;OAGG;IACH,6BAA6B,IAAI,SAAS,OAAO,EAAE,GAAG,SAAS;IAW/D;;;OAGG;IACH,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,4BAA4B;IA0BlE;;;;;OAKG;IACH,0BAA0B,CACxB,KAAK,EAAE,8BAA8B,GACpC,+BAA+B;IA6ElC,2BAA2B,CACzB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,gCAAgC,GAAG,SAAS;IAU/C,iBAAiB,IAAI,SAAS,sBAAsB,CAAC,qBAAqB,CAAC,EAAE;IAc7E;;;OAGG;IACH,iBAAiB,CAAC,MAAM,SAA6C,GAAG,kBAAkB;IAwC1F;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAiBxB,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,uBAAuB;IAc/B,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,eAAe;CASxB"}
+{"version":3,"file":"thread-event-store.d.ts","sourceRoot":"","sources":["../../src/runtime/thread-event-store.ts"],"names":[],"mappings":"AAgBA,OAAO,EAIL,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACpB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAK7B,OAAO,KAAK,EACV,4BAA4B,EAC5B,gCAAgC,EAEhC,8BAA8B,EAC9B,+BAA+B,EAC/B,qBAAqB,EACtB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,oBAAoB,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc;IAC7E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC9D;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAsCD,MAAM,MAAM,0BAA0B,GAClC,kBAAkB,GAClB,iBAAiB,GACjB,iBAAiB,GACjB,yBAAyB,GACzB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,CACpB,QAAQ,EAAE,0BAA0B,EACpC,OAAO,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,KAC7D,IAAI,CAAC;IACV,yEAAyE;IACzE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE;QAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,IAAI,CAAC;CACZ;AAgCD,qBAAa,qBAAsB,SAAQ,KAAK;IAE5C,QAAQ,CAAC,IAAI,EACT,4BAA4B,GAC5B,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,8BAA8B,GAC9B,+BAA+B;IAEnC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;gBARf,IAAI,EACT,4BAA4B,GAC5B,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,8BAA8B,GAC9B,+BAA+B,EACnC,OAAO,EAAE,MAAM,EACN,MAAM,CAAC,EAAE,MAAM,YAAA;CAK3B;AAMD;;;;;GAKG;AACH,qBAAa,gBAAgB;IAiBzB,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAjB3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAe;IACrC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAe;IACzC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAA0C;IACtE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAyC;IACpE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkE;IAClG,OAAO,CAAC,UAAU,CAAC,CAAqB;gBAG7B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EACzB,OAAO,GAAE,yBAA8B;IAyBzC,aAAa,CAAC,CAAC,SAAS,cAAc,EACpC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAC7B,sBAAsB,CAAC,CAAC,CAAC;IAI5B,kBAAkB,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,GAAG,mBAAmB;IA4GhF,8EAA8E;IAC9E,kBAAkB,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,KAAK,IAAI,GAAG,MAAM,IAAI;IAK7F,eAAe,CAAC,CAAC,SAAS,OAAO,CAAC,cAAc,EAAE;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC,EACvE,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAC7B,sBAAsB,CAAC,CAAC,CAAC;IAkB5B,MAAM,CAAC,MAAM,SAAI,EAAE,KAAK,SAAuB,GAAG,mBAAmB;IAmCrE;;;;;OAKG;IACH,mBAAmB,CACjB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM,GACvB,OAAO;IAuCV,SAAS,IAAI,MAAM;IAQnB;;;;OAIG;IACH,8BAA8B,IAAI,sBAAsB,GAAG,SAAS;IA0BpE,qFAAqF;IACrF,oBAAoB,IAAI,qBAAqB;IA0B7C,cAAc,IAAI,kBAAkB;IAmCpC;;;OAGG;IACH,6BAA6B,IAAI,SAAS,OAAO,EAAE,GAAG,SAAS;IAW/D;;;OAGG;IACH,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,4BAA4B;IA4BlE;;;;;OAKG;IACH,0BAA0B,CACxB,KAAK,EAAE,8BAA8B,GACpC,+BAA+B;IA+ElC,2BAA2B,CACzB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,gCAAgC,GAAG,SAAS;IAU/C,iBAAiB,IAAI,SAAS,sBAAsB,CAAC,qBAAqB,CAAC,EAAE;IAc7E;;;OAGG;IACH,iBAAiB,CAAC,MAAM,SAA6C,GAAG,kBAAkB;IAwC1F;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAwDxB,OAAO,CAAC,sBAAsB;IAkB9B,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,uBAAuB;IAc/B,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,eAAe;CASxB"}

package/dist/runtime/thread-event-store.js

@@ -8,6 +8,7 @@ const file_lock_1 = require("../services/file-lock");
 const canonical_1 = require("./protocol/canonical");
 const runtime_protocol_v1_1 = require("./protocol/runtime-protocol-v1");
 const thread_projection_1 = require("./thread-projection");
+const thread_session_index_1 = require("./thread-session-index");
 class ThreadEventStoreError extends Error {
     constructor(code, message, offset) {
         super(message);
@@ -36,6 +37,7 @@ class ThreadEventStore {
         }
         this.logPath = (0, path_1.join)(rootDir, `${threadId}.events.v1.jsonl`);
         this.projectionPath = (0, path_1.join)(rootDir, `${threadId}.projection.v1.json`);
+        this.headPath = (0, path_1.join)(rootDir, `${threadId}.head.v1.json`);
         this.compactStatePath = (0, path_1.join)(rootDir, `${threadId}.compact-state.v1.json`);
         this.compactCheckpointsDir = (0, path_1.join)(rootDir, `${threadId}.compact-checkpoints.v1`);
         this.maxLogBytes = positiveInteger(options.maxLogBytes ?? DEFAULT_MAX_LOG_BYTES, 'maxLogBytes');
@@ -56,13 +58,12 @@ class ThreadEventStore {
         const commit = this.withLogLock(() => {
             ensurePrivateDirectory(this.rootDir);
             const head = this.loadVerifiedHead();
-            const { scan } = head;
-            if (scan.discardedTailBytes > 0)
-                (0, fs_1.truncateSync)(this.logPath, scan.safeByteLength);
-            let seq = scan.events.length;
-            let previousHash = scan.records.at(-1)?.hash ?? null;
+            if (head.discardedTailBytes > 0)
+                (0, fs_1.truncateSync)(this.logPath, head.safeByteLength);
+            let seq = head.projection.cursor;
+            let previousHash = head.lastRecordHash;
             const records = [];
-            const eventIds = new Set(scan.events.map(event => event.eventId));
+            const eventIds = new Set(head.eventIdSet);
             for (const input of inputs) {
                 seq += 1;
                 const eventId = this.idFactory();
@@ -103,18 +104,47 @@ class ThreadEventStore {
             writeProjection(this.projectionPath, projection);
             fsyncDirectory(this.rootDir);
             this.boundary('after_projection_write', seq);
-            const nextScan = {
-                records: [...scan.records, ...records],
-                events: [...scan.events, ...committedEvents],
-                safeByteLength: (0, fs_1.statSync)(this.logPath).size,
-                discardedTailBytes: 0,
-            };
-            this.cachedHead = {
-                logFingerprint: fileFingerprint(this.logPath),
+            const nextLogIdentity = readFileIdentity(this.logPath);
+            const safeByteLength = nextLogIdentity.bytes;
+            const nextScan = head.scan
+                ? {
+                    records: [...head.scan.records, ...records],
+                    events: [...head.scan.events, ...committedEvents],
+                    safeByteLength,
+                    discardedTailBytes: 0,
+                }
+                : undefined;
+            const nextHead = {
+                generation: head.generation + 1,
+                logFingerprint: nextLogIdentity.fingerprint,
+                log: storedLogIdentity(nextLogIdentity),
                 projectionFingerprint: fileFingerprint(this.projectionPath),
-                scan: nextScan,
+                ...(nextScan ? { scan: nextScan } : {}),
                 projection,
+                lastEventTimestamp: committedEvents.at(-1)?.timestamp ?? head.lastEventTimestamp,
+                lastRecordHash: previousHash,
+                safeByteLength,
+                discardedTailBytes: 0,
+                eventIds: [...eventIds],
+                eventIdSet: eventIds,
+                verifiedPrefixes: head.verifiedPrefixes,
             };
+            this.cachedHead = nextHead;
+            this.tryPersistVerifiedHead(nextHead);
+            try {
+                (0, thread_session_index_1.advanceThreadSessionIndexV1)({
+                    rootDir: this.rootDir,
+                    threadId: this.threadId,
+                    previousHead: sessionIndexHead(head),
+                    nextHead: sessionIndexHead(nextHead),
+                    projection,
+                    committedEvents,
+                });
+            }
+            catch {
+                // The immutable transcript index is derived. A stale manifest forces
+                // a verified rebuild on the next snapshot and cannot veto the fact.
+            }
             return deepFreeze({ events: committedEvents, projection });
         });
         this.notifyCommitted(commit.events);
@@ -151,7 +181,7 @@ class ThreadEventStore {
             throw new ThreadEventStoreError('ORION_THREAD_EVENT_LIMIT', `Replay limit ${safeLimit} exceeds ${this.maxReplayEvents}`);
         }
         return this.withLogLock(() => {
-            const { scan } = this.loadVerifiedHead();
+            const scan = requireVerifiedScan(this.loadVerifiedHead(true));
             const lastSeq = scan.events.length;
             if (cursor > lastSeq) {
                 throw new ThreadEventStoreError('ORION_THREAD_EVENT_CURSOR', `Replay cursor ${cursor} is ahead of durable cursor ${lastSeq}`);
@@ -166,6 +196,44 @@ class ThreadEventStore {
             });
         });
     }
+    /**
+     * Verify and seal an immutable imported prefix. The first call may scan the
+     * authoritative log; later processes reuse the prefix receipt while the
+     * exact log identity/projection checkpoint remains current. Internal append
+     * carries the proof forward because the hash-chained prefix cannot change.
+     */
+    verifyDurablePrefix(cursor, eventDigest, projectionDigest) {
+        if (!Number.isSafeInteger(cursor) ||
+            cursor <= 0 ||
+            !isSha256(eventDigest) ||
+            !isSha256(projectionDigest)) {
+            return false;
+        }
+        return this.withLogLock(() => {
+            let head = this.loadVerifiedHead();
+            if (cursor > head.projection.cursor)
+                return false;
+            const expected = { cursor, eventDigest, projectionDigest };
+            if (head.verifiedPrefixes.some(prefix => sameVerifiedPrefix(prefix, expected)))
+                return true;
+            head = this.loadVerifiedHead(true);
+            const scan = requireVerifiedScan(head);
+            const events = scan.events.slice(0, cursor);
+            if (events.length !== cursor ||
+                (0, canonical_1.digestRuntimeValue)(events) !== eventDigest ||
+                (0, thread_projection_1.projectThreadEvents)(this.threadId, events).digest !== projectionDigest) {
+                return false;
+            }
+            const next = {
+                ...head,
+                generation: head.generation + 1,
+                verifiedPrefixes: [...head.verifiedPrefixes, expected].sort((left, right) => left.cursor - right.cursor),
+            };
+            this.cachedHead = next;
+            this.tryPersistVerifiedHead(next);
+            return true;
+        });
+    }
     getCursor() {
         const cached = this.cachedHead;
         if (cached && cached.logFingerprint === fileFingerprint(this.logPath)) {
@@ -173,6 +241,34 @@ class ThreadEventStore {
         }
         return this.withLogLock(() => this.loadVerifiedHead().projection.cursor);
     }
+    /**
+     * Read the compact persisted receipt without parsing the potentially large
+     * projection. Callers must fall back to the authoritative scan whenever the
+     * receipt is missing, stale, or lacks their required cutover proof.
+     */
+    capturePersistedCheckpointHead() {
+        return this.withLogLock(() => {
+            const identity = readFileIdentity(this.logPath);
+            const cached = this.cachedHead;
+            if (cached?.logFingerprint === identity.fingerprint) {
+                return checkpointHead(cached);
+            }
+            const stored = readStoredThreadHead(this.headPath, this.threadId);
+            if (!stored ||
+                !sameStoredLogIdentity(stored.log, identity) ||
+                stored.safeByteLength + stored.discardedTailBytes !== identity.bytes) {
+                return undefined;
+            }
+            return deepFreeze({
+                cursor: stored.cursor,
+                projectionDigest: stored.projectionDigest,
+                lastEventTimestamp: stored.lastEventTimestamp,
+                lastRecordHash: stored.lastRecordHash,
+                log: { ...stored.log },
+                verifiedPrefixes: stored.verifiedPrefixes.map(prefix => ({ ...prefix })),
+            });
+        });
+    }
     /** Capture the catalog read model and its exact verified log identity atomically. */
     captureReadModelHead() {
         return this.withLogLock(() => {
@@ -185,8 +281,8 @@ class ThreadEventStore {
                 }
                 return deepFreeze({
                     projection: head.projection,
-                    lastEventTimestamp: head.scan.events.at(-1)?.timestamp ?? 0,
-                    lastRecordHash: head.scan.records.at(-1)?.hash ?? null,
+                    lastEventTimestamp: head.lastEventTimestamp,
+                    lastRecordHash: head.lastRecordHash,
                     log: {
                         bytes: identity.bytes,
                         device: identity.device,
@@ -205,23 +301,29 @@ class ThreadEventStore {
             const head = this.loadVerifiedHead();
             const replayed = head.projection;
             const projectionFingerprint = fileFingerprint(this.projectionPath);
-            if (head.projectionFingerprint === projectionFingerprint)
+            if (head.projectionFingerprint === projectionFingerprint) {
+                this.tryPersistVerifiedHead(head);
                 return replayed;
+            }
             const cached = readProjection(this.projectionPath);
             if (cached &&
                 cached.threadId === this.threadId &&
                 cached.cursor === replayed.cursor &&
                 cached.digest === replayed.digest &&
                 (0, thread_projection_1.verifyThreadProjectionDigest)(cached)) {
-                this.cachedHead = { ...head, projectionFingerprint };
+                const current = { ...head, projectionFingerprint };
+                this.cachedHead = current;
+                this.tryPersistVerifiedHead(current);
                 return replayed;
             }
             writeProjection(this.projectionPath, replayed);
             fsyncDirectory(this.rootDir);
-            this.cachedHead = {
+            const current = {
                 ...head,
                 projectionFingerprint: fileFingerprint(this.projectionPath),
             };
+            this.cachedHead = current;
+            this.tryPersistVerifiedHead(current);
             return replayed;
         });
     }
@@ -231,7 +333,7 @@ class ThreadEventStore {
      */
     loadAuthoritativeModelHistory() {
         return this.withLogLock(() => {
-            const { scan } = this.loadVerifiedHead();
+            const scan = requireVerifiedScan(this.loadVerifiedHead(true));
             const state = readCompactState(this.compactStatePath, this.threadId);
             if (state)
                 this.assertCompactCheckpoint(state);
@@ -248,7 +350,9 @@ class ThreadEventStore {
     captureCompactSource(turnId) {
         return this.withLogLock(() => {
             ensurePrivateDirectory(this.rootDir);
-            const { scan, projection } = this.loadVerifiedHead();
+            const head = this.loadVerifiedHead(true);
+            const scan = requireVerifiedScan(head);
+            const { projection } = head;
             assertActiveMaintenanceTurn(projection, turnId);
             const state = readCompactState(this.compactStatePath, this.threadId);
             if (state)
@@ -283,7 +387,9 @@ class ThreadEventStore {
             ensurePrivateDirectory(this.compactCheckpointsDir);
             validateCompactCommitInput(input, this.threadId);
             input.onBoundary('before_cas_recheck');
-            const { scan, projection } = this.loadVerifiedHead();
+            const head = this.loadVerifiedHead(true);
+            const scan = requireVerifiedScan(head);
+            const { projection } = head;
             const eventsAfterAnchor = scan.events.slice(input.expectedEventAnchor.cursor);
             const onlyQueuedFollowUps = eventsAfterAnchor.length > 0 &&
                 eventsAfterAnchor.every(event => event.payload.type === 'turn.queued');
@@ -348,7 +454,7 @@ class ThreadEventStore {
     }
     listCompactEvents() {
         return this.withLogLock(() => {
-            const { scan } = this.loadVerifiedHead();
+            const scan = requireVerifiedScan(this.loadVerifiedHead(true));
             return deepFreeze(scan.events.filter((event) => event.payload.type === 'compact.started' ||
                 event.payload.type === 'compact.completed' ||
                 event.payload.type === 'compact.failed'));
@@ -400,14 +506,27 @@ class ThreadEventStore {
         return inputs.length > 0 ? this.appendDurableBatch(inputs).projection : projection;
     }
     /**
-     * Return the last fully verified log head, rescanning only after the file
-     * identity changes. Callers already hold the Thread log lock.
+     * Return the last verified log head. A fresh process may adopt the persisted
+     * receipt only when the exact JSONL identity and independently validated
+     * projection still match. Callers that need historical events explicitly
+     * request a scan; cursor/projection/append paths stay O(head + projection).
      */
-    loadVerifiedHead() {
+    loadVerifiedHead(requireScan = false) {
         ensurePrivateDirectory(this.rootDir);
-        const logFingerprint = fileFingerprint(this.logPath);
-        if (this.cachedHead?.logFingerprint === logFingerprint)
+        const logIdentity = readFileIdentity(this.logPath);
+        if (this.cachedHead?.logFingerprint === logIdentity.fingerprint &&
+            (!requireScan || this.cachedHead.scan)) {
             return this.cachedHead;
+        }
+        const stored = readStoredThreadHead(this.headPath, this.threadId);
+        if (!requireScan && stored) {
+            const projection = readProjection(this.projectionPath);
+            const persisted = hydratePersistedThreadHead(stored, logIdentity, projection, fileFingerprint(this.projectionPath));
+            if (persisted) {
+                this.cachedHead = persisted;
+                return persisted;
+            }
+        }
         const scan = scanThreadEventLog(this.logPath, this.threadId, this.maxLogBytes);
         this.onLogScan?.({
             threadId: this.threadId,
@@ -415,10 +534,50 @@ class ThreadEventStore {
             events: scan.events.length,
         });
         const projection = (0, thread_projection_1.projectThreadEvents)(this.threadId, scan.events);
-        const head = { logFingerprint, scan, projection };
+        const eventIds = scan.events.map(event => event.eventId);
+        const projectionFingerprint = projectionFileMatches(this.projectionPath, projection)
+            ? fileFingerprint(this.projectionPath)
+            : undefined;
+        const head = {
+            generation: (stored?.generation ?? 0) + 1,
+            logFingerprint: logIdentity.fingerprint,
+            log: storedLogIdentity(logIdentity),
+            ...(projectionFingerprint ? { projectionFingerprint } : {}),
+            scan,
+            projection,
+            lastEventTimestamp: scan.events.at(-1)?.timestamp ?? 0,
+            lastRecordHash: scan.records.at(-1)?.hash ?? null,
+            safeByteLength: scan.safeByteLength,
+            discardedTailBytes: scan.discardedTailBytes,
+            eventIds,
+            eventIdSet: new Set(eventIds),
+            verifiedPrefixes: retainVerifiedPrefixes(stored?.verifiedPrefixes ?? [], scan, this.threadId),
+        };
         this.cachedHead = head;
+        if (projectionFingerprint)
+            this.tryPersistVerifiedHead(head);
         return head;
     }
+    tryPersistVerifiedHead(head) {
+        try {
+            const logIdentity = readFileIdentity(this.logPath);
+            if (logIdentity.fingerprint !== head.logFingerprint)
+                return;
+            if (!projectionFileMatches(this.projectionPath, head.projection))
+                return;
+            const stored = createStoredThreadHead(head, logIdentity);
+            (0, atomic_write_1.atomicWriteFileSync)(this.headPath, `${(0, canonical_1.canonicalRuntimeJson)(stored)}\n`, {
+                mode: 0o600,
+                fsync: true,
+            });
+            fsyncDirectory(this.rootDir);
+        }
+        catch {
+            // The JSONL fact and projection are already durable. A missing/stale
+            // derived head merely makes the next process take the full verification
+            // path; it must never turn a committed fact into a reported failure.
+        }
+    }
     withLogLock(operation) {
         ensurePrivateDirectory((0, path_1.dirname)(this.logPath));
         return (0, file_lock_1.withFileLockSync)(this.logPath, operation, { waitMs: this.lockWaitMs });
@@ -569,6 +728,179 @@ function readProjection(path) {
         return null;
     }
 }
+function projectionFileMatches(path, expected) {
+    const projection = readProjection(path);
+    return Boolean(projection &&
+        projection.threadId === expected.threadId &&
+        projection.cursor === expected.cursor &&
+        projection.digest === expected.digest &&
+        (0, thread_projection_1.verifyThreadProjectionDigest)(projection));
+}
+function readStoredThreadHead(path, threadId) {
+    if (!(0, fs_1.existsSync)(path))
+        return null;
+    try {
+        const value = JSON.parse((0, fs_1.readFileSync)(path, 'utf8'));
+        if (!isRecord(value))
+            return null;
+        const { digest: _digest, ...content } = value;
+        void _digest;
+        if (value.version !== 1 ||
+            value.threadId !== threadId ||
+            !Number.isSafeInteger(value.generation) ||
+            value.generation < 1 ||
+            !Number.isSafeInteger(value.cursor) ||
+            value.cursor < 0 ||
+            typeof value.projectionDigest !== 'string' ||
+            !Number.isSafeInteger(value.lastEventTimestamp) ||
+            value.lastEventTimestamp < 0 ||
+            (value.lastRecordHash !== null && !isSha256(value.lastRecordHash)) ||
+            !Number.isSafeInteger(value.safeByteLength) ||
+            value.safeByteLength < 0 ||
+            !Number.isSafeInteger(value.discardedTailBytes) ||
+            value.discardedTailBytes < 0 ||
+            !Array.isArray(value.eventIds) ||
+            !Array.isArray(value.verifiedPrefixes) ||
+            value.verifiedPrefixes.length > 32 ||
+            !isStoredLogIdentity(value.log) ||
+            typeof value.digest !== 'string' ||
+            (0, canonical_1.digestRuntimeValue)(content) !== value.digest) {
+            return null;
+        }
+        const eventIds = value.eventIds;
+        if (eventIds.length !== value.cursor ||
+            eventIds.some(eventId => typeof eventId !== 'string' || !(0, runtime_protocol_v1_1.isRuntimeId)(eventId)) ||
+            new Set(eventIds).size !== eventIds.length ||
+            (value.cursor === 0) !== (value.lastRecordHash === null) ||
+            (value.cursor === 0 && value.lastEventTimestamp !== 0)) {
+            return null;
+        }
+        const prefixes = value.verifiedPrefixes;
+        if (prefixes.some(prefix => !isStoredVerifiedPrefix(prefix, value.cursor)) ||
+            new Set(prefixes.map(prefix => prefix.cursor)).size !==
+                prefixes.length) {
+            return null;
+        }
+        return deepFreeze(value);
+    }
+    catch {
+        return null;
+    }
+}
+function hydratePersistedThreadHead(stored, logIdentity, projection, projectionFingerprint) {
+    if (!sameStoredLogIdentity(stored.log, logIdentity) ||
+        stored.safeByteLength + stored.discardedTailBytes !== logIdentity.bytes ||
+        !projection ||
+        projection.threadId !== stored.threadId ||
+        projection.cursor !== stored.cursor ||
+        projection.digest !== stored.projectionDigest ||
+        !(0, thread_projection_1.verifyThreadProjectionDigest)(projection)) {
+        return null;
+    }
+    const eventIds = [...stored.eventIds];
+    return {
+        generation: stored.generation,
+        logFingerprint: logIdentity.fingerprint,
+        log: storedLogIdentity(logIdentity),
+        projectionFingerprint,
+        projection,
+        lastEventTimestamp: stored.lastEventTimestamp,
+        lastRecordHash: stored.lastRecordHash,
+        safeByteLength: stored.safeByteLength,
+        discardedTailBytes: stored.discardedTailBytes,
+        eventIds,
+        eventIdSet: new Set(eventIds),
+        verifiedPrefixes: stored.verifiedPrefixes.map(prefix => ({ ...prefix })),
+    };
+}
+function createStoredThreadHead(head, logIdentity) {
+    const content = {
+        version: 1,
+        generation: head.generation,
+        threadId: head.projection.threadId,
+        cursor: head.projection.cursor,
+        projectionDigest: head.projection.digest,
+        lastEventTimestamp: head.lastEventTimestamp,
+        lastRecordHash: head.lastRecordHash,
+        safeByteLength: head.safeByteLength,
+        discardedTailBytes: head.discardedTailBytes,
+        eventIds: [...head.eventIds],
+        verifiedPrefixes: head.verifiedPrefixes.map(prefix => ({ ...prefix })),
+        log: storedLogIdentity(logIdentity),
+    };
+    return deepFreeze({ ...content, digest: (0, canonical_1.digestRuntimeValue)(content) });
+}
+function retainVerifiedPrefixes(prefixes, scan, threadId) {
+    return prefixes.filter(prefix => {
+        if (prefix.cursor > scan.events.length)
+            return false;
+        const events = scan.events.slice(0, prefix.cursor);
+        return ((0, canonical_1.digestRuntimeValue)(events) === prefix.eventDigest &&
+            (0, thread_projection_1.projectThreadEvents)(threadId, events).digest === prefix.projectionDigest);
+    });
+}
+function requireVerifiedScan(head) {
+    if (!head.scan)
+        throw new Error('Thread event history was not loaded');
+    return head.scan;
+}
+function sessionIndexHead(head) {
+    return {
+        cursor: head.projection.cursor,
+        projectionDigest: head.projection.digest,
+        lastEventTimestamp: head.lastEventTimestamp,
+        lastRecordHash: head.lastRecordHash,
+        log: head.log,
+    };
+}
+function checkpointHead(head) {
+    return deepFreeze({
+        cursor: head.projection.cursor,
+        projectionDigest: head.projection.digest,
+        lastEventTimestamp: head.lastEventTimestamp,
+        lastRecordHash: head.lastRecordHash,
+        log: { ...head.log },
+        verifiedPrefixes: head.verifiedPrefixes.map(prefix => ({ ...prefix })),
+    });
+}
+function isStoredVerifiedPrefix(value, headCursor) {
+    return (isRecord(value) &&
+        Number.isSafeInteger(value.cursor) &&
+        value.cursor > 0 &&
+        value.cursor <= headCursor &&
+        isSha256(value.eventDigest) &&
+        isSha256(value.projectionDigest));
+}
+function sameVerifiedPrefix(left, right) {
+    return (left.cursor === right.cursor &&
+        left.eventDigest === right.eventDigest &&
+        left.projectionDigest === right.projectionDigest);
+}
+function isStoredLogIdentity(value) {
+    return (isRecord(value) &&
+        Number.isSafeInteger(value.bytes) &&
+        value.bytes >= 0 &&
+        ['device', 'inode', 'mtimeNs', 'ctimeNs'].every(key => typeof value[key] === 'string' && /^\d+$/.test(value[key])));
+}
+function sameStoredLogIdentity(stored, current) {
+    return (stored.bytes === current.bytes &&
+        stored.device === current.device &&
+        stored.inode === current.inode &&
+        stored.mtimeNs === current.mtimeNs &&
+        stored.ctimeNs === current.ctimeNs);
+}
+function storedLogIdentity(identity) {
+    return {
+        bytes: identity.bytes,
+        device: identity.device,
+        inode: identity.inode,
+        mtimeNs: identity.mtimeNs,
+        ctimeNs: identity.ctimeNs,
+    };
+}
+function isSha256(value) {
+    return typeof value === 'string' && /^[a-f0-9]{64}$/.test(value);
+}
 function readFileIdentity(path) {
     try {
         const stats = (0, fs_1.statSync)(path, { bigint: true });