kiokuko-dsh 0.1.93 → 0.1.94

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

@@ -10,7 +10,7 @@ export declare const LispConfig: z.ZodObject<{
     maxOutputBytes: z.ZodDefault<z.ZodNumber>;
 }, z.core.$strict>;
 export type LispConfiguration = z.infer<typeof LispConfig>;
-export declare const LISP_TOOLS: readonly ["lisp_eval", "lisp_define", "lisp_call", "lisp_observe", "lisp_stage", "lisp_verify", "lisp_apply", "lisp_compare", "lisp_describe", "lisp_inspect", "lisp_status", "lisp_cancel", "lisp_reset"];
+export declare const LISP_TOOLS: readonly ["lisp_eval", "lisp_define", "lisp_call", "lisp_observe", "lisp_stage", "lisp_verify", "lisp_apply", "lisp_compare", "lisp_describe", "lisp_inspect", "lisp_status", "lisp_cancel", "lisp_reset", "lisp_hot_contract", "lisp_hot_install", "lisp_hot_call", "lisp_hot_status", "lisp_hot_deactivate"];
 export type LispTool = typeof LISP_TOOLS[number];
 export declare const FRAME_BYTES = 1048576;
 export declare const FILE_BYTES: number;

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

@@ -1 +1 @@
-{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/contracts.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAEtD,eAAO,MAAM,UAAU;;;;;;;;kBAOZ,CAAA;AACX,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAA;AAC1D,eAAO,MAAM,UAAU,4MAA6M,CAAA;AACpO,MAAM,MAAM,QAAQ,GAAG,OAAO,UAAU,CAAC,MAAM,CAAC,CAAA;AAChD,eAAO,MAAM,WAAW,UAAY,CAAA;AACpC,eAAO,MAAM,UAAU,QAAmB,CAAA;AAC1C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAC9D,eAAO,MAAM,UAAU,aAA0D,CAAA;AACjF,MAAM,WAAW,SAAS;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAC/E,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,OAAO,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,GAAG,mBAAmB,GAAG,kBAAkB,CAAA;AAC/I,qBAAa,SAAU,SAAQ,gBAAgB;gBACjC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,SAAqC;CACzF;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAK7C;AACD,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAuC;AACjG,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAItG;AACD,eAAO,MAAM,SAAS;;;;kBACyD,CAAA;AAC/E,eAAO,MAAM,eAAe;;;;;;;iCAG1B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAA;AAC3D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;4BAGtB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAA"}
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/contracts.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAEtD,eAAO,MAAM,UAAU;;;;;;;;kBAOZ,CAAA;AACX,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAA;AAC1D,eAAO,MAAM,UAAU,gTACuF,CAAA;AAC9G,MAAM,MAAM,QAAQ,GAAG,OAAO,UAAU,CAAC,MAAM,CAAC,CAAA;AAChD,eAAO,MAAM,WAAW,UAAY,CAAA;AACpC,eAAO,MAAM,UAAU,QAAmB,CAAA;AAC1C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAC9D,eAAO,MAAM,UAAU,aAA0D,CAAA;AACjF,MAAM,WAAW,SAAS;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAC/E,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,OAAO,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,GAAG,mBAAmB,GAAG,kBAAkB,CAAA;AAC/I,qBAAa,SAAU,SAAQ,gBAAgB;gBACjC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,SAAqC;CACzF;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAK7C;AACD,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAuC;AACjG,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAItG;AACD,eAAO,MAAM,SAAS;;;;kBACyD,CAAA;AAC/E,eAAO,MAAM,eAAe;;;;;;;iCAG1B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAA;AAC3D,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;4BAGtB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAA"}

package/dist/dsh/lisp/contracts.js

@@ -9,7 +9,8 @@ export const LispConfig = z.object({
     idleTimeoutMs: z.number().int().min(1000).max(3_600_000).default(300_000),
     maxOutputBytes: z.number().int().min(1024).max(8_388_608).default(8_388_608),
 }).strict();
-export const LISP_TOOLS = ['lisp_eval', 'lisp_define', 'lisp_call', 'lisp_observe', 'lisp_stage', 'lisp_verify', 'lisp_apply', 'lisp_compare', 'lisp_describe', 'lisp_inspect', 'lisp_status', 'lisp_cancel', 'lisp_reset'];
+export const LISP_TOOLS = ['lisp_eval', 'lisp_define', 'lisp_call', 'lisp_observe', 'lisp_stage', 'lisp_verify', 'lisp_apply', 'lisp_compare', 'lisp_describe', 'lisp_inspect', 'lisp_status', 'lisp_cancel', 'lisp_reset',
+    'lisp_hot_contract', 'lisp_hot_install', 'lisp_hot_call', 'lisp_hot_status', 'lisp_hot_deactivate'];
 export const FRAME_BYTES = 1_048_576;
 export const FILE_BYTES = 64 * 1024 * 1024;
 export { RESULT_BYTES, renderResult } from './model-result.js';

package/dist/dsh/lisp/contracts.js.map

@@ -1 +1 @@
-{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../src/dsh/lisp/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAEtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAChF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAClE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACtD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACzE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;CAC7E,CAAC,CAAC,MAAM,EAAE,CAAA;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,CAAU,CAAA;AAEpO,MAAM,CAAC,MAAM,WAAW,GAAG,SAAS,CAAA;AACpC,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA;AAC1C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAC9D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAA;AAGjF,MAAM,OAAO,SAAU,SAAQ,gBAAgB;IAC7C,YAAY,IAAY,EAAE,OAAe,EAAE,QAAQ,GAAG,kCAAkC,IAAI,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAA,CAAC,CAAC;CACtJ;AACD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAa,EAAE,EAAE;QAC/E,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACpJ,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACnB,CAAC;AACD,MAAM,UAAU,IAAI,CAAC,IAAY,EAAE,OAAe,IAAW,MAAM,IAAI,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC;AACjG,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,IAAI,KAAK,YAAY,CAAC,CAAC,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IACnO,OAAO,KAAK,YAAY,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;QAC1H,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,EAAE,mEAAmE,EAAE,CAAA;AACnN,CAAC;AACD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE;IACpI,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAA;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE;IAC/D,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACzH,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CACzF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACtD,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CAC3K,CAAC,CAAA"}
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../src/dsh/lisp/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAEtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAChF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAClE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACtD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACzE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;CAC7E,CAAC,CAAC,MAAM,EAAE,CAAA;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY;IACxN,mBAAmB,EAAE,kBAAkB,EAAE,eAAe,EAAE,iBAAiB,EAAE,qBAAqB,CAAU,CAAA;AAE9G,MAAM,CAAC,MAAM,WAAW,GAAG,SAAS,CAAA;AACpC,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA;AAC1C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAC9D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAA;AAGjF,MAAM,OAAO,SAAU,SAAQ,gBAAgB;IAC7C,YAAY,IAAY,EAAE,OAAe,EAAE,QAAQ,GAAG,kCAAkC,IAAI,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAA,CAAC,CAAC;CACtJ;AACD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAa,EAAE,EAAE;QAC/E,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACpJ,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACnB,CAAC;AACD,MAAM,UAAU,IAAI,CAAC,IAAY,EAAE,OAAe,IAAW,MAAM,IAAI,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC;AACjG,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,IAAI,KAAK,YAAY,CAAC,CAAC,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IACnO,OAAO,KAAK,YAAY,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;QAC1H,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,EAAE,mEAAmE,EAAE,CAAA;AACnN,CAAC;AACD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE;IACpI,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAA;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE;IAC/D,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACzH,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CACzF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACtD,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CAC3K,CAAC,CAAA"}

package/dist/dsh/lisp/hot-contracts.d.ts

@@ -0,0 +1,108 @@
+import { z } from 'zod';
+export declare const HotName: z.ZodString;
+export declare const HotContractInput: z.ZodObject<{
+    description: z.ZodString;
+    name: z.ZodString;
+    inputSchema: z.ZodObject<{
+        type: z.ZodEnum<{
+            string: "string";
+            number: "number";
+            boolean: "boolean";
+            object: "object";
+            null: "null";
+            array: "array";
+            integer: "integer";
+        }>;
+        properties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        required: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        items: z.ZodOptional<z.ZodUnknown>;
+        additionalProperties: z.ZodOptional<z.ZodLiteral<false>>;
+    }, z.core.$strict>;
+    outputSchema: z.ZodObject<{
+        type: z.ZodEnum<{
+            string: "string";
+            number: "number";
+            boolean: "boolean";
+            object: "object";
+            null: "null";
+            array: "array";
+            integer: "integer";
+        }>;
+        properties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        required: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        items: z.ZodOptional<z.ZodUnknown>;
+        additionalProperties: z.ZodOptional<z.ZodLiteral<false>>;
+    }, z.core.$strict>;
+    properties: z.ZodArray<z.ZodObject<{
+        input: z.ZodUnknown;
+        expected: z.ZodUnknown;
+    }, z.core.$strict>>;
+    expectedContractRef: z.ZodDefault<z.ZodNullable<z.ZodUUID>>;
+}, z.core.$strict>;
+export declare const HotInstallInput: z.ZodObject<{
+    source: z.ZodString;
+    name: z.ZodString;
+    dependencies: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        binding: z.ZodString;
+        toolRef: z.ZodUUID;
+    }, z.core.$strict>>>;
+    contractRef: z.ZodUUID;
+    expectedRevision: z.ZodNumber;
+}, z.core.$strict>;
+export declare const HotCallInput: z.ZodObject<{
+    name: z.ZodString;
+    input: z.ZodOptional<z.ZodUnknown>;
+    inputRef: z.ZodOptional<z.ZodUUID>;
+    fields: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export declare const HotDeactivateInput: z.ZodObject<{
+    name: z.ZodString;
+    expectedRevision: z.ZodNumber;
+}, z.core.$strict>;
+export declare const HotStatusInput: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    offset: z.ZodDefault<z.ZodNumber>;
+    contractOffset: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+export declare const HotBundle: z.ZodObject<{
+    source: z.ZodString;
+    name: z.ZodString;
+    inputSchema: z.ZodObject<{
+        type: z.ZodEnum<{
+            string: "string";
+            number: "number";
+            boolean: "boolean";
+            object: "object";
+            null: "null";
+            array: "array";
+            integer: "integer";
+        }>;
+        properties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        required: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        items: z.ZodOptional<z.ZodUnknown>;
+        additionalProperties: z.ZodOptional<z.ZodLiteral<false>>;
+    }, z.core.$strict>;
+    outputSchema: z.ZodObject<{
+        type: z.ZodEnum<{
+            string: "string";
+            number: "number";
+            boolean: "boolean";
+            object: "object";
+            null: "null";
+            array: "array";
+            integer: "integer";
+        }>;
+        properties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        required: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        items: z.ZodOptional<z.ZodUnknown>;
+        additionalProperties: z.ZodOptional<z.ZodLiteral<false>>;
+    }, z.core.$strict>;
+    contractRef: z.ZodUUID;
+}, z.core.$strict>;
+export type HotContract = z.infer<typeof HotContractInput>;
+export type Bundle = z.infer<typeof HotBundle>;
+/** Validate JSON without silently dropping undefined, executing toJSON, or accepting cycles. */
+export declare function boundedJson(value: unknown, maxBytes: number): string;
+export declare function parseHotContract(value: unknown): HotContract;
+export declare function parseHotBundle(value: unknown): Bundle;
+//# sourceMappingURL=hot-contracts.d.ts.map

package/dist/dsh/lisp/hot-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hot-contracts.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/hot-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,eAAO,MAAM,OAAO,aAAyB,CAAA;AAE7C,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAGlB,CAAA;AACX,eAAO,MAAM,eAAe;;;;;;;;;kBAEjB,CAAA;AACX,eAAO,MAAM,YAAY;;;;;kBACgI,CAAA;AACzJ,eAAO,MAAM,kBAAkB;;;kBAAmE,CAAA;AAClG,eAAO,MAAM,cAAc;;;;kBAGwE,CAAA;AACnG,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAAmI,CAAA;AACzJ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAC1D,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAA;AAE9C,gGAAgG;AAChG,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAsBpE;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAQ5D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAKrD"}

package/dist/dsh/lisp/hot-contracts.js

@@ -0,0 +1,72 @@
+import { z } from 'zod';
+import { fail } from './contracts.js';
+import { CallInput, DefineInput, validateSchema, validateValue } from './task-tools.js';
+export const HotName = DefineInput.shape.name;
+const Revision = z.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER - 1);
+export const HotContractInput = DefineInput.pick({ name: true, description: true, inputSchema: true, outputSchema: true }).extend({
+    properties: z.array(z.object({ input: z.unknown(), expected: z.unknown() }).strict()).min(1).max(32),
+    expectedContractRef: z.uuid().nullable().default(null),
+}).strict();
+export const HotInstallInput = DefineInput.pick({ name: true, source: true, dependencies: true }).extend({
+    contractRef: z.uuid(), expectedRevision: Revision,
+}).strict();
+export const HotCallInput = z.object({ name: HotName, input: z.unknown().optional(), inputRef: z.uuid().optional(),
+    fields: CallInput.shape.fields }).strict().refine(v => (v.input !== undefined) !== (v.inputRef !== undefined), 'Provide exactly one input or inputRef');
+export const HotDeactivateInput = z.object({ name: HotName, expectedRevision: Revision }).strict();
+export const HotStatusInput = z.object({ name: HotName.optional(), offset: z.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER).default(0),
+    contractOffset: z.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER).optional() }).strict()
+    .refine(v => v.contractOffset === undefined || v.name !== undefined, 'contractOffset requires name')
+    .refine(v => v.name === undefined || v.offset === 0, 'Named inspection cannot use a list offset');
+export const HotBundle = DefineInput.pick({ name: true, source: true, inputSchema: true, outputSchema: true }).extend({ contractRef: z.uuid() }).strict();
+/** Validate JSON without silently dropping undefined, executing toJSON, or accepting cycles. */
+export function boundedJson(value, maxBytes) {
+    const seen = new Set();
+    let nodes = 0;
+    const visit = (item, depth) => {
+        if (++nodes > 100000 || depth > 24)
+            fail('HOT_JSON_LIMIT', 'JSONが大きすぎるか、深すぎます。');
+        if (item === null || typeof item === 'string' || typeof item === 'boolean')
+            return JSON.stringify(item);
+        if (typeof item === 'number' && Number.isFinite(item))
+            return JSON.stringify(item);
+        if (!item || typeof item !== 'object' || seen.has(item))
+            fail('HOT_JSON_INVALID', '有限のJSONデータが必要です。');
+        if (!Array.isArray(item) && ![Object.prototype, null].includes(Object.getPrototypeOf(item)))
+            fail('HOT_JSON_INVALID', 'JSON objectが必要です。');
+        seen.add(item);
+        const array = Array.isArray(item);
+        const keys = array ? Array.from({ length: item.length }, (_, i) => String(i)) : Object.keys(item);
+        const parts = keys.map(key => {
+            const property = Object.getOwnPropertyDescriptor(item, key);
+            if (!property || !('value' in property))
+                fail('HOT_JSON_INVALID', 'Accessorは使用できません。');
+            return `${array ? '' : `${JSON.stringify(key)}:`}${visit(property.value, depth + 1)}`;
+        });
+        seen.delete(item);
+        return array ? `[${parts.join(',')}]` : `{${parts.join(',')}}`;
+    };
+    const text = visit(value, 0);
+    if (Buffer.byteLength(text) > maxBytes)
+        fail('HOT_JSON_LIMIT', 'JSONが保存・表示上限を超えています。');
+    return text;
+}
+export function parseHotContract(value) {
+    const parsed = HotContractInput.parse(value);
+    const contract = HotContractInput.parse(JSON.parse(boundedJson(parsed, 65536)));
+    validateSchema(contract.inputSchema);
+    validateSchema(contract.outputSchema);
+    for (const property of contract.properties) {
+        validateValue(contract.inputSchema, property.input);
+        validateValue(contract.outputSchema, property.expected);
+    }
+    return contract;
+}
+export function parseHotBundle(value) {
+    const bundle = HotBundle.parse(value);
+    if (Buffer.byteLength(bundle.source) > 262144)
+        fail('HOT_SOURCE_LIMIT', '依存関数を含むコードが256 KiBを超えています。');
+    validateSchema(bundle.inputSchema);
+    validateSchema(bundle.outputSchema);
+    return HotBundle.parse(JSON.parse(boundedJson(bundle, 1048576)));
+}
+//# sourceMappingURL=hot-contracts.js.map

package/dist/dsh/lisp/hot-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hot-contracts.js","sourceRoot":"","sources":["../../../src/dsh/lisp/hot-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AACrC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAEvF,MAAM,CAAC,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAA;AAC7C,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAA;AAChF,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAChI,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACpG,mBAAmB,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;CACvD,CAAC,CAAC,MAAM,EAAE,CAAA;AACX,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACvG,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,gBAAgB,EAAE,QAAQ;CAClD,CAAC,CAAC,MAAM,EAAE,CAAA;AACX,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;IAChH,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,uCAAuC,CAAC,CAAA;AACzJ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAA;AAClG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/I,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;KACjG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,8BAA8B,CAAC;KACnG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,2CAA2C,CAAC,CAAA;AACnG,MAAM,CAAC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAA;AAIzJ,gGAAgG;AAChG,MAAM,UAAU,WAAW,CAAC,KAAc,EAAE,QAAgB;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAAC,IAAI,KAAK,GAAG,CAAC,CAAA;IAC7C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,KAAa,EAAU,EAAE;QACrD,IAAI,EAAE,KAAK,GAAG,MAAM,IAAI,KAAK,GAAG,EAAE;YAAE,IAAI,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAA;QAChF,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACvG,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QAClF,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAA;QACrG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAAE,IAAI,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,CAAA;QAC1I,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACd,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACjG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;gBAAE,IAAI,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,CAAA;YACtF,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAA;QACvF,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACjB,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAChE,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAC5B,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ;QAAE,IAAI,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAA;IACtF,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IAC/E,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAAC,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAA;IAC3E,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC3C,aAAa,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAC,aAAa,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC9G,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM;QAAE,IAAI,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAA;IACrG,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAAC,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IACvE,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;AAClE,CAAC"}

package/dist/dsh/lisp/hot-store.d.ts

@@ -0,0 +1,91 @@
+import { type LispOwner } from './contracts.js';
+import { type Bundle, type HotContract } from './hot-contracts.js';
+import type { LispStore } from './store.js';
+export interface HotHead {
+    name: string;
+    revision: number;
+    contractRef: string;
+    bundleRef: string | null;
+    activeContractRef: string | null;
+    updatedAt: string;
+}
+/** Host-only catalog: project code never grants access to another session's journal. */
+export declare class HotToolStore {
+    private readonly store;
+    constructor(store: LispStore);
+    status(project: string, name?: string, offset?: number): Promise<HotHead[]>;
+    contract(project: string, ref: string, name?: string): Promise<{
+        description: string;
+        name: string;
+        inputSchema: {
+            type: "string" | "number" | "boolean" | "object" | "null" | "array" | "integer";
+            properties?: Record<string, unknown> | undefined;
+            required?: string[] | undefined;
+            items?: unknown;
+            additionalProperties?: false | undefined;
+        };
+        outputSchema: {
+            type: "string" | "number" | "boolean" | "object" | "null" | "array" | "integer";
+            properties?: Record<string, unknown> | undefined;
+            required?: string[] | undefined;
+            items?: unknown;
+            additionalProperties?: false | undefined;
+        };
+        properties: {
+            input: unknown;
+            expected: unknown;
+        }[];
+        expectedContractRef: string | null;
+    } & {
+        contractRef: string;
+    }>;
+    active(project: string, name: string): Promise<{
+        bundleRef: string;
+        revision: number;
+        contractRef: string;
+        bundle: Bundle;
+    }>;
+    approve(owner: LispOwner, epoch: string, project: string, id: string, value: HotContract): Promise<{
+        ok: boolean;
+        operationId: string;
+        projectRoot: string;
+        name: string;
+        contractRef: `${string}-${string}-${string}-${string}-${string}`;
+        revision: number;
+    }>;
+    activate(owner: LispOwner, epoch: string, project: string, id: string, request: {
+        name: string;
+        contractRef: string;
+        expectedRevision: number;
+        bundle: Bundle;
+    }): Promise<{
+        ok: boolean;
+        operationId: string;
+        projectRoot: string;
+        name: string;
+        contractRef: string;
+        bundleRef: `${string}-${string}-${string}-${string}-${string}`;
+        revision: number;
+        checked: number;
+    }>;
+    deactivate(owner: LispOwner, epoch: string, project: string, id: string, request: {
+        name: string;
+        expectedRevision: number;
+    }): Promise<{
+        ok: boolean;
+        operationId: string;
+        projectRoot: string;
+        name: string;
+        revision: number;
+        bundleRef: null;
+        contractRef: string;
+    }>;
+    /** A call's private result and replay receipt are one commit, including quota failures. */
+    completeCall(owner: LispOwner, epoch: string, project: string, id: string, ref: string, payload: {
+        operationId: string;
+        bundleRef: string;
+        sourceRefs: string[];
+    }, value: unknown, response: unknown): Promise<void>;
+    expire(now?: Date): Promise<void>;
+}
+//# sourceMappingURL=hot-store.d.ts.map

package/dist/dsh/lisp/hot-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hot-store.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/hot-store.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgB,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC7D,OAAO,EAA0D,KAAK,MAAM,EAAE,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAC1H,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAK3C,MAAM,WAAW,OAAO;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AA+C/J,wFAAwF;AACxF,qBAAa,YAAY;IACX,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAAL,KAAK,EAAE,SAAS;IAC7C,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,SAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAStE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;qBAtD+D,MAAM;;IAuDzH,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAe5H,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW;;;;;;;;IAiBxF,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EACnE,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE;;;;;;;;;;IA2B1F,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE;;;;;;;;;IAe5H,2FAA2F;IAC3F,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EACpF,OAAO,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAY9H,MAAM,CAAC,GAAG,OAAa,GAAG,OAAO,CAAC,IAAI,CAAC;CAiBxC"}

package/dist/dsh/lisp/hot-store.js

@@ -0,0 +1,198 @@
+import { randomUUID } from 'node:crypto';
+import { z } from 'zod';
+import { digest, fail } from './contracts.js';
+import { HotName, boundedJson, parseHotBundle, parseHotContract } from './hot-contracts.js';
+function head(db, project, name) {
+    return db.prepare('SELECT * FROM dsh_lisp_hot_heads WHERE project_root=? AND name=?').get(project, name);
+}
+function loadContract(db, project, ref, name) {
+    const row = db.prepare('SELECT * FROM dsh_lisp_hot_contracts WHERE project_root=? AND contract_ref=?').get(project, z.uuid().parse(ref));
+    if (!row || (name !== undefined && row.name !== name))
+        fail('HOT_CONTRACT_MISSING', 'このプロジェクトの承認済み条件がありません。');
+    const contract = parseHotContract(JSON.parse(row.payload));
+    if (contract.name !== row.name || digest({ project, contract }) !== row.digest)
+        fail('HOT_INTEGRITY', '保存された条件が変化しています。');
+    return { ...contract, contractRef: ref };
+}
+function quota(db, project, extraBytes) {
+    const sql = `SELECT project_root,length(CAST(payload AS BLOB)) AS bytes FROM dsh_lisp_hot_contracts
+    UNION ALL SELECT project_root,length(CAST(payload AS BLOB)) AS bytes FROM dsh_lisp_hot_versions`;
+    const local = db.prepare(`SELECT COUNT(*) AS count,COALESCE(SUM(bytes),0) AS bytes FROM (${sql}) WHERE project_root=?`).get(project);
+    const total = db.prepare(`SELECT COALESCE(SUM(bytes),0) AS bytes FROM (${sql})`).get();
+    if (local.count >= 10000 || local.bytes + extraBytes > 1024 ** 3 || total.bytes + extraBytes > 4 * 1024 ** 3)
+        fail('HOT_CATALOG_LIMIT', '共有コードの保存上限です。稼働版を消さずに新しい登録を停止します。');
+}
+function authority(db, owner, epoch, operationId, kind, project) {
+    const session = db.prepare('SELECT enabled,root_path,epoch FROM dsh_lisp_sessions WHERE session_id=?')
+        .get(owner.sessionId);
+    if (!session?.enabled || session.root_path !== owner.root || session.epoch !== epoch)
+        fail('HOT_SCOPE', 'セッションの権限または世代が変わりました。');
+    const operation = db.prepare('SELECT kind,state,generation,payload,result FROM dsh_lisp_operations WHERE session_id=? AND agent_id=? AND operation_id=?')
+        .get(owner.sessionId, owner.agentId, operationId);
+    const state = kind === 'lisp_hot_install' || kind === 'lisp_hot_call' ? 'RUNNING' : 'AWAITING_APPROVAL';
+    if (!operation || operation.kind !== kind || operation.state !== state || operation.generation !== epoch
+        || JSON.parse(operation.payload).projectRoot !== project)
+        fail('STATE_CONFLICT', '有効な操作記録がありません。');
+    return { payload: JSON.parse(operation.payload), result: JSON.parse(operation.result ?? '{}') };
+}
+function receipt(db, owner, operationId, value, maxBytes = 8192) {
+    const encoded = boundedJson(value, maxBytes);
+    const size = 'length(CAST(payload AS BLOB))+COALESCE(length(CAST(result AS BLOB)),0)';
+    const local = db.prepare(`SELECT COALESCE(SUM(${size}),0) AS bytes FROM dsh_lisp_operations WHERE session_id=?`).get(owner.sessionId).bytes;
+    const total = db.prepare(`SELECT COALESCE(SUM(${size}),0) AS bytes FROM dsh_lisp_operations`).get().bytes;
+    if (local + Buffer.byteLength(encoded) > 1024 ** 3 || total + Buffer.byteLength(encoded) > 4 * 1024 ** 3)
+        fail('JOURNAL_LIMIT', '操作結果を安全に保存できる容量がありません。');
+    db.prepare("UPDATE dsh_lisp_operations SET state='SUCCEEDED',result=?,updated_at=? WHERE session_id=? AND agent_id=? AND operation_id=?")
+        .run(encoded, new Date().toISOString(), owner.sessionId, owner.agentId, operationId);
+}
+function transaction(db, perform) {
+    db.exec('BEGIN IMMEDIATE');
+    try {
+        const result = perform();
+        db.exec('COMMIT');
+        return result;
+    }
+    catch (error) {
+        try {
+            db.exec('ROLLBACK');
+        }
+        catch { /* Preserve the COMMIT error; caller reads its durable receipt. */ }
+        throw error;
+    }
+}
+/** Host-only catalog: project code never grants access to another session's journal. */
+export class HotToolStore {
+    store;
+    constructor(store) {
+        this.store = store;
+    }
+    status(project, name, offset = 0) {
+        if (name !== undefined)
+            HotName.parse(name);
+        return this.store.database(db => db.prepare(`SELECT h.*,v.contract_ref AS active_contract_ref FROM dsh_lisp_hot_heads h
+      LEFT JOIN dsh_lisp_hot_versions v ON v.bundle_ref=h.bundle_ref AND v.project_root=h.project_root
+      WHERE h.project_root=?${name === undefined ? '' : ' AND h.name=?'} ORDER BY h.name LIMIT 11 OFFSET ?`)
+            .all(project, ...(name === undefined ? [] : [name]), offset)
+            .map(row => ({ name: row.name, revision: row.revision, contractRef: row.contract_ref, bundleRef: row.bundle_ref,
+            activeContractRef: row.active_contract_ref, updatedAt: row.updated_at })));
+    }
+    contract(project, ref, name) { return this.store.database(db => loadContract(db, project, ref, name)); }
+    active(project, name) {
+        HotName.parse(name);
+        return this.store.database(db => {
+            const selected = head(db, project, name);
+            if (!selected?.bundle_ref)
+                fail('HOT_NOT_ACTIVE', 'このプロジェクトに有効な共有関数がありません。');
+            const row = db.prepare('SELECT * FROM dsh_lisp_hot_versions WHERE project_root=? AND bundle_ref=?').get(project, selected.bundle_ref);
+            if (!row)
+                fail('HOT_INTEGRITY', '稼働版のコードがありません。');
+            const bundle = parseHotBundle(JSON.parse(row.payload));
+            const contract = loadContract(db, project, row.contract_ref, name);
+            if (row.name !== name || bundle.name !== name || bundle.contractRef !== row.contract_ref
+                || digest({ project, bundle }) !== row.digest || digest(bundle.inputSchema) !== digest(contract.inputSchema)
+                || digest(bundle.outputSchema) !== digest(contract.outputSchema))
+                fail('HOT_INTEGRITY', '稼働版の内容が変化しています。');
+            return { bundleRef: selected.bundle_ref, revision: selected.revision, contractRef: row.contract_ref, bundle };
+        });
+    }
+    approve(owner, epoch, project, id, value) {
+        const contract = parseHotContract(value), payload = boundedJson(contract, 65536);
+        return this.store.database(db => transaction(db, () => {
+            const operation = authority(db, owner, epoch, id, 'lisp_hot_contract', project);
+            if (digest(operation.payload.request) !== digest(contract))
+                fail('STATE_CONFLICT', '確認画面の条件と保存対象が一致しません。');
+            const old = head(db, project, contract.name);
+            if ((old?.contract_ref ?? null) !== contract.expectedContractRef)
+                fail('HOT_CONTRACT_CONFLICT', '承認中に検証条件が更新されました。');
+            quota(db, project, Buffer.byteLength(payload));
+            const ref = randomUUID(), now = new Date().toISOString();
+            db.prepare('INSERT INTO dsh_lisp_hot_contracts VALUES(?,?,?,?,?,?,?,?)')
+                .run(ref, project, contract.name, digest({ project, contract }), payload, owner.sessionId, owner.agentId, now);
+            db.prepare(`INSERT INTO dsh_lisp_hot_heads VALUES(?,?,0,?,NULL,?) ON CONFLICT(project_root,name)
+        DO UPDATE SET contract_ref=excluded.contract_ref,updated_at=excluded.updated_at`).run(project, contract.name, ref, now);
+            const result = { ok: true, operationId: id, projectRoot: project, name: contract.name, contractRef: ref, revision: old?.revision ?? 0 };
+            receipt(db, owner, id, result);
+            return result;
+        }));
+    }
+    activate(owner, epoch, project, id, request) {
+        const bundle = parseHotBundle(request.bundle), payload = boundedJson(bundle, 1048576);
+        return this.store.database(db => transaction(db, () => {
+            const operation = authority(db, owner, epoch, id, 'lisp_hot_install', project);
+            if (operation.payload.name !== request.name || operation.payload.contractRef !== request.contractRef
+                || operation.payload.expectedRevision !== request.expectedRevision || operation.payload.sourceDigest !== digest(bundle.source))
+                fail('STATE_CONFLICT', '検証対象と公開対象が一致しません。');
+            const old = head(db, project, request.name);
+            if (!old || old.contract_ref !== request.contractRef)
+                fail('HOT_CONTRACT_CONFLICT', '検証中に承認条件が変わりました。');
+            if (old.revision !== request.expectedRevision || !Number.isSafeInteger(old.revision + 1))
+                fail('HOT_REVISION_CONFLICT', '検証中に稼働版が変わりました。');
+            const contract = loadContract(db, project, request.contractRef, request.name);
+            if (operation.result.phase !== 'checking' || operation.result.checked !== contract.properties.length || operation.result.total !== contract.properties.length)
+                fail('STATE_CONFLICT', 'すべての検証条件の成功記録が必要です。');
+            if (bundle.name !== request.name || bundle.contractRef !== request.contractRef
+                || digest(bundle.inputSchema) !== digest(contract.inputSchema) || digest(bundle.outputSchema) !== digest(contract.outputSchema))
+                fail('HOT_CONTRACT_CONFLICT', '検証したコードと承認条件が一致しません。');
+            quota(db, project, Buffer.byteLength(payload));
+            const ref = randomUUID(), now = new Date().toISOString(), revision = old.revision + 1;
+            db.prepare('INSERT INTO dsh_lisp_hot_versions VALUES(?,?,?,?,?,?,?)')
+                .run(ref, project, request.name, request.contractRef, digest({ project, bundle }), payload, now);
+            db.prepare('UPDATE dsh_lisp_hot_heads SET bundle_ref=?,revision=?,updated_at=? WHERE project_root=? AND name=?')
+                .run(ref, revision, now, project, request.name);
+            const result = { ok: true, operationId: id, projectRoot: project, name: request.name, contractRef: request.contractRef,
+                bundleRef: ref, revision, checked: contract.properties.length };
+            receipt(db, owner, id, result);
+            return result;
+        }));
+    }
+    deactivate(owner, epoch, project, id, request) {
+        return this.store.database(db => transaction(db, () => {
+            const operation = authority(db, owner, epoch, id, 'lisp_hot_deactivate', project);
+            if (operation.payload.name !== request.name || operation.payload.expectedRevision !== request.expectedRevision)
+                fail('STATE_CONFLICT', '確認画面の対象と無効化対象が一致しません。');
+            const old = head(db, project, request.name);
+            if (!old?.bundle_ref)
+                fail('HOT_NOT_ACTIVE', '稼働版がありません。');
+            if (old.revision !== request.expectedRevision || !Number.isSafeInteger(old.revision + 1))
+                fail('HOT_REVISION_CONFLICT', '承認中に稼働版が変わりました。');
+            const revision = old.revision + 1;
+            db.prepare('UPDATE dsh_lisp_hot_heads SET bundle_ref=NULL,revision=?,updated_at=? WHERE project_root=? AND name=?')
+                .run(revision, new Date().toISOString(), project, request.name);
+            const result = { ok: true, operationId: id, projectRoot: project, name: request.name, revision, bundleRef: null, contractRef: old.contract_ref };
+            receipt(db, owner, id, result);
+            return result;
+        }));
+    }
+    /** A call's private result and replay receipt are one commit, including quota failures. */
+    completeCall(owner, epoch, project, id, ref, payload, value, response) {
+        const resultJson = boundedJson({ value }, 64 * 1024 * 1024), payloadJson = boundedJson(payload, 1024 * 1024);
+        return this.store.database(db => transaction(db, () => {
+            const operation = authority(db, owner, epoch, id, 'lisp_hot_call', project);
+            if (payload.operationId !== id || payload.bundleRef !== operation.payload.bundleRef)
+                fail('STATE_CONFLICT', '呼び出し結果の版が一致しません。');
+            const usage = db.prepare('SELECT COUNT(*) AS count FROM dsh_lisp_operations WHERE session_id=?').get(owner.sessionId);
+            if (usage.count >= 10000)
+                fail('JOURNAL_LIMIT', 'Lisp 記録の件数上限です。');
+            db.prepare('INSERT INTO dsh_lisp_operations VALUES(?,?,?,?,?,?,?,?,?,?)').run(owner.sessionId, owner.agentId, z.uuid().parse(ref), 'task_result', digest(value), epoch, 'SUCCEEDED', payloadJson, resultJson, new Date().toISOString());
+            receipt(db, owner, id, response, 64 * 1024 * 1024);
+        }));
+    }
+    expire(now = new Date()) {
+        const cutoff = new Date(now.getTime() - 30 * 86400000).toISOString();
+        return this.store.database(db => transaction(db, () => {
+            db.prepare(`DELETE FROM dsh_lisp_hot_versions WHERE created_at<?
+        AND bundle_ref NOT IN (SELECT bundle_ref FROM dsh_lisp_hot_heads WHERE bundle_ref IS NOT NULL)
+        AND bundle_ref NOT IN (SELECT json_extract(payload,'$.bundleRef') FROM dsh_lisp_operations
+          WHERE kind='lisp_hot_call' AND state IN ('RUNNING','UNKNOWN','APPLYING','AWAITING_APPROVAL')
+          AND json_extract(payload,'$.bundleRef') IS NOT NULL)`).run(cutoff);
+            db.prepare(`DELETE FROM dsh_lisp_hot_contracts WHERE created_at<?
+        AND contract_ref NOT IN (SELECT contract_ref FROM dsh_lisp_hot_heads)
+        AND contract_ref NOT IN (SELECT contract_ref FROM dsh_lisp_hot_versions)
+        AND contract_ref NOT IN (SELECT json_extract(payload,'$.contractRef') FROM dsh_lisp_operations
+          WHERE kind='lisp_hot_install' AND state IN ('RUNNING','UNKNOWN','AWAITING_APPROVAL') AND json_extract(payload,'$.contractRef') IS NOT NULL)
+        AND contract_ref NOT IN (SELECT json_extract(payload,'$.request.expectedContractRef') FROM dsh_lisp_operations
+          WHERE kind='lisp_hot_contract' AND state IN ('RUNNING','UNKNOWN','AWAITING_APPROVAL') AND json_extract(payload,'$.request.expectedContractRef') IS NOT NULL)`).run(cutoff);
+        }));
+    }
+}
+//# sourceMappingURL=hot-store.js.map

package/dist/dsh/lisp/hot-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hot-store.js","sourceRoot":"","sources":["../../../src/dsh/lisp/hot-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAkB,MAAM,gBAAgB,CAAA;AAC7D,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,gBAAgB,EAAiC,MAAM,oBAAoB,CAAA;AAQ1H,SAAS,IAAI,CAAC,EAAkB,EAAE,OAAe,EAAE,IAAY;IAC7D,OAAO,EAAE,CAAC,OAAO,CAAC,kEAAkE,CAAC,CAAC,GAAG,CAAO,OAAO,EAAE,IAAI,CAAC,CAAA;AAChH,CAAC;AACD,SAAS,YAAY,CAAC,EAAkB,EAAE,OAAe,EAAE,GAAW,EAAE,IAAa;IACnF,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,8EAA8E,CAAC,CAAC,GAAG,CAAQ,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;IAC/I,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,IAAI,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAA;IAC7G,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IAC1D,IAAI,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,KAAK,GAAG,CAAC,MAAM;QAAE,IAAI,CAAC,eAAe,EAAE,kBAAkB,CAAC,CAAA;IACzH,OAAO,EAAE,GAAG,QAAQ,EAAE,WAAW,EAAE,GAAG,EAAE,CAAA;AAC1C,CAAC;AACD,SAAS,KAAK,CAAC,EAAkB,EAAE,OAAe,EAAE,UAAkB;IACpE,MAAM,GAAG,GAAG;oGACsF,CAAA;IAClG,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,kEAAkE,GAAG,wBAAwB,CAAC,CAAC,GAAG,CAAmC,OAAO,CAAE,CAAA;IACvK,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,gDAAgD,GAAG,GAAG,CAAC,CAAC,GAAG,EAAsB,CAAA;IAC1G,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,GAAG,UAAU,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,UAAU,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC;QAC1G,IAAI,CAAC,mBAAmB,EAAE,mCAAmC,CAAC,CAAA;AAClE,CAAC;AACD,SAAS,SAAS,CAAC,EAAkB,EAAE,KAAgB,EAAE,KAAa,EAAE,WAAmB,EAAE,IAAY,EAAE,OAAe;IACxH,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,0EAA0E,CAAC;SACnG,GAAG,CAAwD,KAAK,CAAC,SAAS,CAAC,CAAA;IAC9E,IAAI,CAAC,OAAO,EAAE,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;QAAE,IAAI,CAAC,WAAW,EAAE,uBAAuB,CAAC,CAAA;IAChI,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC,2HAA2H,CAAC;SACtJ,GAAG,CAA8F,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IAChJ,MAAM,KAAK,GAAG,IAAI,KAAK,kBAAkB,IAAI,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAA;IACvG,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,IAAI,SAAS,CAAC,UAAU,KAAK,KAAK;WAClG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAA8B,CAAC,WAAW,KAAK,OAAO;QACtF,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAA;IAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAA4B,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAA4B,EAAE,CAAA;AACvJ,CAAC;AACD,SAAS,OAAO,CAAC,EAAkB,EAAE,KAAgB,EAAE,WAAmB,EAAE,KAAc,EAAE,QAAQ,GAAG,IAAI;IACzG,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC5C,MAAM,IAAI,GAAG,wEAAwE,CAAA;IACrF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,IAAI,2DAA2D,CAAC,CAAC,GAAG,CAAoB,KAAK,CAAC,SAAS,CAAE,CAAC,KAAK,CAAA;IAC/J,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,IAAI,wCAAwC,CAAC,CAAC,GAAG,EAAsB,CAAC,KAAK,CAAA;IAC7H,IAAI,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC;QAAE,IAAI,CAAC,eAAe,EAAE,wBAAwB,CAAC,CAAA;IACzJ,EAAE,CAAC,OAAO,CAAC,6HAA6H,CAAC;SACtI,GAAG,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;AACxF,CAAC;AACD,SAAS,WAAW,CAAI,EAAkB,EAAE,OAAgB;IAC1D,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAC1B,IAAI,CAAC;QAAC,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;QAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAC,OAAO,MAAM,CAAA;IAAC,CAAC;IAClE,OAAO,KAAK,EAAE,CAAC;QAAC,IAAI,CAAC;YAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,kEAAkE,CAAC,CAAC;QAAC,MAAM,KAAK,CAAA;IAAC,CAAC;AACxI,CAAC;AAED,wFAAwF;AACxF,MAAM,OAAO,YAAY;IACM;IAA7B,YAA6B,KAAgB;QAAhB,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;IACjD,MAAM,CAAC,OAAe,EAAE,IAAa,EAAE,MAAM,GAAG,CAAC;QAC/C,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC;;8BAElB,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,oCAAoC,CAAC;aACrG,GAAG,CAAgD,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC;aAC1G,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU;YAC7G,iBAAiB,EAAE,GAAG,CAAC,mBAAmB,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;IACD,QAAQ,CAAC,OAAe,EAAE,GAAW,EAAE,IAAa,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA,CAAC,CAAC;IAChI,MAAM,CAAC,OAAe,EAAE,IAAY;QAClC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACnB,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;YACxC,IAAI,CAAC,QAAQ,EAAE,UAAU;gBAAE,IAAI,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAA;YAC5E,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,2EAA2E,CAAC,CAAC,GAAG,CAAU,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAA;YAC9I,IAAI,CAAC,GAAG;gBAAE,IAAI,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAA;YACjD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;YACtD,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;YAClE,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC,YAAY;mBACnF,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,GAAG,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;mBACzG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;gBAAE,IAAI,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAA;YAC5G,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,CAAA;QAC/G,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,CAAC,KAAgB,EAAE,KAAa,EAAE,OAAe,EAAE,EAAU,EAAE,KAAkB;QACtF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QAChF,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE;YACpD,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAA;YAC/E,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC;gBAAE,IAAI,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAA;YAC1G,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;YAC5C,IAAI,CAAC,GAAG,EAAE,YAAY,IAAI,IAAI,CAAC,KAAK,QAAQ,CAAC,mBAAmB;gBAAE,IAAI,CAAC,uBAAuB,EAAE,mBAAmB,CAAC,CAAA;YACpH,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;YAC9C,MAAM,GAAG,GAAG,UAAU,EAAE,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;YACxD,EAAE,CAAC,OAAO,CAAC,4DAA4D,CAAC;iBACrE,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;YAChH,EAAE,CAAC,OAAO,CAAC;wFACuE,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;YACzH,MAAM,MAAM,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAA;YACvI,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YAAC,OAAO,MAAM,CAAA;QAC/C,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;IACD,QAAQ,CAAC,KAAgB,EAAE,KAAa,EAAE,OAAe,EAAE,EAAU,EACnE,OAAwF;QACxF,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QACrF,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE;YACpD,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAA;YAC9E,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;mBAC/F,SAAS,CAAC,OAAO,CAAC,gBAAgB,KAAK,OAAO,CAAC,gBAAgB,IAAI,SAAS,CAAC,OAAO,CAAC,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC9H,IAAI,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,CAAA;YAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;YAC3C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,KAAK,OAAO,CAAC,WAAW;gBAAE,IAAI,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAA;YACvG,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,gBAAgB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC;gBAAE,IAAI,CAAC,uBAAuB,EAAE,iBAAiB,CAAC,CAAA;YAC1I,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;YAC7E,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,SAAS,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM;gBAC3J,IAAI,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAA;YAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;mBACzE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;gBAC/H,IAAI,CAAC,uBAAuB,EAAE,sBAAsB,CAAC,CAAA;YACvD,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;YAC9C,MAAM,GAAG,GAAG,UAAU,EAAE,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,QAAQ,GAAG,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAA;YACrF,EAAE,CAAC,OAAO,CAAC,yDAAyD,CAAC;iBAClE,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;YAClG,EAAE,CAAC,OAAO,CAAC,oGAAoG,CAAC;iBAC7G,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;YACjD,MAAM,MAAM,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW;gBACpH,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,CAAA;YACjE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YAAC,OAAO,MAAM,CAAA;QAC/C,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;IACD,UAAU,CAAC,KAAgB,EAAE,KAAa,EAAE,OAAe,EAAE,EAAU,EAAE,OAAmD;QAC1H,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE;YACpD,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,qBAAqB,EAAE,OAAO,CAAC,CAAA;YACjF,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,gBAAgB,KAAK,OAAO,CAAC,gBAAgB;gBAC5G,IAAI,CAAC,gBAAgB,EAAE,uBAAuB,CAAC,CAAA;YACjD,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;YAC3C,IAAI,CAAC,GAAG,EAAE,UAAU;gBAAE,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAA;YAC1D,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,gBAAgB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC;gBAAE,IAAI,CAAC,uBAAuB,EAAE,iBAAiB,CAAC,CAAA;YAC1I,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAA;YACjC,EAAE,CAAC,OAAO,CAAC,uGAAuG,CAAC;iBAChH,GAAG,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;YACjE,MAAM,MAAM,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;YAChJ,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YAAC,OAAO,MAAM,CAAA;QAC/C,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;IACD,2FAA2F;IAC3F,YAAY,CAAC,KAAgB,EAAE,KAAa,EAAE,OAAe,EAAE,EAAU,EAAE,GAAW,EACpF,OAAyE,EAAE,KAAc,EAAE,QAAiB;QAC5G,MAAM,UAAU,GAAG,WAAW,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,EAAE,WAAW,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI,CAAC,CAAA;QAC5G,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE;YACpD,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,CAAA;YAC3E,IAAI,OAAO,CAAC,WAAW,KAAK,EAAE,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,OAAO,CAAC,SAAS;gBAAE,IAAI,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAA;YAC/H,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,sEAAsE,CAAC,CAAC,GAAG,CAAoB,KAAK,CAAC,SAAS,CAAE,CAAA;YACzI,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK;gBAAE,IAAI,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAA;YAClE,EAAE,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAC/H,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;YACtG,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,CAAA;QACpD,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE;QACrB,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAA;QACpE,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE;YACpD,EAAE,CAAC,OAAO,CAAC;;;;+DAI8C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YACtE,EAAE,CAAC,OAAO,CAAC;;;;;;uKAMsJ,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChL,CAAC,CAAC,CAAC,CAAA;IACL,CAAC;CACF"}

package/dist/dsh/lisp/hot-tools.d.ts

@@ -0,0 +1,36 @@
+import type { DshUserQuestions } from '../user-interaction.js';
+import { type LispOwner, type LispTool } from './contracts.js';
+import { HotToolStore } from './hot-store.js';
+import { LispStore } from './store.js';
+export type HotMutation = Extract<LispTool, 'lisp_hot_contract' | 'lisp_hot_install' | 'lisp_hot_call' | 'lisp_hot_deactivate'>;
+interface ExecutionResult {
+    value: unknown;
+    output: unknown;
+    generation: string;
+}
+interface HotOptions {
+    store: LispStore;
+    questions?: DshUserQuestions;
+    projectRoot(owner: LispOwner): Promise<string>;
+    authorize(owner: LispOwner): Promise<void>;
+    run(owner: LispOwner, source: string, input: unknown, signal: AbortSignal, mode?: 'call' | 'compile'): Promise<ExecutionResult>;
+    input(owner: LispOwner, resultRef: string): Promise<unknown>;
+}
+/** Share immutable code; all dispatch, input refs and receipts retain the caller's owner. */
+export declare class HotToolRuntime {
+    #private;
+    private readonly options;
+    readonly catalog: HotToolStore;
+    constructor(options: HotOptions);
+    cancel(sessionId?: string): void;
+    private scope;
+    status(owner: LispOwner, input?: unknown): Promise<unknown>;
+    execute(owner: LispOwner, tool: HotMutation, id: string, hash: string, raw: unknown, signal?: AbortSignal): Promise<unknown>;
+    private approve;
+    private contract;
+    private install;
+    private call;
+    private deactivate;
+}
+export {};
+//# sourceMappingURL=hot-tools.d.ts.map

package/dist/dsh/lisp/hot-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hot-tools.d.ts","sourceRoot":"","sources":["../../../src/dsh/lisp/hot-tools.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAE9D,OAAO,EAAoC,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAGtC,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,mBAAmB,GAAG,kBAAkB,GAAG,eAAe,GAAG,qBAAqB,CAAC,CAAA;AAC/H,UAAU,eAAe;IAAG,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AACjF,UAAU,UAAU;IAClB,KAAK,EAAE,SAAS,CAAA;IAChB,SAAS,CAAC,EAAE,gBAAgB,CAAA;IAC5B,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;IAC9C,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC1C,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC,CAAA;IAC/H,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAC7D;AAGD,6FAA6F;AAC7F,qBAAa,cAAc;;IAGb,OAAO,CAAC,QAAQ,CAAC,OAAO;IAFpC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;gBAED,OAAO,EAAE,UAAU;IAEhD,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI;YAKlB,KAAK;IAYb,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,GAAE,OAAY,GAAG,OAAO,CAAC,OAAO,CAAC;IAiB/D,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;YAuBpH,OAAO;YAUP,QAAQ;YAgBR,OAAO;YA2BP,IAAI;YA2BJ,UAAU;CAUzB"}