@zelari/core 2.0.0-alpha.4 → 2.0.0-alpha.6

package/dist/session/agentAdapter.d.ts

@@ -0,0 +1,31 @@
+/**
+ * session/agentAdapter.ts — the single adapter from the session projection
+ * to the AgentHarness message list (Exit-1 E1.1).
+ *
+ * `deriveMessages()` is the only model-history path (ADR-0016/0021); this
+ * adapter is the only way those `DerivedMessage`s become the `AgentMessage[]`
+ * fed to the harness. Hosts (CLI headless, TUI, Desktop) must not build model
+ * history any other way — model-visible ⟺ logged.
+ *
+ * Field mapping (lossy by design, log keeps the full truth):
+ * - `seq` (provenance) has no AgentMessage equivalent — audits read it from
+ *   the spine, not from the harness input.
+ * - `toolName` / `isError` on tool results have no AgentMessage slot; the
+ *   output text is already in `content`, the semantics stay in the log.
+ * - tool calls derived with `includeToolCalls: true` are JSON-encoded
+ *   assistant messages (see deriveMessages); providers that need structured
+ *   `tool_calls` blocks rebuild them from `pairToolCalls()` — this adapter
+ *   deliberately does NOT parse the JSON back into `AgentMessage.toolCalls`:
+ *   one derived message → one agent message, nothing invented.
+ * - `images` / `reasoningContent` are runtime-only concepts; they never come
+ *   from the spine.
+ */
+import type { AgentMessage } from '../core/AgentHarness.js';
+import type { DerivedMessage } from './modelSurface.js';
+/**
+ * Map session-derived messages onto the AgentHarness input format.
+ * Deterministic and side-effect free: the input is never mutated and the
+ * output shares no object references with it (roles/content are copied).
+ */
+export declare function derivedToAgentMessages(messages: readonly DerivedMessage[]): AgentMessage[];
+//# sourceMappingURL=agentAdapter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"agentAdapter.d.ts","sourceRoot":"","sources":["../../src/session/agentAdapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,SAAS,cAAc,EAAE,GAClC,YAAY,EAAE,CAQhB"}

package/dist/session/agentAdapter.js

@@ -0,0 +1,38 @@
+/**
+ * session/agentAdapter.ts — the single adapter from the session projection
+ * to the AgentHarness message list (Exit-1 E1.1).
+ *
+ * `deriveMessages()` is the only model-history path (ADR-0016/0021); this
+ * adapter is the only way those `DerivedMessage`s become the `AgentMessage[]`
+ * fed to the harness. Hosts (CLI headless, TUI, Desktop) must not build model
+ * history any other way — model-visible ⟺ logged.
+ *
+ * Field mapping (lossy by design, log keeps the full truth):
+ * - `seq` (provenance) has no AgentMessage equivalent — audits read it from
+ *   the spine, not from the harness input.
+ * - `toolName` / `isError` on tool results have no AgentMessage slot; the
+ *   output text is already in `content`, the semantics stay in the log.
+ * - tool calls derived with `includeToolCalls: true` are JSON-encoded
+ *   assistant messages (see deriveMessages); providers that need structured
+ *   `tool_calls` blocks rebuild them from `pairToolCalls()` — this adapter
+ *   deliberately does NOT parse the JSON back into `AgentMessage.toolCalls`:
+ *   one derived message → one agent message, nothing invented.
+ * - `images` / `reasoningContent` are runtime-only concepts; they never come
+ *   from the spine.
+ */
+/**
+ * Map session-derived messages onto the AgentHarness input format.
+ * Deterministic and side-effect free: the input is never mutated and the
+ * output shares no object references with it (roles/content are copied).
+ */
+export function derivedToAgentMessages(messages) {
+    const out = [];
+    for (const m of messages) {
+        const agent = { role: m.role, content: m.content };
+        if (m.toolCallId !== undefined)
+            agent.toolCallId = m.toolCallId;
+        out.push(agent);
+    }
+    return out;
+}
+//# sourceMappingURL=agentAdapter.js.map

package/dist/session/agentAdapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agentAdapter.js","sourceRoot":"","sources":["../../src/session/agentAdapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAKH;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAmC;IAEnC,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,KAAK,GAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;QAChE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/session/index.d.ts

@@ -7,6 +7,7 @@
  */
 export * from './types.js';
 export * from './modelSurface.js';
+export * from './agentAdapter.js';
 export * from './writer.js';
 export * from './replay.js';
 export * from './store.js';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}

package/dist/session/index.js

@@ -7,6 +7,7 @@
  */
 export * from './types.js';
 export * from './modelSurface.js';
+export * from './agentAdapter.js';
 export * from './writer.js';
 export * from './replay.js';
 export * from './store.js';

package/dist/session/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/session/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}

package/dist/verification/completionPolicy.d.ts

@@ -6,14 +6,25 @@
  * (including "pass without evidence") → BLOCKED. A clean "done" without
  * sufficient evidence is blockable by construction: unknown ≠ pass.
  */
-import type { Criterion, VerificationResult } from './types.js';
+import type { Criterion, EvidenceRefTier, 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[];
+    /**
+     * Evidence tiers that may satisfy a criterion (E2.2). Undefined = every tier
+     * is admissible (legacy behaviour). The strict BUILD gate admits only
+     * deterministic tiers: an advisory LLM score alone is never proof of done
+     * (PRINCIPLES P1 — trust tool/terminal output, not narration).
+     */
+    admissibleTiers?: readonly EvidenceRefTier[];
 }
 export declare const STRICT_ALL_POLICY: CompletionPolicy;
+/** Tiers produced by deterministic observation: tools, commands, fs, humans. */
+export declare const DETERMINISTIC_EVIDENCE_TIERS: readonly EvidenceRefTier[];
+/** Strict BUILD/mission completion: every required criterion, deterministic evidence only. */
+export declare const STRICT_BUILD_POLICY: CompletionPolicy;
 export interface UnsatisfiedCriterion {
     id: string;
     status: 'fail' | 'unknown' | 'missing';

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

@@ -1 +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"}
+{"version":3,"file":"completionPolicy.d.ts","sourceRoot":"","sources":["../../src/verification/completionPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEjF,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;IACzB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;CAC9C;AAED,eAAO,MAAM,iBAAiB,EAAE,gBAAoD,CAAC;AAErF,gFAAgF;AAChF,eAAO,MAAM,4BAA4B,EAAE,SAAS,eAAe,EAKlE,CAAC;AAEF,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB,EAAE,gBAIjC,CAAC;AAEF,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,CAiEtB;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe,2BAAqB,CAAC"}

package/dist/verification/completionPolicy.js

@@ -7,6 +7,19 @@
  * sufficient evidence is blockable by construction: unknown ≠ pass.
  */
 export const STRICT_ALL_POLICY = { mode: 'strict', required: '*' };
+/** Tiers produced by deterministic observation: tools, commands, fs, humans. */
+export const DETERMINISTIC_EVIDENCE_TIERS = [
+    'tool-output',
+    'command-output',
+    'fs-observation',
+    'human',
+];
+/** Strict BUILD/mission completion: every required criterion, deterministic evidence only. */
+export const STRICT_BUILD_POLICY = {
+    mode: 'strict',
+    required: '*',
+    admissibleTiers: DETERMINISTIC_EVIDENCE_TIERS,
+};
 function lastResultById(results) {
     const map = new Map();
     for (const r of results)
@@ -44,6 +57,16 @@ export function evaluateCompletion(criteria, results, policy = STRICT_ALL_POLICY
             });
             continue;
         }
+        const admissible = policy.admissibleTiers;
+        if (admissible && !result.evidence.some((e) => admissible.includes(e.tier))) {
+            const tiers = [...new Set(result.evidence.map((e) => e.tier))].join(', ');
+            unsatisfied.push({
+                id,
+                status: 'unknown',
+                reason: `pass with inadmissible evidence tiers only (${tiers}) — not acceptable for completion`,
+            });
+            continue;
+        }
         satisfied.push(id);
     }
     const verdict = unsatisfied.length === 0

package/dist/verification/completionPolicy.js.map

@@ -1 +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"}
+{"version":3,"file":"completionPolicy.js","sourceRoot":"","sources":["../../src/verification/completionPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAmBH,MAAM,CAAC,MAAM,iBAAiB,GAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAErF,gFAAgF;AAChF,MAAM,CAAC,MAAM,4BAA4B,GAA+B;IACtE,aAAa;IACb,gBAAgB;IAChB,gBAAgB;IAChB,OAAO;CACR,CAAC;AAEF,8FAA8F;AAC9F,MAAM,CAAC,MAAM,mBAAmB,GAAqB;IACnD,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,GAAG;IACb,eAAe,EAAE,4BAA4B;CAC9C,CAAC;AAiBF,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,MAAM,UAAU,GAAG,MAAM,CAAC,eAAe,CAAC;QAC1C,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC5E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1E,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE;gBACF,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,+CAA+C,KAAK,mCAAmC;aAChG,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/index.d.ts

@@ -5,6 +5,7 @@
 export * from './types.js';
 export * from './engine.js';
 export * from './completionPolicy.js';
+export * from './sessionEvidence.js';
 export * from './criteriaPack.v1.js';
 export * from './metrics.js';
 export * from './verifier.js';

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,cAAc,CAAC;AAC7B,cAAc,eAAe,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"}

package/dist/verification/index.js

@@ -5,6 +5,7 @@
 export * from './types.js';
 export * from './engine.js';
 export * from './completionPolicy.js';
+export * from './sessionEvidence.js';
 export * from './criteriaPack.v1.js';
 export * from './metrics.js';
 export * from './verifier.js';

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,cAAc,CAAC;AAC7B,cAAc,eAAe,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"}

package/dist/verification/sessionEvidence.d.ts

@@ -0,0 +1,52 @@
+/**
+ * verification/sessionEvidence.ts — read the strict completion verdict back
+ * from the session spine (ADR-0023 × ADR-0021; Exit-2/E2.1).
+ *
+ * A `verification.run` event carries the machine-readable record emitted by
+ * the strict build gate (`strictGateEventPayload`). This module reconstructs
+ * a CompletionEvaluation from the session log alone — no in-process registry
+ * — so hosts, mission retries and audits can confirm why a turn finished.
+ *
+ * Discipline (P1): unknown ≠ pass. A missing or malformed record yields
+ * null; a non-strict record is readable as a snapshot but NEVER converts to
+ * a completion evaluation. Callers must treat null as "no verification
+ * evidence", never as a pass.
+ */
+import type { CompletionEvaluation, CompletionVerdict } from './completionPolicy.js';
+/** Structural event view — decoupled from session internals (no cycles). */
+export interface VerificationEventLike {
+    kind: string;
+    seq: number;
+    ts: number;
+    data?: Record<string, unknown>;
+}
+/** Defensive view of one verification record from the log. */
+export interface SessionVerificationRunSnapshot {
+    seq: number;
+    ts: number;
+    engine: string | null;
+    strict: boolean;
+    verdict: CompletionVerdict | 'unknown';
+    satisfied: string[];
+    unsatisfied: {
+        id: string;
+        status: string;
+        reason: string;
+    }[];
+    evidenceComplete: boolean;
+    summary: string;
+}
+/**
+ * Parse one `verification.run` event payload defensively.
+ * Returns null when the payload carries no recognizable record.
+ */
+export declare function parseVerificationRunPayload(ev: VerificationEventLike): SessionVerificationRunSnapshot | null;
+/** Last recognizable `verification.run` in the log (latest wins). */
+export declare function lastVerificationRun(events: readonly VerificationEventLike[]): SessionVerificationRunSnapshot | null;
+/**
+ * Convert a snapshot into a CompletionEvaluation. Null when the record is
+ * not strict (informational only): a non-strict legacy record must never
+ * satisfy the evidence contract.
+ */
+export declare function snapshotToCompletionEvaluation(snap: SessionVerificationRunSnapshot): CompletionEvaluation | null;
+//# sourceMappingURL=sessionEvidence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sessionEvidence.d.ts","sourceRoot":"","sources":["../../src/verification/sessionEvidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EACV,oBAAoB,EACpB,iBAAiB,EAElB,MAAM,uBAAuB,CAAC;AAE/B,4EAA4E;AAC5E,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED,8DAA8D;AAC9D,MAAM,WAAW,8BAA8B;IAC7C,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACvC,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;CACjB;AA8BD;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,EAAE,EAAE,qBAAqB,GACxB,8BAA8B,GAAG,IAAI,CA8BvC;AAED,qEAAqE;AACrE,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,SAAS,qBAAqB,EAAE,GACvC,8BAA8B,GAAG,IAAI,CAQvC;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,8BAA8B,GACnC,oBAAoB,GAAG,IAAI,CAkB7B"}

package/dist/verification/sessionEvidence.js

@@ -0,0 +1,98 @@
+const VERDICTS = new Set(['PASS', 'REPAIR_REQUIRED', 'BLOCKED']);
+function asString(v) {
+    return typeof v === 'string' ? v : null;
+}
+function asStringArray(v) {
+    if (!Array.isArray(v))
+        return [];
+    return v.filter((x) => typeof x === 'string');
+}
+function asUnsatisfied(v) {
+    if (!Array.isArray(v))
+        return [];
+    const out = [];
+    for (const item of v) {
+        if (!item || typeof item !== 'object')
+            continue;
+        const rec = item;
+        const id = asString(rec.id);
+        if (id === null)
+            continue;
+        out.push({
+            id,
+            status: asString(rec.status) ?? 'unknown',
+            reason: asString(rec.reason) ?? '',
+        });
+    }
+    return out;
+}
+/**
+ * Parse one `verification.run` event payload defensively.
+ * Returns null when the payload carries no recognizable record.
+ */
+export function parseVerificationRunPayload(ev) {
+    const data = ev.data;
+    if (!data || typeof data !== 'object')
+        return null;
+    const rec = data;
+    const verdictRaw = asString(rec.verdict);
+    const verdict = verdictRaw !== null && VERDICTS.has(verdictRaw)
+        ? verdictRaw
+        : 'unknown';
+    const evidence = rec.evidence && typeof rec.evidence === 'object'
+        ? rec.evidence
+        : null;
+    const satisfied = asStringArray(evidence?.satisfied);
+    const unsatisfied = asUnsatisfied(evidence?.unsatisfied);
+    const completeRaw = evidence?.complete;
+    return {
+        seq: ev.seq,
+        ts: ev.ts,
+        engine: asString(rec.engine),
+        strict: rec.strict === true,
+        verdict,
+        satisfied,
+        unsatisfied,
+        evidenceComplete: typeof completeRaw === 'boolean'
+            ? completeRaw
+            : verdict === 'PASS' && satisfied.length > 0 && unsatisfied.length === 0,
+        summary: asString(rec.summary) ?? '',
+    };
+}
+/** Last recognizable `verification.run` in the log (latest wins). */
+export function lastVerificationRun(events) {
+    for (let i = events.length - 1; i >= 0; i--) {
+        const ev = events[i];
+        if (ev.kind !== 'verification.run')
+            continue;
+        const snap = parseVerificationRunPayload(ev);
+        if (snap)
+            return snap;
+    }
+    return null;
+}
+/**
+ * Convert a snapshot into a CompletionEvaluation. Null when the record is
+ * not strict (informational only): a non-strict legacy record must never
+ * satisfy the evidence contract.
+ */
+export function snapshotToCompletionEvaluation(snap) {
+    if (!snap.strict)
+        return null;
+    const unsatisfied = snap.unsatisfied.map((u) => ({
+        id: u.id,
+        status: u.status === 'fail' || u.status === 'missing' ? u.status : 'unknown',
+        reason: u.reason,
+    }));
+    const verdict = snap.verdict === 'PASS' || snap.verdict === 'REPAIR_REQUIRED' || snap.verdict === 'BLOCKED'
+        ? snap.verdict
+        : 'BLOCKED';
+    return {
+        verdict,
+        satisfied: [...snap.satisfied],
+        unsatisfied,
+        evidenceComplete: snap.evidenceComplete && unsatisfied.length === 0 && verdict === 'PASS',
+        summary: snap.summary,
+    };
+}
+//# sourceMappingURL=sessionEvidence.js.map

package/dist/verification/sessionEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sessionEvidence.js","sourceRoot":"","sources":["../../src/verification/sessionEvidence.ts"],"names":[],"mappings":"AAyCA,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC;AAEzE,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1C,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,GAAG,GAAqD,EAAE,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,SAAS;QAChD,MAAM,GAAG,GAAG,IAA+B,CAAC;QAC5C,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,IAAI;YAAE,SAAS;QAC1B,GAAG,CAAC,IAAI,CAAC;YACP,EAAE;YACF,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,SAAS;YACzC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE;SACnC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CACzC,EAAyB;IAEzB,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACrB,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,OAAO,GACX,UAAU,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;QAC7C,CAAC,CAAE,UAAgC;QACnC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,QAAQ,GACZ,GAAG,CAAC,QAAQ,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;QAC9C,CAAC,CAAE,GAAG,CAAC,QAAoC;QAC3C,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,QAAQ,EAAE,QAAQ,CAAC;IACvC,OAAO;QACL,GAAG,EAAE,EAAE,CAAC,GAAG;QACX,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI;QAC3B,OAAO;QACP,SAAS;QACT,WAAW;QACX,gBAAgB,EACd,OAAO,WAAW,KAAK,SAAS;YAC9B,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAC5E,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,mBAAmB,CACjC,MAAwC;IAExC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QAC7C,MAAM,IAAI,GAAG,2BAA2B,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,IAAoC;IAEpC,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,WAAW,GAA2B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvE,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;QAC5E,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GACX,IAAI,CAAC,OAAO,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,iBAAiB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QACzF,CAAC,CAAC,IAAI,CAAC,OAAO;QACd,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO;QACL,OAAO;QACP,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QAC9B,WAAW;QACX,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,MAAM;QACzF,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zelari/core",
-  "version": "2.0.0-alpha.4",
+  "version": "2.0.0-alpha.6",
   "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",