@telora/daemon 0.22.239 → 0.22.289

package/dist/verify/effect-reconciliation/retire-aware-restatement.js

@@ -0,0 +1,232 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/cli/backfill-frt-prose.test.ts,
+//   packages/daemon/src/verify/effect-reconciliation/retire-aware-restatement.test.ts
+// PINNED-BY-END
+/**
+ * Retire-aware FRT desired-effect prose authoring.
+ *
+ * DRAFT-ASSIST BACKSTOP -- NOT THE SOURCE OF TRUTH. The declared desired
+ * effect, authored as intent at injection time via the `target` action, is the
+ * source of truth. This path is an optional backstop for the completed-focus
+ * tail: it authors prose ONLY when a declared desired effect is absent (the
+ * node's `frt_statement` is blank) and NEVER overwrites a non-blank
+ * `frt_statement`. Everything it writes is MARKED as a machine draft
+ * (`frt_statement_drafted=true`) so a declared intent of record is always
+ * distinguishable from loop-generated draft prose.
+ *
+ * An injection retires (status='retired', injectionStatus='verified') the moment
+ * its anchoring delivery verifies -- the terminal state of every COMPLETED focus
+ * -- and `reality_tree_derive_frt` loads ONLY status='active' nodes, so no
+ * derive_frt reader sees it. Any UDE that a close-loop sweep flipped with no
+ * supplied restatement is left with its base `statement` unchanged (still the
+ * present-tense problem text) and `frt_statement` null.
+ *
+ * This module is the retire-aware authoring path. Given a tree it finds the UDEs
+ * that VERIFIED/RETIRED injections flipped and authors any missing
+ * `frt_statement` -- mirroring Ship Log Pass 2's intent (surface the realized
+ * differential of a completed focus) but on the AUTHORING side.
+ *
+ * SOURCE OF THE INJECTION->UDE LINK. `reality_tree_verify_injection` DELETES an
+ * injection's `targets` edges at retirement (graph-verification.ts:240-245), so
+ * a completed focus retains NONE of them -- reading targets edges would find
+ * zero. The only durable record is `reality_tree_node_history`
+ * (injection_id, node_id, previous_statement), snapshotted at verify
+ * (graph-verification.ts:347-353,383-391). We reach it through the existing
+ * node-keyed `reality_tree_injection_history` action -- no new server action.
+ *
+ * Overlay-only: only `frt_statement` is written (matching the `frtStatement ??
+ * statement` display contract); node_type and the base statement are untouched.
+ *
+ * Idempotent + safe: a candidate is authored only when (a) it is a
+ * `desired_effect` node with a blank `frt_statement`, (b) a verified-injection
+ * history row references it, and (c) its base `statement` still equals the
+ * snapshotted pre-flip UDE text. (c) skips nodes whose base statement was
+ * already promoted to positive prose at verify (a restatement was supplied), and
+ * combined with (a) makes re-runs a no-op once `frt_statement` is written.
+ *
+ * Reuses `authorRestatement` (injection-conditioned) -- it does NOT duplicate the
+ * prompt/model logic. Best-effort per node: a per-node failure is swallowed (that
+ * node is recorded skipped) so one failure never aborts the tree.
+ *
+ * History: docs/daemon/history-verify.md (verify/effect-reconciliation/retire-aware-restatement.ts).
+ *
+ * @module retire-aware-restatement
+ */
+import { needsRestatement } from './de-restatement.js';
+/**
+ * Gather the TREE-LEVEL verified/retired injection statements once, for the
+ * provenance-free fallback. Unions injection nodes across `status:'active'` and
+ * `status:'retired'` (retired injections are the norm on a completed focus) and
+ * keeps only those with `injectionStatus==='verified'` and a non-blank
+ * statement. Deduplicated. The SAME list conditions every fallback node on the
+ * tree, mirroring `authorCascadeRestatements`. Read-only -- no model calls.
+ */
+async function gatherTreeVerifiedInjectionStatements(treeId, callApi) {
+    const statements = new Set();
+    for (const nodeStatus of ['active', 'retired']) {
+        let resp;
+        try {
+            resp = await callApi('reality_tree_node_list', {
+                treeId,
+                nodeType: 'injection',
+                status: nodeStatus,
+            });
+        }
+        catch {
+            // Best-effort: a failed slice just contributes nothing to the union.
+            continue;
+        }
+        for (const n of resp.items ?? []) {
+            if (n.nodeType === 'injection' &&
+                n.injectionStatus === 'verified' &&
+                typeof n.statement === 'string' &&
+                n.statement.trim() !== '') {
+                statements.add(n.statement.trim());
+            }
+        }
+    }
+    return [...statements];
+}
+/**
+ * Find the retire-aware authoring candidates for one tree: `desired_effect`
+ * nodes with a blank `frt_statement` that a VERIFIED/RETIRED injection flipped
+ * (per node history) and whose base `statement` is still the raw pre-flip UDE
+ * text. Read-only -- no model calls, no writes. The dry-run preview and the
+ * write path share this selection so they never diverge.
+ *
+ * When `includeProvenanceFreeFallback` is set, a blank `desired_effect` node
+ * that is still problem-shaped but lacks any verified-injection history row is
+ * ALSO returned, conditioned on the tree's verified/retired injection
+ * statements (gathered once). The precise per-node history path still wins
+ * whenever provenance exists; the fallback fires only in its absence.
+ */
+export async function findRetiredInjectionRestatementCandidates(treeId, deps) {
+    const { callApi } = deps;
+    const includeFallback = deps.includeProvenanceFreeFallback === true;
+    // Active nodes: a flipped UDE becomes an ACTIVE desired_effect node (the
+    // injection auto-flips node_type at verify; only crt_only nodes are retired).
+    const nodesResp = await callApi('reality_tree_node_list', {
+        treeId,
+        status: 'active',
+    });
+    const nodes = nodesResp.items ?? [];
+    // Cheap pre-filter: desired_effect nodes still missing positive overlay prose.
+    const preCandidates = nodes.filter((n) => n.nodeType === 'desired_effect' && needsRestatement(n.frtStatement));
+    // Tree-level injection statements for the fallback -- gathered lazily ONCE,
+    // only if the flag is on AND at least one node falls through to the fallback.
+    let treeInjectionStatements = null;
+    const treeStatements = async () => {
+        if (treeInjectionStatements === null) {
+            treeInjectionStatements = await gatherTreeVerifiedInjectionStatements(treeId, callApi);
+        }
+        return treeInjectionStatements;
+    };
+    const candidates = [];
+    for (const node of preCandidates) {
+        let history = null;
+        try {
+            history = await callApi('reality_tree_injection_history', {
+                nodeId: node.id,
+            });
+        }
+        catch {
+            // No durable history reachable -> cannot establish per-node provenance.
+            history = null;
+        }
+        // Only promotions by a VERIFIED (retired) injection qualify. An active
+        // injection's flip is the cascade path's job; a native desired_effect has no
+        // history row at all.
+        const verifiedRows = (history?.history ?? []).filter((h) => h.injection?.injectionStatus === 'verified' &&
+            typeof h.injection?.statement === 'string' &&
+            h.injection.statement.trim() !== '');
+        if (verifiedRows.length > 0) {
+            // PRECISE per-node history path -- wins whenever provenance exists.
+            // The latest verified promotion carries the pre-flip UDE text to restate.
+            const latest = verifiedRows[verifiedRows.length - 1];
+            const originalUde = (latest.previousStatement ?? '').trim();
+            if (originalUde === '')
+                continue;
+            // If the base statement no longer equals the pre-flip UDE text, a restatement
+            // was already promoted into it at verify -> display is already positive -> skip.
+            if (!needsRestatement(node.statement, originalUde))
+                continue;
+            const injectionStatements = [
+                ...new Set(verifiedRows.map((h) => h.injection.statement.trim())),
+            ];
+            candidates.push({ nodeId: node.id, statement: originalUde, injectionStatements });
+            continue;
+        }
+        // PROVENANCE-FREE FALLBACK (opt-in only). No verified-injection history row
+        // exists for this node. If enabled, author conditioned on the tree's
+        // verified/retired injection statements.
+        //
+        // Idempotency for this path is the BLANK-`frtStatement` pre-filter above
+        // (`needsRestatement(n.frtStatement)`): once we write a positive
+        // `frt_statement`, the node is no longer a pre-candidate and a re-run is a
+        // no-op. There is no `previousStatement` snapshot to compare the base text
+        // against (the whole point of this path -- no provenance), so the only base-
+        // text requirement is that the base `statement` is non-blank (there must be
+        // a problem to restate). The base statement is never mutated here.
+        if (!includeFallback)
+            continue;
+        const baseText = (node.statement ?? '').trim();
+        if (baseText === '')
+            continue;
+        const injectionStatements = await treeStatements();
+        // No verified/retired injection anywhere on the tree -> nothing to condition
+        // on -> not a fallback candidate (tree-level no-op).
+        if (injectionStatements.length === 0)
+            continue;
+        candidates.push({
+            nodeId: node.id,
+            statement: baseText,
+            injectionStatements,
+        });
+    }
+    return candidates;
+}
+/**
+ * Author missing `frt_statement` prose for the UDEs that verified/retired
+ * injections flipped on one tree. Delegates candidate selection to
+ * `findRetiredInjectionRestatementCandidates`, then authors one positive
+ * future-state sentence per candidate (injection-conditioned) and writes it via
+ * `reality_tree_node_update`.
+ *
+ * Best-effort per node; idempotent (already-authored nodes are not candidates).
+ */
+export async function authorRetiredInjectionRestatements(treeId, deps) {
+    const { callApi, authorRestatement: author } = deps;
+    const authored = [];
+    const skipped = [];
+    const candidates = await findRetiredInjectionRestatementCandidates(treeId, {
+        callApi,
+        includeProvenanceFreeFallback: deps.includeProvenanceFreeFallback === true,
+    });
+    for (const candidate of candidates) {
+        try {
+            const text = await author({
+                udeStatement: candidate.statement,
+                injectionStatements: candidate.injectionStatements.length > 0 ? candidate.injectionStatements : undefined,
+            });
+            if (!text || text.trim() === '') {
+                skipped.push(candidate.nodeId);
+                continue;
+            }
+            // DRAFT-ASSIST: mark machine-authored prose as a draft (frt_statement_drafted=true).
+            // The declared desired effect (authored at injection time via the `target`
+            // action) is the source of truth; this loop only backstops the blank case.
+            await callApi('reality_tree_node_update', {
+                nodeId: candidate.nodeId,
+                frtStatement: text.trim(),
+                frtStatementDrafted: true,
+            });
+            authored.push(candidate.nodeId);
+        }
+        catch {
+            // best-effort: skip this node, keep going.
+            skipped.push(candidate.nodeId);
+        }
+    }
+    return { authored, skipped };
+}
+//# sourceMappingURL=retire-aware-restatement.js.map

package/dist/verify/effect-reconciliation/retire-aware-restatement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retire-aware-restatement.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/retire-aware-restatement.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,iEAAiE;AACjE,sFAAsF;AACtF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAiEvD;;;;;;;GAOG;AACH,KAAK,UAAU,qCAAqC,CAClD,MAAc,EACd,OAAkB;IAElB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,UAAU,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAU,EAAE,CAAC;QACxD,IAAI,IAAsB,CAAC;QAC3B,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,OAAO,CAAmB,wBAAwB,EAAE;gBAC/D,MAAM;gBACN,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,qEAAqE;YACrE,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACjC,IACE,CAAC,CAAC,QAAQ,KAAK,WAAW;gBAC1B,CAAC,CAAC,eAAe,KAAK,UAAU;gBAChC,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ;gBAC/B,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EACzB,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,MAAc,EACd,IAAqE;IAErE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACzB,MAAM,eAAe,GAAG,IAAI,CAAC,6BAA6B,KAAK,IAAI,CAAC;IAEpE,yEAAyE;IACzE,8EAA8E;IAC9E,MAAM,SAAS,GAAG,MAAM,OAAO,CAAmB,wBAAwB,EAAE;QAC1E,MAAM;QACN,MAAM,EAAE,QAAQ;KACjB,CAAC,CAAC;IACH,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;IAEtD,+EAA+E;IAC/E,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,gBAAgB,IAAI,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAC3E,CAAC;IAEF,4EAA4E;IAC5E,8EAA8E;IAC9E,IAAI,uBAAuB,GAAoB,IAAI,CAAC;IACpD,MAAM,cAAc,GAAG,KAAK,IAAuB,EAAE;QACnD,IAAI,uBAAuB,KAAK,IAAI,EAAE,CAAC;YACrC,uBAAuB,GAAG,MAAM,qCAAqC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,uBAAuB,CAAC;IACjC,CAAC,CAAC;IAEF,MAAM,UAAU,GAAgC,EAAE,CAAC;IAEnD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,IAAI,OAAO,GAAoC,IAAI,CAAC;QACpD,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,OAAO,CAA2B,gCAAgC,EAAE;gBAClF,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,wEAAwE;YACxE,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QAED,uEAAuE;QACvE,6EAA6E;QAC7E,sBAAsB;QACtB,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,SAAS,EAAE,eAAe,KAAK,UAAU;YAC3C,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,KAAK,QAAQ;YAC1C,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CACtC,CAAC;QAEF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,oEAAoE;YACpE,0EAA0E;YAC1E,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5D,IAAI,WAAW,KAAK,EAAE;gBAAE,SAAS;YAEjC,8EAA8E;YAC9E,iFAAiF;YACjF,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC;gBAAE,SAAS;YAE7D,MAAM,mBAAmB,GAAG;gBAC1B,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,SAAS,CAAC,SAAoB,CAAC,IAAI,EAAE,CAAC,CAAC;aAC9E,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QAED,4EAA4E;QAC5E,qEAAqE;QACrE,yCAAyC;QACzC,EAAE;QACF,yEAAyE;QACzE,iEAAiE;QACjE,2EAA2E;QAC3E,2EAA2E;QAC3E,6EAA6E;QAC7E,4EAA4E;QAC5E,mEAAmE;QACnE,IAAI,CAAC,eAAe;YAAE,SAAS;QAC/B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/C,IAAI,QAAQ,KAAK,EAAE;YAAE,SAAS;QAE9B,MAAM,mBAAmB,GAAG,MAAM,cAAc,EAAE,CAAC;QACnD,6EAA6E;QAC7E,qDAAqD;QACrD,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE/C,UAAU,CAAC,IAAI,CAAC;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,SAAS,EAAE,QAAQ;YACnB,mBAAmB;SACpB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,MAAc,EACd,IAAqB;IAErB,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAEpD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,UAAU,GAAG,MAAM,yCAAyC,CAAC,MAAM,EAAE;QACzE,OAAO;QACP,6BAA6B,EAAE,IAAI,CAAC,6BAA6B,KAAK,IAAI;KAC3E,CAAC,CAAC;IAEH,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC;gBACxB,YAAY,EAAE,SAAS,CAAC,SAAS;gBACjC,mBAAmB,EACjB,SAAS,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS;aACvF,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,qFAAqF;YACrF,2EAA2E;YAC3E,2EAA2E;YAC3E,MAAM,OAAO,CAAC,0BAA0B,EAAE;gBACxC,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE;gBACzB,mBAAmB,EAAE,IAAI;aAC1B,CAAC,CAAC;YACH,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,2CAA2C;YAC3C,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC"}

package/dist/verify/effect-reconciliation/verification-evidence.d.ts

@@ -0,0 +1,104 @@
+import type { StrategyResult } from '../deterministic-gate/verification-deterministic.js';
+import type { PendingVerification } from '../../queries/verification/verification.js';
+import type { VerifyEvidence } from './verify-reconciliation.js';
+import type { InspectionResult } from '../inspection-strategies/ai-inspection-runner.js';
+/**
+ * The slice of VerificationDeps this module needs. Structural by design (see
+ * the module header): VerificationDeps is assignable to it without importing.
+ */
+export interface VerifyEvidenceDeps {
+    resolveVerificationCwd: (v: PendingVerification) => string;
+    integrationBranch: string;
+}
+/**
+ * Resolve the cwd the delivery's diff must be read in: the FOCUS WORKTREE
+ * (HEAD of the focus branch), the SAME cwd the deterministic strategy runs in.
+ * NOT the product repo path -- the product repo's HEAD is the integration
+ * branch, so `git diff base...HEAD` there is empty even when the focus branch
+ * has real commits. Reading the diff in the wrong cwd is the resolution bug
+ * that manufactures a false-negative shortfall (2026-07-23 incident).
+ */
+export declare function resolveDiffCwd(v: PendingVerification, deps: VerifyEvidenceDeps): string;
+/**
+ * Build the cited-evidence bundle the achieved-DE authoring consumes. Sourced
+ * from the verification verdict (NOT the UDE problem text):
+ *   - ai_inspection: the runner rationale + the delivery diff it inspected.
+ *   - deterministic: the check exit code + stdout/stderr tails, plus the diff
+ *     against integration (fetched best-effort; an empty diff just yields less
+ *     evidence, it never blocks).
+ *
+ * The raw diff is accompanied by STRUCTURED signals (changed-files list + diff
+ * stat) resolved in the same focus-worktree cwd, so delivered behavior is
+ * legible to the judge without parsing the full diff.
+ */
+/**
+ * The delivery's recorded merge commit sha, but ONLY when the recorded git
+ * state says the branch has actually merged back (into integration or main).
+ * merge_commit_sha is only ever populated by a real merge, but gating on the
+ * merged state keeps the evidence resolver from trusting a sha the row carries
+ * in some other state. Returns undefined when there is nothing to trust, so the
+ * resolver falls through to its live branch-vs-base / searched-merge sources.
+ */
+export declare const MERGED_BACK_GIT_STATES: Set<string>;
+/** Exported for testing: the recorded-git-state branch of the verify evidence resolver. */
+export declare function recordedMergeShaForVerify(v: Pick<PendingVerification, 'gitState' | 'mergeCommitSha'>): string | null | undefined;
+export declare function buildVerifyEvidence(result: StrategyResult & {
+    inspection?: InspectionResult;
+}, v: PendingVerification, deps: VerifyEvidenceDeps, recordedCommitShas?: string[], recordedPreMergeRef?: string | null): VerifyEvidence;
+/**
+ * Author the non-null evidence citation stamped on an injection the
+ * verification engine retires on a passing verdict. The AC ("A verified
+ * injection cites the evidence it was verified on") requires every
+ * verification-retired injection to carry evidence naming the FILES and TESTS
+ * the pass was judged on -- so an audit read can see WHY the injection was
+ * flipped, not merely THAT it was. Without this the pass path retired the
+ * injection with evidence=null, leaving a reviewed done indistinguishable from
+ * an unreviewed one.
+ *
+ * Sourced from the SAME cited-evidence bundle the achieved-DE authoring
+ * consumes (buildVerifyEvidence): the changed-files list, the diff stat, the
+ * deterministic check's exit code + output tail, and the ai_inspection
+ * rationale. Bounded to fit the injection node's evidence column, and NEVER
+ * empty -- when the bundle carries nothing citable it says so explicitly rather
+ * than return a blank that would re-introduce the evidence-less flip.
+ */
+export declare function summarizeEvidenceForInjection(ev: VerifyEvidence): string;
+/**
+ * Name the judgeable evidence slots that were empty, for the instrument-fault
+ * hold's gate_state + escalation. Describes the FAULT (what the gate could not
+ * see), never the work.
+ */
+export declare function describeMissingJudgeEvidence(ev: VerifyEvidence): string[];
+/**
+ * Coverage verdict: does the resolved diff range cover the delivery's RECORDED
+ * commit set? A non-empty bundle that omits recorded commits is HALF-BLIND --
+ * as unjudgeable as an empty one, because a verdict rendered on it judges the
+ * work against only part of itself. This is the COMPLETENESS extension of the
+ * empty-bundle invariant.
+ */
+export interface EvidenceCoverage {
+    /** True when there is nothing to measure against, or the range covers every recorded commit. */
+    complete: boolean;
+    /** How many commits the durable record names. */
+    recorded: number;
+    /** How many recorded commits the resolved range actually covered. */
+    covered: number;
+    /** The recorded shas NOT present in the resolved range (the blind spot). */
+    uncovered: string[];
+}
+/**
+ * Assess whether the range the verify evidence was resolved from COVERS the
+ * delivery's recorded commit set (focus_merges.commit_shas).
+ *
+ * complete:true when either (a) there is no recorded set to measure against
+ * (we never assert an incompleteness we cannot see -- the empty-bundle path,
+ * not this one, owns that case), or (b) every recorded sha is reachable in the
+ * resolved range. Otherwise complete:false, naming the uncovered shas.
+ *
+ * Resolves the SAME range buildVerifyEvidence uses (record-preferred), so when
+ * the record itself sourced the range this is complete by construction; the
+ * check bites only when attribution fell back to topology / a searched merge
+ * and that fallback under-covers the recorded truth.
+ */
+export declare function assessRecordedCoverage(v: PendingVerification, deps: VerifyEvidenceDeps, recordedCommitShas: string[]): EvidenceCoverage;
+//# sourceMappingURL=verification-evidence.d.ts.map

package/dist/verify/effect-reconciliation/verification-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-evidence.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verification-evidence.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAC;AAKzF;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC3D,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAEvF;AAED;;;;;;;;;;;GAWG;AACH;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,aAAuD,CAAC;AAC3F,2FAA2F;AAC3F,wBAAgB,yBAAyB,CACvC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,UAAU,GAAG,gBAAgB,CAAC,GAC1D,MAAM,GAAG,IAAI,GAAG,SAAS,CAG3B;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,EAC1D,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,kBAAkB,EACxB,kBAAkB,GAAE,MAAM,EAAO,EACjC,mBAAmB,GAAE,MAAM,GAAG,IAAW,GACxC,cAAc,CA+ChB;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,6BAA6B,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,CA8BxE;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,EAAE,CAMzE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gGAAgG;IAChG,QAAQ,EAAE,OAAO,CAAC;IAClB,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,sBAAsB,CACpC,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,kBAAkB,EACxB,kBAAkB,EAAE,MAAM,EAAE,GAC3B,gBAAgB,CAgClB"}

package/dist/verify/effect-reconciliation/verification-evidence.js

@@ -0,0 +1,219 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/resolvers/verify-evidence-merged-back.test.ts,
+//   packages/daemon/src/verify/effect-reconciliation/verify-evidence-completeness.test.ts,
+//   packages/daemon/src/verify/effect-reconciliation/verify-injection-evidence.test.ts,
+//   packages/daemon/src/verify/outcome-routing/verify-evidence-unavailable.test.ts
+// PINNED-BY-END
+/**
+ * Verify-gate EVIDENCE resolution.
+ *
+ * verification-engine.ts owns strategy dispatch and the per-delivery run. This
+ * module answers one question: what can the gate
+ * actually SEE for a delivery -- the diff range that contains its work, the
+ * structured change signals, and which judgeable slots came back empty.
+ *
+ * That last part is load-bearing: an empty evidence bundle must render as an
+ * instrument fault (the gate is blind), never as a shortfall verdict against
+ * the work. describeMissingJudgeEvidence names the FAULT for the hold's
+ * gate_state; see the "gate must not report its own BLINDNESS" invariant in
+ * packages/daemon/CLAUDE.md.
+ *
+ * Deps are typed STRUCTURALLY (VerifyEvidenceDeps) rather than importing
+ * VerificationDeps from verification-engine.ts -- that import would close a
+ * cycle, and import-x/no-cycle is gated at "error". VerificationDeps satisfies
+ * this interface structurally, so call sites pass it unchanged.
+ *
+ * History: docs/daemon/history-verify.md (verify/effect-reconciliation/verification-evidence.ts).
+ */
+import { resolveDeliveryDiffSource, getDeliveryDiffFromSource, getDeliveryChangedFilesFromSource, getDeliveryDiffStatFromSource, listSourceCommits, } from '../../resolvers/index.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'verification' });
+/**
+ * Resolve the cwd the delivery's diff must be read in: the FOCUS WORKTREE
+ * (HEAD of the focus branch), the SAME cwd the deterministic strategy runs in.
+ * NOT the product repo path -- the product repo's HEAD is the integration
+ * branch, so `git diff base...HEAD` there is empty even when the focus branch
+ * has real commits. Reading the diff in the wrong cwd is the resolution bug
+ * that manufactures a false-negative shortfall (2026-07-23 incident).
+ */
+export function resolveDiffCwd(v, deps) {
+    return deps.resolveVerificationCwd(v);
+}
+/**
+ * Build the cited-evidence bundle the achieved-DE authoring consumes. Sourced
+ * from the verification verdict (NOT the UDE problem text):
+ *   - ai_inspection: the runner rationale + the delivery diff it inspected.
+ *   - deterministic: the check exit code + stdout/stderr tails, plus the diff
+ *     against integration (fetched best-effort; an empty diff just yields less
+ *     evidence, it never blocks).
+ *
+ * The raw diff is accompanied by STRUCTURED signals (changed-files list + diff
+ * stat) resolved in the same focus-worktree cwd, so delivered behavior is
+ * legible to the judge without parsing the full diff.
+ */
+/**
+ * The delivery's recorded merge commit sha, but ONLY when the recorded git
+ * state says the branch has actually merged back (into integration or main).
+ * merge_commit_sha is only ever populated by a real merge, but gating on the
+ * merged state keeps the evidence resolver from trusting a sha the row carries
+ * in some other state. Returns undefined when there is nothing to trust, so the
+ * resolver falls through to its live branch-vs-base / searched-merge sources.
+ */
+export const MERGED_BACK_GIT_STATES = new Set(['merged_to_integration', 'merged_to_main']);
+/** Exported for testing: the recorded-git-state branch of the verify evidence resolver. */
+export function recordedMergeShaForVerify(v) {
+    if (!v.gitState || !MERGED_BACK_GIT_STATES.has(v.gitState))
+        return undefined;
+    return v.mergeCommitSha;
+}
+export function buildVerifyEvidence(result, v, deps, recordedCommitShas = [], recordedPreMergeRef = null) {
+    const cwd = resolveDiffCwd(v, deps);
+    // Resolve the range that actually contains the delivery's work, sourced from
+    // the DURABLE record first: the delivery's RECORDED constituent commit set
+    // (focus_merges.commit_shas -- immune to fast-forward + rebase), then its
+    // recorded >=2-parent merge commit, then the recorded pre-merge boundary
+    // (fast-forward-safe range, when the merge-back left no merge commit), then the
+    // live branch-vs-base range while ahead, then a searched merge commit, else
+    // null. A null range (no attributable commits anywhere the daemon can reach)
+    // yields an empty diff, which the instrument-fault path then holds -- it is
+    // never rendered as a shortfall.
+    const source = resolveDeliveryDiffSource(cwd, deps.integrationBranch, recordedMergeShaForVerify(v), recordedCommitShas, recordedPreMergeRef, v.deliveryId);
+    let diff = result.deliveryDiff ?? '';
+    if (diff === '') {
+        try {
+            diff = source ? getDeliveryDiffFromSource(cwd, source) : '';
+        }
+        catch (err) {
+            // best-effort: no diff is fine, the other evidence slots still carry signal
+            log.debug('best-effort: no diff is fine, the other evidence slots still carry signal', { error: String(err?.message ?? err) });
+        }
+    }
+    let changedFiles = [];
+    let diffStat = '';
+    try {
+        changedFiles = source ? getDeliveryChangedFilesFromSource(cwd, source) : [];
+        diffStat = source ? getDeliveryDiffStatFromSource(cwd, source) : '';
+    }
+    catch (err) {
+        log.debug('best-effort: structured diff signals unavailable', { error: String(err?.message ?? err) });
+    }
+    return {
+        diff: diff || undefined,
+        range: source ? (source.kind === 'range' ? source.range : source.commits.join(' ')) : undefined,
+        changedFiles: changedFiles.length > 0 ? changedFiles : undefined,
+        diffStat: diffStat.trim() !== '' ? diffStat : undefined,
+        testStdout: result.stdoutTail,
+        testStderr: result.stderrTail,
+        exitCode: result.exitCode,
+        inspectionRationale: result.inspection?.rationale,
+        verdictRationale: result.rationale,
+    };
+}
+/** Bound a citation fragment so the assembled evidence fits the node column. */
+function truncateCitation(s, max) {
+    const t = s.trim();
+    return t.length <= max ? t : `${t.slice(0, max - 1)}…`;
+}
+/**
+ * Author the non-null evidence citation stamped on an injection the
+ * verification engine retires on a passing verdict. The AC ("A verified
+ * injection cites the evidence it was verified on") requires every
+ * verification-retired injection to carry evidence naming the FILES and TESTS
+ * the pass was judged on -- so an audit read can see WHY the injection was
+ * flipped, not merely THAT it was. Without this the pass path retired the
+ * injection with evidence=null, leaving a reviewed done indistinguishable from
+ * an unreviewed one.
+ *
+ * Sourced from the SAME cited-evidence bundle the achieved-DE authoring
+ * consumes (buildVerifyEvidence): the changed-files list, the diff stat, the
+ * deterministic check's exit code + output tail, and the ai_inspection
+ * rationale. Bounded to fit the injection node's evidence column, and NEVER
+ * empty -- when the bundle carries nothing citable it says so explicitly rather
+ * than return a blank that would re-introduce the evidence-less flip.
+ */
+export function summarizeEvidenceForInjection(ev) {
+    const parts = [];
+    const files = ev.changedFiles ?? [];
+    if (files.length > 0) {
+        const shown = files.slice(0, 20);
+        const more = files.length - shown.length;
+        parts.push(`Files inspected (${files.length}): ${shown.join(', ')}${more > 0 ? ` (+${more} more)` : ''}`);
+    }
+    if (ev.diffStat && ev.diffStat.trim() !== '') {
+        parts.push(`Diff stat: ${truncateCitation(ev.diffStat, 400)}`);
+    }
+    if (typeof ev.exitCode === 'number') {
+        const tail = (ev.testStdout ?? ev.testStderr ?? '').trim();
+        parts.push(`Tests/check: exit ${ev.exitCode}${tail !== '' ? ` -- ${truncateCitation(tail, 500)}` : ''}`);
+    }
+    if (ev.inspectionRationale && ev.inspectionRationale.trim() !== '') {
+        parts.push(`Inspection: ${truncateCitation(ev.inspectionRationale, 800)}`);
+    }
+    // Fall back to the bare verdict rationale only when no structured file/test
+    // signal was citable, so the citation is never empty.
+    if (parts.length === 0 && ev.verdictRationale && ev.verdictRationale.trim() !== '') {
+        parts.push(`Verdict: ${truncateCitation(ev.verdictRationale, 800)}`);
+    }
+    const body = parts.join('\n');
+    const header = 'Retired by the verification engine on a passing verdict.';
+    return body === ''
+        ? `${header} (No citable file/test evidence was present in the verdict bundle.)`
+        : truncateCitation(`${header}\n${body}`, 4800);
+}
+/**
+ * Name the judgeable evidence slots that were empty, for the instrument-fault
+ * hold's gate_state + escalation. Describes the FAULT (what the gate could not
+ * see), never the work.
+ */
+export function describeMissingJudgeEvidence(ev) {
+    const missing = [];
+    if (!ev.diff || ev.diff.trim() === '')
+        missing.push('diff');
+    if (!ev.changedFiles || ev.changedFiles.length === 0)
+        missing.push('changed files');
+    if (!ev.inspectionRationale || ev.inspectionRationale.trim() === '')
+        missing.push('inspection finding');
+    return missing;
+}
+/**
+ * Assess whether the range the verify evidence was resolved from COVERS the
+ * delivery's recorded commit set (focus_merges.commit_shas).
+ *
+ * complete:true when either (a) there is no recorded set to measure against
+ * (we never assert an incompleteness we cannot see -- the empty-bundle path,
+ * not this one, owns that case), or (b) every recorded sha is reachable in the
+ * resolved range. Otherwise complete:false, naming the uncovered shas.
+ *
+ * Resolves the SAME range buildVerifyEvidence uses (record-preferred), so when
+ * the record itself sourced the range this is complete by construction; the
+ * check bites only when attribution fell back to topology / a searched merge
+ * and that fallback under-covers the recorded truth.
+ */
+export function assessRecordedCoverage(v, deps, recordedCommitShas) {
+    const recorded = recordedCommitShas.map((s) => s.trim()).filter((s) => s !== '');
+    if (recorded.length === 0) {
+        return { complete: true, recorded: 0, covered: 0, uncovered: [] };
+    }
+    const cwd = resolveDiffCwd(v, deps);
+    const source = resolveDeliveryDiffSource(cwd, deps.integrationBranch, recordedMergeShaForVerify(v), recorded, null, v.deliveryId);
+    if (!source) {
+        // No source at all: the empty-bundle path handles the verdict, but from a
+        // coverage standpoint every recorded commit is uncovered.
+        return { complete: false, recorded: recorded.length, covered: 0, uncovered: recorded };
+    }
+    let inRange;
+    try {
+        inRange = new Set(listSourceCommits(cwd, source));
+    }
+    catch {
+        inRange = new Set();
+    }
+    const uncovered = recorded.filter((sha) => !inRange.has(sha));
+    return {
+        complete: uncovered.length === 0,
+        recorded: recorded.length,
+        covered: recorded.length - uncovered.length,
+        uncovered,
+    };
+}
+//# sourceMappingURL=verification-evidence.js.map

package/dist/verify/effect-reconciliation/verification-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-evidence.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verification-evidence.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gFAAgF;AAChF,2FAA2F;AAC3F,wFAAwF;AACxF,mFAAmF;AACnF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EACL,yBAAyB,EACzB,yBAAyB,EACzB,iCAAiC,EACjC,6BAA6B,EAC7B,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAKlC,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAWrD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,CAAsB,EAAE,IAAwB;IAC7E,OAAO,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;GAWG;AACH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAC3F,2FAA2F;AAC3F,MAAM,UAAU,yBAAyB,CACvC,CAA2D;IAE3D,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,CAAC,CAAC,cAAc,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAA0D,EAC1D,CAAsB,EACtB,IAAwB,EACxB,qBAA+B,EAAE,EACjC,sBAAqC,IAAI;IAEzC,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpC,6EAA6E;IAC7E,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,gFAAgF;IAChF,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,iCAAiC;IACjC,MAAM,MAAM,GAAG,yBAAyB,CACtC,GAAG,EACH,IAAI,CAAC,iBAAiB,EACtB,yBAAyB,CAAC,CAAC,CAAC,EAC5B,kBAAkB,EAClB,mBAAmB,EACnB,CAAC,CAAC,UAAU,CACb,CAAC;IACF,IAAI,IAAI,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IACrC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACnB,4EAA4E;YACtE,GAAG,CAAC,KAAK,CAAC,2EAA2E,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IACD,IAAI,YAAY,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,CAAC;QACH,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,iCAAiC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CAAC,kDAAkD,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,IAAI,IAAI,SAAS;QACvB,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/F,YAAY,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;QAChE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;QACvD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,mBAAmB,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS;QACjD,gBAAgB,EAAE,MAAM,CAAC,SAAS;KACnC,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CAAC,CAAS,EAAE,GAAW;IAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,6BAA6B,CAAC,EAAkB;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QACzC,KAAK,CAAC,IAAI,CACR,oBAAoB,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,cAAc,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,QAAQ,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,eAAe,gBAAgB,CAAC,EAAE,CAAC,mBAAmB,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,4EAA4E;IAC5E,sDAAsD;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,YAAY,gBAAgB,CAAC,EAAE,CAAC,gBAAgB,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,0DAA0D,CAAC;IAC1E,OAAO,IAAI,KAAK,EAAE;QAChB,CAAC,CAAC,GAAG,MAAM,qEAAqE;QAChF,CAAC,CAAC,gBAAgB,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,EAAkB;IAC7D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpF,IAAI,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACxG,OAAO,OAAO,CAAC;AACjB,CAAC;AAoBD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,CAAsB,EACtB,IAAwB,EACxB,kBAA4B;IAE5B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACjF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,yBAAyB,CACtC,GAAG,EACH,IAAI,CAAC,iBAAiB,EACtB,yBAAyB,CAAC,CAAC,CAAC,EAC5B,QAAQ,EACR,IAAI,EACJ,CAAC,CAAC,UAAU,CACb,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,0EAA0E;QAC1E,0DAA0D;QAC1D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;QAChC,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM;QAC3C,SAAS;KACV,CAAC;AACJ,CAAC"}