@orcalang/orca-lang 0.1.18 → 0.1.19

package/dist/verifier/dt-verifier.js

@@ -0,0 +1,499 @@
+// Decision Table Verifier
+// Checks: completeness, consistency, redundancy, and structural integrity
+// Helper to get all values for a condition
+function getConditionValues(condition) {
+    if (condition.type === 'bool') {
+        return condition.values.length > 0 ? condition.values : ['true', 'false'];
+    }
+    return condition.values;
+}
+// Check if a cell matches a given value
+function cellMatches(cell, value) {
+    switch (cell.kind) {
+        case 'any':
+            return true;
+        case 'exact':
+            return cell.value === value;
+        case 'negated':
+            return cell.value !== value;
+        case 'set':
+            return cell.values.includes(value);
+    }
+}
+// Check if a rule's conditions cover a specific input combination
+function ruleMatchesInput(rule, conditionDefs, input) {
+    for (const cond of conditionDefs) {
+        const cell = rule.conditions.get(cond.name);
+        if (!cell)
+            continue; // No condition for this column means "any"
+        const expectedValue = input.get(cond.name);
+        if (!cellMatches(cell, expectedValue || '')) {
+            return false;
+        }
+    }
+    return true;
+}
+// Check if two rules overlap (can match the same input)
+function rulesOverlap(rule1, rule2, conditionDefs) {
+    for (const cond of conditionDefs) {
+        const cell1 = rule1.conditions.get(cond.name);
+        const cell2 = rule2.conditions.get(cond.name);
+        // If either rule doesn't constrain this condition, they overlap on it
+        if (!cell1 || cell1.kind === 'any')
+            continue;
+        if (!cell2 || cell2.kind === 'any')
+            continue;
+        // Check if cells intersect
+        if (!cellsIntersect(cell1, cell2)) {
+            return false; // No overlap on this condition means no overall overlap
+        }
+    }
+    return true; // All constrained conditions intersect
+}
+// Check if two cells intersect (can match the same value)
+function cellsIntersect(cell1, cell2) {
+    // Any intersects with everything
+    if (cell1.kind === 'any' || cell2.kind === 'any')
+        return true;
+    // Exact vs Exact
+    if (cell1.kind === 'exact' && cell2.kind === 'exact') {
+        return cell1.value === cell2.value;
+    }
+    // Exact vs Negated
+    if (cell1.kind === 'exact' && cell2.kind === 'negated') {
+        return cell2.value !== cell1.value;
+    }
+    if (cell1.kind === 'negated' && cell2.kind === 'exact') {
+        return cell1.value !== cell2.value;
+    }
+    // Exact vs Set
+    if (cell1.kind === 'exact' && cell2.kind === 'set') {
+        return cell2.values.includes(cell1.value);
+    }
+    if (cell1.kind === 'set' && cell2.kind === 'exact') {
+        return cell1.values.includes(cell2.value);
+    }
+    // Negated vs Negated
+    if (cell1.kind === 'negated' && cell2.kind === 'negated') {
+        return cell1.value !== cell2.value;
+    }
+    // Negated vs Set
+    if (cell1.kind === 'negated' && cell2.kind === 'set') {
+        return !cell2.values.includes(cell1.value);
+    }
+    if (cell1.kind === 'set' && cell2.kind === 'negated') {
+        return !cell1.values.includes(cell2.value);
+    }
+    // Set vs Set
+    if (cell1.kind === 'set' && cell2.kind === 'set') {
+        return cell1.values.some(v => cell2.values.includes(v));
+    }
+    return true;
+}
+// Generate all possible combinations of condition values
+function generateCombinations(conditionDefs) {
+    const combinations = [];
+    const values = conditionDefs.map(c => getConditionValues(c));
+    function* cartesian(index, current) {
+        if (index === conditionDefs.length) {
+            yield new Map(current);
+            return;
+        }
+        const condName = conditionDefs[index].name;
+        for (const val of values[index]) {
+            current.set(condName, val);
+            yield* cartesian(index + 1, current);
+            current.delete(condName);
+        }
+    }
+    return [...cartesian(0, new Map())];
+}
+// Find which rules match a given input
+function findMatchingRules(dt, input) {
+    return dt.rules.filter(rule => ruleMatchesInput(rule, dt.conditions, input));
+}
+// Check if two rules produce the same action outputs
+function actionsMatch(rule1, rule2, actionNames) {
+    for (const actionName of actionNames) {
+        const val1 = rule1.actions.get(actionName);
+        const val2 = rule2.actions.get(actionName);
+        if (val1 !== val2)
+            return false;
+    }
+    return true;
+}
+// ============================================================
+// Structural Checks
+// ============================================================
+function checkStructural(dt) {
+    const errors = [];
+    // DT_NO_CONDITIONS
+    if (dt.conditions.length === 0) {
+        errors.push({
+            code: 'DT_NO_CONDITIONS',
+            message: 'Decision table has no conditions declared',
+            severity: 'error',
+            location: { decisionTable: dt.name },
+            suggestion: 'Add a ## conditions section with at least one condition',
+        });
+    }
+    // DT_NO_ACTIONS
+    if (dt.actions.length === 0) {
+        errors.push({
+            code: 'DT_NO_ACTIONS',
+            message: 'Decision table has no actions declared',
+            severity: 'error',
+            location: { decisionTable: dt.name },
+            suggestion: 'Add an ## actions section with at least one action',
+        });
+    }
+    // DT_EMPTY_RULES
+    if (dt.rules.length === 0) {
+        errors.push({
+            code: 'DT_EMPTY_RULES',
+            message: 'Decision table has no rules',
+            severity: 'warning',
+            location: { decisionTable: dt.name },
+            suggestion: 'Add rules to the ## rules section',
+        });
+        return errors; // No point checking rule content if there are no rules
+    }
+    const conditionNames = new Set(dt.conditions.map(c => c.name));
+    const actionNames = new Set(dt.actions.map(a => a.name));
+    const ruleConditionNames = new Set();
+    const ruleActionNames = new Set();
+    // Check each rule
+    for (let ruleIdx = 0; ruleIdx < dt.rules.length; ruleIdx++) {
+        const rule = dt.rules[ruleIdx];
+        const ruleNum = rule.number ?? ruleIdx + 1;
+        // Check condition columns
+        for (const [condName] of rule.conditions) {
+            ruleConditionNames.add(condName);
+            // DT_UNKNOWN_CONDITION_COLUMN
+            if (!conditionNames.has(condName)) {
+                errors.push({
+                    code: 'DT_UNKNOWN_CONDITION_COLUMN',
+                    message: `Rule ${ruleNum} has unknown condition column "${condName}"`,
+                    severity: 'warning',
+                    location: { decisionTable: dt.name, rule: ruleNum, condition: condName },
+                    suggestion: `Remove or rename the column to match a declared condition`,
+                });
+            }
+            else {
+                // DT_UNKNOWN_CONDITION_VALUE
+                const cond = dt.conditions.find(c => c.name === condName);
+                const cell = rule.conditions.get(condName);
+                // Skip value validation for int_range — values are ranges, not enum values
+                if (cell.kind !== 'any' && cond.type !== 'string' && cond.type !== 'int_range') {
+                    const validValues = getConditionValues(cond);
+                    if (cell.kind === 'exact' && !validValues.includes(cell.value)) {
+                        errors.push({
+                            code: 'DT_UNKNOWN_CONDITION_VALUE',
+                            message: `Rule ${ruleNum} condition "${condName}" has value "${cell.value}" not in declared values`,
+                            severity: 'error',
+                            location: { decisionTable: dt.name, rule: ruleNum, condition: condName },
+                            suggestion: `Change to one of: ${validValues.join(', ')}`,
+                        });
+                    }
+                    else if (cell.kind === 'negated' && !validValues.includes(cell.value)) {
+                        errors.push({
+                            code: 'DT_UNKNOWN_CONDITION_VALUE',
+                            message: `Rule ${ruleNum} condition "${condName}" negates "${cell.value}" which is not in declared values`,
+                            severity: 'error',
+                            location: { decisionTable: dt.name, rule: ruleNum, condition: condName },
+                            suggestion: `Change to negate one of: ${validValues.join(', ')}`,
+                        });
+                    }
+                    else if (cell.kind === 'set') {
+                        for (const v of cell.values) {
+                            if (!validValues.includes(v)) {
+                                errors.push({
+                                    code: 'DT_UNKNOWN_CONDITION_VALUE',
+                                    message: `Rule ${ruleNum} condition "${condName}" has value "${v}" not in declared values`,
+                                    severity: 'error',
+                                    location: { decisionTable: dt.name, rule: ruleNum, condition: condName },
+                                    suggestion: `Change to one of: ${validValues.join(', ')}`,
+                                });
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        // Check action columns
+        for (const [actionName] of rule.actions) {
+            ruleActionNames.add(actionName);
+            // DT_UNKNOWN_ACTION_COLUMN
+            if (!actionNames.has(actionName)) {
+                errors.push({
+                    code: 'DT_UNKNOWN_ACTION_COLUMN',
+                    message: `Rule ${ruleNum} has unknown action column "${actionName}"`,
+                    severity: 'warning',
+                    location: { decisionTable: dt.name, rule: ruleNum, action: actionName },
+                    suggestion: `Remove or rename the column to match a declared action`,
+                });
+            }
+            else {
+                // DT_UNKNOWN_ACTION_VALUE
+                const action = dt.actions.find(a => a.name === actionName);
+                const value = rule.actions.get(actionName);
+                if (action.type === 'enum' && action.values) {
+                    if (!action.values.includes(value)) {
+                        errors.push({
+                            code: 'DT_UNKNOWN_ACTION_VALUE',
+                            message: `Rule ${ruleNum} action "${actionName}" has value "${value}" not in declared values`,
+                            severity: 'error',
+                            location: { decisionTable: dt.name, rule: ruleNum, action: actionName },
+                            suggestion: `Change to one of: ${action.values.join(', ')}`,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // DT_MISSING_CONDITION_COLUMN
+    for (const condName of conditionNames) {
+        if (!ruleConditionNames.has(condName)) {
+            errors.push({
+                code: 'DT_MISSING_CONDITION_COLUMN',
+                message: `Condition "${condName}" is declared but has no column in the rules table`,
+                severity: 'warning',
+                location: { decisionTable: dt.name, condition: condName },
+                suggestion: `Add a "${condName}" column to the rules table`,
+            });
+        }
+    }
+    // DT_MISSING_ACTION_COLUMN
+    for (const actionName of actionNames) {
+        if (!ruleActionNames.has(actionName)) {
+            errors.push({
+                code: 'DT_MISSING_ACTION_COLUMN',
+                message: `Action "${actionName}" is declared but has no corresponding column in the rules table`,
+                severity: 'warning',
+                location: { decisionTable: dt.name, action: actionName },
+                suggestion: `Add a "→ ${actionName}" column to the rules table`,
+            });
+        }
+    }
+    // DT_DUPLICATE_RULE
+    for (let i = 0; i < dt.rules.length; i++) {
+        for (let j = i + 1; j < dt.rules.length; j++) {
+            const rule1 = dt.rules[i];
+            const rule2 = dt.rules[j];
+            // Check if conditions are identical
+            let identical = true;
+            if (rule1.conditions.size !== rule2.conditions.size) {
+                identical = false;
+            }
+            else {
+                for (const [name, cell1] of rule1.conditions) {
+                    const cell2 = rule2.conditions.get(name);
+                    if (!cell2 || !cellsEqual(cell1, cell2)) {
+                        identical = false;
+                        break;
+                    }
+                }
+            }
+            if (identical) {
+                const rule1Num = rule1.number ?? i + 1;
+                const rule2Num = rule2.number ?? j + 1;
+                errors.push({
+                    code: 'DT_DUPLICATE_RULE',
+                    message: `Rule ${rule1Num} and Rule ${rule2Num} have identical condition patterns`,
+                    severity: 'warning',
+                    location: { decisionTable: dt.name, rule: rule2Num },
+                    suggestion: `Remove or modify one of the duplicate rules`,
+                });
+            }
+        }
+    }
+    return errors;
+}
+function cellsEqual(cell1, cell2) {
+    if (cell1.kind !== cell2.kind)
+        return false;
+    // Now cell1 and cell2 have the same kind, narrow both
+    const kind = cell1.kind;
+    if (kind === 'any')
+        return true;
+    if (kind === 'exact') {
+        return cell1.value === cell2.value;
+    }
+    if (kind === 'negated') {
+        return cell1.value === cell2.value;
+    }
+    if (kind === 'set') {
+        const s1 = cell1;
+        const s2 = cell2;
+        return s1.values.length === s2.values.length && s1.values.every(v => s2.values.includes(v));
+    }
+    return true;
+}
+// ============================================================
+// Completeness Check
+// ============================================================
+function checkCompleteness(dt) {
+    const errors = [];
+    if (dt.conditions.length === 0)
+        return errors; // Already reported in structural
+    // int_range conditions cannot be exhaustively enumerated — skip completeness check
+    if (dt.conditions.some(c => c.type === 'int_range')) {
+        errors.push({
+            code: 'DT_COMPLETENESS_SKIPPED',
+            message: 'Completeness check skipped: int_range conditions cannot be exhaustively enumerated',
+            severity: 'warning',
+            location: { decisionTable: dt.name },
+            suggestion: 'Manually verify that all numeric ranges are covered without gaps',
+        });
+        return errors;
+    }
+    // Calculate total combinations for enum/bool conditions
+    let totalCombinations = 1;
+    for (const cond of dt.conditions) {
+        const values = getConditionValues(cond);
+        if (values.length === 0) {
+            totalCombinations = Infinity;
+            break;
+        }
+        totalCombinations *= values.length;
+        if (totalCombinations > 4096)
+            break;
+    }
+    if (totalCombinations > 4096) {
+        errors.push({
+            code: 'DT_COMPLETENESS_SKIPPED',
+            message: `Completeness check skipped: ${totalCombinations} combinations exceed limit of 4096`,
+            severity: 'warning',
+            location: { decisionTable: dt.name },
+            suggestion: 'Consider simplifying conditions or using wildcards to reduce combination count',
+        });
+        return errors;
+    }
+    // Generate all combinations and check coverage
+    const combinations = generateCombinations(dt.conditions);
+    const actionNames = dt.actions.map(a => a.name);
+    for (const combo of combinations) {
+        const matchingRules = findMatchingRules(dt, combo);
+        if (matchingRules.length === 0) {
+            const comboDesc = [...combo.entries()].map(([k, v]) => `${k}=${v}`).join(', ');
+            errors.push({
+                code: 'DT_INCOMPLETE',
+                message: `Missing coverage for: ${comboDesc}`,
+                severity: 'error',
+                location: { decisionTable: dt.name },
+                suggestion: `Add a rule to cover this condition combination`,
+            });
+        }
+    }
+    return errors;
+}
+// ============================================================
+// Consistency Check
+// ============================================================
+function checkConsistency(dt) {
+    const errors = [];
+    const isAllMatch = dt.policy === 'all-match';
+    for (let i = 0; i < dt.rules.length; i++) {
+        for (let j = i + 1; j < dt.rules.length; j++) {
+            const rule1 = dt.rules[i];
+            const rule2 = dt.rules[j];
+            // Check if rules overlap
+            if (!rulesOverlap(rule1, rule2, dt.conditions))
+                continue;
+            // Rules overlap - check if actions agree
+            const actionNames = dt.actions.map(a => a.name);
+            const actionsAgree = actionsMatch(rule1, rule2, actionNames);
+            if (!actionsAgree) {
+                const rule1Num = rule1.number ?? i + 1;
+                const rule2Num = rule2.number ?? j + 1;
+                const severity = isAllMatch ? 'error' : 'warning';
+                const code = isAllMatch ? 'DT_INCONSISTENT' : 'DT_INCONSISTENT';
+                const overlappingConditions = [];
+                for (const cond of dt.conditions) {
+                    const cell1 = rule1.conditions.get(cond.name);
+                    const cell2 = rule2.conditions.get(cond.name);
+                    if (cell1 && cell2 && cellsIntersect(cell1, cell2)) {
+                        overlappingConditions.push(cond.name);
+                    }
+                }
+                errors.push({
+                    code,
+                    message: `Rules ${rule1Num} and ${rule2Num} can match the same input but produce different results`,
+                    severity,
+                    location: { decisionTable: dt.name, rule: rule2Num },
+                    suggestion: `For ${isAllMatch ? 'all-match' : 'first-match'} policy: review overlapping rules on conditions: ${overlappingConditions.join(', ')}`,
+                });
+            }
+        }
+    }
+    return errors;
+}
+// ============================================================
+// Redundancy Check
+// ============================================================
+function checkRedundancy(dt) {
+    const errors = [];
+    // For each rule, check if it's fully covered by earlier rules with same actions
+    for (let ruleIdx = 1; ruleIdx < dt.rules.length; ruleIdx++) {
+        const rule = dt.rules[ruleIdx];
+        const ruleNum = rule.number ?? ruleIdx + 1;
+        const actionNames = dt.actions.map(a => a.name);
+        // A rule is redundant if at least one earlier rule overlaps it AND all overlapping
+        // earlier rules produce the same actions (meaning first-match would always hit them first
+        // with an identical result, so this rule can never change the outcome).
+        let hasOverlappingPredecessor = false;
+        let allOverlappingHaveSameActions = true;
+        for (let prevIdx = 0; prevIdx < ruleIdx; prevIdx++) {
+            const prevRule = dt.rules[prevIdx];
+            if (!rulesOverlap(prevRule, rule, dt.conditions))
+                continue;
+            hasOverlappingPredecessor = true;
+            if (!actionsMatch(prevRule, rule, actionNames)) {
+                allOverlappingHaveSameActions = false;
+                break;
+            }
+        }
+        if (hasOverlappingPredecessor && allOverlappingHaveSameActions) {
+            errors.push({
+                code: 'DT_REDUNDANT',
+                message: `Rule ${ruleNum} is redundant — earlier rules cover all its cases with the same actions`,
+                severity: 'warning',
+                location: { decisionTable: dt.name, rule: ruleNum },
+                suggestion: `Remove this rule or make it more specific`,
+            });
+        }
+    }
+    return errors;
+}
+// ============================================================
+// Main Verifier
+// ============================================================
+export function verifyDecisionTable(dt) {
+    const errors = [];
+    // Run structural checks first
+    errors.push(...checkStructural(dt));
+    // Run semantic checks (only if basic structure is valid)
+    const hasNoConditions = dt.conditions.length === 0;
+    const hasNoActions = dt.actions.length === 0;
+    if (!hasNoConditions && !hasNoActions) {
+        errors.push(...checkCompleteness(dt));
+        errors.push(...checkConsistency(dt));
+        errors.push(...checkRedundancy(dt));
+    }
+    return {
+        valid: !errors.some(e => e.severity === 'error'),
+        errors,
+    };
+}
+export function verifyDecisionTables(dts) {
+    const allErrors = [];
+    for (const dt of dts) {
+        const result = verifyDecisionTable(dt);
+        allErrors.push(...result.errors);
+    }
+    return {
+        valid: !allErrors.some(e => e.severity === 'error'),
+        errors: allErrors,
+    };
+}
+//# sourceMappingURL=dt-verifier.js.map

package/dist/verifier/dt-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dt-verifier.js","sourceRoot":"","sources":["../../src/verifier/dt-verifier.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAC1B,0EAA0E;AAK1E,2CAA2C;AAC3C,SAAS,kBAAkB,CAAC,SAAuB;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAC;AAC1B,CAAC;AAED,wCAAwC;AACxC,SAAS,WAAW,CAAC,IAAe,EAAE,KAAa;IACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC;QAC9B,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,kEAAkE;AAClE,SAAS,gBAAgB,CAAC,IAAU,EAAE,aAA6B,EAAE,KAA0B;IAC7F,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI;YAAE,SAAS,CAAC,2CAA2C;QAChE,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,IAAI,EAAE,CAAC,EAAE,CAAC;YAC5C,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wDAAwD;AACxD,SAAS,YAAY,CAAC,KAAW,EAAE,KAAW,EAAE,aAA6B;IAC3E,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9C,sEAAsE;QACtE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC7C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAE7C,2BAA2B;QAC3B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,KAAK,CAAC,CAAC,wDAAwD;QACxE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,uCAAuC;AACtD,CAAC;AAED,0DAA0D;AAC1D,SAAS,cAAc,CAAC,KAAgB,EAAE,KAAgB;IACxD,iCAAiC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAE9D,iBAAiB;IACjB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IACrC,CAAC;IAED,mBAAmB;IACnB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IACrC,CAAC;IAED,eAAe;IACf,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,qBAAqB;IACrB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IACrC,CAAC;IAED,iBAAiB;IACjB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrD,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,aAAa;IACb,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yDAAyD;AACzD,SAAS,oBAAoB,CAAC,aAA6B;IACzD,MAAM,YAAY,GAA0B,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7D,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAa,EAAE,OAA4B;QAC7D,IAAI,KAAK,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;YACvB,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC3B,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACrC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,uCAAuC;AACvC,SAAS,iBAAiB,CAAC,EAAoB,EAAE,KAA0B;IACzE,OAAO,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,qDAAqD;AACrD,SAAS,YAAY,CAAC,KAAW,EAAE,KAAW,EAAE,WAAqB;IACnE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;AAE/D,SAAS,eAAe,CAAC,EAAoB;IAC3C,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,mBAAmB;IACnB,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,2CAA2C;YACpD,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE;YACpC,UAAU,EAAE,yDAAyD;SACtE,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB;IAChB,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,wCAAwC;YACjD,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE;YACpC,UAAU,EAAE,oDAAoD;SACjE,CAAC,CAAC;IACL,CAAC;IAED,iBAAiB;IACjB,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,6BAA6B;YACtC,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE;YACpC,UAAU,EAAE,mCAAmC;SAChD,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,CAAC,uDAAuD;IACxE,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,kBAAkB;IAClB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,CAAC;QAE3C,0BAA0B;QAC1B,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACzC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAEjC,8BAA8B;YAC9B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,QAAQ,OAAO,kCAAkC,QAAQ,GAAG;oBACrE,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE;oBACxE,UAAU,EAAE,2DAA2D;iBACxE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,6BAA6B;gBAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAE,CAAC;gBAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;gBAE5C,2EAA2E;gBAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC/E,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC/D,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,4BAA4B;4BAClC,OAAO,EAAE,QAAQ,OAAO,eAAe,QAAQ,gBAAgB,IAAI,CAAC,KAAK,0BAA0B;4BACnG,QAAQ,EAAE,OAAO;4BACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE;4BACxE,UAAU,EAAE,qBAAqB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBAC1D,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBACxE,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,4BAA4B;4BAClC,OAAO,EAAE,QAAQ,OAAO,eAAe,QAAQ,cAAc,IAAI,CAAC,KAAK,mCAAmC;4BAC1G,QAAQ,EAAE,OAAO;4BACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE;4BACxE,UAAU,EAAE,4BAA4B,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBACjE,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;wBAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;4BAC5B,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gCAC7B,MAAM,CAAC,IAAI,CAAC;oCACV,IAAI,EAAE,4BAA4B;oCAClC,OAAO,EAAE,QAAQ,OAAO,eAAe,QAAQ,gBAAgB,CAAC,0BAA0B;oCAC1F,QAAQ,EAAE,OAAO;oCACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE;oCACxE,UAAU,EAAE,qBAAqB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iCAC1D,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,KAAK,MAAM,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAEhC,2BAA2B;YAC3B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,QAAQ,OAAO,+BAA+B,UAAU,GAAG;oBACpE,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE;oBACvE,UAAU,EAAE,wDAAwD;iBACrE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,0BAA0B;gBAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAE,CAAC;gBAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC;gBAE5C,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBACnC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,yBAAyB;4BAC/B,OAAO,EAAE,QAAQ,OAAO,YAAY,UAAU,gBAAgB,KAAK,0BAA0B;4BAC7F,QAAQ,EAAE,OAAO;4BACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE;4BACvE,UAAU,EAAE,qBAAqB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBAC5D,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,QAAQ,IAAI,cAAc,EAAE,CAAC;QACtC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,cAAc,QAAQ,oDAAoD;gBACnF,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACzD,UAAU,EAAE,UAAU,QAAQ,6BAA6B;aAC5D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,WAAW,UAAU,kEAAkE;gBAChG,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE;gBACxD,UAAU,EAAE,YAAY,UAAU,6BAA6B;aAChE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAE1B,oCAAoC;YACpC,IAAI,SAAS,GAAG,IAAI,CAAC;YACrB,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBACpD,SAAS,GAAG,KAAK,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;oBAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACzC,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;wBACxC,SAAS,GAAG,KAAK,CAAC;wBAClB,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,QAAQ,QAAQ,aAAa,QAAQ,oCAAoC;oBAClF,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACpD,UAAU,EAAE,6CAA6C;iBAC1D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,UAAU,CAAC,KAAgB,EAAE,KAAgB;IACpD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC5C,sDAAsD;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,OAAQ,KAA0C,CAAC,KAAK,KAAM,KAA0C,CAAC,KAAK,CAAC;IACjH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAQ,KAA4C,CAAC,KAAK,KAAM,KAA4C,CAAC,KAAK,CAAC;IACrH,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,KAA0C,CAAC;QACtD,MAAM,EAAE,GAAG,KAA0C,CAAC;QACtD,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,qBAAqB;AACrB,+DAA+D;AAE/D,SAAS,iBAAiB,CAAC,EAAoB;IAC7C,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,iCAAiC;IAEhF,mFAAmF;IACnF,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,oFAAoF;YAC7F,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE;YACpC,UAAU,EAAE,kEAAkE;SAC/E,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wDAAwD;IACxD,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,iBAAiB,GAAG,QAAQ,CAAC;YAC7B,MAAM;QACR,CAAC;QACD,iBAAiB,IAAI,MAAM,CAAC,MAAM,CAAC;QACnC,IAAI,iBAAiB,GAAG,IAAI;YAAE,MAAM;IACtC,CAAC;IAED,IAAI,iBAAiB,GAAG,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,+BAA+B,iBAAiB,oCAAoC;YAC7F,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE;YACpC,UAAU,EAAE,gFAAgF;SAC7F,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,+CAA+C;IAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEhD,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAEnD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/E,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,yBAAyB,SAAS,EAAE;gBAC7C,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE;gBACpC,UAAU,EAAE,gDAAgD;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;AAE/D,SAAS,gBAAgB,CAAC,EAAoB;IAC5C,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,UAAU,GAAG,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC;IAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAE1B,yBAAyB;YACzB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC;gBAAE,SAAS;YAEzD,yCAAyC;YACzC,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;YAE7D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAa,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5D,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC;gBAEhE,MAAM,qBAAqB,GAAa,EAAE,CAAC;gBAC7C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;oBACjC,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC9C,IAAI,KAAK,IAAI,KAAK,IAAI,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;wBACnD,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC;gBAEC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI;oBACJ,OAAO,EAAE,SAAS,QAAQ,QAAQ,QAAQ,yDAAyD;oBACnG,QAAQ;oBACR,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACpD,UAAU,EAAE,OAAO,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,oDAAoD,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAClJ,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAE/D,SAAS,eAAe,CAAC,EAAoB;IAC3C,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,gFAAgF;IAChF,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAEhD,mFAAmF;QACnF,0FAA0F;QAC1F,wEAAwE;QACxE,IAAI,yBAAyB,GAAG,KAAK,CAAC;QACtC,IAAI,6BAA6B,GAAG,IAAI,CAAC;QAEzC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAEnC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC;gBAAE,SAAS;YAE3D,yBAAyB,GAAG,IAAI,CAAC;YAEjC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC/C,6BAA6B,GAAG,KAAK,CAAC;gBACtC,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,yBAAyB,IAAI,6BAA6B,EAAE,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,QAAQ,OAAO,yEAAyE;gBACjG,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE;gBACnD,UAAU,EAAE,2CAA2C;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAE/D,MAAM,UAAU,mBAAmB,CAAC,EAAoB;IACtD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,8BAA8B;IAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpC,yDAAyD;IACzD,MAAM,eAAe,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAE7C,IAAI,CAAC,eAAe,IAAI,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QAChD,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAuB;IAC1D,MAAM,SAAS,GAAwB,EAAE,CAAC;IAE1C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;QACvC,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO;QACL,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACnD,MAAM,EAAE,SAAS;KAClB,CAAC;AACJ,CAAC"}

package/dist/verifier/types.d.ts

@@ -8,6 +8,10 @@ export interface VerificationError {
         state?: string;
         event?: string;
         transition?: Transition;
+        rule?: number;
+        condition?: string;
+        action?: string;
+        decisionTable?: string;
     };
     suggestion?: string;
 }

package/dist/verifier/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verifier/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3C,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,CAAC,EAAE;QACT,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,UAAU,CAAC,EAAE,UAAU,CAAC;KACzB,CAAC;IACF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,QAAQ,CAAC;IAChB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5B;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,UAAU,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjC,YAAY,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC9B,WAAW,EAAE,QAAQ,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACvC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CAC/B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verifier/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3C,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,CAAC,EAAE;QACT,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,UAAU,CAAC,EAAE,UAAU,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,QAAQ,CAAC;IAChB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC5B;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,UAAU,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjC,YAAY,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC9B,WAAW,EAAE,QAAQ,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACvC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CAC/B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@orcalang/orca-lang",
-  "version": "0.1.18",
+  "version": "0.1.19",
   "description": "Orca (Orchestrated State Machine Language) - an LLM-native code generation target",
   "type": "module",
   "main": "dist/index.js",
@@ -43,6 +43,7 @@
     "test": "vitest run",
     "test:watch": "vitest",
     "verify": "tsx src/index.ts verify",
-    "compile": "tsx src/index.ts compile"
+    "compile": "tsx src/index.ts compile",
+    "health-check": "tsx src/health-check.ts"
   }
 }