usesteady 0.1.0-alpha.1

package/dist/src/product/cursor-product-session.js

@@ -0,0 +1,390 @@
+/**
+ * CursorProductSession — product-layer state machine.
+ *
+ * ── Purpose ───────────────────────────────────────────────────────────────────
+ *
+ *   Connects the execution engine to real user interaction flows.
+ *   This is the "who calls the seam, and how does the user see it" layer.
+ *
+ *   The session manages one edit request from user input through to execution
+ *   outcome. It holds state between steps so the consumer (CLI, UI, plugin)
+ *   only has to call the right method at the right moment.
+ *
+ * ── What this is NOT ──────────────────────────────────────────────────────────
+ *
+ *   NOT authority — this layer calls authority; it does not hold it.
+ *   NOT a scheduler — one session = one edit attempt.
+ *   NOT a UI — it produces display strings; the caller renders them.
+ *   NOT a router — intake mode still drives everything; this just surfaces it.
+ *
+ * ── Baseline truths (locked — see docs/cursor-v1-baseline.md) ────────────────
+ *
+ *   P1 — Terminal states are immutable.
+ *        Once a session reaches accepted / rejected / exec_error / blocked /
+ *        not_execute / intake_failed, all further transition calls return the
+ *        same state object unchanged. A new session must be created for a new
+ *        edit attempt. Enforced by isTerminal() guard at the top of every
+ *        public transition function.
+ *
+ *   P2 — Scope clarification is candidate-bounded.
+ *        answerScope(state, file) rejects any file not present in
+ *        state.scopeQuestion.candidates. Cursor surfaced exactly those
+ *        candidates; choosing outside them is silent scope expansion.
+ *
+ *   P3 — Approval is never execution.
+ *        approve() transitions to "approved", not "accepted".
+ *        deliver() is a separate explicit act by the product shell.
+ *        These two steps must never be collapsed into one.
+ *
+ *   P4 — Delivery requires approved.
+ *        deliver() called from any phase other than "approved" returns
+ *        "blocked". The gate inside deliverCursorExecution() also
+ *        independently checks eligibility. Defense-in-depth.
+ *
+ *   P5 — Session carries state but has no independent authority.
+ *        The session holds the artifact and display fields.
+ *        Authority lives in: intake (mode), OCD/policy (constraints),
+ *        H (approval, narrowing), and the delivery gate (eligibility).
+ *        The session is the carrier and transition guard — nothing more.
+ *
+ *   P6 — All authority lives upstream of the session.
+ *        intake  → sole mode authority
+ *        OCD     → sole policy authority
+ *        H       → sole approval authority
+ *        gate    → sole delivery eligibility authority
+ *        Session → no authority of its own
+ *
+ * ── Session lifecycle ─────────────────────────────────────────────────────────
+ *
+ *   idle
+ *     → submit(input)                 → "prepared" | "conflict" | "not_execute" | "intake_failed"
+ *
+ *   prepared
+ *     → approve()                     → "approved"
+ *     → reject()                      → "rejected"
+ *     → narrow(files)                 → "prepared"  (re-evaluated after narrow)
+ *
+ *   conflict
+ *     → acceptConflict()              → "prepared"  (re-evaluated OCD status)
+ *     → reject()                      → "rejected"
+ *
+ *   approved
+ *     → deliver(plugin, storeDir)     → "accepted" | "scope_question" | "exec_error" | "blocked"
+ *
+ *   scope_question
+ *     → answerScope(file)             → "approved"  (narrowed + re-approved)
+ *     → reject()                      → "rejected"
+ *
+ *   Terminal: "accepted" | "rejected" | "not_execute" | "intake_failed" | "blocked"
+ *
+ * ── Dependency direction ───────────────────────────────────────────────────────
+ *
+ *   Session imports: intake, coordinator, cursor module.
+ *   Coordinator NEVER imports Session.
+ *   Delivery gate NEVER imports Session.
+ */
+import { runIntakeWithUCP } from "../intake/intake-service.js";
+import { DEFAULT_CONTRACT } from "../interaction/defaults.js";
+import { parseChange } from "../understand/interpretation/parser.js";
+import { prepareCursorExecution, deliverCursorExecution, } from "../execution/cursor/cursor-execution-coordinator.js";
+import { approveArtifact, narrowArtifactScope, } from "../cursor/artifact-mapper.js";
+import { acceptOCDConflict } from "../cursor/ocd-evaluator.js";
+import { isFsChange } from "../understand/interpretation/types.js";
+// ─── Builders (exactOptionalPropertyTypes safe) ───────────────────────────────
+/** Build a SessionDisplay, omitting keys whose value is absent. */
+function mkDisplay(d) {
+    return Object.fromEntries(Object.entries(d).filter(([, v]) => v !== undefined));
+}
+/** Build a session state, omitting keys whose value is undefined. */
+function mk(s) {
+    return Object.fromEntries(Object.entries(s).filter(([, v]) => v !== undefined));
+}
+// ─── Session factory ──────────────────────────────────────────────────────────
+const INITIAL_STATE = {
+    phase: "idle",
+    display: { headline: "Ready. Submit an edit command." },
+};
+/**
+ * Create a new product session in the idle phase.
+ */
+export function createSession() {
+    return INITIAL_STATE;
+}
+// ─── Session transitions ──────────────────────────────────────────────────────
+/**
+ * Submit user input. Runs intake + prepare. Returns next session state.
+ *
+ * @param input   The raw user text (e.g. "change button color to red").
+ * @param policy  OCD policy for the workspace.
+ */
+export function submit(state, input, policy) {
+    // Terminal sessions are immutable — caller must create a new session.
+    if (isTerminal(state))
+        return state;
+    // Run intake
+    let ucpResult;
+    try {
+        ucpResult = runIntakeWithUCP(input, {
+            prvContext: { hasPriorSession: false },
+            interactionContract: DEFAULT_CONTRACT,
+        });
+    }
+    catch (err) {
+        return mk({ phase: "intake_failed", input, display: mkDisplay({ headline: `Intake error: ${String(err)}` }) });
+    }
+    const { result: intakeResult, ucp } = ucpResult;
+    const intentId = ucp.intent.id;
+    const responseId = ucp.response.id;
+    // Not an execute flow — surface mode for the consumer
+    if (intakeResult.mode !== "execute") {
+        const modeDisplay = {
+            guide: "Not an edit command — guidance available.",
+            clarify: "Input is ambiguous — clarification needed.",
+            refuse: "Input refused — unsafe or out of scope.",
+            ignore: "Input does not require action.",
+        };
+        return mk({
+            phase: "not_execute", input, intentId, responseId,
+            display: mkDisplay({ headline: modeDisplay[intakeResult.mode] ?? `Mode: ${intakeResult.mode}` }),
+        });
+    }
+    // Parse change for structured commands — only ReplaceChange goes through this path.
+    // FsChange inputs are intercepted by the coordinator before submit() is called.
+    const rawPc = parseChange(input) ?? undefined;
+    const pc = (rawPc && !isFsChange(rawPc)) ? rawPc : undefined;
+    // Prepare
+    const prepResult = prepareCursorExecution(intakeResult, intentId, responseId, policy, pc);
+    if (prepResult.kind === "not_execute") {
+        return mk({ phase: "not_execute", input, intentId, responseId, display: mkDisplay({ headline: prepResult.reason }) });
+    }
+    const nextPhase = prepResult.kind === "conflict_detected" ? "conflict" : "prepared";
+    return mk({
+        phase: nextPhase,
+        input,
+        ...(pc !== undefined ? { parsedChange: pc } : {}),
+        intentId,
+        responseId,
+        preparedAt: Date.now(),
+        artifact: prepResult.artifact,
+        prepResult,
+        presentHints: prepResult.presentHints,
+        display: mkDisplay({
+            headline: prepResult.display.headline,
+            changeSummary: prepResult.display.summary,
+            ...(prepResult.display.targetFile ? { targetFiles: [prepResult.display.targetFile] } : {}),
+            conflicts: [...prepResult.display.conflicts],
+        }),
+    });
+}
+/**
+ * H approves the prepared artifact. Transitions to "approved".
+ * Only valid from "prepared" phase.
+ */
+export function approve(state, at = Date.now()) {
+    if (isTerminal(state))
+        return state;
+    if (state.phase !== "prepared" || !state.artifact) {
+        return invalidTransition(state, "approve", "prepared");
+    }
+    const approved = approveArtifact(state.artifact, at);
+    return mk({
+        ...state,
+        phase: "approved",
+        artifact: approved,
+        display: mkDisplay({ headline: "Approved. Ready to deliver.", changeSummary: state.display.changeSummary }),
+    });
+}
+/**
+ * H accepts the OCD conflict. Transitions from "conflict" back to "prepared".
+ */
+export function acceptConflict(state) {
+    if (isTerminal(state))
+        return state;
+    if (state.phase !== "conflict" || !state.artifact) {
+        return invalidTransition(state, "acceptConflict", "conflict");
+    }
+    const accepted = acceptOCDConflict(state.artifact);
+    // prepResult is now stale after conflict acceptance — artifact has moved forward.
+    // The display is derived from the updated artifact.
+    const { prepResult: _dropped, ...rest } = state;
+    void _dropped;
+    return mk({
+        ...rest,
+        phase: "prepared",
+        artifact: accepted,
+        display: mkDisplay({
+            headline: "Conflict accepted. Ready to confirm.",
+            changeSummary: state.display.changeSummary,
+            targetFiles: state.display.targetFiles,
+            conflicts: [],
+        }),
+    });
+}
+/**
+ * H narrows the scope to a subset of the currently allowed files.
+ * Monotonic: can only reduce, not expand. Re-evaluates display.
+ * Valid from "prepared" or "scope_question".
+ */
+export function narrow(state, allowedFiles) {
+    if (isTerminal(state))
+        return state;
+    if ((state.phase !== "prepared" && state.phase !== "scope_question")
+        || !state.artifact) {
+        return invalidTransition(state, "narrow", "prepared | scope_question");
+    }
+    const narrowed = narrowArtifactScope(state.artifact, allowedFiles);
+    return mk({
+        ...state,
+        phase: "prepared",
+        artifact: narrowed,
+        display: mkDisplay({
+            headline: "Scope narrowed. Review and approve.",
+            changeSummary: state.display.changeSummary,
+            targetFiles: [...allowedFiles],
+            conflicts: [],
+        }),
+    });
+}
+/**
+ * H answers a scope question by selecting a single candidate file.
+ * The session narrows to that file and re-approves automatically.
+ * Valid from "scope_question".
+ */
+export function answerScope(state, file, at = Date.now()) {
+    if (isTerminal(state))
+        return state;
+    if (state.phase !== "scope_question" || !state.artifact) {
+        return invalidTransition(state, "answerScope", "scope_question");
+    }
+    // S4 — answerScope must only select from the candidates Cursor surfaced.
+    // The candidate list is the exact set Cursor found within the approved scope.
+    // Choosing outside it would silently expand scope beyond what was reviewed.
+    if (state.scopeQuestion && !state.scopeQuestion.candidates.includes(file)) {
+        return invalidTransition(state, "answerScope", `scope_question (file must be one of: ${state.scopeQuestion.candidates.join(", ")})`);
+    }
+    const narrowed = narrowArtifactScope(state.artifact, [file]);
+    const approved = approveArtifact(narrowed, at);
+    return mk({
+        ...state,
+        phase: "approved",
+        artifact: approved,
+        display: mkDisplay({ headline: `Scope set to ${file}. Approved.`, changeSummary: state.display.changeSummary, targetFiles: [file] }),
+    });
+}
+/**
+ * H rejects. Terminal state.
+ */
+export function reject(state) {
+    if (isTerminal(state))
+        return state;
+    return mk({ ...state, phase: "rejected", display: mkDisplay({ headline: "Rejected.", changeSummary: state.display.changeSummary }) });
+}
+/**
+ * Deliver the approved artifact through the execution gate.
+ * Only valid from "approved" phase. Returns a terminal or "scope_question" state.
+ *
+ * @param plugin    The transport adapter (CursorInProcessAdapter for real edits).
+ * @param storeDir  Absolute path to UCP store directory.
+ * @param deps      Optional injectable persistence fns for testing.
+ */
+export async function deliver(state, plugin, storeDir, deps) {
+    if (isTerminal(state))
+        return state;
+    if (state.phase !== "approved" || !state.artifact) {
+        return invalidTransition(state, "deliver", "approved");
+    }
+    const result = await deliverCursorExecution(state.artifact, plugin, storeDir, deps);
+    switch (result.kind) {
+        case "accepted":
+            return mk({
+                ...state,
+                phase: "accepted",
+                executionResult: result,
+                display: mkDisplay({
+                    headline: "Edit applied.",
+                    changeSummary: state.display.changeSummary,
+                    targetFiles: state.display.targetFiles,
+                    resultNote: result.display.headline,
+                }),
+            });
+        case "refused_due_to_scope":
+            return mk({
+                ...state,
+                phase: "scope_question",
+                scopeQuestion: result.scopeQuestion,
+                executionResult: result,
+                display: mkDisplay({
+                    headline: "Cursor needs scope clarification.",
+                    changeSummary: state.display.changeSummary,
+                    scopeCandidates: result.scopeQuestion.candidates,
+                    resultNote: result.scopeQuestion.explanation,
+                }),
+            });
+        case "refused_due_to_execution_error":
+            return mk({
+                ...state,
+                phase: "exec_error",
+                executionResult: result,
+                display: mkDisplay({ headline: result.display.headline, resultNote: result.detail }),
+            });
+        case "blocked_ineligible":
+        case "blocked_persistence_failure": {
+            const note = result.display.note ?? undefined;
+            return mk({
+                ...state,
+                phase: "blocked",
+                executionResult: result,
+                display: mkDisplay({ headline: result.display.headline, ...(note ? { resultNote: note } : {}) }),
+            });
+        }
+    }
+}
+// ─── Helpers ──────────────────────────────────────────────────────────────────
+/** Returns true if the session is in a terminal phase (no further transitions). */
+export function isTerminal(state) {
+    return (state.phase === "accepted" ||
+        state.phase === "rejected" ||
+        state.phase === "exec_error" ||
+        state.phase === "blocked" ||
+        state.phase === "not_execute" ||
+        state.phase === "intake_failed");
+}
+/**
+ * Extract contradiction-visibility args for presentFromInput().
+ *
+ * Call this after submit() to get the policyHint and parsedChangeHint that
+ * enable Phase 5D cross-layer contradiction detection. Pass the result
+ * arguments directly to presentFromInput():
+ *
+ *   const { policyHint, parsedChangeHint } = getPresentHints(state);
+ *   presentFromInput(rawInput, intakeResult, undefined, policyHint, parsedChangeHint);
+ *
+ * Returns undefined for both hints when the session has no presentHints
+ * (e.g. idle, not_execute, intake_failed phases).
+ */
+export function getPresentHints(state) {
+    if (!state.presentHints) {
+        return { policyHint: undefined, parsedChangeHint: undefined };
+    }
+    const { prohibitedGlobs, parsedChangeFilePath } = state.presentHints;
+    return {
+        policyHint: { prohibitedGlobs },
+        parsedChangeHint: parsedChangeFilePath !== undefined ? { filePath: parsedChangeFilePath } : undefined,
+    };
+}
+/** Returns true if the session accepted and applied an edit. */
+export function isAccepted(state) {
+    return state.phase === "accepted";
+}
+// ─── Internal ─────────────────────────────────────────────────────────────────
+function invalidTransition(state, method, expected) {
+    return mk({
+        ...state,
+        phase: "blocked",
+        display: mkDisplay({
+            headline: `Invalid transition: ${method}() called from phase "${state.phase}" (expected: ${expected}).`,
+            resultNote: "Session is now blocked. Create a new session to continue.",
+        }),
+    });
+}
+//# sourceMappingURL=cursor-product-session.js.map

package/dist/src/product/cursor-product-session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cursor-product-session.js","sourceRoot":"","sources":["../../../src/product/cursor-product-session.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoFG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAc,6BAA6B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAc,4BAA4B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAmB,wCAAwC,CAAC;AAClF,OAAO,EACL,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,qDAAqD,CAAC;AAM7D,OAAO,EACL,eAAe,EACf,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAI/D,OAAO,EAAE,UAAU,EAAE,MAAoB,uCAAuC,CAAC;AA2FjF,iFAAiF;AAEjF,mEAAmE;AACnE,SAAS,SAAS,CAAC,CAOlB;IACC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CACnC,CAAC;AACtB,CAAC;AAMD,qEAAqE;AACrE,SAAS,EAAE,CAAC,CAAiB;IAC3B,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAC/B,CAAC;AAC1B,CAAC;AAED,iFAAiF;AAEjF,MAAM,aAAa,GAAuB;IACxC,KAAK,EAAI,MAAM;IACf,OAAO,EAAE,EAAE,QAAQ,EAAE,gCAAgC,EAAE;CACxD,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CACpB,KAA0B,EAC1B,KAAc,EACd,MAAuB;IAEvB,sEAAsE;IACtE,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,aAAa;IACb,IAAI,SAAS,CAAC;IACd,IAAI,CAAC;QACH,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE;YAClC,UAAU,EAAW,EAAE,eAAe,EAAE,KAAK,EAAE;YAC/C,mBAAmB,EAAE,gBAAgB;SACtC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,iBAAiB,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC;IAChD,MAAM,QAAQ,GAAK,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IAEnC,sDAAsD;IACtD,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,WAAW,GAA2B;YAC1C,KAAK,EAAI,2CAA2C;YACpD,OAAO,EAAE,4CAA4C;YACrD,MAAM,EAAG,yCAAyC;YAClD,MAAM,EAAG,gCAAgC;SAC1C,CAAC;QACF,OAAO,EAAE,CAAC;YACR,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU;YACjD,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,SAAS,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;SACjG,CAAC,CAAC;IACL,CAAC;IAED,oFAAoF;IACpF,gFAAgF;IAChF,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC;IAC9C,MAAM,EAAE,GAA8B,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAExF,UAAU;IACV,MAAM,UAAU,GAAG,sBAAsB,CAAC,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAE1F,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IACxH,CAAC;IAED,MAAM,SAAS,GAAiB,UAAU,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;IAElG,OAAO,EAAE,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,KAAK;QACL,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,QAAQ;QACR,UAAU;QACV,UAAU,EAAI,IAAI,CAAC,GAAG,EAAE;QACxB,QAAQ,EAAM,UAAU,CAAC,QAAQ;QACjC,UAAU;QACV,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,OAAO,EAAO,SAAS,CAAC;YACtB,QAAQ,EAAO,UAAU,CAAC,OAAO,CAAC,QAAQ;YAC1C,aAAa,EAAE,UAAU,CAAC,OAAO,CAAC,OAAO;YACzC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1F,SAAS,EAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC;SACjD,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,OAAO,CACrB,KAAyB,EACzB,KAAgB,IAAI,CAAC,GAAG,EAAE;IAE1B,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClD,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrD,OAAO,EAAE,CAAC;QACR,GAAG,KAAK;QACR,KAAK,EAAK,UAAU;QACpB,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAG,SAAS,CAAC,EAAE,QAAQ,EAAE,6BAA6B,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;KAC7G,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAyB;IACtD,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClD,OAAO,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnD,kFAAkF;IAClF,oDAAoD;IACpD,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAChD,KAAK,QAAQ,CAAC;IACd,OAAO,EAAE,CAAC;QACR,GAAG,IAAI;QACP,KAAK,EAAK,UAAU;QACpB,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAG,SAAS,CAAC;YAClB,QAAQ,EAAO,sCAAsC;YACrD,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;YAC1C,WAAW,EAAI,KAAK,CAAC,OAAO,CAAC,WAAW;YACxC,SAAS,EAAM,EAAE;SAClB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,MAAM,CACpB,KAAgC,EAChC,YAA+B;IAE/B,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IACE,CAAC,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,gBAAgB,CAAC;WAC7D,CAAC,KAAK,CAAC,QAAQ,EAClB,CAAC;QACD,OAAO,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,2BAA2B,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACnE,OAAO,EAAE,CAAC;QACR,GAAG,KAAK;QACR,KAAK,EAAK,UAAU;QACpB,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAG,SAAS,CAAC;YAClB,QAAQ,EAAO,qCAAqC;YACpD,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;YAC1C,WAAW,EAAI,CAAC,GAAG,YAAY,CAAC;YAChC,SAAS,EAAM,EAAE;SAClB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,KAAyB,EACzB,IAAa,EACb,KAAgB,IAAI,CAAC,GAAG,EAAE;IAE1B,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,KAAK,CAAC,KAAK,KAAK,gBAAgB,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACxD,OAAO,iBAAiB,CAAC,KAAK,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;IACnE,CAAC;IACD,yEAAyE;IACzE,8EAA8E;IAC9E,4EAA4E;IAC5E,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,iBAAiB,CACtB,KAAK,EACL,aAAa,EACb,wCAAwC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACrF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,EAAE,CAAC;QACR,GAAG,KAAK;QACR,KAAK,EAAK,UAAU;QACpB,QAAQ,EAAE,QAAQ;QAClB,OAAO,EAAG,SAAS,CAAC,EAAE,QAAQ,EAAE,gBAAgB,IAAI,aAAa,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,WAAW,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;KACtI,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAC,KAAyB;IAC9C,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,OAAO,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;AACxI,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,KAA4B,EAC5B,MAA4B,EAC5B,QAAgB,EAChB,IAAsD;IAEtD,IAAI,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClD,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEpF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,UAAU;YACb,OAAO,EAAE,CAAC;gBACR,GAAG,KAAK;gBACR,KAAK,EAAY,UAAU;gBAC3B,eAAe,EAAE,MAAM;gBACvB,OAAO,EAAU,SAAS,CAAC;oBACzB,QAAQ,EAAO,eAAe;oBAC9B,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;oBAC1C,WAAW,EAAI,KAAK,CAAC,OAAO,CAAC,WAAW;oBACxC,UAAU,EAAK,MAAM,CAAC,OAAO,CAAC,QAAQ;iBACvC,CAAC;aACH,CAAC,CAAC;QAEL,KAAK,sBAAsB;YACzB,OAAO,EAAE,CAAC;gBACR,GAAG,KAAK;gBACR,KAAK,EAAY,gBAAgB;gBACjC,aAAa,EAAI,MAAM,CAAC,aAAa;gBACrC,eAAe,EAAE,MAAM;gBACvB,OAAO,EAAU,SAAS,CAAC;oBACzB,QAAQ,EAAS,mCAAmC;oBACpD,aAAa,EAAI,KAAK,CAAC,OAAO,CAAC,aAAa;oBAC5C,eAAe,EAAE,MAAM,CAAC,aAAa,CAAC,UAAU;oBAChD,UAAU,EAAO,MAAM,CAAC,aAAa,CAAC,WAAW;iBAClD,CAAC;aACH,CAAC,CAAC;QAEL,KAAK,gCAAgC;YACnC,OAAO,EAAE,CAAC;gBACR,GAAG,KAAK;gBACR,KAAK,EAAY,YAAY;gBAC7B,eAAe,EAAE,MAAM;gBACvB,OAAO,EAAU,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;aAC7F,CAAC,CAAC;QAEL,KAAK,oBAAoB,CAAC;QAC1B,KAAK,6BAA6B,CAAC,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC;YAC9C,OAAO,EAAE,CAAC;gBACR,GAAG,KAAK;gBACR,KAAK,EAAY,SAAS;gBAC1B,eAAe,EAAE,MAAM;gBACvB,OAAO,EAAU,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;aACzG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,mFAAmF;AACnF,MAAM,UAAU,UAAU,CAAC,KAAyB;IAClD,OAAO,CACL,KAAK,CAAC,KAAK,KAAK,UAAU;QAC1B,KAAK,CAAC,KAAK,KAAK,UAAU;QAC1B,KAAK,CAAC,KAAK,KAAK,YAAY;QAC5B,KAAK,CAAC,KAAK,KAAK,SAAS;QACzB,KAAK,CAAC,KAAK,KAAK,aAAa;QAC7B,KAAK,CAAC,KAAK,KAAK,eAAe,CAChC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAAC,KAAyB;IAIvD,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACxB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;IAChE,CAAC;IACD,MAAM,EAAE,eAAe,EAAE,oBAAoB,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC;IACrE,OAAO;QACL,UAAU,EAAQ,EAAE,eAAe,EAAE;QACrC,gBAAgB,EAAE,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,SAAS;KACtG,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,UAAU,CAAC,KAAyB;IAClD,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU,CAAC;AACpC,CAAC;AAED,iFAAiF;AAEjF,SAAS,iBAAiB,CACxB,KAA4B,EAC5B,MAAgB,EAChB,QAAgB;IAEhB,OAAO,EAAE,CAAC;QACR,GAAG,KAAK;QACR,KAAK,EAAI,SAAS;QAClB,OAAO,EAAE,SAAS,CAAC;YACjB,QAAQ,EAAI,uBAAuB,MAAM,yBAAyB,KAAK,CAAC,KAAK,gBAAgB,QAAQ,IAAI;YACzG,UAAU,EAAE,2DAA2D;SACxE,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}

package/dist/src/product/index.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Product layer — public API.
+ *
+ * CursorProductSession and ClaudeProductSession are the entry points for
+ * connecting the execution engine to user interaction flows (CLI, UI, plugin).
+ *
+ * Cursor consumer pattern:
+ *   let session = createSession();
+ *   session = submit(session, input, policy);
+ *   session = approve(session);
+ *   session = await deliver(session, plugin, storeDir);
+ *
+ * Claude consumer pattern:
+ *   let session = createClaudeSession();
+ *   session = submitClaude(session, input, policy, toolPolicy);
+ *   session = approveClaude(session);
+ *   session = await deliverClaude(session, plugin, storeDir);
+ */
+export type { SessionPhase, CursorSessionState, SessionDisplay, } from "./cursor-product-session.js";
+export { createSession, submit, approve, acceptConflict, narrow, answerScope, reject, deliver, isTerminal, isAccepted, getPresentHints, } from "./cursor-product-session.js";
+export type { CursorPresentHints } from "../execution/cursor/cursor-execution-coordinator.js";
+export type { ClaudeSessionPhase, ClaudeSessionState, ClaudeSessionDisplay, } from "./claude-product-session.js";
+export { createClaudeSession, submitClaude, approveClaude, acceptClaudeConflict, narrowClaude, answerClaudeScope, rejectClaude, deliverClaude, isClaudeTerminal, isClaudeAccepted, } from "./claude-product-session.js";
+export type { CursorSessionSnapshot } from "./session-resilience/index.js";
+export type { SessionStaleness } from "./session-resilience/index.js";
+export type { SessionSummary } from "./session-resilience/index.js";
+export { serializeSession, restoreSession, evaluateSessionStaleness, summarizeSession, } from "./session-resilience/index.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/product/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/product/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,YAAY,EACV,YAAY,EACZ,kBAAkB,EAClB,cAAc,GACf,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,aAAa,EACb,MAAM,EACN,OAAO,EACP,cAAc,EACd,MAAM,EACN,WAAW,EACX,MAAM,EACN,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAGrC,YAAY,EAAE,kBAAkB,EAAE,MAAM,qDAAqD,CAAC;AAI9F,YAAY,EACV,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AAIrC,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC3E,YAAY,EAAE,gBAAgB,EAAE,MAAW,+BAA+B,CAAC;AAC3E,YAAY,EAAE,cAAc,EAAE,MAAa,+BAA+B,CAAC;AAE3E,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,+BAA+B,CAAC"}

package/dist/src/product/index.js

@@ -0,0 +1,22 @@
+/**
+ * Product layer — public API.
+ *
+ * CursorProductSession and ClaudeProductSession are the entry points for
+ * connecting the execution engine to user interaction flows (CLI, UI, plugin).
+ *
+ * Cursor consumer pattern:
+ *   let session = createSession();
+ *   session = submit(session, input, policy);
+ *   session = approve(session);
+ *   session = await deliver(session, plugin, storeDir);
+ *
+ * Claude consumer pattern:
+ *   let session = createClaudeSession();
+ *   session = submitClaude(session, input, policy, toolPolicy);
+ *   session = approveClaude(session);
+ *   session = await deliverClaude(session, plugin, storeDir);
+ */
+export { createSession, submit, approve, acceptConflict, narrow, answerScope, reject, deliver, isTerminal, isAccepted, getPresentHints, } from "./cursor-product-session.js";
+export { createClaudeSession, submitClaude, approveClaude, acceptClaudeConflict, narrowClaude, answerClaudeScope, rejectClaude, deliverClaude, isClaudeTerminal, isClaudeAccepted, } from "./claude-product-session.js";
+export { serializeSession, restoreSession, evaluateSessionStaleness, summarizeSession, } from "./session-resilience/index.js";
+//# sourceMappingURL=index.js.map

package/dist/src/product/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/product/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,EACL,aAAa,EACb,MAAM,EACN,OAAO,EACP,cAAc,EACd,MAAM,EACN,WAAW,EACX,MAAM,EACN,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAarC,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AAQrC,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,+BAA+B,CAAC"}

package/dist/src/product/session-resilience/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Session Resilience — Phase 6C public API.
+ *
+ * Exports snapshot/restore, staleness annotation, and terminal session summary.
+ *
+ * Authority model (unchanged):
+ *   - serializeSession / restoreSession: persistence only, no re-evaluation
+ *   - evaluateSessionStaleness: annotation only, no routing authority
+ *   - summarizeSession: terminal audit only, no authority
+ */
+export type { CursorSessionSnapshot } from "./session-snapshot-types.js";
+export { serializeSession, restoreSession } from "./session-serializer.js";
+export type { SessionStaleness } from "./session-staleness.js";
+export { evaluateSessionStaleness } from "./session-staleness.js";
+export type { SessionSummary } from "./session-summary.js";
+export { summarizeSession } from "./session-summary.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/product/session-resilience/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/product/session-resilience/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,YAAY,EAAE,qBAAqB,EAAE,MAAS,6BAA6B,CAAC;AAG5E,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG3E,YAAY,EAAE,gBAAgB,EAAE,MAAiB,wBAAwB,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAc,wBAAwB,CAAC;AAG1E,YAAY,EAAE,cAAc,EAAE,MAAmB,sBAAsB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAsB,sBAAsB,CAAC"}

package/dist/src/product/session-resilience/index.js

@@ -0,0 +1,15 @@
+/**
+ * Session Resilience — Phase 6C public API.
+ *
+ * Exports snapshot/restore, staleness annotation, and terminal session summary.
+ *
+ * Authority model (unchanged):
+ *   - serializeSession / restoreSession: persistence only, no re-evaluation
+ *   - evaluateSessionStaleness: annotation only, no routing authority
+ *   - summarizeSession: terminal audit only, no authority
+ */
+// Serialization
+export { serializeSession, restoreSession } from "./session-serializer.js";
+export { evaluateSessionStaleness } from "./session-staleness.js";
+export { summarizeSession } from "./session-summary.js";
+//# sourceMappingURL=index.js.map

package/dist/src/product/session-resilience/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/product/session-resilience/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,gBAAgB;AAChB,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAI3E,OAAO,EAAE,wBAAwB,EAAE,MAAc,wBAAwB,CAAC;AAI1E,OAAO,EAAE,gBAAgB,EAAE,MAAsB,sBAAsB,CAAC"}

package/dist/src/product/session-resilience/session-serializer.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Session Serializer — Phase 6C.
+ *
+ * Serialize a CursorSessionState to a snapshot and restore it safely.
+ *
+ * ── Contract ──────────────────────────────────────────────────────────────────
+ *
+ *   serializeSession(state, now?) → CursorSessionSnapshot
+ *     Pure function. Deterministic for the same state + now value.
+ *     now defaults to Date.now() when absent.
+ *
+ *   restoreSession(snapshot: unknown) → CursorSessionState
+ *     NEVER throws. Any invalid input (wrong type, wrong version, missing
+ *     fields) returns a safe "blocked" session with an explanatory headline.
+ *     Does not re-run intake, delivery, or any gate logic.
+ *     The restored state preserves all authority boundaries.
+ *
+ * ── Safe fallback policy ─────────────────────────────────────────────────────
+ *
+ *   "blocked" is used as the safe invalid-restore phase because:
+ *     - It is already a defined terminal phase.
+ *     - It communicates clearly that no action is possible.
+ *     - It prevents auto-deliver: a blocked session cannot be delivered.
+ *     - No new phase is needed (existing safe terminal is sufficient).
+ */
+import type { CursorSessionState } from "../cursor-product-session.js";
+import type { CursorSessionSnapshot } from "./session-snapshot-types.js";
+/**
+ * Serialize a session state into a versioned snapshot.
+ *
+ * @param state  The session state to capture.
+ * @param now    Unix timestamp in ms. Defaults to Date.now().
+ */
+export declare function serializeSession(state: CursorSessionState, now?: number): CursorSessionSnapshot;
+/**
+ * Restore a session state from an unknown value (e.g. parsed JSON).
+ *
+ * Never throws. Returns a "blocked" fallback state on any validation failure.
+ *
+ * @param snapshot  Any value (typically the output of JSON.parse).
+ */
+export declare function restoreSession(snapshot: unknown): CursorSessionState;
+//# sourceMappingURL=session-serializer.d.ts.map

package/dist/src/product/session-resilience/session-serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-serializer.d.ts","sourceRoot":"","sources":["../../../../src/product/session-resilience/session-serializer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAYzE;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,kBAAkB,EACzB,GAAG,GAAI,MAAmB,GACzB,qBAAqB,CAEvB;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,OAAO,GAAG,kBAAkB,CA4BpE"}

package/dist/src/product/session-resilience/session-serializer.js

@@ -0,0 +1,84 @@
+/**
+ * Session Serializer — Phase 6C.
+ *
+ * Serialize a CursorSessionState to a snapshot and restore it safely.
+ *
+ * ── Contract ──────────────────────────────────────────────────────────────────
+ *
+ *   serializeSession(state, now?) → CursorSessionSnapshot
+ *     Pure function. Deterministic for the same state + now value.
+ *     now defaults to Date.now() when absent.
+ *
+ *   restoreSession(snapshot: unknown) → CursorSessionState
+ *     NEVER throws. Any invalid input (wrong type, wrong version, missing
+ *     fields) returns a safe "blocked" session with an explanatory headline.
+ *     Does not re-run intake, delivery, or any gate logic.
+ *     The restored state preserves all authority boundaries.
+ *
+ * ── Safe fallback policy ─────────────────────────────────────────────────────
+ *
+ *   "blocked" is used as the safe invalid-restore phase because:
+ *     - It is already a defined terminal phase.
+ *     - It communicates clearly that no action is possible.
+ *     - It prevents auto-deliver: a blocked session cannot be delivered.
+ *     - No new phase is needed (existing safe terminal is sufficient).
+ */
+const BLOCKED_RESTORE = {
+    phase: "blocked",
+    display: {
+        headline: "Session could not be restored. The snapshot is invalid or from an incompatible version.",
+        resultNote: "Create a new session to continue.",
+    },
+};
+// ─── Public API ───────────────────────────────────────────────────────────────
+/**
+ * Serialize a session state into a versioned snapshot.
+ *
+ * @param state  The session state to capture.
+ * @param now    Unix timestamp in ms. Defaults to Date.now().
+ */
+export function serializeSession(state, now = Date.now()) {
+    return { version: 1, savedAt: now, state };
+}
+/**
+ * Restore a session state from an unknown value (e.g. parsed JSON).
+ *
+ * Never throws. Returns a "blocked" fallback state on any validation failure.
+ *
+ * @param snapshot  Any value (typically the output of JSON.parse).
+ */
+export function restoreSession(snapshot) {
+    try {
+        if (!isPlainObject(snapshot))
+            return BLOCKED_RESTORE;
+        const snap = snapshot;
+        // Version check — must be exactly 1
+        if (snap["version"] !== 1)
+            return BLOCKED_RESTORE;
+        // savedAt must be a number
+        if (typeof snap["savedAt"] !== "number")
+            return BLOCKED_RESTORE;
+        // state must be a plain object with a phase string
+        const state = snap["state"];
+        if (!isPlainObject(state))
+            return BLOCKED_RESTORE;
+        const s = state;
+        if (typeof s["phase"] !== "string")
+            return BLOCKED_RESTORE;
+        if (!isPlainObject(s["display"]))
+            return BLOCKED_RESTORE;
+        // Structural validation passed — cast to CursorSessionState.
+        // The session transition guards enforce invariants at runtime;
+        // if the state is somehow inconsistent, the next operation will
+        // produce a blocked or invalid-transition state safely.
+        return state;
+    }
+    catch {
+        return BLOCKED_RESTORE;
+    }
+}
+// ─── Internal helpers ─────────────────────────────────────────────────────────
+function isPlainObject(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+//# sourceMappingURL=session-serializer.js.map

package/dist/src/product/session-resilience/session-serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-serializer.js","sourceRoot":"","sources":["../../../../src/product/session-resilience/session-serializer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAKH,MAAM,eAAe,GAAuB;IAC1C,KAAK,EAAI,SAAS;IAClB,OAAO,EAAE;QACP,QAAQ,EAAI,yFAAyF;QACrG,UAAU,EAAE,mCAAmC;KAChD;CACF,CAAC;AAEF,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAyB,EACzB,MAAgB,IAAI,CAAC,GAAG,EAAE;IAE1B,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,QAAiB;IAC9C,IAAI,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC;YAAE,OAAO,eAAe,CAAC;QAErD,MAAM,IAAI,GAAG,QAAmC,CAAC;QAEjD,oCAAoC;QACpC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,eAAe,CAAC;QAElD,2BAA2B;QAC3B,IAAI,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ;YAAE,OAAO,eAAe,CAAC;QAEhE,mDAAmD;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YAAE,OAAO,eAAe,CAAC;QAElD,MAAM,CAAC,GAAG,KAAgC,CAAC;QAC3C,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,eAAe,CAAC;QAC3D,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAAE,OAAO,eAAe,CAAC;QAEzD,6DAA6D;QAC7D,+DAA+D;QAC/D,gEAAgE;QAChE,wDAAwD;QACxD,OAAO,KAA2B,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,eAAe,CAAC;IACzB,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC"}