prolog-trace-viz 1.1.2 → 2.0.0

package/dist/timeline.js

@@ -0,0 +1,601 @@
+/**
+ * Timeline Builder - Constructs a flat, sequential timeline from trace events
+ */
+/**
+ * Timeline Builder class - processes trace events into timeline steps
+ */
+export class TimelineBuilder {
+    events;
+    sourceClauseMap;
+    steps = [];
+    stepCounter = 0;
+    callStack = new Map(); // level -> step number
+    subgoalMap = new Map(); // level -> subgoal info
+    parentSubgoals = new Map(); // step number -> subgoals
+    completedSubgoals = new Map(); // parent step -> count of completed subgoals
+    constructor(events, sourceClauseMap) {
+        this.events = events;
+        this.sourceClauseMap = sourceClauseMap;
+    }
+    /**
+     * Check if a predicate is part of tracer infrastructure and should be filtered
+     */
+    isTracerPredicate(predicate) {
+        const tracerPredicates = [
+            'catch/3',
+            'export_trace_json/1',
+            'run_trace/0',
+            'install_tracer/1',
+            'remove_tracer/0',
+        ];
+        return tracerPredicates.includes(predicate);
+    }
+    /**
+     * Build the complete timeline from trace events
+     */
+    build() {
+        // First pass: process all events
+        for (const event of this.events) {
+            // Filter out tracer infrastructure
+            if (!this.isTracerPredicate(event.predicate)) {
+                this.processEvent(event);
+            }
+        }
+        // Second pass: backfill clause info from EXIT to CALL steps
+        this.backfillClauseInfo();
+        // Third pass: update subgoal tracking based on execution flow
+        this.updateSubgoalTracking();
+        // Fourth pass: add variable flow tracking notes
+        this.addVariableFlowNotes();
+        return this.steps;
+    }
+    /**
+     * Backfill clause information from EXIT events to their corresponding CALL events
+     */
+    backfillClauseInfo() {
+        // For each CALL step without clause info, find its matching EXIT
+        for (let i = 0; i < this.steps.length; i++) {
+            const callStep = this.steps[i];
+            if (callStep.port === 'call' && !callStep.clause) {
+                // Find the matching EXIT for this CALL
+                // It should be at the same level and have the same predicate
+                const exitStep = this.findMatchingExit(callStep, i);
+                if (exitStep && exitStep.clause) {
+                    // Use source clause if available, otherwise use runtime clause
+                    const sourceClause = this.getSourceClause(exitStep.clause.line);
+                    if (sourceClause) {
+                        callStep.clause = {
+                            head: sourceClause.head,
+                            body: sourceClause.body || 'true',
+                            line: sourceClause.number,
+                        };
+                    }
+                    else {
+                        callStep.clause = exitStep.clause;
+                    }
+                    // Extract pattern match bindings using source clause head
+                    const patternBindings = this.extractPatternMatchBindings(callStep.goal, callStep.clause.head);
+                    callStep.unifications = patternBindings;
+                    // Re-extract subgoals now that we have clause info
+                    if (callStep.clause.body && callStep.clause.body !== 'true') {
+                        const subgoalGoals = this.extractSubgoals(callStep.clause.body);
+                        callStep.subgoals = subgoalGoals.map((goal, index) => ({
+                            label: `[${callStep.stepNumber}.${index + 1}]`,
+                            goal,
+                        }));
+                        // Update parent subgoals map
+                        if (callStep.subgoals.length > 0) {
+                            this.parentSubgoals.set(callStep.stepNumber, callStep.subgoals);
+                            this.completedSubgoals.set(callStep.stepNumber, 0);
+                        }
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Update subgoal tracking markers based on execution flow
+     * This must run after backfillClauseInfo so we have all subgoals defined
+     */
+    updateSubgoalTracking() {
+        // Track which subgoal is currently active at each level
+        const activeSubgoalMap = new Map();
+        for (const step of this.steps) {
+            if (step.port === 'call') {
+                // Check if this CALL is solving a subgoal
+                const subgoalInfo = activeSubgoalMap.get(step.level);
+                if (subgoalInfo) {
+                    step.subgoalLabel = `[${subgoalInfo.parentStep}.${subgoalInfo.subgoalIndex}]`;
+                }
+                // If this CALL has subgoals, set up tracking for the first one
+                if (step.subgoals.length > 0) {
+                    activeSubgoalMap.set(step.level + 1, {
+                        parentStep: step.stepNumber,
+                        subgoalIndex: 1,
+                    });
+                }
+            }
+            else if (step.port === 'exit') {
+                // Check if this EXIT completes a subgoal
+                const subgoalInfo = activeSubgoalMap.get(step.level);
+                if (subgoalInfo) {
+                    step.subgoalLabel = `[${subgoalInfo.parentStep}.${subgoalInfo.subgoalIndex}]`;
+                    // Check if there's a next subgoal
+                    const parentSubgoals = this.parentSubgoals.get(subgoalInfo.parentStep);
+                    if (parentSubgoals && subgoalInfo.subgoalIndex < parentSubgoals.length) {
+                        // Move to next subgoal
+                        const nextSubgoalIndex = subgoalInfo.subgoalIndex + 1;
+                        const nextSubgoalData = parentSubgoals[nextSubgoalIndex - 1];
+                        step.nextSubgoal = `Subgoal ${nextSubgoalData.label}`;
+                        // Update active subgoal for this level
+                        activeSubgoalMap.set(step.level, {
+                            parentStep: subgoalInfo.parentStep,
+                            subgoalIndex: nextSubgoalIndex,
+                        });
+                    }
+                    else {
+                        // All subgoals completed
+                        activeSubgoalMap.delete(step.level);
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Add variable flow tracking notes to steps
+     * This shows how variables from parent clauses flow into child goals
+     */
+    addVariableFlowNotes() {
+        // Track variable bindings: step number -> variable name -> value
+        const bindingMap = new Map();
+        for (const step of this.steps) {
+            // Record bindings from this step
+            if (step.unifications.length > 0) {
+                const stepBindings = new Map();
+                for (const unif of step.unifications) {
+                    stepBindings.set(unif.variable, unif.value);
+                }
+                bindingMap.set(step.stepNumber, stepBindings);
+            }
+            // For EXIT steps, add notes about which variables got bound
+            if (step.port === 'exit' && step.returnsTo) {
+                const callStep = this.steps.find(s => s.stepNumber === step.returnsTo);
+                if (callStep && callStep.unifications.length > 0) {
+                    const notes = [];
+                    for (const unif of callStep.unifications) {
+                        // Check if this variable was unbound at CALL and is now bound at EXIT
+                        if (unif.value.startsWith('_') && !step.goal.includes(unif.value)) {
+                            // Variable was unbound, now it's bound - extract the new value from EXIT goal
+                            const exitValue = this.extractVariableValueFromGoal(step.goal, unif.variable, callStep.clause?.head);
+                            if (exitValue && exitValue !== unif.value) {
+                                notes.push(`${unif.variable} from Step ${callStep.stepNumber} is now bound to ${exitValue}`);
+                            }
+                        }
+                    }
+                    if (notes.length > 0) {
+                        step.variableFlowNotes = notes;
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Extract the value of a variable from a goal based on its position in the clause head
+     */
+    extractVariableValueFromGoal(goal, variable, clauseHead) {
+        if (!clauseHead) {
+            return null;
+        }
+        // Find the position of the variable in the clause head
+        const headMatch = clauseHead.match(/^([^(]+)\((.*)\)$/);
+        const goalMatch = goal.match(/^([^(]+)\((.*)\)$/);
+        if (!headMatch || !goalMatch) {
+            return null;
+        }
+        const headArgs = this.splitArguments(headMatch[2]);
+        const goalArgs = this.splitArguments(goalMatch[2]);
+        // Find which argument position contains the variable
+        for (let i = 0; i < headArgs.length; i++) {
+            if (headArgs[i].trim() === variable) {
+                return goalArgs[i]?.trim() || null;
+            }
+        }
+        return null;
+    }
+    /**
+     * Get source clause from the source clause map
+     */
+    getSourceClause(lineNumber) {
+        if (!this.sourceClauseMap) {
+            return null;
+        }
+        const clause = this.sourceClauseMap[lineNumber];
+        if (!clause) {
+            return null;
+        }
+        return {
+            head: clause.head,
+            body: clause.body,
+            number: clause.number,
+        };
+    }
+    /**
+     * Find the matching EXIT step for a CALL step
+     */
+    findMatchingExit(callStep, startIndex) {
+        // Look forward from the CALL to find the matching EXIT
+        // The EXIT should be at the same level and return to this CALL
+        for (let i = startIndex + 1; i < this.steps.length; i++) {
+            const step = this.steps[i];
+            if (step.port === 'exit' &&
+                step.level === callStep.level &&
+                step.returnsTo === callStep.stepNumber) {
+                return step;
+            }
+        }
+        return null;
+    }
+    /**
+     * Process a single trace event
+     */
+    processEvent(event) {
+        switch (event.port) {
+            case 'call':
+                this.processCall(event);
+                break;
+            case 'exit':
+                this.processExit(event);
+                break;
+            case 'redo':
+                this.processRedo(event);
+                break;
+            case 'fail':
+                this.processFail(event);
+                break;
+        }
+    }
+    /**
+     * Extract subgoals from a clause body
+     */
+    extractSubgoals(clauseBody) {
+        if (!clauseBody || clauseBody === 'true') {
+            return [];
+        }
+        // Split on commas, respecting parentheses depth
+        const subgoals = [];
+        let current = '';
+        let depth = 0;
+        for (const char of clauseBody) {
+            if (char === '(') {
+                depth++;
+                current += char;
+            }
+            else if (char === ')') {
+                depth--;
+                current += char;
+            }
+            else if (char === ',' && depth === 0) {
+                subgoals.push(current.trim());
+                current = '';
+            }
+            else {
+                current += char;
+            }
+        }
+        if (current.trim()) {
+            subgoals.push(current.trim());
+        }
+        return subgoals;
+    }
+    /**
+     * Process CALL event
+     */
+    processCall(event) {
+        this.stepCounter++;
+        const stepNumber = this.stepCounter;
+        // Track this call in the stack
+        this.callStack.set(event.level, stepNumber);
+        // Use source clause if available
+        let clauseInfo = event.clause;
+        if (clauseInfo && this.sourceClauseMap) {
+            const sourceClause = this.getSourceClause(clauseInfo.line);
+            if (sourceClause) {
+                clauseInfo = {
+                    head: sourceClause.head,
+                    body: sourceClause.body || 'true',
+                    line: sourceClause.number,
+                };
+            }
+        }
+        // Extract subgoals from clause body if available
+        const subgoals = [];
+        if (clauseInfo && clauseInfo.body) {
+            const subgoalGoals = this.extractSubgoals(clauseInfo.body);
+            subgoalGoals.forEach((goal, index) => {
+                subgoals.push({
+                    label: `[${stepNumber}.${index + 1}]`,
+                    goal,
+                });
+            });
+            // Store subgoals for this step
+            if (subgoals.length > 0) {
+                this.parentSubgoals.set(stepNumber, subgoals);
+                this.completedSubgoals.set(stepNumber, 0);
+            }
+        }
+        // Determine if this call is solving a subgoal (will be set during backfill)
+        let subgoalLabel;
+        // Extract pattern match bindings if clause available
+        const unifications = [];
+        if (clauseInfo) {
+            const patternBindings = this.extractPatternMatchBindings(event.goal, clauseInfo.head);
+            unifications.push(...patternBindings);
+        }
+        const step = {
+            stepNumber,
+            port: 'call',
+            level: event.level,
+            goal: event.goal,
+            clause: clauseInfo,
+            unifications,
+            subgoals,
+            subgoalLabel,
+        };
+        this.steps.push(step);
+    }
+    /**
+     * Extract pattern match bindings by comparing goal with clause head
+     * Uses structural decomposition - not heuristics, just comparing known data
+     */
+    extractPatternMatchBindings(goal, clauseHead) {
+        const bindings = [];
+        // Parse both goal and clause head
+        const goalMatch = goal.match(/^([^(]+)\((.*)\)$/);
+        const headMatch = clauseHead.match(/^([^(]+)\((.*)\)$/);
+        if (!goalMatch || !headMatch) {
+            return bindings;
+        }
+        const goalArgs = this.splitArguments(goalMatch[2]);
+        const headArgs = this.splitArguments(headMatch[2]);
+        // Match arguments positionally with structural decomposition
+        for (let i = 0; i < Math.min(goalArgs.length, headArgs.length); i++) {
+            const goalArg = goalArgs[i].trim();
+            const headArg = headArgs[i].trim();
+            // Recursively extract bindings from this argument pair
+            this.extractBindingsFromTermPair(headArg, goalArg, bindings);
+        }
+        return bindings;
+    }
+    /**
+     * Recursively extract bindings by comparing pattern term with value term
+     * This is structural decomposition, not unification - we're just comparing strings
+     */
+    extractBindingsFromTermPair(pattern, value, bindings) {
+        // If pattern is a simple variable (single uppercase/underscore identifier)
+        if (this.isSimpleVariable(pattern)) {
+            bindings.push({ variable: pattern, value });
+            return;
+        }
+        // If pattern and value are identical, no binding needed
+        if (pattern === value) {
+            return;
+        }
+        // Try to decompose as compound term with operators
+        // e.g., "X+1+1" vs "0+1+1" -> extract X=0
+        const patternOp = this.findOperator(pattern);
+        const valueOp = this.findOperator(value);
+        if (patternOp && valueOp && patternOp.op === valueOp.op) {
+            // Same operator - recursively match operands
+            this.extractBindingsFromTermPair(patternOp.left, valueOp.left, bindings);
+            this.extractBindingsFromTermPair(patternOp.right, valueOp.right, bindings);
+            return;
+        }
+        // Try to decompose as list
+        // e.g., "[H|T]" vs "[1,2,3]" -> extract H=1, T=[2,3]
+        if (pattern.startsWith('[') && value.startsWith('[')) {
+            const patternList = this.parseListPattern(pattern);
+            const valueList = this.parseListPattern(value);
+            if (patternList && valueList) {
+                if (patternList.head && valueList.head) {
+                    this.extractBindingsFromTermPair(patternList.head, valueList.head, bindings);
+                }
+                if (patternList.tail && valueList.tail) {
+                    this.extractBindingsFromTermPair(patternList.tail, valueList.tail, bindings);
+                }
+                return;
+            }
+        }
+        // If we can't decompose further, no binding
+    }
+    /**
+     * Check if a term is a simple variable
+     */
+    isSimpleVariable(term) {
+        return /^[A-Z_][A-Za-z0-9_]*$/.test(term);
+    }
+    /**
+     * Find the main operator in a term
+     * Returns null if no operator found
+     */
+    findOperator(term) {
+        const operators = ['+', '-', '*', '/'];
+        // Find operator at depth 0 (not inside parentheses)
+        let depth = 0;
+        for (let i = term.length - 1; i >= 0; i--) {
+            const char = term[i];
+            if (char === ')' || char === ']') {
+                depth++;
+            }
+            else if (char === '(' || char === '[') {
+                depth--;
+            }
+            else if (depth === 0 && operators.includes(char)) {
+                return {
+                    op: char,
+                    left: term.slice(0, i).trim(),
+                    right: term.slice(i + 1).trim(),
+                };
+            }
+        }
+        return null;
+    }
+    /**
+     * Parse a list pattern
+     */
+    parseListPattern(list) {
+        if (!list.startsWith('[') || !list.endsWith(']')) {
+            return null;
+        }
+        const content = list.slice(1, -1).trim();
+        // Check for [H|T] pattern
+        const pipeIndex = content.indexOf('|');
+        if (pipeIndex !== -1) {
+            return {
+                head: content.slice(0, pipeIndex).trim(),
+                tail: content.slice(pipeIndex + 1).trim(),
+            };
+        }
+        // Check for [H, ...] pattern
+        const commaIndex = content.indexOf(',');
+        if (commaIndex !== -1) {
+            return {
+                head: content.slice(0, commaIndex).trim(),
+                tail: `[${content.slice(commaIndex + 1).trim()}]`,
+            };
+        }
+        // Single element or empty list
+        if (content) {
+            return { head: content, tail: '[]' };
+        }
+        return null;
+    }
+    /**
+     * Extract unifications by comparing CALL and EXIT goals
+     */
+    extractUnifications(callGoal, exitGoal) {
+        const unifications = [];
+        // Simple structural comparison - extract arguments
+        const callMatch = callGoal.match(/^([^(]+)\((.*)\)$/);
+        const exitMatch = exitGoal.match(/^([^(]+)\((.*)\)$/);
+        if (!callMatch || !exitMatch) {
+            return unifications;
+        }
+        const callArgs = this.splitArguments(callMatch[2]);
+        const exitArgs = this.splitArguments(exitMatch[2]);
+        // Compare arguments positionally
+        for (let i = 0; i < Math.min(callArgs.length, exitArgs.length); i++) {
+            const callArg = callArgs[i].trim();
+            const exitArg = exitArgs[i].trim();
+            // If call arg is a variable (starts with _ or uppercase) and exit arg is different
+            if (callArg !== exitArg && /^[A-Z_]/.test(callArg)) {
+                unifications.push({
+                    variable: callArg,
+                    value: exitArg,
+                });
+            }
+        }
+        return unifications;
+    }
+    /**
+     * Split arguments respecting parentheses and brackets
+     */
+    splitArguments(argsStr) {
+        const args = [];
+        let current = '';
+        let depth = 0;
+        for (const char of argsStr) {
+            if (char === '(' || char === '[') {
+                depth++;
+                current += char;
+            }
+            else if (char === ')' || char === ']') {
+                depth--;
+                current += char;
+            }
+            else if (char === ',' && depth === 0) {
+                args.push(current.trim());
+                current = '';
+            }
+            else {
+                current += char;
+            }
+        }
+        if (current.trim()) {
+            args.push(current.trim());
+        }
+        return args;
+    }
+    /**
+     * Process EXIT event
+     */
+    processExit(event) {
+        this.stepCounter++;
+        const stepNumber = this.stepCounter;
+        // Find the matching CALL step
+        const callStep = this.callStack.get(event.level);
+        // Extract unifications by comparing with CALL goal
+        let unifications = [];
+        if (callStep) {
+            const callStepData = this.steps.find(s => s.stepNumber === callStep);
+            if (callStepData) {
+                unifications = this.extractUnifications(callStepData.goal, event.goal);
+            }
+        }
+        // Subgoal tracking will be updated in updateSubgoalTracking pass
+        const step = {
+            stepNumber,
+            port: 'exit',
+            level: event.level,
+            goal: event.goal,
+            clause: event.clause,
+            unifications,
+            subgoals: [],
+            returnsTo: callStep,
+        };
+        // Remove from call stack
+        this.callStack.delete(event.level);
+        this.steps.push(step);
+    }
+    /**
+     * Process REDO event
+     */
+    processRedo(event) {
+        this.stepCounter++;
+        const stepNumber = this.stepCounter;
+        // Find the step being retried
+        const retriedStep = this.callStack.get(event.level);
+        const step = {
+            stepNumber,
+            port: 'redo',
+            level: event.level,
+            goal: event.goal,
+            unifications: [],
+            subgoals: [],
+            note: retriedStep ? `Retrying Step ${retriedStep}` : undefined,
+        };
+        this.steps.push(step);
+    }
+    /**
+     * Process FAIL event
+     */
+    processFail(event) {
+        this.stepCounter++;
+        const stepNumber = this.stepCounter;
+        // Find parent step
+        const parentLevel = event.level - 1;
+        const parentStep = this.callStack.get(parentLevel);
+        const step = {
+            stepNumber,
+            port: 'fail',
+            level: event.level,
+            goal: event.goal,
+            unifications: [],
+            subgoals: [],
+            note: parentStep ? `Returns to Step ${parentStep}` : undefined,
+        };
+        // Remove from call stack
+        this.callStack.delete(event.level);
+        this.steps.push(step);
+    }
+}
+//# sourceMappingURL=timeline.js.map

package/dist/timeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeline.js","sourceRoot":"","sources":["../src/timeline.ts"],"names":[],"mappings":"AAAA;;GAEG;AA8CH;;GAEG;AACH,MAAM,OAAO,eAAe;IAQN;IAA8B;IAP1C,KAAK,GAAmB,EAAE,CAAC;IAC3B,WAAW,GAAG,CAAC,CAAC;IAChB,SAAS,GAAwB,IAAI,GAAG,EAAE,CAAC,CAAC,uBAAuB;IACnE,UAAU,GAA8D,IAAI,GAAG,EAAE,CAAC,CAAC,wBAAwB;IAC3G,cAAc,GAAwD,IAAI,GAAG,EAAE,CAAC,CAAC,0BAA0B;IAC3G,iBAAiB,GAAwB,IAAI,GAAG,EAAE,CAAC,CAAC,6CAA6C;IAEzG,YAAoB,MAAoB,EAAU,eAAiC;QAA/D,WAAM,GAAN,MAAM,CAAc;QAAU,oBAAe,GAAf,eAAe,CAAkB;IAAG,CAAC;IAEvF;;OAEG;IACK,iBAAiB,CAAC,SAAiB;QACzC,MAAM,gBAAgB,GAAG;YACvB,SAAS;YACT,qBAAqB;YACrB,aAAa;YACb,kBAAkB;YAClB,iBAAiB;SAClB,CAAC;QACF,OAAO,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,KAAK;QACH,iCAAiC;QACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,mCAAmC;YACnC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAE1B,8DAA8D;QAC9D,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE7B,gDAAgD;QAChD,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAE5B,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,kBAAkB;QACxB,iEAAiE;QACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAE/B,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACjD,uCAAuC;gBACvC,6DAA6D;gBAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAEpD,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;oBAChC,+DAA+D;oBAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAChE,IAAI,YAAY,EAAE,CAAC;wBACjB,QAAQ,CAAC,MAAM,GAAG;4BAChB,IAAI,EAAE,YAAY,CAAC,IAAI;4BACvB,IAAI,EAAE,YAAY,CAAC,IAAI,IAAI,MAAM;4BACjC,IAAI,EAAE,YAAY,CAAC,MAAM;yBAC1B,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;oBACpC,CAAC;oBAED,0DAA0D;oBAC1D,MAAM,eAAe,GAAG,IAAI,CAAC,2BAA2B,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC9F,QAAQ,CAAC,YAAY,GAAG,eAAe,CAAC;oBAExC,mDAAmD;oBACnD,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBAChE,QAAQ,CAAC,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;4BACrD,KAAK,EAAE,IAAI,QAAQ,CAAC,UAAU,IAAI,KAAK,GAAG,CAAC,GAAG;4BAC9C,IAAI;yBACL,CAAC,CAAC,CAAC;wBAEJ,6BAA6B;wBAC7B,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BACjC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;4BAChE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;wBACrD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,qBAAqB;QAC3B,wDAAwD;QACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAwD,CAAC;QAEzF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACzB,0CAA0C;gBAC1C,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrD,IAAI,WAAW,EAAE,CAAC;oBAChB,IAAI,CAAC,YAAY,GAAG,IAAI,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,YAAY,GAAG,CAAC;gBAChF,CAAC;gBAED,+DAA+D;gBAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE;wBACnC,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,YAAY,EAAE,CAAC;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAChC,yCAAyC;gBACzC,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrD,IAAI,WAAW,EAAE,CAAC;oBAChB,IAAI,CAAC,YAAY,GAAG,IAAI,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,YAAY,GAAG,CAAC;oBAE9E,kCAAkC;oBAClC,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;oBACvE,IAAI,cAAc,IAAI,WAAW,CAAC,YAAY,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC;wBACvE,uBAAuB;wBACvB,MAAM,gBAAgB,GAAG,WAAW,CAAC,YAAY,GAAG,CAAC,CAAC;wBACtD,MAAM,eAAe,GAAG,cAAc,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC;wBAC7D,IAAI,CAAC,WAAW,GAAG,WAAW,eAAe,CAAC,KAAK,EAAE,CAAC;wBAEtD,uCAAuC;wBACvC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE;4BAC/B,UAAU,EAAE,WAAW,CAAC,UAAU;4BAClC,YAAY,EAAE,gBAAgB;yBAC/B,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,yBAAyB;wBACzB,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACtC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,oBAAoB;QAC1B,iEAAiE;QACjE,MAAM,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAC;QAE1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,iCAAiC;YACjC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;gBAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACrC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YAChD,CAAC;YAED,4DAA4D;YAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC;gBACvE,IAAI,QAAQ,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACjD,MAAM,KAAK,GAAa,EAAE,CAAC;oBAE3B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;wBACzC,sEAAsE;wBACtE,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;4BAClE,8EAA8E;4BAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;4BACrG,IAAI,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;gCAC1C,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,cAAc,QAAQ,CAAC,UAAU,oBAAoB,SAAS,EAAE,CAAC,CAAC;4BAC/F,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACrB,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC;oBACjC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,4BAA4B,CAAC,IAAY,EAAE,QAAgB,EAAE,UAAmB;QACtF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uDAAuD;QACvD,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAElD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnD,qDAAqD;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpC,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC;YACrC,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,UAAkB;QACxC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,QAAsB,EAAE,UAAkB;QACjE,uDAAuD;QACvD,+DAA+D;QAC/D,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAE3B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBACpB,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;gBAC7B,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAC3C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,KAAiB;QACpC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,MAAM;gBACT,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACxB,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACxB,MAAM;QACV,CAAC;IACH,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,UAAkB;QACxC,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,gDAAgD;QAChD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACxB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9B,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAiB;QACnC,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC;QAEpC,+BAA+B;QAC/B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAE5C,iCAAiC;QACjC,IAAI,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;QAC9B,IAAI,UAAU,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,YAAY,EAAE,CAAC;gBACjB,UAAU,GAAG;oBACX,IAAI,EAAE,YAAY,CAAC,IAAI;oBACvB,IAAI,EAAE,YAAY,CAAC,IAAI,IAAI,MAAM;oBACjC,IAAI,EAAE,YAAY,CAAC,MAAM;iBAC1B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,MAAM,QAAQ,GAA2C,EAAE,CAAC;QAC5D,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClC,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC3D,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACnC,QAAQ,CAAC,IAAI,CAAC;oBACZ,KAAK,EAAE,IAAI,UAAU,IAAI,KAAK,GAAG,CAAC,GAAG;oBACrC,IAAI;iBACL,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,+BAA+B;YAC/B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;gBAC9C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,IAAI,YAAgC,CAAC;QAErC,qDAAqD;QACrD,MAAM,YAAY,GAA+C,EAAE,CAAC;QACpE,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,eAAe,GAAG,IAAI,CAAC,2BAA2B,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;YACtF,YAAY,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;QACxC,CAAC;QAED,MAAM,IAAI,GAAiB;YACzB,UAAU;YACV,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,UAAU;YAClB,YAAY;YACZ,QAAQ;YACR,YAAY;SACb,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED;;;OAGG;IACK,2BAA2B,CAAC,IAAY,EAAE,UAAkB;QAClE,MAAM,QAAQ,GAA+C,EAAE,CAAC;QAEhE,kCAAkC;QAClC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAExD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnD,6DAA6D;QAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAEnC,uDAAuD;YACvD,IAAI,CAAC,2BAA2B,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC/D,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;;OAGG;IACK,2BAA2B,CACjC,OAAe,EACf,KAAa,EACb,QAAoD;QAEpD,2EAA2E;QAC3E,IAAI,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,OAAO;QACT,CAAC;QAED,wDAAwD;QACxD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YACtB,OAAO;QACT,CAAC;QAED,mDAAmD;QACnD,0CAA0C;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAEzC,IAAI,SAAS,IAAI,OAAO,IAAI,SAAS,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC;YACxD,6CAA6C;YAC7C,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC3E,OAAO;QACT,CAAC;QAED,2BAA2B;QAC3B,qDAAqD;QACrD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAE/C,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;gBAC7B,IAAI,WAAW,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;oBACvC,IAAI,CAAC,2BAA2B,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC/E,CAAC;gBACD,IAAI,WAAW,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;oBACvC,IAAI,CAAC,2BAA2B,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC/E,CAAC;gBACD,OAAO;YACT,CAAC;QACH,CAAC;QAED,4CAA4C;IAC9C,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,IAAY;QACnC,OAAO,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED;;;OAGG;IACK,YAAY,CAAC,IAAY;QAC/B,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAEvC,oDAAoD;QACpD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAErB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjC,KAAK,EAAE,CAAC;YACV,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACxC,KAAK,EAAE,CAAC;YACV,CAAC;iBAAM,IAAI,KAAK,KAAK,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnD,OAAO;oBACL,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;oBAC7B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;iBAChC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,IAAY;QACnC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAEzC,0BAA0B;QAC1B,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE;gBACxC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;aAC1C,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,EAAE;gBACzC,IAAI,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG;aAClD,CAAC;QACJ,CAAC;QAED,+BAA+B;QAC/B,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvC,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,QAAgB,EAAE,QAAgB;QAC5D,MAAM,YAAY,GAA+C,EAAE,CAAC;QAEpE,mDAAmD;QACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAEtD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnD,iCAAiC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAEnC,mFAAmF;YACnF,IAAI,OAAO,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnD,YAAY,CAAC,IAAI,CAAC;oBAChB,QAAQ,EAAE,OAAO;oBACjB,KAAK,EAAE,OAAO;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,OAAe;QACpC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjC,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACxC,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1B,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAiB;QACnC,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC;QAEpC,8BAA8B;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEjD,mDAAmD;QACnD,IAAI,YAAY,GAA+C,EAAE,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC;YACrE,IAAI,YAAY,EAAE,CAAC;gBACjB,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;QAED,iEAAiE;QACjE,MAAM,IAAI,GAAiB;YACzB,UAAU;YACV,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,YAAY;YACZ,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,QAAQ;SACpB,CAAC;QAEF,yBAAyB;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAiB;QACnC,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC;QAEpC,8BAA8B;QAC9B,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEpD,MAAM,IAAI,GAAiB;YACzB,UAAU;YACV,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;SAC/D,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,KAAiB;QACnC,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC;QAEpC,mBAAmB;QACnB,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAEnD,MAAM,IAAI,GAAiB;YACzB,UAAU;YACV,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,mBAAmB,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS;SAC/D,CAAC;QAEF,yBAAyB;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;CACF"}

package/dist/tree-formatter.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Tree Formatter - Generates Mermaid diagram from tree structure
+ */
+import { TreeNode } from './tree.js';
+/**
+ * Format tree as Mermaid diagram
+ */
+export declare function formatTreeAsMermaid(root: TreeNode | null): string;
+/**
+ * Handle backtracking visualization in tree
+ */
+export declare function markBacktrackingPaths(root: TreeNode): void;
+//# sourceMappingURL=tree-formatter.d.ts.map

package/dist/tree-formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree-formatter.d.ts","sourceRoot":"","sources":["../src/tree-formatter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,GAAG,MAAM,CA+BjE;AA2GD;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,CAe1D"}