@naiv/swan-dsl 0.0.1

package/dist/src/semantic.js

@@ -0,0 +1,269 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────────────
+// SWAN DSL — Semantic Checker
+// Enforces static semantic rules SR-1 through SR-6.
+// ─────────────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkSemantics = checkSemantics;
+const types_1 = require("./types");
+function checkSemantics(program, options = {}) {
+    const checker = new SemanticChecker(program, options);
+    checker.check();
+}
+// ---------------------------------------------------------------------------
+// Internal checker class
+// ---------------------------------------------------------------------------
+class SemanticChecker {
+    program;
+    options;
+    pageNames;
+    componentNames;
+    constructor(program, options) {
+        this.program = program;
+        this.options = options;
+        this.pageNames = new Set(program.pages.map((p) => p.name));
+        this.componentNames = new Set(program.components.map((c) => c.name));
+    }
+    check() {
+        this.checkSR1andSR2();
+        this.checkSR6Names();
+        this.collectAndCheckNavTargets();
+        this.checkSR5ComponentCycles();
+        if (this.options.strictMode) {
+            this.checkSR4Reachability();
+        }
+    }
+    // ─── SR-1 & SR-2 ──────────────────────────────────────────────────────────
+    // SR-1: app defines exactly one entry point (guaranteed by grammar)
+    // SR-2: entry must reference a page
+    checkSR1andSR2() {
+        const { app } = this.program;
+        // SR-1: grammar forces exactly one entry, but verify it's non-empty
+        if (!app.entry || app.entry.trim() === "") {
+            throw new types_1.SemanticError("SR-1", "app must define an entry page", app.pos);
+        }
+        // SR-2: entry must be a page
+        if (!this.pageNames.has(app.entry)) {
+            const hint = this.componentNames.has(app.entry)
+                ? ` ("${app.entry}" is a component, not a page)`
+                : ` ("${app.entry}" is not defined)`;
+            throw new types_1.SemanticError("SR-2", `entry "${app.entry}" must reference a page${hint}`, app.pos);
+        }
+    }
+    // ─── SR-6 ─────────────────────────────────────────────────────────────────
+    // Identifiers must be unique within each namespace.
+    checkSR6Names() {
+        // Pages namespace
+        const pagesSeen = new Set();
+        for (const page of this.program.pages) {
+            if (pagesSeen.has(page.name)) {
+                throw new types_1.SemanticError("SR-6", `Duplicate page name "${page.name}"`, page.pos);
+            }
+            pagesSeen.add(page.name);
+        }
+        // Components namespace
+        const componentsSeen = new Set();
+        for (const comp of this.program.components) {
+            if (componentsSeen.has(comp.name)) {
+                throw new types_1.SemanticError("SR-6", `Duplicate component name "${comp.name}"`, comp.pos);
+            }
+            componentsSeen.add(comp.name);
+        }
+        // Actions namespace: action names must be unique per page/component scope
+        // (we collect across the whole program for simplicity)
+        for (const page of this.program.pages) {
+            this.checkActionUniqueness(page.name, page.body);
+        }
+        for (const comp of this.program.components) {
+            this.checkActionUniqueness(comp.name, comp.body);
+        }
+    }
+    collectActions(stmts) {
+        const actions = new Map();
+        for (const stmt of stmts) {
+            if (stmt.kind === "SubmitStmt" || stmt.kind === "ClickStmt") {
+                actions.set(stmt.action, (actions.get(stmt.action) ?? 0) + 1);
+            }
+            if (stmt.kind === "ConditionalStmt") {
+                for (const [k, v] of this.collectActions(stmt.body)) {
+                    actions.set(k, (actions.get(k) ?? 0) + v);
+                }
+            }
+        }
+        return actions;
+    }
+    checkActionUniqueness(scopeName, stmts) {
+        const counts = this.collectActions(stmts);
+        for (const [action, count] of counts) {
+            if (count > 1) {
+                throw new types_1.SemanticError("SR-6", `Duplicate action "${action}" in scope "${scopeName}"`);
+            }
+        }
+    }
+    // ─── SR-3 ─────────────────────────────────────────────────────────────────
+    // All navigation targets must be pages.
+    collectAndCheckNavTargets() {
+        for (const page of this.program.pages) {
+            this.checkNavInStatements(page.body);
+        }
+        for (const comp of this.program.components) {
+            this.checkNavInStatements(comp.body);
+        }
+    }
+    checkNavInStatements(stmts) {
+        for (const stmt of stmts) {
+            this.checkNavInStatement(stmt);
+        }
+    }
+    checkNavInStatement(stmt) {
+        switch (stmt.kind) {
+            case "ButtonStmt":
+            case "LinkStmt":
+                this.validateNavTarget(stmt.nav);
+                break;
+            case "HandlerStmt":
+                this.checkHandlerNav(stmt);
+                break;
+            case "ConditionalStmt":
+                this.checkNavInStatements(stmt.body);
+                break;
+            // SubmitStmt and ClickStmt target actions, not pages directly
+            default:
+                break;
+        }
+    }
+    validateNavTarget(nav) {
+        if (!this.pageNames.has(nav.target)) {
+            const hint = this.componentNames.has(nav.target)
+                ? ` ("${nav.target}" is a component, not a page)`
+                : ` ("${nav.target}" is not defined)`;
+            throw new types_1.SemanticError("SR-3", `Navigation target "${nav.target}" must be a page${hint}`, nav.pos);
+        }
+    }
+    checkHandlerNav(handler) {
+        for (const outcome of handler.outcomes) {
+            if (!this.pageNames.has(outcome.target)) {
+                const hint = this.componentNames.has(outcome.target)
+                    ? ` ("${outcome.target}" is a component, not a page)`
+                    : ` ("${outcome.target}" is not defined)`;
+                throw new types_1.SemanticError("SR-3", `Handler outcome "${outcome.outcome}" targets "${outcome.target}" which must be a page${hint}`, outcome.pos);
+            }
+        }
+    }
+    // ─── SR-5 ─────────────────────────────────────────────────────────────────
+    // Component composition graph must be acyclic.
+    checkSR5ComponentCycles() {
+        // Build adjacency list: component -> list of components it uses
+        const usesMap = new Map();
+        for (const comp of this.program.components) {
+            usesMap.set(comp.name, this.collectUsedComponents(comp.body));
+        }
+        // Also check that all `use` statements reference defined components
+        for (const comp of this.program.components) {
+            for (const used of usesMap.get(comp.name) ?? []) {
+                if (!this.componentNames.has(used)) {
+                    throw new types_1.SemanticError("SR-6", `Component "${comp.name}" uses undefined component "${used}"`, comp.pos);
+                }
+            }
+        }
+        // Pages can also use components — check they exist
+        for (const page of this.program.pages) {
+            for (const used of this.collectUsedComponents(page.body)) {
+                if (!this.componentNames.has(used)) {
+                    throw new types_1.SemanticError("SR-6", `Page "${page.name}" uses undefined component "${used}"`, page.pos);
+                }
+            }
+        }
+        // DFS cycle detection
+        const visited = new Set();
+        const inStack = new Set();
+        const dfs = (name) => {
+            if (inStack.has(name)) {
+                throw new types_1.SemanticError("SR-5", `Cyclic component composition detected: "${name}" is part of a cycle`);
+            }
+            if (visited.has(name))
+                return;
+            inStack.add(name);
+            visited.add(name);
+            for (const dep of usesMap.get(name) ?? []) {
+                dfs(dep);
+            }
+            inStack.delete(name);
+        };
+        for (const name of this.componentNames) {
+            dfs(name);
+        }
+    }
+    collectUsedComponents(stmts) {
+        const used = [];
+        for (const stmt of stmts) {
+            if (stmt.kind === "UseStmt") {
+                used.push(stmt.component);
+            }
+            if (stmt.kind === "ConditionalStmt") {
+                used.push(...this.collectUsedComponents(stmt.body));
+            }
+        }
+        return used;
+    }
+    // ─── SR-4 (strict mode) ───────────────────────────────────────────────────
+    // All pages must be reachable from the entry page.
+    checkSR4Reachability() {
+        const { app, pages, components } = this.program;
+        // Build a page -> reachable pages graph
+        const reachable = new Set();
+        const queue = [app.entry];
+        // Collect all nav targets from a body
+        const navTargetsOf = (stmts) => {
+            const targets = [];
+            for (const stmt of stmts) {
+                if (stmt.kind === "ButtonStmt" || stmt.kind === "LinkStmt") {
+                    targets.push(stmt.nav.target);
+                }
+                if (stmt.kind === "HandlerStmt") {
+                    for (const o of stmt.outcomes)
+                        targets.push(o.target);
+                }
+                if (stmt.kind === "ConditionalStmt") {
+                    targets.push(...navTargetsOf(stmt.body));
+                }
+            }
+            return targets;
+        };
+        // Component bodies contribute nav targets to any page that uses them
+        const compNavTargets = new Map();
+        for (const comp of components) {
+            compNavTargets.set(comp.name, navTargetsOf(comp.body));
+        }
+        const pageMap = new Map(pages.map((p) => [p.name, p]));
+        while (queue.length > 0) {
+            const name = queue.shift();
+            if (reachable.has(name))
+                continue;
+            reachable.add(name);
+            const page = pageMap.get(name);
+            if (!page)
+                continue;
+            // Direct nav targets
+            for (const t of navTargetsOf(page.body)) {
+                if (!reachable.has(t))
+                    queue.push(t);
+            }
+            // Nav targets from used components
+            for (const stmt of page.body) {
+                if (stmt.kind === "UseStmt") {
+                    for (const t of compNavTargets.get(stmt.component) ?? []) {
+                        if (!reachable.has(t))
+                            queue.push(t);
+                    }
+                }
+            }
+        }
+        for (const page of pages) {
+            if (!reachable.has(page.name)) {
+                throw new types_1.SemanticError("SR-4", `Page "${page.name}" is not reachable from entry "${app.entry}"`, page.pos);
+            }
+        }
+    }
+}
+//# sourceMappingURL=semantic.js.map

package/dist/src/semantic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../src/semantic.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,8BAA8B;AAC9B,oDAAoD;AACpD,gFAAgF;;AAkBhF,wCAMC;AAtBD,mCASiB;AAOjB,SAAgB,cAAc,CAC1B,OAAgB,EAChB,UAAgC,EAAE;IAElC,MAAM,OAAO,GAAG,IAAI,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACtD,OAAO,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC;AAED,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,MAAM,eAAe;IAKI;IACA;IALJ,SAAS,CAAc;IACvB,cAAc,CAAc;IAE7C,YACqB,OAAgB,EAChB,OAA6B;QAD7B,YAAO,GAAP,OAAO,CAAS;QAChB,YAAO,GAAP,OAAO,CAAsB;QAE9C,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,KAAK;QACD,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,yBAAyB,EAAE,CAAC;QACjC,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1B,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAChC,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,oEAAoE;IACpE,oCAAoC;IAE5B,cAAc;QAClB,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,oEAAoE;QACpE,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,qBAAa,CAAC,MAAM,EAAE,+BAA+B,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9E,CAAC;QACD,6BAA6B;QAC7B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC3C,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,+BAA+B;gBAChD,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,mBAAmB,CAAC;YACzC,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,UAAU,GAAG,CAAC,KAAK,0BAA0B,IAAI,EAAE,EACnD,GAAG,CAAC,GAAG,CACV,CAAC;QACN,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,oDAAoD;IAE5C,aAAa;QACjB,kBAAkB;QAClB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,wBAAwB,IAAI,CAAC,IAAI,GAAG,EACpC,IAAI,CAAC,GAAG,CACX,CAAC;YACN,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,uBAAuB;QACvB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,6BAA6B,IAAI,CAAC,IAAI,GAAG,EACzC,IAAI,CAAC,GAAG,CACX,CAAC;YACN,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QAED,0EAA0E;QAC1E,uDAAuD;QACvD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACL,CAAC;IAEO,cAAc,CAAC,KAAkB;QACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAClC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClD,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9C,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAEO,qBAAqB,CAAC,SAAiB,EAAE,KAAkB;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YACnC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACZ,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,qBAAqB,MAAM,eAAe,SAAS,GAAG,CACzD,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,wCAAwC;IAEhC,yBAAyB;QAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;IACL,CAAC;IAEO,oBAAoB,CAAC,KAAkB;QAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACL,CAAC;IAEO,mBAAmB,CAAC,IAAe;QACvC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,YAAY,CAAC;YAClB,KAAK,UAAU;gBACX,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjC,MAAM;YACV,KAAK,aAAa;gBACd,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAC3B,MAAM;YACV,KAAK,iBAAiB;gBAClB,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,MAAM;YACV,8DAA8D;YAC9D;gBACI,MAAM;QACd,CAAC;IACL,CAAC;IAEO,iBAAiB,CAAC,GAAc;QACpC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC5C,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,+BAA+B;gBACjD,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,mBAAmB,CAAC;YAC1C,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,sBAAsB,GAAG,CAAC,MAAM,mBAAmB,IAAI,EAAE,EACzD,GAAG,CAAC,GAAG,CACV,CAAC;QACN,CAAC;IACL,CAAC;IAEO,eAAe,CAAC,OAAoB;QACxC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;oBAChD,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,+BAA+B;oBACrD,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,mBAAmB,CAAC;gBAC9C,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,oBAAoB,OAAO,CAAC,OAAO,cAAc,OAAO,CAAC,MAAM,yBAAyB,IAAI,EAAE,EAC9F,OAAO,CAAC,GAAG,CACd,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,+CAA+C;IAEvC,uBAAuB;QAC3B,gEAAgE;QAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,CAAC;QAED,oEAAoE;QACpE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9C,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,cAAc,IAAI,CAAC,IAAI,+BAA+B,IAAI,GAAG,EAC7D,IAAI,CAAC,GAAG,CACX,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QACD,mDAAmD;QACnD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,SAAS,IAAI,CAAC,IAAI,+BAA+B,IAAI,GAAG,EACxD,IAAI,CAAC,GAAG,CACX,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,sBAAsB;QACtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAQ,EAAE;YAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,2CAA2C,IAAI,sBAAsB,CACxE,CAAC;YACN,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YAE9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAElB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACxC,GAAG,CAAC,GAAG,CAAC,CAAC;YACb,CAAC;YAED,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,CAAC;QACd,CAAC;IACL,CAAC;IAEO,qBAAqB,CAAC,KAAkB;QAC5C,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC9B,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACxD,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,6EAA6E;IAC7E,mDAAmD;IAE3C,oBAAoB;QACxB,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;QAEhD,wCAAwC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,MAAM,KAAK,GAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEpC,sCAAsC;QACtC,MAAM,YAAY,GAAG,CAAC,KAAkB,EAAY,EAAE;YAClD,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACzD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAClC,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;wBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC1D,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7C,CAAC;YACL,CAAC;YACD,OAAO,OAAO,CAAC;QACnB,CAAC,CAAC;QAEF,qEAAqE;QACrE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAmB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEzE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC5B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAClC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEpB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,qBAAqB;YACrB,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzC,CAAC;YAED,mCAAmC;YACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC1B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;wBACvD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;4BAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACzC,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,qBAAa,CACnB,MAAM,EACN,SAAS,IAAI,CAAC,IAAI,kCAAkC,GAAG,CAAC,KAAK,GAAG,EAChE,IAAI,CAAC,GAAG,CACX,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}

package/dist/src/types.d.ts

@@ -0,0 +1,160 @@
+export interface Position {
+    line: number;
+    col: number;
+}
+export interface StringLiteral {
+    kind: "StringLiteral";
+    value: string;
+    pos: Position;
+}
+export interface NumberLiteral {
+    kind: "NumberLiteral";
+    value: number;
+    pos: Position;
+}
+export interface BooleanLiteral {
+    kind: "BooleanLiteral";
+    value: boolean;
+    pos: Position;
+}
+export type Literal = StringLiteral | NumberLiteral | BooleanLiteral;
+export interface IdentifierExpr {
+    kind: "IdentifierExpr";
+    name: string;
+    pos: Position;
+}
+/** Dot-access: user.role, session.token, env.name */
+export interface MemberExpr {
+    kind: "MemberExpr";
+    object: IdentifierExpr;
+    member: string;
+    pos: Position;
+}
+export type BinaryOperator = "==" | "!=" | "<" | ">" | "<=" | ">=" | "&&" | "||";
+export interface BinaryExpr {
+    kind: "BinaryExpr";
+    operator: BinaryOperator;
+    left: Expression;
+    right: Expression;
+    pos: Position;
+}
+export interface UnaryExpr {
+    kind: "UnaryExpr";
+    operator: "!";
+    operand: Expression;
+    pos: Position;
+}
+export type Expression = IdentifierExpr | MemberExpr | Literal | BinaryExpr | UnaryExpr;
+export interface NavTarget {
+    /** The page identifier this navigation points to */
+    target: string;
+    pos: Position;
+}
+export interface OutcomeClause {
+    /** The outcome label, e.g. "success" or "error" */
+    outcome: string;
+    /** The page identifier to navigate to */
+    target: string;
+    pos: Position;
+}
+export interface HeaderStmt {
+    kind: "HeaderStmt";
+    text: string;
+    pos: Position;
+}
+export interface TextStmt {
+    kind: "TextStmt";
+    text: string;
+    pos: Position;
+}
+export interface ButtonStmt {
+    kind: "ButtonStmt";
+    label: string;
+    nav: NavTarget;
+    pos: Position;
+}
+export interface LinkStmt {
+    kind: "LinkStmt";
+    label: string;
+    nav: NavTarget;
+    pos: Position;
+}
+export interface FieldStmt {
+    kind: "FieldStmt";
+    name: string;
+    pos: Position;
+}
+export interface InputStmt {
+    kind: "InputStmt";
+    name: string;
+    pos: Position;
+}
+export interface UseStmt {
+    kind: "UseStmt";
+    component: string;
+    pos: Position;
+}
+export interface SubmitStmt {
+    kind: "SubmitStmt";
+    label: string;
+    action: string;
+    pos: Position;
+}
+export interface ClickStmt {
+    kind: "ClickStmt";
+    label: string;
+    action: string;
+    pos: Position;
+}
+export interface HandlerStmt {
+    kind: "HandlerStmt";
+    action: string;
+    outcomes: OutcomeClause[];
+    pos: Position;
+}
+export interface ConditionalStmt {
+    kind: "ConditionalStmt";
+    condition: Expression;
+    body: Statement[];
+    pos: Position;
+}
+export type Statement = HeaderStmt | TextStmt | ButtonStmt | LinkStmt | FieldStmt | InputStmt | UseStmt | SubmitStmt | ClickStmt | HandlerStmt | ConditionalStmt;
+export interface AppDecl {
+    kind: "AppDecl";
+    name: string;
+    entry: string;
+    pos: Position;
+}
+export interface PageDecl {
+    kind: "PageDecl";
+    name: string;
+    body: Statement[];
+    pos: Position;
+}
+export interface ComponentDecl {
+    kind: "ComponentDecl";
+    name: string;
+    body: Statement[];
+    pos: Position;
+}
+export interface Program {
+    kind: "Program";
+    app: AppDecl;
+    pages: PageDecl[];
+    components: ComponentDecl[];
+}
+export declare class ParseError extends Error {
+    readonly pos: Position;
+    constructor(message: string, pos: Position);
+}
+export type SemanticRuleCode = "SR-1" | "SR-2" | "SR-3" | "SR-4" | "SR-5" | "SR-6";
+export declare class SemanticError extends Error {
+    readonly rule: SemanticRuleCode;
+    readonly pos?: Position | undefined;
+    constructor(rule: SemanticRuleCode, message: string, pos?: Position | undefined);
+}
+export interface ParseOptions {
+    /** Enable SR-4: all pages must be reachable from entry */
+    strictMode?: boolean;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAQA,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACf;AAMD,MAAM,WAAW,aAAa;IAC1B,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC1B,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,OAAO,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,MAAM,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,cAAc,CAAC;AAMrE,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,qDAAqD;AACrD,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,MAAM,cAAc,GACpB,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,CAAC;AAEX,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,cAAc,CAAC;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,UAAU,CAAC;IAClB,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,GAAG,CAAC;IACd,OAAO,EAAE,UAAU,CAAC;IACpB,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,MAAM,UAAU,GAChB,cAAc,GACd,UAAU,GACV,OAAO,GACP,UAAU,GACV,SAAS,CAAC;AAMhB,MAAM,WAAW,SAAS;IACtB,oDAAoD;IACpD,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAMD,MAAM,WAAW,aAAa;IAC1B,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAMD,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,SAAS,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,SAAS,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,OAAO;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,iBAAiB,CAAC;IACxB,SAAS,EAAE,UAAU,CAAC;IACtB,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,MAAM,SAAS,GACf,UAAU,GACV,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,UAAU,GACV,SAAS,GACT,WAAW,GACX,eAAe,CAAC;AAMtB,MAAM,WAAW,OAAO;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,GAAG,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC1B,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,GAAG,EAAE,QAAQ,CAAC;CACjB;AAMD,MAAM,WAAW,OAAO;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,OAAO,CAAC;IACb,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,UAAU,EAAE,aAAa,EAAE,CAAC;CAC/B;AAMD,qBAAa,UAAW,SAAQ,KAAK;aAGb,GAAG,EAAE,QAAQ;gBAD7B,OAAO,EAAE,MAAM,EACC,GAAG,EAAE,QAAQ;CAKpC;AAED,MAAM,MAAM,gBAAgB,GACtB,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,CAAC;AAEb,qBAAa,aAAc,SAAQ,KAAK;aAEhB,IAAI,EAAE,gBAAgB;aAEtB,GAAG,CAAC,EAAE,QAAQ;gBAFd,IAAI,EAAE,gBAAgB,EACtC,OAAO,EAAE,MAAM,EACC,GAAG,CAAC,EAAE,QAAQ,YAAA;CAMrC;AAMD,MAAM,WAAW,YAAY;IACzB,0DAA0D;IAC1D,UAAU,CAAC,EAAE,OAAO,CAAC;CACxB"}

package/dist/src/types.js

@@ -0,0 +1,31 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────────────
+// SWAN DSL — Strict TypeScript AST Types
+// ─────────────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SemanticError = exports.ParseError = void 0;
+// ---------------------------------------------------------------------------
+// Error types
+// ---------------------------------------------------------------------------
+class ParseError extends Error {
+    pos;
+    constructor(message, pos) {
+        super(`ParseError at ${pos.line}:${pos.col} — ${message}`);
+        this.pos = pos;
+        this.name = "ParseError";
+    }
+}
+exports.ParseError = ParseError;
+class SemanticError extends Error {
+    rule;
+    pos;
+    constructor(rule, message, pos) {
+        const loc = pos ? ` at ${pos.line}:${pos.col}` : "";
+        super(`SemanticError [${rule}]${loc} — ${message}`);
+        this.rule = rule;
+        this.pos = pos;
+        this.name = "SemanticError";
+    }
+}
+exports.SemanticError = SemanticError;
+//# sourceMappingURL=types.js.map

package/dist/src/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,gFAAgF;;;AAwOhF,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAa,UAAW,SAAQ,KAAK;IAGb;IAFpB,YACI,OAAe,EACC,GAAa;QAE7B,KAAK,CAAC,iBAAiB,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,MAAM,OAAO,EAAE,CAAC,CAAC;QAF3C,QAAG,GAAH,GAAG,CAAU;QAG7B,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC7B,CAAC;CACJ;AARD,gCAQC;AAUD,MAAa,aAAc,SAAQ,KAAK;IAEhB;IAEA;IAHpB,YACoB,IAAsB,EACtC,OAAe,EACC,GAAc;QAE9B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,KAAK,CAAC,kBAAkB,IAAI,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC,CAAC;QALpC,SAAI,GAAJ,IAAI,CAAkB;QAEtB,QAAG,GAAH,GAAG,CAAW;QAI9B,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAChC,CAAC;CACJ;AAVD,sCAUC"}

package/dist/test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=test.d.ts.map

package/dist/test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test.d.ts","sourceRoot":"","sources":["../test.ts"],"names":[],"mappings":""}

package/dist/test.js

@@ -0,0 +1,47 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const index_1 = require("./src/index");
+const EXAMPLE_DSL = `
+app MyApp {
+  entry Home
+}
+
+page Home {
+  header "Welcome"
+  button "Log in" -> Login
+}
+
+component LoginForm {
+  field email
+  field password
+
+  submit "Continue" -> auth
+
+  on auth {
+    success -> Dashboard
+    error -> LoginError
+  }
+}
+
+page Login {
+  header "Login"
+  use LoginForm
+}
+
+page LoginError {
+  text "Invalid credentials"
+  button "Retry" -> Login
+}
+
+page Dashboard {
+  header "Dashboard"
+  text "Hello!"
+  button "Logout" -> Home
+}
+`.trim();
+async function main() {
+    const program = (0, index_1.parse)(EXAMPLE_DSL);
+    console.log("Parsed Program:\n" + JSON.stringify(program, null, 2));
+}
+// main().catch(console.error).finally(() => process.exit(0));
+//# sourceMappingURL=test.js.map

package/dist/test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test.js","sourceRoot":"","sources":["../test.ts"],"names":[],"mappings":";;AAAA,uCAAoC;AAEpC,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCnB,CAAC,IAAI,EAAE,CAAC;AAET,KAAK,UAAU,IAAI;IACjB,MAAM,OAAO,GAAG,IAAA,aAAK,EAAC,WAAW,CAAC,CAAC;IACnC,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,8DAA8D"}

package/package.json

@@ -0,0 +1,28 @@
+{
+  "name": "@naiv/swan-dsl",
+  "version": "0.0.1",
+  "description": "SWAN DSL Parser",
+  "main": "dist/src/index.js",
+  "scripts": {
+    "build": "rm -rf dist && tsc",
+    "test": "node dist"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "dist",
+    "package.json"
+  ],
+  "keywords": [],
+  "author": "",
+  "license": "ISC",
+  "devDependencies": {
+    "@types/moo": "^0.5.10",
+    "@types/node": "^25.3.0",
+    "typescript": "^5.9.3"
+  },
+  "dependencies": {
+    "moo": "^0.5.2"
+  }
+}