@grafema/util 0.3.0-beta

package/dist/notation/fold.js

@@ -0,0 +1,598 @@
+/**
+ * Notation Fold Engine — structural compression of sibling blocks
+ *
+ * Pure function: NotationBlock[] → NotationBlock[]
+ * Fold is a view-layer transform, not part of DSL grammar.
+ *
+ * Implements 11 rules from notation-folding.md:
+ *   Rules 1-5: structural (language-agnostic)
+ *   Rules 6-7: cleanup (dedup, artifacts)
+ *   Rules 8-11: semantic (derivation/call patterns)
+ *
+ * Pipeline order matters — chains/dispatch collapse adjacent siblings first,
+ * making the remaining set more amenable to group folding.
+ *
+ * @module notation/fold
+ */
+/** Minimum group size to trigger folding */
+const FOLD_THRESHOLD = 3;
+const CONTAINER_TYPES = new Set(['MODULE', 'CLASS', 'OBJECT', 'NAMESPACE', 'PROGRAM']);
+const BINDING_TYPES = new Set(['IMPORT', 'IMPORT_BINDING', 'EXPORT', 'EXPORT_BINDING']);
+const SHAPE_TYPES = new Set(['INTERFACE', 'TYPE_ALIAS', 'ENUM', 'ENUM_MEMBER']);
+const CONTROL_TYPES = new Set(['LOOP', 'BRANCH', 'CASE', 'CONDITIONAL', 'SWITCH', 'TRY']);
+const BEHAVIOR_OPERATORS = new Set(['>', '=>', '>x', '~>>']);
+/**
+ * Classify a block's rendering role based on node type + edge content.
+ *
+ * Roles (determined by graph shape, not AST type alone):
+ *   Actor     — has behavior edges (calls, writes, throws...) → Block
+ *   Container — MODULE, CLASS, etc. → Block
+ *   Binding   — IMPORT, EXPORT → Line
+ *   Datum     — VARIABLE/CONSTANT with only passive edges → Inline `name < verb source`
+ *   Shape     — INTERFACE, TYPE_ALIAS, ENUM → Block or Name
+ *   Control   — LOOP, BRANCH, CASE → Modifier
+ *
+ * No suppression: all nodes with edges are preserved (Inv-2 Side Effect Visibility).
+ */
+function classifyRole(block) {
+    const type = block.nodeType;
+    if (CONTAINER_TYPES.has(type))
+        return 'container';
+    if (BINDING_TYPES.has(type))
+        return 'binding';
+    if (SHAPE_TYPES.has(type))
+        return 'shape';
+    if (CONTROL_TYPES.has(type))
+        return 'control';
+    // Check for behavior edges
+    const hasBehavior = block.lines.some(l => BEHAVIOR_OPERATORS.has(l.operator));
+    if (hasBehavior)
+        return 'actor';
+    // VARIABLE/CONSTANT/PARAMETER with only passive edges → datum
+    if (type === 'VARIABLE' || type === 'CONSTANT' || type === 'PARAMETER') {
+        return 'datum';
+    }
+    // FUNCTION/METHOD → actor (even without visible behavior)
+    if (type === 'FUNCTION' || type === 'METHOD')
+        return 'actor';
+    return 'actor';
+}
+/**
+ * Apply role-based transforms: datum → inline (preserves archetype operator and verb).
+ */
+function applyRoleTransforms(blocks) {
+    const result = [];
+    for (const block of blocks) {
+        if (block.foldMeta) {
+            result.push(block);
+            continue;
+        }
+        const role = classifyRole(block);
+        switch (role) {
+            case 'datum': {
+                // Inline: render as "name < verb source" — no braces, preserves archetype
+                const inlineName = formatDatumInline(block);
+                result.push({
+                    ...block,
+                    displayName: inlineName,
+                    lines: [],
+                    children: [],
+                    foldMeta: { kind: 'datum-inline', count: 1 },
+                });
+                break;
+            }
+            default:
+                result.push(block);
+        }
+    }
+    return result;
+}
+/**
+ * Format a datum block as a single inline string: "name < verb source"
+ * Preserves the archetype operator and verb — no information loss.
+ */
+function formatDatumInline(block) {
+    // Find the first flow_in line
+    for (const line of block.lines) {
+        if (line.operator && line.targets.length > 0) {
+            const mod = line.modifier ? `${line.modifier} ` : '';
+            return `${block.displayName} ${mod}${line.operator} ${line.verb} ${line.targets.join(', ')}`;
+        }
+    }
+    return block.displayName;
+}
+function computeSignature(block) {
+    return {
+        nodeType: block.nodeType,
+        lineKeys: block.lines
+            .map(l => `${l.modifier ?? ''}|${l.operator}|${l.verb}`)
+            .sort(),
+        childCount: block.children.length,
+    };
+}
+function signatureKey(sig) {
+    return `${sig.nodeType}|${sig.lineKeys.join(';')}|${sig.childCount}`;
+}
+// === Main fold function ===
+/**
+ * Apply all folding rules to a list of sibling blocks.
+ * Returns a new list where repetitive structures are compressed.
+ *
+ * Folding is recursive — children of non-folded blocks are also folded.
+ */
+export function foldBlocks(blocks) {
+    // Rule 4: Dedup by nodeId (per-block cleanup, always applies)
+    let current = dedup(blocks);
+    // Rule 6: Target dedup within each block's lines (per-block cleanup, always applies)
+    current = current.map(dedupTargets);
+    if (current.length <= 1) {
+        // Role transforms still apply to single blocks
+        current = applyRoleTransforms(current);
+        // Still recurse into children
+        return current.map(b => {
+            if (b.foldMeta || b.children.length === 0)
+                return b;
+            return { ...b, children: foldBlocks(b.children) };
+        });
+    }
+    // Rules 8/9: Chain detection and linearization (before role transforms — needs REFERENCE blocks)
+    const chainResult = detectChains(current);
+    current = [...chainResult.chains, ...chainResult.remaining];
+    // Rule 11: Case dispatch detection
+    const dispatchResult = detectDispatch(current);
+    current = [...dispatchResult.dispatches, ...dispatchResult.remaining];
+    // Rule 10: Repetitive call fold
+    const callResult = detectRepetitiveCalls(current);
+    current = [...callResult.folds, ...callResult.remaining];
+    // Role transforms: datum → inline, internal → suppress (after semantic rules)
+    current = applyRoleTransforms(current);
+    // Separate already-folded from remaining
+    const alreadyFolded = current.filter(b => b.foldMeta);
+    const unfolded = current.filter(b => !b.foldMeta);
+    // Rule 7: Repeated leaf fold
+    const leafResult = repeatedLeafFold(unfolded);
+    // Rule 5: Structural suppression
+    const trivialResult = structuralSuppression(leafResult.remaining);
+    // Rules 1-3: Group fold with anomaly preservation and source aggregation
+    const groupResult = groupFold(trivialResult.remaining);
+    // Combine: early folds, group folds, leaf folds, trivial groups, anomalies
+    const result = [
+        ...alreadyFolded,
+        ...groupResult.folded,
+        ...leafResult.folds,
+        ...trivialResult.groups,
+        ...groupResult.anomalies,
+    ];
+    // Recurse: fold children of non-folded blocks
+    return result.map(b => {
+        if (b.foldMeta || b.children.length === 0)
+            return b;
+        return { ...b, children: foldBlocks(b.children) };
+    });
+}
+// === Rule 4: Dedup ===
+function dedup(blocks) {
+    const seen = new Map();
+    for (const block of blocks) {
+        const existing = seen.get(block.nodeId);
+        if (!existing) {
+            seen.set(block.nodeId, block);
+        }
+        else {
+            // Keep the richer block (more lines, children, and targets)
+            const richness = (b) => b.lines.length + b.children.length + b.lines.reduce((s, l) => s + l.targets.length, 0);
+            if (richness(block) > richness(existing)) {
+                seen.set(block.nodeId, block);
+            }
+        }
+    }
+    return [...seen.values()];
+}
+// === Rule 6: Target dedup within lines ===
+function dedupTargets(block) {
+    const hasDupes = block.lines.some(l => l.targets.length !== new Set(l.targets).size);
+    if (!hasDupes)
+        return block;
+    return {
+        ...block,
+        lines: block.lines.map(line => ({
+            ...line,
+            targets: [...new Set(line.targets)],
+        })),
+    };
+}
+// === Rules 8/9: Chain detection and linearization ===
+function detectChains(blocks) {
+    if (blocks.length < 3)
+        return { chains: [], remaining: blocks };
+    const consumed = new Set();
+    const chainBlocks = [];
+    // Find all blocks with "derived from" lines
+    const derivesFrom = new Map();
+    for (let i = 0; i < blocks.length; i++) {
+        for (const line of blocks[i].lines) {
+            if (line.verb === 'derived from' && line.targets.length > 0) {
+                derivesFrom.set(i, line.targets[0]);
+                break;
+            }
+        }
+    }
+    if (derivesFrom.size < 2)
+        return { chains: [], remaining: blocks };
+    // Group blocks by location
+    const locationGroups = new Map();
+    for (let i = 0; i < blocks.length; i++) {
+        const loc = blocks[i].location;
+        if (!loc)
+            continue;
+        if (!locationGroups.has(loc))
+            locationGroups.set(loc, []);
+        locationGroups.get(loc).push(i);
+    }
+    for (const [loc, indices] of locationGroups) {
+        if (indices.length < 3)
+            continue;
+        // Build name → indices map within this location group
+        const nameToIndices = new Map();
+        for (const idx of indices) {
+            const name = blocks[idx].displayName;
+            if (!nameToIndices.has(name))
+                nameToIndices.set(name, []);
+            nameToIndices.get(name).push(idx);
+        }
+        // Build name derivation graph: name → derives from name
+        const nameDerivesFrom = new Map();
+        for (const idx of indices) {
+            if (derivesFrom.has(idx) && nameToIndices.has(derivesFrom.get(idx))) {
+                nameDerivesFrom.set(blocks[idx].displayName, derivesFrom.get(idx));
+            }
+        }
+        if (nameDerivesFrom.size < 2)
+            continue;
+        // Find chain roots: names derived FROM but don't derive from anything
+        const derivedFromNames = new Set(nameDerivesFrom.values());
+        const derivingNames = new Set(nameDerivesFrom.keys());
+        const roots = [...derivedFromNames].filter(n => !derivingNames.has(n));
+        for (const root of roots) {
+            // Build chain from root forward
+            const steps = [root];
+            let current = root;
+            const visited = new Set([root]);
+            while (true) {
+                let next;
+                for (const [name, from] of nameDerivesFrom) {
+                    if (from === current && !visited.has(name)) {
+                        next = name;
+                        break;
+                    }
+                }
+                if (!next)
+                    break;
+                steps.push(next);
+                visited.add(next);
+                current = next;
+            }
+            if (steps.length < 3)
+                continue;
+            // Mark all blocks in this chain as consumed
+            for (const name of steps) {
+                const idxs = nameToIndices.get(name);
+                if (idxs) {
+                    for (const idx of idxs)
+                        consumed.add(idx);
+                }
+            }
+            // Check if last step has "reads" line for source
+            let chainSource;
+            const lastIdxs = nameToIndices.get(steps[steps.length - 1]) ?? [];
+            for (const idx of lastIdxs) {
+                for (const line of blocks[idx].lines) {
+                    if (line.verb === 'reads' && line.targets.length > 0) {
+                        chainSource = line.targets[0];
+                    }
+                }
+            }
+            chainBlocks.push({
+                nodeId: `chain:${steps.join(':')}`,
+                displayName: steps.join(' \u2218 ') + (chainSource ? `(${chainSource})` : ''),
+                nodeType: blocks[indices[0]].nodeType,
+                lines: [],
+                children: [],
+                location: loc,
+                foldMeta: {
+                    kind: 'chain',
+                    count: steps.length,
+                    chainSteps: steps,
+                    chainSource,
+                },
+            });
+        }
+    }
+    const remaining = blocks.filter((_, i) => !consumed.has(i));
+    return { chains: chainBlocks, remaining };
+}
+// === Rule 11: Case dispatch detection ===
+function detectDispatch(blocks) {
+    if (blocks.length < 8)
+        return { dispatches: [], remaining: blocks };
+    // Find blocks with "derived from case" lines
+    const caseIndices = [];
+    for (let i = 0; i < blocks.length; i++) {
+        for (const line of blocks[i].lines) {
+            if (line.verb === 'derived from' && line.targets.includes('case')) {
+                caseIndices.push(i);
+                break;
+            }
+        }
+    }
+    if (caseIndices.length < FOLD_THRESHOLD)
+        return { dispatches: [], remaining: blocks };
+    // Each case block has a pattern block before it
+    const consumed = new Set();
+    const branches = [];
+    for (const idx of caseIndices) {
+        if (consumed.has(idx))
+            continue;
+        const handler = blocks[idx];
+        // Pattern node is at idx-1 with no edges/children
+        if (idx > 0 && !consumed.has(idx - 1) &&
+            blocks[idx - 1].lines.length === 0 && blocks[idx - 1].children.length === 0) {
+            const pattern = blocks[idx - 1];
+            // Only consume the pattern + handler pair; dup/arg blocks handled by dedup/leaf rules
+            branches.push({
+                pattern: pattern.displayName,
+                handler: handler.displayName,
+                indices: [idx - 1, idx],
+            });
+            consumed.add(idx - 1);
+            consumed.add(idx);
+        }
+    }
+    if (branches.length < FOLD_THRESHOLD)
+        return { dispatches: [], remaining: blocks };
+    // Exemplar: first branch's blocks as children
+    const exemplarBlocks = branches[0].indices.map(i => blocks[i]);
+    const summaryBranches = branches.slice(1).map(b => ({
+        pattern: b.pattern,
+        handler: b.handler,
+    }));
+    const dispatch = {
+        nodeId: `dispatch:${branches[0].pattern}`,
+        displayName: `${branches[0].pattern} \u2192 ${branches[0].handler}`,
+        nodeType: 'DISPATCH',
+        lines: [],
+        children: exemplarBlocks,
+        foldMeta: {
+            kind: 'dispatch',
+            count: branches.length,
+            branches: summaryBranches,
+        },
+    };
+    // Summary block after exemplar
+    const branchList = summaryBranches.slice(0, 3)
+        .map(b => `${b.pattern} \u2192 ${b.handler}`)
+        .join(', ');
+    const suffix = summaryBranches.length > 3
+        ? `, ...+${summaryBranches.length - 3} more`
+        : '';
+    const summary = {
+        nodeId: `dispatch-summary:${branches[0].pattern}`,
+        displayName: `...+${branches.length - 1} more branches: ${branchList}${suffix}`,
+        nodeType: 'DISPATCH',
+        lines: [],
+        children: [],
+        foldMeta: {
+            kind: 'dispatch',
+            count: branches.length - 1,
+            branches: summaryBranches,
+        },
+    };
+    const remaining = blocks.filter((_, i) => !consumed.has(i));
+    return { dispatches: [dispatch, summary], remaining };
+}
+// === Rule 10: Repetitive call fold ===
+function detectRepetitiveCalls(blocks) {
+    // Group non-leaf blocks by (name + signature) — same function called repeatedly
+    const groups = new Map();
+    for (let i = 0; i < blocks.length; i++) {
+        const block = blocks[i];
+        if (block.foldMeta)
+            continue;
+        if (block.lines.length === 0 && block.children.length === 0)
+            continue; // Skip leaves
+        const sig = computeSignature(block);
+        const key = `call:${block.displayName}|${signatureKey(sig)}`;
+        if (!groups.has(key))
+            groups.set(key, []);
+        groups.get(key).push(i);
+    }
+    const consumed = new Set();
+    const folds = [];
+    for (const [, indices] of groups) {
+        if (indices.length <= FOLD_THRESHOLD)
+            continue;
+        const exemplar = blocks[indices[0]];
+        // Exemplar shown expanded
+        folds.push(exemplar);
+        // Fold summary
+        folds.push({
+            nodeId: `callfold:${exemplar.displayName}`,
+            displayName: `...+${indices.length - 1} more ${exemplar.displayName}`,
+            nodeType: exemplar.nodeType,
+            lines: [],
+            children: [],
+            foldMeta: {
+                kind: 'fold',
+                count: indices.length,
+                label: exemplar.displayName,
+            },
+        });
+        for (const idx of indices)
+            consumed.add(idx);
+    }
+    const remaining = blocks.filter((_, i) => !consumed.has(i));
+    return { folds, remaining };
+}
+// === Rule 7: Repeated leaf fold ===
+function repeatedLeafFold(blocks) {
+    // Group leaf blocks (no lines, no children) by name
+    const leafGroups = new Map();
+    const nonLeafIndices = new Set();
+    for (let i = 0; i < blocks.length; i++) {
+        const block = blocks[i];
+        if (block.foldMeta) {
+            nonLeafIndices.add(i);
+            continue;
+        }
+        if (block.lines.length === 0 && block.children.length === 0) {
+            const name = block.displayName;
+            if (!leafGroups.has(name))
+                leafGroups.set(name, []);
+            leafGroups.get(name).push(i);
+        }
+        else {
+            nonLeafIndices.add(i);
+        }
+    }
+    const foldedLeafIndices = new Set();
+    const folds = [];
+    for (const [name, indices] of leafGroups) {
+        if (indices.length <= FOLD_THRESHOLD)
+            continue;
+        for (const idx of indices)
+            foldedLeafIndices.add(idx);
+        folds.push({
+            nodeId: `leafrepeat:${name}`,
+            displayName: `${name} \u00d7${indices.length}`,
+            nodeType: blocks[indices[0]].nodeType,
+            lines: [],
+            children: [],
+            location: blocks[indices[0]].location,
+            foldMeta: {
+                kind: 'leaf-repeat',
+                count: indices.length,
+                label: name,
+            },
+        });
+    }
+    const remaining = blocks.filter((_, i) => nonLeafIndices.has(i) || (leafGroups.get(blocks[i].displayName)?.length ?? 0) <= FOLD_THRESHOLD);
+    return { folds, remaining };
+}
+// === Rule 5: Structural suppression ===
+function structuralSuppression(blocks) {
+    const trivialByType = new Map();
+    const nonTrivialBlocks = [];
+    for (const block of blocks) {
+        if (block.foldMeta) {
+            nonTrivialBlocks.push(block);
+            continue;
+        }
+        const isTrivial = (block.lines.length === 0 && block.children.length === 0) ||
+            block.lines.every(l => l.operator === '');
+        if (isTrivial) {
+            if (!trivialByType.has(block.nodeType))
+                trivialByType.set(block.nodeType, []);
+            trivialByType.get(block.nodeType).push(block);
+        }
+        else {
+            nonTrivialBlocks.push(block);
+        }
+    }
+    const groups = [];
+    for (const [type, trivials] of trivialByType) {
+        if (trivials.length > FOLD_THRESHOLD) {
+            const nameList = trivials.map(b => b.displayName).join(', ');
+            groups.push({
+                nodeId: `trivial:${type}`,
+                displayName: `[${type.toLowerCase()}: ${nameList}]`,
+                nodeType: type,
+                lines: [],
+                children: [],
+                foldMeta: {
+                    kind: 'trivial-group',
+                    count: trivials.length,
+                    names: trivials.map(b => b.displayName),
+                },
+            });
+        }
+        else {
+            nonTrivialBlocks.push(...trivials);
+        }
+    }
+    return { groups, remaining: nonTrivialBlocks };
+}
+// === Rules 1-3: Group fold with anomaly preservation and source aggregation ===
+function groupFold(blocks) {
+    const unfoldedBlocks = blocks.filter(b => !b.foldMeta);
+    const alreadyFolded = blocks.filter(b => b.foldMeta);
+    if (unfoldedBlocks.length <= FOLD_THRESHOLD) {
+        return { folded: alreadyFolded, anomalies: unfoldedBlocks };
+    }
+    // Group by signature
+    const sigGroups = new Map();
+    for (const block of unfoldedBlocks) {
+        const sig = computeSignature(block);
+        const key = signatureKey(sig);
+        if (!sigGroups.has(key))
+            sigGroups.set(key, []);
+        sigGroups.get(key).push(block);
+    }
+    const folded = [...alreadyFolded];
+    const anomalies = [];
+    for (const [, group] of sigGroups) {
+        if (group.length > FOLD_THRESHOLD) {
+            const exemplar = group[0];
+            // Rule 3: Source aggregation — check if all share same source
+            const sourceSummary = findCommonSource(group);
+            const label = inferLabel(group);
+            const summaryParts = [`...+${group.length - 1} more ${label}`];
+            if (sourceSummary)
+                summaryParts.push(`from ${sourceSummary}`);
+            // Exemplar shown expanded
+            folded.push(exemplar);
+            // Fold summary
+            folded.push({
+                nodeId: `fold:${exemplar.nodeId}`,
+                displayName: summaryParts.join(' '),
+                nodeType: exemplar.nodeType,
+                lines: [],
+                children: [],
+                foldMeta: {
+                    kind: 'fold',
+                    count: group.length,
+                    label,
+                    sourceSummary,
+                },
+            });
+        }
+        else {
+            // Rule 2: Anomaly — too few to fold
+            anomalies.push(...group);
+        }
+    }
+    return { folded, anomalies };
+}
+// === Helpers ===
+function findCommonSource(blocks) {
+    const sources = new Set();
+    for (const block of blocks) {
+        for (const line of block.lines) {
+            if (line.targets.length > 0) {
+                for (const t of line.targets)
+                    sources.add(t);
+            }
+        }
+    }
+    if (sources.size === 1)
+        return [...sources][0];
+    return undefined;
+}
+function inferLabel(group) {
+    if (group.length === 0)
+        return '';
+    const type = group[0].nodeType.toLowerCase();
+    if (type.endsWith('s'))
+        return type;
+    return type + 's';
+}
+//# sourceMappingURL=fold.js.map

package/dist/notation/fold.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.js","sourceRoot":"","sources":["../../src/notation/fold.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,4CAA4C;AAC5C,MAAM,cAAc,GAAG,CAAC,CAAC;AAMzB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;AACvF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;AAChF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAC1F,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7D;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,KAAoB;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC;IAE5B,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAClD,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IAC1C,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,2BAA2B;IAC3B,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9E,IAAI,WAAW;QAAE,OAAO,OAAO,CAAC;IAEhC,8DAA8D;IAC9D,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACvE,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,0DAA0D;IAC1D,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IAE7D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,MAAuB;IAClD,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAEjC,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,0EAA0E;gBAC1E,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBAC5C,MAAM,CAAC,IAAI,CAAC;oBACV,GAAG,KAAK;oBACR,WAAW,EAAE,UAAU;oBACvB,KAAK,EAAE,EAAE;oBACT,QAAQ,EAAE,EAAE;oBACZ,QAAQ,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE;iBAC7C,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YAED;gBACE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,KAAoB;IAC7C,8BAA8B;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,OAAO,GAAG,KAAK,CAAC,WAAW,IAAI,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,CAAC;AAC3B,CAAC;AAUD,SAAS,gBAAgB,CAAC,KAAoB;IAC5C,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,KAAK;aAClB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;aACvD,IAAI,EAAE;QACT,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAmB;IACvC,OAAO,GAAG,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;AACvE,CAAC;AAED,6BAA6B;AAE7B;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,MAAuB;IAChD,8DAA8D;IAC9D,IAAI,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAE5B,qFAAqF;IACrF,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAEpC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACxB,+CAA+C;QAC/C,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACvC,8BAA8B;QAC9B,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACrB,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;YACpD,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,iGAAiG;IACjG,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAE5D,mCAAmC;IACnC,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,GAAG,CAAC,GAAG,cAAc,CAAC,UAAU,EAAE,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAEtE,gCAAgC;IAChC,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IAEzD,8EAA8E;IAC9E,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAEvC,yCAAyC;IACzC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAElD,6BAA6B;IAC7B,MAAM,UAAU,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAE9C,iCAAiC;IACjC,MAAM,aAAa,GAAG,qBAAqB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAElE,yEAAyE;IACzE,MAAM,WAAW,GAAG,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IAEvD,2EAA2E;IAC3E,MAAM,MAAM,GAAG;QACb,GAAG,aAAa;QAChB,GAAG,WAAW,CAAC,MAAM;QACrB,GAAG,UAAU,CAAC,KAAK;QACnB,GAAG,aAAa,CAAC,MAAM;QACvB,GAAG,WAAW,CAAC,SAAS;KACzB,CAAC;IAEF,8CAA8C;IAC9C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACpB,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QACpD,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wBAAwB;AAExB,SAAS,KAAK,CAAC,MAAuB;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,4DAA4D;YAC5D,MAAM,QAAQ,GAAG,CAAC,CAAgB,EAAE,EAAE,CACpC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACzF,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,4CAA4C;AAE5C,SAAS,YAAY,CAAC,KAAoB;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;IACrF,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,OAAO;QACL,GAAG,KAAK;QACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9B,GAAG,IAAI;YACP,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;SACpC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,uDAAuD;AAEvD,SAAS,YAAY,CACnB,MAAuB;IAEvB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEhE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,WAAW,GAAoB,EAAE,CAAC;IAExC,4CAA4C;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5D,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEnE,2BAA2B;IAC3B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1D,cAAc,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAEjC,sDAAsD;QACtD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;YACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1D,aAAa,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,CAAC;QAED,wDAAwD;QACxD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,EAAE,CAAC;gBACrE,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,GAAG,CAAC;YAAE,SAAS;QAEvC,sEAAsE;QACtE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAEvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,gCAAgC;YAChC,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,OAAO,GAAG,IAAI,CAAC;YACnB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YAExC,OAAO,IAAI,EAAE,CAAC;gBACZ,IAAI,IAAwB,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,eAAe,EAAE,CAAC;oBAC3C,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3C,IAAI,GAAG,IAAI,CAAC;wBACZ,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,IAAI;oBAAE,MAAM;gBACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;YAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAE/B,4CAA4C;YAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,MAAM,GAAG,IAAI,IAAI;wBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YAED,iDAAiD;YACjD,IAAI,WAA+B,CAAC;YACpC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAClE,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;oBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACrD,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;oBAChC,CAAC;gBACH,CAAC;YACH,CAAC;YAED,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,SAAS,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBAClC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7E,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;gBACrC,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE,GAAG;gBACb,QAAQ,EAAE;oBACR,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,KAAK,CAAC,MAAM;oBACnB,UAAU,EAAE,KAAK;oBACjB,WAAW;iBACZ;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AAC5C,CAAC;AAED,2CAA2C;AAE3C,SAAS,cAAc,CACrB,MAAuB;IAEvB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,6CAA6C;IAC7C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,cAAc;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEtF,gDAAgD;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAmE,EAAE,CAAC;IAEpF,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAEhC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,kDAAkD;QAClD,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChF,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAChC,sFAAsF;YACtF,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,OAAO,CAAC,WAAW;gBAC5B,OAAO,EAAE,OAAO,CAAC,WAAW;gBAC5B,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC;aACxB,CAAC,CAAC;YAEH,QAAQ,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACtB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,cAAc;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEnF,8CAA8C;IAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAkB;QAC9B,MAAM,EAAE,YAAY,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE;QACzC,WAAW,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE;QACnE,QAAQ,EAAE,UAAU;QACpB,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,cAAc;QACxB,QAAQ,EAAE;YACR,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ,CAAC,MAAM;YACtB,QAAQ,EAAE,eAAe;SAC1B;KACF,CAAC;IAEF,+BAA+B;IAC/B,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,OAAO,EAAE,CAAC;SAC5C,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC;QACvC,CAAC,CAAC,SAAS,eAAe,CAAC,MAAM,GAAG,CAAC,OAAO;QAC5C,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,OAAO,GAAkB;QAC7B,MAAM,EAAE,oBAAoB,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE;QACjD,WAAW,EAAE,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,mBAAmB,UAAU,GAAG,MAAM,EAAE;QAC/E,QAAQ,EAAE,UAAU;QACpB,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE;YACR,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;YAC1B,QAAQ,EAAE,eAAe;SAC1B;KACF,CAAC;IAEF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,EAAE,UAAU,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;AACxD,CAAC;AAED,wCAAwC;AAExC,SAAS,qBAAqB,CAC5B,MAAuB;IAEvB,gFAAgF;IAChF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,QAAQ;YAAE,SAAS;QAC7B,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,cAAc;QAErF,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,QAAQ,KAAK,CAAC,WAAW,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,KAAK,MAAM,CAAC,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,OAAO,CAAC,MAAM,IAAI,cAAc;YAAE,SAAS;QAE/C,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpC,0BAA0B;QAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAErB,eAAe;QACf,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,YAAY,QAAQ,CAAC,WAAW,EAAE;YAC1C,WAAW,EAAE,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,SAAS,QAAQ,CAAC,WAAW,EAAE;YACrE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,KAAK,EAAE,QAAQ,CAAC,WAAW;aAC5B;SACF,CAAC,CAAC;QAEH,KAAK,MAAM,GAAG,IAAI,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED,qCAAqC;AAErC,SAAS,gBAAgB,CACvB,MAAuB;IAEvB,oDAAoD;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC;YAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACpD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,MAAM,IAAI,cAAc;YAAE,SAAS;QAE/C,KAAK,MAAM,GAAG,IAAI,OAAO;YAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEtD,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,cAAc,IAAI,EAAE;YAC5B,WAAW,EAAE,GAAG,IAAI,UAAU,OAAO,CAAC,MAAM,EAAE;YAC9C,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;YACrC,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;YACrC,QAAQ,EAAE;gBACR,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,KAAK,EAAE,IAAI;aACZ;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,cAAc,CAChG,CAAC;IAEF,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED,yCAAyC;AAEzC,SAAS,qBAAqB,CAC5B,MAAuB;IAEvB,MAAM,aAAa,GAAG,IAAI,GAAG,EAA2B,CAAC;IACzD,MAAM,gBAAgB,GAAoB,EAAE,CAAC;IAE7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GACb,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;YACzD,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC;QAE5C,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC9E,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC;QAC7C,IAAI,QAAQ,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,WAAW,IAAI,EAAE;gBACzB,WAAW,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,QAAQ,GAAG;gBACnD,QAAQ,EAAE,IAAI;gBACd,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE;oBACR,IAAI,EAAE,eAAe;oBACrB,KAAK,EAAE,QAAQ,CAAC,MAAM;oBACtB,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;iBACxC;aACF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;AACjD,CAAC;AAED,iFAAiF;AAEjF,SAAS,SAAS,CAChB,MAAuB;IAEvB,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAErD,IAAI,cAAc,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC;QAC5C,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC;IAC9D,CAAC;IAED,qBAAqB;IACrB,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChD,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,MAAM,GAAoB,CAAC,GAAG,aAAa,CAAC,CAAC;IACnD,MAAM,SAAS,GAAoB,EAAE,CAAC;IAEtC,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAE1B,8DAA8D;YAC9D,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,YAAY,GAAG,CAAC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;YAC/D,IAAI,aAAa;gBAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,aAAa,EAAE,CAAC,CAAC;YAE9D,0BAA0B;YAC1B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAEtB,eAAe;YACf,MAAM,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,QAAQ,QAAQ,CAAC,MAAM,EAAE;gBACjC,WAAW,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;gBACnC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE;oBACR,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,KAAK,CAAC,MAAM;oBACnB,KAAK;oBACL,aAAa;iBACd;aACF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,oCAAoC;YACpC,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AAC/B,CAAC;AAED,kBAAkB;AAElB,SAAS,gBAAgB,CAAC,MAAuB;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB;IACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,IAAI,GAAG,GAAG,CAAC;AACpB,CAAC"}

package/dist/notation/index.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Notation — Grafema DSL rendering engine
+ *
+ * Transforms graph data into compact visual notation.
+ * Output-only — Datalog remains the query language.
+ *
+ * @module notation
+ */
+export type { Archetype, EdgeMapping, DescribeOptions, SubgraphData, NotationBlock, NotationLine, FoldMeta, } from './types.js';
+export { EDGE_ARCHETYPE_MAP, lookupEdge, generateLegend } from './archetypes.js';
+export { PERSPECTIVES } from './perspectives.js';
+export { renderNotation } from './renderer.js';
+export { extractSubgraph } from './lodExtractor.js';
+export { shortenName } from './nameShortener.js';
+export { foldBlocks } from './fold.js';
+export { renderTraceNarrative } from './traceRenderer.js';
+export type { TraceDetail, TraceNarrativeOptions } from './traceRenderer.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/notation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/notation/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,YAAY,EACV,SAAS,EACT,WAAW,EACX,eAAe,EACf,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,YAAY,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/notation/index.js

@@ -0,0 +1,16 @@
+/**
+ * Notation — Grafema DSL rendering engine
+ *
+ * Transforms graph data into compact visual notation.
+ * Output-only — Datalog remains the query language.
+ *
+ * @module notation
+ */
+export { EDGE_ARCHETYPE_MAP, lookupEdge, generateLegend } from './archetypes.js';
+export { PERSPECTIVES } from './perspectives.js';
+export { renderNotation } from './renderer.js';
+export { extractSubgraph } from './lodExtractor.js';
+export { shortenName } from './nameShortener.js';
+export { foldBlocks } from './fold.js';
+export { renderTraceNarrative } from './traceRenderer.js';
+//# sourceMappingURL=index.js.map

package/dist/notation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/notation/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC"}