@telora/daemon 0.18.55 → 0.18.58

package/dist/negative-branch.js

@@ -78,18 +78,27 @@ export function parseNegativeBranchCandidates(raw) {
     }
     return out;
 }
-/** Default model invocation: spawn the `claude` CLI in print mode and return stdout. */
-function invokeClaudeCli(systemPrompt, userMessage, opts) {
-    const claudeBin = opts.claudeBin ?? 'claude';
-    const timeoutMs = opts.timeoutMs ?? DEFAULT_TIMEOUT_MS;
-    const spawnFn = opts.spawnFn ?? ((cmd, args, sopts) => spawn(cmd, args, sopts));
-    const args = [
+/**
+ * Build the argv for the claude CLI invocation. Exposed for tests.
+ *
+ * NOTE: must NOT include `--bare` -- that flag makes the CLI skip credential
+ * loading, print "Not logged in" to stdout, and exit 1 (the negative-branch
+ * pass died silently before it ran).
+ */
+export function buildNegativeBranchCliArgs(systemPrompt) {
+    return [
         '--print',
         '--output-format', 'text',
-        '--bare',
         '--no-session-persistence',
         '--system-prompt', systemPrompt,
     ];
+}
+/** Default model invocation: spawn the `claude` CLI in print mode and return stdout. */
+function invokeClaudeCli(systemPrompt, userMessage, opts) {
+    const claudeBin = opts.claudeBin ?? 'claude';
+    const timeoutMs = opts.timeoutMs ?? DEFAULT_TIMEOUT_MS;
+    const spawnFn = opts.spawnFn ?? ((cmd, args, sopts) => spawn(cmd, args, sopts));
+    const args = buildNegativeBranchCliArgs(systemPrompt);
     return new Promise((resolve, reject) => {
         let child;
         try {
@@ -153,11 +162,18 @@ export async function generateNegativeBranches(inputs, opts = {}) {
  * injection that introduces it. Idempotency / dedupe is a human concern --
  * proposals are surfaced, not auto-applied.
  *
- * A clean injection produces no candidates and creates no proposals.
+ * A clean injection produces no candidates and creates no proposals -- but the
+ * pass still COMPLETED, so the injection's `negative_branch_pass_ran_at` marker
+ * is stamped regardless of candidate count (as long as generation did not
+ * throw). That durable marker, not the candidate count, is what later gates
+ * tree presentability: "ran clean" must be distinguishable from "never ran".
  */
 export async function proposeNegativeBranchesForInjection(inputs, deps = {}) {
     const callApi = deps.callApi ?? defaultCallApi;
     const generate = deps.generate ?? generateNegativeBranches;
+    const now = deps.now ?? (() => new Date().toISOString());
+    // If generation throws, the pass did NOT complete -- the caller catches and
+    // the marker stays null so the injection remains a surfaced doubt (no stamp).
     const candidates = await generate({
         injectionStatement: inputs.injectionStatement,
         targetUdeStatements: inputs.targetUdeStatements,
@@ -190,6 +206,36 @@ export async function proposeNegativeBranchesForInjection(inputs, deps = {}) {
             errors.push(`negative-branch proposal create failed: ${err.message}`);
         }
     }
-    return { candidates, proposalIds, errors };
+    // Generation completed (did not throw) -- stamp the durable per-injection
+    // marker so a clean (zero-candidate) pass leaves a trace. This is the whole
+    // point: presentability gates on a pass having RUN, never on the branch set
+    // being non-empty. Stamping is best-effort -- a write failure leaves the
+    // marker null (the injection re-runs next tick) but never aborts the result.
+    //
+    // RESIDUAL (documented, tolerated): the "RUN" signal is "generate() did not
+    // throw", so a DEGRADED model call that returns an empty body would be
+    // recorded as a clean pass (zero candidates, marker stamped) even though it
+    // surfaced nothing real. We accept this for two reasons: (1) the dominant
+    // silent-failure mode -- the `--bare` flag printing "Not logged in" and
+    // exiting 1 -- was removed (see buildNegativeBranchCliArgs), so a non-zero
+    // exit now throws and correctly leaves the marker null; and (2) a genuinely
+    // empty negative-branch set is the LEGITIMATE clean case this marker exists to
+    // record, and "did the model degrade vs honestly find nothing" is not
+    // mechanically separable here without a check that could itself be confidently
+    // wrong -- the negative-branch signal is deliberately advisory, not a hard
+    // gate, so a rare false-clean costs an advisory hint, never a blocked tree.
+    let passRanAt = null;
+    const stampedAt = now();
+    try {
+        await callApi('reality_tree_node_update', {
+            nodeId: inputs.injectionNodeId,
+            negativeBranchPassRanAt: stampedAt,
+        });
+        passRanAt = stampedAt;
+    }
+    catch (err) {
+        errors.push(`negative-branch pass-marker stamp failed: ${err.message}`);
+    }
+    return { candidates, proposalIds, errors, passRanAt };
 }
 //# sourceMappingURL=negative-branch.js.map

package/dist/negative-branch.js.map

@@ -1 +1 @@
-{"version":3,"file":"negative-branch.js","sourceRoot":"","sources":["../src/negative-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,KAAK,EAAqB,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AA4BjE,MAAM,kBAAkB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAEzC,MAAM,CAAC,MAAM,6BAA6B,GAAG;;;;;;;;sFAQyC,CAAC;AAEvF,gEAAgE;AAChE,MAAM,UAAU,+BAA+B;IAC7C,OAAO,6BAA6B,CAAC;AACvC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,8BAA8B,CAAC,MAA4B;IACzE,MAAM,KAAK,GAAa,CAAC,eAAe,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAErE,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,iDAAiD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzG,CAAC;IAED,KAAK,CAAC,IAAI,CACR,uIAAuI,CACxI,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAAC,GAAW;IACvD,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACnB,qDAAqD;IACrD,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACjE,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAExB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QAC1B,yDAAyD;QACzD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,wDAAwD;QACxD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QAC1B,2DAA2D;QAC3D,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wFAAwF;AACxF,SAAS,eAAe,CACtB,YAAoB,EACpB,WAAmB,EACnB,IAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAEhF,MAAM,IAAI,GAAG;QACX,SAAS;QACT,iBAAiB,EAAE,MAAM;QACzB,QAAQ;QACR,0BAA0B;QAC1B,iBAAiB,EAAE,YAAY;KAChC,CAAC;IAEF,OAAO,IAAI,OAAO,CAAS,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QAC7C,IAAI,KAAmB,CAAC;QACxB,IAAI,CAAC;YACH,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,KAAK,CAAC,iCAAkC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,0EAA0E;QAC1E,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAE5C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,KAAK,CAAC,gCAAiC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,KAAK,CAAC,0BAA0B,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5E,OAAO;YACT,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAChC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,KAAK,CAAC,uCAAwC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAA4B,EAC5B,OAA8B,EAAE;IAEhC,MAAM,YAAY,GAAG,+BAA+B,EAAE,CAAC;IACvD,MAAM,WAAW,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACpD,OAAO,6BAA6B,CAAC,GAAG,CAAC,CAAC;AAC5C,CAAC;AAsCD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,MAAqC,EACrC,OAAoC,EAAE;IAEtC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,wBAAwB,CAAC;IAE3D,MAAM,UAAU,GAAG,MAAM,QAAQ,CAC/B;QACE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;KAChD,EACD,IAAI,CAAC,eAAe,CACrB,CAAC;IAEF,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAA4B;YACtC,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,UAAU;YACxB,aAAa,EAAE,6CAA6C;YAC5D,kBAAkB,EAAE,SAAS;YAC7B,gBAAgB,EAAE;gBAChB,SAAS,EAAE,SAAS;gBACpB,QAAQ,EAAE,kBAAkB;gBAC5B,SAAS,EAAE,UAAU;gBACrB,iBAAiB,EAAE,MAAM,CAAC,eAAe;gBACzC,gBAAgB,EAAE,IAAI;aACvB;SACF,CAAC;QACF,IAAI,MAAM,CAAC,OAAO;YAAE,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAEpD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,OAAO,CACvB,2BAA2B,EAC3B,MAAM,CACP,CAAC;YACF,MAAM,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC7B,IAAI,OAAO,EAAE,KAAK,QAAQ;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,2CAA4C,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC"}
+{"version":3,"file":"negative-branch.js","sourceRoot":"","sources":["../src/negative-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,KAAK,EAAqB,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AA4BjE,MAAM,kBAAkB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAEzC,MAAM,CAAC,MAAM,6BAA6B,GAAG;;;;;;;;sFAQyC,CAAC;AAEvF,gEAAgE;AAChE,MAAM,UAAU,+BAA+B;IAC7C,OAAO,6BAA6B,CAAC;AACvC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,8BAA8B,CAAC,MAA4B;IACzE,MAAM,KAAK,GAAa,CAAC,eAAe,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAErE,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,iDAAiD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzG,CAAC;IAED,KAAK,CAAC,IAAI,CACR,uIAAuI,CACxI,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAAC,GAAW;IACvD,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACnB,qDAAqD;IACrD,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACjE,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAExB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QAC1B,yDAAyD;QACzD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,wDAAwD;QACxD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QAC1B,2DAA2D;QAC3D,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,YAAoB;IAC7D,OAAO;QACL,SAAS;QACT,iBAAiB,EAAE,MAAM;QACzB,0BAA0B;QAC1B,iBAAiB,EAAE,YAAY;KAChC,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,eAAe,CACtB,YAAoB,EACpB,WAAmB,EACnB,IAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAEhF,MAAM,IAAI,GAAG,0BAA0B,CAAC,YAAY,CAAC,CAAC;IAEtD,OAAO,IAAI,OAAO,CAAS,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QAC7C,IAAI,KAAmB,CAAC;QACxB,IAAI,CAAC;YACH,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,KAAK,CAAC,iCAAkC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,0EAA0E;QAC1E,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAE5C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,KAAK,CAAC,gCAAiC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,KAAK,CAAC,0BAA0B,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5E,OAAO;YACT,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAChC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,KAAK,CAAC,uCAAwC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAA4B,EAC5B,OAA8B,EAAE;IAEhC,MAAM,YAAY,GAAG,+BAA+B,EAAE,CAAC;IACvD,MAAM,WAAW,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACpD,OAAO,6BAA6B,CAAC,GAAG,CAAC,CAAC;AAC5C,CAAC;AAyDD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,MAAqC,EACrC,OAAoC,EAAE;IAEtC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,wBAAwB,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAEzD,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,UAAU,GAAG,MAAM,QAAQ,CAC/B;QACE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;KAChD,EACD,IAAI,CAAC,eAAe,CACrB,CAAC;IAEF,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAA4B;YACtC,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,UAAU;YACxB,aAAa,EAAE,6CAA6C;YAC5D,kBAAkB,EAAE,SAAS;YAC7B,gBAAgB,EAAE;gBAChB,SAAS,EAAE,SAAS;gBACpB,QAAQ,EAAE,kBAAkB;gBAC5B,SAAS,EAAE,UAAU;gBACrB,iBAAiB,EAAE,MAAM,CAAC,eAAe;gBACzC,gBAAgB,EAAE,IAAI;aACvB;SACF,CAAC;QACF,IAAI,MAAM,CAAC,OAAO;YAAE,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAEpD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,OAAO,CACvB,2BAA2B,EAC3B,MAAM,CACP,CAAC;YACF,MAAM,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC7B,IAAI,OAAO,EAAE,KAAK,QAAQ;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,2CAA4C,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,yEAAyE;IACzE,6EAA6E;IAC7E,EAAE;IACF,4EAA4E;IAC5E,uEAAuE;IACvE,4EAA4E;IAC5E,0EAA0E;IAC1E,wEAAwE;IACxE,2EAA2E;IAC3E,4EAA4E;IAC5E,+EAA+E;IAC/E,sEAAsE;IACtE,+EAA+E;IAC/E,2EAA2E;IAC3E,4EAA4E;IAC5E,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,0BAA0B,EAAE;YACxC,MAAM,EAAE,MAAM,CAAC,eAAe;YAC9B,uBAAuB,EAAE,SAAS;SACnC,CAAC,CAAC;QACH,SAAS,GAAG,SAAS,CAAC;IACxB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,6CAA8C,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACxD,CAAC"}

package/dist/queries/verification.d.ts

@@ -5,6 +5,7 @@
  * - Record the outcome of a verification attempt.
  * - Trigger the existing reality_tree_verify_injection compound op on pass.
  */
+import { type NodeWriteback, type WritebackClassification } from '../reality-writeback.js';
 export type VerificationMethod = 'deterministic' | 'behavioral' | 'ai_inspection';
 export type VerificationOutcome = 'pending' | 'passed' | 'failed' | 'escalated';
 export interface PendingVerification {
@@ -56,4 +57,135 @@ export declare function verifyInjectionOnPass(injectionNodeId: string, restateme
  * the verify decision.
  */
 export declare function verifyInjectionWithEvidence(injectionNodeId: string, evidence: string): Promise<void>;
+/**
+ * Translate the pure `decideNodeWriteback` output into the verify call's
+ * `restatements` payload.
+ *
+ * The flip endpoint (`reality_tree_verify_injection`) is the only seam that
+ * persists a node's `verify_classification` / `verify_divergence_reason`, and
+ * it does so per-restatement -- but ONLY when the restatement carries a
+ * non-empty `statement` (an empty statement is dropped whole, classification
+ * included). So a writeback can be applied iff it carries achieved prose.
+ *
+ * Mapping:
+ *   - match | legitimate_divergence WITH a non-empty statement -> a
+ *     VerifyRestatement carried into the flip so classification (+ reason)
+ *     lands atomically with the promotion. The achieved statement is the prose
+ *     written as the targeted UDE's new base statement (for a match this equals
+ *     the declared desired effect carried forward unchanged).
+ *   - any writeback WITHOUT achieved prose, or a `shortfall` -> NOT emitted as
+ *     a restatement (there is no edge path that stamps classification without
+ *     prose, and a shortfall must not flip the node). Reported back via
+ *     `skipped` so the caller can see what was not stamped.
+ *
+ * Pure (no I/O); exported for unit testing the mapping.
+ */
+export declare function planNodeWritebackApply(writebacks: readonly NodeWriteback[]): {
+    restatements: VerifyRestatement[];
+    skipped: Array<{
+        nodeId: string;
+        reason: string;
+    }>;
+};
+/**
+ * Same as `verifyInjectionWithEvidence` but additionally stamps the per-node
+ * realized/diverged writeback computed by `decideNodeWriteback`. Closes the
+ * reality-tree writeback loop: as a delivery lands, the nodes its injection
+ * targeted carry an explicit match / legitimate_divergence status legible to a
+ * later reader.
+ *
+ * Order of operations:
+ *   1. `reality_tree_node_update` on the injection node -> persist evidence.
+ *   2. `reality_tree_verify_injection` with the per-node restatements -> flips
+ *      the injection and promotes overlays, applying the classification (+
+ *      reason) to each targeted UDE atomically. Writebacks with no achieved
+ *      prose, and shortfalls, are skipped (logged) -- there is no edge path
+ *      that persists a classification without prose / a flip.
+ *
+ * Non-destructive: only stamps status + evidence/reason on nodes the injection
+ * owns; a match carries the declared desired effect forward unchanged. When
+ * `writebacks` is empty this is byte-equivalent to `verifyInjectionWithEvidence`.
+ */
+export declare function verifyInjectionWithWriteback(injectionNodeId: string, evidence: string, writebacks: readonly NodeWriteback[], realityTreeId?: string): Promise<void>;
+/**
+ * Surface inward drift proposals for the contradicted nodes in a writeback.
+ *
+ * For each writeback the pure `detectInwardDrift` deems a contradicted claim
+ * (`legitimate_divergence` / `shortfall`), create one `update_statement`
+ * crt_drift_proposal flagged `inward:true` via the EXISTING
+ * `crt_drift_proposal_create` pipeline. A `match` (or unstamped) node yields
+ * nothing, so a clean landing emits no proposals.
+ *
+ * Requires the reality tree id (the create action keys off it). When the tree
+ * id is unknown, the proposals cannot be created -- we log and skip, leaving
+ * the per-node stamps in place (a later reader still sees the divergence).
+ *
+ * Non-fatal: each create is independently try/caught so one failure neither
+ * blocks the others nor unwinds the already-applied verify flip.
+ */
+export declare function emitInwardDriftProposals(injectionNodeId: string, writebacks: readonly NodeWriteback[], realityTreeId?: string): Promise<void>;
+/**
+ * One targeted UDE node resolved at landing: its id plus its declared
+ * desired-effect prose, used as the achieved statement on a clean match (the
+ * achieved effect equals the declared one, carried forward unchanged).
+ */
+export interface ResolvedTargetedNode {
+    nodeId: string;
+    /** The declared desired-effect prose (frt_statement, else statement). */
+    achievedStatement: string;
+    /**
+     * The node's ORIGINAL claim prose (frt_statement, else statement) AS IT
+     * STANDS NOW. For a close-loop clean landing the achieved effect equals the
+     * declared one, so this equals `achievedStatement`; it is carried separately
+     * so a divergent landing (where achieved != claim) can frame the inward drift
+     * proposal against the tree's claim rather than the achieved reality.
+     */
+    originalClaim: string;
+    /**
+     * The node's EXISTING stamped verify_classification, if any (e.g. stamped
+     * `legitimate_divergence`/`shortfall` by the per-delivery verify path before
+     * the focus reached close_loop). Used so the close-loop sweep does NOT
+     * clobber an already-diverged stamp back to `match` (TEL-3). `null`/absent =>
+     * unstamped, the sweep stamps a clean match.
+     */
+    existingClassification?: WritebackClassification | null;
+}
+/**
+ * Resolve the targeted UDE nodes of an injection via the existing
+ * `reality_tree_edge_list` ('targets' edges out of the injection) joined to
+ * `reality_tree_node_list` for each target's declared prose. Returns [] when
+ * the tree id is unknown or a lookup fails -- the writeback then degrades to a
+ * plain injection verify (no per-node stamping), which is non-destructive and
+ * matches prior behavior.
+ */
+export declare function resolveTargetedNodes(injectionId: string, treeId: string | undefined): Promise<ResolvedTargetedNode[]>;
+/**
+ * Build the writeback-applying verify callback used by the close-loop sweep.
+ *
+ * For each injection the sweep verifies, this closure:
+ *   1. Resolves the injection's targeted UDE node ids (edge-list) + each node's
+ *      EXISTING verify_classification.
+ *   2. Models the landing as a CLEAN realization for the still-unstamped (or
+ *      already-match) targets -- the anchoring delivery closed successfully, so
+ *      the cascade is treated as flipped and the injection as delivered. A
+ *      target the per-delivery verify path ALREADY stamped as a contradiction
+ *      (legitimate_divergence / shortfall) is EXCLUDED from the landing so the
+ *      close-loop sweep never clobbers a diverged stamp back to 'match' (TEL-3).
+ *   3. Computes the per-node writeback and applies it via
+ *      `verifyInjectionWithWriteback`, stamping match/evidence on each targeted
+ *      UDE so a later reader sees which claims actually held.
+ *
+ * No targeted nodes -> the writeback is empty and the call is byte-equivalent
+ * to the plain `verifyInjectionWithEvidence`.
+ *
+ * `treeIdByInjection` maps an injection node id to its reality_tree id, captured
+ * by the dispatcher from the focus-injections snapshot. The returned callback
+ * matches the `(injectionId, evidence) => Promise<void>` shape the close-loop
+ * sweep expects, so it drops into `advanceFocusToDoneWithSweep` unchanged.
+ *
+ * Exported here (rather than in the dispatcher) so the wiring is unit-testable
+ * against the callApi mock seam without dragging the dispatcher's heavy import
+ * graph.
+ */
+export declare function buildWritebackVerify(treeIdByInjection: ReadonlyMap<string, string>): (injectionId: string, evidence: string) => Promise<void>;
 //# sourceMappingURL=verification.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../src/queries/verification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG,YAAY,GAAG,eAAe,CAAC;AAClF,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAEhF,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACnD,mBAAmB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAChD,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAED,wBAAsB,uBAAuB,CAC3C,SAAS,CAAC,EAAE,MAAM,GACjB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAMhC;AAED,wBAAsB,iCAAiC,CACrD,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,OAAO,GAAG,uBAAuB,CAAC;IAClD,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CACzC,eAAe,EAAE,MAAM,EACvB,YAAY,CAAC,EAAE,iBAAiB,EAAE,GACjC,OAAO,CAAC,IAAI,CAAC,CAIf;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,2BAA2B,CAC/C,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,IAAI,CAAC,CAMf"}
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../src/queries/verification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAGL,KAAK,aAAa,EAGlB,KAAK,uBAAuB,EAC7B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG,YAAY,GAAG,eAAe,CAAC;AAClF,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;AAEhF,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACnD,mBAAmB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAChD,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAED,wBAAsB,uBAAuB,CAC3C,SAAS,CAAC,EAAE,MAAM,GACjB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAMhC;AAED,wBAAsB,iCAAiC,CACrD,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,OAAO,GAAG,uBAAuB,CAAC;IAClD,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CACzC,eAAe,EAAE,MAAM,EACvB,YAAY,CAAC,EAAE,iBAAiB,EAAE,GACjC,OAAO,CAAC,IAAI,CAAC,CAIf;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,2BAA2B,CAC/C,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,IAAI,CAAC,CAMf;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,GAAG;IAC5E,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,OAAO,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpD,CAyCA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,4BAA4B,CAChD,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,GACrB,OAAO,CAAC,IAAI,CAAC,CA0Bf;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,wBAAwB,CAC5C,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,GACrB,OAAO,CAAC,IAAI,CAAC,CAgDf;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,sBAAsB,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CACzD;AAED;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,OAAO,CAAC,oBAAoB,EAAE,CAAC,CA6CjC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,oBAAoB,CAClC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7C,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAiC1D"}

package/dist/queries/verification.js

@@ -6,6 +6,7 @@
  * - Trigger the existing reality_tree_verify_injection compound op on pass.
  */
 import { callApi } from './shared.js';
+import { decideNodeWriteback, detectInwardDrift, } from '../reality-writeback.js';
 export async function getPendingVerifications(productId) {
     const response = await callApi('daemon_get_pending_verifications', productId ? { productId } : {});
     return response.items ?? [];
@@ -46,4 +47,274 @@ export async function verifyInjectionWithEvidence(injectionNodeId, evidence) {
     });
     await callApi('reality_tree_verify_injection', { injectionNodeId });
 }
+/**
+ * Translate the pure `decideNodeWriteback` output into the verify call's
+ * `restatements` payload.
+ *
+ * The flip endpoint (`reality_tree_verify_injection`) is the only seam that
+ * persists a node's `verify_classification` / `verify_divergence_reason`, and
+ * it does so per-restatement -- but ONLY when the restatement carries a
+ * non-empty `statement` (an empty statement is dropped whole, classification
+ * included). So a writeback can be applied iff it carries achieved prose.
+ *
+ * Mapping:
+ *   - match | legitimate_divergence WITH a non-empty statement -> a
+ *     VerifyRestatement carried into the flip so classification (+ reason)
+ *     lands atomically with the promotion. The achieved statement is the prose
+ *     written as the targeted UDE's new base statement (for a match this equals
+ *     the declared desired effect carried forward unchanged).
+ *   - any writeback WITHOUT achieved prose, or a `shortfall` -> NOT emitted as
+ *     a restatement (there is no edge path that stamps classification without
+ *     prose, and a shortfall must not flip the node). Reported back via
+ *     `skipped` so the caller can see what was not stamped.
+ *
+ * Pure (no I/O); exported for unit testing the mapping.
+ */
+export function planNodeWritebackApply(writebacks) {
+    const restatements = [];
+    const skipped = [];
+    for (const wb of writebacks) {
+        if (wb.classification === 'shortfall') {
+            skipped.push({
+                nodeId: wb.nodeId,
+                reason: 'shortfall: no flip; classification not persisted (claim did not hold)',
+            });
+            continue;
+        }
+        // TEL-6: an `assumed` match carries no evidence. Persisting a
+        // verify_classification='match' for it would record an UNEARNED "verified"
+        // claim, so skip it -- the node stays unstamped until grounded by evidence.
+        if (wb.classification === 'match' && wb.assumed === true) {
+            skipped.push({
+                nodeId: wb.nodeId,
+                reason: 'assumed match: no evidence; not stamped verified (unearned certainty)',
+            });
+            continue;
+        }
+        const statement = wb.statement;
+        if (typeof statement !== 'string' || statement.trim().length === 0) {
+            skipped.push({
+                nodeId: wb.nodeId,
+                reason: 'no achieved statement: verify edge drops a restatement with empty prose',
+            });
+            continue;
+        }
+        // match | legitimate_divergence WITH prose -> restatement.
+        const entry = {
+            nodeId: wb.nodeId,
+            statement,
+            classification: wb.classification,
+        };
+        if (wb.classification === 'legitimate_divergence' && wb.verifyDivergenceReason) {
+            entry.divergenceReason = wb.verifyDivergenceReason;
+        }
+        restatements.push(entry);
+    }
+    return { restatements, skipped };
+}
+/**
+ * Same as `verifyInjectionWithEvidence` but additionally stamps the per-node
+ * realized/diverged writeback computed by `decideNodeWriteback`. Closes the
+ * reality-tree writeback loop: as a delivery lands, the nodes its injection
+ * targeted carry an explicit match / legitimate_divergence status legible to a
+ * later reader.
+ *
+ * Order of operations:
+ *   1. `reality_tree_node_update` on the injection node -> persist evidence.
+ *   2. `reality_tree_verify_injection` with the per-node restatements -> flips
+ *      the injection and promotes overlays, applying the classification (+
+ *      reason) to each targeted UDE atomically. Writebacks with no achieved
+ *      prose, and shortfalls, are skipped (logged) -- there is no edge path
+ *      that persists a classification without prose / a flip.
+ *
+ * Non-destructive: only stamps status + evidence/reason on nodes the injection
+ * owns; a match carries the declared desired effect forward unchanged. When
+ * `writebacks` is empty this is byte-equivalent to `verifyInjectionWithEvidence`.
+ */
+export async function verifyInjectionWithWriteback(injectionNodeId, evidence, writebacks, realityTreeId) {
+    await callApi('reality_tree_node_update', {
+        nodeId: injectionNodeId,
+        evidence,
+    });
+    const { restatements, skipped } = planNodeWritebackApply(writebacks);
+    if (skipped.length > 0) {
+        console.warn(`[reality-writeback] injection ${injectionNodeId.slice(0, 8)}: ` +
+            `${skipped.length} targeted node writeback(s) not stamped -- ` +
+            skipped.map((s) => `${s.nodeId.slice(0, 8)} (${s.reason})`).join('; '));
+    }
+    const verifyBody = { injectionNodeId };
+    if (restatements.length > 0)
+        verifyBody.restatements = restatements;
+    await callApi('reality_tree_verify_injection', verifyBody);
+    // Inward drift: any node reality CONTRADICTED (legitimate_divergence /
+    // shortfall) is a claim the tree got wrong. Turn each one into an inward
+    // crt_drift_proposal so the tree-owner can correct the asserting claim,
+    // instead of leaving a mistaken assertion frozen. Surfaced for human ratify;
+    // never auto-applied. Best-effort + non-fatal: a proposal-emit failure must
+    // not undo the verify/flip that already landed.
+    await emitInwardDriftProposals(injectionNodeId, writebacks, realityTreeId);
+}
+/**
+ * Surface inward drift proposals for the contradicted nodes in a writeback.
+ *
+ * For each writeback the pure `detectInwardDrift` deems a contradicted claim
+ * (`legitimate_divergence` / `shortfall`), create one `update_statement`
+ * crt_drift_proposal flagged `inward:true` via the EXISTING
+ * `crt_drift_proposal_create` pipeline. A `match` (or unstamped) node yields
+ * nothing, so a clean landing emits no proposals.
+ *
+ * Requires the reality tree id (the create action keys off it). When the tree
+ * id is unknown, the proposals cannot be created -- we log and skip, leaving
+ * the per-node stamps in place (a later reader still sees the divergence).
+ *
+ * Non-fatal: each create is independently try/caught so one failure neither
+ * blocks the others nor unwinds the already-applied verify flip.
+ */
+export async function emitInwardDriftProposals(injectionNodeId, writebacks, realityTreeId) {
+    const proposals = writebacks
+        .map((wb) => {
+        const stamped = {
+            nodeId: wb.nodeId,
+            verifyClassification: wb.classification,
+            verifyDivergenceReason: wb.verifyDivergenceReason ?? null,
+            // TEL-5: the claim a human ratifier must reconsider is the tree's
+            // ORIGINAL assertion (the claim reality CONTRADICTED), NOT the achieved
+            // reality prose. Carry `originalClaim`; the detector falls back to a
+            // placeholder when it is absent. (`wb.statement` is the achieved prose
+            // -- it belongs in proposedCorrection / the divergence reason, never in
+            // observedState.)
+            claimStatement: wb.originalClaim ?? null,
+        };
+        return detectInwardDrift(stamped);
+    })
+        .filter((p) => p !== null);
+    if (proposals.length === 0)
+        return;
+    if (!realityTreeId) {
+        console.warn(`[reality-writeback] injection ${injectionNodeId.slice(0, 8)}: ` +
+            `${proposals.length} contradicted node(s) detected but no realityTreeId -- ` +
+            `inward drift proposals NOT created (per-node stamps retained).`);
+        return;
+    }
+    for (const proposal of proposals) {
+        try {
+            await callApi('crt_drift_proposal_create', {
+                realityTreeId,
+                proposalKind: proposal.proposalKind,
+                observedState: proposal.observedState,
+                proposedCorrection: proposal.proposedCorrection,
+                nodeId: proposal.nodeId,
+                proposedMetadata: proposal.proposedMetadata,
+            });
+        }
+        catch (err) {
+            console.warn(`[reality-writeback] Failed to create inward drift proposal for node ` +
+                `${proposal.nodeId.slice(0, 8)} (tree ${realityTreeId.slice(0, 8)}): ` +
+                `${err.message}. Stamp retained; proposal not surfaced.`);
+        }
+    }
+}
+/**
+ * Resolve the targeted UDE nodes of an injection via the existing
+ * `reality_tree_edge_list` ('targets' edges out of the injection) joined to
+ * `reality_tree_node_list` for each target's declared prose. Returns [] when
+ * the tree id is unknown or a lookup fails -- the writeback then degrades to a
+ * plain injection verify (no per-node stamping), which is non-destructive and
+ * matches prior behavior.
+ */
+export async function resolveTargetedNodes(injectionId, treeId) {
+    if (!treeId)
+        return [];
+    try {
+        const [edgesResp, nodesResp] = await Promise.all([
+            callApi('reality_tree_edge_list', { treeId }),
+            callApi('reality_tree_node_list', { treeId }),
+        ]);
+        const targetIds = (edgesResp.items ?? [])
+            .filter((e) => e.edgeType === 'targets' && e.fromNodeId === injectionId)
+            .map((e) => e.toNodeId);
+        if (targetIds.length === 0)
+            return [];
+        const nodeById = new Map();
+        for (const n of nodesResp.items ?? [])
+            nodeById.set(n.id, n);
+        const isClassification = (v) => v === 'match' || v === 'legitimate_divergence' || v === 'shortfall';
+        return targetIds.map((nodeId) => {
+            const node = nodeById.get(nodeId);
+            const declared = node?.frtStatement ?? node?.statement ?? '';
+            const existing = node?.verifyClassification;
+            return {
+                nodeId,
+                achievedStatement: declared,
+                originalClaim: declared,
+                existingClassification: isClassification(existing) ? existing : null,
+            };
+        });
+    }
+    catch (err) {
+        console.warn(`[reality-writeback] Failed to resolve targeted nodes for injection ` +
+            `${injectionId.slice(0, 8)} (tree ${treeId.slice(0, 8)}): ${err.message}. ` +
+            `Falling back to plain verify (no per-node writeback).`);
+        return [];
+    }
+}
+/**
+ * Build the writeback-applying verify callback used by the close-loop sweep.
+ *
+ * For each injection the sweep verifies, this closure:
+ *   1. Resolves the injection's targeted UDE node ids (edge-list) + each node's
+ *      EXISTING verify_classification.
+ *   2. Models the landing as a CLEAN realization for the still-unstamped (or
+ *      already-match) targets -- the anchoring delivery closed successfully, so
+ *      the cascade is treated as flipped and the injection as delivered. A
+ *      target the per-delivery verify path ALREADY stamped as a contradiction
+ *      (legitimate_divergence / shortfall) is EXCLUDED from the landing so the
+ *      close-loop sweep never clobbers a diverged stamp back to 'match' (TEL-3).
+ *   3. Computes the per-node writeback and applies it via
+ *      `verifyInjectionWithWriteback`, stamping match/evidence on each targeted
+ *      UDE so a later reader sees which claims actually held.
+ *
+ * No targeted nodes -> the writeback is empty and the call is byte-equivalent
+ * to the plain `verifyInjectionWithEvidence`.
+ *
+ * `treeIdByInjection` maps an injection node id to its reality_tree id, captured
+ * by the dispatcher from the focus-injections snapshot. The returned callback
+ * matches the `(injectionId, evidence) => Promise<void>` shape the close-loop
+ * sweep expects, so it drops into `advanceFocusToDoneWithSweep` unchanged.
+ *
+ * Exported here (rather than in the dispatcher) so the wiring is unit-testable
+ * against the callApi mock seam without dragging the dispatcher's heavy import
+ * graph.
+ */
+export function buildWritebackVerify(treeIdByInjection) {
+    return async (injectionId, evidence) => {
+        const treeId = treeIdByInjection.get(injectionId);
+        const resolved = await resolveTargetedNodes(injectionId, treeId);
+        // TEL-3: a node the per-delivery verify path ALREADY stamped as a
+        // contradiction (legitimate_divergence / shortfall) must NOT be clobbered
+        // back to 'match' at close-loop. Exclude it from the clean-match landing --
+        // its stamp (and its inward drift proposal) already landed at verify time.
+        // Only un-stamped (or already-match) nodes get a fresh close-loop match.
+        const targetedNodes = resolved
+            .filter((n) => n.existingClassification !== 'legitimate_divergence' &&
+            n.existingClassification !== 'shortfall')
+            .map((n) => ({
+            nodeId: n.nodeId,
+            achievedStatement: n.achievedStatement,
+            originalClaim: n.originalClaim,
+        }));
+        const writebacks = decideNodeWriteback({
+            injectionId,
+            targetedNodes,
+            cascadeFlipped: true,
+            delivered: true,
+            evidence,
+        });
+        // Pass the tree id so any contradicted node (divergence/shortfall) can be
+        // surfaced as an inward drift proposal. The close-loop sweep models a clean
+        // landing (all 'match'), so this emits nothing here today -- but the seam is
+        // wired so a divergent landing routed through this path corrects the tree.
+        await verifyInjectionWithWriteback(injectionId, evidence, writebacks, treeId);
+    };
+}
 //# sourceMappingURL=verification.js.map

package/dist/queries/verification.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/queries/verification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAiBtC,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,SAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,OAAO,CAC5B,kCAAkC,EAClC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IACF,OAAO,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,UAAkB,EAClB,OAA4B;IAE5B,MAAM,OAAO,CAAC,6CAA6C,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;AACxF,CAAC;AAiBD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,eAAuB,EACvB,YAAkC;IAElC,MAAM,IAAI,GAA4B,EAAE,eAAe,EAAE,CAAC;IAC1D,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IAC9E,MAAM,OAAO,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,eAAuB,EACvB,QAAgB;IAEhB,MAAM,OAAO,CAAC,0BAA0B,EAAE;QACxC,MAAM,EAAE,eAAe;QACvB,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,OAAO,CAAC,+BAA+B,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC;AACtE,CAAC"}
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/queries/verification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EACL,mBAAmB,EACnB,iBAAiB,GAKlB,MAAM,yBAAyB,CAAC;AAiBjC,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,SAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,OAAO,CAC5B,kCAAkC,EAClC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IACF,OAAO,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,UAAkB,EAClB,OAA4B;IAE5B,MAAM,OAAO,CAAC,6CAA6C,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;AACxF,CAAC;AAiBD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,eAAuB,EACvB,YAAkC;IAElC,MAAM,IAAI,GAA4B,EAAE,eAAe,EAAE,CAAC;IAC1D,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IAC9E,MAAM,OAAO,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,eAAuB,EACvB,QAAgB;IAEhB,MAAM,OAAO,CAAC,0BAA0B,EAAE;QACxC,MAAM,EAAE,eAAe;QACvB,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,OAAO,CAAC,+BAA+B,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAoC;IAIzE,MAAM,YAAY,GAAwB,EAAE,CAAC;IAC7C,MAAM,OAAO,GAA8C,EAAE,CAAC;IAC9D,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,EAAE,CAAC,cAAc,KAAK,WAAW,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,MAAM,EAAE,uEAAuE;aAChF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,8DAA8D;QAC9D,2EAA2E;QAC3E,4EAA4E;QAC5E,IAAI,EAAE,CAAC,cAAc,KAAK,OAAO,IAAI,EAAE,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACzD,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,MAAM,EAAE,uEAAuE;aAChF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;QAC/B,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnE,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,MAAM,EAAE,yEAAyE;aAClF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,2DAA2D;QAC3D,MAAM,KAAK,GAAsB;YAC/B,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,SAAS;YACT,cAAc,EAAE,EAAE,CAAC,cAAc;SAClC,CAAC;QACF,IAAI,EAAE,CAAC,cAAc,KAAK,uBAAuB,IAAI,EAAE,CAAC,sBAAsB,EAAE,CAAC;YAC/E,KAAK,CAAC,gBAAgB,GAAG,EAAE,CAAC,sBAAsB,CAAC;QACrD,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,eAAuB,EACvB,QAAgB,EAChB,UAAoC,EACpC,aAAsB;IAEtB,MAAM,OAAO,CAAC,0BAA0B,EAAE;QACxC,MAAM,EAAE,eAAe;QACvB,QAAQ;KACT,CAAC,CAAC;IAEH,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CACV,iCAAiC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YAChE,GAAG,OAAO,CAAC,MAAM,6CAA6C;YAC9D,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACvE,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAA4B,EAAE,eAAe,EAAE,CAAC;IAChE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,YAAY,GAAG,YAAY,CAAC;IACpE,MAAM,OAAO,CAAC,+BAA+B,EAAE,UAAU,CAAC,CAAC;IAE3D,uEAAuE;IACvE,yEAAyE;IACzE,wEAAwE;IACxE,6EAA6E;IAC7E,4EAA4E;IAC5E,gDAAgD;IAChD,MAAM,wBAAwB,CAAC,eAAe,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,eAAuB,EACvB,UAAoC,EACpC,aAAsB;IAEtB,MAAM,SAAS,GAAG,UAAU;SACzB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACV,MAAM,OAAO,GAAgB;YAC3B,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,oBAAoB,EAAE,EAAE,CAAC,cAAc;YACvC,sBAAsB,EAAE,EAAE,CAAC,sBAAsB,IAAI,IAAI;YACzD,kEAAkE;YAClE,wEAAwE;YACxE,qEAAqE;YACrE,uEAAuE;YACvE,wEAAwE;YACxE,kBAAkB;YAClB,cAAc,EAAE,EAAE,CAAC,aAAa,IAAI,IAAI;SACzC,CAAC;QACF,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAEzD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEnC,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,IAAI,CACV,iCAAiC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YAChE,GAAG,SAAS,CAAC,MAAM,yDAAyD;YAC5E,gEAAgE,CACjE,CAAC;QACF,OAAO;IACT,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,MAAM,OAAO,CAAC,2BAA2B,EAAE;gBACzC,aAAa;gBACb,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,aAAa,EAAE,QAAQ,CAAC,aAAa;gBACrC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;gBAC/C,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;aAC5C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CACV,sEAAsE;gBACtE,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK;gBACtE,GAAI,GAAa,CAAC,OAAO,0CAA0C,CACpE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AA6BD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,WAAmB,EACnB,MAA0B;IAE1B,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAYvB,IAAI,CAAC;QACH,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC/C,OAAO,CAAwB,wBAAwB,EAAE,EAAE,MAAM,EAAE,CAAC;YACpE,OAAO,CAAwB,wBAAwB,EAAE,EAAE,MAAM,EAAE,CAAC;SACrE,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;aACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC;aACvE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC1B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAgC,EAAE,CACpE,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,uBAAuB,IAAI,CAAC,KAAK,WAAW,CAAC;QACtE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,IAAI,EAAE,YAAY,IAAI,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;YAC7D,MAAM,QAAQ,GAAG,IAAI,EAAE,oBAAoB,CAAC;YAC5C,OAAO;gBACL,MAAM;gBACN,iBAAiB,EAAE,QAAQ;gBAC3B,aAAa,EAAE,QAAQ;gBACvB,sBAAsB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;aACrE,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CACV,qEAAqE;YACrE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAO,GAAa,CAAC,OAAO,IAAI;YACtF,uDAAuD,CACxD,CAAC;QACF,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,oBAAoB,CAClC,iBAA8C;IAE9C,OAAO,KAAK,EAAE,WAAmB,EAAE,QAAgB,EAAiB,EAAE;QACpE,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACjE,kEAAkE;QAClE,0EAA0E;QAC1E,4EAA4E;QAC5E,2EAA2E;QAC3E,yEAAyE;QACzE,MAAM,aAAa,GAA0B,QAAQ;aAClD,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,sBAAsB,KAAK,uBAAuB;YACpD,CAAC,CAAC,sBAAsB,KAAK,WAAW,CAC3C;aACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;YACtC,aAAa,EAAE,CAAC,CAAC,aAAa;SAC/B,CAAC,CAAC,CAAC;QACN,MAAM,UAAU,GAAG,mBAAmB,CAAC;YACrC,WAAW;YACX,aAAa;YACb,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,IAAI;YACf,QAAQ;SACT,CAAC,CAAC;QACH,0EAA0E;QAC1E,4EAA4E;QAC5E,6EAA6E;QAC7E,2EAA2E;QAC3E,MAAM,4BAA4B,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAChF,CAAC,CAAC;AACJ,CAAC"}