kiokuko-dsh 0.2.2 → 0.2.4

package/dist/dsh/coding-workflow/intent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent.js","sourceRoot":"","sources":["../../../src/dsh/coding-workflow/intent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AAEnE,oGAAoG;AACpG,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,CAAC,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC;WAC9C,0HAA0H,CAAC,IAAI,CAAC,IAAI,CAAC;WACrI,sHAAsH,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACpJ,OAAO,sHAAsH,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;WAC1I,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvD,CAAC;AACD,gFAAgF;AAChF,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAO,wEAAwE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;AACnG,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,KAAyB,CAAA;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACpD,IAAI,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,KAAK;gBAAE,KAAK,GAAG,MAAM,CAAC;iBAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;gBAAE,KAAK,GAAG,SAAS,CAAC;YAAC,SAAQ;QAAC,CAAC;QACzI,IAAI,CAAC,KAAK,IAAI,CAAC,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IACjG,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAChC,IAAI,sBAAsB,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IACjD,IAAI,kBAAkB,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IAC7C,IAAI,yFAAyF,CAAC,IAAI,CAAC,OAAO,CAAC;WACtG,uCAAuC,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IACxE,IAAI,oHAAoH,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IACpJ,IAAI,8FAA8F,CAAC,IAAI,CAAC,OAAO,CAAC;WAC3G,4EAA4E,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IAC7G,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,wJAAwJ,CAAC,IAAI,CAAC,IAAI,CAAC;WACxL,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,+IAA+I,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;WACnK,qEAAqE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;AAC9F,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc;IAC/G,oBAAoB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB;IACzG,gBAAgB,EAAE,aAAa,EAAE,iBAAiB,EAAE,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,kBAAkB;IACtH,mBAAmB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,aAAa,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC,CAAA;AAC9I,MAAM,UAAU,mBAAmB,CAAC,IAAY,IAAa,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,CAAC;AACvF,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,UAAmB;IACpE,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACnD,OAAO,IAAI,KAAK,SAAS,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAA;AACxD,CAAC;AACD,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,UAAmB;IACpE,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC1F,MAAM,IAAI,GAAI,UAA8B,CAAC,IAAI,CAAA;IACjD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,wBAAwB,CAAC;QACvD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,+DAA+D,CAAC;QAC/E,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAA;IAC9D,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,IAAI,CAAC;QAAC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;QAAC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,SAAS,CAAA;IAAC,CAAC;AAC5K,CAAC;AACD,mFAAmF;AACnF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAA;AACtE,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,kIAAkI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACtJ,CAAC"}

package/dist/dsh/coding-workflow/service.d.ts

@@ -0,0 +1,155 @@
+import type { SqliteDatabase } from '../../db/adapter.js';
+import { type CompletionAssessment } from '../task-completion.js';
+import { type CodingDefinition, type CodingIdentity, type CodingWorkflow } from './contracts.js';
+export declare function onCodingInterrupted(listener: (runId: string) => void): () => void;
+export declare function codingCriterionId(value: CodingWorkflow, id: string): string;
+export declare function codingItems(value: CodingWorkflow, assessment: CompletionAssessment): {
+    state: string;
+    itemId: string;
+    change: string;
+    dependsOn: string[];
+    goalCriterionIds: string[];
+    criterionIds: string[];
+}[];
+export declare function codingStatus(db: SqliteDatabase, identity: CodingIdentity): {
+    applicable: false;
+} | {
+    items: {
+        state: string;
+        itemId: string;
+        change: string;
+        dependsOn: string[];
+        goalCriterionIds: string[];
+        criterionIds: string[];
+    }[];
+    assessment: CompletionAssessment;
+    workflowId: string;
+    requestId: string;
+    requestDigest: string;
+    request: string;
+    revision: number;
+    scopeVersion: number;
+    state: import("./contracts.js").CodingState;
+    definition?: CodingDefinition;
+    choice: import("./contracts.js").CodingChoice;
+    retiredIds: string[];
+    activeItemId?: string;
+    blocker?: import("./contracts.js").CodingBlocker;
+    attempts: Record<string, {
+        fingerprint: string;
+        count: number;
+        retryAt: number;
+        sourceDigest?: string;
+    }>;
+    ennoProjectionDigest?: string;
+    runId: string;
+    sessionId: string;
+    repositoryRoot: string;
+    applicable: true;
+};
+/** Definitions propose observable work; only host evidence can satisfy it. */
+export declare function proposeCodingWorkflow(db: SqliteDatabase, identity: CodingIdentity, callId: string, expectedRevision: number, raw: unknown, revise?: boolean, scopeChanged?: boolean, projected?: boolean): CodingWorkflow;
+/** Optional Enno module supplies a projection through the core reader seam. */
+export declare function projectEnnoCodingWorkflow(db: SqliteDatabase, identity: CodingIdentity): void;
+/** Host-only answer seam. The model-facing tool never accepts these fields. */
+export declare function answerCodingChoice(db: SqliteDatabase, identity: CodingIdentity, input: {
+    callId: string;
+    expectedRevision: number;
+    workflowId: string;
+    scopeVersion: number;
+    questionId: string;
+    questionRevision: number;
+    answerRef: string;
+    choice: 'yes' | 'no' | 'cancelled';
+}): CodingWorkflow;
+export declare function nextCodingWork(db: SqliteDatabase, identity: CodingIdentity): {
+    applicable: false;
+} | {
+    next: string;
+    items: {
+        state: string;
+        itemId: string;
+        change: string;
+        dependsOn: string[];
+        goalCriterionIds: string[];
+        criterionIds: string[];
+    }[];
+    assessment: CompletionAssessment;
+    workflowId: string;
+    requestId: string;
+    requestDigest: string;
+    request: string;
+    revision: number;
+    scopeVersion: number;
+    state: import("./contracts.js").CodingState;
+    definition?: CodingDefinition;
+    choice: import("./contracts.js").CodingChoice;
+    retiredIds: string[];
+    activeItemId?: string;
+    blocker?: import("./contracts.js").CodingBlocker;
+    attempts: Record<string, {
+        fingerprint: string;
+        count: number;
+        retryAt: number;
+        sourceDigest?: string;
+    }>;
+    ennoProjectionDigest?: string;
+    runId: string;
+    sessionId: string;
+    repositoryRoot: string;
+    applicable: true;
+} | {
+    next: string;
+    item: {
+        state: string;
+        itemId: string;
+        change: string;
+        dependsOn: string[];
+        goalCriterionIds: string[];
+        criterionIds: string[];
+    } | undefined;
+    items: {
+        state: string;
+        itemId: string;
+        change: string;
+        dependsOn: string[];
+        goalCriterionIds: string[];
+        criterionIds: string[];
+    }[];
+    assessment: CompletionAssessment;
+    workflowId: string;
+    requestId: string;
+    requestDigest: string;
+    request: string;
+    revision: number;
+    scopeVersion: number;
+    state: import("./contracts.js").CodingState;
+    definition?: CodingDefinition;
+    choice: import("./contracts.js").CodingChoice;
+    retiredIds: string[];
+    activeItemId?: string;
+    blocker?: import("./contracts.js").CodingBlocker;
+    attempts: Record<string, {
+        fingerprint: string;
+        count: number;
+        retryAt: number;
+        sourceDigest?: string;
+    }>;
+    ennoProjectionDigest?: string;
+    runId: string;
+    sessionId: string;
+    repositoryRoot: string;
+    applicable: true;
+};
+export declare function reportCodingBlocker(db: SqliteDatabase, identity: CodingIdentity, callId: string, expectedRevision: number, raw: unknown): CodingWorkflow;
+export declare function assertCodingDispatch(db: SqliteDatabase, identity: CodingIdentity, name: string): CodingWorkflow | undefined;
+export declare function beginCodingDispatch(db: SqliteDatabase, identity: CodingIdentity, callId: string, name: string): CodingWorkflow | undefined;
+export declare function synchronizeCodingWorkflow(db: SqliteDatabase, runId: string): CodingWorkflow | undefined;
+export declare function stopCodingWorkflow(db: SqliteDatabase, runId: string, state: 'cancelled' | 'superseded'): void;
+export declare function recordCodingAttempt(db: SqliteDatabase, identity: CodingIdentity, callId: string, criterionId: string, fingerprint: string, now: number, sourceDigest?: string): CodingWorkflow;
+/** Check the actual child command at the shared process boundary, before spawn. */
+export declare function assertCodingCommandRetry(db: SqliteDatabase, identity: CodingIdentity, command: string): void;
+export declare function clearCodingRuntimeBlocker(db: SqliteDatabase, identity: CodingIdentity): void;
+/** Only the host command handler calls this after an explicit human route change. */
+export declare function overrideCodingChoice(db: SqliteDatabase, identity: CodingIdentity, choice: 'yes' | 'no', answerRef: string): CodingWorkflow | undefined;
+//# sourceMappingURL=service.d.ts.map

package/dist/dsh/coding-workflow/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../../src/dsh/coding-workflow/service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAGzD,OAAO,EAAmE,KAAK,oBAAoB,EAAyB,MAAM,uBAAuB,CAAA;AAGzJ,OAAO,EAA+C,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAK7I,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,GAAG,MAAM,IAAI,CAGjF;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAA8C;AAC1H,wBAAgB,WAAW,CAAC,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,oBAAoB;;;;;;;IAQlF;AACD,wBAAgB,YAAY,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBA6BjB,CAAC;;;;;;;EAXxD;AAED,8EAA8E;AAC9E,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAChG,gBAAgB,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,UAAQ,EAAE,YAAY,UAAQ,EAAE,SAAS,UAAQ,GAAG,cAAc,CAoCjH;AAED,+EAA+E;AAC/E,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,GAAG,IAAI,CAgB5F;AAOD,+EAA+E;AAC/E,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE;IACtF,MAAM,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IACvG,gBAAgB,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,KAAK,GAAG,IAAI,GAAG,WAAW,CAAA;CAChF,GAAG,cAAc,CASjB;AACD,wBAAgB,cAAc,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBArEnB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBAAD,CAAC;;;;;;;EA8ExD;AACD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,cAAc,CAOxJ;AACD,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAc3H;AACD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAQ1I;AACD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAWvG;AACD,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,YAAY,GAAG,IAAI,CAK7G;AACD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EACnH,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,cAAc,CAczE;AAED,mFAAmF;AACnF,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAa5G;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,GAAG,IAAI,CAM5F;AAED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,GAAG,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAatJ"}

package/dist/dsh/coding-workflow/service.js

@@ -0,0 +1,282 @@
+import { KiokukoError } from '../../errors.js';
+import { canonicalContentHash } from '../../serialization/validate.js';
+import { assessTaskCompletion, bindTaskCriterion, completionSourceDigest } from '../task-completion.js';
+import { completionVerifiers } from '../completion-verifiers.js';
+import { executionCommand } from '../execution-command.js';
+import { CodingBlockerSchema, CodingDefinitionSchema } from './contracts.js';
+import { assertCodingIdentity, mutateCodingWorkflow, readCodingWorkflow } from './store.js';
+const terminal = (value) => ['completed', 'cancelled', 'superseded'].includes(value.state);
+const interrupted = new Set();
+export function onCodingInterrupted(listener) {
+    interrupted.add(listener);
+    return () => { interrupted.delete(listener); };
+}
+function interruptCoding(runId) { for (const listener of interrupted)
+    listener(runId); }
+export function codingCriterionId(value, id) { return `coding:${value.workflowId}:${id}`; }
+export function codingItems(value, assessment) {
+    const satisfied = new Set(assessment.criteria.filter(item => item.state === 'satisfied').map(item => item.criterionId));
+    const complete = new Set(value.definition?.items.filter(item => item.criterionIds.every(id => satisfied.has(codingCriterionId(value, id)))).map(item => item.itemId));
+    return (value.definition?.items ?? []).map(item => ({ ...item,
+        state: value.state === 'cancelled' || value.state === 'superseded' ? 'cancelled' : complete.has(item.itemId) ? 'satisfied'
+            : value.blocker?.criterionIds.some(id => item.criterionIds.includes(id)) ? 'blocked'
+                : item.dependsOn.every(id => complete.has(id)) ? value.activeItemId === item.itemId ? 'running' : 'ready' : 'pending',
+    }));
+}
+export function codingStatus(db, identity) {
+    projectEnnoCodingWorkflow(db, identity);
+    let value = readCodingWorkflow(db, identity.runId);
+    if (!value)
+        return { applicable: false };
+    assertCodingIdentity(value, identity);
+    if (value.blocker?.kind === 'retry_budget') {
+        const changed = value.blocker.criterionIds.every(id => {
+            const row = db.prepare('SELECT method_json FROM dsh_completion_bindings WHERE run_id=? AND criterion_id=?')
+                .get(value.runId, codingCriterionId(value, id));
+            const method = row ? JSON.parse(row.method_json) : undefined;
+            return method?.kind === 'native_command' && value.attempts[id]?.sourceDigest !== completionSourceDigest(db, value.runId, value.repositoryRoot, method.sourcePaths);
+        });
+        if (changed)
+            value = mutateCodingWorkflow(db, identity, `repaired:${value.revision}`, value.revision, {}, current => {
+                delete current.blocker;
+                current.state = 'ready';
+            });
+    }
+    const assessment = assessTaskCompletion(db, value.runId);
+    return { applicable: true, ...value, items: codingItems(value, assessment), assessment };
+}
+/** Definitions propose observable work; only host evidence can satisfy it. */
+export function proposeCodingWorkflow(db, identity, callId, expectedRevision, raw, revise = false, scopeChanged = false, projected = false) {
+    if (!projected && db.prepare("SELECT 1 FROM dsh_execution_selections WHERE run_id=? AND json_extract(state_json,'$.mode')='enno'").get(identity.runId))
+        throw new KiokukoError('CONFLICT', 'Enno coding Goal comes from its existing ideal and plan; submit those through Enno controls');
+    const definition = CodingDefinitionSchema.parse(raw);
+    return mutateCodingWorkflow(db, identity, callId, expectedRevision, { action: revise ? 'revise' : 'propose', definition, scopeChanged }, value => {
+        if (terminal(value))
+            throw new KiokukoError('CONFLICT', 'Coding workflow is terminal');
+        if (!revise && value.definition)
+            throw new KiokukoError('CONFLICT', 'Use revise for an existing coding Goal');
+        if (revise && !value.definition)
+            throw new KiokukoError('CONFLICT', 'No coding Goal to revise');
+        const old = value.definition;
+        if (old) {
+            if (old.goal.goalId !== definition.goal.goalId)
+                throw new KiokukoError('CONFLICT', 'Goal identity is stable');
+            const changedGoal = canonicalContentHash({ ...old.goal, revision: 0 }) !== canonicalContentHash({ ...definition.goal, revision: 0 });
+            if (definition.goal.revision < old.goal.revision || changedGoal && definition.goal.revision <= old.goal.revision)
+                throw new KiokukoError('CONFLICT', 'Changed Goal requires a new revision');
+            for (const criterion of definition.criteria) {
+                const prior = old.criteria.find(item => item.criterionId === criterion.criterionId);
+                if (value.retiredIds.includes(criterion.criterionId))
+                    throw new KiokukoError('CONFLICT', 'Retired criterion ID cannot be reused');
+                if (prior && (criterion.revision < prior.revision || canonicalContentHash({ ...prior, revision: 0 }) !== canonicalContentHash({ ...criterion, revision: 0 })
+                    && criterion.revision <= prior.revision))
+                    throw new KiokukoError('CONFLICT', 'Changed criterion requires a new revision');
+            }
+            for (const item of definition.items)
+                if (value.retiredIds.includes(item.itemId))
+                    throw new KiokukoError('CONFLICT', 'Retired item ID cannot be reused');
+            const newIds = new Set([...definition.criteria.map(item => item.criterionId), ...definition.items.map(item => item.itemId)]);
+            value.retiredIds.push(...[...old.criteria.map(item => item.criterionId), ...old.items.map(item => item.itemId)].filter(id => !newIds.has(id)));
+            // A material target/constraint/item change invalidates the task's choice. Reordering preserves it; changed observable behavior requires a new choice.
+            const oldScope = scopeDigest(old), newScope = scopeDigest(definition);
+            scopeChanged ||= oldScope !== newScope;
+        }
+        value.definition = definition;
+        delete value.activeItemId;
+        delete value.blocker;
+        if (scopeChanged) {
+            value.scopeVersion++;
+            value.choice = { state: 'pending', scopeVersion: value.scopeVersion,
+                questionId: `coding-lisp-${value.workflowId}-${value.scopeVersion}`, revision: value.choice.revision + 1 };
+        }
+        value.state = value.choice.state === 'pending' ? 'awaiting_lisp_choice' : 'ready';
+    });
+}
+/** Optional Enno module supplies a projection through the core reader seam. */
+export function projectEnnoCodingWorkflow(db, identity) {
+    let value = readCodingWorkflow(db, identity.runId);
+    if (!value || terminal(value) || !db.prepare("SELECT 1 FROM dsh_execution_selections WHERE run_id=? AND json_extract(state_json,'$.mode')='enno'").get(identity.runId))
+        return;
+    const enno = db.prepare('SELECT workspace,orchestration_session_id AS orchestrationId FROM enno_contracts WHERE run_id=?')
+        .get(identity.runId);
+    if (!enno)
+        return;
+    const projection = completionVerifiers().codingProjection?.(db, { runId: identity.runId, ...enno });
+    if (!projection)
+        return;
+    const digest = canonicalContentHash(projection.definition);
+    if (value.ennoProjectionDigest !== digest) {
+        value = proposeCodingWorkflow(db, identity, `enno-definition:${digest}`, value.revision, projection.definition, !!value.definition, false, true);
+        value = mutateCodingWorkflow(db, identity, `enno-source:${digest}`, value.revision, { digest }, current => { current.ennoProjectionDigest = digest; });
+    }
+    for (const binding of projection.bindings)
+        bindTaskCriterion(db, { runId: identity.runId,
+            callId: `enno-check:${digest}:${value.scopeVersion}:${binding.criterionId}:${projection.approved}`, criterionId: codingCriterionId(value, binding.criterionId),
+            method: { kind: 'enno_verifier', verifierId: binding.verifierId, ...(binding.workUnitId ? { workUnitId: binding.workUnitId } : {}), assertion: 'selected_tests_pass' }, approved: projection.approved });
+}
+function scopeDigest(value) {
+    return canonicalContentHash({ ideal: value.goal.ideal, target: value.goal.target, criteria: value.criteria.map(({ revision: _revision, ...criterion }) => criterion).sort((a, b) => a.criterionId.localeCompare(b.criterionId)), constraints: [...value.goal.constraints].sort(), outOfScope: [...value.goal.outOfScope].sort(),
+        items: value.items.map(item => ({ itemId: item.itemId, change: item.change, dependsOn: [...item.dependsOn].sort(), criterionIds: [...item.criterionIds].sort(),
+            goalCriterionIds: [...item.goalCriterionIds].sort() })).sort((a, b) => a.itemId.localeCompare(b.itemId)) });
+}
+/** Host-only answer seam. The model-facing tool never accepts these fields. */
+export function answerCodingChoice(db, identity, input) {
+    return mutateCodingWorkflow(db, identity, input.callId, input.expectedRevision, input, value => {
+        if (terminal(value) || value.workflowId !== input.workflowId || value.scopeVersion !== input.scopeVersion
+            || value.choice.questionId !== input.questionId || value.choice.revision !== input.questionRevision
+            || value.choice.state !== 'pending' || !value.definition || !input.answerRef.trim())
+            throw new KiokukoError('CONFLICT', 'Lisp answer does not belong to this pending coding task');
+        value.choice = { ...value.choice, state: input.choice, answerRef: input.answerRef };
+        value.state = input.choice === 'cancelled' ? 'cancelled' : 'ready';
+    });
+}
+export function nextCodingWork(db, identity) {
+    const status = codingStatus(db, identity);
+    if (!status.applicable)
+        return status;
+    if (!status.definition)
+        return { ...status, next: 'propose_goal_items_and_criteria' };
+    if (status.choice.state === 'pending')
+        return { ...status, next: 'answer_lisp_choice' };
+    if (terminal(status))
+        return { ...status, next: status.state };
+    if (status.blocker?.criterionIds.length === 0)
+        return { ...status, next: 'resolve_blocker' };
+    const ready = status.items.find(item => item.state === 'ready' || item.state === 'running');
+    return { ...status, next: ready ? 'implement_and_verify_item' : status.items.every(item => item.state === 'satisfied') ? 'verify_final_goal' : 'resolve_blocker', item: ready };
+}
+export function reportCodingBlocker(db, identity, callId, expectedRevision, raw) {
+    const blocker = CodingBlockerSchema.parse(raw);
+    return mutateCodingWorkflow(db, identity, callId, expectedRevision, { blocker }, value => {
+        if (terminal(value))
+            throw new KiokukoError('CONFLICT', 'Coding workflow is terminal');
+        if (blocker.criterionIds.some(id => !value.definition?.criteria.some(item => item.criterionId === id)))
+            throw new KiokukoError('VALIDATION_ERROR', 'Unknown blocked criterion');
+        value.blocker = blocker;
+        value.state = 'blocked';
+    });
+}
+export function assertCodingDispatch(db, identity, name) {
+    codingStatus(db, identity);
+    const value = readCodingWorkflow(db, identity.runId);
+    if (!value)
+        return undefined; // Explicit legacy boundary: old tasks retain their contract.
+    assertCodingIdentity(value, identity);
+    if (terminal(value) || !value.definition || value.choice.state === 'pending')
+        throw new KiokukoError('CONFLICT', 'Define Goal, items and checks, then answer this task’s Lisp choice before implementation');
+    if (name.startsWith('lisp_') && value.choice.state !== 'yes')
+        throw new KiokukoError('CONFLICT', 'Lisp is not selected for this coding task');
+    if (value.blocker?.kind === 'retry_budget' && ['kioku_write', 'kioku_edit', 'lisp_eval'].includes(name))
+        return value;
+    const next = nextCodingWork(db, identity);
+    if (!('item' in next) || !next.item) {
+        if ('next' in next && next.next === 'verify_final_goal')
+            return value;
+        throw new KiokukoError('CONFLICT', 'No dependency-ready coding item; resolve the recorded blocker');
+    }
+    return value;
+}
+export function beginCodingDispatch(db, identity, callId, name) {
+    const value = assertCodingDispatch(db, identity, name);
+    if (!value)
+        return value;
+    const next = nextCodingWork(db, identity);
+    return mutateCodingWorkflow(db, identity, `dispatch:${callId}`, value.revision, { name, scopeVersion: value.scopeVersion }, current => {
+        if ('item' in next && next.item) {
+            current.activeItemId = next.item.itemId;
+            current.state = 'implementing';
+        }
+        else
+            current.state = 'verifying_goal';
+    }, true);
+}
+export function synchronizeCodingWorkflow(db, runId) {
+    const value = readCodingWorkflow(db, runId);
+    if (!value || terminal(value) || !value.definition || value.choice.state === 'pending')
+        return value;
+    const assessment = assessTaskCompletion(db, runId), items = codingItems(value, assessment);
+    const enno = db.prepare(`SELECT e.workspace,e.orchestration_session_id AS orchestrationId FROM enno_contracts e
+    JOIN dsh_execution_selections s ON s.run_id=e.run_id WHERE e.run_id=? AND json_extract(s.state_json,'$.mode')='enno'`)
+        .get(runId);
+    const authorityComplete = !enno || completionVerifiers().codingProjection?.(db, { runId, ...enno })?.completed === true;
+    const state = assessment.verified && authorityComplete ? 'completed' : items.every(item => item.state === 'satisfied') ? 'verifying_goal' : value.blocker ? 'blocked' : value.state;
+    if (state === value.state)
+        return value;
+    return mutateCodingWorkflow(db, value, `evidence:${canonicalContentHash({ revision: value.revision, assessment })}`, value.revision, { assessment }, current => { current.state = state; });
+}
+export function stopCodingWorkflow(db, runId, state) {
+    const value = readCodingWorkflow(db, runId);
+    if (!value || terminal(value))
+        return;
+    mutateCodingWorkflow(db, value, `stop:${state}:${value.revision}`, value.revision, { state }, current => { current.state = state; delete current.activeItemId; });
+    interruptCoding(runId);
+}
+export function recordCodingAttempt(db, identity, callId, criterionId, fingerprint, now, sourceDigest) {
+    const value = readCodingWorkflow(db, identity.runId);
+    if (!value)
+        throw new KiokukoError('NOT_FOUND', 'No coding workflow');
+    return mutateCodingWorkflow(db, identity, callId, value.revision, { criterionId, fingerprint, now }, current => {
+        const prior = current.attempts[criterionId];
+        if (prior?.fingerprint === fingerprint && now < prior.retryAt)
+            throw new KiokukoError('CONFLICT', 'Unchanged failure is in backoff; inspect or repair its cause');
+        const count = prior?.fingerprint === fingerprint ? prior.count + 1 : 1;
+        current.attempts[criterionId] = { fingerprint, count, retryAt: now + Math.min(60000, 1000 * 2 ** Math.min(count, 6)), ...(sourceDigest ? { sourceDigest } : {}) };
+        if (count >= 3) {
+            current.blocker = { criterionIds: [criterionId], kind: 'retry_budget', cause: 'Repeated unchanged failure',
+                required: 'Repair or inspect the failing condition', recovery: [], resumeWhen: 'The source, environment or failure cause changes' };
+            current.state = 'blocked';
+        }
+        else if (prior?.fingerprint !== fingerprint && current.blocker?.kind === 'retry_budget') {
+            delete current.blocker;
+            current.state = 'ready';
+        }
+    }, true);
+}
+/** Check the actual child command at the shared process boundary, before spawn. */
+export function assertCodingCommandRetry(db, identity, command) {
+    const workflow = readCodingWorkflow(db, identity.runId);
+    if (!workflow?.definition)
+        return;
+    assertCodingIdentity(workflow, identity);
+    const rows = db.prepare('SELECT criterion_id,method_json FROM dsh_completion_bindings WHERE run_id=? AND approved=1')
+        .all(identity.runId);
+    for (const row of rows) {
+        const method = JSON.parse(row.method_json);
+        if (method.kind !== 'native_command' || executionCommand(method.command) !== executionCommand(command))
+            continue;
+        const id = row.criterion_id.slice(`coding:${workflow.workflowId}:`.length), attempt = workflow.attempts[id];
+        if (!attempt || attempt.sourceDigest !== completionSourceDigest(db, identity.runId, identity.repositoryRoot, method.sourcePaths))
+            continue;
+        if (attempt.count >= 3 || Date.now() < attempt.retryAt)
+            throw new KiokukoError('CONFLICT', 'Unchanged verification failure needs inspection or repair before retrying');
+    }
+}
+export function clearCodingRuntimeBlocker(db, identity) {
+    const value = readCodingWorkflow(db, identity.runId);
+    if (!value || value.blocker?.kind !== 'runtime' || terminal(value))
+        return;
+    mutateCodingWorkflow(db, identity, `runtime-ready:${value.revision}`, value.revision, {}, current => {
+        delete current.blocker;
+        current.state = 'ready';
+    });
+}
+/** Only the host command handler calls this after an explicit human route change. */
+export function overrideCodingChoice(db, identity, choice, answerRef) {
+    const value = readCodingWorkflow(db, identity.runId);
+    if (!value)
+        return;
+    if (terminal(value) || !value.definition || !answerRef.trim())
+        throw new KiokukoError('CONFLICT', 'Define this task’s Goal before changing its Lisp route');
+    if (db.prepare("SELECT 1 FROM dsh_owned_operations WHERE run_id=? AND state='started'").get(identity.runId)
+        || db.prepare("SELECT 1 FROM dsh_lisp_operations WHERE session_id=? AND state IN ('RUNNING','EVALUATING','ADMITTED')").get(identity.sessionId))
+        throw new KiokukoError('CONFLICT', 'Cancel or collect current operations before changing this task’s route');
+    return mutateCodingWorkflow(db, identity, answerRef, value.revision, { choice }, current => {
+        current.scopeVersion++;
+        current.choice = { state: choice, scopeVersion: current.scopeVersion, revision: current.choice.revision + 1,
+            questionId: `coding-lisp-${current.workflowId}-${current.scopeVersion}`, answerRef };
+        delete current.blocker;
+        delete current.activeItemId;
+        current.state = 'ready';
+    });
+}
+//# sourceMappingURL=service.js.map

package/dist/dsh/coding-workflow/service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../src/dsh/coding-workflow/service.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AACtE,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,sBAAsB,EAAoD,MAAM,uBAAuB,CAAA;AACzJ,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC1D,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAmE,MAAM,gBAAgB,CAAA;AAC7I,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAE3F,MAAM,QAAQ,GAAG,CAAC,KAAqB,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAC1G,MAAM,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAA;AACtD,MAAM,UAAU,mBAAmB,CAAC,QAAiC;IACnE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACzB,OAAO,GAAG,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA,CAAC,CAAC,CAAA;AAC/C,CAAC;AACD,SAAS,eAAe,CAAC,KAAa,IAAU,KAAK,MAAM,QAAQ,IAAI,WAAW;IAAE,QAAQ,CAAC,KAAK,CAAC,CAAA,CAAC,CAAC;AACrG,MAAM,UAAU,iBAAiB,CAAC,KAAqB,EAAE,EAAU,IAAY,OAAO,UAAU,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAA,CAAC,CAAC;AAC1H,MAAM,UAAU,WAAW,CAAC,KAAqB,EAAE,UAAgC;IACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;IACvH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IACrK,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI;QAC3D,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW;YACxH,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;gBACpF,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;KACxH,CAAC,CAAC,CAAA;AACL,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,EAAkB,EAAE,QAAwB;IACvE,yBAAyB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IACvC,IAAI,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,UAAU,EAAE,KAAc,EAAE,CAAA;IACjD,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACrC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;YACpD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,mFAAmF,CAAC;iBACxG,GAAG,CAA0B,KAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAM,EAAE,EAAE,CAAC,CAAC,CAAA;YAC5E,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAqB,CAAC,CAAC,CAAC,SAAS,CAAA;YAChF,OAAO,MAAM,EAAE,IAAI,KAAK,gBAAgB,IAAI,KAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,YAAY,KAAK,sBAAsB,CAAC,EAAE,EAAE,KAAM,CAAC,KAAK,EAAE,KAAM,CAAC,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;QACvK,CAAC,CAAC,CAAA;QACF,IAAI,OAAO;YAAE,KAAK,GAAG,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,YAAY,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE;gBAClH,OAAO,OAAO,CAAC,OAAO,CAAC;gBAAC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAA;YACjD,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACxD,OAAO,EAAE,UAAU,EAAE,IAAa,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,UAAU,EAAE,CAAA;AACnG,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,qBAAqB,CAAC,EAAkB,EAAE,QAAwB,EAAE,MAAc,EAChG,gBAAwB,EAAE,GAAY,EAAE,MAAM,GAAG,KAAK,EAAE,YAAY,GAAG,KAAK,EAAE,SAAS,GAAG,KAAK;IAC/F,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,OAAO,CAAC,oGAAoG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpJ,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,6FAA6F,CAAC,CAAA;IACnI,MAAM,UAAU,GAAG,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACpD,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,EAAE,KAAK,CAAC,EAAE;QAC/I,IAAI,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,6BAA6B,CAAC,CAAA;QACtF,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,wCAAwC,CAAC,CAAA;QAC7G,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,0BAA0B,CAAC,CAAA;QAC/F,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAA;QAC5B,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAA;YAC7G,MAAM,WAAW,GAAG,oBAAoB,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,KAAK,oBAAoB,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;YACpI,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,WAAW,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ;gBAC9G,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,sCAAsC,CAAC,CAAA;YAC5E,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,WAAW,CAAC,CAAA;gBACnF,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,CAAC;oBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,uCAAuC,CAAC,CAAA;gBACjI,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,oBAAoB,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,KAAK,oBAAoB,CAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;uBACvJ,SAAS,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC;oBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,2CAA2C,CAAC,CAAA;YAC7H,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK;gBAAE,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,kCAAkC,CAAC,CAAA;YACvJ,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YAC5H,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YAC9I,sJAAsJ;YACtJ,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAA;YACrE,YAAY,KAAK,QAAQ,KAAK,QAAQ,CAAA;QACxC,CAAC;QACD,KAAK,CAAC,UAAU,GAAG,UAAU,CAAA;QAC7B,OAAO,KAAK,CAAC,YAAY,CAAC;QAAC,OAAO,KAAK,CAAC,OAAO,CAAA;QAC/C,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,CAAC,YAAY,EAAE,CAAA;YACpB,KAAK,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY;gBACjE,UAAU,EAAE,eAAe,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAA;QAC9G,CAAC;QACD,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAA;IACnF,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,yBAAyB,CAAC,EAAkB,EAAE,QAAwB;IACpF,IAAI,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClD,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,oGAAoG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAM;IAC9K,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,iGAAiG,CAAC;SACvH,GAAG,CAA+C,QAAQ,CAAC,KAAK,CAAC,CAAA;IACpE,IAAI,CAAC,IAAI;QAAE,OAAM;IACjB,MAAM,UAAU,GAAG,mBAAmB,EAAE,CAAC,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAC,QAAQ,CAAC,KAAK,EAAC,GAAG,IAAI,EAAE,CAAC,CAAA;IACjG,IAAI,CAAC,UAAU;QAAE,OAAM;IACvB,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IAC1D,IAAI,KAAK,CAAC,oBAAoB,KAAK,MAAM,EAAE,CAAC;QAC1C,KAAK,GAAG,qBAAqB,CAAC,EAAE,EAAE,QAAQ,EAAE,mBAAmB,MAAM,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAChJ,KAAK,GAAG,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,eAAe,MAAM,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,OAAO,CAAA,EAAE,GAAE,OAAO,CAAC,oBAAoB,GAAG,MAAM,CAAA,CAAC,CAAC,CAAC,CAAA;IACrJ,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ;QAAE,iBAAiB,CAAC,EAAE,EAAE,EAAE,KAAK,EAAC,QAAQ,CAAC,KAAK;YACrF,MAAM,EAAC,cAAc,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW,IAAI,UAAU,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAC,iBAAiB,CAAC,KAAK,EAAC,OAAO,CAAC,WAAW,CAAC;YAC3J,MAAM,EAAC,EAAE,IAAI,EAAC,eAAe,EAAE,UAAU,EAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,CAAA,CAAC,CAAA,EAAC,UAAU,EAAC,OAAO,CAAC,UAAU,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAE,SAAS,EAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAA;AAChM,CAAC;AACD,SAAS,WAAW,CAAC,KAAuB;IAC1C,OAAO,oBAAoB,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,SAAS,EAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAC,CAAC,EAAC,EAAE,CAAA,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE;QACxT,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE;YAC5J,gBAAgB,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAA;AACjH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,kBAAkB,CAAC,EAAkB,EAAE,QAAwB,EAAE,KAGhF;IACC,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;QAC7F,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;eACpG,KAAK,CAAC,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,gBAAgB;eAChG,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE;YACnF,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,yDAAyD,CAAC,CAAA;QAC/F,KAAK,CAAC,MAAM,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAA;QACnF,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAA;IACpE,CAAC,CAAC,CAAA;AACJ,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,EAAkB,EAAE,QAAwB;IACzE,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IACzC,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,MAAM,CAAA;IACrC,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAAA;IACrF,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAA;IACvF,IAAI,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,CAAA;IAC9D,IAAI,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAA;IAC5F,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;IAC3F,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AACjL,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,EAAkB,EAAE,QAAwB,EAAE,MAAc,EAAE,gBAAwB,EAAE,GAAY;IACtI,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC9C,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,CAAC,EAAE;QACvF,IAAI,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,6BAA6B,CAAC,CAAA;QACtF,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,2BAA2B,CAAC,CAAA;QAC/K,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QAAC,KAAK,CAAC,KAAK,GAAG,SAAS,CAAA;IAClD,CAAC,CAAC,CAAA;AACJ,CAAC;AACD,MAAM,UAAU,oBAAoB,CAAC,EAAkB,EAAE,QAAwB,EAAE,IAAY;IAC7F,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IAC1B,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA,CAAC,6DAA6D;IAC1F,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACrC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,0FAA0F,CAAC,CAAA;IAC5M,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,2CAA2C,CAAC,CAAA;IAC7I,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,KAAK,cAAc,IAAI,CAAC,aAAa,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACrH,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IACzC,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,KAAK,CAAA;QACrE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,+DAA+D,CAAC,CAAA;IACrG,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,EAAkB,EAAE,QAAwB,EAAE,MAAc,EAAE,IAAY;IAC5G,MAAM,KAAK,GAAG,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IACxB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IACzC,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,YAAY,MAAM,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,CAAC,EAAE;QACpI,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAAC,OAAO,CAAC,KAAK,GAAG,cAAc,CAAA;QAAC,CAAC;;YACvG,OAAO,CAAC,KAAK,GAAG,gBAAgB,CAAA;IACvC,CAAC,EAAE,IAAI,CAAC,CAAA;AACV,CAAC;AACD,MAAM,UAAU,yBAAyB,CAAC,EAAkB,EAAE,KAAa;IACzE,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACpG,MAAM,UAAU,GAAG,oBAAoB,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC1F,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC;yHAC+F,CAAC;SACrH,GAAG,CAA+C,KAAK,CAAC,CAAA;IAC3D,MAAM,iBAAiB,GAAG,CAAC,IAAI,IAAI,mBAAmB,EAAE,CAAC,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAC,GAAG,IAAI,EAAE,CAAC,EAAE,SAAS,KAAK,IAAI,CAAA;IACtH,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,IAAI,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAA;IACnL,IAAI,KAAK,KAAK,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IACvC,OAAO,oBAAoB,CAAC,EAAE,EAAE,KAAK,EAAE,YAAY,oBAAoB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,GAAG,KAAK,CAAA,CAAC,CAAC,CAAC,CAAA;AAC5L,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,EAAkB,EAAE,KAAa,EAAE,KAAiC;IACrG,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAM;IACrC,oBAAoB,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,OAAO,CAAC,YAAY,CAAA,CAAC,CAAC,CAAC,CAAA;IAChK,eAAe,CAAC,KAAK,CAAC,CAAA;AACxB,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,EAAkB,EAAE,QAAwB,EAAE,MAAc,EAAE,WAAmB,EACnH,WAAmB,EAAE,GAAW,EAAE,YAAqB;IACvD,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,YAAY,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAA;IACrE,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,EAAE;QAC7G,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAC3C,IAAI,KAAK,EAAE,WAAW,KAAK,WAAW,IAAI,GAAG,GAAG,KAAK,CAAC,OAAO;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,8DAA8D,CAAC,CAAA;QACjK,MAAM,KAAK,GAAG,KAAK,EAAE,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACtE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAA;QACjK,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACf,OAAO,CAAC,OAAO,GAAG,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,4BAA4B;gBACxG,QAAQ,EAAE,yCAAyC,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,kDAAkD,EAAE,CAAA;YACrI,OAAO,CAAC,KAAK,GAAG,SAAS,CAAA;QAC3B,CAAC;aAAM,IAAI,KAAK,EAAE,WAAW,KAAK,WAAW,IAAI,OAAO,CAAC,OAAO,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;YAAC,OAAO,OAAO,CAAC,OAAO,CAAC;YAAC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAA;QAAC,CAAC;IAChJ,CAAC,EAAE,IAAI,CAAC,CAAA;AACV,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,wBAAwB,CAAC,EAAkB,EAAE,QAAwB,EAAE,OAAe;IACpG,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACvD,IAAI,CAAC,QAAQ,EAAE,UAAU;QAAE,OAAM;IACjC,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IACxC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,4FAA4F,CAAC;SAClH,GAAG,CAAgD,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAqB,CAAA;QAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,gBAAgB,CAAC,OAAO,CAAC;YAAE,SAAQ;QAChH,MAAM,EAAE,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,QAAQ,CAAC,UAAU,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC3G,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,KAAK,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC;YAAE,SAAQ;QAC1I,IAAI,OAAO,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,OAAO;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,2EAA2E,CAAC,CAAA;IACzK,CAAC;AACH,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAkB,EAAE,QAAwB;IACpF,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAM;IAC1E,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,iBAAiB,KAAK,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE;QAClG,OAAO,OAAO,CAAC,OAAO,CAAC;QAAC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAA;IACjD,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAAC,EAAkB,EAAE,QAAwB,EAAE,MAAoB,EAAE,SAAiB;IACxH,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,KAAK;QAAE,OAAM;IAClB,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,wDAAwD,CAAC,CAAA;IAC3J,IAAI,EAAE,CAAC,OAAO,CAAC,uEAAuE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;WACtG,EAAE,CAAC,OAAO,CAAC,uGAAuG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC9I,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,wEAAwE,CAAC,CAAA;IAC9G,OAAO,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE;QACzF,OAAO,CAAC,YAAY,EAAE,CAAA;QACtB,OAAO,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC;YACzG,UAAU,EAAE,eAAe,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,CAAA;QACtF,OAAO,OAAO,CAAC,OAAO,CAAC;QAAC,OAAO,OAAO,CAAC,YAAY,CAAC;QAAC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAA;IAC9E,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/dsh/coding-workflow/store.d.ts

@@ -0,0 +1,17 @@
+import type { SqliteDatabase } from '../../db/adapter.js';
+import type { CodingIdentity, CodingWorkflow } from './contracts.js';
+export declare function readCodingWorkflow(db: SqliteDatabase, runId: string): CodingWorkflow | undefined;
+export declare function sessionCodingWorkflow(db: SqliteDatabase, sessionId: string): CodingWorkflow | undefined;
+export declare function assertCodingIdentity(workflow: CodingWorkflow, identity: CodingIdentity): void;
+export declare function initializeCodingWorkflow(db: SqliteDatabase, input: CodingIdentity & {
+    requestId: string;
+    task: string;
+}): CodingWorkflow;
+/** Run admission already owns the transaction that creates its ledger identity. */
+export declare function initializeCodingWorkflowInTransaction(db: SqliteDatabase, input: CodingIdentity & {
+    requestId: string;
+    task: string;
+}): CodingWorkflow;
+/** Revision, effect and replay receipt commit together. Callers never retain mutable stored state. */
+export declare function mutateCodingWorkflow(db: SqliteDatabase, identity: CodingIdentity, callId: string, expectedRevision: number, payload: unknown, change: (value: CodingWorkflow) => void, implicitRevision?: boolean): CodingWorkflow;
+//# sourceMappingURL=store.d.ts.map

package/dist/dsh/coding-workflow/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../../src/dsh/coding-workflow/store.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAIzD,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEpE,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAMhG;AACD,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAKvG;AACD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,GAAG,IAAI,CAG7F;AACD,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAExI;AACD,mFAAmF;AACnF,wBAAgB,qCAAqC,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAmBrJ;AACD,sGAAsG;AACtG,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EACzH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI,EAAE,gBAAgB,UAAQ,GAAG,cAAc,CAuBrG"}

package/dist/dsh/coding-workflow/store.js

@@ -0,0 +1,77 @@
+import { randomUUID } from 'node:crypto';
+import { withImmediateTransaction } from '../../db/transaction.js';
+import { KiokukoError } from '../../errors.js';
+import { canonicalContentHash } from '../../serialization/validate.js';
+export function readCodingWorkflow(db, runId) {
+    // Legacy consumers may use a pre-workflow schema. Do not manufacture a
+    // choice or catch database failures as though they were a legacy task.
+    if (!db.prepare("SELECT 1 FROM sqlite_master WHERE type='table' AND name='dsh_coding_workflows'").get())
+        return undefined;
+    const row = db.prepare('SELECT snapshot_json FROM dsh_coding_workflows WHERE run_id=?').get(runId);
+    return row ? JSON.parse(row.snapshot_json) : undefined;
+}
+export function sessionCodingWorkflow(db, sessionId) {
+    if (!db.prepare("SELECT 1 FROM sqlite_master WHERE type='table' AND name='dsh_coding_workflows'").get())
+        return undefined;
+    const row = db.prepare(`SELECT w.snapshot_json FROM dsh_coding_workflows w JOIN dsh_execution_owners o ON o.run_id=w.run_id
+    WHERE o.dsh_session_id=? AND w.session_id=?`).get(sessionId, sessionId);
+    return row ? JSON.parse(row.snapshot_json) : undefined;
+}
+export function assertCodingIdentity(workflow, identity) {
+    if (workflow.runId !== identity.runId || workflow.sessionId !== identity.sessionId || workflow.repositoryRoot !== identity.repositoryRoot)
+        throw new KiokukoError('CONFLICT', 'Coding workflow owner or repository changed');
+}
+export function initializeCodingWorkflow(db, input) {
+    return withImmediateTransaction(db, () => initializeCodingWorkflowInTransaction(db, input));
+}
+/** Run admission already owns the transaction that creates its ledger identity. */
+export function initializeCodingWorkflowInTransaction(db, input) {
+    const previous = readCodingWorkflow(db, input.runId);
+    if (previous) {
+        assertCodingIdentity(previous, input);
+        if (previous.requestId !== input.requestId || previous.requestDigest !== canonicalContentHash(input.task))
+            throw new KiokukoError('CONFLICT', 'Coding request identity was reused with different input');
+        return previous;
+    }
+    const workflowId = randomUUID();
+    const value = { runId: input.runId, sessionId: input.sessionId, repositoryRoot: input.repositoryRoot,
+        requestId: input.requestId, request: input.task, requestDigest: canonicalContentHash(input.task),
+        workflowId, revision: 1, scopeVersion: 1, state: 'preparing', retiredIds: [], attempts: {},
+        choice: { state: 'pending', scopeVersion: 1, questionId: `coding-lisp-${workflowId}-1`, revision: 1 } };
+    db.prepare('INSERT INTO dsh_coding_workflows VALUES(?,?,?,?,?,?,?,?)')
+        .run(workflowId, input.runId, input.sessionId, input.repositoryRoot, input.requestId, 1, JSON.stringify(value), new Date().toISOString());
+    db.prepare('INSERT OR IGNORE INTO dsh_completion_runs(run_id,mode,created_at) VALUES(?,?,?)')
+        .run(input.runId, 'enforce', new Date().toISOString());
+    db.prepare("UPDATE dsh_completion_runs SET mode='enforce' WHERE run_id=?").run(input.runId);
+    return value;
+}
+/** Revision, effect and replay receipt commit together. Callers never retain mutable stored state. */
+export function mutateCodingWorkflow(db, identity, callId, expectedRevision, payload, change, implicitRevision = false) {
+    return withImmediateTransaction(db, () => {
+        const current = readCodingWorkflow(db, identity.runId);
+        if (!current)
+            throw new KiokukoError('NOT_FOUND', 'No coding workflow for this task');
+        assertCodingIdentity(current, identity);
+        const digest = canonicalContentHash({ identity: { runId: identity.runId, sessionId: identity.sessionId, repositoryRoot: identity.repositoryRoot },
+            ...(implicitRevision ? {} : { expectedRevision }), payload });
+        const previous = db.prepare('SELECT request_digest,response_json FROM dsh_coding_operations WHERE workflow_id=? AND call_id=?')
+            .get(current.workflowId, callId);
+        if (previous) {
+            if (previous.request_digest !== digest)
+                throw new KiokukoError('CONFLICT', 'Coding call ID reused with changed input');
+            return JSON.parse(previous.response_json);
+        }
+        if (current.revision !== expectedRevision)
+            throw new KiokukoError('CONFLICT', 'Stale coding workflow revision');
+        change(current);
+        current.revision++;
+        const json = JSON.stringify(current);
+        db.prepare('UPDATE dsh_coding_workflows SET revision=?,snapshot_json=?,updated_at=? WHERE workflow_id=? AND revision=?')
+            .run(current.revision, json, new Date().toISOString(), current.workflowId, expectedRevision);
+        if (readCodingWorkflow(db, identity.runId)?.revision !== current.revision)
+            throw new KiokukoError('CONFLICT', 'Coding CAS failed');
+        db.prepare('INSERT INTO dsh_coding_operations VALUES(?,?,?,?)').run(current.workflowId, callId, digest, json);
+        return current;
+    });
+}
+//# sourceMappingURL=store.js.map

package/dist/dsh/coding-workflow/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../../src/dsh/coding-workflow/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAGtE,MAAM,UAAU,kBAAkB,CAAC,EAAkB,EAAE,KAAa;IAClE,uEAAuE;IACvE,uEAAuE;IACvE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gFAAgF,CAAC,CAAC,GAAG,EAAE;QAAE,OAAO,SAAS,CAAA;IACzH,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,+DAA+D,CAAC,CAAC,GAAG,CAA4B,KAAK,CAAC,CAAA;IAC7H,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,EAAkB,EAAE,SAAiB;IACzE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gFAAgF,CAAC,CAAC,GAAG,EAAE;QAAE,OAAO,SAAS,CAAA;IACzH,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC;gDACuB,CAAC,CAAC,GAAG,CAA4B,SAAS,EAAE,SAAS,CAAC,CAAA;IACpG,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AACD,MAAM,UAAU,oBAAoB,CAAC,QAAwB,EAAE,QAAwB;IACrF,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;QACvI,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,6CAA6C,CAAC,CAAA;AACrF,CAAC;AACD,MAAM,UAAU,wBAAwB,CAAC,EAAkB,EAAE,KAA2D;IACtH,OAAO,wBAAwB,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,qCAAqC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;AAC7F,CAAC;AACD,mFAAmF;AACnF,MAAM,UAAU,qCAAqC,CAAC,EAAkB,EAAE,KAA2D;IACnI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACrC,IAAI,QAAQ,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,QAAQ,CAAC,aAAa,KAAK,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvG,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,yDAAyD,CAAC,CAAA;QAC/F,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,KAAK,GAAmB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc;QAClH,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC;QAChG,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;QAC1F,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,eAAe,UAAU,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAA;IACzG,EAAE,CAAC,OAAO,CAAC,0DAA0D,CAAC;SACnE,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;IAC3I,EAAE,CAAC,OAAO,CAAC,iFAAiF,CAAC;SAC1F,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;IACxD,EAAE,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC3F,OAAO,KAAK,CAAA;AACd,CAAC;AACD,sGAAsG;AACtG,MAAM,UAAU,oBAAoB,CAAC,EAAkB,EAAE,QAAwB,EAAE,MAAc,EAAE,gBAAwB,EACzH,OAAgB,EAAE,MAAuC,EAAE,gBAAgB,GAAG,KAAK;IACnF,OAAO,wBAAwB,CAAC,EAAE,EAAE,GAAG,EAAE;QACvC,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,YAAY,CAAC,WAAW,EAAE,kCAAkC,CAAC,CAAA;QACrF,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE;YAC/I,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;QAC/D,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,kGAAkG,CAAC;aAC5H,GAAG,CAAoD,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;QACrF,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,cAAc,KAAK,MAAM;gBAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,0CAA0C,CAAC,CAAA;YACtH,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAA;QAC3C,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,gCAAgC,CAAC,CAAA;QAC/G,MAAM,CAAC,OAAO,CAAC,CAAA;QACf,OAAO,CAAC,QAAQ,EAAE,CAAA;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QACpC,EAAE,CAAC,OAAO,CAAC,4GAA4G,CAAC;aACrH,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;QAC9F,IAAI,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,OAAO,CAAC,QAAQ;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAA;QAClI,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;QAC7G,OAAO,OAAO,CAAA;IAChB,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/dsh/completion-verifiers.d.ts

@@ -1,5 +1,6 @@
 import type { SqliteDatabase } from '../db/adapter.js';
 import type { TapSummary } from './node-tap-summary.js';
+import type { CodingDefinition } from './coding-workflow/contracts.js';
 interface Identity {
     runId: string;
     workspace: string;
@@ -13,11 +14,23 @@ interface CompletionVerifiers {
             description: string;
         }[];
     };
-    results(db: SqliteDatabase, identity: Identity, root: string): readonly {
+    results(db: SqliteDatabase, identity: Identity, root: string, workUnitId?: string): readonly {
         verifierId: string;
         status: string;
         tapSummary?: TapSummary;
+        explicitCases?: boolean;
+        receiptId?: string;
     }[] | null | undefined;
+    codingProjection?(db: SqliteDatabase, identity: Identity): {
+        definition: CodingDefinition;
+        approved: boolean;
+        completed: boolean;
+        bindings: readonly {
+            criterionId: string;
+            verifierId: string;
+            workUnitId?: string;
+        }[];
+    } | undefined;
 }
 /** The optional Enno module supplies its own readers; core never imports that module. */
 export declare function registerCompletionVerifiers(value: CompletionVerifiers): void;