@fazelstudio/floe 1.0.0

package/dist/src/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,cAAc,GACtB,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,CAAC;AAEX,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,wBAAgB,IAAI,CAClB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,KAAK,GACX,UAAU,CAEZ"}

package/dist/src/diagnostics.js

@@ -0,0 +1,4 @@
+export function diag(severity, code, message, range) {
+    return { severity, code, message, range };
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/src/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../src/diagnostics.ts"],"names":[],"mappings":"AAgDA,MAAM,UAAU,IAAI,CAClB,QAAkB,EAClB,IAAoB,EACpB,OAAe,EACf,KAAY;IAEZ,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5C,CAAC"}

package/dist/src/index.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Floe — Diagram DSL public API (v1.0 stable)
+ *
+ * Core language does not depend on CodeMirror, React, Vue, DOM, SVG, Canvas, Dagre, ELK, or LSP.
+ * This entry point re-exports pure language primitives.
+ * Language services are editor-independent (see src/language/).
+ *
+ * Stability: exports listed under "Stable Public API" in docs/api.md are semver-stable.
+ * Exports marked @internal are deprecated and may be hidden in 2.0 — prefer stable wrappers.
+ */
+export type { Position, Range } from "./range.js";
+export { rangeToString } from "./range.js";
+export type { Diagnostic, DiagnosticCode, Severity } from "./diagnostics.js";
+export type { Direction, FloeDiagram, FloeNode, FloeEdge, FloeGroup, FloeAnnotation, FloeLink, EdgeKind, ParseResult, } from "./types.js";
+export { DEFAULT_DIRECTION, DIRECTIONS, IDENTIFIER_RE, isValidIdentifier, } from "./types.js";
+export { Lexer, tokenize, type Token, type TokenType } from "./lexer.js";
+export { Parser, parse as parseRaw, parseRaw as parseRawFloe } from "./parser.js";
+export { validate, type ValidationInput, type ValidationResult } from "./validator.js";
+import type { ParseResult } from "./types.js";
+/**
+ * @stable
+ * Parse Floe source with full pipeline:
+ *  1. lexical analysis
+ *  2. grammar-based parsing (with source ranges, error recovery)
+ *  3. semantic validation (separate phase)
+ *
+ * Never throws on malformed input — returns diagnostics instead.
+ * This is the recommended entry point (stable).
+ */
+export declare function parseFloe(source: string): ParseResult;
+/**
+ * Alias: `parse` is the validated entry as well for ergonomics.
+ * For raw (without validation) use `parseRaw` / `parseRawFloe`.
+ */
+export declare const parse: typeof parseFloe;
+export declare function isValid(source: string): boolean;
+export { getHighlightTokens, getHighlightingInfo, getCompletions, getDiagnostics, getDiagnosticsWithSource, lint, getHover, getSymbols, getFlatSymbols, getDefinition, getDefinitionForWord, getReferences, getReferencesForWord, rename, renameWord, applyEdits, format, isFormatted, getIndentForLine, getIndentationInfo, getIndentationColumn, DEFAULT_INDENT, getFoldingRanges, getFoldingInfo, buildSemanticModel, getSemanticModel, } from "./language/index.js";
+export type { CompletionItem, HoverInfo, SymbolKind, SymbolInformation, Location, TextEdit, FoldingRange, HighlightToken, FormattingOptions, SemanticModel, } from "./language/index.js";
+export { FloeLanguageService, floeLanguageService } from "./language/index.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAG7E,YAAY,EACV,SAAS,EACT,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,cAAc,EACd,QAAQ,EACR,QAAQ,EACR,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,aAAa,EACb,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAKpB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAEzE,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,QAAQ,EAAE,QAAQ,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC;AAElF,OAAO,EAAE,QAAQ,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIvF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAgBrD;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,kBAAY,CAAC;AAG/B,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAG/C;AAMD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,aAAa,EACb,oBAAoB,EACpB,MAAM,EACN,UAAU,EACV,UAAU,EACV,MAAM,EACN,WAAW,EACX,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,cAAc,EACd,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,64 @@
+/**
+ * Floe — Diagram DSL public API (v1.0 stable)
+ *
+ * Core language does not depend on CodeMirror, React, Vue, DOM, SVG, Canvas, Dagre, ELK, or LSP.
+ * This entry point re-exports pure language primitives.
+ * Language services are editor-independent (see src/language/).
+ *
+ * Stability: exports listed under "Stable Public API" in docs/api.md are semver-stable.
+ * Exports marked @internal are deprecated and may be hidden in 2.0 — prefer stable wrappers.
+ */
+export { rangeToString } from "./range.js"; // utility, stable
+export { DEFAULT_DIRECTION, DIRECTIONS, IDENTIFIER_RE, isValidIdentifier, } from "./types.js";
+// ── Stable: high-level parse API ──
+// parseFloe is the recommended entry; parse is alias; parseRaw is raw without validation (stable).
+// Parser class and Lexer are low-level and considered @internal/low-level (still exported for tooling compat).
+export { Lexer, tokenize } from "./lexer.js"; // @internal low-level
+export { Parser, parse as parseRaw, parseRaw as parseRawFloe } from "./parser.js"; // @internal low-level: prefer parseRaw() function
+export { validate } from "./validator.js"; // @internal: validation is internal phase, use parseFloe()
+import { Parser } from "./parser.js";
+import { validate } from "./validator.js";
+/**
+ * @stable
+ * Parse Floe source with full pipeline:
+ *  1. lexical analysis
+ *  2. grammar-based parsing (with source ranges, error recovery)
+ *  3. semantic validation (separate phase)
+ *
+ * Never throws on malformed input — returns diagnostics instead.
+ * This is the recommended entry point (stable).
+ */
+export function parseFloe(source) {
+    const raw = new Parser(source).parse();
+    const validated = validate({
+        diagram: raw.diagram,
+        diagnostics: raw.diagnostics,
+        explicitNodes: raw.explicitNodes,
+        edges: raw.edges,
+        directionDeclarations: raw.directionDeclarations,
+        groups: raw.groups,
+        annotations: raw.annotations,
+        links: raw.links,
+    });
+    return {
+        diagram: validated.diagram,
+        diagnostics: validated.diagnostics,
+    };
+}
+/**
+ * Alias: `parse` is the validated entry as well for ergonomics.
+ * For raw (without validation) use `parseRaw` / `parseRawFloe`.
+ */
+export const parse = parseFloe;
+// Convenience: check if source is valid (no error diagnostics)
+export function isValid(source) {
+    const { diagnostics } = parseFloe(source);
+    return diagnostics.every((d) => d.severity !== "error");
+}
+// ---------------------------------------------------------------------------
+// Language Tooling — editor-independent language services (stable)
+// Re-export explicit stable surface instead of wildcard to avoid leaking internals.
+// ---------------------------------------------------------------------------
+export { getHighlightTokens, getHighlightingInfo, getCompletions, getDiagnostics, getDiagnosticsWithSource, lint, getHover, getSymbols, getFlatSymbols, getDefinition, getDefinitionForWord, getReferences, getReferencesForWord, rename, renameWord, applyEdits, format, isFormatted, getIndentForLine, getIndentationInfo, getIndentationColumn, DEFAULT_INDENT, getFoldingRanges, getFoldingInfo, buildSemanticModel, getSemanticModel, } from "./language/index.js";
+export { FloeLanguageService, floeLanguageService } from "./language/index.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC,CAAC,kBAAkB;AAgB9D,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,aAAa,EACb,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAEpB,qCAAqC;AACrC,mGAAmG;AACnG,+GAA+G;AAC/G,OAAO,EAAE,KAAK,EAAE,QAAQ,EAA8B,MAAM,YAAY,CAAC,CAAC,sBAAsB;AAEhG,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,QAAQ,EAAE,QAAQ,IAAI,YAAY,EAAE,MAAM,aAAa,CAAC,CAAC,kDAAkD;AAErI,OAAO,EAAE,QAAQ,EAA+C,MAAM,gBAAgB,CAAC,CAAC,2DAA2D;AAEnJ,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG1C;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC;QACzB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,qBAAqB,EAAE,GAAG,CAAC,qBAAqB;QAChD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;KACnC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,SAAS,CAAC;AAE/B,+DAA+D;AAC/D,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED,8EAA8E;AAC9E,mEAAmE;AACnE,oFAAoF;AACpF,8EAA8E;AAC9E,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,aAAa,EACb,oBAAoB,EACpB,MAAM,EACN,UAAU,EACV,UAAU,EACV,MAAM,EACN,WAAW,EACX,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAa7B,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/src/language/completion.d.ts

@@ -0,0 +1,6 @@
+import type { CompletionItem } from "./types.js";
+/**
+ * Context-aware completion — operates on semantic model, not random.
+ */
+export declare function getCompletions(source: string, offset: number): CompletionItem[];
+//# sourceMappingURL=completion.d.ts.map

package/dist/src/language/completion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion.d.ts","sourceRoot":"","sources":["../../../src/language/completion.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAkDjD;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,EAAE,CAwS/E"}

package/dist/src/language/completion.js

@@ -0,0 +1,363 @@
+import { tokenize } from "../lexer.js";
+import { getTokenBeforeOffset, getTokenAtOffset, positionAt } from "./utils.js";
+import { Parser } from "../parser.js";
+import { validate } from "../validator.js";
+function parseFloe(source) {
+    const raw = new Parser(source).parse();
+    const validated = validate({
+        diagram: raw.diagram,
+        diagnostics: raw.diagnostics,
+        explicitNodes: raw.explicitNodes,
+        edges: raw.edges,
+        directionDeclarations: raw.directionDeclarations,
+        groups: raw.groups,
+        annotations: raw.annotations,
+        links: raw.links,
+    });
+    return { diagram: validated.diagram, diagnostics: validated.diagnostics };
+}
+const DIRECTIONS = ["TB", "BT", "LR", "RL"];
+const KNOWN_TYPES = [
+    "person",
+    "service",
+    "database",
+    "client",
+    "subsystem",
+    "external",
+    "system",
+    "container",
+    "component",
+    "queue",
+    "store",
+    "gateway",
+];
+const TOP_LEVEL_KEYWORDS = ["direction", "group", "meta", "note", "link"];
+function prefixFilter(items, prefix) {
+    if (!prefix)
+        return items;
+    const lower = prefix.toLowerCase();
+    return items.filter((i) => i.label.toLowerCase().startsWith(lower));
+}
+function getPrefixAtOffset(source, offset) {
+    let start = offset;
+    while (start > 0 && /[A-Za-z0-9_-]/.test(source[start - 1]))
+        start--;
+    return source.slice(start, offset);
+}
+/**
+ * Context-aware completion — operates on semantic model, not random.
+ */
+export function getCompletions(source, offset) {
+    const tokens = tokenize(source);
+    const before = getTokenBeforeOffset(tokens, offset);
+    const at = getTokenAtOffset(tokens, offset);
+    const pos = positionAt(source, offset);
+    const textBefore = source.slice(0, offset);
+    const prefix = getPrefixAtOffset(source, offset);
+    // If inside string or comment, no completions (avoid invalid syntax)
+    if (at && (at.type === "STRING" || at.type === "COMMENT")) {
+        return [];
+    }
+    // Helper to detect context requiring completion
+    const trimmedBefore = textBefore.trimEnd();
+    const lines = source.slice(0, offset).split(/\r?\n/);
+    const currentLinePrefix = lines[lines.length - 1] ?? "";
+    const trimmedLine = currentLinePrefix.trimStart();
+    // 1) After "direction" keyword => suggest directions
+    // Detect if last keyword before offset is "direction" and no direction value yet consumed
+    // Check tokens: look backward for nearest DIRECTION_KW not followed by IDENT before offset
+    {
+        // Find last DIRECTION_KW before offset
+        let lastDirIdx = -1;
+        for (let i = 0; i < tokens.length; i++) {
+            const t = tokens[i];
+            if (t.type === "DIRECTION_KW" && t.range.end.offset <= offset)
+                lastDirIdx = i;
+        }
+        if (lastDirIdx !== -1) {
+            const dirTok = tokens[lastDirIdx];
+            // Check tokens after direction until offset: if there is no IDENT after it (direction value) then suggest
+            let hasValue = false;
+            let valueToken;
+            for (let i = lastDirIdx + 1; i < tokens.length; i++) {
+                const t = tokens[i];
+                if (t.range.start.offset >= offset)
+                    break;
+                if (t.type === "NEWLINE" || t.type === "COMMENT")
+                    break;
+                if (t.type === "IDENT" || t.type === "UNKNOWN") {
+                    hasValue = true;
+                    valueToken = t;
+                    break;
+                }
+            }
+            if (!hasValue) {
+                const items = DIRECTIONS.map((d) => ({
+                    label: d,
+                    kind: "value",
+                    detail: "direction",
+                }));
+                // When cursor is directly after keyword (offset at token end), prefix is empty for value completion
+                // Don't use keyword prefix; check if we are inside a partial value token at cursor
+                let valuePrefix = "";
+                if (at && at.type === "IDENT" && at.range.start.offset > dirTok.range.end.offset) {
+                    valuePrefix = source.slice(at.range.start.offset, offset);
+                }
+                else if (at && at.type === "UNKNOWN" && at.range.start.offset > dirTok.range.end.offset) {
+                    valuePrefix = source.slice(at.range.start.offset, offset);
+                }
+                return prefixFilter(items, valuePrefix);
+            }
+            else {
+                // hasValue true: user may be editing the existing direction value token (partial)
+                // Handle cursor inside or right after valueToken (at may be undefined when at token end)
+                if (valueToken) {
+                    const idx = tokens.indexOf(valueToken);
+                    const prevIsDir = idx > 0 && tokens[idx - 1]?.type === "DIRECTION_KW";
+                    if (prevIsDir && offset >= valueToken.range.start.offset && offset <= valueToken.range.end.offset + 1) {
+                        const valuePrefix = source.slice(valueToken.range.start.offset, offset);
+                        const items = DIRECTIONS.map((d) => ({
+                            label: d,
+                            kind: "value",
+                            detail: "direction",
+                        }));
+                        return prefixFilter(items, valuePrefix);
+                    }
+                }
+                // Fallback for at being IDENT (when offset inside token)
+                if (at && at.type === "IDENT") {
+                    // check previous token is DIRECTION_KW or this token is the value token
+                    const isValueToken = valueToken && at.range.start.offset === valueToken.range.start.offset;
+                    const prevIsDir = (() => {
+                        const idx = tokens.indexOf(at);
+                        return idx > 0 && tokens[idx - 1]?.type === "DIRECTION_KW";
+                    })();
+                    if (isValueToken || prevIsDir) {
+                        const items = DIRECTIONS.map((d) => ({
+                            label: d,
+                            kind: "value",
+                            detail: "direction",
+                        }));
+                        // Use value token prefix, not keyword prefix
+                        const valuePrefix = source.slice(at.range.start.offset, offset);
+                        return prefixFilter(items, valuePrefix);
+                    }
+                }
+                if (at && at.type === "UNKNOWN" && valueToken && at.range.start.offset === valueToken.range.start.offset) {
+                    const items = DIRECTIONS.map((d) => ({
+                        label: d,
+                        kind: "value",
+                        detail: "direction",
+                    }));
+                    const valuePrefix = source.slice(at.range.start.offset, offset);
+                    return prefixFilter(items, valuePrefix);
+                }
+            }
+        }
+        // Also if currentLinePrefix trimmed is exactly "direction" or "direction " etc, or prefix is part of "direction" keyword? handle typo? but not needed
+        // Direct textual check: if trimmedBefore endsWith "direction" (keyword not yet completed + space)
+        if (trimmedBefore.endsWith("direction") && !trimmedBefore.endsWith("direction ")) {
+            // cursor right after keyword without space — also suggest directions after space? but we suggest directions
+            // Provide directions anyway
+            // Actually spec example: After "direction\n" suggest TB etc — means after keyword on next line? Wait example:
+            // After:
+            // direction
+            // suggest TB etc -> means line is "direction" with no value, next line maybe? Or same line start?
+            // Interpret as after typing "direction" and awaiting value
+        }
+    }
+    // 2) Inside brackets [ _ ] — suggest known node types
+    // Detect if previous non-whitespace char before offset is "[" or inside bracket context
+    {
+        // Find last LBRACKET before offset not closed before offset
+        // Simple: look backward for LBRACKET, check if not followed by RBRACKET before offset
+        let lastLbIdx = -1;
+        let lastRbIdx = -1;
+        for (let i = 0; i < tokens.length; i++) {
+            const t = tokens[i];
+            if (t.range.end.offset > offset)
+                break;
+            if (t.type === "LBRACKET")
+                lastLbIdx = i;
+            if (t.type === "RBRACKET")
+                lastRbIdx = i;
+        }
+        if (lastLbIdx !== -1 && lastLbIdx > lastRbIdx) {
+            // Inside brackets
+            const items = KNOWN_TYPES.map((t) => ({
+                label: t,
+                kind: "type",
+                detail: "node type",
+            }));
+            return prefixFilter(items, prefix);
+        }
+    }
+    // 3) After edge operator -> or -- => suggest node ids (existing nodes)
+    {
+        // Find last ARROW/DASHDASH before offset that is on same line and no target yet
+        let lastOpIdx = -1;
+        for (let i = tokens.length - 1; i >= 0; i--) {
+            const t = tokens[i];
+            if (t.range.end.offset <= offset && (t.type === "ARROW" || t.type === "DASHDASH")) {
+                lastOpIdx = i;
+                break;
+            }
+            if (t.type === "NEWLINE" && t.range.start.offset < offset) {
+                // crossed line, but maybe edge is multiline? Floe is single line per statement, so break
+                break;
+            }
+        }
+        if (lastOpIdx !== -1) {
+            const opTok = tokens[lastOpIdx];
+            // Check if there is already a target IDENT after op before offset and before newline
+            let hasTarget = false;
+            for (let i = lastOpIdx + 1; i < tokens.length; i++) {
+                const t = tokens[i];
+                if (t.range.start.offset >= offset)
+                    break;
+                if (t.type === "NEWLINE" || t.type === "COMMENT" || t.type === "RBRACE")
+                    break;
+                if (t.type === "IDENT") {
+                    // Could be target but if prefix exists we still want to suggest? If at is IDENT (partial target) we should suggest filtered node ids
+                    hasTarget = true;
+                    // But if we are currently typing target (at is IDENT), we should still suggest
+                    if (at && at.type === "IDENT" && at.range.start.offset > opTok.range.end.offset) {
+                        hasTarget = false; // still completing target
+                    }
+                    break;
+                }
+            }
+            if (!hasTarget) {
+                // Suggest existing node ids + group ids
+                try {
+                    const { diagram } = parseFloe(source);
+                    const ids = diagram.nodes.map((n) => n.id);
+                    // also groups
+                    const collectGroups = (gs) => {
+                        const out = [];
+                        for (const g of gs) {
+                            out.push(g.id);
+                            out.push(...collectGroups(g.groups));
+                        }
+                        return out;
+                    };
+                    const groupIds = collectGroups(diagram.groups);
+                    const allIds = Array.from(new Set([...ids, ...groupIds]));
+                    const items = allIds.map((id) => ({
+                        label: id,
+                        kind: "variable",
+                        detail: "node",
+                    }));
+                    if (items.length === 0) {
+                        // Fallback suggest placeholder?
+                        return [];
+                    }
+                    return prefixFilter(items, prefix);
+                }
+                catch {
+                    return [];
+                }
+            }
+        }
+    }
+    // 4) At line start or after newline => suggest top-level keywords + existing ids for edge sources?
+    // Check if current line prefix after trimStart is empty or is partial keyword
+    {
+        const lineTrim = trimmedLine;
+        // If line is empty or starts with partial identifier that could be keyword
+        if (lineTrim === "" || /^[A-Za-z]*$/.test(prefix) && lineTrim.length <= prefix.length + 10) {
+            // Determine if we are at start of statement (beginning of line)
+            // Suggest keywords
+            const keywordItems = TOP_LEVEL_KEYWORDS.map((k) => ({
+                label: k,
+                kind: "keyword",
+                detail: "keyword",
+            }));
+            // Also suggest existing node ids as potential edge sources? Might be useful
+            // But to avoid random, we only suggest keywords at line start; user can type edge from existing node by typing its id
+            // For now, suggest keywords filtered by prefix, plus maybe direction values if after direction? already handled
+            // Include node types? No
+            // For broader completions, include existing ids as well when prefix matches?
+            // Let's include node ids when prefix is not empty and not a keyword prefix?
+            // Better: if prefix empty, suggest keywords; if prefix matches keyword start, filter keywords; else also suggest node ids
+            const filteredKeywords = prefixFilter(keywordItems, prefix);
+            if (filteredKeywords.length > 0) {
+                // Also consider suggesting node ids if requested? But keep deterministic
+                // Include node ids as secondary if keyword filter yields many? Keep just keywords for top-level start
+                return filteredKeywords;
+            }
+            // If no keyword matches, fallback to suggest node ids (useful for edge source completion at line start)
+            if (prefix.length > 0) {
+                try {
+                    const { diagram } = parseFloe(source);
+                    const ids = Array.from(new Set(diagram.nodes.map((n) => n.id)));
+                    const idItems = ids.map((id) => ({
+                        label: id,
+                        kind: "variable",
+                        detail: "node id",
+                    }));
+                    const filteredIds = prefixFilter(idItems, prefix);
+                    if (filteredIds.length > 0)
+                        return filteredIds;
+                }
+                catch { }
+            }
+            return filteredKeywords;
+        }
+    }
+    // 5) After "group" keyword — expecting group id? Could suggest?
+    {
+        if (before && before.type === "GROUP_KW") {
+            return []; // expecting new identifier, no suggestion
+        }
+        if (trimmedBefore.endsWith("group") || trimmedBefore.match(/\bgroup\s+$/)) {
+            return [];
+        }
+    }
+    // 6) After "meta", "note", "link" etc — suggest identifiers
+    {
+        if (before && before.type === "META_KW") {
+            // meta key — suggest? no
+            return [];
+        }
+        if (before && before.type === "NOTE_KW") {
+            // note [target] — suggest existing ids
+            try {
+                const { diagram } = parseFloe(source);
+                const ids = Array.from(new Set([...diagram.nodes.map((n) => n.id), ...collectGroupIds(diagram.groups)]));
+                const items = ids.map((id) => ({
+                    label: id,
+                    kind: "variable",
+                    detail: "note target",
+                }));
+                // Also suggest string? But not needed
+                if (items.length > 0)
+                    return prefixFilter(items, prefix);
+            }
+            catch { }
+        }
+        if (before && before.type === "LINK_KW") {
+            try {
+                const { diagram } = parseFloe(source);
+                const ids = Array.from(new Set([...diagram.nodes.map((n) => n.id), ...collectGroupIds(diagram.groups)]));
+                const items = ids.map((id) => ({
+                    label: id,
+                    kind: "variable",
+                    detail: "link target",
+                }));
+                return prefixFilter(items, prefix);
+            }
+            catch { }
+        }
+    }
+    return [];
+}
+function collectGroupIds(groups) {
+    const out = [];
+    for (const g of groups) {
+        out.push(g.id);
+        out.push(...collectGroupIds(g.groups));
+    }
+    return out;
+}
+//# sourceMappingURL=completion.js.map

package/dist/src/language/completion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion.js","sourceRoot":"","sources":["../../../src/language/completion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAc,MAAM,aAAa,CAAC;AAEnD,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC;QACzB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,qBAAqB,EAAE,GAAG,CAAC,qBAAqB;QAChD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAU,CAAC;AACrD,MAAM,WAAW,GAAG;IAClB,QAAQ;IACR,SAAS;IACT,UAAU;IACV,QAAQ;IACR,WAAW;IACX,UAAU;IACV,QAAQ;IACR,WAAW;IACX,WAAW;IACX,OAAO;IACP,OAAO;IACP,SAAS;CACV,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAE1E,SAAS,YAAY,CAAC,KAAuB,EAAE,MAAc;IAC3D,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACnC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,MAAc;IACvD,IAAI,KAAK,GAAG,MAAM,CAAC;IACnB,OAAO,KAAK,GAAG,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QAAE,KAAK,EAAE,CAAC;IACtE,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,MAAc;IAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,qEAAqE;IACrE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,gDAAgD;IAChD,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,iBAAiB,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,EAAE,CAAC;IAElD,qDAAqD;IACrD,0FAA0F;IAC1F,2FAA2F;IAC3F,CAAC;QACC,uCAAuC;QACvC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,MAAM;gBAAE,UAAU,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAE,CAAC;YACnC,0GAA0G;YAC1G,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,UAA6B,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,MAAM;oBAAE,MAAM;gBAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,MAAM;gBACxD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC/C,QAAQ,GAAG,IAAI,CAAC;oBAChB,UAAU,GAAG,CAAU,CAAC;oBACxB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,KAAK,GAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACrD,KAAK,EAAE,CAAC;oBACR,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,WAAW;iBACpB,CAAC,CAAC,CAAC;gBACJ,oGAAoG;gBACpG,mFAAmF;gBACnF,IAAI,WAAW,GAAG,EAAE,CAAC;gBACrB,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;oBACjF,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAC5D,CAAC;qBAAM,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;oBAC1F,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAC5D,CAAC;gBACD,OAAO,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,kFAAkF;gBAClF,yFAAyF;gBACzF,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBACvC,MAAM,SAAS,GAAG,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,cAAc,CAAC;oBACtE,IAAI,SAAS,IAAI,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACtG,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;wBACxE,MAAM,KAAK,GAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACrD,KAAK,EAAE,CAAC;4BACR,IAAI,EAAE,OAAO;4BACb,MAAM,EAAE,WAAW;yBACpB,CAAC,CAAC,CAAC;wBACJ,OAAO,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;gBACD,yDAAyD;gBACzD,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC9B,wEAAwE;oBACxE,MAAM,YAAY,GAAG,UAAU,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;oBAC3F,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE;wBACtB,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;wBAC/B,OAAO,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,cAAc,CAAC;oBAC7D,CAAC,CAAC,EAAE,CAAC;oBACL,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;wBAC9B,MAAM,KAAK,GAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACrD,KAAK,EAAE,CAAC;4BACR,IAAI,EAAE,OAAO;4BACb,MAAM,EAAE,WAAW;yBACpB,CAAC,CAAC,CAAC;wBACJ,6CAA6C;wBAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;wBAChE,OAAO,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;gBACD,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACzG,MAAM,KAAK,GAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACrD,KAAK,EAAE,CAAC;wBACR,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,WAAW;qBACpB,CAAC,CAAC,CAAC;oBACJ,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;oBAChE,OAAO,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;QACH,CAAC;QACD,sJAAsJ;QACtJ,kGAAkG;QAClG,IAAI,aAAa,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACjF,4GAA4G;YAC5G,4BAA4B;YAC5B,8GAA8G;YAC9G,SAAS;YACT,YAAY;YACZ,kGAAkG;YAClG,2DAA2D;QAC7D,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,wFAAwF;IACxF,CAAC;QACC,4DAA4D;QAC5D,sFAAsF;QACtF,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QACnB,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM;gBAAE,MAAM;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS,GAAG,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS,GAAG,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;YAC9C,kBAAkB;YAClB,MAAM,KAAK,GAAqB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACtD,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,WAAW;aACpB,CAAC,CAAC,CAAC;YACJ,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,CAAC;QACC,gFAAgF;QAChF,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;gBAClF,SAAS,GAAG,CAAC,CAAC;gBACd,MAAM;YACR,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;gBAC1D,yFAAyF;gBACzF,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAE,CAAC;YACjC,qFAAqF;YACrF,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,KAAK,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,MAAM;oBAAE,MAAM;gBAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM;gBAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACvB,qIAAqI;oBACrI,SAAS,GAAG,IAAI,CAAC;oBACjB,+EAA+E;oBAC/E,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChF,SAAS,GAAG,KAAK,CAAC,CAAC,0BAA0B;oBAC/C,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,wCAAwC;gBACxC,IAAI,CAAC;oBACH,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;oBACtC,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC3C,cAAc;oBACd,MAAM,aAAa,GAAG,CAAC,EAAyB,EAAY,EAAE;wBAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;wBACzB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;4BACnB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;4BACf,GAAG,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;wBACvC,CAAC;wBACD,OAAO,GAAG,CAAC;oBACb,CAAC,CAAC;oBACF,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC1D,MAAM,KAAK,GAAqB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;wBAClD,KAAK,EAAE,EAAE;wBACT,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,MAAM;qBACf,CAAC,CAAC,CAAC;oBACJ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACvB,gCAAgC;wBAChC,OAAO,EAAE,CAAC;oBACZ,CAAC;oBACD,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrC,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mGAAmG;IACnG,8EAA8E;IAC9E,CAAC;QACC,MAAM,QAAQ,GAAG,WAAW,CAAC;QAC7B,2EAA2E;QAC3E,IAAI,QAAQ,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAC3F,gEAAgE;YAChE,mBAAmB;YACnB,MAAM,YAAY,GAAqB,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACpE,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,SAAS;aAClB,CAAC,CAAC,CAAC;YACJ,4EAA4E;YAC5E,sHAAsH;YACtH,gHAAgH;YAChH,yBAAyB;YACzB,6EAA6E;YAC7E,4EAA4E;YAC5E,0HAA0H;YAC1H,MAAM,gBAAgB,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC5D,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,yEAAyE;gBACzE,sGAAsG;gBACtG,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,wGAAwG;YACxG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC;oBACH,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;oBACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBAChE,MAAM,OAAO,GAAqB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;wBACjD,KAAK,EAAE,EAAE;wBACT,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,SAAS;qBAClB,CAAC,CAAC,CAAC;oBACJ,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBAClD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;wBAAE,OAAO,WAAW,CAAC;gBACjD,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;YACZ,CAAC;YACD,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,CAAC;QACC,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC,CAAC,0CAA0C;QACvD,CAAC;QACD,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1E,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,CAAC;QACC,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACxC,yBAAyB;YACzB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACxC,uCAAuC;YACvC,IAAI,CAAC;gBACH,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;gBACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzG,MAAM,KAAK,GAAqB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;oBAC/C,KAAK,EAAE,EAAE;oBACT,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,aAAa;iBACtB,CAAC,CAAC,CAAC;gBACJ,sCAAsC;gBACtC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC3D,CAAC;YAAC,MAAM,CAAC,CAAA,CAAC;QACZ,CAAC;QACD,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACxC,IAAI,CAAC;gBACH,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;gBACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzG,MAAM,KAAK,GAAqB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;oBAC/C,KAAK,EAAE,EAAE;oBACT,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,aAAa;iBACtB,CAAC,CAAC,CAAC;gBACJ,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YAAC,MAAM,CAAC,CAAA,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,eAAe,CAAC,MAAyC;IAChE,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/src/language/definitions.d.ts

@@ -0,0 +1,9 @@
+import type { Location } from "./types.js";
+/**
+ * Definitions — a node declaration should be identifiable.
+ * Given offset, find definition location of symbol at that offset.
+ */
+export declare function getDefinition(source: string, offset: number): Location | null;
+/** For testing: get definition for a given word directly */
+export declare function getDefinitionForWord(source: string, word: string): Location | null;
+//# sourceMappingURL=definitions.d.ts.map

package/dist/src/language/definitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/language/definitions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAmB3C;;;GAGG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CA4B7E;AAED,4DAA4D;AAC5D,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CAOlF"}

package/dist/src/language/definitions.js

@@ -0,0 +1,70 @@
+import { tokenize } from "../lexer.js";
+import { getTokenAtOffset } from "./utils.js";
+import { Parser } from "../parser.js";
+import { validate } from "../validator.js";
+function parseFloe(source) {
+    const raw = new Parser(source).parse();
+    const validated = validate({
+        diagram: raw.diagram,
+        diagnostics: raw.diagnostics,
+        explicitNodes: raw.explicitNodes,
+        edges: raw.edges,
+        directionDeclarations: raw.directionDeclarations,
+        groups: raw.groups,
+        annotations: raw.annotations,
+        links: raw.links,
+    });
+    return { diagram: validated.diagram, diagnostics: validated.diagnostics };
+}
+/**
+ * Definitions — a node declaration should be identifiable.
+ * Given offset, find definition location of symbol at that offset.
+ */
+export function getDefinition(source, offset) {
+    const tokens = tokenize(source);
+    const tok = getTokenAtOffset(tokens, offset);
+    if (!tok || tok.type !== "IDENT")
+        return null;
+    const id = tok.lexeme;
+    const { diagram } = parseFloe(source);
+    // Search explicit nodes first
+    const node = diagram.nodes.find((n) => n.id === id);
+    if (node) {
+        return { range: node.range };
+    }
+    // Search groups
+    const grp = findGroup(diagram.groups, id);
+    if (grp) {
+        return { range: grp.range };
+    }
+    // If not found as node/group but appears as edge source/target implicit, definition could be first occurrence?
+    // Fallback: find first token with same lexeme
+    for (const t of tokens) {
+        if (t.type === "IDENT" && t.lexeme === id) {
+            return { range: t.range };
+        }
+    }
+    return null;
+}
+/** For testing: get definition for a given word directly */
+export function getDefinitionForWord(source, word) {
+    const { diagram } = parseFloe(source);
+    const node = diagram.nodes.find((n) => n.id === word);
+    if (node)
+        return { range: node.range };
+    const grp = findGroup(diagram.groups, word);
+    if (grp)
+        return { range: grp.range };
+    return null;
+}
+function findGroup(groups, id) {
+    for (const g of groups) {
+        if (g.id === id)
+            return g;
+        const child = findGroup(g.groups, id);
+        if (child)
+            return child;
+    }
+    return undefined;
+}
+//# sourceMappingURL=definitions.js.map

package/dist/src/language/definitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.js","sourceRoot":"","sources":["../../../src/language/definitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC;QACzB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,qBAAqB,EAAE,GAAG,CAAC,qBAAqB;QAChD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC;AAC5E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,MAAc;IAC1D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC;IACtB,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAEtC,8BAA8B;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACpD,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED,gBAAgB;IAChB,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1C,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;IAC9B,CAAC;IAED,+GAA+G;IAC/G,8CAA8C;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;YAC1C,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,oBAAoB,CAAC,MAAc,EAAE,IAAY;IAC/D,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;IACtD,IAAI,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,GAAG;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;IACrC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,MAAyC,EAAE,EAAU;IACtE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE;YAAE,OAAO,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACtC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/src/language/diagnosticsService.d.ts

@@ -0,0 +1,14 @@
+import type { Diagnostic } from "../diagnostics.js";
+/**
+ * Diagnostics API — useful while document is incomplete.
+ * Should produce recoverable diagnostic rather than crashing.
+ * Example: "User ->" should produce E009/E006 not throw.
+ */
+export declare function getDiagnostics(source: string): Diagnostic[];
+export declare function getDiagnosticsWithSource(source: string): {
+    diagnostics: Diagnostic[];
+    hasErrors: boolean;
+};
+/** For LSP/CodeMirror lint integration — returns diagnostics sorted */
+export declare function lint(source: string): Diagnostic[];
+//# sourceMappingURL=diagnosticsService.d.ts.map

package/dist/src/language/diagnosticsService.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticsService.d.ts","sourceRoot":"","sources":["../../../src/language/diagnosticsService.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAmBpD;;;;GAIG;AAEH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE,CAG3D;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG;IAAE,WAAW,EAAE,UAAU,EAAE,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAM1G;AAED,uEAAuE;AACvE,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE,CAEjD"}