@fazelstudio/floe 1.0.0

package/dist/src/validator.js

@@ -0,0 +1,235 @@
+import { diag } from "./diagnostics.js";
+import { isValidIdentifier } from "./types.js";
+/**
+ * Semantic validator
+ *
+ * Detects:
+ * - invalid direction (E001)
+ * - invalid identifiers (E002)
+ * - duplicate node declarations (E003)
+ * - duplicate direction declarations (E004)
+ * - malformed / invalid constructs (E005, E008, etc.)
+ *
+ * Keeps validation separate from parsing so the core model can be reused
+ * without parser errors leaking into semantics.
+ */
+export function validate(input) {
+    const { diagram, explicitNodes, edges } = input;
+    const out = [...input.diagnostics];
+    const groups = (input.groups ?? diagram.groups ?? []);
+    // ---- 1. Duplicate direction declarations ----
+    if (input.directionDeclarations.length > 1) {
+        // First one is considered primary, rest are duplicates
+        for (let i = 1; i < input.directionDeclarations.length; i++) {
+            const dup = input.directionDeclarations[i];
+            out.push(diag("error", "E004", `Duplicate direction declaration: direction already set to '${input.directionDeclarations[0].value}'`, dup.range));
+        }
+    }
+    // Also check invalid direction values that may have slipped (parser already flagged E001, but double-check)
+    for (const d of input.directionDeclarations) {
+        if (!["TB", "BT", "LR", "RL"].includes(d.value)) {
+            // Parser already emitted E001/E002, avoid double. Only emit if not already present at same range
+            const already = out.some((x) => x.range.start.offset === d.range.start.offset &&
+                (x.code === "E001" || x.code === "E002"));
+            if (!already) {
+                out.push(diag("error", "E001", `Invalid direction '${d.value}'`, d.range));
+            }
+        }
+    }
+    // ---- 2. Invalid identifiers ----
+    // Explicit nodes
+    for (const n of explicitNodes) {
+        if (!isValidIdentifier(n.id)) {
+            // Avoid duplicate if parser already reported at same range
+            const already = out.some((d) => d.range.start.offset === n.range.start.offset &&
+                d.code === "E002");
+            if (!already) {
+                out.push(diag("error", "E002", `Invalid identifier '${n.id}': must match [A-Za-z_][A-Za-z0-9_-]*`, n.range));
+            }
+        }
+        if (n.type !== undefined && !isValidIdentifier(n.type)) {
+            const already = out.some((d) => d.code === "E002" && d.message.includes(n.type));
+            if (!already) {
+                // Find range for type: we stored node range covering brackets, but we can use node range
+                out.push(diag("error", "E002", `Invalid node type '${n.type}': must match [A-Za-z_][A-Za-z0-9_-]*`, n.range));
+            }
+        }
+    }
+    // Edges sources/targets
+    for (const e of edges) {
+        if (!isValidIdentifier(e.source)) {
+            const already = out.some((d) => d.range.start.offset === e.sourceRange.start.offset &&
+                d.code === "E002");
+            if (!already) {
+                out.push(diag("error", "E002", `Invalid identifier '${e.source}'`, e.sourceRange));
+            }
+        }
+        if (!isValidIdentifier(e.target)) {
+            const already = out.some((d) => d.range.start.offset === e.targetRange.start.offset &&
+                d.code === "E002");
+            if (!already) {
+                out.push(diag("error", "E002", `Invalid identifier '${e.target}'`, e.targetRange));
+            }
+        }
+    }
+    // ---- 3. Duplicate node declarations ----
+    // Map id -> first occurrence range
+    const seen = new Map();
+    for (const n of explicitNodes) {
+        const prev = seen.get(n.id);
+        if (prev) {
+            // Duplicate declaration
+            // Check if types differ? Regardless, it's duplicate explicit declaration
+            out.push(diag("error", "E003", `Duplicate node declaration for '${n.id}'`, n.range));
+            // Also optionally warn if types differ
+            if (prev.type !== n.type) {
+                // Keep as same error, not separate warning
+            }
+        }
+        else {
+            seen.set(n.id, n);
+        }
+    }
+    // ---- 4. Malformed / invalid constructs ----
+    // E.g., check for edges where source === target? Not forbidden in v0.1, allow self-loop, so no error.
+    // Check for empty labels already done in parser (E010), but validate again:
+    for (const e of edges) {
+        if (e.label !== undefined && e.label.trim().length === 0) {
+            const range = e.labelRange ?? e.range;
+            const already = out.some((d) => d.code === "E010" && d.range.start.offset === range.start.offset);
+            if (!already)
+                out.push(diag("error", "E010", `Empty edge label`, range));
+        }
+        // Invalid node types already handled via invalid identifier above; also handle empty type case would have been E008
+        // We keep E008 check for explicit nodes where type is empty? Parser already emitted.
+    }
+    // ---- 5. Groups validation ----
+    // Flatten groups for analysis
+    const allGroups = [];
+    function collectGroups(arr) {
+        for (const g of arr) {
+            allGroups.push(g);
+            if (g.groups && g.groups.length > 0)
+                collectGroups(g.groups);
+        }
+    }
+    collectGroups(groups);
+    // 5a. Invalid group identifiers and types
+    for (const g of allGroups) {
+        if (!isValidIdentifier(g.id)) {
+            const already = out.some((d) => d.range.start.offset === g.range.start.offset && d.code === "E002");
+            if (!already)
+                out.push(diag("error", "E002", `Invalid group identifier '${g.id}': must match [A-Za-z_][A-Za-z0-9_-]*`, g.range));
+        }
+        if (g.type !== undefined && !isValidIdentifier(g.type)) {
+            out.push(diag("error", "E002", `Invalid group type '${g.type}': must match [A-Za-z_][A-Za-z0-9_-]*`, g.range));
+        }
+        // Empty label check? Group label can be empty string? If label is empty after trim, flag E014? But allow.
+    }
+    // 5b. Duplicate group ids (E011)
+    const seenGroups = new Map();
+    for (const g of allGroups) {
+        const prev = seenGroups.get(g.id);
+        if (prev) {
+            out.push(diag("error", "E011", `Duplicate group declaration for '${g.id}'`, g.range));
+        }
+        else {
+            seenGroups.set(g.id, g);
+        }
+    }
+    // 5c. Invalid annotation/link targets (E014)
+    const nodeIds = new Set();
+    for (const n of explicitNodes)
+        nodeIds.add(n.id);
+    for (const n of diagram.nodes)
+        nodeIds.add(n.id);
+    const groupIds = new Set(allGroups.map((g) => g.id));
+    const allIds = new Set([...nodeIds, ...groupIds]);
+    if (input.annotations) {
+        for (const ann of input.annotations) {
+            if (ann.target !== undefined && !allIds.has(ann.target)) {
+                out.push(diag("error", "E014", `Annotation target '${ann.target}' does not exist`, ann.range));
+            }
+            if (ann.text.trim().length === 0) {
+                const already = out.some((d) => d.code === "E014" && d.range.start.offset === ann.range.start.offset);
+                if (!already)
+                    out.push(diag("error", "E014", `Empty annotation text`, ann.range));
+            }
+        }
+    }
+    else if (diagram.annotations) {
+        for (const ann of diagram.annotations) {
+            if (ann.target !== undefined && !allIds.has(ann.target)) {
+                out.push(diag("error", "E014", `Annotation target '${ann.target}' does not exist`, ann.range));
+            }
+        }
+    }
+    if (input.links) {
+        const seenLinkTargets = new Set();
+        for (const link of input.links) {
+            if (!allIds.has(link.target)) {
+                out.push(diag("error", "E014", `Link target '${link.target}' does not exist`, link.range));
+            }
+            if (!isValidIdentifier(link.target)) {
+                out.push(diag("error", "E002", `Invalid link target '${link.target}'`, link.range));
+            }
+            if (link.url.trim().length === 0) {
+                out.push(diag("error", "E014", `Empty link URL for target '${link.target}'`, link.range));
+            }
+            // Security: block javascript:, data:, vbscript: schemes
+            if (/^(javascript|data|vbscript):/i.test(link.url.trim())) {
+                out.push(diag("error", "E014", `Unsafe link URL scheme for target '${link.target}': javascript/data urls are not allowed`, link.range));
+            }
+            if (seenLinkTargets.has(link.target)) {
+                const already = out.some((d) => d.code === "E014" && d.message.includes(link.target) && d.range.start.offset === link.range.start.offset);
+                if (!already)
+                    out.push(diag("error", "E014", `Duplicate link for target '${link.target}'`, link.range));
+            }
+            seenLinkTargets.add(link.target);
+        }
+    }
+    else if (diagram.links) {
+        const seenLinkTargets = new Set();
+        for (const link of diagram.links) {
+            if (!allIds.has(link.target)) {
+                out.push(diag("error", "E014", `Link target '${link.target}' does not exist`, link.range));
+            }
+            if (seenLinkTargets.has(link.target))
+                out.push(diag("error", "E014", `Duplicate link for target '${link.target}'`, link.range));
+            seenLinkTargets.add(link.target);
+        }
+    }
+    // 5d. Metadata validation (E013)
+    // Keys are already validated as IDENT by parser; check empty values and duplicates already? Additional checks:
+    for (const g of allGroups) {
+        for (const [k, v] of Object.entries(g.metadata ?? {})) {
+            if (!isValidIdentifier(k)) {
+                out.push(diag("error", "E002", `Invalid metadata key '${k}' in group '${g.id}'`, g.range));
+            }
+            if (v.trim().length === 0) {
+                out.push(diag("error", "E013", `Empty metadata value for key '${k}' in group '${g.id}'`, g.range));
+            }
+        }
+    }
+    for (const [k, v] of Object.entries(diagram.metadata ?? {})) {
+        if (!isValidIdentifier(k)) {
+            out.push(diag("error", "E002", `Invalid metadata key '${k}'`, diagram.directionRange ?? { start: { line: 1, column: 1, offset: 0 }, end: { line: 1, column: 1, offset: 0 } }));
+        }
+        if (v.trim().length === 0) {
+            out.push(diag("error", "E013", `Empty metadata value for key '${k}'`, diagram.directionRange ?? { start: { line: 1, column: 1, offset: 0 }, end: { line: 1, column: 1, offset: 0 } }));
+        }
+    }
+    // 5e. Edge kind validation: already ensured parser only produces valid kinds, but check label empty already done
+    for (const e of edges) {
+        if (e.kind !== "directed" && e.kind !== "undirected") {
+            out.push(diag("error", "E005", `Invalid edge kind '${e.kind}' for edge ${e.source} -> ${e.target}`, e.range));
+        }
+    }
+    // Sort diagnostics by offset for stable output
+    out.sort((a, b) => a.range.start.offset - b.range.start.offset);
+    // Diagram is already built (with deduplicated nodes). Validation does not mutate diagram structure for v0.1,
+    // but could filter duplicates if needed. We keep diagram as is.
+    // Ensure diagram nodes are deduplicated (parser already did). If validator found duplicates, diagram remains with first occurrence only.
+    return { diagram, diagnostics: out };
+}
+//# sourceMappingURL=validator.js.map

package/dist/src/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAkC/C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAsB;IAC7C,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAChD,MAAM,GAAG,GAAiB,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,MAAM,GAAgB,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,IAAI,EAAE,CAAgB,CAAC;IAElF,gDAAgD;IAChD,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,uDAAuD;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAE,CAAC;YAC5C,GAAG,CAAC,IAAI,CACN,IAAI,CACF,OAAO,EACP,MAAM,EACN,8DAA8D,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,EACtG,GAAG,CAAC,KAAK,CACV,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,4GAA4G;IAC5G,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,iGAAiG;YACjG,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;gBAC7C,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAC3C,CAAC;YACF,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,sBAAsB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,iBAAiB;IACjB,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,2DAA2D;YAC3D,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;gBAC7C,CAAC,CAAC,IAAI,KAAK,MAAM,CACpB,CAAC;YACF,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,IAAI,CACF,OAAO,EACP,MAAM,EACN,uBAAuB,CAAC,CAAC,EAAE,uCAAuC,EAClE,CAAC,CAAC,KAAK,CACR,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CACxD,CAAC;YACF,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,yFAAyF;gBACzF,GAAG,CAAC,IAAI,CACN,IAAI,CACF,OAAO,EACP,MAAM,EACN,sBAAsB,CAAC,CAAC,IAAI,uCAAuC,EACnE,CAAC,CAAC,KAAK,CACR,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM;gBACnD,CAAC,CAAC,IAAI,KAAK,MAAM,CACpB,CAAC;YACF,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM;gBACnD,CAAC,CAAC,IAAI,KAAK,MAAM,CACpB,CAAC;YACF,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,mCAAmC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,IAAI,EAAE,CAAC;YACT,wBAAwB;YACxB,yEAAyE;YACzE,GAAG,CAAC,IAAI,CACN,IAAI,CACF,OAAO,EACP,MAAM,EACN,mCAAmC,CAAC,CAAC,EAAE,GAAG,EAC1C,CAAC,CAAC,KAAK,CACR,CACF,CAAC;YACF,uCAAuC;YACvC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,2CAA2C;YAC7C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,sGAAsG;IACtG,4EAA4E;IAC5E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC;YACtC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAClG,IAAI,CAAC,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,oHAAoH;QACpH,qFAAqF;IACvF,CAAC;IAED,iCAAiC;IACjC,8BAA8B;IAC9B,MAAM,SAAS,GAAgB,EAAE,CAAC;IAClC,SAAS,aAAa,CAAC,GAAgB;QACrC,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,aAAa,CAAC,MAAM,CAAC,CAAC;IAEtB,0CAA0C;IAC1C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YACpG,IAAI,CAAC,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC,EAAE,uCAAuC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACnI,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC,IAAI,uCAAuC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,0GAA0G;IAC5G,CAAC;IAED,iCAAiC;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,IAAI,EAAE,CAAC;YACT,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,oCAAoC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,aAAa;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IAE1D,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,sBAAsB,GAAG,CAAC,MAAM,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACjG,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACtG,IAAI,CAAC,OAAO;oBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,sBAAsB,GAAG,CAAC,MAAM,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,IAAI,CAAC,MAAM,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7F,CAAC;YACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,wBAAwB,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACtF,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,8BAA8B,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5F,CAAC;YACD,wDAAwD;YACxD,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC1D,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,sCAAsC,IAAI,CAAC,MAAM,yCAAyC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1I,CAAC;YACD,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC1I,IAAI,CAAC,OAAO;oBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,8BAA8B,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1G,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACzB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,IAAI,CAAC,MAAM,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7F,CAAC;YACD,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,8BAA8B,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAChI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,+GAA+G;IAC/G,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,yBAAyB,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7F,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,iCAAiC,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACrG,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,cAAc,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACjL,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,iCAAiC,CAAC,GAAG,EAAE,OAAO,CAAC,cAAc,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzL,CAAC;IACH,CAAC;IAED,iHAAiH;IACjH,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,sBAAuB,CAAS,CAAC,IAAI,cAAc,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACzH,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEhE,6GAA6G;IAC7G,gEAAgE;IAChE,yIAAyI;IAEzI,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}

package/package.json

@@ -0,0 +1,90 @@
+{
+  "name": "@fazelstudio/floe",
+  "version": "1.0.0",
+  "description": "Floe diagram language — lightweight, human-readable, AI-friendly DSL for directed graphs (v1.0 stable)",
+  "type": "module",
+  "main": "./dist/src/index.js",
+  "module": "./dist/src/index.js",
+  "types": "./dist/src/index.d.ts",
+  "bin": {
+    "floe": "./dist/src/cli/main.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "import": "./dist/src/index.js"
+    },
+    "./cli": {
+      "types": "./dist/src/cli/main.d.ts",
+      "import": "./dist/src/cli/main.js"
+    },
+    "./lsp": {
+      "types": "./dist/src/lsp/server.d.ts",
+      "import": "./dist/src/lsp/server.js"
+    },
+    "./layout": {
+      "types": "./dist/src/layout/index.d.ts",
+      "import": "./dist/src/layout/index.js"
+    },
+    "./render": {
+      "types": "./dist/src/render/index.d.ts",
+      "import": "./dist/src/render/index.js"
+    },
+    "./pipeline": {
+      "types": "./dist/src/pipeline.d.ts",
+      "import": "./dist/src/pipeline.js"
+    },
+    "./language": {
+      "types": "./dist/src/language/index.d.ts",
+      "import": "./dist/src/language/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE",
+    "CHANGELOG.md"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/fazel-studio/floe.git"
+  },
+  "homepage": "https://github.com/fazel-studio/floe#readme",
+  "bugs": {
+    "url": "https://github.com/fazel-studio/floe/issues"
+  },
+  "author": "Zulfazli (Fazelllyyy) <zulfazlilsm@gmail.com>",
+  "packageManager": "bun@1.3.11",
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "typecheck": "tsc --noEmit",
+    "corpus:check": "vitest run --reporter=verbose",
+    "floe": "node ./dist/src/cli/main.js",
+    "benchmark": "bun benchmarks/run.ts",
+    "bundle:measure": "bun scripts/measure-bundle.ts",
+    "fuzz": "vitest run tests/fuzz.test.ts --reporter=verbose"
+  },
+  "devDependencies": {
+    "@types/node": "^26.4.1",
+    "typescript": "^5.6.0",
+    "vitest": "^2.1.0"
+  },
+  "keywords": [
+    "diagram",
+    "dsl",
+    "floe",
+    "parser",
+    "graph",
+    "visualization",
+    "svg",
+    "language",
+    "lsp",
+    "ai"
+  ],
+  "license": "MIT"
+}