@zelari/core 1.49.0 → 2.0.0-alpha.2

package/dist/session/store.js

@@ -0,0 +1,117 @@
+/**
+ * session/store.ts — session directory management.
+ *
+ * Default location (ADR-0016 ratification): `<workspaceRoot>/.zelari/sessions/
+ * <sessionId>/events.jsonl`, overridable via `ZELARI_SESSIONS_DIR` or the
+ * explicit option. The legacy home-level sidecar remains read-only compat.
+ */
+import { promises as fs } from 'node:fs';
+import path from 'node:path';
+import crypto from 'node:crypto';
+import { SessionLogWriter } from './writer.js';
+import { buildProjection, readSessionLog } from './replay.js';
+import { ACTOR_SYSTEM } from './types.js';
+export function resolveSessionsDir(options = {}) {
+    if (options.baseDir)
+        return options.baseDir;
+    const envDir = options.env?.ZELARI_SESSIONS_DIR ?? process.env.ZELARI_SESSIONS_DIR;
+    if (envDir)
+        return envDir;
+    const root = options.workspaceRoot ?? process.cwd();
+    return path.join(root, '.zelari', 'sessions');
+}
+export class SessionStore {
+    baseDir;
+    constructor(baseDir) {
+        this.baseDir = baseDir;
+    }
+    static withDefaults(options = {}) {
+        return new SessionStore(resolveSessionsDir(options));
+    }
+    get dir() {
+        return this.baseDir;
+    }
+    sessionDir(sessionId) {
+        return path.join(this.baseDir, sessionId);
+    }
+    eventsPath(sessionId) {
+        return path.join(this.sessionDir(sessionId), 'events.jsonl');
+    }
+    /** Create a new session and its writer; appends `session.started`. */
+    async create(options = {}) {
+        const sessionId = crypto.randomUUID();
+        const writer = await SessionLogWriter.open(this.sessionDir(sessionId), sessionId, 1);
+        await writer.append({
+            kind: 'session.started',
+            actor: ACTOR_SYSTEM,
+            data: {
+                reason: options.reason ?? 'new',
+                profile: options.profile,
+                workspace: options.workspace,
+            },
+        });
+        return { sessionId, writer };
+    }
+    /** Replay a session log (tolerant read). */
+    async read(sessionId) {
+        return readSessionLog(this.eventsPath(sessionId));
+    }
+    /** Materialized view of a session. */
+    async projection(sessionId) {
+        const report = await this.read(sessionId);
+        return buildProjection(report.events, report.issues);
+    }
+    /** Reopen a session for writing (continues seq after lastSeq). Pure: no event appended. */
+    async open(sessionId) {
+        const report = await this.read(sessionId);
+        if (report.events.length === 0 && report.issues.length === 0) {
+            throw new Error(`Session not found: ${sessionId} (${this.eventsPath(sessionId)})`);
+        }
+        const lastSeq = report.events[report.events.length - 1]?.seq ?? 0;
+        const writer = await SessionLogWriter.open(this.sessionDir(sessionId), sessionId, lastSeq + 1);
+        return { writer, report, projection: buildProjection(report.events, report.issues) };
+    }
+    async exists(sessionId) {
+        try {
+            await fs.access(this.eventsPath(sessionId));
+            return true;
+        }
+        catch {
+            return false;
+        }
+    }
+    /** Summaries of all stored sessions (newest first by startedAt). */
+    async list() {
+        let names;
+        try {
+            names = await fs.readdir(this.baseDir);
+        }
+        catch {
+            return [];
+        }
+        const summaries = [];
+        for (const name of names) {
+            const report = await readSessionLog(this.eventsPath(name));
+            if (report.events.length === 0 && report.issues.length === 0)
+                continue;
+            const projection = buildProjection(report.events);
+            summaries.push({
+                sessionId: name,
+                lastSeq: projection.lastSeq,
+                eventCount: projection.eventCount,
+                startedAt: projection.startedAt,
+                endedAt: projection.endedAt,
+                forkParent: projection.fork?.parentSessionId,
+            });
+        }
+        summaries.sort((a, b) => (b.startedAt ?? 0) - (a.startedAt ?? 0));
+        return summaries;
+    }
+    /** End a session cleanly (appends `session.ended` and releases the writer). */
+    async end(writer, reason = 'completed') {
+        const event = { kind: 'session.ended', actor: ACTOR_SYSTEM, data: { reason } };
+        await writer.append(event);
+        await writer.close();
+    }
+}
+//# sourceMappingURL=store.js.map

package/dist/session/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/session/store.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,cAAc,EAA6C,MAAM,aAAa,CAAC;AACzG,OAAO,EAAE,YAAY,EAA0B,MAAM,YAAY,CAAC;AAWlE,MAAM,UAAU,kBAAkB,CAAC,UAA8B,EAAE;IACjE,IAAI,OAAO,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,mBAAmB,IAAI,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;IACnF,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACpD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;AAChD,CAAC;AAiBD,MAAM,OAAO,YAAY;IACM;IAA7B,YAA6B,OAAe;QAAf,YAAO,GAAP,OAAO,CAAQ;IAAG,CAAC;IAEhD,MAAM,CAAC,YAAY,CAAC,UAA8B,EAAE;QAClD,OAAO,IAAI,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,UAAU,CAAC,SAAiB;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IAED,UAAU,CAAC,SAAiB;QAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC,CAAC;IAC/D,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,MAAM,CAAC,UAAgC,EAAE;QAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,MAAM,CAAC,MAAM,CAAC;YAClB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,YAAY;YACnB,IAAI,EAAE;gBACJ,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,KAAK;gBAC/B,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B;SACF,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,4CAA4C;IAC5C,KAAK,CAAC,IAAI,CAAC,SAAiB;QAC1B,OAAO,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,sCAAsC;IACtC,KAAK,CAAC,UAAU,CAAC,SAAiB;QAChC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1C,OAAO,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,2FAA2F;IAC3F,KAAK,CAAC,IAAI,CAAC,SAAiB;QAC1B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CAAC,sBAAsB,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC;QAC/F,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IACvF,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAAiB;QAC5B,IAAI,CAAC;YACH,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5C,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,KAAK,CAAC,IAAI;QACR,IAAI,KAAe,CAAC;QACpB,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACvE,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAClD,SAAS,CAAC,IAAI,CAAC;gBACb,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,SAAS,EAAE,UAAU,CAAC,SAAS;gBAC/B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,eAAe;aAC7C,CAAC,CAAC;QACL,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,+EAA+E;IAC/E,KAAK,CAAC,GAAG,CAAC,MAAwB,EAAE,MAAM,GAAG,WAAW;QACtD,MAAM,KAAK,GAAsB,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC;QAClG,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;CACF"}

package/dist/session/types.d.ts

@@ -0,0 +1,85 @@
+/**
+ * session/types.ts — Session spine v1: envelope + event vocabulary (ADR-0016/0021).
+ *
+ * The session log is the single source of truth for what the model saw and
+ * what the harness did. One JSON object per line:
+ *
+ *   {"schemaVersion":1,"sessionId":"…","seq":7,"ts":1755…,"kind":"tool.result",
+ *    "actor":{"type":"agent"},"data":{…}}
+ *
+ * Invariant (P1): model-visible ⟺ logged — every kind that feeds the model
+ * input must appear in MODEL_SURFACE_KINDS (see modelSurface.ts). The
+ * vocabulary is closed: new kinds require a schema review (ADR-0021).
+ */
+import { z } from 'zod';
+/** Bump on breaking envelope/event changes; migrations documented in MIGRATION.md. */
+export declare const SESSION_SCHEMA_VERSION = 1;
+export declare const SessionActorSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        user: "user";
+        system: "system";
+        tool: "tool";
+        agent: "agent";
+        subagent: "subagent";
+    }>;
+    id: z.ZodOptional<z.ZodString>;
+    role: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+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.
+ */
+export declare const SESSION_EVENT_KINDS: readonly ["session.started", "session.resumed", "session.ended", "session.forked", "user.message", "assistant.message", "tool.call", "tool.result", "context.injected", "session.compacted", "task.created", "task.updated", "kraken.task", "council.member", "mission.phase", "mission.replan", "verification.run", "note"];
+export type SessionEventKind = (typeof SESSION_EVENT_KINDS)[number];
+export declare const SessionEventEnvelopeSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    sessionId: z.ZodString;
+    seq: z.ZodNumber;
+    ts: z.ZodNumber;
+    kind: z.ZodEnum<{
+        note: "note";
+        "session.started": "session.started";
+        "session.resumed": "session.resumed";
+        "session.ended": "session.ended";
+        "session.forked": "session.forked";
+        "user.message": "user.message";
+        "assistant.message": "assistant.message";
+        "tool.call": "tool.call";
+        "tool.result": "tool.result";
+        "context.injected": "context.injected";
+        "session.compacted": "session.compacted";
+        "task.created": "task.created";
+        "task.updated": "task.updated";
+        "kraken.task": "kraken.task";
+        "council.member": "council.member";
+        "mission.phase": "mission.phase";
+        "mission.replan": "mission.replan";
+        "verification.run": "verification.run";
+    }>;
+    actor: z.ZodObject<{
+        type: z.ZodEnum<{
+            user: "user";
+            system: "system";
+            tool: "tool";
+            agent: "agent";
+            subagent: "subagent";
+        }>;
+        id: z.ZodOptional<z.ZodString>;
+        role: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+    data: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+}, z.core.$strip>;
+export type SessionEventEnvelope = z.infer<typeof SessionEventEnvelopeSchema>;
+/** Event payload without writer-assigned fields (seq/ts/sessionId/schemaVersion). */
+export interface SessionEventInput {
+    kind: SessionEventKind;
+    actor: SessionActor;
+    data?: Record<string, unknown>;
+}
+/** Convenience actors. */
+export declare const ACTOR_USER: SessionActor;
+export declare const ACTOR_AGENT: SessionActor;
+export declare const ACTOR_SYSTEM: SessionActor;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +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,8TAmBtB,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

@@ -0,0 +1,62 @@
+/**
+ * session/types.ts — Session spine v1: envelope + event vocabulary (ADR-0016/0021).
+ *
+ * The session log is the single source of truth for what the model saw and
+ * what the harness did. One JSON object per line:
+ *
+ *   {"schemaVersion":1,"sessionId":"…","seq":7,"ts":1755…,"kind":"tool.result",
+ *    "actor":{"type":"agent"},"data":{…}}
+ *
+ * Invariant (P1): model-visible ⟺ logged — every kind that feeds the model
+ * input must appear in MODEL_SURFACE_KINDS (see modelSurface.ts). The
+ * vocabulary is closed: new kinds require a schema review (ADR-0021).
+ */
+import { z } from 'zod';
+/** Bump on breaking envelope/event changes; migrations documented in MIGRATION.md. */
+export const SESSION_SCHEMA_VERSION = 1;
+export const SessionActorSchema = z.object({
+    type: z.enum(['user', 'agent', 'system', 'subagent', 'tool']),
+    id: z.string().min(1).optional(),
+    /** Human label for display (e.g. role/persona name). */
+    role: z.string().min(1).optional(),
+});
+/**
+ * Closed event vocabulary (surface + state events).
+ * Surface (model-visible): user.message, assistant.message, tool.call,
+ * tool.result, session.compacted. Everything else is state/derived.
+ */
+export const SESSION_EVENT_KINDS = [
+    'session.started',
+    'session.resumed',
+    'session.ended',
+    'session.forked',
+    'user.message',
+    'assistant.message',
+    'tool.call',
+    'tool.result',
+    'context.injected',
+    'session.compacted',
+    'task.created',
+    'task.updated',
+    'kraken.task',
+    'council.member',
+    'mission.phase',
+    'mission.replan',
+    'verification.run',
+    'note',
+];
+export const SessionEventEnvelopeSchema = z.object({
+    schemaVersion: z.literal(SESSION_SCHEMA_VERSION),
+    sessionId: z.string().min(1),
+    /** Monotonic, gap-free, 1-based. Assigned by the writer after validation. */
+    seq: z.number().int().positive(),
+    ts: z.number().int().nonnegative(),
+    kind: z.enum(SESSION_EVENT_KINDS),
+    actor: SessionActorSchema,
+    data: z.record(z.string(), z.unknown()),
+});
+/** Convenience actors. */
+export const ACTOR_USER = { type: 'user' };
+export const ACTOR_AGENT = { type: 'agent' };
+export const ACTOR_SYSTEM = { type: 'system' };
+//# sourceMappingURL=types.js.map

package/dist/session/types.js.map

@@ -0,0 +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,kBAAkB;IAClB,mBAAmB;IACnB,cAAc;IACd,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,gBAAgB;IAChB,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/session/writer.d.ts

@@ -0,0 +1,44 @@
+/**
+ * session/writer.ts — single-writer append-only JSONL log with ownership lock.
+ *
+ * Ownership: `<sessionDir>/writer.lock` is created with flag 'wx' holding
+ * `{ownership, pid, ts}`. A second writer gets SessionLogLockedError; a stale
+ * lock (older than staleLockMs) may be taken over. `seq` is assigned after
+ * Zod validation of the envelope — a rejected event never consumes a seq.
+ */
+import { type SessionEventEnvelope, type SessionEventInput } from './types.js';
+export declare class SessionLogLockedError extends Error {
+    readonly sessionPath: string;
+    readonly owner: string;
+    readonly code = "SESSION_LOG_LOCKED";
+    constructor(sessionPath: string, owner: string);
+}
+export interface SessionLogWriterOptions {
+    /** Locks older than this may be taken over. Default 10 minutes. */
+    staleLockMs?: number;
+    /** Injectable clock for tests. */
+    now?: () => number;
+}
+export declare class SessionLogWriter {
+    private readonly sessionId;
+    private readonly eventsPath;
+    private readonly lockPath;
+    private readonly ownership;
+    private readonly staleLockMs;
+    private readonly now;
+    private nextSeq;
+    private closed;
+    private chain;
+    private constructor();
+    /** Create the writer and acquire the ownership lock. */
+    static open(sessionDir: string, sessionId: string, startSeq?: number, options?: SessionLogWriterOptions): Promise<SessionLogWriter>;
+    get path(): string;
+    get currentSeq(): number;
+    private lockPayload;
+    private acquireLock;
+    /** Append one event; returns the validated envelope with its assigned seq. */
+    append(input: SessionEventInput): Promise<SessionEventEnvelope>;
+    /** Flush pending appends, mark closed, release the ownership lock. */
+    close(): Promise<void>;
+}
+//# sourceMappingURL=writer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"writer.d.ts","sourceRoot":"","sources":["../../src/session/writer.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,EAGL,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AAEpB,qBAAa,qBAAsB,SAAQ,KAAK;aAG5B,WAAW,EAAE,MAAM;aACnB,KAAK,EAAE,MAAM;IAH/B,QAAQ,CAAC,IAAI,wBAAwB;gBAEnB,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM;CAKhC;AAED,MAAM,WAAW,uBAAuB;IACtC,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kCAAkC;IAClC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAID,qBAAa,gBAAgB;IAYzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAX5B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAuB;IACjD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;IACnC,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,KAAK,CAAoC;IAEjD,OAAO;IAaP,wDAAwD;WAC3C,IAAI,CACf,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,QAAQ,SAAI,EACZ,OAAO,GAAE,uBAA4B,GACpC,OAAO,CAAC,gBAAgB,CAAC;IAO5B,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED,OAAO,CAAC,WAAW;YAIL,WAAW;IAyBzB,8EAA8E;IACxE,MAAM,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAmBrE,sEAAsE;IAChE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAK7B"}

package/dist/session/writer.js

@@ -0,0 +1,114 @@
+/**
+ * session/writer.ts — single-writer append-only JSONL log with ownership lock.
+ *
+ * Ownership: `<sessionDir>/writer.lock` is created with flag 'wx' holding
+ * `{ownership, pid, ts}`. A second writer gets SessionLogLockedError; a stale
+ * lock (older than staleLockMs) may be taken over. `seq` is assigned after
+ * Zod validation of the envelope — a rejected event never consumes a seq.
+ */
+import { promises as fs } from 'node:fs';
+import path from 'node:path';
+import crypto from 'node:crypto';
+import { SESSION_SCHEMA_VERSION, SessionEventEnvelopeSchema, } from './types.js';
+export class SessionLogLockedError extends Error {
+    sessionPath;
+    owner;
+    code = 'SESSION_LOG_LOCKED';
+    constructor(sessionPath, owner) {
+        super(`Session log is locked by another writer: ${sessionPath} (owner=${owner})`);
+        this.sessionPath = sessionPath;
+        this.owner = owner;
+        this.name = 'SessionLogLockedError';
+    }
+}
+const DEFAULT_STALE_LOCK_MS = 10 * 60 * 1000;
+export class SessionLogWriter {
+    sessionId;
+    eventsPath;
+    lockPath;
+    ownership = crypto.randomUUID();
+    staleLockMs;
+    now;
+    nextSeq;
+    closed = false;
+    chain = Promise.resolve();
+    constructor(sessionDir, sessionId, startSeq, options) {
+        this.sessionId = sessionId;
+        this.eventsPath = path.join(sessionDir, 'events.jsonl');
+        this.lockPath = path.join(sessionDir, 'writer.lock');
+        this.nextSeq = startSeq;
+        this.staleLockMs = options.staleLockMs ?? DEFAULT_STALE_LOCK_MS;
+        this.now = options.now ?? Date.now;
+    }
+    /** Create the writer and acquire the ownership lock. */
+    static async open(sessionDir, sessionId, startSeq = 1, options = {}) {
+        const writer = new SessionLogWriter(sessionDir, sessionId, startSeq, options);
+        await fs.mkdir(sessionDir, { recursive: true });
+        await writer.acquireLock();
+        return writer;
+    }
+    get path() {
+        return this.eventsPath;
+    }
+    get currentSeq() {
+        return this.nextSeq - 1;
+    }
+    lockPayload() {
+        return JSON.stringify({ ownership: this.ownership, pid: process.pid, ts: this.now() });
+    }
+    async acquireLock() {
+        const payload = this.lockPayload();
+        try {
+            await fs.writeFile(this.lockPath, payload, { encoding: 'utf-8', flag: 'wx', mode: 0o644 });
+            return;
+        }
+        catch (err) {
+            if (err.code !== 'EEXIST')
+                throw err;
+        }
+        const existing = await fs.readFile(this.lockPath, 'utf-8').catch(() => null);
+        let owner = 'unknown';
+        let ts = 0;
+        if (existing) {
+            try {
+                const parsed = JSON.parse(existing);
+                owner = parsed.ownership ?? owner;
+                ts = parsed.ts ?? ts;
+            }
+            catch {
+                // Corrupt lock file — treat as stale.
+            }
+        }
+        const stale = ts > 0 && this.now() - ts > this.staleLockMs;
+        if (!stale)
+            throw new SessionLogLockedError(this.eventsPath, owner);
+        await fs.writeFile(this.lockPath, payload, { encoding: 'utf-8' });
+    }
+    /** Append one event; returns the validated envelope with its assigned seq. */
+    async append(input) {
+        if (this.closed)
+            throw new Error(`SessionLogWriter is closed (${this.eventsPath})`);
+        const envelope = {
+            schemaVersion: SESSION_SCHEMA_VERSION,
+            sessionId: this.sessionId,
+            seq: this.nextSeq,
+            ts: this.now(),
+            kind: input.kind,
+            actor: input.actor,
+            data: input.data ?? {},
+        };
+        SessionEventEnvelopeSchema.parse(envelope);
+        this.nextSeq += 1;
+        const line = JSON.stringify(envelope) + '\n';
+        this.chain = this.chain.then(() => fs.appendFile(this.eventsPath, line, 'utf-8'));
+        await this.chain;
+        return envelope;
+    }
+    /** Flush pending appends, mark closed, release the ownership lock. */
+    async close() {
+        await this.chain;
+        this.closed = true;
+        await fs.rm(this.lockPath, { force: true });
+    }
+}
+//# sourceMappingURL=writer.js.map

package/dist/session/writer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"writer.js","sourceRoot":"","sources":["../../src/session/writer.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,0BAA0B,GAG3B,MAAM,YAAY,CAAC;AAEpB,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAG5B;IACA;IAHT,IAAI,GAAG,oBAAoB,CAAC;IACrC,YACkB,WAAmB,EACnB,KAAa;QAE7B,KAAK,CAAC,4CAA4C,WAAW,WAAW,KAAK,GAAG,CAAC,CAAC;QAHlE,gBAAW,GAAX,WAAW,CAAQ;QACnB,UAAK,GAAL,KAAK,CAAQ;QAG7B,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACtC,CAAC;CACF;AASD,MAAM,qBAAqB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAE7C,MAAM,OAAO,gBAAgB;IAYR;IAXF,UAAU,CAAS;IACnB,QAAQ,CAAS;IACjB,SAAS,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IAChC,WAAW,CAAS;IACpB,GAAG,CAAe;IAC3B,OAAO,CAAS;IAChB,MAAM,GAAG,KAAK,CAAC;IACf,KAAK,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;IAEjD,YACE,UAAkB,EACD,SAAiB,EAClC,QAAgB,EAChB,OAAgC;QAFf,cAAS,GAAT,SAAS,CAAQ;QAIlC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC;QACxB,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,qBAAqB,CAAC;QAChE,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IACrC,CAAC;IAED,wDAAwD;IACxD,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,UAAkB,EAClB,SAAiB,EACjB,QAAQ,GAAG,CAAC,EACZ,UAAmC,EAAE;QAErC,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9E,MAAM,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,MAAM,CAAC,WAAW,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IAC1B,CAAC;IAEO,WAAW;QACjB,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACzF,CAAC;IAEO,KAAK,CAAC,WAAW;QACvB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3F,OAAO;QACT,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,GAAG,CAAC;QAClE,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,KAAK,GAAG,SAAS,CAAC;QACtB,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAwC,CAAC;gBAC3E,KAAK,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;gBAClC,EAAE,GAAG,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;YACvB,CAAC;YAAC,MAAM,CAAC;gBACP,sCAAsC;YACxC,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QAC3D,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACpE,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,8EAA8E;IAC9E,KAAK,CAAC,MAAM,CAAC,KAAwB;QACnC,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAyB;YACrC,aAAa,EAAE,sBAAsB;YACrC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,GAAG,EAAE,IAAI,CAAC,OAAO;YACjB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE;SACvB,CAAC;QACF,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;QAC7C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAClF,MAAM,IAAI,CAAC,KAAK,CAAC;QACjB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,KAAK;QACT,MAAM,IAAI,CAAC,KAAK,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;CACF"}

package/dist/verification/completionPolicy.d.ts

@@ -0,0 +1,33 @@
+/**
+ * verification/completionPolicy.ts — evidence-based completion gate (ADR-0023).
+ *
+ * PASS only when every required criterion has a `pass` result WITH at least
+ * one EvidenceRef. `fail` → REPAIR_REQUIRED (repair loop); missing/unknown
+ * (including "pass without evidence") → BLOCKED. A clean "done" without
+ * sufficient evidence is blockable by construction: unknown ≠ pass.
+ */
+import type { Criterion, VerificationResult } from './types.js';
+export type CompletionVerdict = 'PASS' | 'REPAIR_REQUIRED' | 'BLOCKED';
+export interface CompletionPolicy {
+    mode: 'strict';
+    /** Criterion ids gating completion; '*' = every criterion with required:true. */
+    required: '*' | string[];
+}
+export declare const STRICT_ALL_POLICY: CompletionPolicy;
+export interface UnsatisfiedCriterion {
+    id: string;
+    status: 'fail' | 'unknown' | 'missing';
+    reason: string;
+}
+export interface CompletionEvaluation {
+    verdict: CompletionVerdict;
+    satisfied: string[];
+    unsatisfied: UnsatisfiedCriterion[];
+    /** True when every required criterion passed with evidence. */
+    evidenceComplete: boolean;
+    summary: string;
+}
+export declare function evaluateCompletion(criteria: readonly Criterion[], results: readonly VerificationResult[], policy?: CompletionPolicy): CompletionEvaluation;
+/** Alias for the strict BUILD/mission completion gate (ZELARI_STRICT_DONE). */
+export declare const strictBuildGate: typeof evaluateCompletion;
+//# sourceMappingURL=completionPolicy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"completionPolicy.d.ts","sourceRoot":"","sources":["../../src/verification/completionPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEhE,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;AAEvE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,iFAAiF;IACjF,QAAQ,EAAE,GAAG,GAAG,MAAM,EAAE,CAAC;CAC1B;AAED,eAAO,MAAM,iBAAiB,EAAE,gBAAoD,CAAC;AAErF,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,+DAA+D;IAC/D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;CACjB;AAQD,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,SAAS,SAAS,EAAE,EAC9B,OAAO,EAAE,SAAS,kBAAkB,EAAE,EACtC,MAAM,GAAE,gBAAoC,GAC3C,oBAAoB,CAuDtB;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe,2BAAqB,CAAC"}

package/dist/verification/completionPolicy.js

@@ -0,0 +1,68 @@
+/**
+ * verification/completionPolicy.ts — evidence-based completion gate (ADR-0023).
+ *
+ * PASS only when every required criterion has a `pass` result WITH at least
+ * one EvidenceRef. `fail` → REPAIR_REQUIRED (repair loop); missing/unknown
+ * (including "pass without evidence") → BLOCKED. A clean "done" without
+ * sufficient evidence is blockable by construction: unknown ≠ pass.
+ */
+export const STRICT_ALL_POLICY = { mode: 'strict', required: '*' };
+function lastResultById(results) {
+    const map = new Map();
+    for (const r of results)
+        map.set(r.criterionId, r);
+    return map;
+}
+export function evaluateCompletion(criteria, results, policy = STRICT_ALL_POLICY) {
+    const requiredIds = policy.required === '*'
+        ? criteria.filter((c) => c.required).map((c) => c.id)
+        : policy.required;
+    const byId = lastResultById(results);
+    const order = new Map(criteria.map((c, i) => [c.id, i]));
+    const satisfied = [];
+    const unsatisfied = [];
+    const ids = [...requiredIds].sort((a, b) => (order.get(a) ?? 0) - (order.get(b) ?? 0));
+    for (const id of ids) {
+        const result = byId.get(id);
+        if (!result) {
+            unsatisfied.push({ id, status: 'missing', reason: 'no verification result' });
+            continue;
+        }
+        if (result.status === 'fail') {
+            unsatisfied.push({ id, status: 'fail', reason: result.detail ?? 'check failed' });
+            continue;
+        }
+        if (result.status === 'unknown') {
+            unsatisfied.push({ id, status: 'unknown', reason: result.detail ?? 'not evaluable — unknown ≠ pass' });
+            continue;
+        }
+        if (result.evidence.length === 0) {
+            unsatisfied.push({
+                id,
+                status: 'unknown',
+                reason: 'pass without evidence refs — not acceptable for completion',
+            });
+            continue;
+        }
+        satisfied.push(id);
+    }
+    const verdict = unsatisfied.length === 0
+        ? 'PASS'
+        : unsatisfied.some((u) => u.status === 'fail')
+            ? 'REPAIR_REQUIRED'
+            : 'BLOCKED';
+    return {
+        verdict,
+        satisfied,
+        unsatisfied,
+        evidenceComplete: unsatisfied.length === 0,
+        summary: verdict === 'PASS'
+            ? `complete: ${satisfied.length}/${ids.length} required criteria pass with evidence`
+            : `incomplete (${verdict}): ${unsatisfied
+                .map((u) => `${u.id}=${u.status}`)
+                .join(', ')}`,
+    };
+}
+/** Alias for the strict BUILD/mission completion gate (ZELARI_STRICT_DONE). */
+export const strictBuildGate = evaluateCompletion;
+//# sourceMappingURL=completionPolicy.js.map

package/dist/verification/completionPolicy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completionPolicy.js","sourceRoot":"","sources":["../../src/verification/completionPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,iBAAiB,GAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAiBrF,SAAS,cAAc,CAAC,OAAsC;IAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACnD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,QAA8B,EAC9B,OAAsC,EACtC,SAA2B,iBAAiB;IAE5C,MAAM,WAAW,GACf,MAAM,CAAC,QAAQ,KAAK,GAAG;QACrB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;IACtB,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAA2B,EAAE,CAAC;IAE/C,MAAM,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,gCAAgC,EAAE,CAAC,CAAC;YACvG,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE;gBACF,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,4DAA4D;aACrE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,OAAO,GACX,WAAW,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;YAC5C,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,SAAS,CAAC;IAElB,OAAO;QACL,OAAO;QACP,SAAS;QACT,WAAW;QACX,gBAAgB,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QAC1C,OAAO,EACL,OAAO,KAAK,MAAM;YAChB,CAAC,CAAC,aAAa,SAAS,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,uCAAuC;YACpF,CAAC,CAAC,eAAe,OAAO,MAAM,WAAW;iBACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;iBACjC,IAAI,CAAC,IAAI,CAAC,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,kBAAkB,CAAC"}

package/dist/verification/criteriaPack.v1.d.ts

@@ -0,0 +1,27 @@
+/**
+ * verification/criteriaPack.v1.ts — Zelari Coding Criteria Pack v1.
+ *
+ * Category ids follow the plan §3A.4 taxonomy:
+ *   correctness.{specification, observable-output, error-signals}
+ *   quality.{scope-discipline, regression-risk}
+ *   evidence.verification-quality
+ *
+ * Commands are repo-overridable; passing `null` leaves the criterion without
+ * a deterministic check → honestly `unknown` (advisory), never `pass`.
+ */
+import type { Criterion } from './types.js';
+export declare const ZELARI_CODING_PACK_ID = "zelari-coding/v1";
+export interface CodingPackOptions {
+    typecheckCommand?: string | null;
+    testCommand?: string | null;
+    buildCommand?: string | null;
+    /** e.g. `git diff --name-only <base>` compared against a scope allowlist. */
+    scopeCommand?: string | null;
+    commandTimeoutMs?: number;
+}
+export interface CriteriaPack {
+    id: string;
+    criteria: Criterion[];
+}
+export declare function codingCriteriaPack(options?: CodingPackOptions): CriteriaPack;
+//# sourceMappingURL=criteriaPack.v1.d.ts.map

package/dist/verification/criteriaPack.v1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"criteriaPack.v1.d.ts","sourceRoot":"","sources":["../../src/verification/criteriaPack.v1.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AAExD,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,6EAA6E;IAC7E,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,wBAAgB,kBAAkB,CAAC,OAAO,GAAE,iBAAsB,GAAG,YAAY,CA+ChF"}