@telora/daemon 0.22.245 → 0.22.290

package/dist/verify/verify-gate-stall.js

@@ -1,204 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/focus/listener-auto-advance-guard-measure.test.ts,
-//   packages/daemon/src/integration/shortfall-park-incident-regression.test.ts,
-//   packages/daemon/src/integration/verification-history-round-trip.test.ts,
-//   packages/daemon/src/verify/stall-detectors.test.ts
-// PINNED-BY-END
-import { isStatusTerminal } from '../workflow/stage-classifier.js';
-import { readRecordedSignatureRun } from './failure-signature.js';
-import { formatTimeoutAppliedLine, readTimeoutFault } from './verification-timeout-fault.js';
-import { ESCALATION_DESCRIPTION_MAX } from '../queries/escalation-field-bounds.js';
-/**
- * Consecutive rejections carrying ONE failure signature that mark the verify gate
- * as stalled rather than converging.
- *
- * JUDGMENT CALL (recorded, reversible): 3 -- the same failure survived TWO re-work
- * responses unchanged -- mirroring UNCLEARABLE_SHORTFALL_REPEAT_THRESHOLD, the
- * sibling repetition discriminator for shortfalls. Deliberately NOT
- * TELORA_VERIFY_FAILED_ITERATION_CAP: that knob counts cycles of ANY failure and
- * remains the no-signature fallback; reusing it would conflate "failed N times"
- * with "failed the same way N times". A daemon-local constant (not a TELORA_* env
- * var) because a new env var needs a daemon-core publish; promote it there only if
- * operators need to tune it live. Overridable per call for tests.
- */
-export const VERIFY_GATE_STALL_REPEAT_THRESHOLD = 3;
-/** Longest failure signature the body renders; the full signature stays in the escalation metadata. */
-export const STALL_SIGNATURE_RENDER_MAX = 400;
-/** Render gate_state compactly for the escalation body. */
-function formatGateState(gateState) {
-    if (gateState == null)
-        return '(none recorded)';
-    try {
-        return JSON.stringify(gateState);
-    }
-    catch {
-        return '(unserializable)';
-    }
-}
-/**
- * Fit a volatile rendering (a signature, the gate_state JSON) into `room`
- * characters, saying in-line that it was shortened and where the full value is.
- * Gate state grows with the product's test suite (failing-test lists, shortfall
- * reasons), so an unbounded body outgrows the server's escalation field limit and
- * the filing is refused -- the stall then raises no signal at all. Pure.
- */
-function fitRendered(rendered, room, what, fullAt) {
-    if (rendered.length <= room)
-        return rendered;
-    const note = ` ... [${what} shortened from ${rendered.length} characters to fit the escalation limit; the full ${what} is in ${fullAt}]`;
-    return `${rendered.slice(0, Math.max(0, room - note.length))}${note}`;
-}
-/**
- * Compose `before` + the gate_state line + `after`, fitting the gate_state
- * rendering into whatever the escalation description limit leaves, so the facts
- * (focus, delivery, cause) and the detail pointer that follows always survive.
- */
-function withFittedGateState(before, gateState, after) {
-    const label = '**gate_state:** ';
-    const room = ESCALATION_DESCRIPTION_MAX - before.length - label.length - after.length;
-    const fitted = fitRendered(formatGateState(gateState), room, 'gate_state', "this escalation's metadata (gateState) and on the delivery row");
-    return `${before}${label}${fitted}${after}`;
-}
-/**
- * The names of the guards currently in `gate_state.blocking`. Empty when the gate
- * carries no live guard verdict. Used to make the escalation body assert only what
- * the gate actually says (the detector only fires when a guard is live).
- */
-function blockingGuardNames(gateState) {
-    if (gateState == null || typeof gateState !== 'object')
-        return [];
-    const blocking = gateState.blocking;
-    if (!Array.isArray(blocking))
-        return [];
-    return blocking
-        .map((b) => b && typeof b === 'object' && typeof b.guardName === 'string'
-        ? b.guardName
-        : null)
-        .filter((n) => n !== null);
-}
-/**
- * True when `gateState.blocking` carries at least one guard verdict -- i.e. a
- * guard is ACTUALLY rejecting the work right now.
- *
- * Only the `blocking` array counts. operatorHold / externalHold / shortfallProposalIds
- * are carried OUTSIDE `blocking` (queries/delivery-gate-state.ts DeliveryGateState)
- * because a hold is not a guard verdict. Treating operatorHold as a block here would
- * reintroduce the very fixpoint the sibling operator-hold exclusion removes: the
- * verify_gate_unclearable alarm writes gate_state with `blocking: []` + a populated
- * operatorHold, and if that counted as "still blocking" the detector would keep
- * re-firing on its own alarm. So the guard-verdict array is the sole live-block
- * signal. (verify_evidence_unavailable DOES populate `blocking` with its own guard,
- * but it consumes no iteration_count, so it can never by itself push over the cap.)
- * Verification history carried across a guard-pass clear
- * (gate_state.verificationHistory, carryVerificationHistory) is written beside an
- * EMPTY `blocking` array, so a cleared gate carrying a signature run is never a
- * live block. The repeat count survives the clear; the alarm still waits for the
- * next real rejection.
- *
- * Defensive over the `unknown` gate_state shape (FocusDeliveryInfo.gateState). Pure.
- */
-export function hasLiveBlockingGuard(gateState) {
-    if (gateState == null || typeof gateState !== 'object')
-        return false;
-    const blocking = gateState.blocking;
-    return Array.isArray(blocking) && blocking.length > 0;
-}
-/**
- * The NO-SIGNATURE FALLBACK predicate: does this delivery exceed the verify_failed
- * re-code cap AND is a guard still actively rejecting it?
- *
- * iteration_count is a MONOTONIC proxy for "the gate keeps rejecting this work",
- * but the condition it proxies is NOT monotonic: the counter never decreases while
- * the gate can go clear, so the LIVE gate must also show a blocking guard (observed
- * 2026-07-26). It is also blind to WHAT is rejected, which is why it only decides
- * when no failure signature is recorded (decideVerifyGateStall). A terminal
- * delivery (done/cancelled) is never escalated -- it has stopped cycling. Pure.
- */
-export function exceedsVerifyFailedCap(delivery, cap) {
-    if (isStatusTerminal(delivery.executionStatus ?? ''))
-        return false;
-    if ((delivery.iterationCount ?? 0) <= cap)
-        return false;
-    return hasLiveBlockingGuard(delivery.gateState);
-}
-/**
- * Decide whether a delivery's verify gate is stalled (see the module doc). The
- * signature path, when a signature is recorded, is AUTHORITATIVE: a delivery over
- * the iteration cap whose failure keeps changing is converging, not stalled. Pure.
- */
-export function decideVerifyGateStall(delivery, cap, repeatThreshold = VERIFY_GATE_STALL_REPEAT_THRESHOLD) {
-    if (isStatusTerminal(delivery.executionStatus ?? ''))
-        return { stalled: false };
-    if (!hasLiveBlockingGuard(delivery.gateState))
-        return { stalled: false };
-    const run = readRecordedSignatureRun(delivery.gateState);
-    if (run) {
-        return run.consecutive >= repeatThreshold
-            ? { stalled: true, basis: 'repeated_signature', signature: run.signature, consecutive: run.consecutive, threshold: repeatThreshold }
-            : { stalled: false };
-    }
-    return exceedsVerifyFailedCap(delivery, cap)
-        ? { stalled: true, basis: 'iteration_cap', iterationCount: delivery.iterationCount ?? 0, cap }
-        : { stalled: false };
-}
-/**
- * Build the verify_gate_unclearable escalation body for a stalled delivery. It
- * asserts only what the evidence shows: the repeated signature and its consecutive
- * count on the signature path; on the iteration-cap fallback, that the stall is
- * inferred from a count alone and the delivery may still be converging. When the
- * live hold is a timeout that recorded its applied timeout, both bodies name it
- * and its source in an explicit line, rather than leaving it buried in the
- * gate_state JSON -- the reader's first question about a timeout stall is which
- * layer set the limit. Pure.
- */
-export function buildVerifyGateStallEscalation(focus, delivery, stall) {
-    const guards = blockingGuardNames(delivery.gateState);
-    const guardClause = guards.length
-        ? `The verify gate is currently blocking on: ${guards.join(', ')}.`
-        : `The verify gate is currently blocking (see gate_state).`;
-    const iterationCount = delivery.iterationCount ?? 0;
-    const facts = `**Focus:** ${focus.focusName}\n` +
-        `**Focus ID:** ${focus.focusId}\n` +
-        `**Delivery:** "${delivery.name}" (${delivery.id})\n` +
-        `**Status:** ${delivery.executionStatus ?? 'unknown'}\n` +
-        `**iteration_count:** ${iterationCount}\n`;
-    const timeoutLine = formatTimeoutAppliedLine(readTimeoutFault(delivery.gateState));
-    const timeoutFact = timeoutLine ? `${timeoutLine}\n` : '';
-    const pointer = `\n\nInspect the gate_state / last failing condition above (gate_state.verification.logPath ` +
-        `holds the full run log). See docs/runbook-verify-gate.md.`;
-    const helpNeeded = `Read the failing condition (gate_state.verification.logPath) and fix the defect on the ` +
-        `focus branch -- the prior re-work did not change what fails. If the gate itself must be ` +
-        `relaxed, or the delivery cannot pass and must be cancelled, that is an authority act: ` +
-        `escalate naming it.`;
-    if (stall.basis === 'repeated_signature') {
-        const signature = fitRendered(stall.signature, STALL_SIGNATURE_RENDER_MAX, 'failure signature', "this escalation's metadata (failureSignature)");
-        return {
-            description: withFittedGateState(`Delivery "${delivery.name}" failed the verify gate with the SAME failure signature on ` +
-                `${stall.consecutive} consecutive re-code cycles (threshold ${stall.threshold}): ` +
-                `${signature}. ${guardClause} The re-work between those cycles did not change ` +
-                `what fails, so another automatic cycle is unlikely to clear it.\n\n` +
-                facts +
-                timeoutFact +
-                `**failure signature:** ${signature} (${stall.consecutive} consecutive)\n`, delivery.gateState, pointer),
-            whatWasTried: `The delivery was re-queued for re-work after each rejection; its last ${stall.consecutive} ` +
-                `verify runs failed with an identical failure signature (timings, line counts, paths and ` +
-                `other volatile detail normalized away).`,
-            helpNeeded,
-            logSummary: `failure signature ${stall.signature} repeated ${stall.consecutive}x >= threshold ${stall.threshold}`,
-        };
-    }
-    return {
-        description: withFittedGateState(`Delivery "${delivery.name}" has been through ${iterationCount} verify_failed re-code cycles ` +
-            `(cap ${stall.cap}) without clearing the verify gate. ${guardClause} No failure signature is ` +
-            `recorded for its latest rejection (a legacy gate_state, a non-deterministic hold, or an ` +
-            `unparseable verification log), so this stall is inferred from the cycle count alone -- the ` +
-            `delivery may still be converging through different failures.\n\n` +
-            facts +
-            timeoutFact, delivery.gateState, pointer),
-        whatWasTried: `The delivery re-entered verify_failed ${iterationCount} times; each verify pass was ` +
-            `rejected by the gate and re-queued.`,
-        helpNeeded,
-        logSummary: `iteration_count ${iterationCount} > cap ${stall.cap}; no failure signature recorded`,
-    };
-}
-//# sourceMappingURL=verify-gate-stall.js.map

package/dist/verify/verify-gate-stall.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-gate-stall.js","sourceRoot":"","sources":["../../src/verify/verify-gate-stall.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,gFAAgF;AAChF,6EAA6E;AAC7E,uDAAuD;AACvD,gBAAgB;AA4BhB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAC7F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AAEnF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAIpD,uGAAuG;AACvG,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAE9C,2DAA2D;AAC3D,SAAS,eAAe,CAAC,SAAkB;IACzC,IAAI,SAAS,IAAI,IAAI;QAAE,OAAO,iBAAiB,CAAC;IAChD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,QAAgB,EAAE,IAAY,EAAE,IAAY,EAAE,MAAc;IAC/E,IAAI,QAAQ,CAAC,MAAM,IAAI,IAAI;QAAE,OAAO,QAAQ,CAAC;IAC7C,MAAM,IAAI,GAAG,SAAS,IAAI,mBAAmB,QAAQ,CAAC,MAAM,qDAAqD,IAAI,UAAU,MAAM,GAAG,CAAC;IACzI,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,MAAc,EAAE,SAAkB,EAAE,KAAa;IAC5E,MAAM,KAAK,GAAG,kBAAkB,CAAC;IACjC,MAAM,IAAI,GAAG,0BAA0B,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACtF,MAAM,MAAM,GAAG,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,gEAAgE,CAAC,CAAC;IAC7I,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,SAAkB;IAC5C,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAA6B,CAAC,SAAS,KAAK,QAAQ;QACxF,CAAC,CAAE,CAA2B,CAAC,SAAS;QACxC,CAAC,CAAC,IAAI,CACT;SACA,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAkB;IACrD,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAsB,EAAE,GAAW;IACxE,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,GAAG;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAsB,EACtB,GAAW,EACX,kBAA0B,kCAAkC;IAE5D,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAChF,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzE,MAAM,GAAG,GAAG,wBAAwB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,GAAG,CAAC,WAAW,IAAI,eAAe;YACvC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,oBAAoB,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE;YACpI,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,sBAAsB,CAAC,QAAQ,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,IAAI,CAAC,EAAE,GAAG,EAAE;QAC9F,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAUD;;;;;;;;;GASG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA6C,EAC7C,QAAqG,EACrG,KAAsB;IAEtB,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM;QAC/B,CAAC,CAAC,6CAA6C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACnE,CAAC,CAAC,yDAAyD,CAAC;IAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC;IACpD,MAAM,KAAK,GACT,cAAc,KAAK,CAAC,SAAS,IAAI;QACjC,iBAAiB,KAAK,CAAC,OAAO,IAAI;QAClC,kBAAkB,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,EAAE,KAAK;QACrD,eAAe,QAAQ,CAAC,eAAe,IAAI,SAAS,IAAI;QACxD,wBAAwB,cAAc,IAAI,CAAC;IAC7C,MAAM,WAAW,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,MAAM,OAAO,GACX,6FAA6F;QAC7F,2DAA2D,CAAC;IAC9D,MAAM,UAAU,GACd,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;QACxF,qBAAqB,CAAC;IAExB,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,+CAA+C,CAAC,CAAC;QACjJ,OAAO;YACL,WAAW,EAAE,mBAAmB,CAC9B,aAAa,QAAQ,CAAC,IAAI,8DAA8D;gBACxF,GAAG,KAAK,CAAC,WAAW,0CAA0C,KAAK,CAAC,SAAS,KAAK;gBAClF,GAAG,SAAS,KAAK,WAAW,mDAAmD;gBAC/E,qEAAqE;gBACrE,KAAK;gBACL,WAAW;gBACX,0BAA0B,SAAS,KAAK,KAAK,CAAC,WAAW,iBAAiB,EAC1E,QAAQ,CAAC,SAAS,EAClB,OAAO,CACR;YACD,YAAY,EACV,yEAAyE,KAAK,CAAC,WAAW,GAAG;gBAC7F,0FAA0F;gBAC1F,yCAAyC;YAC3C,UAAU;YACV,UAAU,EAAE,qBAAqB,KAAK,CAAC,SAAS,aAAa,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,SAAS,EAAE;SAClH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EAAE,mBAAmB,CAC9B,aAAa,QAAQ,CAAC,IAAI,sBAAsB,cAAc,gCAAgC;YAC9F,QAAQ,KAAK,CAAC,GAAG,uCAAuC,WAAW,2BAA2B;YAC9F,0FAA0F;YAC1F,6FAA6F;YAC7F,kEAAkE;YAClE,KAAK;YACL,WAAW,EACX,QAAQ,CAAC,SAAS,EAClB,OAAO,CACR;QACD,YAAY,EACV,yCAAyC,cAAc,+BAA+B;YACtF,qCAAqC;QACvC,UAAU;QACV,UAAU,EAAE,mBAAmB,cAAc,UAAU,KAAK,CAAC,GAAG,iCAAiC;KAClG,CAAC;AACJ,CAAC"}

package/dist/verify/verify-reconciliation.d.ts

@@ -1,114 +0,0 @@
-/**
- * Verify-time reconciliation: declared intent vs achieved outcome.
- *
- * Under the differential-focus model a flip is no longer a polarity rewrite of
- * the UDE prose. At verify, the daemon must:
- *
- *   1. Re-derive the ACHIEVED desired effect from CITED worktree EVIDENCE
- *      (diff, test output, AI-inspection finding) -- NOT by re-reading the
- *      targeted UDE's problem statement. The achieved DE describes what the
- *      evidence shows was actually accomplished.
- *   2. Compare the achieved DE against the DECLARED desired effect
- *      (node.frtStatement, preserved permanently) and classify the gap:
- *        - match                -- the achieved outcome realizes the declared intent.
- *        - legitimate_divergence-- a valid but different outcome (carries a reason).
- *        - shortfall            -- the achieved outcome falls short of the intent.
- *
- * Reality is asymmetric: it moves toward intent, never the reverse. So this
- * module NEVER softens the declared DE to match a lesser achievement. On a
- * shortfall the caller short-circuits the flip and escalates to a human.
- *
- * The judgment is a SINGLE model call producing {achievedStatement,
- * classification, divergenceReason?}. It reuses the same `claude` CLI print-mode
- * plumbing as the de-restatement helper -- no new client or secret wiring.
- *
- * @module verify-reconciliation
- */
-import { type RestatementOptions } from './de-restatement.js';
-/** How the achieved effect compares to the declared desired effect. */
-export type VerifyClassification = 'match' | 'legitimate_divergence' | 'shortfall';
-/** Cited worktree evidence the achieved desired effect is derived from. */
-export interface VerifyEvidence {
-    /** Delivery diff against the integration branch, when available. */
-    diff?: string;
-    /**
-     * Files changed between the integration base and the delivery HEAD
-     * (name-only). Structured signal so the judge sees WHICH files changed
-     * without parsing the raw diff.
-     */
-    changedFiles?: string[];
-    /** `git diff --stat` summary between the integration base and HEAD. */
-    diffStat?: string;
-    /** Captured stdout from a deterministic check (tests/lint/types). */
-    testStdout?: string;
-    /** Captured stderr from a deterministic check. */
-    testStderr?: string;
-    /** Exit code of a deterministic check, when run. */
-    exitCode?: number | null;
-    /** Rationale produced by an ai_inspection runner, when used. */
-    inspectionRationale?: string;
-    /** Free-form rationale string carried on the verification verdict. */
-    verdictRationale?: string;
-}
-export interface ReconcileInputs {
-    /** The DECLARED desired effect (node.frtStatement, preserved). */
-    declaredStatement: string;
-    /** Cited worktree evidence; the achieved DE is derived from THIS, not the UDE. */
-    evidence: VerifyEvidence;
-}
-export interface ReconcileJudgment {
-    /** The ACHIEVED desired effect, authored from the cited evidence. */
-    achievedStatement: string;
-    classification: VerifyClassification;
-    /** Populated only on legitimate_divergence / shortfall: what the gap is. */
-    divergenceReason?: string;
-    /**
-     * REQUIRED on a shortfall: the diff evidence (file / hunk) whose absence
-     * justifies marking the declared node short. A shortfall grounded only in
-     * test output or verdict rationale -- not the diff -- is not a valid
-     * shortfall. Omitted on match / legitimate_divergence.
-     */
-    diffCitation?: string;
-}
-export type ReconcileOptions = RestatementOptions;
-export declare const RECONCILE_SYSTEM_PROMPT = "You reconcile a software delivery's DECLARED desired effect against what its worktree EVIDENCE actually shows was accomplished, for a Goldratt reality-tree flip.\n\nYou will be given:\n- The DECLARED desired effect: the outcome the work was supposed to realize. This is the intent of record. Do NOT lower it.\n- EVIDENCE from the worktree: the code diff, test/lint/type output, and/or an inspection finding. This is the only ground truth for what was actually achieved.\n\nThe CODE DIFF is the PRIMARY evidence for what was delivered. Ground your judgment in it. Test/lint output and inspection findings are corroborating evidence -- they show that code RUNS, not WHICH declared behavior it implements. Never conclude a shortfall from test output alone: if the diff implements the declared behavior, it is not short even if the tests you see are about something else.\n\nDo TWO things:\n1. Author the ACHIEVED desired effect: ONE concrete positive sentence describing what the EVIDENCE shows was accomplished. Derive it from the evidence, NOT from the declared sentence -- if the evidence accomplished something different from or narrower than the declaration, the achieved sentence must say what the evidence shows, not echo the declaration.\n2. Classify how the achieved outcome compares to the declared desired effect:\n   - \"match\": the achieved outcome realizes the declared intent.\n   - \"legitimate_divergence\": the achieved outcome differs from the declared intent but is a valid, defensible result (e.g. a better approach, an equivalent substitution). Give a one-sentence reason naming the gap.\n   - \"shortfall\": the achieved outcome falls short of the declared intent -- it does less, is incomplete, or the evidence does not support the declaration. Give a one-sentence reason naming what is missing, AND, when you can, cite the diff: name the changed file(s)/hunk you inspected whose content fails to satisfy the declared node. A shortfall is best grounded in the diff -- prefer to cite a real changed file/hunk. If the diff contains no real file/hunk to point at, LEAVE diffCitation UNSET (omit the field entirely) -- do NOT write prose asserting absence into it (e.g. never write \"no diff was supplied\"). Absence must be represented as an absent field, not as a sentence. Never conclude a shortfall from test output alone.\n\nRespond with ONE JSON object and nothing else:\n{\"achievedStatement\": \"<one sentence>\", \"classification\": \"match\" | \"legitimate_divergence\" | \"shortfall\", \"divergenceReason\": \"<one sentence, omit or empty when classification is match>\", \"diffCitation\": \"<OPTIONAL on shortfall: the real file/hunk in the diff grounding the shortfall; OMIT the field entirely (never absence prose) when the diff has no such file/hunk; omit on match/legitimate_divergence>\"}";
-export declare function buildReconcileSystemPrompt(): string;
-/** Render the cited evidence into the user message. Evidence-only -- the UDE text is never included. */
-export declare function buildReconcileUserMessage(inputs: ReconcileInputs): string;
-/** True when the evidence bundle carries no usable signal. */
-export declare function evidenceIsEmpty(ev: VerifyEvidence): boolean;
-/**
- * True when the bundle carries no evidence the ACHIEVED desired effect can be
- * authored from -- no diff, no changed-files list, and no inspection finding.
- *
- * Test/lint output and the strategy verdict rationale are deliberately NOT
- * counted: the reconcile contract forbids authoring an achieved DE (or a
- * shortfall) from test output alone, so a bundle carrying only those is still
- * "nothing to judge the WORK against." This is the instrument-fault trigger --
- * the reconciliation is BLIND to the work and must NOT render a verdict about
- * it (match / legitimate_divergence / shortfall). Distinct from
- * `evidenceIsEmpty`, which is true only when EVERY slot (including test output)
- * is empty.
- */
-export declare function judgeEvidenceIsEmpty(ev: VerifyEvidence): boolean;
-/**
- * Does a diff citation actually reference a real file/hunk present in the
- * evidence? A STRUCTURAL check -- it matches the citation against the
- * changed-files list (or, absent that, path-like tokens present in the raw
- * diff). It never string-sniffs for absence prose: a citation that names no
- * real changed file simply fails to match and is treated as un-cited. This is
- * what lets "the diff had nothing to point at" be represented as an ABSENT
- * diffCitation rather than a sentence asserting absence.
- */
-export declare function citationReferencesEvidence(citation: string, ev: VerifyEvidence): boolean;
-/** Parse the model's JSON judgment. Tolerates code fences / surrounding prose. */
-export declare function parseReconcileJson(raw: string): ReconcileJudgment | null;
-/**
- * Reconcile the declared desired effect against the cited evidence.
- *
- * Single model call. Throws on model-invocation or parse failure; the verify
- * caller catches and treats a reconciliation failure conservatively (it does
- * NOT flip an injection it could not reconcile).
- */
-export declare function reconcileAchievedEffect(inputs: ReconcileInputs, opts?: ReconcileOptions): Promise<ReconcileJudgment>;
-//# sourceMappingURL=verify-reconciliation.d.ts.map

package/dist/verify/verify-reconciliation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../src/verify/verify-reconciliation.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAE7B,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAElD,eAAO,MAAM,uBAAuB,4wFAgBoX,CAAC;AAEzZ,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAED,wGAAwG;AACxG,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CA4CzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAsDxE;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,gBAAqB,GAC1B,OAAO,CAAC,iBAAiB,CAAC,CAgC5B"}

package/dist/verify/verify-reconciliation.js

@@ -1,248 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/verify-injection-evidence.test.ts,
-//   packages/daemon/src/verify/verify-reconciliation.test.ts,
-//   packages/daemon/src/verify/verify-restatement.test.ts
-// PINNED-BY-END
-/**
- * Verify-time reconciliation: declared intent vs achieved outcome.
- *
- * Under the differential-focus model a flip is no longer a polarity rewrite of
- * the UDE prose. At verify, the daemon must:
- *
- *   1. Re-derive the ACHIEVED desired effect from CITED worktree EVIDENCE
- *      (diff, test output, AI-inspection finding) -- NOT by re-reading the
- *      targeted UDE's problem statement. The achieved DE describes what the
- *      evidence shows was actually accomplished.
- *   2. Compare the achieved DE against the DECLARED desired effect
- *      (node.frtStatement, preserved permanently) and classify the gap:
- *        - match                -- the achieved outcome realizes the declared intent.
- *        - legitimate_divergence-- a valid but different outcome (carries a reason).
- *        - shortfall            -- the achieved outcome falls short of the intent.
- *
- * Reality is asymmetric: it moves toward intent, never the reverse. So this
- * module NEVER softens the declared DE to match a lesser achievement. On a
- * shortfall the caller short-circuits the flip and escalates to a human.
- *
- * The judgment is a SINGLE model call producing {achievedStatement,
- * classification, divergenceReason?}. It reuses the same `claude` CLI print-mode
- * plumbing as the de-restatement helper -- no new client or secret wiring.
- *
- * @module verify-reconciliation
- */
-import { invokeClaudeCli, } from './de-restatement.js';
-export const RECONCILE_SYSTEM_PROMPT = `You reconcile a software delivery's DECLARED desired effect against what its worktree EVIDENCE actually shows was accomplished, for a Goldratt reality-tree flip.
-
-You will be given:
-- The DECLARED desired effect: the outcome the work was supposed to realize. This is the intent of record. Do NOT lower it.
-- EVIDENCE from the worktree: the code diff, test/lint/type output, and/or an inspection finding. This is the only ground truth for what was actually achieved.
-
-The CODE DIFF is the PRIMARY evidence for what was delivered. Ground your judgment in it. Test/lint output and inspection findings are corroborating evidence -- they show that code RUNS, not WHICH declared behavior it implements. Never conclude a shortfall from test output alone: if the diff implements the declared behavior, it is not short even if the tests you see are about something else.
-
-Do TWO things:
-1. Author the ACHIEVED desired effect: ONE concrete positive sentence describing what the EVIDENCE shows was accomplished. Derive it from the evidence, NOT from the declared sentence -- if the evidence accomplished something different from or narrower than the declaration, the achieved sentence must say what the evidence shows, not echo the declaration.
-2. Classify how the achieved outcome compares to the declared desired effect:
-   - "match": the achieved outcome realizes the declared intent.
-   - "legitimate_divergence": the achieved outcome differs from the declared intent but is a valid, defensible result (e.g. a better approach, an equivalent substitution). Give a one-sentence reason naming the gap.
-   - "shortfall": the achieved outcome falls short of the declared intent -- it does less, is incomplete, or the evidence does not support the declaration. Give a one-sentence reason naming what is missing, AND, when you can, cite the diff: name the changed file(s)/hunk you inspected whose content fails to satisfy the declared node. A shortfall is best grounded in the diff -- prefer to cite a real changed file/hunk. If the diff contains no real file/hunk to point at, LEAVE diffCitation UNSET (omit the field entirely) -- do NOT write prose asserting absence into it (e.g. never write "no diff was supplied"). Absence must be represented as an absent field, not as a sentence. Never conclude a shortfall from test output alone.
-
-Respond with ONE JSON object and nothing else:
-{"achievedStatement": "<one sentence>", "classification": "match" | "legitimate_divergence" | "shortfall", "divergenceReason": "<one sentence, omit or empty when classification is match>", "diffCitation": "<OPTIONAL on shortfall: the real file/hunk in the diff grounding the shortfall; OMIT the field entirely (never absence prose) when the diff has no such file/hunk; omit on match/legitimate_divergence>"}`;
-export function buildReconcileSystemPrompt() {
-    return RECONCILE_SYSTEM_PROMPT;
-}
-/** Render the cited evidence into the user message. Evidence-only -- the UDE text is never included. */
-export function buildReconcileUserMessage(inputs) {
-    const parts = [`Declared desired effect:\n${inputs.declaredStatement}`];
-    const ev = inputs.evidence;
-    const evidenceSections = [];
-    // Structured diff signals FIRST -- the judge can see which files/tests
-    // changed without parsing the full diff.
-    if (ev.changedFiles && ev.changedFiles.length > 0) {
-        evidenceSections.push(`Changed files (${ev.changedFiles.length}):\n${ev.changedFiles.map((f) => `- ${f}`).join('\n')}`);
-    }
-    if (ev.diffStat && ev.diffStat.trim() !== '') {
-        evidenceSections.push(`Diff stat:\n${ev.diffStat.trim()}`);
-    }
-    if (ev.diff && ev.diff.trim() !== '') {
-        evidenceSections.push(`Code diff (against integration):\n${ev.diff}`);
-    }
-    if (typeof ev.exitCode === 'number') {
-        evidenceSections.push(`Deterministic check exit code: ${ev.exitCode}`);
-    }
-    if (ev.testStdout && ev.testStdout.trim() !== '') {
-        evidenceSections.push(`Check stdout:\n${ev.testStdout}`);
-    }
-    if (ev.testStderr && ev.testStderr.trim() !== '') {
-        evidenceSections.push(`Check stderr:\n${ev.testStderr}`);
-    }
-    if (ev.inspectionRationale && ev.inspectionRationale.trim() !== '') {
-        evidenceSections.push(`Inspection finding:\n${ev.inspectionRationale}`);
-    }
-    if (ev.verdictRationale && ev.verdictRationale.trim() !== '') {
-        evidenceSections.push(`Verdict rationale:\n${ev.verdictRationale}`);
-    }
-    if (evidenceSections.length > 0) {
-        parts.push(`Evidence from the worktree:\n\n${evidenceSections.join('\n\n')}`);
-    }
-    else {
-        parts.push('Evidence from the worktree:\n\n(no evidence captured)');
-    }
-    parts.push('Author the ACHIEVED desired-effect sentence from the EVIDENCE above (not from the declared sentence), then classify it against the declared desired effect. Respond with the JSON object only.');
-    return parts.join('\n\n');
-}
-/** True when the evidence bundle carries no usable signal. */
-export function evidenceIsEmpty(ev) {
-    const hasText = (ev.diff && ev.diff.trim() !== '') ||
-        (ev.testStdout && ev.testStdout.trim() !== '') ||
-        (ev.testStderr && ev.testStderr.trim() !== '') ||
-        (ev.inspectionRationale && ev.inspectionRationale.trim() !== '') ||
-        (ev.verdictRationale && ev.verdictRationale.trim() !== '');
-    return !hasText && typeof ev.exitCode !== 'number';
-}
-/**
- * True when the bundle carries no evidence the ACHIEVED desired effect can be
- * authored from -- no diff, no changed-files list, and no inspection finding.
- *
- * Test/lint output and the strategy verdict rationale are deliberately NOT
- * counted: the reconcile contract forbids authoring an achieved DE (or a
- * shortfall) from test output alone, so a bundle carrying only those is still
- * "nothing to judge the WORK against." This is the instrument-fault trigger --
- * the reconciliation is BLIND to the work and must NOT render a verdict about
- * it (match / legitimate_divergence / shortfall). Distinct from
- * `evidenceIsEmpty`, which is true only when EVERY slot (including test output)
- * is empty.
- */
-export function judgeEvidenceIsEmpty(ev) {
-    const hasDiff = !!(ev.diff && ev.diff.trim() !== '');
-    const hasChangedFiles = !!(ev.changedFiles && ev.changedFiles.length > 0);
-    const hasInspection = !!(ev.inspectionRationale && ev.inspectionRationale.trim() !== '');
-    return !hasDiff && !hasChangedFiles && !hasInspection;
-}
-/**
- * Does a diff citation actually reference a real file/hunk present in the
- * evidence? A STRUCTURAL check -- it matches the citation against the
- * changed-files list (or, absent that, path-like tokens present in the raw
- * diff). It never string-sniffs for absence prose: a citation that names no
- * real changed file simply fails to match and is treated as un-cited. This is
- * what lets "the diff had nothing to point at" be represented as an ABSENT
- * diffCitation rather than a sentence asserting absence.
- */
-export function citationReferencesEvidence(citation, ev) {
-    const c = citation.trim();
-    if (c === '')
-        return false;
-    const files = ev.changedFiles ?? [];
-    if (files.length > 0) {
-        return files.some((f) => {
-            if (!f)
-                return false;
-            const base = f.split('/').pop() ?? f;
-            return c.includes(f) || (base.length > 2 && c.includes(base));
-        });
-    }
-    // No structured changed-files list: fall back to the raw diff, if present.
-    // A citation is grounded only when it names a path-like token (a real
-    // file/hunk reference) the diff actually contains.
-    const diff = ev.diff?.trim() ?? '';
-    if (diff !== '') {
-        const tokens = c.match(/[\w./-]+\.[A-Za-z0-9]{1,6}\b/g) ?? [];
-        return tokens.some((t) => diff.includes(t));
-    }
-    return false;
-}
-/** Parse the model's JSON judgment. Tolerates code fences / surrounding prose. */
-export function parseReconcileJson(raw) {
-    const stripped = raw.replace(/```(?:json)?\s*/g, '').replace(/```/g, '');
-    const firstBrace = stripped.indexOf('{');
-    if (firstBrace < 0)
-        return null;
-    let depth = 0;
-    let endIdx = -1;
-    for (let i = firstBrace; i < stripped.length; i += 1) {
-        const ch = stripped[i];
-        if (ch === '{')
-            depth += 1;
-        else if (ch === '}') {
-            depth -= 1;
-            if (depth === 0) {
-                endIdx = i;
-                break;
-            }
-        }
-    }
-    if (endIdx < 0)
-        return null;
-    let parsed;
-    try {
-        parsed = JSON.parse(stripped.slice(firstBrace, endIdx + 1));
-    }
-    catch {
-        return null;
-    }
-    if (!parsed || typeof parsed !== 'object')
-        return null;
-    const obj = parsed;
-    const achieved = typeof obj.achievedStatement === 'string' ? obj.achievedStatement.trim() : '';
-    if (achieved === '')
-        return null;
-    const classification = obj.classification;
-    if (classification !== 'match' &&
-        classification !== 'legitimate_divergence' &&
-        classification !== 'shortfall') {
-        return null;
-    }
-    const reasonRaw = typeof obj.divergenceReason === 'string' ? obj.divergenceReason.trim() : '';
-    const citationRaw = typeof obj.diffCitation === 'string' ? obj.diffCitation.trim() : '';
-    const judgment = {
-        achievedStatement: achieved,
-        classification,
-    };
-    if (classification !== 'match' && reasonRaw !== '') {
-        judgment.divergenceReason = reasonRaw;
-    }
-    // The diff citation is meaningful only on a shortfall (it grounds the
-    // withheld flip in the diff). Carry it through when the judge supplied one.
-    if (classification === 'shortfall' && citationRaw !== '') {
-        judgment.diffCitation = citationRaw;
-    }
-    return judgment;
-}
-/**
- * Reconcile the declared desired effect against the cited evidence.
- *
- * Single model call. Throws on model-invocation or parse failure; the verify
- * caller catches and treats a reconciliation failure conservatively (it does
- * NOT flip an injection it could not reconcile).
- */
-export async function reconcileAchievedEffect(inputs, opts = {}) {
-    const systemPrompt = buildReconcileSystemPrompt();
-    const userMessage = buildReconcileUserMessage(inputs);
-    const invoke = opts.invokeModel
-        ?? ((sys, msg) => invokeClaudeCli(sys, msg, { label: 'verify-reconciliation', ...opts }));
-    const raw = await invoke(systemPrompt, userMessage);
-    const judgment = parseReconcileJson(raw);
-    if (!judgment) {
-        throw new Error('verify-reconciliation produced no parseable judgment');
-    }
-    // Enforce the diff-citation invariant STRUCTURALLY: keep diffCitation only
-    // when it references a real changed file/hunk in the evidence. A judge that
-    // fills the field with absence prose ("no diff was supplied") does not match
-    // any changed file, so the citation is dropped and the shortfall is recorded
-    // as un-cited (absence represented as absence, not as a sentence). Consumers
-    // then distinguish cited vs un-cited purely by the field's presence.
-    if (judgment.classification === 'shortfall' &&
-        judgment.diffCitation &&
-        !citationReferencesEvidence(judgment.diffCitation, inputs.evidence)) {
-        delete judgment.diffCitation;
-    }
-    // A divergence/shortfall with no reason still classifies; backfill a generic
-    // reason so the downstream record/escalation always carries one.
-    if (judgment.classification !== 'match' && !judgment.divergenceReason) {
-        judgment.divergenceReason =
-            judgment.classification === 'shortfall'
-                ? 'Achieved outcome falls short of the declared desired effect.'
-                : 'Achieved outcome diverges from the declared desired effect.';
-    }
-    return judgment;
-}
-//# sourceMappingURL=verify-reconciliation.js.map

package/dist/verify/verify-reconciliation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../src/verify/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,8DAA8D;AAC9D,0DAA0D;AAC1D,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EACL,eAAe,GAEhB,MAAM,qBAAqB,CAAC;AAqD7B,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;wZAgBiX,CAAC;AAEzZ,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,uEAAuE;IACvE,yCAAyC;IACzC,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,gBAAgB,CAAC,IAAI,CACnB,kBAAkB,EAAE,CAAC,YAAY,CAAC,MAAM,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7C,gBAAgB,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,qCAAqC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACpC,gBAAgB,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,gBAAgB,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,gBAAgB,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,gBAAgB,CAAC,IAAI,CAAC,wBAAwB,EAAE,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7D,gBAAgB,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,kCAAkC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACtE,CAAC;IAED,KAAK,CAAC,IAAI,CACR,gMAAgM,CACjM,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;KACf,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,OAAyB,EAAE;IAE3B,MAAM,YAAY,GAAG,0BAA0B,EAAE,CAAC;IAClD,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW;WAC1B,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,uBAAuB,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,qEAAqE;IACrE,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}