pulseed 0.1.5 → 0.2.0

package/dist/orchestrator/execution/task/task-verifier.js

@@ -0,0 +1,463 @@
+/**
+ * task-verifier.ts
+ *
+ * Verification logic extracted from TaskLifecycle:
+ *   - verifyTask
+ *   - handleVerdict
+ *   - handleFailure
+ *
+ * All functions are standalone and receive explicit dependencies instead of
+ * relying on `this`. TaskLifecycle keeps thin wrapper methods for backward
+ * compatibility.
+ *
+ * Implementation is split across:
+ *   - task-verifier-types.ts  — interfaces, Zod schemas
+ *   - task-verifier-rules.ts  — mechanical verification, dimension guards, history
+ *   - task-verifier-llm.ts    — LLM review, timeout, retry
+ */
+import { VerificationResultSchema } from "../../../base/types/task.js";
+import { wrapXmlTag, formatKnowledge } from "../../../prompt/formatters.js";
+import { analyzeImpact } from "../impact-analyzer.js";
+export { CompletionJudgerResponseSchema } from "./task-verifier-types.js";
+// Re-export rule helpers (used by task-lifecycle.ts and tests)
+export { clampDimensionUpdate, checkDimensionDirection, } from "./task-verifier-rules.js";
+import { runMechanicalVerification, clampDimensionUpdate, checkDimensionDirection, parseExecutorReport, isDirectionCorrect, attemptRevert, setDimensionIntegrity, appendTaskHistory, } from "./task-verifier-rules.js";
+import { runLLMReview } from "./task-verifier-llm.js";
+// ─── verifyTask ───
+/**
+ * Verify task execution results using 3-layer verification.
+ *
+ * Layer 1: Mechanical verification (via adapter in review session)
+ * Layer 2: LLM task reviewer (independent, no self-report)
+ * Layer 3: Executor self-report (reference only)
+ *
+ * Contradiction resolution:
+ * - L1 PASS + L2 PASS → pass
+ * - L1 PASS + L2 FAIL → re-review; if still FAIL → fail
+ * - L1 FAIL + L2 PASS → fail (mechanical priority)
+ * - L1 FAIL + L2 FAIL → fail
+ * - L1 SKIP → use L2 only (lower confidence)
+ */
+export async function verifyTask(deps, task, executionResult) {
+    // ─── Short-circuit: GitHub issue URL evidence ───
+    // When execution succeeded and output contains a GitHub issue URL,
+    // treat as mechanical pass without running full L1/L2 verification.
+    // Dimension updates are left to ObservationEngine (next loop iteration).
+    const githubIssueUrlPattern = /github\.com\/.+\/issues\/\d+/;
+    if (executionResult.success === true &&
+        executionResult.output &&
+        githubIssueUrlPattern.test(executionResult.output)) {
+        const scResult = VerificationResultSchema.parse({
+            task_id: task.id,
+            verdict: "pass",
+            confidence: 0.95,
+            evidence: [
+                {
+                    layer: "mechanical",
+                    description: "GitHub issue URL found in execution output — mechanical evidence of successful issue creation",
+                    confidence: 0.95,
+                },
+            ],
+            dimension_updates: [],
+            timestamp: new Date().toISOString(),
+        });
+        return scResult;
+    }
+    // ─── Layer 1: Mechanical verification ───
+    const l1Result = await runMechanicalVerification(deps, task);
+    // ─── Build optional enrichment blocks for LLM review ───
+    let knowledgeBlock = "";
+    if (deps.knowledgeManager?.getRelevantKnowledge) {
+        try {
+            const entries = await deps.knowledgeManager.getRelevantKnowledge(task.goal_id);
+            if (entries.length > 0) {
+                knowledgeBlock = wrapXmlTag("relevant_knowledge", formatKnowledge(entries.map((e) => ({ question: e.question, answer: e.answer, confidence: e.confidence }))));
+            }
+        }
+        catch { /* knowledge enrichment is optional */ }
+    }
+    let stateBlock = "";
+    try {
+        const goalDataForState = await deps.stateManager.readRaw(`goals/${task.goal_id}/goal.json`);
+        if (goalDataForState && typeof goalDataForState === "object") {
+            const dims = goalDataForState.dimensions;
+            const primaryDim = dims?.find((d) => d.name === task.primary_dimension);
+            if (primaryDim) {
+                const currentValue = typeof primaryDim.current_value === "number" ? primaryDim.current_value : undefined;
+                const threshold = primaryDim.threshold;
+                if (currentValue !== undefined) {
+                    stateBlock = wrapXmlTag("current_state", `Dimension: ${task.primary_dimension}, current value: ${currentValue}${threshold !== undefined ? `, target: ${JSON.stringify(threshold)}` : ""}`);
+                }
+            }
+        }
+    }
+    catch { /* state enrichment is optional */ }
+    // ─── Layer 2: LLM task reviewer (independent) ───
+    const l2Result = await runLLMReview(deps, task, executionResult, knowledgeBlock, stateBlock);
+    // ─── Layer 3: Executor self-report (reference only) ───
+    const executorReport = parseExecutorReport(executionResult);
+    // ─── Contradiction resolution ───
+    let verdict;
+    let confidence;
+    let l2Retry;
+    if (l1Result.applicable) {
+        if (l1Result.passed && l2Result.passed) {
+            verdict = "pass";
+            confidence = 0.9;
+        }
+        else if (l1Result.passed && l2Result.partial) {
+            // L1 pass + L2 partial → partial
+            verdict = "partial";
+            confidence = 0.7;
+        }
+        else if (l1Result.passed && !l2Result.passed && !l2Result.partial) {
+            // L1 pass + L2 fail → re-review
+            l2Retry = await runLLMReview(deps, task, executionResult, knowledgeBlock, stateBlock, 'main');
+            if (l2Retry.passed) {
+                verdict = "pass";
+                confidence = 0.75;
+            }
+            else if (l2Retry.partial) {
+                verdict = "partial";
+                confidence = 0.65;
+            }
+            else {
+                verdict = "fail";
+                confidence = 0.8;
+            }
+        }
+        else if (!l1Result.passed && l2Result.passed) {
+            // Mechanical verification takes priority
+            verdict = "fail";
+            confidence = 0.85;
+        }
+        else {
+            // Both fail (or L1 fail + L2 partial → fail, mechanical priority)
+            verdict = "fail";
+            confidence = 0.9;
+        }
+    }
+    else {
+        // L1 skipped — use L2 only with lower confidence
+        if (l2Result.passed) {
+            verdict = "pass";
+            confidence = 0.6;
+        }
+        else if (l2Result.partial) {
+            verdict = "partial";
+            confidence = 0.5;
+        }
+        else {
+            verdict = "fail";
+            confidence = 0.6;
+        }
+    }
+    // Handle partial from L2 when L1 is applicable but didn't fail
+    if (l1Result.applicable && l2Result.partial && verdict !== "fail") {
+        verdict = "partial";
+    }
+    // Use retry result for evidence when a retry occurred, to keep audit trail accurate
+    const effectiveL2 = l2Retry ?? l2Result;
+    const now = new Date().toISOString();
+    const evidence = [
+        ...(l1Result.applicable
+            ? [
+                {
+                    layer: "mechanical",
+                    description: l1Result.description,
+                    confidence: 0.9,
+                },
+            ]
+            : []),
+        {
+            layer: "independent_review",
+            description: effectiveL2.description,
+            confidence: effectiveL2.confidence,
+        },
+        {
+            layer: "self_report",
+            description: executorReport.summary,
+            confidence: 0.3, // self-report has lowest confidence
+        },
+    ];
+    // Build dimension_updates from task's target dimensions based on verdict.
+    // pass: significant progress (+0.2), partial: moderate progress (+0.15), fail: no update.
+    const progressByVerdict = {
+        pass: 0.2,
+        partial: 0.15,
+        fail: 0,
+    };
+    const progressDelta = progressByVerdict[verdict] ?? 0;
+    // Read goal state to get actual current dimension values for previous_value / new_value.
+    const goalDataForUpdate = await deps.stateManager.readRaw(`goals/${task.goal_id}/goal.json`);
+    const goalDimsForUpdate = goalDataForUpdate && typeof goalDataForUpdate === "object"
+        ? goalDataForUpdate.dimensions
+        : undefined;
+    const dimension_updates = verdict === "fail"
+        ? []
+        : task.target_dimensions.map((dimName) => {
+            const dim = goalDimsForUpdate?.find((d) => d.name === dimName);
+            const prevVal = dim !== undefined && typeof dim.current_value === "number"
+                ? dim.current_value
+                : null;
+            // Scale the normalized delta to raw threshold-scale space.
+            const threshold = dim !== undefined &&
+                typeof dim.threshold === "object" &&
+                dim.threshold !== null
+                ? dim.threshold
+                : null;
+            let scaledDelta = progressDelta;
+            if (threshold) {
+                const thresholdType = threshold.type;
+                if ((thresholdType === "min" || thresholdType === "max") &&
+                    typeof threshold.value === "number" &&
+                    threshold.value !== 0) {
+                    scaledDelta = progressDelta * threshold.value;
+                }
+                else if (thresholdType === "range" &&
+                    typeof threshold.low === "number" &&
+                    typeof threshold.high === "number") {
+                    scaledDelta = progressDelta * (threshold.high - threshold.low);
+                }
+            }
+            const newVal = prevVal !== null ? prevVal + scaledDelta : scaledDelta;
+            return {
+                dimension_name: dimName,
+                previous_value: prevVal,
+                new_value: newVal,
+                confidence,
+            };
+        });
+    const verificationResult = VerificationResultSchema.parse({
+        task_id: task.id,
+        verdict,
+        confidence,
+        evidence,
+        dimension_updates,
+        timestamp: now,
+    });
+    // Post-verification: analyze impact for unintended side effects (opt-in)
+    let impactAnalysis;
+    if (deps.enableImpactAnalysis)
+        try {
+            impactAnalysis = await analyzeImpact({ llmClient: deps.llmClient, logger: deps.logger }, {
+                taskDescription: task.work_description,
+                taskOutput: executionResult.output,
+                verificationVerdict: verdict,
+                targetScope: task.scope_boundary.in_scope,
+            });
+            if (impactAnalysis.side_effects.length > 0) {
+                deps.logger?.warn("[task-verifier] Impact analysis detected side effects", {
+                    verdict: impactAnalysis.verdict,
+                    side_effects: impactAnalysis.side_effects,
+                    confidence: impactAnalysis.confidence,
+                });
+            }
+        }
+        catch (err) {
+            const msg = err instanceof Error ? err.message : String(err);
+            deps.logger?.warn("[task-verifier] Impact analysis failed (non-fatal)", { error: msg });
+        }
+    // Persist verification result — include criteria fields from LLM review for failure context
+    await deps.stateManager.writeRaw(`verification/${task.id}/verification-result.json`, {
+        ...verificationResult,
+        criteria_met: effectiveL2.criteria_met,
+        criteria_total: effectiveL2.criteria_total,
+        impact_analysis: impactAnalysis,
+    });
+    return verificationResult;
+}
+// ─── handleVerdict ───
+/**
+ * Handle a verification verdict (pass/partial/fail).
+ */
+export async function handleVerdict(deps, task, verificationResult) {
+    // P0: Progress-verdict contradiction check (§4.1)
+    if (verificationResult.verdict === "pass" && verificationResult.dimension_updates?.length > 0) {
+        const goalRawForGuard = await deps.stateManager.readRaw(`goals/${task.goal_id}/goal.json`);
+        const goalDimsForGuard = (goalRawForGuard &&
+            typeof goalRawForGuard === "object" &&
+            Array.isArray(goalRawForGuard.dimensions)
+            ? goalRawForGuard.dimensions
+            : []);
+        const anyWorsened = verificationResult.dimension_updates.some((u) => {
+            const prev = typeof u.previous_value === "number" ? u.previous_value : null;
+            const next = typeof u.new_value === "number" ? u.new_value : null;
+            if (prev === null || next === null)
+                return false;
+            const dimMeta = goalDimsForGuard.find((d) => d.name === u.dimension_name);
+            const thresholdType = dimMeta && typeof dimMeta.threshold === "object" && dimMeta.threshold !== null
+                ? dimMeta.threshold.type
+                : undefined;
+            if (thresholdType === "min") {
+                return next < prev - 0.05;
+            }
+            else if (thresholdType === "max") {
+                return next > prev + 0.05;
+            }
+            return false;
+        });
+        if (anyWorsened) {
+            deps.logger?.warn("progress-verdict contradiction: dimension value moved away from target but verdict was pass. Overriding to partial.");
+            verificationResult = { ...verificationResult, verdict: "partial" };
+        }
+    }
+    // Save failure context for fail/partial verdicts (§4.7)
+    if (verificationResult.verdict === "fail" || verificationResult.verdict === "partial") {
+        const firstEvidence = verificationResult.evidence?.[0];
+        const reasoning = typeof firstEvidence?.description === "string" ? firstEvidence.description : "";
+        let criteria_met;
+        let criteria_total;
+        try {
+            const raw = await deps.stateManager.readRaw(`verification/${task.id}/verification-result.json`);
+            if (raw && typeof raw.criteria_met === "number")
+                criteria_met = raw.criteria_met;
+            if (raw && typeof raw.criteria_total === "number")
+                criteria_total = raw.criteria_total;
+        }
+        catch {
+            // Non-fatal: criteria fields are best-effort
+        }
+        const failureContext = {
+            prev_task_description: task.work_description,
+            verdict: verificationResult.verdict,
+            reasoning,
+            criteria_met,
+            criteria_total,
+            timestamp: new Date().toISOString(),
+        };
+        try {
+            await deps.stateManager.writeRaw(`tasks/${task.goal_id}/last-failure-context.json`, failureContext);
+        }
+        catch {
+            // Non-fatal: failure context saving is best-effort
+        }
+    }
+    switch (verificationResult.verdict) {
+        case "pass": {
+            // Clear stale failure context
+            try {
+                await deps.stateManager.writeRaw(`tasks/${task.goal_id}/last-failure-context.json`, null);
+            }
+            catch {
+                // Non-fatal
+            }
+            deps.trustManager.recordSuccess(task.task_category);
+            const now = new Date().toISOString();
+            const completedTask = {
+                ...task,
+                consecutive_failure_count: 0,
+                status: "completed",
+                completed_at: now,
+                verification_verdict: verificationResult.verdict,
+                verification_evidence: verificationResult.evidence?.map((e) => e.description ?? String(e)) ?? [],
+            };
+            await deps.stateManager.writeRaw(`tasks/${task.goal_id}/${task.id}.json`, completedTask);
+            // Apply dimension_updates
+            const goalData = await deps.stateManager.readRaw(`goals/${task.goal_id}/goal.json`);
+            if (goalData && typeof goalData === "object") {
+                const goal = goalData;
+                const dimensions = goal.dimensions;
+                if (dimensions) {
+                    for (const dim of dimensions) {
+                        const update = verificationResult.dimension_updates.find((u) => u.dimension_name === dim.name);
+                        if (update !== undefined && typeof update.new_value === "number") {
+                            const prev = typeof dim.current_value === "number" ? dim.current_value : 0;
+                            if (!checkDimensionDirection(task.intended_direction, prev, update.new_value, deps.logger, String(dim.name))) {
+                                continue;
+                            }
+                            dim.current_value = clampDimensionUpdate(prev, update.new_value, deps.logger, String(dim.name));
+                            dim.confidence = verificationResult.confidence ?? 0.70;
+                            dim.last_observed_layer = "mechanical";
+                        }
+                        if (dim.name === task.primary_dimension) {
+                            dim.last_updated = now;
+                        }
+                    }
+                    await deps.stateManager.writeRaw(`goals/${task.goal_id}/goal.json`, goal);
+                }
+            }
+            await appendTaskHistory(deps, task.goal_id, completedTask);
+            if (deps.onTaskComplete && completedTask.strategy_id) {
+                deps.onTaskComplete(completedTask.strategy_id);
+            }
+            return { action: "completed", task: completedTask };
+        }
+        case "partial": {
+            const directionCorrect = isDirectionCorrect(verificationResult);
+            if (directionCorrect) {
+                const goalDataPartial = await deps.stateManager.readRaw(`goals/${task.goal_id}/goal.json`);
+                if (goalDataPartial && typeof goalDataPartial === "object") {
+                    const goal = goalDataPartial;
+                    const dimensions = goal.dimensions;
+                    if (dimensions) {
+                        for (const dim of dimensions) {
+                            const update = verificationResult.dimension_updates.find((u) => u.dimension_name === dim.name);
+                            if (update !== undefined && typeof update.new_value === "number") {
+                                const prev = typeof dim.current_value === "number" ? dim.current_value : 0;
+                                if (!checkDimensionDirection(task.intended_direction, prev, update.new_value, deps.logger, String(dim.name))) {
+                                    continue;
+                                }
+                                dim.current_value = clampDimensionUpdate(prev, update.new_value, deps.logger, String(dim.name));
+                                dim.confidence = verificationResult.confidence ?? 0.70;
+                                dim.last_observed_layer = "mechanical";
+                            }
+                        }
+                        await deps.stateManager.writeRaw(`goals/${task.goal_id}/goal.json`, goal);
+                    }
+                }
+                const partialTask = {
+                    ...task,
+                    verification_verdict: verificationResult.verdict,
+                    verification_evidence: verificationResult.evidence?.map((e) => e.description ?? String(e)) ?? [],
+                };
+                await appendTaskHistory(deps, task.goal_id, partialTask);
+                return { action: "keep", task: partialTask };
+            }
+            return handleFailure(deps, task, verificationResult);
+        }
+        case "fail": {
+            return handleFailure(deps, task, verificationResult);
+        }
+    }
+}
+// ─── handleFailure ───
+/**
+ * Handle a task failure: increment failure count, record failure,
+ * decide keep/discard/escalate.
+ */
+export async function handleFailure(deps, task, verificationResult) {
+    const updatedTask = {
+        ...task,
+        consecutive_failure_count: task.consecutive_failure_count + 1,
+        verification_verdict: verificationResult.verdict,
+        verification_evidence: verificationResult.evidence?.map((e) => e.description ?? String(e)) ?? [],
+    };
+    deps.trustManager.recordFailure(task.task_category);
+    await deps.stateManager.writeRaw(`tasks/${task.goal_id}/${task.id}.json`, updatedTask);
+    if (updatedTask.consecutive_failure_count >= 3) {
+        deps.stallDetector.checkConsecutiveFailures(task.goal_id, task.primary_dimension, updatedTask.consecutive_failure_count);
+        await appendTaskHistory(deps, task.goal_id, updatedTask);
+        return { action: "escalate", task: updatedTask };
+    }
+    const directionCorrect = isDirectionCorrect(verificationResult);
+    if (directionCorrect) {
+        await appendTaskHistory(deps, task.goal_id, updatedTask);
+        return { action: "keep", task: updatedTask };
+    }
+    if (updatedTask.reversibility === "reversible") {
+        const revertSuccess = await attemptRevert(deps, updatedTask);
+        deps.logger?.warn(`[task] revert attempted`, { taskId: task.id, success: revertSuccess });
+        if (revertSuccess) {
+            await appendTaskHistory(deps, task.goal_id, updatedTask);
+            return { action: "discard", task: updatedTask };
+        }
+        deps.logger?.error(`[task] revert FAILED`, { taskId: task.id });
+        await setDimensionIntegrity(deps, task.goal_id, task.primary_dimension, "uncertain");
+        await appendTaskHistory(deps, task.goal_id, updatedTask);
+        return { action: "escalate", task: updatedTask };
+    }
+    await appendTaskHistory(deps, task.goal_id, updatedTask);
+    return { action: "escalate", task: updatedTask };
+}
+//# sourceMappingURL=task-verifier.js.map

package/dist/orchestrator/execution/task/task-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verifier.js","sourceRoot":"","sources":["../../../../src/orchestrator/execution/task/task-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AAGvE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAWtD,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAE1E,+DAA+D;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,EAClB,aAAa,EACb,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,qBAAqB;AAErB;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,IAAkB,EAClB,IAAU,EACV,eAA4B;IAE5B,mDAAmD;IACnD,mEAAmE;IACnE,oEAAoE;IACpE,yEAAyE;IACzE,MAAM,qBAAqB,GAAG,8BAA8B,CAAC;IAC7D,IACE,eAAe,CAAC,OAAO,KAAK,IAAI;QAChC,eAAe,CAAC,MAAM;QACtB,qBAAqB,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,EAClD,CAAC;QACD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,EAAE;YAChB,OAAO,EAAE,MAAM;YACf,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE;gBACR;oBACE,KAAK,EAAE,YAAqB;oBAC5B,WAAW,EACT,+FAA+F;oBACjG,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,iBAAiB,EAAE,EAAE;YACrB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,MAAM,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAE7D,0DAA0D;IAC1D,IAAI,cAAc,GAAG,EAAE,CAAC;IACxB,IAAI,IAAI,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,CAAC;QAChD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,cAAc,GAAG,UAAU,CACzB,oBAAoB,EACpB,eAAe,CACb,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAC3F,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,MAAM,CAAC,CAAC,sCAAsC,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;QAC5F,IAAI,gBAAgB,IAAI,OAAO,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAI,gBAA4C,CAAC,UAAwD,CAAC;YACpH,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACxE,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,YAAY,GAAG,OAAO,UAAU,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzG,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC;gBACvC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;oBAC/B,UAAU,GAAG,UAAU,CACrB,eAAe,EACf,cAAc,IAAI,CAAC,iBAAiB,oBAAoB,YAAY,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjJ,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,kCAAkC,CAAC,CAAC;IAE9C,mDAAmD;IACnD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAE7F,yDAAyD;IACzD,MAAM,cAAc,GAAG,mBAAmB,CAAC,eAAe,CAAC,CAAC;IAE5D,mCAAmC;IACnC,IAAI,OAAoC,CAAC;IACzC,IAAI,UAAkB,CAAC;IACvB,IAAI,OAA6D,CAAC;IAElE,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACvC,OAAO,GAAG,MAAM,CAAC;YACjB,UAAU,GAAG,GAAG,CAAC;QACnB,CAAC;aAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC/C,iCAAiC;YACjC,OAAO,GAAG,SAAS,CAAC;YACpB,UAAU,GAAG,GAAG,CAAC;QACnB,CAAC;aAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YACpE,gCAAgC;YAChC,OAAO,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9F,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,OAAO,GAAG,MAAM,CAAC;gBACjB,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;iBAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBAC3B,OAAO,GAAG,SAAS,CAAC;gBACpB,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,MAAM,CAAC;gBACjB,UAAU,GAAG,GAAG,CAAC;YACnB,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC/C,yCAAyC;YACzC,OAAO,GAAG,MAAM,CAAC;YACjB,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,kEAAkE;YAClE,OAAO,GAAG,MAAM,CAAC;YACjB,UAAU,GAAG,GAAG,CAAC;QACnB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,iDAAiD;QACjD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpB,OAAO,GAAG,MAAM,CAAC;YACjB,UAAU,GAAG,GAAG,CAAC;QACnB,CAAC;aAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5B,OAAO,GAAG,SAAS,CAAC;YACpB,UAAU,GAAG,GAAG,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,MAAM,CAAC;YACjB,UAAU,GAAG,GAAG,CAAC;QACnB,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,OAAO,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QAClE,OAAO,GAAG,SAAS,CAAC;IACtB,CAAC;IAED,oFAAoF;IACpF,MAAM,WAAW,GAAG,OAAO,IAAI,QAAQ,CAAC;IAExC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,QAAQ,CAAC,UAAU;YACrB,CAAC,CAAC;gBACE;oBACE,KAAK,EAAE,YAAqB;oBAC5B,WAAW,EAAE,QAAQ,CAAC,WAAW;oBACjC,UAAU,EAAE,GAAG;iBAChB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP;YACE,KAAK,EAAE,oBAA6B;YACpC,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,UAAU,EAAE,WAAW,CAAC,UAAU;SACnC;QACD;YACE,KAAK,EAAE,aAAsB;YAC7B,WAAW,EAAE,cAAc,CAAC,OAAO;YACnC,UAAU,EAAE,GAAG,EAAE,oCAAoC;SACtD;KACF,CAAC;IAEF,0EAA0E;IAC1E,0FAA0F;IAC1F,MAAM,iBAAiB,GAA2B;QAChD,IAAI,EAAE,GAAG;QACT,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,CAAC;KACR,CAAC;IACF,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtD,yFAAyF;IACzF,MAAM,iBAAiB,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;IAC7F,MAAM,iBAAiB,GACrB,iBAAiB,IAAI,OAAO,iBAAiB,KAAK,QAAQ;QACxD,CAAC,CAAG,iBAA6C,CAAC,UAElC;QAChB,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,iBAAiB,GACrB,OAAO,KAAK,MAAM;QAChB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;YACrC,MAAM,GAAG,GAAG,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YAC/D,MAAM,OAAO,GACX,GAAG,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;gBACxD,CAAC,CAAE,GAAG,CAAC,aAAwB;gBAC/B,CAAC,CAAC,IAAI,CAAC;YACX,2DAA2D;YAC3D,MAAM,SAAS,GACb,GAAG,KAAK,SAAS;gBACjB,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;gBACjC,GAAG,CAAC,SAAS,KAAK,IAAI;gBACpB,CAAC,CAAE,GAAG,CAAC,SAAqC;gBAC5C,CAAC,CAAC,IAAI,CAAC;YACX,IAAI,WAAW,GAAG,aAAa,CAAC;YAChC,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,aAAa,GAAG,SAAS,CAAC,IAA0B,CAAC;gBAC3D,IACE,CAAC,aAAa,KAAK,KAAK,IAAI,aAAa,KAAK,KAAK,CAAC;oBACpD,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ;oBACnC,SAAS,CAAC,KAAK,KAAK,CAAC,EACrB,CAAC;oBACD,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC;gBAChD,CAAC;qBAAM,IACL,aAAa,KAAK,OAAO;oBACzB,OAAO,SAAS,CAAC,GAAG,KAAK,QAAQ;oBACjC,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;oBACD,WAAW,GAAG,aAAa,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YACD,MAAM,MAAM,GACV,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;YACzD,OAAO;gBACL,cAAc,EAAE,OAAO;gBACvB,cAAc,EAAE,OAAO;gBACvB,SAAS,EAAE,MAAM;gBACjB,UAAU;aACX,CAAC;QACJ,CAAC,CAAC,CAAC;IAET,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,KAAK,CAAC;QACxD,OAAO,EAAE,IAAI,CAAC,EAAE;QAChB,OAAO;QACP,UAAU;QACV,QAAQ;QACR,iBAAiB;QACjB,SAAS,EAAE,GAAG;KACf,CAAC,CAAC;IAEH,yEAAyE;IACzE,IAAI,cAA0C,CAAC;IAC/C,IAAI,IAAI,CAAC,oBAAoB;QAAE,IAAI,CAAC;YAClC,cAAc,GAAG,MAAM,aAAa,CAClC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,MAAO,EAAE,EACnD;gBACE,eAAe,EAAE,IAAI,CAAC,gBAAgB;gBACtC,UAAU,EAAE,eAAe,CAAC,MAAM;gBAClC,mBAAmB,EAAE,OAAO;gBAC5B,WAAW,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ;aAC1C,CACF,CAAC;YACF,IAAI,cAAc,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,uDAAuD,EAAE;oBACzE,OAAO,EAAE,cAAc,CAAC,OAAO;oBAC/B,YAAY,EAAE,cAAc,CAAC,YAAY;oBACzC,UAAU,EAAE,cAAc,CAAC,UAAU;iBACtC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,oDAAoD,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1F,CAAC;IAED,4FAA4F;IAC5F,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAC9B,gBAAgB,IAAI,CAAC,EAAE,2BAA2B,EAClD;QACE,GAAG,kBAAkB;QACrB,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,eAAe,EAAE,cAAc;KAChC,CACF,CAAC;IAEF,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,wBAAwB;AAExB;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAkB,EAClB,IAAU,EACV,kBAAsC;IAEtC,kDAAkD;IAClD,IAAI,kBAAkB,CAAC,OAAO,KAAK,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9F,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;QAC3F,MAAM,gBAAgB,GAAG,CACvB,eAAe;YACf,OAAO,eAAe,KAAK,QAAQ;YACnC,KAAK,CAAC,OAAO,CAAE,eAA2C,CAAC,UAAU,CAAC;YACpE,CAAC,CAAE,eAA2C,CAAC,UAA4C;YAC3F,CAAC,CAAC,EAAE,CACP,CAAC;QAEF,MAAM,WAAW,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAClE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;YAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;YAClE,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAEjD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1E,MAAM,aAAa,GACjB,OAAO,IAAI,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI;gBAC5E,CAAC,CAAE,OAAO,CAAC,SAAqC,CAAC,IAA0B;gBAC3E,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,aAAa,KAAK,KAAK,EAAE,CAAC;gBAC5B,OAAO,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;YAC5B,CAAC;iBAAM,IAAI,aAAa,KAAK,KAAK,EAAE,CAAC;gBACnC,OAAO,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;YAC5B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QACH,IAAI,WAAW,EAAE,CAAC;YAChB,IAAI,CAAC,MAAM,EAAE,IAAI,CACf,qHAAqH,CACtH,CAAC;YACF,kBAAkB,GAAG,EAAE,GAAG,kBAAkB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QACrE,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,IAAI,kBAAkB,CAAC,OAAO,KAAK,MAAM,IAAI,kBAAkB,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACtF,MAAM,aAAa,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,OAAO,aAAa,EAAE,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,IAAI,YAAgC,CAAC;QACrC,IAAI,cAAkC,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,gBAAgB,IAAI,CAAC,EAAE,2BAA2B,CAAmC,CAAC;YAClI,IAAI,GAAG,IAAI,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ;gBAAE,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;YACjF,IAAI,GAAG,IAAI,OAAO,GAAG,CAAC,cAAc,KAAK,QAAQ;gBAAE,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;QACzF,CAAC;QAAC,MAAM,CAAC;YACP,6CAA6C;QAC/C,CAAC;QACD,MAAM,cAAc,GAAG;YACrB,qBAAqB,EAAE,IAAI,CAAC,gBAAgB;YAC5C,OAAO,EAAE,kBAAkB,CAAC,OAAO;YACnC,SAAS;YACT,YAAY;YACZ,cAAc;YACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QACF,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAC9B,SAAS,IAAI,CAAC,OAAO,4BAA4B,EACjD,cAAc,CACf,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,mDAAmD;QACrD,CAAC;IACH,CAAC;IAED,QAAQ,kBAAkB,CAAC,OAAO,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,8BAA8B;YAC9B,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAC9B,SAAS,IAAI,CAAC,OAAO,4BAA4B,EACjD,IAAI,CACL,CAAC;YACJ,CAAC;YAAC,MAAM,CAAC;gBACP,YAAY;YACd,CAAC;YAED,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAEpD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAErC,MAAM,aAAa,GAAG;gBACpB,GAAG,IAAI;gBACP,yBAAyB,EAAE,CAAC;gBAC5B,MAAM,EAAE,WAAoB;gBAC5B,YAAY,EAAE,GAAG;gBACjB,oBAAoB,EAAE,kBAAkB,CAAC,OAAO;gBAChD,qBAAqB,EAAE,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aACjG,CAAC;YACF,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAC9B,SAAS,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,EAAE,OAAO,EACvC,aAAa,CACd,CAAC;YAEF,0BAA0B;YAC1B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;YACpF,IAAI,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,QAAmC,CAAC;gBACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAwD,CAAC;gBACjF,IAAI,UAAU,EAAE,CAAC;oBACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;wBAC7B,MAAM,MAAM,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,IAAI,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,CAAC,IAAI,CACrC,CAAC;wBACF,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;4BACjE,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;4BAC3E,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gCAC7G,SAAS;4BACX,CAAC;4BACD,GAAG,CAAC,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;4BAChG,GAAG,CAAC,UAAU,GAAG,kBAAkB,CAAC,UAAU,IAAI,IAAI,CAAC;4BACvD,GAAG,CAAC,mBAAmB,GAAG,YAAY,CAAC;wBACzC,CAAC;wBACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,iBAAiB,EAAE,CAAC;4BACxC,GAAG,CAAC,YAAY,GAAG,GAAG,CAAC;wBACzB,CAAC;oBACH,CAAC;oBACD,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,EAAE,IAAI,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;YAED,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YAE3D,IAAI,IAAI,CAAC,cAAc,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;gBACrD,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;YACjD,CAAC;YAED,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACtD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;YAChE,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC;gBAC3F,IAAI,eAAe,IAAI,OAAO,eAAe,KAAK,QAAQ,EAAE,CAAC;oBAC3D,MAAM,IAAI,GAAG,eAA0C,CAAC;oBACxD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAwD,CAAC;oBACjF,IAAI,UAAU,EAAE,CAAC;wBACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;4BAC7B,MAAM,MAAM,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,IAAI,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,CAAC,IAAI,CACrC,CAAC;4BACF,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gCACjE,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;gCAC3E,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oCAC7G,SAAS;gCACX,CAAC;gCACD,GAAG,CAAC,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gCAChG,GAAG,CAAC,UAAU,GAAG,kBAAkB,CAAC,UAAU,IAAI,IAAI,CAAC;gCACvD,GAAG,CAAC,mBAAmB,GAAG,YAAY,CAAC;4BACzC,CAAC;wBACH,CAAC;wBACD,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,OAAO,YAAY,EAAE,IAAI,CAAC,CAAC;oBAC5E,CAAC;gBACH,CAAC;gBACD,MAAM,WAAW,GAAG;oBAClB,GAAG,IAAI;oBACP,oBAAoB,EAAE,kBAAkB,CAAC,OAAO;oBAChD,qBAAqB,EAAE,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;iBACjG,CAAC;gBACF,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;gBACzD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC/C,CAAC;YACD,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC;AAED,wBAAwB;AAExB;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAkB,EAClB,IAAU,EACV,kBAAsC;IAEtC,MAAM,WAAW,GAAG;QAClB,GAAG,IAAI;QACP,yBAAyB,EAAE,IAAI,CAAC,yBAAyB,GAAG,CAAC;QAC7D,oBAAoB,EAAE,kBAAkB,CAAC,OAAO;QAChD,qBAAqB,EAAE,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;KACjG,CAAC;IAEF,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAEpD,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAC9B,SAAS,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,EAAE,OAAO,EACvC,WAAW,CACZ,CAAC;IAEF,IAAI,WAAW,CAAC,yBAAyB,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,CAAC,aAAa,CAAC,wBAAwB,CACzC,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,iBAAiB,EACtB,WAAW,CAAC,yBAAyB,CACtC,CAAC;QACF,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;IAEhE,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/C,CAAC;IAED,IAAI,WAAW,CAAC,aAAa,KAAK,YAAY,EAAE,CAAC;QAC/C,MAAM,aAAa,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,yBAAyB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;QAC1F,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YACzD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAClD,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,sBAAsB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAChE,MAAM,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;QACrF,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACzD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACnD,CAAC"}

package/dist/orchestrator/execution/toolset-lock 2.d.ts

@@ -0,0 +1,27 @@
+export declare class ToolsetLock {
+    private readonly _snapshot;
+    private readonly _snapshotSet;
+    private _locked;
+    constructor(tools: string[]);
+    lock(): void;
+    get locked(): boolean;
+    get tools(): readonly string[];
+    /**
+     * Validate that currentTools matches the snapshot.
+     * If not locked, always returns valid (no constraint enforced yet).
+     */
+    validate(currentTools: string[]): {
+        valid: boolean;
+        added: string[];
+        removed: string[];
+    };
+    toJSON(): {
+        tools: string[];
+        locked: boolean;
+    };
+    static fromJSON(data: {
+        tools: string[];
+        locked: boolean;
+    }): ToolsetLock;
+}
+//# sourceMappingURL=toolset-lock%202.d.ts.map

package/dist/orchestrator/execution/toolset-lock 2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolset-lock 2.d.ts","sourceRoot":"","sources":["../../../src/orchestrator/execution/toolset-lock 2.ts"],"names":[],"mappings":"AAOA,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAoB;IAC9C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAsB;IACnD,OAAO,CAAC,OAAO,CAAU;gBAEb,KAAK,EAAE,MAAM,EAAE;IAM3B,IAAI,IAAI,IAAI;IAIZ,IAAI,MAAM,IAAI,OAAO,CAEpB;IAED,IAAI,KAAK,IAAI,SAAS,MAAM,EAAE,CAE7B;IAED;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;IAWxF,MAAM,IAAI;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE;IAI9C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,GAAG,WAAW;CAKzE"}

package/dist/orchestrator/execution/toolset-lock 2.js

@@ -0,0 +1,49 @@
+// ─── ToolsetLock ───
+//
+// Snapshots a set of tools at strategy activation and validates that the
+// set has not changed during execution. Supports the toolset immutability
+// constraint: once a session starts with a tool snapshot, that snapshot
+// cannot change mid-session (preserves prompt cache integrity).
+export class ToolsetLock {
+    _snapshot;
+    _snapshotSet;
+    _locked;
+    constructor(tools) {
+        this._snapshot = Object.freeze([...tools].sort());
+        this._snapshotSet = new Set(this._snapshot);
+        this._locked = false;
+    }
+    lock() {
+        this._locked = true;
+    }
+    get locked() {
+        return this._locked;
+    }
+    get tools() {
+        return this._snapshot;
+    }
+    /**
+     * Validate that currentTools matches the snapshot.
+     * If not locked, always returns valid (no constraint enforced yet).
+     */
+    validate(currentTools) {
+        if (!this._locked) {
+            return { valid: true, added: [], removed: [] };
+        }
+        const current = [...currentTools].sort();
+        const currentSet = new Set(current);
+        const added = current.filter((t) => !this._snapshotSet.has(t));
+        const removed = this._snapshot.filter((t) => !currentSet.has(t));
+        return { valid: added.length === 0 && removed.length === 0, added, removed };
+    }
+    toJSON() {
+        return { tools: [...this._snapshot], locked: this._locked };
+    }
+    static fromJSON(data) {
+        const lock = new ToolsetLock(data.tools);
+        if (data.locked)
+            lock.lock();
+        return lock;
+    }
+}
+//# sourceMappingURL=toolset-lock%202.js.map

package/dist/orchestrator/execution/toolset-lock 2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolset-lock 2.js","sourceRoot":"","sources":["../../../src/orchestrator/execution/toolset-lock 2.ts"],"names":[],"mappings":"AAAA,sBAAsB;AACtB,EAAE;AACF,yEAAyE;AACzE,0EAA0E;AAC1E,wEAAwE;AACxE,gEAAgE;AAEhE,MAAM,OAAO,WAAW;IACL,SAAS,CAAoB;IAC7B,YAAY,CAAsB;IAC3C,OAAO,CAAU;IAEzB,YAAY,KAAe;QACzB,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;IACvB,CAAC;IAED,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,YAAsB;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACjD,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC/E,CAAC;IAED,MAAM;QACJ,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAA0C;QACxD,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

package/dist/orchestrator/execution/toolset-lock.d.ts

@@ -0,0 +1,27 @@
+export declare class ToolsetLock {
+    private readonly _snapshot;
+    private readonly _snapshotSet;
+    private _locked;
+    constructor(tools: string[]);
+    lock(): void;
+    get locked(): boolean;
+    get tools(): readonly string[];
+    /**
+     * Validate that currentTools matches the snapshot.
+     * If not locked, always returns valid (no constraint enforced yet).
+     */
+    validate(currentTools: string[]): {
+        valid: boolean;
+        added: string[];
+        removed: string[];
+    };
+    toJSON(): {
+        tools: string[];
+        locked: boolean;
+    };
+    static fromJSON(data: {
+        tools: string[];
+        locked: boolean;
+    }): ToolsetLock;
+}
+//# sourceMappingURL=toolset-lock.d.ts.map

package/dist/orchestrator/execution/toolset-lock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolset-lock.d.ts","sourceRoot":"","sources":["../../../src/orchestrator/execution/toolset-lock.ts"],"names":[],"mappings":"AAOA,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAoB;IAC9C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAsB;IACnD,OAAO,CAAC,OAAO,CAAU;gBAEb,KAAK,EAAE,MAAM,EAAE;IAM3B,IAAI,IAAI,IAAI;IAIZ,IAAI,MAAM,IAAI,OAAO,CAEpB;IAED,IAAI,KAAK,IAAI,SAAS,MAAM,EAAE,CAE7B;IAED;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE;IAWxF,MAAM,IAAI;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE;IAI9C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,GAAG,WAAW;CAKzE"}

package/dist/orchestrator/execution/toolset-lock.js

@@ -0,0 +1,49 @@
+// ─── ToolsetLock ───
+//
+// Snapshots a set of tools at strategy activation and validates that the
+// set has not changed during execution. Supports the toolset immutability
+// constraint: once a session starts with a tool snapshot, that snapshot
+// cannot change mid-session (preserves prompt cache integrity).
+export class ToolsetLock {
+    _snapshot;
+    _snapshotSet;
+    _locked;
+    constructor(tools) {
+        this._snapshot = Object.freeze([...tools].sort());
+        this._snapshotSet = new Set(this._snapshot);
+        this._locked = false;
+    }
+    lock() {
+        this._locked = true;
+    }
+    get locked() {
+        return this._locked;
+    }
+    get tools() {
+        return this._snapshot;
+    }
+    /**
+     * Validate that currentTools matches the snapshot.
+     * If not locked, always returns valid (no constraint enforced yet).
+     */
+    validate(currentTools) {
+        if (!this._locked) {
+            return { valid: true, added: [], removed: [] };
+        }
+        const current = [...currentTools].sort();
+        const currentSet = new Set(current);
+        const added = current.filter((t) => !this._snapshotSet.has(t));
+        const removed = this._snapshot.filter((t) => !currentSet.has(t));
+        return { valid: added.length === 0 && removed.length === 0, added, removed };
+    }
+    toJSON() {
+        return { tools: [...this._snapshot], locked: this._locked };
+    }
+    static fromJSON(data) {
+        const lock = new ToolsetLock(data.tools);
+        if (data.locked)
+            lock.lock();
+        return lock;
+    }
+}
+//# sourceMappingURL=toolset-lock.js.map