@zelari/core 2.4.0 → 2.6.0

package/dist/session/taskContract.js

@@ -0,0 +1,129 @@
+/**
+ * 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). */
+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 constraintLines = stripped.filter((l) => /^(do not|don't|never|no |non |without changing|keep)/i.test(l));
+    const criteriaLines = stripped
+        .filter((l) => /^\[?\s*[x ]?\s*\]?\s*/.test(l) === false ? /^(acceptance|verify|test)[:\s]/i.test(l) : true)
+        .map((l) => l.replace(/^\[?\s*[x ]?\s*\]?\s*/, '').replace(/^(acceptance|verify|test)[:\s]+/i, ''));
+    return TaskContractSchema.parse({
+        version: 1,
+        goal: lines[0] ?? text.slice(0, 200),
+        constraints: constraintLines.map((t, i) => ({
+            id: `uc-${i + 1}`,
+            text: t,
+            source: 'user',
+            required: true,
+        })),
+        acceptanceCriteria: criteriaLines.map((t, i) => ({
+            id: `ac-${i + 1}`,
+            text: t,
+            source: 'user',
+            required: true,
+        })),
+        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,yFAAyF;AACzF,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;IAC7D,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uDAAuD,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChH,MAAM,aAAa,GAAG,QAAQ;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;SAC3G,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,kCAAkC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtG,OAAO,kBAAkB,CAAC,KAAK,CAAC;QAC9B,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACpC,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1C,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;YACjB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,MAAe;YACvB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,kBAAkB,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/C,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;YACjB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,MAAe;YACvB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,MAAM,EAAE,EAAE,OAAO,EAAE;KACpB,CAAC,CAAC;AACL,CAAC"}

package/dist/session/types.d.ts

@@ -30,8 +30,10 @@ export type SessionActor = z.infer<typeof SessionActorSchema>;
  * Closed event vocabulary (surface + state events).
  * Surface (model-visible): user.message, assistant.message, tool.call,
  * tool.result, session.compacted. Everything else is state/derived.
+ * `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", "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", "note"];
 export type SessionEventKind = (typeof SESSION_EVENT_KINDS)[number];
 export declare const SessionEventEnvelopeSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<1>;
@@ -44,6 +46,7 @@ export declare const SessionEventEnvelopeSchema: z.ZodObject<{
         "session.resumed": "session.resumed";
         "session.ended": "session.ended";
         "session.forked": "session.forked";
+        "session.harness_manifest": "session.harness_manifest";
         "user.message": "user.message";
         "assistant.message": "assistant.message";
         "tool.call": "tool.call";
@@ -53,6 +56,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";
@@ -60,6 +65,9 @@ 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";
     }>;
     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;;;;GAIG;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,ghBA2CtB,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

@@ -24,12 +24,18 @@ export const SessionActorSchema = z.object({
  * Closed event vocabulary (surface + state events).
  * Surface (model-visible): user.message, assistant.message, tool.call,
  * tool.result, session.compacted. Everything else is state/derived.
+ * `session.compacted` with `{fromSeq,toSeq,checkpoint}` shadows that range
+ * in deriveMessages(); `{summary}` without a range is legacy (append-only).
  */
 export const SESSION_EVENT_KINDS = [
     'session.started',
     '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',
     'user.message',
     'assistant.message',
     'tool.call',
@@ -40,6 +46,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',
@@ -52,6 +63,12 @@ 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',
     '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;;;;GAIG;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,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,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/shared/events.d.ts

@@ -176,6 +176,33 @@ export interface BrainSessionCompactedEvent extends BrainEventBase {
     prunedToolResults?: number;
     /** False when the summarizer ran on a different provider/model (no KV reuse). */
     cacheReuseExpected?: boolean;
+    /** Closed interval of spine seqs this checkpoint replaces. */
+    fromSeq?: number;
+    toSeq?: number;
+    checkpoint?: {
+        role: 'user' | 'system';
+        content: string;
+    };
+    strategy?: 'extractive' | 'llm';
+    sourceEventSeqs?: number[];
+    retainedCriterionIds?: string[];
+    retainedEvidenceRefs?: unknown[];
+    retainedState?: object;
+    stateSnapshot?: object;
+    /** Estimated model-history tokens before compaction. */
+    inputTokens?: number;
+    /** Estimated model-history tokens in the replacement surface. */
+    outputTokens?: number;
+    /** Non-negative estimated token reduction. */
+    savedTokens?: number;
+    /** 1 when this compaction replaces an earlier checkpoint, otherwise 0. */
+    recompactionRate?: number;
+    /** Narrative summarizer used for the checkpoint. */
+    summaryStrategy?: 'extractive' | 'llm';
+    /** Summarizer provider, present for LLM checkpoints. */
+    provider?: string;
+    /** Summarizer model, present for LLM checkpoints. */
+    model?: string;
 }
 /** A recoverable, fatal, or cancellation error occurred. */
 export interface BrainErrorEvent extends BrainEventBase {

package/dist/shared/events.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/shared/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,0DAA0D;AAC1D,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,WAAW,GACX,eAAe,GACf,aAAa,GACb,eAAe,GACf,gBAAgB,GAChB,sBAAsB,GACtB,uBAAuB,GACvB,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,OAAO,GACP,aAAa,GACb,cAAc,GACd,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,iBAAiB,GACjB,gBAAgB,CAAC;AAErB,oCAAoC;AACpC,MAAM,WAAW,cAAc;IAC7B,0BAA0B;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,wCAAwC;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,qCAAqC;IACrC,SAAS,EAAE,MAAM,CAAC;CACnB;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACxD,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,WAAW,GAAG,WAAW,GAAG,OAAO,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAID;;;;;GAKG;AACH,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC5D,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC5D,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;;;;OAQG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,8EAA8E;IAC9E,YAAY,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,gBAAgB,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAID,sEAAsE;AACtE,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAID,yCAAyC;AACzC,MAAM,WAAW,4BAA6B,SAAQ,cAAc;IAClE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,6DAA6D;AAC7D,MAAM,WAAW,6BAA8B,SAAQ,cAAc;IACnE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,+DAA+D;AAC/D,MAAM,WAAW,0BAA2B,SAAQ,cAAc;IAChE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,oDAAoD;AACpD,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IAC3D,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB;AAID,wDAAwD;AACxD,MAAM,WAAW,0BAA2B,SAAQ,cAAc;IAChE,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,sEAAsE;IACtE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,8CAA8C;IAC9C,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,8DAA8D;IAC9D,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,+DAA+D;IAC/D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iFAAiF;IACjF,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAID,4DAA4D;AAC5D,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,aAAa,GAAG,OAAO,GAAG,WAAW,CAAC;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE;QACJ,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;CACH;AAED,yEAAyE;AACzE,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IAC3D,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,gBAAgB,GAAG,cAAc,CAAC;CAC5C;AAID,2EAA2E;AAC3E,MAAM,MAAM,eAAe,GACvB,SAAS,GACT,aAAa,GACb,WAAW,GACX,WAAW,GACX,SAAS,CAAC;AAEd;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAEhE,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,eAAe,CAAC;IACxB,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAED,sEAAsE;AACtE,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC5D,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,KAAK,EAAE,gBAAgB,EAAE,CAAC;CAC3B;AAID;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,WAAW,GACX,WAAW,GACX,UAAU,GACV,cAAc,GACd,WAAW,GACX,WAAW,GACX,WAAW,CAAC;AAEhB,wEAAwE;AACxE,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,mBAAmB,CAAC;IAC3B,gFAAgF;IAChF,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,+CAA+C;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,gBAAgB,EAAE,MAAM,CAAC;IACzB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,cAAc,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAyB,SAAQ,cAAc;IAC9D,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,qBAAqB,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,eAAe,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,yCAAyC;IACzC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,OAAO,CAAC;IACzB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,oBAAoB,CAAC;CAC/B;AAED,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAClB,oBAAoB,GACpB,kBAAkB,GAClB,sBAAsB,GACtB,sBAAsB,GACtB,oBAAoB,GACpB,uBAAuB,GACvB,4BAA4B,GAC5B,6BAA6B,GAC7B,0BAA0B,GAC1B,qBAAqB,GACrB,0BAA0B,GAC1B,eAAe,GACf,oBAAoB,GACpB,qBAAqB,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,wBAAwB,GACxB,wBAAwB,GACxB,uBAAuB,CAAC;AAE5B;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,cAAc,IAAI,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAItF;;;;;;;;;GASG;AACH,MAAM,WAAW,wBAAyB,SAAQ,cAAc;IAC9D,IAAI,EAAE,iBAAiB,CAAC;IACxB,wDAAwD;IACxD,cAAc,EAAE,MAAM,CAAC;IACvB,sEAAsE;IACtE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,qEAAqE;IACrE,QAAQ,EAAE,MAAM,CAAC;IACjB,wEAAwE;IACxE,gBAAgB,EAAE,MAAM,CAAC;IACzB,yDAAyD;IACzD,gBAAgB,EAAE,MAAM,CAAC;IACzB,oEAAoE;IACpE,cAAc,EAAE,MAAM,CAAC;CACxB;AAKD,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,kBAAkB,CAE3E;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,sBAAsB,CAEnF;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,sBAAsB,CAEnF;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,uBAAuB,CAErF;AAED,wBAAgB,8BAA8B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,4BAA4B,CAE/F;AAED,wBAAgB,+BAA+B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,6BAA6B,CAEjG;AAED,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,0BAA0B,CAE3F;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,qBAAqB,CAEjF;AAED,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,0BAA0B,CAE3F;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,eAAe,CAErE;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,qBAAqB,CAEjF;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,sBAAsB,CAEnF;AAED,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,wBAAwB,CAEvF;AAED,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,wBAAwB,CAEvF;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,uBAAuB,CAErF;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,cAAc,EACvD,IAAI,EAAE,CAAC,EACP,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,WAAW,CAAC,GAC9D,YAAY,CAAC,CAAC,CAAC,CAQjB"}
+{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/shared/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,0DAA0D;AAC1D,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,WAAW,GACX,eAAe,GACf,aAAa,GACb,eAAe,GACf,gBAAgB,GAChB,sBAAsB,GACtB,uBAAuB,GACvB,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,OAAO,GACP,aAAa,GACb,cAAc,GACd,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,iBAAiB,GACjB,gBAAgB,CAAC;AAErB,oCAAoC;AACpC,MAAM,WAAW,cAAc;IAC7B,0BAA0B;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,wCAAwC;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,qCAAqC;IACrC,SAAS,EAAE,MAAM,CAAC;CACnB;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACxD,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,WAAW,GAAG,WAAW,GAAG,OAAO,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAID;;;;;GAKG;AACH,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC5D,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC5D,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;;;;OAQG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,8EAA8E;IAC9E,YAAY,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,gBAAgB,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;OASG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAID,sEAAsE;AACtE,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAID,yCAAyC;AACzC,MAAM,WAAW,4BAA6B,SAAQ,cAAc;IAClE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,6DAA6D;AAC7D,MAAM,WAAW,6BAA8B,SAAQ,cAAc;IACnE,IAAI,EAAE,uBAAuB,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,+DAA+D;AAC/D,MAAM,WAAW,0BAA2B,SAAQ,cAAc;IAChE,IAAI,EAAE,oBAAoB,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,oDAAoD;AACpD,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IAC3D,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB;AAID,wDAAwD;AACxD,MAAM,WAAW,0BAA2B,SAAQ,cAAc;IAChE,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,sEAAsE;IACtE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,8CAA8C;IAC9C,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,8DAA8D;IAC9D,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,+DAA+D;IAC/D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iFAAiF;IACjF,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1D,QAAQ,CAAC,EAAE,YAAY,GAAG,KAAK,CAAC;IAChC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC;IACjC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,wDAAwD;IACxD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iEAAiE;IACjE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0EAA0E;IAC1E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,oDAAoD;IACpD,eAAe,CAAC,EAAE,YAAY,GAAG,KAAK,CAAC;IACvC,wDAAwD;IACxD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAID,4DAA4D;AAC5D,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,aAAa,GAAG,OAAO,GAAG,WAAW,CAAC;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE;QACJ,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;CACH;AAED,yEAAyE;AACzE,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IAC3D,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,gBAAgB,GAAG,cAAc,CAAC;CAC5C;AAID,2EAA2E;AAC3E,MAAM,MAAM,eAAe,GACvB,SAAS,GACT,aAAa,GACb,WAAW,GACX,WAAW,GACX,SAAS,CAAC;AAEd;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAEhE,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,eAAe,CAAC;IACxB,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAED,sEAAsE;AACtE,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC5D,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,KAAK,EAAE,gBAAgB,EAAE,CAAC;CAC3B;AAID;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,WAAW,GACX,WAAW,GACX,UAAU,GACV,cAAc,GACd,WAAW,GACX,WAAW,GACX,WAAW,CAAC;AAEhB,wEAAwE;AACxE,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,mBAAmB,CAAC;IAC3B,gFAAgF;IAChF,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,+CAA+C;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,gBAAgB,EAAE,MAAM,CAAC;IACzB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,cAAc,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAyB,SAAQ,cAAc;IAC9D,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,qBAAqB,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,eAAe,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,yCAAyC;IACzC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,OAAO,CAAC;IACzB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,oBAAoB,CAAC;CAC/B;AAED,6DAA6D;AAC7D,MAAM,MAAM,UAAU,GAClB,oBAAoB,GACpB,kBAAkB,GAClB,sBAAsB,GACtB,sBAAsB,GACtB,oBAAoB,GACpB,uBAAuB,GACvB,4BAA4B,GAC5B,6BAA6B,GAC7B,0BAA0B,GAC1B,qBAAqB,GACrB,0BAA0B,GAC1B,eAAe,GACf,oBAAoB,GACpB,qBAAqB,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,wBAAwB,GACxB,wBAAwB,GACxB,uBAAuB,CAAC;AAE5B;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,cAAc,IAAI,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAItF;;;;;;;;;GASG;AACH,MAAM,WAAW,wBAAyB,SAAQ,cAAc;IAC9D,IAAI,EAAE,iBAAiB,CAAC;IACxB,wDAAwD;IACxD,cAAc,EAAE,MAAM,CAAC;IACvB,sEAAsE;IACtE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,qEAAqE;IACrE,QAAQ,EAAE,MAAM,CAAC;IACjB,wEAAwE;IACxE,gBAAgB,EAAE,MAAM,CAAC;IACzB,yDAAyD;IACzD,gBAAgB,EAAE,MAAM,CAAC;IACzB,oEAAoE;IACpE,cAAc,EAAE,MAAM,CAAC;CACxB;AAKD,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,kBAAkB,CAE3E;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,sBAAsB,CAEnF;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,sBAAsB,CAEnF;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,uBAAuB,CAErF;AAED,wBAAgB,8BAA8B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,4BAA4B,CAE/F;AAED,wBAAgB,+BAA+B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,6BAA6B,CAEjG;AAED,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,0BAA0B,CAE3F;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,qBAAqB,CAEjF;AAED,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,0BAA0B,CAE3F;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,eAAe,CAErE;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,qBAAqB,CAEjF;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,oBAAoB,CAE/E;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,sBAAsB,CAEnF;AAED,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,wBAAwB,CAEvF;AAED,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,wBAAwB,CAEvF;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,IAAI,uBAAuB,CAErF;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,cAAc,EACvD,IAAI,EAAE,CAAC,EACP,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,WAAW,CAAC,GAC9D,YAAY,CAAC,CAAC,CAAC,CAQjB"}

package/dist/shared/events.js.map

@@ -1 +1 @@
-{"version":3,"file":"events.js","sourceRoot":"","sources":["../../src/shared/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAgcH,+EAA+E;AAE/E,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAa;IAChD,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAa;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAa;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAa;IACrD,OAAO,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,CAAa;IAC1D,OAAO,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,CAAa;IAC3D,OAAO,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,CAAa;IACxD,OAAO,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,CAAa;IACnD,OAAO,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,CAAa;IACxD,OAAO,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,CAAa;IAC7C,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,CAAa;IACnD,OAAO,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAa;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,CAAa;IACtD,OAAO,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,CAAa;IACtD,OAAO,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAa;IACrD,OAAO,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;AACrC,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAO,EACP,SAAiB,EACjB,IAA+D;IAE/D,OAAO;QACL,IAAI;QACJ,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE;QACvB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;QACd,SAAS;QACT,GAAG,IAAI;KACW,CAAC;AACvB,CAAC"}
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../../src/shared/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAwdH,+EAA+E;AAE/E,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAa;IAChD,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAa;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAa;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAa;IACrD,OAAO,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,CAAa;IAC1D,OAAO,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,CAAa;IAC3D,OAAO,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,CAAa;IACxD,OAAO,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,CAAa;IACnD,OAAO,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,CAAa;IACxD,OAAO,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,CAAa;IAC7C,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,CAAa;IACnD,OAAO,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,CAAa;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAa;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,CAAa;IACtD,OAAO,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,CAAa;IACtD,OAAO,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAa;IACrD,OAAO,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;AACrC,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAO,EACP,SAAiB,EACjB,IAA+D;IAE/D,OAAO;QACL,IAAI;QACJ,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE;QACvB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;QACd,SAAS;QACT,GAAG,IAAI;KACW,CAAC;AACvB,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zelari/core",
-  "version": "2.4.0",
+  "version": "2.6.0",
   "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",