@zelari/core 2.4.0 → 2.6.0

package/dist/session/compaction.d.ts

@@ -0,0 +1,36 @@
+/**
+ * session/compaction.ts — durable model-surface replacement (compact the
+ * projection, never the ledger).
+ *
+ * A `session.compacted` event WITH `{fromSeq,toSeq}` shadows that closed
+ * interval in `deriveMessages()`. Later coverings swallow earlier
+ * checkpoints in their range (chaining). Events without a range stay
+ * legacy: the summary is appended, nothing is shadowed.
+ */
+import type { SessionEventEnvelope } from './types.js';
+export type CompactionStrategy = 'extractive' | 'llm';
+export type CompactionCheckpointRole = 'user' | 'system';
+export interface CompactedInterval {
+    /** Seq of the `session.compacted` event itself (must be > toSeq). */
+    seq: number;
+    fromSeq: number;
+    toSeq: number;
+    role: CompactionCheckpointRole;
+    content: string;
+    strategy?: CompactionStrategy;
+    sourceEventSeqs?: number[];
+}
+/**
+ * Parse a range-bearing compact event. Returns null for legacy `{summary}`
+ * notes (no shadowing) and for malformed ranges.
+ */
+export declare function parseCompactedEvent(event: SessionEventEnvelope): CompactedInterval | null;
+/**
+ * Effective coverings: later compaction that contains an earlier compact
+ * event's seq swallows that checkpoint (nested / chained).
+ */
+export declare function coveringCompactions(events: readonly SessionEventEnvelope[]): CompactedInterval[];
+export declare function shadowedSeqSet(coverings: readonly CompactedInterval[]): Set<number>;
+export declare function isSeqShadowed(seq: number, coverings: readonly CompactedInterval[]): boolean;
+export * from './compactionState.js';
+//# sourceMappingURL=compaction.d.ts.map

package/dist/session/compaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.d.ts","sourceRoot":"","sources":["../../src/session/compaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG,KAAK,CAAC;AACtD,MAAM,MAAM,wBAAwB,GAAG,MAAM,GAAG,QAAQ,CAAC;AAEzD,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,wBAAwB,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AA6BD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,oBAAoB,GAAG,iBAAiB,GAAG,IAAI,CAmBzF;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,SAAS,oBAAoB,EAAE,GACtC,iBAAiB,EAAE,CAwCrB;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAMnF;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,iBAAiB,EAAE,GAAG,OAAO,CAE3F;AAED,cAAc,sBAAsB,CAAC"}

package/dist/session/compaction.js

@@ -0,0 +1,120 @@
+/**
+ * session/compaction.ts — durable model-surface replacement (compact the
+ * projection, never the ledger).
+ *
+ * A `session.compacted` event WITH `{fromSeq,toSeq}` shadows that closed
+ * interval in `deriveMessages()`. Later coverings swallow earlier
+ * checkpoints in their range (chaining). Events without a range stay
+ * legacy: the summary is appended, nothing is shadowed.
+ */
+function asPositiveInt(value) {
+    return typeof value === 'number' && Number.isInteger(value) && value > 0 ? value : undefined;
+}
+function checkpointContent(data) {
+    const cp = data.checkpoint;
+    if (cp && typeof cp === 'object') {
+        const content = cp.content;
+        if (typeof content === 'string')
+            return content;
+    }
+    if (typeof data.summary === 'string')
+        return data.summary;
+    return '[session compacted]';
+}
+function checkpointRole(data) {
+    const cp = data.checkpoint;
+    if (cp && typeof cp === 'object') {
+        const role = cp.role;
+        if (role === 'user' || role === 'system')
+            return role;
+    }
+    return 'system';
+}
+function strategyOf(data) {
+    return data.strategy === 'extractive' || data.strategy === 'llm' ? data.strategy : undefined;
+}
+/**
+ * Parse a range-bearing compact event. Returns null for legacy `{summary}`
+ * notes (no shadowing) and for malformed ranges.
+ */
+export function parseCompactedEvent(event) {
+    if (event.kind !== 'session.compacted')
+        return null;
+    const fromSeq = asPositiveInt(event.data.fromSeq);
+    const toSeq = asPositiveInt(event.data.toSeq);
+    if (fromSeq === undefined || toSeq === undefined || fromSeq > toSeq)
+        return null;
+    if (event.seq <= toSeq)
+        return null;
+    const sourceRaw = event.data.sourceEventSeqs;
+    const sourceEventSeqs = Array.isArray(sourceRaw)
+        ? sourceRaw.filter((n) => typeof n === 'number' && Number.isInteger(n) && n > 0)
+        : undefined;
+    return {
+        seq: event.seq,
+        fromSeq,
+        toSeq,
+        role: checkpointRole(event.data),
+        content: checkpointContent(event.data),
+        ...(strategyOf(event.data) ? { strategy: strategyOf(event.data) } : {}),
+        ...(sourceEventSeqs && sourceEventSeqs.length > 0 ? { sourceEventSeqs } : {}),
+    };
+}
+/**
+ * Effective coverings: later compaction that contains an earlier compact
+ * event's seq swallows that checkpoint (nested / chained).
+ */
+export function coveringCompactions(events) {
+    const effective = events
+        .map(parseCompactedEvent)
+        .filter((c) => c !== null)
+        .map((c) => ({
+        ...c,
+        ...(c.sourceEventSeqs ? { sourceEventSeqs: [...c.sourceEventSeqs] } : {}),
+    }))
+        .sort((a, b) => a.seq - b.seq);
+    // Resolve to a fixed point. When a later checkpoint covers the seq of an
+    // earlier checkpoint, it inherits the earlier checkpoint's raw interval.
+    // Otherwise C2=101..180 swallowing C1(seq=101, range=1..100) would expose
+    // raw 1..100 again after C1 disappeared from the visible surface.
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (let i = 0; i < effective.length; i++) {
+            const earlier = effective[i];
+            let target;
+            for (let j = i + 1; j < effective.length; j++) {
+                const later = effective[j];
+                if (earlier.seq >= later.fromSeq && earlier.seq <= later.toSeq) {
+                    target = later;
+                }
+            }
+            if (!target)
+                continue;
+            target.fromSeq = Math.min(target.fromSeq, earlier.fromSeq);
+            target.toSeq = Math.max(target.toSeq, earlier.toSeq);
+            if (earlier.sourceEventSeqs?.length) {
+                target.sourceEventSeqs = [
+                    ...new Set([...(target.sourceEventSeqs ?? []), ...earlier.sourceEventSeqs]),
+                ];
+            }
+            effective.splice(i, 1);
+            changed = true;
+            break;
+        }
+    }
+    return effective;
+}
+export function shadowedSeqSet(coverings) {
+    const set = new Set();
+    for (const c of coverings) {
+        for (let s = c.fromSeq; s <= c.toSeq; s++)
+            set.add(s);
+    }
+    return set;
+}
+export function isSeqShadowed(seq, coverings) {
+    return coverings.some((c) => seq >= c.fromSeq && seq <= c.toSeq);
+}
+export * from './compactionState.js';
+//# sourceMappingURL=compaction.js.map

package/dist/session/compaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compaction.js","sourceRoot":"","sources":["../../src/session/compaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAkBH,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA6B;IACtD,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3B,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,OAAO,GAAI,EAA4B,CAAC,OAAO,CAAC;QACtD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IAC1D,OAAO,qBAAqB,CAAC;AAC/B,CAAC;AAED,SAAS,cAAc,CAAC,IAA6B;IACnD,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3B,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,IAAI,GAAI,EAAyB,CAAC,IAAI,CAAC;QAC7C,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,IAA6B;IAC/C,OAAO,IAAI,CAAC,QAAQ,KAAK,YAAY,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA2B;IAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,GAAG,KAAK;QAAE,OAAO,IAAI,CAAC;IACjF,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC;IAC7C,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7F,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,OAAO;QACP,KAAK;QACL,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;QAChC,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QACtC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM;SACrB,GAAG,CAAC,mBAAmB,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,GAAG,CAAC;QACJ,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1E,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAEjC,yEAAyE;IACzE,yEAAyE;IACzE,0EAA0E;IAC1E,kEAAkE;IAClE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;YAC9B,IAAI,MAAqC,CAAC;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,GAAG,IAAI,KAAK,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;oBAC/D,MAAM,GAAG,KAAK,CAAC;gBACjB,CAAC;YACH,CAAC;YACD,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YACrD,IAAI,OAAO,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;gBACpC,MAAM,CAAC,eAAe,GAAG;oBACvB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;iBAC5E,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,OAAO,GAAG,IAAI,CAAC;YACf,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,SAAuC;IACpE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,SAAuC;IAChF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED,cAAc,sBAAsB,CAAC"}

package/dist/session/compactionState.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Deterministic state retained across durable session compaction.
+ *
+ * This metadata is derived from the append-only prefix before narrative
+ * summarization, so criteria, failures, evidence and mission state do not
+ * depend on a lossy prose summary.
+ */
+import type { SessionEventEnvelope } from './types.js';
+export interface CompactionCriterionRef {
+    id: string;
+    required: boolean;
+    status?: string;
+}
+export interface CompactionIssueRef {
+    id: string;
+    status: string;
+    reason?: string;
+}
+export interface RetainedEvidenceRef {
+    seq?: number;
+    tier?: string;
+    ref?: string;
+    digest?: string;
+    capturedAt?: number;
+}
+export interface CompactionStateSnapshot {
+    version: 1;
+    activeCriteria: CompactionCriterionRef[];
+    unresolvedIssues: CompactionIssueRef[];
+    latestVerification?: {
+        seq: number;
+        verdict?: string;
+        summary?: string;
+    };
+    retainedEvidenceRefs: RetainedEvidenceRef[];
+    affectedFiles: string[];
+    userConstraints: string[];
+    missionState?: {
+        phase?: string;
+        recommendation?: string;
+        blockers?: string[];
+    };
+}
+/**
+ * Deterministic state retained beside the narrative checkpoint. Only events
+ * inside the compacted prefix contribute; later events remain visible raw.
+ */
+export declare function buildCompactionStateSnapshot(events: readonly SessionEventEnvelope[], toSeq: number): CompactionStateSnapshot;
+export declare function formatCompactionStateSnapshot(snapshot: CompactionStateSnapshot): string;
+//# sourceMappingURL=compactionState.d.ts.map

package/dist/session/compactionState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compactionState.d.ts","sourceRoot":"","sources":["../../src/session/compactionState.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAMvD,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,mBAAmB;IAClC,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,CAAC,CAAC;IACX,cAAc,EAAE,sBAAsB,EAAE,CAAC;IACzC,gBAAgB,EAAE,kBAAkB,EAAE,CAAC;IACvC,kBAAkB,CAAC,EAAE;QACnB,GAAG,EAAE,MAAM,CAAC;QACZ,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,OAAO,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,CAAC,EAAE;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;KACrB,CAAC;CACH;AAmFD;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,SAAS,oBAAoB,EAAE,EACvC,KAAK,EAAE,MAAM,GACZ,uBAAuB,CA6IzB;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,uBAAuB,GAAG,MAAM,CAsBvF"}

package/dist/session/compactionState.js

@@ -0,0 +1,243 @@
+/**
+ * Deterministic state retained across durable session compaction.
+ *
+ * This metadata is derived from the append-only prefix before narrative
+ * summarization, so criteria, failures, evidence and mission state do not
+ * depend on a lossy prose summary.
+ */
+function asPositiveInt(value) {
+    return typeof value === 'number' && Number.isInteger(value) && value > 0 ? value : undefined;
+}
+function recordOf(value) {
+    return value && typeof value === 'object' && !Array.isArray(value)
+        ? value
+        : undefined;
+}
+function recordsOf(value) {
+    return Array.isArray(value)
+        ? value.map(recordOf).filter((v) => v !== undefined)
+        : [];
+}
+function stringsOf(value) {
+    return Array.isArray(value) ? value.filter((v) => typeof v === 'string') : [];
+}
+function addBounded(target, value, maxLength = 260) {
+    const normalized = value.trim().replace(/\\/g, '/');
+    if (normalized && normalized.length <= maxLength)
+        target.add(normalized);
+}
+function collectPaths(value, target, depth = 0) {
+    if (depth > 4 || value === null || value === undefined)
+        return;
+    if (Array.isArray(value)) {
+        for (const item of value)
+            collectPaths(item, target, depth + 1);
+        return;
+    }
+    const record = recordOf(value);
+    if (record) {
+        for (const [key, item] of Object.entries(record)) {
+            if (typeof item === 'string' &&
+                ['path', 'file', 'filepath', 'filePath', 'file_path', 'target', 'cwd'].includes(key)) {
+                addBounded(target, item);
+            }
+            else {
+                collectPaths(item, target, depth + 1);
+            }
+        }
+        return;
+    }
+    if (typeof value !== 'string')
+        return;
+    const pathLike = /(?:^|[\s"'])((?:[\w.@-]+[\\/])+[\w.@-]+\.[A-Za-z0-9]{1,10})/g;
+    let match;
+    while ((match = pathLike.exec(value)) !== null && target.size < 64) {
+        addBounded(target, match[1]);
+    }
+}
+function evidenceFromResults(results) {
+    const seen = new Set();
+    const out = [];
+    for (const result of results) {
+        for (const raw of recordsOf(result.evidence)) {
+            const seq = asPositiveInt(raw.seq);
+            const tier = typeof raw.tier === 'string' ? raw.tier : undefined;
+            const ref = typeof raw.ref === 'string' ? raw.ref : undefined;
+            const digest = typeof raw.digest === 'string' ? raw.digest : undefined;
+            const capturedAt = typeof raw.capturedAt === 'number' && Number.isInteger(raw.capturedAt)
+                ? raw.capturedAt
+                : undefined;
+            if (seq === undefined && tier === undefined && ref === undefined && digest === undefined)
+                continue;
+            const key = [seq ?? '', tier ?? '', ref ?? '', digest ?? ''].join('|');
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            out.push({
+                ...(seq !== undefined ? { seq } : {}),
+                ...(tier !== undefined ? { tier } : {}),
+                ...(ref !== undefined ? { ref } : {}),
+                ...(digest !== undefined ? { digest } : {}),
+                ...(capturedAt !== undefined ? { capturedAt } : {}),
+            });
+        }
+    }
+    return out;
+}
+const CONSTRAINT_RE = /\b(must|never|required|only|do not|don't|constraint|vincolo|deve|devono|non\s+deve|senza)\b/i;
+/**
+ * Deterministic state retained beside the narrative checkpoint. Only events
+ * inside the compacted prefix contribute; later events remain visible raw.
+ */
+export function buildCompactionStateSnapshot(events, toSeq) {
+    const scoped = events.filter((event) => event.seq <= toSeq);
+    const latestVerification = [...scoped].reverse().find((event) => event.kind === 'verification.run');
+    const verificationData = latestVerification?.data ?? {};
+    const native = recordOf(verificationData.native);
+    const results = recordsOf(native?.results ?? verificationData.results);
+    const criteriaRaw = recordsOf(native?.criteria ?? verificationData.criteria);
+    const statusById = new Map(results
+        .filter((result) => typeof result.criterionId === 'string')
+        .map((result) => [String(result.criterionId), String(result.status ?? 'unknown')]));
+    const evidenceState = recordOf(verificationData.evidence);
+    const satisfied = stringsOf(evidenceState?.satisfied);
+    const unsatisfiedRaw = recordsOf(evidenceState?.unsatisfied);
+    const activeCriteria = criteriaRaw
+        .filter((criterion) => typeof criterion.id === 'string')
+        .map((criterion) => ({
+        id: String(criterion.id),
+        required: criterion.required !== false,
+        ...(statusById.has(String(criterion.id))
+            ? { status: statusById.get(String(criterion.id)) }
+            : {}),
+    }));
+    if (activeCriteria.length === 0) {
+        const ids = new Set([
+            ...results.map((result) => String(result.criterionId ?? '')).filter(Boolean),
+            ...satisfied,
+            ...unsatisfiedRaw.map((issue) => String(issue.id ?? '')).filter(Boolean),
+        ]);
+        for (const id of ids) {
+            activeCriteria.push({
+                id,
+                required: true,
+                status: statusById.get(id) ?? (satisfied.includes(id) ? 'pass' : 'unknown'),
+            });
+        }
+    }
+    const unresolvedIssues = unsatisfiedRaw.length > 0
+        ? unsatisfiedRaw
+            .filter((issue) => typeof issue.id === 'string')
+            .map((issue) => ({
+            id: String(issue.id),
+            status: String(issue.status ?? 'unknown'),
+            ...(typeof issue.reason === 'string' ? { reason: issue.reason } : {}),
+        }))
+        : results
+            .filter((result) => String(result.status ?? 'unknown') !== 'pass')
+            .map((result) => ({
+            id: String(result.criterionId ?? 'unknown'),
+            status: String(result.status ?? 'unknown'),
+            ...(typeof result.detail === 'string' ? { reason: result.detail } : {}),
+        }));
+    const affectedFiles = new Set();
+    for (const event of scoped.slice(-500)) {
+        if (event.kind === 'tool.call' || event.kind === 'tool.result' || event.kind === 'verification.evidence') {
+            collectPaths(event.data, affectedFiles);
+        }
+    }
+    const userConstraints = new Set();
+    for (const event of scoped) {
+        if (event.kind !== 'user.message')
+            continue;
+        for (const constraint of stringsOf(event.data.constraints ?? event.data.userConstraints)) {
+            addBounded(userConstraints, constraint, 320);
+        }
+        const messageText = typeof event.data.text === 'string' ? event.data.text : '';
+        for (const line of messageText.split(/\r?\n/)) {
+            if (CONSTRAINT_RE.test(line))
+                addBounded(userConstraints, line, 320);
+            if (userConstraints.size >= 12)
+                break;
+        }
+    }
+    const lastMissionPhase = [...scoped].reverse().find((event) => event.kind === 'mission.phase');
+    const lastMissionAdvice = [...scoped].reverse().find((event) => event.kind === 'mission.progress');
+    const missionState = lastMissionPhase || lastMissionAdvice
+        ? {
+            ...(typeof lastMissionPhase?.data.phase === 'string'
+                ? { phase: lastMissionPhase.data.phase }
+                : {}),
+            ...(typeof lastMissionAdvice?.data.recommendation === 'string'
+                ? { recommendation: lastMissionAdvice.data.recommendation }
+                : {}),
+            ...(stringsOf(lastMissionAdvice?.data.blockers).length > 0
+                ? { blockers: stringsOf(lastMissionAdvice?.data.blockers) }
+                : {}),
+        }
+        : undefined;
+    // 2.6 (doc section 14.5): prefer the first-class TaskContract when the
+    // session carries one; the regex extraction above stays as fallback.
+    const latestContractEvent = [...scoped]
+        .reverse()
+        .find((event) => event.kind === 'task.contract' || event.kind === 'task.contract_updated');
+    const contractRaw = latestContractEvent && typeof latestContractEvent.data.contract === 'object'
+        ? latestContractEvent.data.contract
+        : undefined;
+    const contractConstraints = Array.isArray(contractRaw?.constraints)
+        ? contractRaw.constraints
+            .filter((c) => c.source === 'user' && c.required === true && typeof c.text === 'string')
+            .map((c) => String(c.text))
+        : undefined;
+    const contractCriteria = Array.isArray(contractRaw?.acceptanceCriteria)
+        ? contractRaw.acceptanceCriteria
+            .filter((c) => typeof c.id === 'string')
+            .map((c) => ({ id: String(c.id), required: c.required === true }))
+        : undefined;
+    return {
+        version: 1,
+        activeCriteria: contractCriteria ?? activeCriteria,
+        unresolvedIssues,
+        ...(latestVerification
+            ? {
+                latestVerification: {
+                    seq: latestVerification.seq,
+                    ...(typeof verificationData.verdict === 'string'
+                        ? { verdict: verificationData.verdict }
+                        : {}),
+                    ...(typeof verificationData.summary === 'string'
+                        ? { summary: verificationData.summary }
+                        : {}),
+                },
+            }
+            : {}),
+        retainedEvidenceRefs: evidenceFromResults(results),
+        affectedFiles: [...affectedFiles].slice(0, 64),
+        userConstraints: contractConstraints ?? [...userConstraints].slice(-12),
+        ...(missionState ? { missionState } : {}),
+    };
+}
+export function formatCompactionStateSnapshot(snapshot) {
+    const lines = ['<compaction-state version="1">'];
+    if (snapshot.activeCriteria.length > 0) {
+        lines.push('activeCriteria: ' + JSON.stringify(snapshot.activeCriteria));
+    }
+    if (snapshot.unresolvedIssues.length > 0) {
+        lines.push('unresolvedIssues: ' + JSON.stringify(snapshot.unresolvedIssues));
+    }
+    if (snapshot.latestVerification) {
+        lines.push('latestVerification: ' + JSON.stringify(snapshot.latestVerification));
+    }
+    if (snapshot.affectedFiles.length > 0) {
+        lines.push('affectedFiles: ' + JSON.stringify(snapshot.affectedFiles));
+    }
+    if (snapshot.userConstraints.length > 0) {
+        lines.push('userConstraints: ' + JSON.stringify(snapshot.userConstraints));
+    }
+    if (snapshot.missionState) {
+        lines.push('missionState: ' + JSON.stringify(snapshot.missionState));
+    }
+    lines.push('</compaction-state>');
+    return lines.join('\n');
+}
+//# sourceMappingURL=compactionState.js.map

package/dist/session/compactionState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compactionState.js","sourceRoot":"","sources":["../../src/session/compactionState.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC;AAyCD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAChE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;QAClF,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,UAAU,CAAC,MAAmB,EAAE,KAAa,EAAE,SAAS,GAAG,GAAG;IACrE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpD,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,MAAmB,EAAE,KAAK,GAAG,CAAC;IAClE,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IACE,OAAO,IAAI,KAAK,QAAQ;gBACxB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EACpF,CAAC;gBACD,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACtC,MAAM,QAAQ,GAAG,8DAA8D,CAAC;IAChF,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC;QACnE,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,OAA2C;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAA0B,EAAE,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACjE,MAAM,GAAG,GAAG,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9D,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,MAAM,UAAU,GACd,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;gBACpE,CAAC,CAAC,GAAG,CAAC,UAAU;gBAChB,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnG,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC;gBACP,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3C,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACpD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,aAAa,GACjB,8FAA8F,CAAC;AAEjG;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAuC,EACvC,KAAa;IAEb,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;IACpG,MAAM,gBAAgB,GAAG,kBAAkB,EAAE,IAAI,IAAI,EAAE,CAAC;IACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,OAAO;SACJ,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC;SAC1D,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,CACrF,CAAC;IACF,MAAM,aAAa,GAAG,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,cAAc,GAAG,SAAS,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAE7D,MAAM,cAAc,GAA6B,WAAW;SACzD,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC;SACvD,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ,KAAK,KAAK;QACtC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE;YAClD,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACN,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC;YAClB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YAC5E,GAAG,SAAS;YACZ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;SACzE,CAAC,CAAC;QACH,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,cAAc,CAAC,IAAI,CAAC;gBAClB,EAAE;gBACF,QAAQ,EAAE,IAAI;gBACd,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;aAC5E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GACpB,cAAc,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,cAAc;aACX,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC;aAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC;YACzC,GAAG,CAAC,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtE,CAAC,CAAC;QACP,CAAC,CAAC,OAAO;aACJ,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC;aACjE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChB,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC;YAC3C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC;YAC1C,GAAG,CAAC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE,CAAC,CAAC,CAAC;IAEZ,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACzG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,SAAS;QAC5C,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACzF,UAAU,CAAC,eAAe,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,WAAW,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACrE,IAAI,eAAe,CAAC,IAAI,IAAI,EAAE;gBAAE,MAAM;QACxC,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAC/F,MAAM,iBAAiB,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;IACnG,MAAM,YAAY,GAChB,gBAAgB,IAAI,iBAAiB;QACnC,CAAC,CAAC;YACE,GAAG,CAAC,OAAO,gBAAgB,EAAE,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAClD,CAAC,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE;gBACxC,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,iBAAiB,EAAE,IAAI,CAAC,cAAc,KAAK,QAAQ;gBAC5D,CAAC,CAAC,EAAE,cAAc,EAAE,iBAAiB,CAAC,IAAI,CAAC,cAAc,EAAE;gBAC3D,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,SAAS,CAAC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;gBACxD,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;gBAC3D,CAAC,CAAC,EAAE,CAAC;SACR;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,mBAAmB,GAAG,CAAC,GAAG,MAAM,CAAC;SACpC,OAAO,EAAE;SACT,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC;IAC7F,MAAM,WAAW,GACf,mBAAmB,IAAI,OAAO,mBAAmB,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAC1E,CAAC,CAAE,mBAAmB,CAAC,IAAI,CAAC,QAIxB;QACJ,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,mBAAmB,GACvB,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC;QACrC,CAAC,CAAE,WAAY,CAAC,WAA+E;aAC1F,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;aACvF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,gBAAgB,GACpB,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,kBAAkB,CAAC;QAC5C,CAAC,CAAE,WAAY,CAAC,kBAAkE;aAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC;aACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC,CAAC;QACtE,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO;QACL,OAAO,EAAE,CAAC;QACV,cAAc,EAAE,gBAAgB,IAAI,cAAc;QAClD,gBAAgB;QAChB,GAAG,CAAC,kBAAkB;YACpB,CAAC,CAAC;gBACE,kBAAkB,EAAE;oBAClB,GAAG,EAAE,kBAAkB,CAAC,GAAG;oBAC3B,GAAG,CAAC,OAAO,gBAAgB,CAAC,OAAO,KAAK,QAAQ;wBAC9C,CAAC,CAAC,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE;wBACvC,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,OAAO,gBAAgB,CAAC,OAAO,KAAK,QAAQ;wBAC9C,CAAC,CAAC,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE;wBACvC,CAAC,CAAC,EAAE,CAAC;iBACR;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,oBAAoB,EAAE,mBAAmB,CAAC,OAAO,CAAC;QAClD,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAC9C,eAAe,EAAE,mBAAmB,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,QAAiC;IAC7E,MAAM,KAAK,GAAG,CAAC,gCAAgC,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/session/index.d.ts

@@ -7,6 +7,7 @@
  */
 export * from './types.js';
 export * from './modelSurface.js';
+export * from './compaction.js';
 export * from './agentAdapter.js';
 export * from './writer.js';
 export * from './replay.js';
@@ -15,4 +16,5 @@ export * from './lineage.js';
 export * from './exportSession.js';
 export * from './invariants.js';
 export * from './recovery.js';
+export * from './taskContract.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/session/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}

package/dist/session/index.js

@@ -7,6 +7,7 @@
  */
 export * from './types.js';
 export * from './modelSurface.js';
+export * from './compaction.js';
 export * from './agentAdapter.js';
 export * from './writer.js';
 export * from './replay.js';
@@ -15,4 +16,5 @@ export * from './lineage.js';
 export * from './exportSession.js';
 export * from './invariants.js';
 export * from './recovery.js';
+export * from './taskContract.js';
 //# sourceMappingURL=index.js.map

package/dist/session/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}

package/dist/session/invariants.d.ts

@@ -13,4 +13,9 @@ export interface SessionInvariantViolation {
 }
 export type SessionInvariantMode = 'minimal' | 'strict';
 export declare function validateSessionTrace(events: readonly SessionEventEnvelope[], mode?: SessionInvariantMode): SessionInvariantViolation[];
+/**
+ * 2.6 Track A/B relational invariants: resource events + task contract
+ * (doc section 24.1). Standalone so replay/CI can opt in per surface.
+ */
+export declare function validateResourceAndContractEvents(events: readonly SessionEventEnvelope[]): SessionInvariantViolation[];
 //# sourceMappingURL=invariants.d.ts.map

package/dist/session/invariants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../src/session/invariants.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGvD,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,QAAQ,CAAC;AAyBxD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,SAAS,oBAAoB,EAAE,EACvC,IAAI,GAAE,oBAAgC,GACrC,yBAAyB,EAAE,CAyE7B"}
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../src/session/invariants.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGvD,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,QAAQ,CAAC;AAyBxD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,SAAS,oBAAoB,EAAE,EACvC,IAAI,GAAE,oBAAgC,GACrC,yBAAyB,EAAE,CA2E7B;AAmGD;;;GAGG;AACH,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,SAAS,oBAAoB,EAAE,GACtC,yBAAyB,EAAE,CAoD7B"}