zelari-code 2.25.0 → 2.27.0

package/dist/cli/kraken/verifyStatus.js

@@ -0,0 +1,113 @@
+/**
+ * verifyStatus — session-level verification state for the TUI (identity wave).
+ *
+ * The strict gate (verificationBridge, ADR-0023/0026) already decides whether
+ * a build turn may finish. This module PROJECTS that decision onto UI the
+ * user can see at all times:
+ *
+ *   - Verifica chip:   prova: PASS | RIPARA | BLOCCATO   (P1 as product)
+ *   - Permessi chip:   phase gate + strict-done declaration (P2+P3 honesty)
+ *   - Block explanation: why a turn was stopped, which criteria miss proof
+ *
+ * Store discipline mirrors tools/krakenLive.ts: ephemeral, per-process,
+ * fail-open. A missing/never-evaluated state renders NO chip — never a fake
+ * one (EMPTY ≠ absent).
+ */
+import { strictDoneEnabled } from './verificationBridge.js';
+/**
+ * Map a strict-gate evaluation onto the three-state session contract.
+ * `blocked` (CompletionPolicy BLOCKED) is the hard stop; every other blocked
+ * outcome (REPAIR_REQUIRED, legacy gate) means work remains — never pass.
+ */
+export function verifyStateFromGate(evaluation) {
+    if (!evaluation.blocked)
+        return 'pass';
+    const verdict = evaluation.evaluation?.verdict;
+    if (verdict === 'BLOCKED')
+        return 'blocked';
+    return 'repair';
+}
+/** Verifica chip label. Italian on purpose: this is the product contract. */
+export function formatVerifyChip(state) {
+    if (state === 'pass')
+        return { label: 'prova: PASS', tone: 'green' };
+    if (state === 'blocked')
+        return { label: 'prova: BLOCCATO', tone: 'red' };
+    return { label: 'prova: RIPARA', tone: 'yellow' };
+}
+/**
+ * Permessi chip: what the agent may write RIGHT NOW, honestly declared.
+ * - plan phase never writes (P2 phase gate);
+ * - build + strict-on: proof is mandatory before "done" (P1);
+ * - build with strict opted out: declared fail-open, shown as such (P3) —
+ *   never hidden to look safer than it is.
+ */
+export function permissionsChip(phase, strictOn = strictDoneEnabled()) {
+    if (phase === 'plan')
+        return { label: 'scrive: no (piano)', tone: 'yellow' };
+    return strictOn
+        ? { label: 'scrive: sì · prova obbligatoria', tone: 'green' }
+        : { label: 'scrive: sì · senza prova (dichiarato)', tone: 'yellow' };
+}
+/**
+ * Human-readable explanation of a strict-gate outcome: verdict word, how
+ * much proof passed, WHICH criteria are still unsatisfied, and the rule.
+ * Used where the gate stops a turn — the user sees why, not an exit code.
+ */
+export function formatStrictBlockExplanation(evaluation) {
+    const state = verifyStateFromGate(evaluation);
+    const gate = evaluation.gate;
+    if (state === 'pass') {
+        return `[verifica] PASS — ${gate.passed}/${gate.total} prove superate.`;
+    }
+    const word = state === 'blocked' ? 'BLOCCATO' : 'RIPARA';
+    const lines = [
+        `[verifica] ${word} — ${gate.passed}/${gate.total} prove superate; il turno non può dichiararsi finito senza prova.`,
+    ];
+    const evalr = (evaluation.evaluation ?? null);
+    if (evalr) {
+        const byId = new Map();
+        for (const c of evalr.criteria ?? [])
+            byId.set(c.id, c.text);
+        const unsatisfied = (evalr.results ?? []).filter((r) => r.status !== 'pass');
+        if (unsatisfied.length > 0) {
+            lines.push('Mancano:');
+            for (const r of unsatisfied.slice(0, 8)) {
+                lines.push(`  • ${byId.get(r.criterionId) ?? r.criterionId} [${r.status}]`);
+            }
+            if (unsatisfied.length > 8) {
+                lines.push(`  • … e altri ${unsatisfied.length - 8}`);
+            }
+        }
+    }
+    lines.push('La prova è obbligatoria: chiudo il turno solo quando ogni criterio richiesto ha evidenza.');
+    return lines.join('\n');
+}
+/**
+ * Record the latest strict-gate evaluation. Single writer discipline: the
+ * turn loop (TUI useChatTurn) calls this right after each evaluation —
+ * including the post-repair re-check, so a successful repair flips the
+ * chip to PASS instead of lying on RIPARA.
+ */
+export function recordStrictGateEvaluation(evaluation) {
+    const g = globalThis;
+    g.__zelariVerifyState = {
+        state: verifyStateFromGate(evaluation),
+        at: Date.now(),
+        passed: evaluation.gate.passed,
+        total: evaluation.gate.total,
+    };
+}
+/**
+ * Current Verifica chip for the StatusBar. Null before the first evaluation
+ * of the process — no verdict has been observed yet, so no chip (honesty
+ * over decoration).
+ */
+export function getVerifyChip() {
+    const g = globalThis;
+    const s = g.__zelariVerifyState;
+    if (!s)
+        return null;
+    return formatVerifyChip(s.state);
+}
+//# sourceMappingURL=verifyStatus.js.map

package/dist/cli/kraken/verifyStatus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyStatus.js","sourceRoot":"","sources":["../../../src/cli/kraken/verifyStatus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,iBAAiB,EAAkC,MAAM,yBAAyB,CAAC;AAS5F;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAqC;IAErC,IAAI,CAAC,UAAU,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IACvC,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,gBAAgB,CAAC,KAAyB;IACxD,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACrE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1E,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAuB,EACvB,WAAoB,iBAAiB,EAAE;IAEvC,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC7E,OAAO,QAAQ;QACb,CAAC,CAAC,EAAE,KAAK,EAAE,iCAAiC,EAAE,IAAI,EAAE,OAAO,EAAE;QAC7D,CAAC,CAAC,EAAE,KAAK,EAAE,uCAAuC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC;AAaD;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,UAAqC;IAErC,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;IAC7B,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QACrB,OAAO,qBAAqB,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,kBAAkB,CAAC;IAC1E,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzD,MAAM,KAAK,GAAa;QACtB,cAAc,IAAI,MAAM,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,mEAAmE;KACrH,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,UAAU,IAAI,IAAI,CAA8B,CAAC;IAC3E,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAC7E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CACR,2FAA2F,CAC5F,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,UAAqC;IAC9E,MAAM,CAAC,GAAG,UAA0B,CAAC;IACrC,CAAC,CAAC,mBAAmB,GAAG;QACtB,KAAK,EAAE,mBAAmB,CAAC,UAAU,CAAC;QACtC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;QACd,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;QAC9B,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK;KAC7B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,CAAC,GAAG,UAA0B,CAAC;IACrC,MAAM,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC;IAChC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC"}