obix-compiler 0.2.1

package/README.md

@@ -0,0 +1,56 @@
+# obix-compiler
+
+**The OBIX compiler: `.obix` → canonical DOP IR → ES6.**
+
+```bash
+npm install obix-compiler
+```
+
+Installing this package installs accessibility analysis with it.
+
+## API
+
+```ts
+import { compile, compileFile } from "obix-compiler";
+
+const { ok, ir, code, a11y, diagnostics } = compile(source, { path: "Timer.obix" });
+```
+
+## Pipeline
+
+```
+source
+  → scanSections            (obix-parser)
+  → parseTemplate/Script    (obix-parser)
+  → validateObixAST         (obix-spec — the parser seal, Problem 7)
+  → analyzeTemplate         (obix-template)
+  → semantic checks         (unknown binding refs / unknown actions)
+  → analyzeA11y             (obix-accessibility — BEFORE emit, blocks on error)
+  → createScopeToken + scopeCss   (obix-spec + obix-styles — one token, Problem 10)
+  → buildIR                 (canonical DOP IR — DATA FIRST, nothing past here adds logic)
+  → emitModule              (ES6; verbatim <script>, one definition of every action)
+```
+
+## No `--no-a11y` (Problem 5)
+
+`analyzeA11y` runs unconditionally. `hasBlockingA11yError` → `compile()` returns
+`ok: false` with no `code`. There is no option, flag or env var that skips it.
+GATE 7 (`scripts/check-a11y-required.mjs`) proves it.
+
+## Emit modes (Problem 6)
+
+`"linked"` (default) / `"bare"` are implemented for Level 0. `"inline"` /
+`"shared-inline"` throw `UnsupportedFeatureError` (Level 1) — they do not
+silently degrade.
+
+## Dependency role
+
+`obix-spec`, `obix-ir`, `obix-parser`, `obix-template`, `obix-styles`,
+`obix-accessibility`, `obix-validator`. Consumed by `obix-cli` and
+`obix-language-server`. Never depends on any adapter, the runtime, or `obix-timer`.
+
+## Level 0 status
+
+✅ props, state, actions, derived, `every` effect, text/attr/bool/ARIA
+interpolation, `on:` events, single-element `obix:if`, scoped CSS, native-mount
+IR. Deferred: loops, slots, composition, hydration, SCSS, async.

package/dist/compile.d.ts

@@ -0,0 +1,15 @@
+import type { Diagnostic, DopIR, A11yModel, EmitMode } from "obix-spec";
+export interface CompileOptions {
+    path?: string;
+    mode?: EmitMode;
+    irImport?: string;
+}
+export interface CompileResult {
+    ok: boolean;
+    ir?: DopIR;
+    code?: string;
+    a11y?: A11yModel;
+    diagnostics: Diagnostic[];
+}
+export declare function compile(source: string, options?: CompileOptions): CompileResult;
+//# sourceMappingURL=compile.d.ts.map

package/dist/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAW,QAAQ,EAAE,MAAM,WAAW,CAAC;AAQjF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,EAAE,CAAC,EAAE,KAAK,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAmBD,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,cAAmB,GAAG,aAAa,CAqFnF"}

package/dist/compile.js

@@ -0,0 +1,99 @@
+import { validateObixAST, DIAGNOSTIC_CODES, createScopeToken } from "obix-spec";
+import { scanSections, parseTemplate, parseScript, parseStyles } from "obix-parser";
+import { analyzeTemplate } from "obix-template";
+import { scopeCss } from "obix-styles";
+import { analyzeA11y, hasBlockingA11yError } from "obix-accessibility";
+import { buildIR } from "./ir.js";
+import { emitModule } from "./emit.js";
+const PASCAL = /^[A-Z][A-Za-z0-9]*$/;
+function componentNameFromPath(path) {
+    if (!path)
+        return "Component";
+    const base = path.replace(/\\/g, "/").split("/").pop() ?? "Component";
+    return base.replace(/\.obix$/, "");
+}
+export function compile(source, options = {}) {
+    const diagnostics = [];
+    const name = componentNameFromPath(options.path);
+    if (!PASCAL.test(name)) {
+        diagnostics.push({ code: DIAGNOSTIC_CODES.P008_BAD_COMPONENT_NAME, severity: "error", message: `component file must be PascalCase, got "${name}"` });
+    }
+    const scan = scanSections(source);
+    diagnostics.push(...scan.diagnostics);
+    const tpl = scan.sections.template ? parseTemplate(scan.sections.template.raw) : undefined;
+    if (tpl)
+        diagnostics.push(...tpl.diagnostics);
+    const scr = scan.sections.script ? parseScript(scan.sections.script.raw) : undefined;
+    if (scr)
+        diagnostics.push(...scr.diagnostics);
+    const styleRaw = scan.sections.style?.raw ?? "";
+    const sty = parseStyles(styleRaw);
+    diagnostics.push(...sty.diagnostics);
+    const ast = {
+        componentName: name,
+        sections: scan.sections,
+        template: tpl?.ast,
+        script: scr?.model,
+    };
+    const structural = validateObixAST(ast);
+    for (const v of structural.violations) {
+        diagnostics.push({ code: DIAGNOSTIC_CODES.S005_PIPELINE_INVARIANT, severity: "error", message: `${v.rule}: ${v.message}` });
+    }
+    if (!tpl?.ast || !scr?.model || hasErrors(diagnostics)) {
+        return { ok: false, diagnostics };
+    }
+    const template = analyzeTemplate(tpl.ast);
+    const known = new Set([
+        ...scr.model.actionNames,
+        ...scr.model.derivedNames,
+        ...keysOf(scr.model.stateInit),
+        ...keysOf(scr.model.propsInit),
+    ]);
+    for (const b of template.bindings) {
+        for (const dep of b.deps) {
+            if (!known.has(dep)) {
+                diagnostics.push({ code: DIAGNOSTIC_CODES.S002_UNKNOWN_BINDING_REF, severity: "error", message: `binding "${b.expr}" references unknown name "${dep}"` });
+            }
+        }
+    }
+    for (const ev of template.events) {
+        if (!scr.model.actionNames.includes(ev.action)) {
+            diagnostics.push({ code: DIAGNOSTIC_CODES.S001_UNKNOWN_ACTION, severity: "error", message: `on:${ev.event} references unknown action "${ev.action}"` });
+        }
+    }
+    const a11y = analyzeA11y(template);
+    diagnostics.push(...a11y.diagnostics);
+    if (hasBlockingA11yError(a11y.diagnostics)) {
+        return { ok: false, a11y: a11y.model, diagnostics };
+    }
+    if (hasErrors(diagnostics)) {
+        return { ok: false, a11y: a11y.model, diagnostics };
+    }
+    const token = createScopeToken(name, options.path);
+    const scoped = scopeCss(styleRaw, token);
+    diagnostics.push(...scoped.diagnostics);
+    const ir = buildIR({
+        name,
+        script: scr.model,
+        template,
+        a11y: a11y.model,
+        style: { token, css: scoped.css },
+    });
+    const code = emitModule(ir, scr.model, { mode: options.mode, irImport: options.irImport });
+    return { ok: true, ir, code, a11y: a11y.model, diagnostics };
+}
+function hasErrors(d) {
+    return d.some((x) => x.severity === "error");
+}
+function keysOf(objSrc) {
+    if (!objSrc)
+        return [];
+    const inner = objSrc.replace(/^\s*\{/, "").replace(/\}\s*$/, "");
+    const keys = [];
+    const re = /(?:^|,)\s*([A-Za-z_$][\w$]*)\s*:/g;
+    let m;
+    while ((m = re.exec(inner)) !== null)
+        keys.push(m[1]);
+    return keys;
+}
+//# sourceMappingURL=compile.js.map

package/dist/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAEhF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAgBvC,MAAM,MAAM,GAAG,qBAAqB,CAAC;AAErC,SAAS,qBAAqB,CAAC,IAAwB;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,WAAW,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,WAAW,CAAC;IACtE,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AACrC,CAAC;AAWD,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,UAA0B,EAAE;IAClE,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,2CAA2C,IAAI,GAAG,EAAE,CAAC,CAAC;IACvJ,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAClC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAEtC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,IAAI,GAAG;QAAE,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IAE9C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,IAAI,GAAG;QAAE,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC;IAChD,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IAClC,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IAErC,MAAM,GAAG,GAAY;QACnB,aAAa,EAAE,IAAI;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,GAAG,EAAE,GAAG;QAClB,MAAM,EAAE,GAAG,EAAE,KAAK;KACnB,CAAC;IAEF,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC9H,CAAC;IAED,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAG1C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS;QAC5B,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW;QACxB,GAAG,GAAG,CAAC,KAAK,CAAC,YAAY;QACzB,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;QAC9B,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;KAC/B,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,wBAAwB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,IAAI,8BAA8B,GAAG,GAAG,EAAE,CAAC,CAAC;YAC5J,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,mBAAmB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,+BAA+B,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;QAC1J,CAAC;IACH,CAAC;IAGD,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACnC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAExC,MAAM,EAAE,GAAG,OAAO,CAAC;QACjB,IAAI;QACJ,MAAM,EAAE,GAAG,CAAC,KAAK;QACjB,QAAQ;QACR,IAAI,EAAE,IAAI,CAAC,KAAK;QAChB,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE;KAClC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAE3F,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,SAAS,CAAC,CAAe;IAChC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,MAAM,CAAC,MAA0B;IACxC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,EAAE,GAAG,mCAAmC,CAAC;IAC/C,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/emit.d.ts

@@ -0,0 +1,7 @@
+import type { DopIR, EmitMode, ObixScriptModel } from "obix-spec";
+export interface EmitOptions {
+    mode?: EmitMode;
+    irImport?: string;
+}
+export declare function emitModule(ir: DopIR, script: ObixScriptModel, opts?: EmitOptions): string;
+//# sourceMappingURL=emit.d.ts.map

package/dist/emit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../src/emit.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAElE,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAYD,wBAAgB,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,GAAE,WAAgB,GAAG,MAAM,CAiG7F"}

package/dist/emit.js

@@ -0,0 +1,105 @@
+import { UnsupportedFeatureError } from "obix-spec";
+export function emitModule(ir, script, opts = {}) {
+    const mode = opts.mode ?? "linked";
+    if (mode === "inline" || mode === "shared-inline") {
+        throw new UnsupportedFeatureError(`compiler emit mode "${mode}"`, 1);
+    }
+    const irImport = opts.irImport ?? "obix-ir";
+    const N = ir.name;
+    return `/* @generated by obix-compiler — OBIX ${ir.specVersion}, Level ${ir.level}, mode "${mode}" */
+import { createDOP } from ${JSON.stringify(irImport)};
+
+/* ---- verbatim <script> ---- */
+${script.raw.trim()}
+/* ---- end <script> ---- */
+
+const __TEMPLATE = ${JSON.stringify(ir.template)};
+const __STYLE = ${JSON.stringify(ir.style)};
+const __ACTION_PROP_DEPS = ${JSON.stringify(mapPropDeps(ir))};
+const __DERIVED_DEPS = ${JSON.stringify(ir.derivedDeps)};
+
+function __esc(v) {
+  return String(v == null ? "" : v)
+    .replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;").replace(/"/g, "&quot;");
+}
+function __resolve(expr, scope) {
+  const parts = String(expr).trim().split(".");
+  let cur = scope[parts[0]];
+  for (let i = 1; i < parts.length && cur != null; i++) cur = cur[parts[i]];
+  return cur;
+}
+function __renderEl(el, scope) {
+  const cond = el.attrs.find((a) => a.directive === "conditional");
+  if (cond && !__resolve(cond.value, scope)) return "";
+  const VOID = new Set(["br", "hr", "img", "input", "meta", "link"]);
+  const attrs = [];
+  for (const a of el.attrs) {
+    if (a.directive === "event" || a.directive === "conditional") continue;
+    if (a.interpolation != null) {
+      const v = __resolve(a.interpolation, scope);
+      if (a.directive === "bool") { if (v) attrs.push(a.name); }
+      else if (a.directive === "aria") attrs.push(a.name + '="' + (v === true ? "true" : v === false ? "false" : __esc(v)) + '"');
+      else if (v != null && v !== false) attrs.push(a.name + '="' + (v === true ? "" : __esc(v)) + '"');
+    } else if (a.value === null) attrs.push(a.name);
+    else attrs.push(a.name + '="' + __esc(a.value) + '"');
+  }
+  const open = "<" + el.tag + (attrs.length ? " " + attrs.join(" ") : "") + ">";
+  if (VOID.has(el.tag)) return open;
+  const inner = el.children.map((c) => __renderNode(c, scope)).join("");
+  return open + inner + "</" + el.tag + ">";
+}
+function __renderNode(node, scope) {
+  if (node.kind === "text") return __esc(node.value).replace(/\\s+/g, " ");
+  if (node.kind === "interpolation") return __esc(__resolve(node.expr, scope));
+  return __renderEl(node, scope);
+}
+function __render(state, props) {
+  const d = {};
+  const src = (typeof derived !== "undefined" && derived) || {};
+  for (const k of Object.keys(src)) { try { d[k] = src[k](state, props); } catch { d[k] = undefined; } }
+  return __renderEl(__TEMPLATE.root, { ...props, ...state, ...d });
+}
+function __validate(state, props) {
+  if (typeof validate === "function") return validate(state, props);
+  return { valid: true, violations: [] };
+}
+function __normalizeEffects(raw) {
+  const out = {};
+  for (const [name, e] of Object.entries(raw || {})) {
+    out[name] = {
+      name,
+      kind: e.every != null ? "every" : e.after != null ? "after" : "on",
+      every: e.every,
+      dispatch: e.dispatch,
+      whileExpr: typeof e.while === "function" ? e.while.toString() : e.whileExpr,
+      while: typeof e.while === "function" ? e.while : undefined,
+    };
+  }
+  return out;
+}
+
+export const ${N}DOP = createDOP({
+  name: ${JSON.stringify(N)},
+  initialState: state,
+  props: props,
+  actions: actions,
+  derived: typeof derived !== "undefined" ? derived : {},
+  effects: __normalizeEffects(typeof effects !== "undefined" ? effects : {}),
+  validate: __validate,
+  render: __render,
+  template: __TEMPLATE,
+  style: __STYLE,
+  actionPropDeps: __ACTION_PROP_DEPS,
+  derivedDeps: __DERIVED_DEPS,
+});
+
+export default ${N}DOP;
+`;
+}
+function mapPropDeps(ir) {
+    const out = {};
+    for (const [name, decl] of Object.entries(ir.actionDecls))
+        out[name] = decl.propDeps;
+    return out;
+}
+//# sourceMappingURL=emit.js.map

package/dist/emit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.js","sourceRoot":"","sources":["../src/emit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,WAAW,CAAC;AAkBpD,MAAM,UAAU,UAAU,CAAC,EAAS,EAAE,MAAuB,EAAE,OAAoB,EAAE;IACnF,MAAM,IAAI,GAAa,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC;IAC7C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QAClD,MAAM,IAAI,uBAAuB,CAAC,uBAAuB,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC5C,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;IAElB,OAAO,yCAAyC,EAAE,CAAC,WAAW,WAAW,EAAE,CAAC,KAAK,WAAW,IAAI;4BACtE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;;;EAGlD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;;;qBAGE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC;kBAC9B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;6BACb,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;yBACnC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;eA8DxC,CAAC;UACN,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;;;;;;;;;;;;;;iBAcV,CAAC;CACjB,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,EAAS;IAC5B,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IACrF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+import { type CompileOptions, type CompileResult } from "./compile.js";
+export { compile } from "./compile.js";
+export type { CompileOptions, CompileResult } from "./compile.js";
+export { emitModule } from "./emit.js";
+export { buildIR } from "./ir.js";
+export declare function compileFile(path: string, options?: Omit<CompileOptions, "path">): CompileResult;
+export declare function checkSource(source: string, path?: string): {
+    ok: boolean;
+    diagnostics: import("obix-spec").Diagnostic[];
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAUA,OAAO,EAAW,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAGlC,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,IAAI,CAAC,cAAc,EAAE,MAAM,CAAM,GAAG,aAAa,CAGnG;AAGD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM;;;EAGxD"}

package/dist/index.js

@@ -0,0 +1,14 @@
+import { readFileSync } from "node:fs";
+import { compile } from "./compile.js";
+export { compile } from "./compile.js";
+export { emitModule } from "./emit.js";
+export { buildIR } from "./ir.js";
+export function compileFile(path, options = {}) {
+    const source = readFileSync(path, "utf8").replace(/\r\n/g, "\n");
+    return compile(source, { ...options, path });
+}
+export function checkSource(source, path) {
+    const result = compile(source, { path });
+    return { ok: result.ok, diagnostics: result.diagnostics };
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAA2C,MAAM,cAAc,CAAC;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAGlC,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,UAAwC,EAAE;IAClF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjE,OAAO,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAC/C,CAAC;AAGD,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,IAAa;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AAC5D,CAAC"}

package/dist/ir.d.ts

@@ -0,0 +1,13 @@
+import type { DopIR, ObixScriptModel, TemplateDescriptor, A11yModel } from "obix-spec";
+export interface BuildIROptions {
+    name: string;
+    script: ObixScriptModel;
+    template: TemplateDescriptor;
+    a11y: A11yModel;
+    style: {
+        token: string;
+        css: string;
+    };
+}
+export declare function buildIR(opts: BuildIROptions): DopIR;
+//# sourceMappingURL=ir.d.ts.map

package/dist/ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,KAAK,EACL,eAAe,EACf,kBAAkB,EAClB,SAAS,EAIV,MAAM,WAAW,CAAC;AAEnB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,CAAC;IACxB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;CACvC;AAMD,wBAAgB,OAAO,CAAC,IAAI,EAAE,cAAc,GAAG,KAAK,CA4DnD"}

package/dist/ir.js

@@ -0,0 +1,69 @@
+import { SPEC_VERSION, LEVEL } from "obix-spec";
+export function buildIR(opts) {
+    const { name, script, template, a11y, style } = opts;
+    const stateShape = keysOf(script.stateInit);
+    const propsShape = keysOf(script.propsInit);
+    const mentions = (body, ident) => new RegExp(`\\b${ident}\\b`).test(body);
+    const actionDecls = {};
+    for (const a of script.actionNames) {
+        const body = script.members.actions[a] ?? "";
+        const propDeps = propsShape.filter((p) => mentions(body, p));
+        const usesProps = /\bprops\b/.test(body) || propDeps.length > 0;
+        actionDecls[a] = {
+            name: a,
+            arity: usesProps ? 3 : /\bpayload\b|_payload/.test(body) ? 2 : 1,
+            usesProps,
+            propDeps,
+        };
+    }
+    const derivedDeps = {};
+    for (const d of script.derivedNames) {
+        const body = script.members.derived[d] ?? "";
+        derivedDeps[d] = {
+            name: d,
+            propDeps: propsShape.filter((p) => mentions(body, p)),
+            stateDeps: stateShape.filter((s) => mentions(body, s)),
+        };
+    }
+    const effects = {};
+    for (const e of script.effectNames) {
+        const body = script.members.effects[e] ?? "";
+        const every = body.match(/every\s*:\s*(\d+)/);
+        const after = body.match(/after\s*:\s*(\d+)/);
+        const dispatch = body.match(/dispatch\s*:\s*["']([A-Za-z_$][\w$]*)["']/);
+        const whileM = body.match(/while\s*:\s*([^\n,]+)/);
+        effects[e] = {
+            name: e,
+            kind: every ? "every" : after ? "after" : "on",
+            dispatch: dispatch ? dispatch[1] : "",
+            every: every ? Number(every[1]) : undefined,
+            whileExpr: whileM ? whileM[1].trim().replace(/[,}]\s*$/, "").trim() : undefined,
+        };
+    }
+    return {
+        name,
+        specVersion: SPEC_VERSION,
+        level: LEVEL,
+        stateShape,
+        propsShape,
+        actionDecls,
+        derivedDeps,
+        template,
+        events: template.events,
+        style,
+        a11y,
+        effects,
+    };
+}
+function keysOf(objSrc) {
+    if (!objSrc)
+        return [];
+    const inner = objSrc.replace(/^\s*\{/, "").replace(/\}\s*$/, "");
+    const keys = [];
+    const re = /(?:^|,)\s*([A-Za-z_$][\w$]*)\s*:/g;
+    let m;
+    while ((m = re.exec(inner)) !== null)
+        keys.push(m[1]);
+    return keys;
+}
+//# sourceMappingURL=ir.js.map

package/dist/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../src/ir.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAuBhD,MAAM,UAAU,OAAO,CAAC,IAAoB;IAC1C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAErD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE1F,MAAM,WAAW,GAAoC,EAAE,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAChE,WAAW,CAAC,CAAC,CAAC,GAAG;YACf,IAAI,EAAE,CAAC;YACP,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,SAAS;YACT,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAqC,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,WAAW,CAAC,CAAC,CAAC,GAAG;YACf,IAAI,EAAE,CAAC;YACP,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACrD,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;SACvD,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACnD,OAAO,CAAC,CAAC,CAAC,GAAG;YACX,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;YAC9C,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE;YACtC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YAC3C,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;SACjF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,YAAY;QACzB,KAAK,EAAE,KAAK;QACZ,UAAU;QACV,UAAU;QACV,WAAW;QACX,WAAW;QACX,QAAQ;QACR,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,KAAK;QACL,IAAI;QACJ,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,MAA0B;IACxC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,EAAE,GAAG,mCAAmC,CAAC;IAC/C,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/package.json

@@ -0,0 +1,42 @@
+{
+  "name": "obix-compiler",
+  "version": "0.2.1",
+  "description": "The OBIX compiler: source -> sections -> AST -> semantic AST -> canonical DOP IR -> ES6 emit. Accessibility analysis is a HARD dependency; there is no --no-a11y mode.",
+  "license": "MIT",
+  "type": "module",
+  "private": false,
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": ["dist", "README.md", "LICENSE"],
+  "scripts": {
+    "build": "tsc -p tsconfig.json"
+  },
+  "dependencies": {
+    "obix-spec": "0.2.1",
+    "obix-ir": "0.2.1",
+    "obix-parser": "0.2.1",
+    "obix-template": "0.2.1",
+    "obix-styles": "0.2.1",
+    "obix-accessibility": "0.2.1",
+    "obix-validator": "0.2.1"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=20.11.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/obinexusmk2/obix-monorepo-2026.git",
+    "directory": "packages/obix-compiler"
+  }
+}