zelari-code 2.0.0-alpha.5 → 2.0.0-alpha.6

package/dist/cli/main.bundled.js

@@ -29645,6 +29645,16 @@ 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}) \u2014 not acceptable for completion`
+      });
+      continue;
+    }
     satisfied.push(id);
   }
   const verdict = unsatisfied.length === 0 ? "PASS" : unsatisfied.some((u) => u.status === "fail") ? "REPAIR_REQUIRED" : "BLOCKED";
@@ -29656,15 +29666,113 @@ function evaluateCompletion(criteria, results, policy = STRICT_ALL_POLICY) {
     summary: verdict === "PASS" ? `complete: ${satisfied.length}/${ids.length} required criteria pass with evidence` : `incomplete (${verdict}): ${unsatisfied.map((u) => `${u.id}=${u.status}`).join(", ")}`
   };
 }
-var STRICT_ALL_POLICY, strictBuildGate;
+var STRICT_ALL_POLICY, DETERMINISTIC_EVIDENCE_TIERS, STRICT_BUILD_POLICY, strictBuildGate;
 var init_completionPolicy = __esm({
   "packages/core/dist/verification/completionPolicy.js"() {
     "use strict";
     STRICT_ALL_POLICY = { mode: "strict", required: "*" };
+    DETERMINISTIC_EVIDENCE_TIERS = [
+      "tool-output",
+      "command-output",
+      "fs-observation",
+      "human"
+    ];
+    STRICT_BUILD_POLICY = {
+      mode: "strict",
+      required: "*",
+      admissibleTiers: DETERMINISTIC_EVIDENCE_TIERS
+    };
     strictBuildGate = evaluateCompletion;
   }
 });
 
+// packages/core/dist/verification/sessionEvidence.js
+function asString2(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 = asString2(rec.id);
+    if (id === null)
+      continue;
+    out.push({
+      id,
+      status: asString2(rec.status) ?? "unknown",
+      reason: asString2(rec.reason) ?? ""
+    });
+  }
+  return out;
+}
+function parseVerificationRunPayload(ev) {
+  const data = ev.data;
+  if (!data || typeof data !== "object")
+    return null;
+  const rec = data;
+  const verdictRaw = asString2(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: asString2(rec.engine),
+    strict: rec.strict === true,
+    verdict,
+    satisfied,
+    unsatisfied,
+    evidenceComplete: typeof completeRaw === "boolean" ? completeRaw : verdict === "PASS" && satisfied.length > 0 && unsatisfied.length === 0,
+    summary: asString2(rec.summary) ?? ""
+  };
+}
+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;
+}
+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
+  };
+}
+var VERDICTS;
+var init_sessionEvidence = __esm({
+  "packages/core/dist/verification/sessionEvidence.js"() {
+    "use strict";
+    VERDICTS = /* @__PURE__ */ new Set(["PASS", "REPAIR_REQUIRED", "BLOCKED"]);
+  }
+});
+
 // packages/core/dist/verification/criteriaPack.v1.js
 function codingCriteriaPack(options = {}) {
   const timeoutMs = options.commandTimeoutMs ?? 6e5;
@@ -29954,6 +30062,7 @@ var init_verification2 = __esm({
     init_types9();
     init_engine();
     init_completionPolicy();
+    init_sessionEvidence();
     init_criteriaPack_v1();
     init_metrics();
     init_verifier();
@@ -30045,6 +30154,7 @@ __export(dist_exports, {
   DESIGN_PHASE_MODE_BANNER: () => DESIGN_PHASE_MODE_BANNER,
   DESIGN_PHASE_REQUIREMENTS: () => DESIGN_PHASE_REQUIREMENTS,
   DESIGN_PHASE_REQUIREMENT_SETS: () => DESIGN_PHASE_REQUIREMENT_SETS,
+  DETERMINISTIC_EVIDENCE_TIERS: () => DETERMINISTIC_EVIDENCE_TIERS,
   DOOM_LOOP_THRESHOLD: () => DOOM_LOOP_THRESHOLD,
   DeterministicCheckSchema: () => DeterministicCheckSchema,
   EXPERIMENTAL_FLAGS: () => EXPERIMENTAL_FLAGS,
@@ -30100,6 +30210,7 @@ __export(dist_exports, {
   SINGLE_AGENT_IDENTITY_MODULE: () => SINGLE_AGENT_IDENTITY_MODULE,
   SKILL_CATALOG: () => SKILL_CATALOG,
   STRICT_ALL_POLICY: () => STRICT_ALL_POLICY,
+  STRICT_BUILD_POLICY: () => STRICT_BUILD_POLICY,
   STRUCTURED_REASONING_DIRECTIVE: () => STRUCTURED_REASONING_DIRECTIVE,
   ScriptRunner: () => ScriptRunner,
   SessionActorSchema: () => SessionActorSchema,
@@ -30255,6 +30366,7 @@ __export(dist_exports, {
   isVerifyToolCheckSkipped: () => isVerifyToolCheckSkipped,
   jaccardSimilarity: () => jaccardSimilarity,
   jsonBytes: () => jsonBytes,
+  lastVerificationRun: () => lastVerificationRun,
   lineageOf: () => lineageOf,
   lintSynthesisHonesty: () => lintSynthesisHonesty,
   listCodingSkills: () => listCodingSkills,
@@ -30276,6 +30388,7 @@ __export(dist_exports, {
   parseProjectRootFromWorkspaceContext: () => parseProjectRootFromWorkspaceContext,
   parseTextToolCalls: () => parseTextToolCalls,
   parseThinking: () => parseThinking,
+  parseVerificationRunPayload: () => parseVerificationRunPayload,
   parseVerificationTable: () => parseVerificationTable,
   parseVerifyVerdict: () => parseVerifyVerdict,
   pathsOverlap: () => pathsOverlap,
@@ -30325,6 +30438,7 @@ __export(dist_exports, {
   sha256Hex: () => sha256Hex,
   shouldRetryMember: () => shouldRetryMember,
   slugify: () => slugify2,
+  snapshotToCompletionEvaluation: () => snapshotToCompletionEvaluation,
   specificityFromAssumptions: () => specificityFromAssumptions,
   stableStringify: () => stableStringify,
   strictBuildGate: () => strictBuildGate,
@@ -30694,6 +30808,7 @@ var init_sessionSpine = __esm({
     "use strict";
     init_session();
     init_session();
+    init_verification2();
     MAX_STREAM_BUFFERS = 32;
     SessionSpineMirror = class _SessionSpineMirror {
       constructor(sessionId2, options) {
@@ -30781,6 +30896,19 @@ var init_sessionSpine = __esm({
         if (!report || report.events.length === 0) return null;
         return deriveMessages(report.events);
       }
+      /**
+       * E2.1 (ADR-0023 × ADR-0021): last recognizable strict verification record
+       * in this session's log — the completion verdict is reconstructible from
+       * the spine alone (null when degraded/disabled or no record).
+       */
+      async lastVerificationRun() {
+        if (this.status !== "active" && this.status !== "closed") return null;
+        const report = await readSessionLog(
+          path21.join(this.sessionsDir, this.sessionId, "events.jsonl")
+        ).catch(() => null);
+        if (!report) return null;
+        return lastVerificationRun(report.events);
+      }
       /** Mirror one BrainEvent (coalescing message deltas until message_end). */
       mirrorBrainEvent(ev) {
         if (this.status !== "active" || !this.writer) return;
@@ -39959,8 +40087,16 @@ __export(headlessSpine_exports, {
   missionStateFromSpine: () => missionStateFromSpine,
   openHeadlessSpine: () => openHeadlessSpine,
   resolveHeadlessProfileId: () => resolveHeadlessProfileId,
-  seedHeadlessModelHistory: () => seedHeadlessModelHistory
+  seedHeadlessModelHistory: () => seedHeadlessModelHistory,
+  sessionStartedEvent: () => sessionStartedEvent
 });
+function sessionStartedEvent(handle) {
+  return {
+    type: "session_started",
+    sessionId: handle.sessionId,
+    spine: handle.spine.status
+  };
+}
 function resolveHeadlessProfileId(mode, explicit) {
   if (explicit) return resolveProfile(explicit).id;
   return defaultProfileForMode(mode ?? "kraken");
@@ -40002,6 +40138,9 @@ async function openHeadlessSpine(opts) {
     verificationRun(payload) {
       spine.verificationRun(payload);
     },
+    lastVerificationRun() {
+      return spine.lastVerificationRun();
+    },
     missionPhase(phase2, note) {
       spine.missionPhase(phase2, note);
     },
@@ -55094,7 +55233,7 @@ function evaluateStrictBuildGate(mode) {
   }
   const checks = krakenRequiredChecks();
   const contract = krakenResultsToContract(checks, getKrakenCheckResults());
-  const evaluation = evaluateCompletion(contract.criteria, contract.results, STRICT_ALL_POLICY);
+  const evaluation = evaluateCompletion(contract.criteria, contract.results, STRICT_BUILD_POLICY);
   const blocked = gate.blocked || evaluation.verdict !== "PASS";
   return {
     gate,
@@ -55104,6 +55243,10 @@ function evaluateStrictBuildGate(mode) {
     summary: blocked ? `blocked (strict ${evaluation?.verdict ?? "n/a"}): ${gate.passed}/${gate.total} legacy-pass, evidence ${evaluation?.evidenceComplete ? "complete" : "incomplete"}` : `open (strict PASS): ${evaluation?.satisfied.length ?? 0}/${gate.total} criteria pass with evidence`
   };
 }
+var STRICT_DONE_EXIT_CODE = 4;
+function strictGateExitCode(evaluation) {
+  return evaluation.strict && evaluation.blocked ? STRICT_DONE_EXIT_CODE : 0;
+}
 function strictGateEventPayload(evaluation) {
   return {
     engine: "kraken-legacy+completion-policy",
@@ -55631,7 +55774,7 @@ _(${req.context})_` : "") + "\n\u2192 scegli dalla lista (il turno continua dopo
           });
         }
         const cwd = process.cwd();
-        const budget = await applyBudgetPolicyAsync(getHistory(), getPhase(), {
+        const budget = await applyBudgetPolicyAsync(historyForModel, getPhase(), {
           model: getActiveModel(),
           sessionId: sessionId2,
           // v1.36.0: envelope for full-request metering + cache-aware
@@ -55657,6 +55800,7 @@ _(${req.context})_` : "") + "\n\u2192 scegli dalla lista (il turno continua dopo
           });
           void writerRef.current?.append(compactionEvent);
         }
+        historyForModel = budget.history;
         historySeedLen = historyForModel.length;
         let composedWorkspace = "";
         let composedInstructions = "";
@@ -55892,6 +56036,15 @@ _(${req.context})_` : "") + "\n\u2192 scegli dalla lista (il turno continua dopo
               }
               if (event.reason === "completed" && krakenRepairEnqueued && !evaluateStrictBuildGate("build").blocked) {
                 markRepairSucceeded();
+              } else if (event.reason === "completed" && krakenRepairEnqueued) {
+                const still = evaluateStrictBuildGate("build");
+                if (still.blocked) {
+                  appendSystem(
+                    setMessages,
+                    `[kraken] strict done: evidence still incomplete after repair (${still.evaluation?.unsatisfied.length ?? "?"} unresolved) \u2014 turn is NOT verified-complete`,
+                    Date.now()
+                  );
+                }
               }
               if (!krakenSuppressFinish) progressRuntime.finish(event.reason);
             }
@@ -56285,14 +56438,31 @@ async function dispatchCouncilPromptImpl(text, deps, overrides = {}) {
     return { completionOk: false, ran: false };
   }
   setBusy(true);
-  compactInPlace();
-  const councilBudget = await applyBudgetPolicyAsync(getHistory(), getPhase(), {
+  let councilHistory = getHistory();
+  {
+    const mirror = writerRef.current?.spine ?? null;
+    if (mirror && mirror.status === "active") {
+      const derived = await mirror.derivedPriorTurns();
+      if (derived && derived.length > 0) {
+        councilHistory = derivedModelSeed(derived);
+      }
+    }
+  }
+  const councilBudget = await applyBudgetPolicyAsync(councilHistory, getPhase(), {
     model: envConfig.model
   });
   setHistory(councilBudget.history);
   for (const w of councilBudget.warnings) {
     appendSystem(setMessages, w, Date.now());
   }
+  if ((councilBudget.messagesRemoved ?? 0) > 0) {
+    void writerRef.current?.append(
+      createBrainEvent("session_compacted", sessionId2, {
+        summary: councilBudget.compactSummary ?? "",
+        messagesRemoved: councilBudget.messagesRemoved ?? 0
+      })
+    );
+  }
   const anchored = maybeAnchorShortAnswer(text);
   const effectiveText = anchored ?? text;
   appendSystem(
@@ -61550,6 +61720,7 @@ async function runHeadlessSingle(opts, provider, model, providerStream) {
     workspace: process.cwd()
   });
   const seededHistory = await seedHeadlessModelHistory(spine, opts.history);
+  emitEvent(sessionStartedEvent(spine));
   if (opts.task) spine.userMessage(opts.task);
   resetKrakenCandidates();
   resetKrakenTurnMetrics();
@@ -61862,6 +62033,7 @@ async function runHeadlessSingle(opts, provider, model, providerStream) {
       emittedWrites: pass.emittedWrites + retry.emittedWrites
     };
   }
+  let strictExit = 0;
   if (pass.finalReason === "completed" && pass.exitCode === 0 && opts.mode === "kraken" && isKrakenSelectionEnabled() && !planModeFromOpts(opts)) {
     const strictGate = evaluateStrictBuildGate("build");
     const gate = strictGate.gate;
@@ -61903,6 +62075,13 @@ async function runHeadlessSingle(opts, provider, model, providerStream) {
         emitEvent({ type: "verification_run", ...afterPayload });
       }
       if (!after.blocked) markRepairSucceeded();
+      else {
+        strictExit = strictGateExitCode(after);
+        const gateMsg = `[headless] Kraken BUILD: strict completion gate still blocked after repair pass \u2014 closing non-success (exit ${strictExit}): ${after.summary}`;
+        if (opts.output === "json") emitEvent({ type: "log", message: gateMsg });
+        else process.stderr.write(`[zelari-code --headless] ${gateMsg}
+`);
+      }
     }
   }
   progressRuntime.finish(pass.finalReason);
@@ -61951,7 +62130,8 @@ async function runHeadlessSingle(opts, provider, model, providerStream) {
     }
   }
   try {
-    await spine.close(pass.finalReason === "error" ? "error" : "completed");
+    const closeStatus = pass.finalReason === "error" ? "error" : strictExit !== 0 ? "stopped" : "completed";
+    await spine.close(closeStatus);
   } catch {
   }
   if (opts.exportSessionPath) {
@@ -61968,6 +62148,7 @@ async function runHeadlessSingle(opts, provider, model, providerStream) {
     }
   }
   if (pass.finalReason === "error") return 3;
+  if (strictExit !== 0) return strictExit;
   return pass.exitCode;
 }
 async function buildCouncilToolRegistry(planMode, opts) {
@@ -62007,6 +62188,7 @@ async function runHeadlessCouncil(opts, provider, model, providerStream) {
     workspace: process.cwd()
   });
   const seededHistory = await seedHeadlessModelHistory(spine, opts.history);
+  emitEvent(sessionStartedEvent(spine));
   if (opts.task) spine.userMessage(opts.task);
   const { shouldAllowCouncilBuild: shouldAllowCouncilBuild2 } = await Promise.resolve().then(() => (init_buildPolicy(), buildPolicy_exports));
   let councilRunMode = planModeFromOpts(opts) ? "design-phase" : "implementation";
@@ -62144,6 +62326,7 @@ async function runHeadlessZelari(opts, provider, model, providerStream) {
     workspace: projectRoot
   });
   const seededHistory = await seedHeadlessModelHistory(spine, opts.history);
+  emitEvent(sessionStartedEvent(spine));
   if (opts.task) spine.userMessage(opts.task);
   spine.missionPhase("design", "mission-start");
   const { buildMissionBrief: buildMissionBrief2 } = await Promise.resolve().then(() => (init_council(), council_exports));