@telora/daemon 0.17.70 → 0.17.78

package/dist/verify-restatement.js

@@ -1,42 +1,71 @@
 /**
- * Verify-time desired-effect restatement authoring.
+ * Verify-time desired-effect reconciliation.
  *
  * When the verification engine produces a 'passed' verdict for an injection,
- * it authors the positive desired-effect restatement for each targeted UDE and
- * passes the prose INTO the verify call. The edge `reality_tree_verify_injection`
- * then applies the supplied prose as the UDE's new base statement (no LLM in the
- * edge). Authoring is therefore an OUTPUT of verification, gated by the same
- * evidence that produced the passing verdict -- not a separate pre-write step or
- * a per-tick reconciliation scan.
+ * it reconciles the DECLARED desired effect (the UDE's preserved frt_statement,
+ * authored at target time) against the ACHIEVED desired effect re-derived from
+ * the delivery's CITED worktree EVIDENCE (diff, test output, inspection finding)
+ * -- NOT from the targeted UDE's problem text. Each targeted UDE gets a
+ * classification:
  *
- * Reuses the de-restatement prose helper (authorRestatement) -- it does NOT
- * duplicate the prompt/model logic. Injection-conditioned: each UDE becomes the
- * positive state it reaches given the resolving injection.
+ *   - match                 -- the achieved outcome realizes the declared intent.
+ *   - legitimate_divergence -- a valid but different outcome (carries a reason).
+ *   - shortfall             -- the achieved outcome falls short of the intent.
+ *
+ * match / legitimate_divergence are carried INTO the verify call as the UDE's
+ * new base statement (+ classification + reason). The edge applies the supplied
+ * prose; it never runs the LLM.
+ *
+ * ASYMMETRY: a shortfall is NEVER carried into verify and NEVER softens the
+ * declared DE. The caller short-circuits the flip and escalates to a human --
+ * reality is moved toward intent, never the reverse. Shortfalls are returned
+ * here so the caller can hold the gate and file the escalation.
+ *
+ * Reuses the de-restatement CLI plumbing via verify-reconciliation (no new
+ * client or secret wiring).
  *
  * @module verify-restatement
  */
 import { callApi as defaultCallApi } from './queries/shared.js';
-import { authorRestatement as defaultAuthorRestatement, needsRestatement, } from './de-restatement.js';
+import { reconcileAchievedEffect as defaultReconcile, } from './verify-reconciliation.js';
 /**
- * Author a positive desired-effect restatement for each UDE the injection
- * targets, returning them for the caller to pass into the verify call.
+ * Reconcile the achieved outcome against the declared desired effect for each
+ * UDE the injection targets.
+ *
+ * For each targeted UDE:
+ *   - The DECLARED desired effect is the UDE's preserved `frtStatement` (intent
+ *     of record). When absent, there is no declared intent to fall short of, so
+ *     the achieved DE authored from evidence is treated as a match.
+ *   - The ACHIEVED desired effect is authored from the supplied `evidence`
+ *     (diff/tests/inspection), NOT from the UDE problem text.
+ *   - The judgment classifies match / legitimate_divergence / shortfall.
+ *
+ * match / legitimate_divergence -> `restatements` (carried into verify).
+ * shortfall                     -> `shortfalls` (caller holds gate + escalates).
+ *
+ * Best-effort per target: a reconciliation FAILURE (model error / parse error)
+ * is treated as a SHORTFALL -- we cannot prove the achieved outcome realizes the
+ * declared intent, so we do not flip it and we surface it to a human. (This is
+ * the asymmetric-safe default: never flip what you could not reconcile.)
  *
- * Injection-conditioned on the injection's own statement. Best-effort and
- * idempotent at the prose level: a target that already carries a positive
- * frt_statement (target-time intent) reuses it rather than re-authoring. A
- * per-target authoring failure is swallowed (that target is omitted, and the
- * edge falls back to promoting any target-time frt_statement) so one failure
- * never aborts verify.
+ * SCOPE BOUNDARY (intentional): this reconciles ONLY the UDEs the injection
+ * DIRECTLY targets (its `targets` edges). Downstream consequences that resolve
+ * by causal PROPAGATION at verify are NOT reconciled here -- they have no
+ * declared DE to measure against, and their forward prose is authored by the
+ * injection-conditioned draft-assist loop (cascade-restatement.ts), not from raw
+ * code evidence. Verify flips their node_type but leaves verify_classification
+ * null; display falls back to the draft-assist frt_statement. See the matching
+ * note in graph-verification.ts (verifyInjectionImpl, Step 6).
  *
- * Returns an empty array when focusId is null or the injection is not found in
- * the focus's active tree(s).
+ * Returns empty result when focusId is null or the injection is not in the
+ * focus's active tree(s).
  */
-export async function authorTargetRestatements(injectionNodeId, focusId, deps = {}) {
+export async function authorTargetRestatements(injectionNodeId, focusId, evidence, deps = {}) {
     const callApi = deps.callApi ?? defaultCallApi;
-    const author = deps.authorRestatement ?? defaultAuthorRestatement;
-    const out = [];
+    const reconcile = deps.reconcile ?? defaultReconcile;
+    const result = { restatements: [], shortfalls: [] };
     if (!focusId)
-        return out;
+        return result;
     const treesResp = await callApi('reality_tree_list', { focusId });
     const trees = (treesResp.items ?? []).filter((t) => t.status === 'active');
     for (const tree of trees) {
@@ -50,36 +79,62 @@ export async function authorTargetRestatements(injectionNodeId, focusId, deps =
         const injection = nodeById.get(injectionNodeId);
         if (!injection || injection.nodeType !== 'injection')
             continue; // not in this tree
-        const injectionStatements = injection.statement.trim() !== '' ? [injection.statement] : undefined;
         for (const e of edges) {
             if (e.edgeType !== 'targets' || e.fromNodeId !== injectionNodeId)
                 continue;
             const target = nodeById.get(e.toNodeId);
             if (!target || target.nodeType !== 'undesired_effect')
                 continue;
-            // Reuse a positive target-time frt_statement (intent) if present; else
-            // author the positive prose now, gated by this passing verdict.
-            if (target.frtStatement && !needsRestatement(target.frtStatement)) {
-                out.push({ nodeId: target.id, statement: target.frtStatement });
+            // The DECLARED desired effect is the preserved frt_statement (intent of
+            // record). When none was ever authored there is nothing to fall short of.
+            const declared = target.frtStatement && target.frtStatement.trim() !== ''
+                ? target.frtStatement.trim()
+                : null;
+            let judgment;
+            try {
+                judgment = await reconcile({
+                    declaredStatement: declared ?? '',
+                    evidence,
+                });
+            }
+            catch (err) {
+                // Asymmetric-safe: a reconciliation we could not complete is a shortfall.
+                // We never flip an injection whose achievement we could not verify.
+                result.shortfalls.push({
+                    nodeId: target.id,
+                    declaredStatement: declared ?? target.statement,
+                    achievedStatement: '(reconciliation failed)',
+                    reason: `Reconciliation failed: ${err.message}`,
+                });
                 continue;
             }
-            try {
-                const text = await author({
-                    udeStatement: target.statement,
-                    injectionStatements,
-                    evidence: target.evidence ?? undefined,
+            const classification = declared
+                ? judgment.classification
+                // No declared intent to measure against -> the evidence-derived outcome
+                // stands on its own as a match (cannot fall short of nothing).
+                : 'match';
+            if (classification === 'shortfall') {
+                result.shortfalls.push({
+                    nodeId: target.id,
+                    declaredStatement: declared ?? target.statement,
+                    achievedStatement: judgment.achievedStatement,
+                    reason: judgment.divergenceReason
+                        ?? 'Achieved outcome falls short of the declared desired effect.',
                 });
-                if (text && text.trim() !== '') {
-                    out.push({ nodeId: target.id, statement: text.trim() });
-                }
+                continue;
             }
-            catch {
-                // best-effort: omit this target; the edge falls back to promoting any
-                // target-time frt_statement (or node_type-only flip).
+            const entry = {
+                nodeId: target.id,
+                statement: judgment.achievedStatement,
+                classification,
+            };
+            if (classification === 'legitimate_divergence' && judgment.divergenceReason) {
+                entry.divergenceReason = judgment.divergenceReason;
             }
+            result.restatements.push(entry);
         }
-        return out; // injection found and processed
+        return result; // injection found and processed
     }
-    return out;
+    return result;
 }
 //# sourceMappingURL=verify-restatement.js.map

package/dist/verify-restatement.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-restatement.js","sourceRoot":"","sources":["../src/verify-restatement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EACL,iBAAiB,IAAI,wBAAwB,EAC7C,gBAAgB,GAGjB,MAAM,qBAAqB,CAAC;AA0B7B;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,eAAuB,EACvB,OAAsB,EACtB,OAAqC,EAAE;IAEvC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,IAAI,wBAAwB,CAAC;IAClE,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC;IAEzB,MAAM,SAAS,GAAG,MAAM,OAAO,CAA0B,mBAAmB,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAE3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC/C,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1F,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9E,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,WAAW;YAAE,SAAS,CAAC,mBAAmB;QAEnF,MAAM,mBAAmB,GACvB,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAExE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe;gBAAE,SAAS;YAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,SAAS;YAEhE,uEAAuE;YACvE,gEAAgE;YAChE,IAAI,MAAM,CAAC,YAAY,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;gBAClE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;gBAChE,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC;oBACxB,YAAY,EAAE,MAAM,CAAC,SAAS;oBAC9B,mBAAmB;oBACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,SAAS;iBACvC,CAAC,CAAC;gBACH,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,sEAAsE;gBACtE,sDAAsD;YACxD,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC,CAAC,gCAAgC;IAC9C,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"verify-restatement.js","sourceRoot":"","sources":["../src/verify-restatement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EACL,uBAAuB,IAAI,gBAAgB,GAM5C,MAAM,4BAA4B,CAAC;AAsDpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,eAAuB,EACvB,OAAsB,EACtB,QAAwB,EACxB,OAAqC,EAAE;IAEvC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,gBAAgB,CAAC;IACrD,MAAM,MAAM,GAA2B,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IAE5B,MAAM,SAAS,GAAG,MAAM,OAAO,CAA0B,mBAAmB,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAE3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC/C,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1F,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9E,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,WAAW;YAAE,SAAS,CAAC,mBAAmB;QAEnF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe;gBAAE,SAAS;YAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,SAAS;YAEhE,wEAAwE;YACxE,0EAA0E;YAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;gBACvE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE;gBAC5B,CAAC,CAAC,IAAI,CAAC;YAET,IAAI,QAA2B,CAAC;YAChC,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,SAAS,CAAC;oBACzB,iBAAiB,EAAE,QAAQ,IAAI,EAAE;oBACjC,QAAQ;iBACT,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,0EAA0E;gBAC1E,oEAAoE;gBACpE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrB,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,iBAAiB,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS;oBAC/C,iBAAiB,EAAE,yBAAyB;oBAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;iBAC3D,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,cAAc,GAAyB,QAAQ;gBACnD,CAAC,CAAC,QAAQ,CAAC,cAAc;gBACzB,wEAAwE;gBACxE,+DAA+D;gBAC/D,CAAC,CAAC,OAAO,CAAC;YAEZ,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrB,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,iBAAiB,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS;oBAC/C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;oBAC7C,MAAM,EAAE,QAAQ,CAAC,gBAAgB;2BAC5B,8DAA8D;iBACpE,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAsB;gBAC/B,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,SAAS,EAAE,QAAQ,CAAC,iBAAiB;gBACrC,cAAc;aACf,CAAC;YACF,IAAI,cAAc,KAAK,uBAAuB,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;gBAC5E,KAAK,CAAC,gBAAgB,GAAG,QAAQ,CAAC,gBAAgB,CAAC;YACrD,CAAC;YACD,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,gCAAgC;IACjD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telora/daemon",
-  "version": "0.17.70",
+  "version": "0.17.78",
   "description": "Agent orchestration daemon for Telora - spawns and manages Claude Code instances",
   "type": "module",
   "bin": {
@@ -37,7 +37,7 @@
   "//testRunner": "Uses Node.js built-in test runner (node:test) via tsx for TypeScript support. The root package uses Vitest; this is a deliberate choice for the daemon package to avoid framework dependencies. See src/__tests__/ for test files.",
   "dependencies": {
     "@telora/daemon-core": "^0.2.42",
-    "@telora/mcp-products": "^0.22.61",
+    "@telora/mcp-products": "^0.22.63",
     "commander": "^14.0.3",
     "yaml": "^2.4.0",
     "zod": "^4.3.6"