@telora/daemon 0.22.239 → 0.22.289

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

@@ -1,109 +0,0 @@
-import { type DeliveryArmCoveredTargets } from '../queries/arm-covered-targets.js';
-import { type ReconcileInputs, type ReconcileJudgment, type ReconcileOptions, type VerifyEvidence } from './verify-reconciliation.js';
-export type { VerifyEvidence } from './verify-reconciliation.js';
-/**
- * Per-target reconciled statement carried into the verify call. Only ever
- * holds match / legitimate_divergence (shortfalls are excluded by construction
- * -- they are returned separately as `shortfalls`).
- */
-export interface TargetRestatement {
-    nodeId: string;
-    /** The ACHIEVED desired effect, authored from evidence. */
-    statement: string;
-    classification: 'match' | 'legitimate_divergence';
-    /** Populated on legitimate_divergence: what the gap is. */
-    divergenceReason?: string;
-    /**
-     * The node's ORIGINAL claim AS IT STOOD BEFORE this verify -- the DECLARED
-     * desired effect (preserved frt_statement, else the UDE statement). Distinct
-     * from `statement` (the ACHIEVED prose). Carried so a legitimate_divergence
-     * can be surfaced as an INWARD drift proposal framing the tree's claim
-     * (observedState), not the achieved reality. (TEL-4/5.)
-     */
-    originalClaim: string;
-}
-/** A targeted UDE whose achieved outcome fell short of the declared desired effect. */
-export interface TargetShortfall {
-    nodeId: string;
-    /** The DECLARED desired effect (preserved, never softened). */
-    declaredStatement: string;
-    /** The ACHIEVED desired effect, authored from evidence. */
-    achievedStatement: string;
-    /** Why the achieved outcome falls short. */
-    reason: string;
-    /**
-     * The diff evidence (file / hunk) grounding the shortfall. Populated ONLY
-     * when the citation references a REAL changed file/hunk present in the
-     * evidence -- verify-reconciliation validates it structurally
-     * (`citationReferencesEvidence`) and DROPS anything that does not, so absence
-     * prose (e.g. "no diff was supplied") can never land here. A shortfall
-     * grounded only in test output -- not the diff -- leaves this undefined.
-     * Readers distinguish a cited from an un-cited shortfall purely by this
-     * field's presence (no string-sniffing its contents); an un-cited shortfall
-     * is weaker signal than a cited one.
-     */
-    diffCitation?: string;
-}
-export interface ReconcileTargetsResult {
-    /** match / legitimate_divergence -- safe to carry into verify. */
-    restatements: TargetRestatement[];
-    /** shortfalls -- the caller must hold the gate and escalate. */
-    shortfalls: TargetShortfall[];
-    /**
-     * A GATE MUST NOT REPORT ITS OWN BLINDNESS AS A VERDICT. Set true when the
-     * injection HAS at least one declared-DE target to judge but the supplied
-     * EVIDENCE cannot be vouched for -- either EMPTY (no diff, no changed files,
-     * no inspection finding -- see judgeEvidenceIsEmpty) or INCOMPLETE (the caller
-     * passed evidenceIncomplete=true because the resolved diff range does not
-     * cover the delivery's recorded commit set, so a verdict would judge only part
-     * of the work). The reconciliation then declines to classify: it renders NO
-     * verdict (no match / legitimate_divergence / shortfall) and returns this
-     * instrument-fault signal instead, so unvouched evidence is never published as
-     * evidence of shortfall. The caller holds the gate under the
-     * evidence-unavailable guard and escalates -- it does NOT route to
-     * verify_failed. When there is nothing to judge (no targets) this stays falsy
-     * and the caller flips as before.
-     */
-    evidenceUnavailable?: boolean;
-    /**
-     * The reality_tree id the injection (and its targets) were resolved in.
-     * Carried so the caller can surface inward drift proposals for the
-     * legitimate_divergence restatements through crt_drift_proposal_create
-     * (which keys off the tree id). Undefined when the injection was not found
-     * in any active tree (then restatements/shortfalls are both empty too).
-     */
-    realityTreeId?: string;
-    /**
-     * Targets this reconciliation DID NOT judge, because the focus's arm did not
-     * cover them: nodes added to the in-flight injection after the human armed,
-     * serving no effect the arm covers (see
-     * `supabase/functions/_shared/arm-covered-effects.ts`). They produce no
-     * shortfall, no hold and no re-work issue -- they wait for the next arm.
-     *
-     * Carried back rather than silently dropped so the caller can put them ON THE
-     * RECORD. What was set aside has to be visible somewhere, or narrowing the
-     * judgement becomes indistinguishable from losing track of it.
-     *
-     * Empty whenever the arm could not be reasoned about, which is also when
-     * every target is judged -- the two always agree.
-     */
-    recordedTargetNodeIds?: string[];
-}
-export type ReconcileFn = (inputs: ReconcileInputs, opts?: ReconcileOptions) => Promise<ReconcileJudgment>;
-export interface AuthorTargetRestatementsDeps {
-    callApi?: <T>(action: string, params?: Record<string, unknown>) => Promise<T>;
-    /** Reconciles declared-vs-achieved and classifies. Defaults to the verify-reconciliation helper. */
-    reconcile?: ReconcileFn;
-    /**
-     * Which of the delivery's injection targets the focus's CURRENT arm covers.
-     * Defaults to the product-api read (queries/arm-covered-targets.ts), which
-     * never throws and answers `null` when the arm cannot be reasoned about.
-     *
-     * `null` means JUDGE EVERYTHING -- the pre-change behaviour. This module
-     * never decides coverage itself: "covered" has one definition, edge-side,
-     * shared with the create path.
-     */
-    readArmCoveredTargets?: (deliveryId: string) => Promise<DeliveryArmCoveredTargets | null>;
-}
-export declare function authorTargetRestatements(injectionNodeId: string, focusId: string | null, evidence: VerifyEvidence, deps?: AuthorTargetRestatementsDeps, evidenceIncomplete?: boolean, deliveryId?: string | null): Promise<ReconcileTargetsResult>;
-//# sourceMappingURL=verify-restatement.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verify-restatement.d.ts","sourceRoot":"","sources":["../../src/verify/verify-restatement.ts"],"names":[],"mappings":"AAmCA,OAAO,EAGL,KAAK,yBAAyB,EAC/B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EAErB,KAAK,cAAc,EACpB,MAAM,4BAA4B,CAAC;AAYpC,YAAY,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAEjE;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,OAAO,GAAG,uBAAuB,CAAC;IAClD,2DAA2D;IAC3D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,uFAAuF;AACvF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,iBAAiB,EAAE,MAAM,CAAC;IAC1B,2DAA2D;IAC3D,iBAAiB,EAAE,MAAM,CAAC;IAC1B,4CAA4C;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,sBAAsB;IACrC,kEAAkE;IAClE,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,gEAAgE;IAChE,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B;;;;;;;;;;;;;;OAcG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;;;;;OAMG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;;;;OAaG;IACH,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,MAAM,WAAW,GAAG,CACxB,MAAM,EAAE,eAAe,EACvB,IAAI,CAAC,EAAE,gBAAgB,KACpB,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAEhC,MAAM,WAAW,4BAA4B;IAC3C,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9E,oGAAoG;IACpG,SAAS,CAAC,EAAE,WAAW,CAAC;IACxB;;;;;;;;OAQG;IACH,qBAAqB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,yBAAyB,GAAG,IAAI,CAAC,CAAC;CAC3F;AA4HD,wBAAsB,wBAAwB,CAC5C,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,QAAQ,EAAE,cAAc,EACxB,IAAI,GAAE,4BAAiC,EACvC,kBAAkB,UAAQ,EAC1B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,GACzB,OAAO,CAAC,sBAAsB,CAAC,CA6GjC"}

package/dist/verify/verify-restatement.js

@@ -1,254 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 21 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/verify-restatement.ts
-// PINNED-BY-END
-/**
- * Verify-time desired-effect reconciliation.
- *
- * When the verification engine produces a 'passed' verdict for an injection,
- * it reconciles the DECLARED desired effect (the UDE's preserved frt_statement,
- * authored at target time) against the ACHIEVED desired effect re-derived from
- * the delivery's CITED worktree EVIDENCE (diff, test output, inspection finding)
- * -- NOT from the targeted UDE's problem text. Each targeted UDE gets a
- * classification:
- *
- *   - match                 -- the achieved outcome realizes the declared intent.
- *   - legitimate_divergence -- a valid but different outcome (carries a reason).
- *   - shortfall             -- the achieved outcome falls short of the intent.
- *
- * match / legitimate_divergence are carried INTO the verify call as the UDE's
- * new base statement (+ classification + reason). The edge applies the supplied
- * prose; it never runs the LLM.
- *
- * ASYMMETRY: a shortfall is NEVER carried into verify and NEVER softens the
- * declared DE. The caller short-circuits the flip and escalates to a human --
- * reality is moved toward intent, never the reverse. Shortfalls are returned
- * here so the caller can hold the gate and file the escalation.
- *
- * Reuses the de-restatement CLI plumbing via verify-reconciliation (no new
- * client or secret wiring).
- *
- * @module verify-restatement
- */
-import { callApi as defaultCallApi } from '../queries/shared.js';
-import { isModelUnavailable } from '../spawn/one-shot-model.js';
-import { readArmCoveredTargets as defaultReadArmCoveredTargets, heldTargetsOrAll, } from '../queries/arm-covered-targets.js';
-import { reconcileAchievedEffect as defaultReconcile, judgeEvidenceIsEmpty, } from './verify-reconciliation.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verify-restatement' });
-/**
- * Reconcile the achieved outcome against the declared desired effect for each
- * UDE the injection targets.
- *
- * For each targeted UDE:
- *   - The DECLARED desired effect is the UDE's preserved `frtStatement` (intent
- *     of record). When absent, there is no declared intent to fall short of, so
- *     the achieved DE authored from evidence is treated as a match.
- *   - The ACHIEVED desired effect is authored from the supplied `evidence`
- *     (diff/tests/inspection), NOT from the UDE problem text.
- *   - The judgment classifies match / legitimate_divergence / shortfall.
- *
- * match / legitimate_divergence -> `restatements` (carried into verify).
- * shortfall                     -> `shortfalls` (caller holds gate + escalates).
- *
- * Best-effort per target: a reconciliation FAILURE (model error / parse error)
- * is treated as a SHORTFALL -- we cannot prove the achieved outcome realizes the
- * declared intent, so we do not flip it and we surface it to a human. (This is
- * the asymmetric-safe default: never flip what you could not reconcile.)
- *
- * SCOPE BOUNDARY (intentional): this reconciles ONLY the UDEs the injection
- * DIRECTLY targets (its `targets` edges). Downstream consequences that resolve
- * by causal PROPAGATION at verify are NOT reconciled here -- they have no
- * declared DE to measure against, and their forward prose is authored by the
- * injection-conditioned draft-assist loop (cascade-restatement.ts), not from raw
- * code evidence. Verify flips their node_type but leaves verify_classification
- * null; display falls back to the draft-assist frt_statement. See the matching
- * note in graph-verification.ts (verifyInjectionImpl, Step 6).
- *
- * Returns empty result when focusId is null or the injection is not in the
- * focus's active tree(s).
- *
- * `deliveryId` (6th argument): supplied => the reconciliation is narrowed to
- * the targets the focus's ARM COVERED (see narrowToArmCoverage); omitted =>
- * every target is judged, as before. Optional so a caller with no delivery in
- * hand behaves exactly as it did.
- */
-/**
- * Which targets the focus's arm covers, resolved ONCE per reconciliation.
- *
- * Hoisted out of `authorTargetRestatements` so that function stays within its
- * recorded size floor, and because the answer is a property of the DELIVERY and
- * its focus -- not of any one tree the reconciliation happens to walk.
- *
- * `null` means JUDGE EVERYTHING: no delivery id was supplied, the read failed,
- * or the arm could not be reasoned about. The gate never narrows what it judges
- * on a question it could not answer.
- */
-async function resolveArmCoverageForDelivery(deliveryId, deps) {
-    if (!deliveryId)
-        return null;
-    const read = deps.readArmCoveredTargets ?? defaultReadArmCoveredTargets;
-    return await read(deliveryId);
-}
-/**
- * Narrow an injection's targets to the ones the arm COVERED, recording the rest
- * on `result`, and return the held set.
- *
- * A target added to an in-flight injection after the human armed -- serving no
- * effect the arm covers -- is not owed work: it produces no shortfall, no hold
- * and no re-work issue, and waits for the next arm. It is recorded rather than
- * dropped, so what was set aside is visible on the delivery's record instead of
- * merely absent from it.
- *
- * The caller applies this BEFORE the evidence-blindness check, deliberately: a
- * set-aside target must not make the bundle look unjudgeable either. With every
- * target recorded there is nothing left to judge, so the evidence question does
- * not arise and the caller flips exactly as it would with no targets at all.
- *
- * Mutates `result` rather than returning a pair because the recorded set
- * accumulates across trees, and threading an accumulator through the walk buys
- * nothing over the one write.
- */
-function narrowToArmCoverage(injectionNodeId, edges, coverage, result) {
-    const targets = edges
-        .filter((e) => e.edgeType === 'targets' && e.fromNodeId === injectionNodeId)
-        .map((e) => e.toNodeId);
-    const { held, recorded, unclassified } = heldTargetsOrAll(targets, coverage);
-    if (recorded.length > 0) {
-        result.recordedTargetNodeIds = [...(result.recordedTargetNodeIds ?? []), ...recorded];
-    }
-    if (unclassified.length > 0) {
-        // The split was stale: the edge answered about a tree that did not yet
-        // carry these targets. They are judged (heldTargetsOrAll already put them
-        // in `held`); this line is so the race is visible rather than inferred
-        // from a target that is judged while the answer never mentioned it.
-        log.warn(`[verify] Arm coverage did not classify ${unclassified.length} target(s) the ` +
-            `reconciler resolved (${unclassified.join(', ')}) -- the split predates them. ` +
-            `Judging them, as a gate must when its own answer is stale.`);
-    }
-    return new Set(held);
-}
-/**
- * The shortfall a reconciliation THROW leaves on one target -- or no shortfall at
- * all: a judge that could not RUN (ModelUnavailable) judged nothing, not this
- * target and not the targets after it, so the typed unavailability is rethrown
- * whole and the engine holds the delivery as awaited. The 2026-09-23 park was
- * three identical "de-restatement exited 1" rounds signed here. Any other throw
- * is a reconciliation that ran but rendered nothing usable: asymmetric-safe, a
- * shortfall -- we never flip an injection whose achievement we could not verify.
- */
-function unjudgedTargetShortfall(err, nodeId, declaredStatement) {
-    if (isModelUnavailable(err))
-        throw err;
-    return {
-        nodeId,
-        declaredStatement,
-        achievedStatement: '(reconciliation failed)',
-        reason: `Reconciliation failed: ${err.message}`,
-    };
-}
-export async function authorTargetRestatements(injectionNodeId, focusId, evidence, deps = {}, evidenceIncomplete = false, deliveryId) {
-    const callApi = deps.callApi ?? defaultCallApi;
-    const reconcile = deps.reconcile ?? defaultReconcile;
-    const result = { restatements: [], shortfalls: [] };
-    if (!focusId)
-        return result;
-    const coverage = await resolveArmCoverageForDelivery(deliveryId, deps);
-    const treesResp = await callApi('reality_tree_list', { focusId });
-    const trees = (treesResp.items ?? []).filter((t) => t.status === 'active');
-    for (const tree of trees) {
-        const [nodesResp, edgesResp] = await Promise.all([
-            callApi('reality_tree_node_list', { treeId: tree.id, status: 'active' }),
-            callApi('reality_tree_edge_list', { treeId: tree.id }),
-        ]);
-        const nodes = nodesResp.items ?? [];
-        const edges = edgesResp.items ?? [];
-        const nodeById = new Map(nodes.map((n) => [n.id, n]));
-        const injection = nodeById.get(injectionNodeId);
-        if (!injection || injection.nodeType !== 'injection')
-            continue; // not in this tree
-        // The injection lives in THIS tree -- record the tree id so the caller can
-        // surface inward drift proposals (which key off the reality_tree id).
-        result.realityTreeId = tree.id;
-        // A GATE MUST NOT REPORT ITS OWN BLINDNESS AS A VERDICT -- nor its
-        // HALF-blindness. Detect an unjudgeable bundle BEFORE classifying: if there
-        // is at least one declared-DE target to judge but the evidence is either
-        // EMPTY (nothing the achieved DE can be authored from) or INCOMPLETE (the
-        // resolved range does not cover the delivery's recorded commits, so a
-        // verdict would judge only part of the work), decline to classify. Return
-        // the instrument-fault signal instead of running the model (which, blind or
-        // half-blind, would manufacture a shortfall). With no targets there is
-        // nothing to judge -- fall through and let the caller flip as before.
-        // Narrow to what the arm covered BEFORE anything is judged; see
-        // splitTargetsByCoverage.
-        const heldTargets = narrowToArmCoverage(injectionNodeId, edges, coverage, result);
-        const hasTarget = edges.some((e) => {
-            if (e.edgeType !== 'targets' || e.fromNodeId !== injectionNodeId)
-                return false;
-            if (!heldTargets.has(e.toNodeId))
-                return false;
-            const t = nodeById.get(e.toNodeId);
-            return !!t && t.nodeType === 'undesired_effect';
-        });
-        if (hasTarget && (judgeEvidenceIsEmpty(evidence) || evidenceIncomplete)) {
-            result.evidenceUnavailable = true;
-            return result; // no verdict rendered; caller holds the gate + escalates
-        }
-        for (const e of edges) {
-            if (e.edgeType !== 'targets' || e.fromNodeId !== injectionNodeId)
-                continue;
-            if (!heldTargets.has(e.toNodeId))
-                continue; // recorded after the arm: not judged
-            const target = nodeById.get(e.toNodeId);
-            if (!target || target.nodeType !== 'undesired_effect')
-                continue;
-            // The DECLARED desired effect is the preserved frt_statement (intent of
-            // record). When none was ever authored there is nothing to fall short of.
-            const declared = target.frtStatement && target.frtStatement.trim() !== ''
-                ? target.frtStatement.trim()
-                : null;
-            // The node's ORIGINAL claim for inward-drift framing: the declared DE if
-            // present, else the UDE statement (the assertion reality would contradict).
-            const originalClaim = declared ?? target.statement;
-            let judgment;
-            try {
-                judgment = await reconcile({
-                    declaredStatement: declared ?? '',
-                    evidence,
-                });
-            }
-            catch (err) {
-                result.shortfalls.push(unjudgedTargetShortfall(err, target.id, declared ?? target.statement));
-                continue;
-            }
-            const classification = declared
-                ? judgment.classification
-                // No declared intent to measure against -> the evidence-derived outcome
-                // stands on its own as a match (cannot fall short of nothing).
-                : 'match';
-            if (classification === 'shortfall') {
-                result.shortfalls.push({
-                    nodeId: target.id,
-                    declaredStatement: declared ?? target.statement,
-                    achievedStatement: judgment.achievedStatement,
-                    reason: judgment.divergenceReason
-                        ?? 'Achieved outcome falls short of the declared desired effect.',
-                    ...(judgment.diffCitation ? { diffCitation: judgment.diffCitation } : {}),
-                });
-                continue;
-            }
-            const entry = {
-                nodeId: target.id,
-                statement: judgment.achievedStatement,
-                classification,
-                originalClaim,
-            };
-            if (classification === 'legitimate_divergence' && judgment.divergenceReason) {
-                entry.divergenceReason = judgment.divergenceReason;
-            }
-            result.restatements.push(entry);
-        }
-        return result; // injection found and processed
-    }
-    return result;
-}
-//# sourceMappingURL=verify-restatement.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verify-restatement.js","sourceRoot":"","sources":["../../src/verify/verify-restatement.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+GAA+G;AAC/G,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EACL,qBAAqB,IAAI,4BAA4B,EACrD,gBAAgB,GAEjB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,uBAAuB,IAAI,gBAAgB,EAC3C,oBAAoB,GAMrB,MAAM,4BAA4B,CAAC;AAQpC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAoH3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH;;;;;;;;;;GAUG;AACH,KAAK,UAAU,6BAA6B,CAC1C,UAAqC,EACrC,IAAkC;IAElC,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,IAAI,4BAA4B,CAAC;IACxE,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,mBAAmB,CAC1B,eAAuB,EACvB,KAAgC,EAChC,QAA0C,EAC1C,MAA8B;IAE9B,MAAM,OAAO,GAAG,KAAK;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe,CAAC;SAC3E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1B,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC7E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,qBAAqB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,qBAAqB,IAAI,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,uEAAuE;QACvE,0EAA0E;QAC1E,uEAAuE;QACvE,oEAAoE;QACpE,GAAG,CAAC,IAAI,CACN,0CAA0C,YAAY,CAAC,MAAM,iBAAiB;YAC9E,wBAAwB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC;YAC/E,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,uBAAuB,CAAC,GAAY,EAAE,MAAc,EAAE,iBAAyB;IACtF,IAAI,kBAAkB,CAAC,GAAG,CAAC;QAAE,MAAM,GAAG,CAAC;IACvC,OAAO;QACL,MAAM;QACN,iBAAiB;QACjB,iBAAiB,EAAE,yBAAyB;QAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,eAAuB,EACvB,OAAsB,EACtB,QAAwB,EACxB,OAAqC,EAAE,EACvC,kBAAkB,GAAG,KAAK,EAC1B,UAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,gBAAgB,CAAC;IACrD,MAAM,MAAM,GAA2B,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5E,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IAC5B,MAAM,QAAQ,GAAG,MAAM,6BAA6B,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAEvE,MAAM,SAAS,GAAG,MAAM,OAAO,CAA0B,mBAAmB,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAE3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC/C,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1F,OAAO,CAAmB,wBAAwB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,KAAK,GAAqB,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9E,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,WAAW;YAAE,SAAS,CAAC,mBAAmB;QAEnF,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC;QAE/B,mEAAmE;QACnE,4EAA4E;QAC5E,yEAAyE;QACzE,0EAA0E;QAC1E,sEAAsE;QACtE,0EAA0E;QAC1E,4EAA4E;QAC5E,uEAAuE;QACvE,sEAAsE;QACtE,gEAAgE;QAChE,0BAA0B;QAC1B,MAAM,WAAW,GAAG,mBAAmB,CAAC,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAElF,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe;gBAAE,OAAO,KAAK,CAAC;YAC/E,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACnC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,kBAAkB,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,mBAAmB,GAAG,IAAI,CAAC;YAClC,OAAO,MAAM,CAAC,CAAC,yDAAyD;QAC1E,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,eAAe;gBAAE,SAAS;YAC3E,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,qCAAqC;YACjF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,SAAS;YAEhE,wEAAwE;YACxE,0EAA0E;YAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;gBACvE,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE;gBAC5B,CAAC,CAAC,IAAI,CAAC;YACT,yEAAyE;YACzE,4EAA4E;YAC5E,MAAM,aAAa,GAAG,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC;YAEnD,IAAI,QAA2B,CAAC;YAChC,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,SAAS,CAAC;oBACzB,iBAAiB,EAAE,QAAQ,IAAI,EAAE;oBACjC,QAAQ;iBACT,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,uBAAuB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC9F,SAAS;YACX,CAAC;YAED,MAAM,cAAc,GAAyB,QAAQ;gBACnD,CAAC,CAAC,QAAQ,CAAC,cAAc;gBACzB,wEAAwE;gBACxE,+DAA+D;gBAC/D,CAAC,CAAC,OAAO,CAAC;YAEZ,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrB,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,iBAAiB,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS;oBAC/C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;oBAC7C,MAAM,EAAE,QAAQ,CAAC,gBAAgB;2BAC5B,8DAA8D;oBACnE,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1E,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAsB;gBAC/B,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,SAAS,EAAE,QAAQ,CAAC,iBAAiB;gBACrC,cAAc;gBACd,aAAa;aACd,CAAC;YACF,IAAI,cAAc,KAAK,uBAAuB,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;gBAC5E,KAAK,CAAC,gBAAgB,GAAG,QAAQ,CAAC,gBAAgB,CAAC;YACrD,CAAC;YACD,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,gCAAgC;IACjD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}