@zelari/core 2.5.0 → 2.6.1

package/dist/session/taskContract.js

@@ -0,0 +1,173 @@
+/**
+ * session/taskContract.ts — first-class task contract (2.6 Track A, doc §14).
+ *
+ * Goal + constraints + acceptance criteria extracted from user prose into a
+ * versioned, append-only structure (`task.contract` / `task.contract_updated`
+ * events). Authority is explicit: user > agent-derived. A derived item may
+ * never contradict a user constraint, rewrite the goal, or drop a required
+ * user criterion. CompactionStateSnapshot prefers the contract; the legacy
+ * regex extraction stays as fallback compatibility.
+ */
+import { z } from 'zod';
+export const TaskConstraintSchema = z.object({
+    id: z.string().min(1),
+    text: z.string().min(1),
+    source: z.enum(['user', 'agent-derived']),
+    required: z.boolean(),
+});
+export const TaskCriterionSchema = z.object({
+    id: z.string().min(1),
+    text: z.string().min(1),
+    source: z.enum(['user', 'agent-derived']),
+    required: z.boolean(),
+    verificationHint: z
+        .object({
+        kind: z.enum(['command', 'tool', 'semantic', 'manual']),
+        value: z.string().optional(),
+    })
+        .optional(),
+});
+export const TaskContractSchema = z.object({
+    version: z.number().int().positive(),
+    goal: z.string().min(1),
+    constraints: z.array(TaskConstraintSchema),
+    acceptanceCriteria: z.array(TaskCriterionSchema),
+    source: z.object({
+        /** Seq of the user.message the contract was extracted from. */
+        userSeq: z.number().int().positive(),
+    }),
+});
+export class TaskContractConflictError extends Error {
+    reason;
+    code = 'TASK_CONTRACT_CONFLICT';
+    constructor(reason) {
+        super(`task contract update rejected: ${reason}`);
+        this.reason = reason;
+        this.name = 'TaskContractConflictError';
+    }
+}
+/** Apply an update under the authority rules (doc §14.3). Pure. */
+export function applyTaskContractUpdate(contract, update) {
+    if (update.goal !== undefined && update.goal !== contract.goal) {
+        // Goal changes only when the update itself is user-driven (nextUserSeq
+        // present = a new user message authorized the rewrite).
+        if (update.nextUserSeq === undefined) {
+            throw new TaskContractConflictError('agent-derived update may not rewrite the goal');
+        }
+    }
+    const constraints = contract.constraints.filter((c) => {
+        if (!update.removeConstraintIds?.includes(c.id))
+            return true;
+        if (c.source === 'user' && c.required) {
+            throw new TaskContractConflictError(`required user constraint "${c.id}" cannot be removed`);
+        }
+        return false;
+    });
+    const criteria = contract.acceptanceCriteria.filter((c) => {
+        if (!update.removeCriterionIds?.includes(c.id))
+            return true;
+        if (c.source === 'user' && c.required) {
+            throw new TaskContractConflictError(`required user criterion "${c.id}" cannot be removed`);
+        }
+        return false;
+    });
+    for (const add of update.addConstraints ?? []) {
+        if (constraints.some((c) => c.id === add.id) || (update.addConstraints ?? []).filter((x) => x.id === add.id).length > 1) {
+            throw new TaskContractConflictError(`duplicate constraint id "${add.id}"`);
+        }
+    }
+    for (const add of update.addCriteria ?? []) {
+        if (criteria.some((c) => c.id === add.id) || (update.addCriteria ?? []).filter((x) => x.id === add.id).length > 1) {
+            throw new TaskContractConflictError(`duplicate criterion id "${add.id}"`);
+        }
+    }
+    return TaskContractSchema.parse({
+        version: contract.version + 1,
+        goal: update.goal ?? contract.goal,
+        constraints: [...constraints, ...(update.addConstraints ?? [])],
+        acceptanceCriteria: [...criteria, ...(update.addCriteria ?? [])],
+        source: {
+            userSeq: update.nextUserSeq ?? contract.source.userSeq,
+        },
+    });
+}
+/** Project the contract onto the compaction state shape (§14.5). */
+export function contractToCompactionFields(contract) {
+    return {
+        goal: contract.goal,
+        userConstraints: contract.constraints.filter((c) => c.source === 'user' && c.required).map((c) => c.text),
+        activeCriteria: contract.acceptanceCriteria.map((c) => ({ id: c.id, required: c.required })),
+    };
+}
+/**
+ * Derive an initial contract from the first user message (heuristic, CLI-side seed).
+ *
+ * 2.6.1 parser fix (closure plan §3): a line becomes an acceptance criterion
+ * ONLY when it carries an explicit marker — a checkbox (`- [ ]` / `- [x]`,
+ * with or without the list dash) or a keyword lead-in (`Acceptance:`,
+ * `Criterion:`, `Verify:`, `Test:`, `Success:` with an explicit `:`/`#`
+ * separator). Prose without markers NEVER produces criteria (no more false
+ * criteria from arbitrary lines); normative lines stay constraints.
+ */
+const CHECKBOX_CRITERION = /^\[([ xX])\]\s*(.+)$/;
+const KEYWORD_CRITERION = /^(acceptance|criterion|criteria|verify|test|success)\s*[:#]\s*(.+)$/i;
+/** Command-looking values on Verify:/Test: lines become a command hint. */
+const COMMAND_HINT = /^(npm|pnpm|yarn|bun|npx|node|vitest|jest|tsc|eslint|prettier|git)\b/;
+const CONSTRAINT_LEAD = /^(do not|don't|never|no\s|non\s|without changing|keep|must not|avoid)\b/i;
+export function deriveInitialContract(userSeq, text) {
+    const lines = text.split(/\r?\n/).map((l) => l.trim()).filter(Boolean);
+    // Strip list markers before heuristic matching ("- do not…" → "do not…").
+    const stripped = lines.map((l) => l.replace(/^[-*]\s+/, ''));
+    const acceptanceCriteria = [];
+    const criterionLines = new Set();
+    stripped.forEach((line, i) => {
+        const checkbox = CHECKBOX_CRITERION.exec(line);
+        if (checkbox) {
+            criterionLines.add(i);
+            acceptanceCriteria.push({
+                id: `ac-${acceptanceCriteria.length + 1}`,
+                text: checkbox[2].trim(),
+                source: 'user',
+                required: true,
+            });
+            return;
+        }
+        const keyword = KEYWORD_CRITERION.exec(line);
+        if (keyword) {
+            criterionLines.add(i);
+            const value = keyword[2].trim();
+            const lead = keyword[1].toLowerCase();
+            const hint = (lead === 'verify' || lead === 'test') && COMMAND_HINT.test(value)
+                ? { kind: 'command', value }
+                : undefined;
+            acceptanceCriteria.push({
+                id: `ac-${acceptanceCriteria.length + 1}`,
+                text: value,
+                source: 'user',
+                required: true,
+                ...(hint ? { verificationHint: hint } : {}),
+            });
+        }
+    });
+    const isConstraint = (i) => !criterionLines.has(i) && CONSTRAINT_LEAD.test(stripped[i] ?? '');
+    const constraints = stripped
+        .map((text, i) => ({ text, i }))
+        .filter(({ i }) => isConstraint(i))
+        .map(({ text }, i) => ({
+        id: `uc-${i + 1}`,
+        text,
+        source: 'user',
+        required: true,
+    }));
+    // Goal: the first line that is neither a criterion nor a constraint.
+    const goalIdx = lines.findIndex((_, i) => !criterionLines.has(i) && !isConstraint(i));
+    const goal = goalIdx >= 0 ? lines[goalIdx] : (lines[0] ?? text.slice(0, 200));
+    return TaskContractSchema.parse({
+        version: 1,
+        goal,
+        constraints,
+        acceptanceCriteria,
+        source: { userSeq },
+    });
+}
+//# sourceMappingURL=taskContract.js.map

package/dist/session/taskContract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taskContract.js","sourceRoot":"","sources":["../../src/session/taskContract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;CACtB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,gBAAgB,EAAE,CAAC;SAChB,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QACvD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC7B,CAAC;SACD,QAAQ,EAAE;CACd,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACpC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC1C,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAChD,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,+DAA+D;QAC/D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;KACrC,CAAC;CACH,CAAC,CAAC;AAcH,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAE7B;IADZ,IAAI,GAAG,wBAAwB,CAAC;IACzC,YAAqB,MAAc;QACjC,KAAK,CAAC,kCAAkC,MAAM,EAAE,CAAC,CAAC;QAD/B,WAAM,GAAN,MAAM,CAAQ;QAEjC,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED,mEAAmE;AACnE,MAAM,UAAU,uBAAuB,CACrC,QAAsB,EACtB,MAA0B;IAE1B,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC/D,uEAAuE;QACvE,wDAAwD;QACxD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,IAAI,yBAAyB,CAAC,+CAA+C,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACpD,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7D,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,IAAI,yBAAyB,CAAC,6BAA6B,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAC9F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxD,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,IAAI,yBAAyB,CAAC,4BAA4B,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxH,MAAM,IAAI,yBAAyB,CAAC,4BAA4B,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClH,MAAM,IAAI,yBAAyB,CAAC,2BAA2B,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,CAAC,KAAK,CAAC;QAC9B,OAAO,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC;QAC7B,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI;QAClC,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;QAC/D,kBAAkB,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAChE,MAAM,EAAE;YACN,OAAO,EAAE,MAAM,CAAC,WAAW,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO;SACvD;KACF,CAAC,CAAC;AACL,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,0BAA0B,CAAC,QAAsB;IAK/D,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,eAAe,EAAE,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACzG,cAAc,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,kBAAkB,GAAG,sBAAsB,CAAC;AAClD,MAAM,iBAAiB,GAAG,sEAAsE,CAAC;AACjG,2EAA2E;AAC3E,MAAM,YAAY,GAAG,qEAAqE,CAAC;AAC3F,MAAM,eAAe,GAAG,0EAA0E,CAAC;AAEnG,MAAM,UAAU,qBAAqB,CAAC,OAAe,EAAE,IAAY;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvE,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;IAE7D,MAAM,kBAAkB,GAAoB,EAAE,CAAC;IAC/C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC3B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,QAAQ,EAAE,CAAC;YACb,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtB,kBAAkB,CAAC,IAAI,CAAC;gBACtB,EAAE,EAAE,MAAM,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE;gBACzC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE;gBACzB,MAAM,EAAE,MAAe;gBACvB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,OAAO,EAAE,CAAC;YACZ,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,IAAI,GACR,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;gBAChE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE;gBACrC,CAAC,CAAC,SAAS,CAAC;YAChB,kBAAkB,CAAC,IAAI,CAAC;gBACtB,EAAE,EAAE,MAAM,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE;gBACzC,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,MAAe;gBACvB,QAAQ,EAAE,IAAI;gBACd,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,CAAC,CAAS,EAAW,EAAE,CAC1C,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,QAAQ;SACzB,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;SAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACrB,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;QACjB,IAAI;QACJ,MAAM,EAAE,MAAe;QACvB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC,CAAC;IAEN,qEAAqE;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAE/E,OAAO,kBAAkB,CAAC,KAAK,CAAC;QAC9B,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,WAAW;QACX,kBAAkB;QAClB,MAAM,EAAE,EAAE,OAAO,EAAE;KACpB,CAAC,CAAC;AACL,CAAC"}

package/dist/session/types.d.ts

@@ -33,7 +33,7 @@ export type SessionActor = z.infer<typeof SessionActorSchema>;
  * `session.compacted` with `{fromSeq,toSeq,checkpoint}` shadows that range
  * in deriveMessages(); `{summary}` without a range is legacy (append-only).
  */
-export declare const SESSION_EVENT_KINDS: readonly ["session.started", "session.resumed", "session.ended", "session.forked", "user.message", "assistant.message", "tool.call", "tool.result", "tool.interrupted", "context.injected", "session.compacted", "task.created", "task.updated", "kraken.task", "council.member", "mission.phase", "mission.replan", "mission.progress", "verification.run", "verification.evidence", "note"];
+export declare const SESSION_EVENT_KINDS: readonly ["session.started", "session.resumed", "session.ended", "session.forked", "session.harness_manifest", "session.harness_drift", "user.message", "assistant.message", "tool.call", "tool.result", "tool.interrupted", "context.injected", "session.compacted", "task.created", "task.updated", "task.contract", "task.contract_updated", "kraken.task", "council.member", "mission.phase", "mission.replan", "mission.progress", "verification.run", "verification.evidence", "resource.snapshot", "resource.limit_reached", "resource.reserve_entered", "resource.overrun", "note"];
 export type SessionEventKind = (typeof SESSION_EVENT_KINDS)[number];
 export declare const SessionEventEnvelopeSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<1>;
@@ -46,6 +46,8 @@ export declare const SessionEventEnvelopeSchema: z.ZodObject<{
         "session.resumed": "session.resumed";
         "session.ended": "session.ended";
         "session.forked": "session.forked";
+        "session.harness_manifest": "session.harness_manifest";
+        "session.harness_drift": "session.harness_drift";
         "user.message": "user.message";
         "assistant.message": "assistant.message";
         "tool.call": "tool.call";
@@ -55,6 +57,8 @@ export declare const SessionEventEnvelopeSchema: z.ZodObject<{
         "session.compacted": "session.compacted";
         "task.created": "task.created";
         "task.updated": "task.updated";
+        "task.contract": "task.contract";
+        "task.contract_updated": "task.contract_updated";
         "kraken.task": "kraken.task";
         "council.member": "council.member";
         "mission.phase": "mission.phase";
@@ -62,6 +66,10 @@ export declare const SessionEventEnvelopeSchema: z.ZodObject<{
         "mission.progress": "mission.progress";
         "verification.run": "verification.run";
         "verification.evidence": "verification.evidence";
+        "resource.snapshot": "resource.snapshot";
+        "resource.limit_reached": "resource.limit_reached";
+        "resource.reserve_entered": "resource.reserve_entered";
+        "resource.overrun": "resource.overrun";
     }>;
     actor: z.ZodObject<{
         type: z.ZodEnum<{

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/session/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,sFAAsF;AACtF,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAExC,eAAO,MAAM,kBAAkB;;;;;;;;;;iBAK7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,+XA4BtB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBASrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,qFAAqF;AACrF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,YAAY,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED,0BAA0B;AAC1B,eAAO,MAAM,UAAU,EAAE,YAA+B,CAAC;AACzD,eAAO,MAAM,WAAW,EAAE,YAAgC,CAAC;AAC3D,eAAO,MAAM,YAAY,EAAE,YAAiC,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/session/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,sFAAsF;AACtF,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAExC,eAAO,MAAM,kBAAkB;;;;;;;;;;iBAK7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,6jBAgDtB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBASrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,qFAAqF;AACrF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,YAAY,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED,0BAA0B;AAC1B,eAAO,MAAM,UAAU,EAAE,YAA+B,CAAC;AACzD,eAAO,MAAM,WAAW,EAAE,YAAgC,CAAC;AAC3D,eAAO,MAAM,YAAY,EAAE,YAAiC,CAAC"}

package/dist/session/types.js

@@ -32,6 +32,13 @@ export const SESSION_EVENT_KINDS = [
     'session.resumed',
     'session.ended',
     'session.forked',
+    // 2.6 Track A (harness manifest): canonical harness fingerprint recorded
+    // once at session start / manifest change. State-only (never model-surface):
+    // data = {manifest, manifestHash}. Schema review per ADR-0021.
+    'session.harness_manifest',
+    // 2.6.1 (closure plan §6): resume-time harness drift record. State-only:
+    // data = {originalManifestHash, currentManifestHash}. Non-blocking signal.
+    'session.harness_drift',
     'user.message',
     'assistant.message',
     'tool.call',
@@ -42,6 +49,11 @@ export const SESSION_EVENT_KINDS = [
     'session.compacted',
     'task.created',
     'task.updated',
+    // 2.6 Track A (doc §14): first-class task contract. Append-only,
+    // monotone versioning (task.contract_updated supersedes, never rewrites).
+    // State-only: compaction projects it into CompactionStateSnapshot.
+    'task.contract',
+    'task.contract_updated',
     'kraken.task',
     'council.member',
     'mission.phase',
@@ -54,6 +66,14 @@ export const SESSION_EVENT_KINDS = [
     // the session-log anchor EvidenceRef.seq points at (command output, fs
     // observation, digest). Not model-surface. Schema review per ADR-0021.
     'verification.evidence',
+    // 2.6 Track B (resource-aware execution, doc §9-§12): host-owned resource
+    // state. `resource.snapshot` is model-surface with LATEST-ONLY projection
+    // (doc §10.2 — see modelSurface.ts); limit/reserve events are state-only.
+    'resource.snapshot',
+    'resource.limit_reached',
+    'resource.reserve_entered',
+    // 2.6.1 (closure plan §9): hard-limit overrun telemetry — state-only.
+    'resource.overrun',
     'note',
 ];
 export const SessionEventEnvelopeSchema = z.object({

package/dist/session/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/session/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,sFAAsF;AACtF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChC,wDAAwD;IACxD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,gBAAgB;IAChB,cAAc;IACd,mBAAmB;IACnB,WAAW;IACX,aAAa;IACb,qEAAqE;IACrE,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,cAAc;IACd,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,6EAA6E;IAC7E,0EAA0E;IAC1E,kBAAkB;IAClB,kBAAkB;IAClB,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,uBAAuB;IACvB,MAAM;CACE,CAAC;AAGX,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAChD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,6EAA6E;IAC7E,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAChC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAClC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC;IACjC,KAAK,EAAE,kBAAkB;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAC;AAUH,0BAA0B;AAC1B,MAAM,CAAC,MAAM,UAAU,GAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzD,MAAM,CAAC,MAAM,WAAW,GAAiB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3D,MAAM,CAAC,MAAM,YAAY,GAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/session/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,sFAAsF;AACtF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChC,wDAAwD;IACxD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAGH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,gBAAgB;IAChB,yEAAyE;IACzE,6EAA6E;IAC7E,+DAA+D;IAC/D,0BAA0B;IAC1B,yEAAyE;IACzE,2EAA2E;IAC3E,uBAAuB;IACvB,cAAc;IACd,mBAAmB;IACnB,WAAW;IACX,aAAa;IACb,qEAAqE;IACrE,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,cAAc;IACd,cAAc;IACd,iEAAiE;IACjE,0EAA0E;IAC1E,mEAAmE;IACnE,eAAe;IACf,uBAAuB;IACvB,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,6EAA6E;IAC7E,0EAA0E;IAC1E,kBAAkB;IAClB,kBAAkB;IAClB,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,uBAAuB;IACvB,0EAA0E;IAC1E,0EAA0E;IAC1E,0EAA0E;IAC1E,mBAAmB;IACnB,wBAAwB;IACxB,0BAA0B;IAC1B,sEAAsE;IACtE,kBAAkB;IAClB,MAAM;CACE,CAAC;AAGX,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAChD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,6EAA6E;IAC7E,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAChC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAClC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC;IACjC,KAAK,EAAE,kBAAkB;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAC;AAUH,0BAA0B;AAC1B,MAAM,CAAC,MAAM,UAAU,GAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzD,MAAM,CAAC,MAAM,WAAW,GAAiB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3D,MAAM,CAAC,MAAM,YAAY,GAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC"}

package/dist/verification/index.d.ts

@@ -10,4 +10,5 @@ export * from './criteriaPack.v1.js';
 export * from './metrics.js';
 export * from './verifier.js';
 export * from './scopeDiscipline.js';
+export * from './resourceReserveGate.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,0BAA0B,CAAC"}

package/dist/verification/index.js

@@ -10,4 +10,5 @@ export * from './criteriaPack.v1.js';
 export * from './metrics.js';
 export * from './verifier.js';
 export * from './scopeDiscipline.js';
+export * from './resourceReserveGate.js';
 //# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,0BAA0B,CAAC"}

package/dist/verification/metrics.d.ts

@@ -23,4 +23,24 @@ export declare function computeFalseDoneRate(samples: readonly TaskOutcomeSample
 export declare function verifiedSolveRate(samples: readonly TaskOutcomeSample[]): number;
 /** Verification cost ratio; null when total time is unknown/zero. */
 export declare function verificationCostRatio(verificationMs: number, totalMs: number): number | null;
+/**
+ * 2.6 Track B (doc section 15): unified cost-per-verified-solve metrics.
+ * Core-side aggregation over cost-bearing samples — the full RunCost type
+ * lives in tools/eval/cost.ts (eval tooling boundary); here we accept the
+ * minimal cost shape so the core stays dependency-free.
+ */
+export interface CostedTaskSample extends TaskOutcomeSample {
+    modelCostUsd: number;
+    wallMs: number;
+    toolCalls: number;
+}
+export interface CostPerVerifiedSolveStats {
+    verifiedSolves: number;
+    totalCostUsd: number;
+    costPerVerifiedSolve: number | null;
+    wallMsPerVerifiedSolve: number | null;
+    toolCallsPerVerifiedSolve: number | null;
+}
+/** North-star aggregation: quality (verified) over quantity (cost). */
+export declare function costPerVerifiedSolve(samples: readonly CostedTaskSample[]): CostPerVerifiedSolveStats;
 //# sourceMappingURL=metrics.d.ts.map

package/dist/verification/metrics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"metrics.d.ts","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,cAAc,CAQ1F;AAED,6DAA6D;AAC7D,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,MAAM,CAG/E;AAED,qEAAqE;AACrE,wBAAgB,qBAAqB,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG5F"}
+{"version":3,"file":"metrics.d.ts","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,cAAc,CAQ1F;AAED,6DAA6D;AAC7D,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,MAAM,CAG/E;AAED,qEAAqE;AACrE,wBAAgB,qBAAqB,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG5F;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,yBAAyB;IACxC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C;AAED,uEAAuE;AACvE,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,GAAG,yBAAyB,CAapG"}

package/dist/verification/metrics.js

@@ -26,4 +26,22 @@ export function verificationCostRatio(verificationMs, totalMs) {
         return null;
     return verificationMs / totalMs;
 }
+/** North-star aggregation: quality (verified) over quantity (cost). */
+export function costPerVerifiedSolve(samples) {
+    const solved = samples.filter((s) => s.verified === true);
+    const totalCostUsd = samples.reduce((sum, s) => sum + s.modelCostUsd, 0);
+    const totalWallMs = samples.reduce((sum, s) => sum + s.wallMs, 0);
+    const totalToolCalls = samples.reduce((sum, s) => sum + s.toolCalls, 0);
+    const n = solved.length;
+    return {
+        verifiedSolves: n,
+        totalCostUsd: round(totalCostUsd),
+        costPerVerifiedSolve: n > 0 ? round(totalCostUsd / n) : null,
+        wallMsPerVerifiedSolve: n > 0 ? Math.round(totalWallMs / n) : null,
+        toolCallsPerVerifiedSolve: n > 0 ? round(totalToolCalls / n) : null,
+    };
+}
+function round(v) {
+    return Math.round(v * 1e6) / 1e6;
+}
 //# sourceMappingURL=metrics.js.map

package/dist/verification/metrics.js.map

@@ -1 +1 @@
-{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,OAAqC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC7D,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;KACnE,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,iBAAiB,CAAC,OAAqC;IACrE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,qBAAqB,CAAC,cAAsB,EAAE,OAAe;IAC3E,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,cAAc,GAAG,OAAO,CAAC;AAClC,CAAC"}
+{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,OAAqC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC7D,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;KACnE,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,iBAAiB,CAAC,OAAqC;IACrE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,qBAAqB,CAAC,cAAsB,EAAE,OAAe;IAC3E,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,cAAc,GAAG,OAAO,CAAC;AAClC,CAAC;AAsBD,uEAAuE;AACvE,MAAM,UAAU,oBAAoB,CAAC,OAAoC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC;QACjC,oBAAoB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QAC5D,sBAAsB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QAClE,yBAAyB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;AACnC,CAAC"}

package/dist/verification/resourceReserveGate.d.ts

@@ -0,0 +1,39 @@
+/**
+ * verification/resourceReserveGate.ts — resource-aware completion interaction
+ * (2.6 Track B, doc §11.5, ADR-0023 untouched).
+ *
+ * The budget NEVER decides PASS. It only decides whether the required
+ * evidence is still PRODUCIBLE:
+ *
+ *   verdict === PASS                      → PASS (deterministic PASS ends
+ *                                            even with residual budget)
+ *   verdict !== PASS AND evidence still
+ *   affordable (repair + verification
+ *   reserve not exhausted)                → verdict unchanged (REPAIR_REQUIRED / BLOCKED)
+ *   verdict !== PASS AND no budget left
+ *   to produce required evidence          → BLOCKED / resource-exhausted
+ *
+ * false-done is impossible by construction: unknown ≠ pass stays.
+ */
+import type { ResourceBudget } from '../runtime/resourceBudget.js';
+import type { CompletionEvaluation } from './completionPolicy.js';
+export interface ResourceReserveGateInput {
+    evaluation: CompletionEvaluation;
+    budget: ResourceBudget;
+}
+export interface ResourceReserveGateResult {
+    verdict: CompletionEvaluation['verdict'];
+    /** Original deterministic verdict (never overwritten — audit trail). */
+    deterministicVerdict: CompletionEvaluation['verdict'];
+    /** True when the gate downgraded the verdict to BLOCKED. */
+    resourceExhausted: boolean;
+    /** True when the remaining budget can still run verification/repair calls. */
+    evidenceAffordable: boolean;
+    summary: string;
+}
+/**
+ * Evidence is affordable while the protected verification reserve has not
+ * been consumed by non-verify work AND the repair headroom is not negative.
+ */
+export declare function evaluateResourceReserveGate(input: ResourceReserveGateInput): ResourceReserveGateResult;
+//# sourceMappingURL=resourceReserveGate.d.ts.map

package/dist/verification/resourceReserveGate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resourceReserveGate.d.ts","sourceRoot":"","sources":["../../src/verification/resourceReserveGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAElE,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,oBAAoB,CAAC;IACjC,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,wEAAwE;IACxE,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACtD,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,8EAA8E;IAC9E,kBAAkB,EAAE,OAAO,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,wBAAwB,GAAG,yBAAyB,CAiCtG"}

package/dist/verification/resourceReserveGate.js

@@ -0,0 +1,56 @@
+/**
+ * verification/resourceReserveGate.ts — resource-aware completion interaction
+ * (2.6 Track B, doc §11.5, ADR-0023 untouched).
+ *
+ * The budget NEVER decides PASS. It only decides whether the required
+ * evidence is still PRODUCIBLE:
+ *
+ *   verdict === PASS                      → PASS (deterministic PASS ends
+ *                                            even with residual budget)
+ *   verdict !== PASS AND evidence still
+ *   affordable (repair + verification
+ *   reserve not exhausted)                → verdict unchanged (REPAIR_REQUIRED / BLOCKED)
+ *   verdict !== PASS AND no budget left
+ *   to produce required evidence          → BLOCKED / resource-exhausted
+ *
+ * false-done is impossible by construction: unknown ≠ pass stays.
+ */
+/**
+ * Evidence is affordable while the protected verification reserve has not
+ * been consumed by non-verify work AND the repair headroom is not negative.
+ */
+export function evaluateResourceReserveGate(input) {
+    const { evaluation, budget } = input;
+    if (evaluation.verdict === 'PASS') {
+        return {
+            verdict: 'PASS',
+            deterministicVerdict: 'PASS',
+            resourceExhausted: false,
+            evidenceAffordable: true,
+            summary: evaluation.summary,
+        };
+    }
+    // Remaining outside the reserve is spendable on verify/repair; the reserve
+    // itself exists exactly for those calls. Evidence stops being affordable
+    // when BOTH the spendable headroom and the reserve are gone.
+    const spendable = Math.max(0, budget.toolCalls.remaining - budget.reserve.verification);
+    const affordable = spendable + budget.reserve.verification > 0 && budget.toolCalls.remaining > 0;
+    if (affordable) {
+        return {
+            verdict: evaluation.verdict,
+            deterministicVerdict: evaluation.verdict,
+            resourceExhausted: false,
+            evidenceAffordable: true,
+            summary: evaluation.summary,
+        };
+    }
+    const summary = `${evaluation.summary} · resource-exhausted: ${budget.toolCalls.used}/${budget.toolCalls.limit} tool calls used, no budget left for required evidence — BLOCKED, not a false done`;
+    return {
+        verdict: 'BLOCKED',
+        deterministicVerdict: evaluation.verdict,
+        resourceExhausted: true,
+        evidenceAffordable: false,
+        summary,
+    };
+}
+//# sourceMappingURL=resourceReserveGate.js.map

package/dist/verification/resourceReserveGate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resourceReserveGate.js","sourceRoot":"","sources":["../../src/verification/resourceReserveGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAqBH;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAA+B;IACzE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAClC,OAAO;YACL,OAAO,EAAE,MAAM;YACf,oBAAoB,EAAE,MAAM;YAC5B,iBAAiB,EAAE,KAAK;YACxB,kBAAkB,EAAE,IAAI;YACxB,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;IACjG,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,oBAAoB,EAAE,UAAU,CAAC,OAAO;YACxC,iBAAiB,EAAE,KAAK;YACxB,kBAAkB,EAAE,IAAI;YACxB,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,UAAU,CAAC,OAAO,0BAA0B,MAAM,CAAC,SAAS,CAAC,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,oFAAoF,CAAC;IACnM,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,oBAAoB,EAAE,UAAU,CAAC,OAAO;QACxC,iBAAiB,EAAE,IAAI;QACvB,kBAAkB,EAAE,KAAK;QACzB,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/version.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Canonical core version — exported so hosts stop re-resolving
+ * require.resolve('@zelari/core/package.json') (2.6.1 plan §7).
+ * Kept in sync with package.json by scripts/verify-versions.mjs.
+ */
+export declare const CORE_VERSION = "2.6.1";
+//# sourceMappingURL=version.d.ts.map

package/dist/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,YAAY,UAAU,CAAC"}

package/dist/version.js

@@ -0,0 +1,7 @@
+/**
+ * Canonical core version — exported so hosts stop re-resolving
+ * require.resolve('@zelari/core/package.json') (2.6.1 plan §7).
+ * Kept in sync with package.json by scripts/verify-versions.mjs.
+ */
+export const CORE_VERSION = '2.6.1';
+//# sourceMappingURL=version.js.map

package/dist/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,OAAO,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zelari/core",
-  "version": "2.5.0",
+  "version": "2.6.1",
   "description": "Zelari Code core library — provider-neutral agent loop (AgentHarness), multi-agent council orchestration, and built-in skills. Used by the zelari-code CLI; consumable by other agent frontends.",
   "author": "Anathema Studio <https://anathema-studio.com/>",
   "license": "Apache-2.0",