kiokuko-dsh 0.2.21 → 0.2.22

package/dist/dsh/lisp/coding-preparation.js

@@ -1,6 +1,8 @@
 import { createHash, randomUUID } from 'node:crypto';
 import { codingIntent, codingContinuation } from '../coding-workflow/intent.js';
-export const LISP_PROTOTYPE_GUIDANCE = 'For this coding request, first run one small relevant Lisp prototype with lisp_eval (prototype:true, operationId, code), covering a concrete uncertainty and counterexample without project changes. Then read its actual saved result with lisp_inspect (resultOperationId from the successful evaluation, section:"result"). Inspect failures; never treat ON, a model passed field, or an unevaluated plan as prototype evidence. Only after successful execution and result inspection proceed with implementation and its separate checks. Two failed prototype attempts stop automatic retries; repair the cause or explicitly use /kioku-lisp disable. Reads, conversation, cancellation and native permissions remain available.';
+import { LispCodingCancelled } from '../coding-question.js';
+export const LISP_PROTOTYPE_GUIDANCE = 'Prefer Lisp for useful calculations and transformations. A preliminary prototype is optional in ordinary development; use permitted existing tools directly when appropriate. Native permissions still apply. Never bypass a denial or automatically fall back after cancellation, timeout, unknown outcomes or partial effects. An explicitly protected coding workflow retains its own prototype and verification gates.';
+const PROTECTED_PROTOTYPE_GUIDANCE = 'This protected workflow requires a small relevant lisp_eval prototype:true and complete saved-result inspection with lisp_inspect before implementation. Prototype success is not task completion. Two failures stop automatic prototype retries; repair the cause or explicitly disable Lisp. Ordinary read tools and conversation remain available; Bash still follows host permissions.';
 /** A bounded request protocol. It does not grant native authority or classify arbitrary Lisp effects. */
 export class LispCodingPreparation {
     host;
@@ -29,22 +31,37 @@ export class LispCodingPreparation {
         const key = createHash('sha256').update(JSON.stringify([identity, input.turn, input.task])).digest('hex');
         if (previous?.key === key) {
             await previous.pending;
+            if (previous.phase === 'cancelled')
+                throw new LispCodingCancelled();
+            if (previous.phase === 'unavailable')
+                throw new Error(previous.reason);
             return;
         }
-        const state = { agent: input.agent, ...identity, task: input.task, key, phase: 'choice_pending', attempts: 0, failures: 0 };
+        const state = { agent: input.agent, ...identity, task: input.task, key, protectedWorkflow: false, phase: 'choice_pending', attempts: 0, failures: 0 };
         this.states.set(input.agent, state);
         state.pending = (async () => {
-            const selected = (this.host.selected ? await this.host.selected(input.agent) : this.host.enabled(input.agent))
-                ? { choice: 'yes', answerRef: `enabled-session:${identity.sessionId}:${key}` }
+            const manualSelected = this.host.selected ? await this.host.selected(input.agent) : this.host.enabled(input.agent);
+            if (this.current(input.agent) !== state || state.key !== key || input.signal.aborted)
+                throw new LispCodingCancelled('Lisp coding request changed before its choice');
+            const selected = manualSelected
+                ? { status: 'answered', choice: 'yes', answerRef: `enabled-session:${identity.sessionId}:${key}` }
                 : await this.host.choose(input);
-            input.signal.throwIfAborted();
-            if (this.current(input.agent) !== state)
-                throw new Error('Lisp coding request changed while awaiting its choice');
-            if (!selected)
+            if (this.current(input.agent) !== state || state.key !== key)
+                throw new LispCodingCancelled('Lisp coding request changed while awaiting its choice');
+            if (input.signal.aborted || selected.status === 'cancelled') {
+                state.phase = 'cancelled';
+                throw new LispCodingCancelled();
+            }
+            if (selected.status === 'pending')
                 return;
+            if (selected.status === 'unavailable') {
+                state.phase = 'unavailable';
+                state.reason = selected.reason;
+                throw new Error(selected.reason);
+            }
             state.choice = selected.choice;
             state.answerRef = selected.answerRef;
-            state.phase = selected.choice === 'yes' ? 'prototype_required' : 'declined';
+            state.phase = selected.choice === 'yes' ? 'selected' : 'declined';
             if (selected.choice === 'yes')
                 await this.host.activate(input.agent);
             else
@@ -53,6 +70,13 @@ export class LispCodingPreparation {
         try {
             await state.pending;
         }
+        catch (error) {
+            if (this.current(input.agent) === state && state.key === key && state.phase === 'choice_pending') {
+                state.phase = input.signal.aborted ? 'cancelled' : 'unavailable';
+                state.reason = error instanceof Error ? error.message : String(error);
+            }
+            throw error;
+        }
         finally {
             delete state.pending;
         }
@@ -65,11 +89,13 @@ export class LispCodingPreparation {
         let state = this.current(agent);
         if (!state || state.task !== task || state.answerRef && state.answerRef !== answerRef) {
             const identity = this.host.identity(agent), key = createHash('sha256').update(JSON.stringify([identity, task, answerRef])).digest('hex');
-            state = { agent, ...identity, task, key, phase: 'choice_pending', attempts: 0, failures: 0 };
+            state = { agent, ...identity, task, key, protectedWorkflow: true, phase: 'choice_pending', attempts: 0, failures: 0 };
             this.states.set(agent, state);
         }
-        if (state.choice === choice)
+        if (state.choice === choice && state.protectedWorkflow)
             return;
+        state.key = createHash('sha256').update(JSON.stringify([state.key, task, answerRef, 'protected'])).digest('hex');
+        state.protectedWorkflow = true;
         state.choice = choice;
         state.answerRef = answerRef;
         state.phase = choice === 'yes' ? 'prototype_required' : 'declined';
@@ -79,35 +105,48 @@ export class LispCodingPreparation {
     }
     manual(agent, enabled, answerRef) {
         const state = this.current(agent);
-        if (!state)
+        if (!state || state.phase === 'cancelled')
             return;
         state.key = createHash('sha256').update(JSON.stringify([state.key, enabled, answerRef ?? randomUUID()])).digest('hex');
         state.choice = enabled ? 'yes' : 'no';
         state.answerRef = answerRef ?? `human-command:${state.key}:${enabled}`;
-        state.phase = enabled ? 'prototype_required' : 'declined';
+        state.phase = enabled ? (state.protectedWorkflow ? 'prototype_required' : 'selected') : 'declined';
         state.attempts = 0;
         state.failures = 0;
         delete state.operationId;
     }
+    cancelled(agent, task) {
+        const state = this.current(agent);
+        if (state?.task === task) {
+            state.key = randomUUID();
+            state.phase = 'cancelled';
+            delete state.choice;
+            delete state.answerRef;
+        }
+    }
     binding(agent) { return this.current(agent)?.key; }
     status(agent) {
         const state = this.current(agent);
-        return state ? { phase: state.phase, attempts: state.attempts, failures: state.failures, operationId: state.operationId, verified: state.phase === 'reviewed', guidance: state.phase === 'declined' ? 'Use ordinary tools; do not reopen Lisp for this request.' : state.phase === 'reviewed' ? 'The prototype was inspected. Implement and verify separately; this is not task completion.' : state.phase === 'choice_pending' ? 'Await the human Lisp choice; reads and conversation remain available.' : LISP_PROTOTYPE_GUIDANCE } : { phase: 'not_applicable', verified: false };
+        return state ? { phase: state.phase, attempts: state.attempts, failures: state.failures, operationId: state.operationId, verified: state.phase === 'reviewed', guidance: state.phase === 'cancelled' ? 'Implementation attempt cancelled; work retained. Do not automatically retry or switch tools.' : state.phase === 'unavailable' ? `Question unavailable: ${state.reason}` : state.phase === 'selected' ? LISP_PROTOTYPE_GUIDANCE : state.phase === 'declined' ? 'Use ordinary tools; do not reopen Lisp for this request.' : state.phase === 'reviewed' ? 'The prototype was inspected. Implement and verify separately; this is not task completion.' : state.phase === 'choice_pending' ? 'Await the human Lisp choice; reads and conversation remain available.' : state.protectedWorkflow ? PROTECTED_PROTOTYPE_GUIDANCE : LISP_PROTOTYPE_GUIDANCE } : { phase: 'not_applicable', verified: false };
     }
     denial(agent, name, args, parent) {
         const state = this.current(agent);
         if (!state || parent !== undefined || state.choice === 'no' || state.phase === 'reviewed')
             return;
         const effect = ['bash', 'zsh', 'exec', 'run_code', 'write', 'edit', 'delete', 'remove', 'kioku_write', 'kioku_edit', 'kioku_remove', 'kioku_exec', 'lisp_eval', 'lisp_apply', 'lisp_call', 'lisp_hot_call'].includes(name);
+        if (state.phase === 'cancelled')
+            return effect ? 'LISP_REQUEST_CANCELLED: this implementation attempt stopped. Do not retry or switch tools; a new explicit implementation request is required.' : undefined;
+        if (state.phase === 'unavailable')
+            return effect ? `LISP_CHOICE_UNAVAILABLE: ${state.reason}` : undefined;
         if (state.phase === 'choice_pending')
-            return effect ? 'LISP_CHOICE_PENDING: answer the Lisp choice or explicitly use /kioku-lisp enable or disable. Reads and conversation remain available.' : undefined;
-        if (!this.host.enabled(agent))
+            return effect ? 'LISP_CHOICE_PENDING: answer the Lisp choice or explicitly use /kioku-lisp enable or disable. Ordinary read tools and conversation remain available; Bash follows host permissions.' : undefined;
+        if (!state.protectedWorkflow || !this.host.enabled(agent))
             return;
         if (name === 'lisp_eval' && args?.prototype === true) {
             return state.failures >= 2 ? 'LISP_PROTOTYPE_FAILED: two attempts failed; repair the cause or explicitly disable Lisp.' : undefined;
         }
         if (effect)
-            return `LISP_PROTOTYPE_REQUIRED: ${state.phase}. ${LISP_PROTOTYPE_GUIDANCE}`;
+            return `LISP_PROTOTYPE_REQUIRED: ${state.phase}. ${PROTECTED_PROTOTYPE_GUIDANCE}`;
     }
     observed(agent, name, args, result, requestKey) {
         const state = this.current(agent);
@@ -121,7 +160,7 @@ export class LispCodingPreparation {
             }
             else {
                 state.failures++;
-                state.phase = state.failures >= 2 ? 'failed' : 'prototype_required';
+                state.phase = state.protectedWorkflow ? (state.failures >= 2 ? 'failed' : 'prototype_required') : 'selected';
             }
         }
         if (name === 'lisp_inspect' && state.phase === 'result_pending' && args.resultOperationId === state.operationId && args.section === 'result' && args.pointer === undefined && (args.offset ?? 0) === 0

package/dist/dsh/lisp/coding-preparation.js.map

@@ -1 +1 @@
-{"version":3,"file":"coding-preparation.js","sourceRoot":"","sources":["../../../src/dsh/lisp/coding-preparation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,UAAU,EAAC,UAAU,EAAC,MAAM,aAAa,CAAA;AACjD,OAAO,EAAC,YAAY,EAAE,kBAAkB,EAAC,MAAM,8BAA8B,CAAA;AAG7E,MAAM,CAAC,MAAM,uBAAuB,GAAG,0sBAA0sB,CAAA;AAQjvB,yGAAyG;AACzG,MAAM,OAAO,qBAAqB;IAEH;IADZ,MAAM,GAAG,IAAI,OAAO,EAAsB,CAAA;IAC3D,YAA6B,IAO5B;QAP4B,SAAI,GAAJ,IAAI,CAOhC;IAAG,CAAC;IACG,OAAO,CAAC,KAAW;QACzB,MAAM,KAAK,GAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAA;QAC5B,MAAM,QAAQ,GAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxC,OAAO,KAAK,IAAI,KAAK,CAAC,KAAK,KAAG,KAAK,IAAI,KAAK,CAAC,SAAS,KAAG,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,KAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/H,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,KAAqB;QACjC,MAAM,QAAQ,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACxC,kFAAkF;QAClF,8FAA8F;QAC9F,MAAM,cAAc,GAAG,KAAK,CAAC,aAAa,EAAE,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,WAAW,KAAK,gBAAgB,CAAA;QACvH,IAAI,CAAC,cAAc,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACpE,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC9C,MAAM,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAC,KAAK,CAAC,IAAI,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrG,IAAI,QAAQ,EAAE,GAAG,KAAG,GAAG,EAAE,CAAC;YAAC,MAAM,QAAQ,CAAC,OAAO,CAAC;YAAC,OAAM;QAAC,CAAC;QAC3D,MAAM,KAAK,GAAa,EAAC,KAAK,EAAC,KAAK,CAAC,KAAK,EAAC,GAAG,QAAQ,EAAC,IAAI,EAAC,KAAK,CAAC,IAAI,EAAC,GAAG,EAAC,KAAK,EAAC,gBAAgB,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,CAAA;QACxH,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAC,KAAK,CAAC,CAAA;QAClC,KAAK,CAAC,OAAO,GAAC,CAAC,KAAK,IAAE,EAAE;YACtB,MAAM,QAAQ,GAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC1G,CAAC,CAAC,EAAC,MAAM,EAAC,KAAc,EAAC,SAAS,EAAC,mBAAmB,QAAQ,CAAC,SAAS,IAAI,GAAG,EAAE,EAAC;gBAClF,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACjC,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,CAAA;YAC7B,IAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAG,KAAK;gBAAC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;YAC7G,IAAG,CAAC,QAAQ;gBAAC,OAAM;YACnB,KAAK,CAAC,MAAM,GAAC,QAAQ,CAAC,MAAM,CAAC;YAAA,KAAK,CAAC,SAAS,GAAC,QAAQ,CAAC,SAAS,CAAA;YAC/D,KAAK,CAAC,KAAK,GAAC,QAAQ,CAAC,MAAM,KAAG,KAAK,CAAA,CAAC,CAAA,oBAAoB,CAAA,CAAC,CAAA,UAAU,CAAA;YACnE,IAAG,QAAQ,CAAC,MAAM,KAAG,KAAK;gBAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;;gBAC3D,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAChD,CAAC,CAAC,EAAE,CAAA;QACJ,IAAG,CAAC;YAAA,MAAM,KAAK,CAAC,OAAO,CAAA;QAAA,CAAC;gBAAO,CAAC;YAAA,OAAO,KAAK,CAAC,OAAO,CAAA;QAAA,CAAC;IACvD,CAAC;IACD,SAAS,CAAC,KAAW,EAAC,IAAW;QAC/B,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,OAAO,KAAK,EAAE,IAAI,KAAG,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAC,MAAM,EAAC,KAAK,CAAC,MAAM,EAAC,SAAS,EAAC,KAAK,CAAC,SAAS,EAAC,CAAA,CAAC,CAAA,SAAS,CAAA;IAC1H,CAAC;IACD,QAAQ,CAAC,KAAW,EAAC,IAAW,EAAC,MAAiB,EAAC,SAAgB;QACjE,IAAI,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAG,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAG,IAAI,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAG,SAAS,EAAE,CAAC;YACjF,MAAM,QAAQ,GAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAC,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAC,IAAI,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACjI,KAAK,GAAC,EAAC,KAAK,EAAC,GAAG,QAAQ,EAAC,IAAI,EAAC,GAAG,EAAC,KAAK,EAAC,gBAAgB,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,CAAA;YAC/E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAC,KAAK,CAAC,CAAA;QAC9B,CAAC;QACD,IAAG,KAAK,CAAC,MAAM,KAAG,MAAM;YAAC,OAAM;QAC/B,KAAK,CAAC,MAAM,GAAC,MAAM,CAAC;QAAA,KAAK,CAAC,SAAS,GAAC,SAAS,CAAC;QAAA,KAAK,CAAC,KAAK,GAAC,MAAM,KAAG,KAAK,CAAA,CAAC,CAAA,oBAAoB,CAAA,CAAC,CAAA,UAAU,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,OAAO,KAAK,CAAC,WAAW,CAAA;IACrK,CAAC;IACD,MAAM,CAAC,KAAW,EAAC,OAAe,EAAC,SAAiB;QAClD,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,CAAC,KAAK;YAAC,OAAM;QAChB,KAAK,CAAC,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAC,OAAO,EAAC,SAAS,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAClH,KAAK,CAAC,MAAM,GAAC,OAAO,CAAA,CAAC,CAAA,KAAK,CAAA,CAAC,CAAA,IAAI,CAAC;QAAA,KAAK,CAAC,SAAS,GAAC,SAAS,IAAI,iBAAiB,KAAK,CAAC,GAAG,IAAI,OAAO,EAAE,CAAA;QACpG,KAAK,CAAC,KAAK,GAAC,OAAO,CAAA,CAAC,CAAA,oBAAoB,CAAA,CAAC,CAAA,UAAU,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,OAAO,KAAK,CAAC,WAAW,CAAA;IAChH,CAAC;IACD,OAAO,CAAC,KAAW,IAAqB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAA,CAAC,CAAC;IACzE,MAAM,CAAC,KAAW;QAChB,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,OAAO,KAAK,CAAA,CAAC,CAAA,EAAC,KAAK,EAAC,KAAK,CAAC,KAAK,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,WAAW,EAAC,KAAK,CAAC,WAAW,EAAC,QAAQ,EAAC,KAAK,CAAC,KAAK,KAAG,UAAU,EAAC,QAAQ,EAAC,KAAK,CAAC,KAAK,KAAG,UAAU,CAAA,CAAC,CAAA,0DAA0D,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,UAAU,CAAA,CAAC,CAAA,4FAA4F,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,gBAAgB,CAAA,CAAC,CAAA,uEAAuE,CAAA,CAAC,CAAA,uBAAuB,EAAC,CAAA,CAAC,CAAA,EAAC,KAAK,EAAC,gBAAgB,EAAC,QAAQ,EAAC,KAAK,EAAC,CAAA;IAC5gB,CAAC;IACD,MAAM,CAAC,KAAW,EAAC,IAAW,EAAC,IAAQ,EAAC,MAAe;QACrD,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,CAAC,KAAK,IAAI,MAAM,KAAG,SAAS,IAAI,KAAK,CAAC,MAAM,KAAG,IAAI,IAAI,KAAK,CAAC,KAAK,KAAG,UAAU;YAAC,OAAM;QACzF,MAAM,MAAM,GAAG,CAAC,MAAM,EAAC,KAAK,EAAC,MAAM,EAAC,UAAU,EAAC,OAAO,EAAC,MAAM,EAAC,QAAQ,EAAC,QAAQ,EAAC,aAAa,EAAC,YAAY,EAAC,cAAc,EAAC,YAAY,EAAC,WAAW,EAAC,YAAY,EAAC,WAAW,EAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC3M,IAAG,KAAK,CAAC,KAAK,KAAG,gBAAgB;YAAC,OAAO,MAAM,CAAA,CAAC,CAAA,uIAAuI,CAAA,CAAC,CAAA,SAAS,CAAA;QACjM,IAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAC,OAAM;QACnC,IAAG,IAAI,KAAG,WAAW,IAAI,IAAI,EAAE,SAAS,KAAG,IAAI,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC,QAAQ,IAAE,CAAC,CAAA,CAAC,CAAA,0FAA0F,CAAA,CAAC,CAAA,SAAS,CAAA;QAC/H,CAAC;QACD,IAAG,MAAM;YACP,OAAO,4BAA4B,KAAK,CAAC,KAAK,KAAK,uBAAuB,EAAE,CAAA;IAChF,CAAC;IACD,QAAQ,CAAC,KAAW,EAAC,IAAW,EAAC,IAAQ,EAAC,MAAU,EAAC,UAA2B;QAC9E,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAG,UAAU,IAAI,KAAK,CAAC,MAAM,KAAG,KAAK,IAAI,MAAM,EAAE,MAAM,KAAG,IAAI;YAAC,OAAM;QAC3F,IAAG,IAAI,KAAG,WAAW,IAAI,IAAI,CAAC,SAAS,KAAG,IAAI,IAAI,KAAK,CAAC,KAAK,KAAG,UAAU,EAAE,CAAC;YAC3E,KAAK,CAAC,QAAQ,EAAE,CAAA;YAChB,IAAG,MAAM,EAAE,EAAE,KAAG,IAAI,IAAI,OAAO,MAAM,CAAC,WAAW,KAAG,QAAQ,EAAC,CAAC;gBAC5D,KAAK,CAAC,WAAW,GAAC,MAAM,CAAC,WAAW,CAAC;gBAAA,KAAK,CAAC,KAAK,GAAC,gBAAgB,CAAA;YACnE,CAAC;iBAAK,CAAC;gBAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAAC,KAAK,CAAC,KAAK,GAAC,KAAK,CAAC,QAAQ,IAAE,CAAC,CAAA,CAAC,CAAA,QAAQ,CAAA,CAAC,CAAA,oBAAoB,CAAA;YAAC,CAAC;QACzF,CAAC;QACD,IAAG,IAAI,KAAG,cAAc,IAAI,KAAK,CAAC,KAAK,KAAG,gBAAgB,IAAI,IAAI,CAAC,iBAAiB,KAAG,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;eAC1L,MAAM,EAAE,EAAE,KAAG,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;YAClF,KAAK,CAAC,KAAK,GAAC,UAAU,CAAA;IAC1B,CAAC;CACF"}
+{"version":3,"file":"coding-preparation.js","sourceRoot":"","sources":["../../../src/dsh/lisp/coding-preparation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,UAAU,EAAC,UAAU,EAAC,MAAM,aAAa,CAAA;AACjD,OAAO,EAAC,YAAY,EAAE,kBAAkB,EAAC,MAAM,8BAA8B,CAAA;AAE7E,OAAO,EAAE,mBAAmB,EAAiC,MAAM,uBAAuB,CAAA;AAE1F,MAAM,CAAC,MAAM,uBAAuB,GAAG,4ZAA4Z,CAAA;AACnc,MAAM,4BAA4B,GAAG,4XAA4X,CAAA;AASja,yGAAyG;AACzG,MAAM,OAAO,qBAAqB;IAEH;IADZ,MAAM,GAAG,IAAI,OAAO,EAAsB,CAAA;IAC3D,YAA6B,IAO5B;QAP4B,SAAI,GAAJ,IAAI,CAOhC;IAAG,CAAC;IACG,OAAO,CAAC,KAAW;QACzB,MAAM,KAAK,GAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAA;QAC5B,MAAM,QAAQ,GAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACxC,OAAO,KAAK,IAAI,KAAK,CAAC,KAAK,KAAG,KAAK,IAAI,KAAK,CAAC,SAAS,KAAG,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,KAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/H,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,KAAqB;QACjC,MAAM,QAAQ,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACxC,kFAAkF;QAClF,8FAA8F;QAC9F,MAAM,cAAc,GAAG,KAAK,CAAC,aAAa,EAAE,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,WAAW,KAAK,gBAAgB,CAAA;QACvH,IAAI,CAAC,cAAc,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACpE,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC9C,MAAM,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAC,KAAK,CAAC,IAAI,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrG,IAAI,QAAQ,EAAE,GAAG,KAAG,GAAG,EAAE,CAAC;YAAC,MAAM,QAAQ,CAAC,OAAO,CAAC;YAAC,IAAG,QAAQ,CAAC,KAAK,KAAG,WAAW;gBAAC,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAAC,IAAG,QAAQ,CAAC,KAAK,KAAG,aAAa;gBAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAChM,MAAM,KAAK,GAAa,EAAC,KAAK,EAAC,KAAK,CAAC,KAAK,EAAC,GAAG,QAAQ,EAAC,IAAI,EAAC,KAAK,CAAC,IAAI,EAAC,GAAG,EAAC,iBAAiB,EAAC,KAAK,EAAC,KAAK,EAAC,gBAAgB,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,CAAA;QAChJ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAC,KAAK,CAAC,CAAA;QAClC,KAAK,CAAC,OAAO,GAAC,CAAC,KAAK,IAAE,EAAE;YACtB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YAClH,IAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAG,KAAK,IAAI,KAAK,CAAC,GAAG,KAAG,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO;gBAAC,MAAM,IAAI,mBAAmB,CAAC,+CAA+C,CAAC,CAAA;YAC9J,MAAM,QAAQ,GAAC,cAAc;gBAC3B,CAAC,CAAC,EAAC,MAAM,EAAC,UAAmB,EAAC,MAAM,EAAC,KAAc,EAAC,SAAS,EAAC,mBAAmB,QAAQ,CAAC,SAAS,IAAI,GAAG,EAAE,EAAC;gBAC7G,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACjC,IAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAG,KAAK,IAAI,KAAK,CAAC,GAAG,KAAG,GAAG;gBAAC,MAAM,IAAI,mBAAmB,CAAC,uDAAuD,CAAC,CAAA;YAC9I,IAAG,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAG,WAAW,EAAE,CAAC;gBAAC,KAAK,CAAC,KAAK,GAAC,WAAW,CAAC;gBAAC,MAAM,IAAI,mBAAmB,EAAE,CAAA;YAAC,CAAC;YACtH,IAAG,QAAQ,CAAC,MAAM,KAAG,SAAS;gBAAC,OAAM;YACrC,IAAG,QAAQ,CAAC,MAAM,KAAG,aAAa,EAAE,CAAC;gBAAC,KAAK,CAAC,KAAK,GAAC,aAAa,CAAC;gBAAC,KAAK,CAAC,MAAM,GAAC,QAAQ,CAAC,MAAM,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YAAC,CAAC;YACjI,KAAK,CAAC,MAAM,GAAC,QAAQ,CAAC,MAAM,CAAC;YAAA,KAAK,CAAC,SAAS,GAAC,QAAQ,CAAC,SAAS,CAAA;YAC/D,KAAK,CAAC,KAAK,GAAC,QAAQ,CAAC,MAAM,KAAG,KAAK,CAAA,CAAC,CAAA,UAAU,CAAA,CAAC,CAAA,UAAU,CAAA;YACzD,IAAG,QAAQ,CAAC,MAAM,KAAG,KAAK;gBAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;;gBAC3D,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAChD,CAAC,CAAC,EAAE,CAAA;QACJ,IAAG,CAAC;YAAA,MAAM,KAAK,CAAC,OAAO,CAAA;QAAA,CAAC;QAAA,OAAM,KAAK,EAAC,CAAC;YAAA,IAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAG,KAAK,IAAI,KAAK,CAAC,GAAG,KAAG,GAAG,IAAI,KAAK,CAAC,KAAK,KAAG,gBAAgB,EAAC,CAAC;gBAAA,KAAK,CAAC,KAAK,GAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAA,CAAC,CAAA,WAAW,CAAA,CAAC,CAAA,aAAa,CAAC;gBAAA,KAAK,CAAC,MAAM,GAAC,KAAK,YAAY,KAAK,CAAA,CAAC,CAAA,KAAK,CAAC,OAAO,CAAA,CAAC,CAAA,MAAM,CAAC,KAAK,CAAC,CAAA;YAAA,CAAC;YAAA,MAAM,KAAK,CAAA;QAAA,CAAC;gBAAO,CAAC;YAAA,OAAO,KAAK,CAAC,OAAO,CAAA;QAAA,CAAC;IACtS,CAAC;IACD,SAAS,CAAC,KAAW,EAAC,IAAW;QAC/B,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,OAAO,KAAK,EAAE,IAAI,KAAG,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAC,MAAM,EAAC,KAAK,CAAC,MAAM,EAAC,SAAS,EAAC,KAAK,CAAC,SAAS,EAAC,CAAA,CAAC,CAAA,SAAS,CAAA;IAC1H,CAAC;IACD,QAAQ,CAAC,KAAW,EAAC,IAAW,EAAC,MAAiB,EAAC,SAAgB;QACjE,IAAI,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAG,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAG,IAAI,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAG,SAAS,EAAE,CAAC;YACjF,MAAM,QAAQ,GAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAC,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAC,IAAI,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACjI,KAAK,GAAC,EAAC,KAAK,EAAC,GAAG,QAAQ,EAAC,IAAI,EAAC,GAAG,EAAC,iBAAiB,EAAC,IAAI,EAAC,KAAK,EAAC,gBAAgB,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,CAAA;YACtG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAC,KAAK,CAAC,CAAA;QAC9B,CAAC;QACD,IAAG,KAAK,CAAC,MAAM,KAAG,MAAM,IAAI,KAAK,CAAC,iBAAiB;YAAC,OAAM;QAC1D,KAAK,CAAC,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAC,IAAI,EAAC,SAAS,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC3G,KAAK,CAAC,iBAAiB,GAAC,IAAI,CAAA;QAC5B,KAAK,CAAC,MAAM,GAAC,MAAM,CAAC;QAAA,KAAK,CAAC,SAAS,GAAC,SAAS,CAAC;QAAA,KAAK,CAAC,KAAK,GAAC,MAAM,KAAG,KAAK,CAAA,CAAC,CAAA,oBAAoB,CAAA,CAAC,CAAA,UAAU,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,OAAO,KAAK,CAAC,WAAW,CAAA;IACrK,CAAC;IACD,MAAM,CAAC,KAAW,EAAC,OAAe,EAAC,SAAiB;QAClD,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAG,WAAW;YAAC,OAAM;QAC7C,KAAK,CAAC,GAAG,GAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAC,OAAO,EAAC,SAAS,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAClH,KAAK,CAAC,MAAM,GAAC,OAAO,CAAA,CAAC,CAAA,KAAK,CAAA,CAAC,CAAA,IAAI,CAAC;QAAA,KAAK,CAAC,SAAS,GAAC,SAAS,IAAI,iBAAiB,KAAK,CAAC,GAAG,IAAI,OAAO,EAAE,CAAA;QACpG,KAAK,CAAC,KAAK,GAAC,OAAO,CAAA,CAAC,CAAA,CAAC,KAAK,CAAC,iBAAiB,CAAA,CAAC,CAAA,oBAAoB,CAAA,CAAC,CAAA,UAAU,CAAC,CAAA,CAAC,CAAA,UAAU,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,KAAK,CAAC,QAAQ,GAAC,CAAC,CAAC;QAAA,OAAO,KAAK,CAAC,WAAW,CAAA;IACrJ,CAAC;IACD,SAAS,CAAC,KAAW,EAAC,IAAW;QAC/B,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,KAAK,EAAE,IAAI,KAAG,IAAI,EAAC,CAAC;YAAA,KAAK,CAAC,GAAG,GAAC,UAAU,EAAE,CAAC;YAAA,KAAK,CAAC,KAAK,GAAC,WAAW,CAAC;YAAA,OAAO,KAAK,CAAC,MAAM,CAAC;YAAA,OAAO,KAAK,CAAC,SAAS,CAAA;QAAA,CAAC;IACnH,CAAC;IACD,OAAO,CAAC,KAAW,IAAqB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAA,CAAC,CAAC;IACzE,MAAM,CAAC,KAAW;QAChB,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,OAAO,KAAK,CAAA,CAAC,CAAA,EAAC,KAAK,EAAC,KAAK,CAAC,KAAK,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,WAAW,EAAC,KAAK,CAAC,WAAW,EAAC,QAAQ,EAAC,KAAK,CAAC,KAAK,KAAG,UAAU,EAAC,QAAQ,EAAC,KAAK,CAAC,KAAK,KAAG,WAAW,CAAA,CAAC,CAAA,8FAA8F,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,aAAa,CAAA,CAAC,CAAA,yBAAyB,KAAK,CAAC,MAAM,EAAE,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,UAAU,CAAA,CAAC,CAAA,uBAAuB,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,UAAU,CAAA,CAAC,CAAA,0DAA0D,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,UAAU,CAAA,CAAC,CAAA,4FAA4F,CAAA,CAAC,CAAA,KAAK,CAAC,KAAK,KAAG,gBAAgB,CAAA,CAAC,CAAA,uEAAuE,CAAA,CAAC,CAAA,KAAK,CAAC,iBAAiB,CAAA,CAAC,CAAA,4BAA4B,CAAA,CAAC,CAAA,uBAAuB,EAAC,CAAA,CAAC,CAAA,EAAC,KAAK,EAAC,gBAAgB,EAAC,QAAQ,EAAC,KAAK,EAAC,CAAA;IAC/yB,CAAC;IACD,MAAM,CAAC,KAAW,EAAC,IAAW,EAAC,IAAQ,EAAC,MAAe;QACrD,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,CAAC,KAAK,IAAI,MAAM,KAAG,SAAS,IAAI,KAAK,CAAC,MAAM,KAAG,IAAI,IAAI,KAAK,CAAC,KAAK,KAAG,UAAU;YAAC,OAAM;QACzF,MAAM,MAAM,GAAG,CAAC,MAAM,EAAC,KAAK,EAAC,MAAM,EAAC,UAAU,EAAC,OAAO,EAAC,MAAM,EAAC,QAAQ,EAAC,QAAQ,EAAC,aAAa,EAAC,YAAY,EAAC,cAAc,EAAC,YAAY,EAAC,WAAW,EAAC,YAAY,EAAC,WAAW,EAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC3M,IAAG,KAAK,CAAC,KAAK,KAAG,WAAW;YAAC,OAAO,MAAM,CAAA,CAAC,CAAA,+IAA+I,CAAA,CAAC,CAAA,SAAS,CAAA;QACpM,IAAG,KAAK,CAAC,KAAK,KAAG,aAAa;YAAC,OAAO,MAAM,CAAA,CAAC,CAAA,4BAA4B,KAAK,CAAC,MAAM,EAAE,CAAA,CAAC,CAAA,SAAS,CAAA;QACjG,IAAG,KAAK,CAAC,KAAK,KAAG,gBAAgB;YAAC,OAAO,MAAM,CAAA,CAAC,CAAA,oLAAoL,CAAA,CAAC,CAAA,SAAS,CAAA;QAC9O,IAAG,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAC,OAAM;QAC/D,IAAG,IAAI,KAAG,WAAW,IAAI,IAAI,EAAE,SAAS,KAAG,IAAI,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC,QAAQ,IAAE,CAAC,CAAA,CAAC,CAAA,0FAA0F,CAAA,CAAC,CAAA,SAAS,CAAA;QAC/H,CAAC;QACD,IAAG,MAAM;YACP,OAAO,4BAA4B,KAAK,CAAC,KAAK,KAAK,4BAA4B,EAAE,CAAA;IACrF,CAAC;IACD,QAAQ,CAAC,KAAW,EAAC,IAAW,EAAC,IAAQ,EAAC,MAAU,EAAC,UAA2B;QAC9E,MAAM,KAAK,GAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAG,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAG,UAAU,IAAI,KAAK,CAAC,MAAM,KAAG,KAAK,IAAI,MAAM,EAAE,MAAM,KAAG,IAAI;YAAC,OAAM;QAC3F,IAAG,IAAI,KAAG,WAAW,IAAI,IAAI,CAAC,SAAS,KAAG,IAAI,IAAI,KAAK,CAAC,KAAK,KAAG,UAAU,EAAE,CAAC;YAC3E,KAAK,CAAC,QAAQ,EAAE,CAAA;YAChB,IAAG,MAAM,EAAE,EAAE,KAAG,IAAI,IAAI,OAAO,MAAM,CAAC,WAAW,KAAG,QAAQ,EAAC,CAAC;gBAC5D,KAAK,CAAC,WAAW,GAAC,MAAM,CAAC,WAAW,CAAC;gBAAA,KAAK,CAAC,KAAK,GAAC,gBAAgB,CAAA;YACnE,CAAC;iBAAK,CAAC;gBAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAAC,KAAK,CAAC,KAAK,GAAC,KAAK,CAAC,iBAAiB,CAAA,CAAC,CAAA,CAAC,KAAK,CAAC,QAAQ,IAAE,CAAC,CAAA,CAAC,CAAA,QAAQ,CAAA,CAAC,CAAA,oBAAoB,CAAC,CAAA,CAAC,CAAA,UAAU,CAAA;YAAC,CAAC;QAC9H,CAAC;QACD,IAAG,IAAI,KAAG,cAAc,IAAI,KAAK,CAAC,KAAK,KAAG,gBAAgB,IAAI,IAAI,CAAC,iBAAiB,KAAG,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;eAC1L,MAAM,EAAE,EAAE,KAAG,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;YAClF,KAAK,CAAC,KAAK,GAAC,UAAU,CAAA;IAC1B,CAAC;CACF"}

package/dist/dsh/lisp/manager.d.ts

@@ -67,10 +67,13 @@ export declare class LispManager {
     private retainOwned;
     private ownedDispatch;
     private stopOwned;
+    private journalProtectedJob;
+    private journalRequest;
     private bridge;
     private bridgeBound;
     /** Session-local process evidence only; observing it never creates or wakes a worker. */
     taskJobsIdle(owner: LispOwner): boolean;
+    private managedUnresolved;
     status(owner: LispOwner, offset?: number): Promise<unknown>;
     diagnostics(owner: LispOwner, id?: string): Promise<unknown>;
     execute(owner: LispOwner, tool: LispTool, input: Record<string, unknown>, signal?: AbortSignal, nativeCommands?: LispNativeCommands): Promise<unknown>;

package/dist/dsh/lisp/manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/manager.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAA;AAQlE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,EAA2D,KAAK,iBAAiB,EAAE,KAAK,SAAS,EAAkB,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC/J,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAEtC,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,aAAa,CAAA;AAK7D,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,SAAS,CAAA;AAC/D,OAAO,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,eAAe,CAAA;AAMlE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAA0B,MAAM,qBAAqB,CAAA;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAWjD,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,KAAK,yBAAyB,CAAA;IACtF,YAAY,CAAC,EAAE,eAAe,CAAA;IAC9B,KAAK,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,CAAC,EAAE,gBAAgB,CAAA;IACxI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,EAAC,WAAW,EAAC,MAAM,CAAC,EAAC,MAAM,EAAE,SAAS,CAAC,EAAC,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IACxJ,WAAW,CAAC,EAAE,CAAC,KAAK,EAAC,SAAS,KAAG;QAAC,IAAI,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,OAAO,CAAC;QAAA,cAAc,EAAC,MAAM,CAAA;KAAC,EAAE,CAAA;IACzF,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,aAAa,CAAC,CAAA;IACzG,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAClH,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACpI,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,KAAK,eAAe,CAAA;IAC1F,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,GAAG,oBAAoB,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAChJ,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,GAAG,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;CAC/I;AACD,6FAA6F;AAC7F,wBAAsB,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAqB9I;AAED,wFAAwF;AACxF,qBAAa,WAAW;;IAiBV,QAAQ,CAAC,OAAO,EAAE,cAAc;IAhB5C,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAA;IACzC,QAAQ,CAAC,OAAO,sBAA4B;gBAevB,OAAO,EAAE,cAAc;IAsBtC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAuB5B,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,cAAc;YACR,mBAAmB;IAQ3B,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,UAAQ,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAgBlF,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAoBpE,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;YAMtC,eAAe;IAoB7B,kFAAkF;YACpE,OAAO;YAkFP,WAAW;IA6CzB,+EAA+E;IAC/E,OAAO,CAAC,WAAW;IAkBnB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,YAAY;YAYN,OAAO;IAerB,iFAAiF;IAC3E,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAQjD,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI;IAQnD,8EAA8E;IACxE,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAiBtD,OAAO,CAAC,MAAM;IAKd,OAAO,CAAC,WAAW;YAKL,aAAa;IAI3B,OAAO,CAAC,SAAS;IAkBjB,OAAO,CAAC,MAAM;YASA,WAAW;IA4IzB,yFAAyF;IACzF,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO;IAYjC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAwB3D,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAYlE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,cAAc,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,OAAO,CAAC;YAexI,QAAQ;YA0WR,UAAU;YAQV,MAAM;YAKN,MAAM;IAmBd,2BAA2B,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAKrE,mFAAmF;YACrE,iBAAiB;IAS/B,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;YAOnD,YAAY;IA4BpB,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAS7D,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;YAO9D,YAAY;IAcpB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAgB3C,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAQ/B"}
+{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/manager.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAA;AAQlE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,EAA2D,KAAK,iBAAiB,EAAE,KAAK,SAAS,EAAkB,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC/J,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAEtC,OAAO,EAAc,KAAK,cAAc,EAAY,MAAM,aAAa,CAAA;AAKvE,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,SAAS,CAAA;AAC/D,OAAO,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,eAAe,CAAA;AAMlE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAA0B,MAAM,qBAAqB,CAAA;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAYjD,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,KAAK,yBAAyB,CAAA;IACtF,YAAY,CAAC,EAAE,eAAe,CAAA;IAC9B,KAAK,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,iBAAiB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,CAAC,EAAE,gBAAgB,CAAA;IACxI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,EAAC,WAAW,EAAC,MAAM,CAAC,EAAC,MAAM,EAAE,SAAS,CAAC,EAAC,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IACxJ,WAAW,CAAC,EAAE,CAAC,KAAK,EAAC,SAAS,KAAG;QAAC,IAAI,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,OAAO,CAAC;QAAA,cAAc,EAAC,MAAM,CAAA;KAAC,EAAE,CAAA;IACzF,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,aAAa,CAAC,CAAA;IACzG,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAClH,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACpI,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,KAAK,eAAe,CAAA;IAC1F,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,GAAG,oBAAoB,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IAChJ,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,GAAG,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;CAC/I;AACD,6FAA6F;AAC7F,wBAAsB,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAqB9I;AAED,wFAAwF;AACxF,qBAAa,WAAW;;IAiBV,QAAQ,CAAC,OAAO,EAAE,cAAc;IAhB5C,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAA;IACzC,QAAQ,CAAC,OAAO,sBAA4B;gBAevB,OAAO,EAAE,cAAc;IAsBtC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IA6B5B,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,cAAc;YACR,mBAAmB;IAQ3B,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,UAAQ,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAgBlF,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAoBpE,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;YAMtC,eAAe;IAoB7B,kFAAkF;YACpE,OAAO;YAkFP,WAAW;IA8CzB,+EAA+E;IAC/E,OAAO,CAAC,WAAW;IAkBnB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,YAAY;YAYN,OAAO;IAerB,iFAAiF;IAC3E,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAQjD,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI;IAQnD,8EAA8E;IACxE,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAiBtD,OAAO,CAAC,MAAM;IAKd,OAAO,CAAC,WAAW;YAKL,aAAa;IAI3B,OAAO,CAAC,SAAS;YAkBH,mBAAmB;YA2BnB,cAAc;IAc5B,OAAO,CAAC,MAAM;YAmBA,WAAW;IA6IzB,yFAAyF;IACzF,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO;IAYvC,OAAO,CAAC,iBAAiB;IAgBnB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IA2B3D,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAiBlE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,cAAc,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,OAAO,CAAC;YAexI,QAAQ;YA0WR,UAAU;YAQV,MAAM;YAKN,MAAM;IAmBd,2BAA2B,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAKrE,mFAAmF;YACrE,iBAAiB;IAS/B,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;YAOnD,YAAY;IAgCpB,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAS7D,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;YAO9D,YAAY;IAcpB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC;IAgB3C,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAQ/B"}

package/dist/dsh/lisp/manager.js

@@ -1,3 +1,5 @@
+import { ManagedOperationJournal } from '../managed-operation-journal.js';
+import { runManagedOperation, observeManagedResult, managedAdmissionDenied, isManagedAdmissionDenied } from '../managed-operation-runner.js';
 import { LispRecoverySession } from './recovery.js';
 import { CodeIntelligenceAdapterV1 } from './code-intelligence.js';
 import { CODE_METHODS } from './code-intelligence-contracts.js';
@@ -142,6 +144,12 @@ export class LispManager {
             for (const session of await this.#store.start())
                 this.enabled.set(session.session_id, session.root_path);
             await this.#hot.catalog.expire();
+            await this.#store.database(db => {
+                const journal = new ManagedOperationJournal(db);
+                for (const row of db.prepare(`SELECT scope_id FROM dsh_managed_scopes WHERE json_extract(scope_json,'$.runtimeIdentity') LIKE 'sbcl:%'`).all()) {
+                    journal.recover(row.scope_id);
+                }
+            });
         }
         catch (error) {
             await unlink(lockPath);
@@ -293,21 +301,21 @@ export class LispManager {
             if (this.#config.executionMode === 'protected') {
                 const canary = join(base, 'host-canary');
                 await writeFile(canary, 'protected', { mode: 0o600 });
-                const probe = await worker.request('eval', { inputs: [], code: `(let ((read-denied (handler-case (progn (with-open-file (s ${JSON.stringify(canary)}) (read-char s)) nil) (file-error () t))) (delete-denied (handler-case (progn (delete-file ${JSON.stringify(canary)}) nil) (file-error () t)))) (unless (and read-denied delete-denied) (error "ISOLATION_FAILED")) :protected)` }, this.#config.startupTimeoutMs, combined);
+                const probe = await this.journalRequest(state, worker, 'eval', { inputs: [], code: `(let ((read-denied (handler-case (progn (with-open-file (s ${JSON.stringify(canary)}) (read-char s)) nil) (file-error () t))) (delete-denied (handler-case (progn (delete-file ${JSON.stringify(canary)}) nil) (file-error () t)))) (unless (and read-denied delete-denied) (error "ISOLATION_FAILED")) :protected)` }, this.#config.startupTimeoutMs, combined);
                 if (!probe.ok || await readFile(canary, 'utf8') !== 'protected')
                     fail('ISOLATION_FAILED', 'OS によるファイル保護を確認できません。');
             }
             assertCurrent();
             state.state = 'EVALUATING';
             if (mode === 'compile') {
-                const checked = await worker.request('task-compile', { code }, this.#config.timeoutMs, combined);
+                const checked = await this.journalRequest(state, worker, 'task-compile', { code }, this.#config.timeoutMs, combined);
                 assertCurrent();
                 if (!checked.ok || checked.proposals.length)
                     fail('TASK_COMPILE_FAILED', String(checked.value).slice(0, 1000));
                 return { value: null, output: worker.output(), generation: worker.generation };
             }
             if (mode === 'eval') {
-                const evaluated = await worker.request('eval', { code, inputs: [] }, this.#config.timeoutMs, combined);
+                const evaluated = await this.journalRequest(state, worker, 'eval', { code, inputs: [] }, this.#config.timeoutMs, combined);
                 assertCurrent();
                 if (!evaluated.ok || evaluated.proposals.length)
                     fail('TASK_EVAL_FAILED', String(evaluated.value).slice(0, 1000));
@@ -321,7 +329,7 @@ export class LispManager {
             await writeFile(inputPath, encoded, { flag: 'wx', mode: 0o400 });
             assertCurrent();
             state.state = 'EVALUATING';
-            const response = await worker.request('task', { code, input: inputPath }, this.#config.timeoutMs, combined);
+            const response = await this.journalRequest(state, worker, 'task', { code, input: inputPath }, this.#config.timeoutMs, combined);
             if (!response.ok || response.proposals.length)
                 fail('TASK_EXECUTION_FAILED', String(response.value).slice(0, 1000));
             const result = await snapshot(layout.scratch, 'task-result.json', []);
@@ -380,7 +388,7 @@ export class LispManager {
                 layout.compiled = compiled.path;
                 layout.workspace = state.owner.root;
                 layout.protected = this.#config.executionMode === 'protected';
-                worker = new LispWorker(layout, this.#config, (method, args, context) => this.bridge(state, method, args, context), undefined, () => this.taskAuthority.bound(state.execution, async () => { await this.taskAuthority.authorizeEffect(state.owner, this.#config.executionMode === 'protected' ? 'protected' : 'direct'); }));
+                worker = new LispWorker(layout, this.#config, (method, args, context) => this.bridge(state, method, args, context), undefined, () => this.taskAuthority.bound(state.execution, async () => { await this.taskAuthority.authorizeEffect(state.owner, this.#config.executionMode === 'protected' ? 'protected' : 'direct'); }), (input, launch) => this.journalProtectedJob(state, input, launch));
                 state.worker = worker;
                 if (this.#closed || state.state !== 'PREFLIGHT' || abort.signal.aborted)
                     fail('CANCELLED', '起動は取り消されています。');
@@ -390,7 +398,7 @@ export class LispManager {
                     const canary = join(base, 'host-canary');
                     await writeFile(canary, 'protected', { mode: 0o600 });
                     const quote = (value) => JSON.stringify(value);
-                    const probe = await worker.request('eval', { inputs: [], code: `(let ((read-denied (handler-case (progn (with-open-file (s ${quote(canary)}) (read-char s)) nil) (file-error () t))) (delete-denied (handler-case (progn (delete-file ${quote(canary)}) nil) (file-error () t)))) (unless (and read-denied delete-denied) (error "ISOLATION_FAILED")) (kioku.files:write-text (merge-pathnames "probe" (kioku.files:scratch)) "ok") :protected)` }, this.#config.startupTimeoutMs);
+                    const probe = await this.journalRequest(state, worker, 'eval', { inputs: [], code: `(let ((read-denied (handler-case (progn (with-open-file (s ${quote(canary)}) (read-char s)) nil) (file-error () t))) (delete-denied (handler-case (progn (delete-file ${quote(canary)}) nil) (file-error () t)))) (unless (and read-denied delete-denied) (error "ISOLATION_FAILED")) (kioku.files:write-text (merge-pathnames "probe" (kioku.files:scratch)) "ok") :protected)` }, this.#config.startupTimeoutMs);
                     if (!probe.ok || await readFile(canary, 'utf8') !== 'protected')
                         fail('ISOLATION_FAILED', 'OS によるファイル保護を確認できません。');
                 }
@@ -562,7 +570,7 @@ export class LispManager {
     }
     retainOwned(state, value) {
         const receipt = value?.receipt;
-        if (receipt && typeof receipt.operationId === 'string' && !(receipt.processStopped === true && ['completed', 'cancelled'].includes(receipt.state ?? '')))
+        if (receipt && typeof receipt.operationId === 'string' && !(receipt.processStopped === true && ['completed', 'cancelled'].includes(receipt.state ?? '') || receipt.state === 'denied' && receipt.processStarted === false))
             (state.ownedJobs ??= new Set()).add(receipt.operationId);
     }
     async ownedDispatch(state, action) {
@@ -606,8 +614,70 @@ export class LispManager {
         state.ownedStop = stopping.finally(() => { delete state.ownedStop; });
         return state.ownedStop;
     }
+    async journalProtectedJob(state, input, launch) {
+        const scope = state.managedScope;
+        if (!scope)
+            fail('JOURNAL_SCOPE_MISSING', 'Managed evaluation collection is unavailable.');
+        await scope.database(db => {
+            if (db.prepare(`SELECT 1 FROM dsh_managed_operations o JOIN dsh_managed_scopes s ON s.scope_id=o.scope_id
+        WHERE json_extract(s.scope_json,'$.sessionId')=? AND json_extract(o.operation_json,'$.route')='native' AND o.state='unknown' LIMIT 1`).get(state.owner.sessionId)) {
+                new ManagedOperationJournal(db).markIncomplete(scope.scopeId);
+                fail('JOURNAL_RECONCILE_REQUIRED', 'A previous native operation is unresolved; inspect it before another effect.');
+            }
+        });
+        const operation = await scope.database(db => new ManagedOperationJournal(db).prepare(scope.scopeId, { route: 'native', kind: 'process', request: { input, environment: { ...process.env }, cwd: state.worker?.layout.scratch, runtime: process.version } }));
+        if (!await scope.database(db => new ManagedOperationJournal(db).claim(operation.operationId)))
+            fail('JOURNAL_REPLAY', 'Process already dispatched.');
+        let job;
+        try {
+            job = await launch();
+        }
+        catch (error) {
+            await scope.database(db => new ManagedOperationJournal(db).transition(operation.operationId, { state: isManagedAdmissionDenied(error) ? 'denied' : 'unknown' }));
+            throw error;
+        }
+        await scope.database(db => new ManagedOperationJournal(db).transition(operation.operationId, { state: 'running' }));
+        const done = job.done;
+        job.done = done.then(async () => {
+            await observeManagedResult({ ...scope, operationId: operation.operationId, kind: 'process' }, {
+                code: job.result?.code, receipt: { route: 'native', processStopped: job.settled === true },
+            });
+            await scope.database(db => new ManagedOperationJournal(db).setDelivery(operation.operationId, 'delivered'));
+        });
+        // Background completion persists independently of Lisp's final return value.
+        void job.done.catch(() => { });
+        return job;
+    }
+    async journalRequest(state, worker, ...args) {
+        const lease = state.execution?.lease ?? this.taskAuthority.current()?.lease;
+        const scope = await this.#store.database(db => new ManagedOperationJournal(db).createScope({
+            ...(lease ? { binding: { taskId: lease.taskId, workerGeneration: worker.generation, leaseAuthorityGeneration: lease.generation, leaseRevision: lease.revision } } : {}),
+            sessionId: state.owner.sessionId, parentId: randomUUID(), runtimeIdentity: `sbcl:${worker.generation}`,
+        }));
+        const managedScope = { database: this.#store.database, scopeId: scope.scopeId };
+        state.managedScope = managedScope;
+        try {
+            return await worker.request(...args);
+        }
+        finally {
+            if (state.managedScope === managedScope)
+                delete state.managedScope;
+            await this.#store.database(db => new ManagedOperationJournal(db).seal(scope.scopeId));
+        }
+    }
     bridge(state, method, args, context) {
-        const pending = this.taskAuthority.bound(state.execution, () => this.bridgeBound(state, method, args, context));
+        const pending = this.taskAuthority.bound(state.execution, () => {
+            const parsed = args;
+            const processEffect = ['run', 'start-job', 'ci-verify'].includes(method) || method === 'tool-call' && parsed?.name === 'kioku_exec';
+            const file = method === 'tool-call' && ['kioku_write', 'kioku_edit', 'kioku_remove'].includes(parsed?.name ?? '');
+            if (!processEffect && !file)
+                return this.bridgeBound(state, method, args, context);
+            if (!state.managedScope)
+                fail('JOURNAL_SCOPE_MISSING', 'Managed evaluation collection is unavailable; no operation was dispatched.');
+            const route = method === 'run' && this.taskAuthority.current()?.nativeCommands && this.#config.executionMode === 'development' ? 'native' : 'owned';
+            return runManagedOperation(state.managedScope, { route, kind: file ? 'file' : 'process',
+                request: { method, args, cwd: state.owner.root, workerGeneration: context.generation, evaluationId: context.evaluationId, rpcId: context.rpcId, environment: { ...process.env }, runtime: process.version } }, () => this.bridgeBound(state, method, args, context));
+        });
         if (['run', 'start-job', 'tool-call', 'ci-verify'].includes(method)) {
             (state.ownedCalls ??= new Set()).add(pending);
             const settled = () => { state.ownedCalls?.delete(pending); };
@@ -745,8 +815,9 @@ export class LispManager {
             const active = [...state.active];
             if (active.length !== 1)
                 fail('HOST_STATE', 'CI 呼び出しの実行主体を一意に確認できません。');
+            // This authority check precedes the CI adapter; a refusal proves no dispatch.
             if (request.kind === 'verify')
-                await this.taskAuthority.authorizeEffect(state.owner);
+                await this.taskAuthority.authorizeEffect(state.owner).catch(managedAdmissionDenied);
             context.signal.throwIfAborted();
             const result = await this.options.ciCall(state.owner, request, active[0].signal, state.worker.layout.scratch);
             if (request.kind === 'verify')
@@ -814,6 +885,22 @@ export class LispManager {
         }
         return true;
     }
+    managedUnresolved(owner) {
+        return this.#store.database(db => {
+            // Safety decisions use the full set, never the bounded diagnostic page.
+            const counts = db.prepare(`SELECT COUNT(*) AS total, COALESCE(SUM(CASE WHEN o.state='unknown' THEN 1 ELSE 0 END),0) AS unknown_count
+        FROM dsh_managed_operations o JOIN dsh_managed_scopes s ON s.scope_id=o.scope_id
+        WHERE json_extract(s.scope_json,'$.sessionId')=? AND o.state IN ('unknown','dispatching','running','prepared')`)
+                .get(owner.sessionId);
+            const operations = db.prepare(`SELECT o.operation_json FROM dsh_managed_operations o JOIN dsh_managed_scopes s ON s.scope_id=o.scope_id
+        WHERE json_extract(s.scope_json,'$.sessionId')=? AND o.state IN ('unknown','dispatching','running','prepared') ORDER BY o.rowid DESC LIMIT 100`)
+                .all(owner.sessionId).map(row => {
+                const value = JSON.parse(row.operation_json);
+                return { id: value.operationId, scopeId: value.scopeId, route: value.route, kind: value.kind, state: value.state, ...(value.originalRef ? { originalRef: value.originalRef } : {}) };
+            });
+            return { operations, total: counts.total, unknownCount: counts.unknown_count, truncated: counts.total > operations.length };
+        });
+    }
     async status(owner, offset) {
         const policy = this.options.questions?.approvalPolicy;
         const approval = { mode: policy?.mode() ?? this.#config.approvalMode, scope: 'profile', writable: policy?.writable() ?? false };
@@ -821,13 +908,16 @@ export class LispManager {
             return { approval, enabled: false, state: 'DISABLED', recovery: '/kioku-lisp enable' };
         const state = this.entry(owner);
         const taskMode = await this.isTaskMode(owner);
+        const managed = await this.managedUnresolved(owner);
+        const managedOperations = managed.operations;
+        const managedReconciliation = managed.unknownCount > 0;
         const unconfirmed = [...this.#agents.values()].find(s => s.owner.sessionId === owner.sessionId && s.state === 'STOP_UNCONFIRMED');
         if (state.state === 'READY' && !state.worker?.healthy)
             this.halted(state, new LispError('WORKER_EXITED', 'Lisp が終了しています。新しい Lisp の起動前に状態を確認してください。'));
         const summary = await this.#store.operationSummaries(owner.sessionId, offset);
         const taskSummary = taskMode ? await this.#store.taskSummary(owner) : undefined;
         const operations = summary.operations.map(o => ({ id: o.operation_id, agent: o.agent_id, kind: o.kind, state: o.state, updatedAt: o.updated_at }));
-        return { approval, enabled: true, state: unconfirmed ? 'STOP_UNCONFIRMED' : taskMode && state.state === 'RECOVERY_REQUIRED' && !state.worker ? 'TASK_READY' : state.state,
+        return { approval, enabled: true, managedOperations, managedOperationCount: managed.total, managedOperationsTruncated: managed.truncated, managedReconciliationRequired: managedReconciliation, state: managedReconciliation ? 'RECONCILIATION_REQUIRED' : unconfirmed ? 'STOP_UNCONFIRMED' : taskMode && state.state === 'RECOVERY_REQUIRED' && !state.worker ? 'TASK_READY' : state.state,
             generation: state.worker?.generation ?? null, supervisorPid: state.worker?.supervisorPid ?? null, error: unconfirmed?.error ?? (taskMode && !state.worker ? null : state.error ?? null),
             jobs: [...(state.worker?.jobStatus() ?? []), ...[...state.ownedJobs ?? []].map(operationId => ({ operationId, owner: 'kiokuko-execution' }))],
             executionMode: this.#config.executionMode,
@@ -838,14 +928,21 @@ export class LispManager {
             ...(taskSummary ? { task: taskSummary } : {}),
             hot: await this.#hot.status(owner),
             ...(offset === undefined ? {} : { operationCount: summary.count, pendingCount: Object.values(summary.pendingStates).reduce((a, b) => a + b, 0), pendingStates: summary.pendingStates, offset, nextOffset: offset + 10 < summary.count ? offset + 10 : null }),
-            recovery: unconfirmed ? '停止と操作記録を照合してください。自動再実行しません。' : taskMode && !state.worker ? null : state.state === 'SUSPENDED' ? 'Lisp は休止中です。次の利用時に自動起動します。変数・関数定義は保持されません。' : state.state === 'READY' ? null : '停止理由と操作履歴を確認し、/kioku-lisp recover を実行してください。' };
+            recovery: managedReconciliation ? 'Managed operations remain unresolved. Inspect the listed operation IDs and original receipts; restarting or abandoning Lisp does not reconcile external effects.' : unconfirmed ? '停止と操作記録を照合してください。自動再実行しません。' : taskMode && !state.worker ? null : state.state === 'SUSPENDED' ? 'Lisp は休止中です。次の利用時に自動起動します。変数・関数定義は保持されません。' : state.state === 'READY' ? null : '停止理由と操作履歴を確認し、/kioku-lisp recover を実行してください。' };
     }
     async diagnostics(owner, id) {
         this.entry(owner);
         if (id) {
             const operation = await this.#store.get(owner, identifier.parse(id));
-            if (!operation)
+            if (!operation) {
+                const managed = await this.#store.database(db => db.prepare(`SELECT o.operation_json FROM dsh_managed_operations o JOIN dsh_managed_scopes s ON s.scope_id=o.scope_id
+          WHERE o.operation_id=? AND json_extract(s.scope_json,'$.sessionId')=?`).get(id, owner.sessionId));
+                if (managed) {
+                    const value = JSON.parse(managed.operation_json);
+                    return { operationId: value.operationId, scopeId: value.scopeId, parentId: value.parentId, route: value.route, kind: value.kind, state: value.state, originalRef: value.originalRef ?? null, cause: value.cause ?? null, delivery: value.delivery };
+                }
                 fail('UNKNOWN_OPERATION', 'この主体の操作記録がありません。');
+            }
             return { ...operation, payload: JSON.parse(operation.payload), result: operation.result ? JSON.parse(operation.result) : null };
         }
         const operations = await this.#store.operations(owner.sessionId);
@@ -1257,7 +1354,7 @@ export class LispManager {
                 reserved = true;
                 if (tool === 'lisp_eval')
                     state.currentVerification = { operationId: id, generation: worker.generation, results: [] };
-                const response = await worker.request(tool === 'lisp_eval' ? 'eval' : tool === 'lisp_describe' ? 'describe' : 'inspect', args, timeout, combined);
+                const response = await this.journalRequest(state, worker, tool === 'lisp_eval' ? 'eval' : tool === 'lisp_describe' ? 'describe' : 'inspect', args, timeout, combined);
                 const result = { ok: response.ok, operationId: id, value: response.value, output: worker.output(), generation: worker.generation, proposals: response.proposals };
                 evidence = { ...result, state: response.ok ? 'RUNNING' : 'FAILED' };
                 await this.#store.transition(owner, id, ['RUNNING'], response.ok ? 'RUNNING' : 'FAILED', evidence);
@@ -1413,6 +1510,10 @@ export class LispManager {
         });
     }
     async recoverBound(owner, signal) {
+        const managed = await this.managedUnresolved(owner);
+        if (managed.unknownCount > 0)
+            return { ok: false, code: 'RECONCILIATION_REQUIRED',
+                message: 'External operation results remain unknown. Inspect the listed originals. Native results without a verifiable host receipt cannot be cleared by restarting Lisp; no command was retried.', managedOperations: managed.operations, managedOperationCount: managed.total, managedOperationsTruncated: managed.truncated };
         if (await this.isTaskMode(owner)) {
             await this.stopTaskWorkers(owner.sessionId);
             await Promise.allSettled([...this.#executions].filter(([, session]) => session === owner.sessionId).map(([promise]) => promise));