@typecad/cuttlefish 1.0.0-alpha.13 → 1.0.0-alpha.15

package/package.json

@@ -1,149 +1,158 @@
-{
-  "name": "@typecad/cuttlefish",
-  "version": "1.0.0-alpha.13",
-  "description": "TypeScript to C++ transpiler — native, Arduino, and bare-metal targets",
-  "type": "module",
-  "main": "./dist/transpile.js",
-  "types": "./dist/transpile.d.ts",
-  "bin": {
-    "cuttlefish": "dist/cli.js"
-  },
-  "exports": {
-    ".": {
-      "types": "./dist/transpile.d.ts",
-      "default": "./dist/transpile.js"
-    },
-    "./testing": {
-      "types": "./dist/testing.d.ts",
-      "default": "./dist/testing.js"
-    },
-    "./api": {
-      "types": "./dist/api/index.d.ts",
-      "default": "./dist/api/index.js"
-    },
-    "./api/shared": {
-      "types": "./dist/api/shared/index.d.ts",
-      "default": "./dist/api/shared/index.js"
-    },
-    "./ui-hook": {
-      "types": "./dist/ui-hook.d.ts",
-      "default": "./dist/ui-hook.js"
-    },
-    "./safety-hook-types": {
-      "types": "./dist/safety-hook.d.ts",
-      "default": "./dist/safety-hook.js"
-    },
-    "./build-ir-state": {
-      "types": "./dist/ir/build-ir-state.d.ts",
-      "default": "./dist/ir/build-ir-state.js"
-    },
-    "./config-loader": {
-      "types": "./dist/config-loader.d.ts",
-      "default": "./dist/config-loader.js"
-    },
-    "./utils/ui": {
-      "types": "./dist/utils/ui.d.ts",
-      "default": "./dist/utils/ui.js"
-    },
-    "./stores/display-profile-store": {
-      "types": "./dist/stores/display-profile-store.d.ts",
-      "default": "./dist/stores/display-profile-store.js"
-    },
-    "./stores/theme-store": {
-      "types": "./dist/stores/theme-store.d.ts",
-      "default": "./dist/stores/theme-store.js"
-    },
-    "./api/schema": {
-      "types": "./dist/api/schema/index.d.ts",
-      "default": "./dist/api/schema/index.js"
-    },
-    "./emit/route-hal-op": {
-      "types": "./dist/emit/route-hal-op.d.ts",
-      "default": "./dist/emit/route-hal-op.js"
-    },
-    "./lib/component-decls": {
-      "types": "./dist/libdef/component-decls.d.ts",
-      "default": "./dist/libdef/component-decls.js"
-    },
-    "./ir/transformers/ui-lowering": {
-      "types": "./dist/ir/transformers/ui-lowering.d.ts",
-      "default": "./dist/ir/transformers/ui-lowering.js"
-    },
-    "./ir/ui-element-auto-wire": {
-      "types": "./dist/ir/ui-element-auto-wire.d.ts",
-      "default": "./dist/ir/ui-element-auto-wire.js"
-    },
-    "./ir/transformers/ui-mount": {
-      "types": "./dist/ir/transformers/ui-mount.d.ts",
-      "default": "./dist/ir/transformers/ui-mount.js"
-    },
-    "./ir/transformers/ui-reactive": {
-      "types": "./dist/ir/transformers/ui-reactive.d.ts",
-      "default": "./dist/ir/transformers/ui-reactive.js"
-    }
-  },
-  "files": [
-    "dist",
-    "assets"
-  ],
-  "publishConfig": {
-    "access": "public"
-  },
-  "scripts": {
-    "build": "tsc",
-    "prepublishOnly": "npm run build",
-    "start": "node dist/cli.js"
-  },
-  "dependencies": {
-    "chalk": "^4.1.2",
-    "typescript": "^5.7.3",
-    "zod": "^3.24.0"
-  },
-  "peerDependencies": {
-    "@typecad/ui": "1.0.0-alpha.13",
-    "@typecad/safety": "1.0.0-alpha.13"
-  },
-  "peerDependenciesMeta": {
-    "@typecad/ui": {
-      "optional": true
-    },
-    "@typecad/safety": {
-      "optional": true
-    }
-  },
-  "optionalDependencies": {
-    "@typecad/expect": "1.0.0-alpha.13",
-    "@typecad/framework-native": "1.0.0-alpha.13"
-  },
-  "devDependencies": {
-    "@types/node": "^22.10.7"
-  },
-  "license": "MIT",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/justind000/typecode.git",
-    "directory": "packages/cuttlefish"
-  },
-  "homepage": "https://github.com/justind000/typecode/tree/main/packages/cuttlefish",
-  "bugs": {
-    "url": "https://github.com/justind000/typecode/issues"
-  },
-  "keywords": [
-    "arduino",
-    "cli",
-    "codegen",
-    "cpp",
-    "cuttlefish",
-    "embedded",
-    "firmware",
-    "microcontroller",
-    "transpiler",
-    "typecad",
-    "typescript"
-  ],
-  "engines": {
-    "node": ">=18"
-  },
-  "author": "typecad0",
-  "sideEffects": false
-}
+{
+  "name": "@typecad/cuttlefish",
+  "version": "1.0.0-alpha.15",
+  "description": "TypeScript to C++ transpiler \u2014 native, Arduino, and bare-metal targets",
+  "type": "module",
+  "main": "./dist/transpile.js",
+  "types": "./dist/transpile.d.ts",
+  "bin": {
+    "cuttlefish": "dist/cli.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/transpile.d.ts",
+      "default": "./dist/transpile.js"
+    },
+    "./testing": {
+      "types": "./dist/testing.d.ts",
+      "default": "./dist/testing.js"
+    },
+    "./api": {
+      "types": "./dist/api/index.d.ts",
+      "default": "./dist/api/index.js"
+    },
+    "./api/shared": {
+      "types": "./dist/api/shared/index.d.ts",
+      "default": "./dist/api/shared/index.js"
+    },
+    "./board-catalog": {
+      "types": "./dist/board-catalog/index.d.ts",
+      "default": "./dist/board-catalog/index.js"
+    },
+    "./ui-hook": {
+      "types": "./dist/ui-hook.d.ts",
+      "default": "./dist/ui-hook.js"
+    },
+    "./safety-hook-types": {
+      "types": "./dist/safety-hook.d.ts",
+      "default": "./dist/safety-hook.js"
+    },
+    "./safety": {
+      "types": "./dist/safety/authoring.d.ts",
+      "default": "./dist/safety/authoring.js"
+    },
+    "./build-ir-state": {
+      "types": "./dist/ir/build-ir-state.d.ts",
+      "default": "./dist/ir/build-ir-state.js"
+    },
+    "./library-packages": {
+      "types": "./dist/library-packages.d.ts",
+      "default": "./dist/library-packages.js"
+    },
+    "./compliance": {
+      "types": "./dist/emit/compliance/index.d.ts",
+      "default": "./dist/emit/compliance/index.js"
+    },
+    "./config-loader": {
+      "types": "./dist/config-loader.d.ts",
+      "default": "./dist/config-loader.js"
+    },
+    "./utils/ui": {
+      "types": "./dist/utils/ui.d.ts",
+      "default": "./dist/utils/ui.js"
+    },
+    "./stores/display-profile-store": {
+      "types": "./dist/stores/display-profile-store.d.ts",
+      "default": "./dist/stores/display-profile-store.js"
+    },
+    "./stores/theme-store": {
+      "types": "./dist/stores/theme-store.d.ts",
+      "default": "./dist/stores/theme-store.js"
+    },
+    "./api/schema": {
+      "types": "./dist/api/schema/index.d.ts",
+      "default": "./dist/api/schema/index.js"
+    },
+    "./emit/route-hal-op": {
+      "types": "./dist/emit/route-hal-op.d.ts",
+      "default": "./dist/emit/route-hal-op.js"
+    },
+    "./ir/transformers/ui-lowering": {
+      "types": "./dist/ir/transformers/ui-lowering.d.ts",
+      "default": "./dist/ir/transformers/ui-lowering.js"
+    },
+    "./ir/ui-element-auto-wire": {
+      "types": "./dist/ir/ui-element-auto-wire.d.ts",
+      "default": "./dist/ir/ui-element-auto-wire.js"
+    },
+    "./ir/transformers/ui-mount": {
+      "types": "./dist/ir/transformers/ui-mount.d.ts",
+      "default": "./dist/ir/transformers/ui-mount.js"
+    },
+    "./ir/transformers/ui-reactive": {
+      "types": "./dist/ir/transformers/ui-reactive.d.ts",
+      "default": "./dist/ir/transformers/ui-reactive.js"
+    }
+  },
+  "files": [
+    "dist",
+    "assets"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc",
+    "prepublishOnly": "npm run build",
+    "start": "node dist/cli.js"
+  },
+  "dependencies": {
+    "@typecad/hal": "1.0.0-alpha.15",
+    "chalk": "^6.0.0",
+    "inquirer-select-pro": "^1.0.0-alpha.9",
+    "typescript": "^5.7.3",
+    "zod": "^4.4.3"
+  },
+  "peerDependencies": {
+    "@typecad/ui": "1.0.0-alpha.15"
+  },
+  "peerDependenciesMeta": {
+    "@typecad/ui": {
+      "optional": true
+    }
+  },
+  "optionalDependencies": {
+    "@typecad/expect": "1.0.0-alpha.15"
+  },
+  "devDependencies": {
+    "@types/node": "^22.10.7"
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/justind000/typecode.git",
+    "directory": "packages/cuttlefish"
+  },
+  "homepage": "https://github.com/justind000/typecode/tree/main/packages/cuttlefish",
+  "bugs": {
+    "url": "https://github.com/justind000/typecode/issues"
+  },
+  "keywords": [
+    "arduino",
+    "cli",
+    "codegen",
+    "cpp",
+    "cuttlefish",
+    "embedded",
+    "firmware",
+    "microcontroller",
+    "transpiler",
+    "typecad",
+    "typescript"
+  ],
+  "engines": {
+    "node": ">=22.11.0"
+  },
+  "author": "typecad0",
+  "sideEffects": false
+}

package/dist/add-preset.d.ts

@@ -1,4 +0,0 @@
-import type { AddCommandOptions } from "./types.js";
-export declare function listAddPresets(): string;
-/** Run `cuttlefish add <preset>`: copy the preset into the project. */
-export declare function runAddPreset(options: AddCommandOptions): void;

package/dist/add-preset.js

@@ -1,74 +0,0 @@
-// ---------------------------------------------------------------------------
-// `cuttlefish add <preset>` — scaffold copy-and-own assets into a project.
-//
-// Presets are files shipped with the package under assets/. The command COPIES
-// them into the user's project (never injected at build time): the user owns
-// the file from day one and the build only reads what they reference. This is
-// the same philosophy as shadcn/ui — components as source you keep, not a
-// runtime dependency.
-// ---------------------------------------------------------------------------
-import fs from "node:fs";
-import path from "node:path";
-import { fileURLToPath } from "node:url";
-import { loadShadcnTheme, applyShadcnTheme } from "./theme-tokens.js";
-import chalk from "chalk";
-const ASSETS_DIR = path.resolve(path.dirname(fileURLToPath(import.meta.url)), "../assets");
-const PRESETS = {
-    shadcn: {
-        source: "shadcn/shadcn.css",
-        dest: "src/styles/shadcn.css",
-        description: "shadcn-style CSS variable tokens + component class recipes (buttons, cards, badges, alerts, ...)",
-        nextSteps: [
-            `Link it from a stylesheet (sibling .ui.css file or a <style> block):`,
-            ``,
-            `    @import "./styles/shadcn.css";`,
-            ``,
-            `Then use the classes on native elements:`,
-            `    <button class="btn btn-primary">Save</button>`,
-            `    <view class="card"> ... <text class="card-title">Title</text> ... </view>`,
-            ``,
-            `Dark theme: the file defines a .dark token set — activate it with`,
-            `themeClass: 'dark' in cuttlefish.config.ts's display block.`,
-            `The file is yours: tune tokens and prune recipes freely.`,
-            ``,
-            `Themes: start from an included one with --theme <name>`,
-            `(see \`cuttlefish theme\` for the list); swap later with the same command.`,
-        ],
-    },
-};
-export function listAddPresets() {
-    return Object.entries(PRESETS).map(([id, p]) => `  ${id.padEnd(10)} ${p.description}`).join("\n");
-}
-/** Run `cuttlefish add <preset>`: copy the preset into the project. */
-export function runAddPreset(options) {
-    const preset = PRESETS[options.preset];
-    if (!preset) {
-        throw new Error(`Unknown preset "${options.preset}". Available presets:\n${listAddPresets()}`);
-    }
-    const src = path.join(ASSETS_DIR, preset.source);
-    if (!fs.existsSync(src)) {
-        throw new Error(`Preset asset missing from the cuttlefish package: ${src}`);
-    }
-    const dest = path.resolve(options.projectRoot, preset.dest);
-    if (fs.existsSync(dest) && !options.force) {
-        throw new Error(`${dest} already exists — re-run with --force to overwrite (your edits will be lost).`);
-    }
-    fs.mkdirSync(path.dirname(dest), { recursive: true });
-    fs.copyFileSync(src, dest);
-    // --theme <name>: merge an included shadcn theme's tokens into the copied
-    // stylesheet (shadcn preset only; no-op for future presets without themes).
-    if (options.theme) {
-        if (options.preset !== "shadcn") {
-            throw new Error(`--theme applies to the shadcn preset only (got "${options.preset}").`);
-        }
-        const theme = loadShadcnTheme(options.theme, options.projectRoot);
-        fs.writeFileSync(dest, applyShadcnTheme(fs.readFileSync(dest, "utf-8"), theme), "utf-8");
-        console.log(chalk.green(`✓`) + ` Theme ${chalk.cyan(theme.name)} tokens merged into the copied file.`);
-    }
-    console.log(chalk.green(`✓`) + ` Added preset ${chalk.cyan(options.preset)} → ${path.relative(options.projectRoot, dest)}`);
-    console.log();
-    console.log(chalk.bold(`Next steps:`));
-    for (const line of preset.nextSteps) {
-        console.log(line ? `  ${line}` : ``);
-    }
-}

package/dist/api/shared/async-symbol-detector.d.ts

@@ -1,11 +0,0 @@
-import type { ProgramIR } from "../index.js";
-/**
- * Walk a program's IR and return true if ANY statement or expression references
- * a cooperative-runtime symbol. Short-circuits on the first hit.
- *
- * Inspects the same node shapes the duplicated framework-strategy walkers did:
- * `raw` expressions, `hal-expr`/`hal-op` nodes whose operation carries raw
- * `code`, and any `raw`-kind subtree. Covers both the statement and expression
- * IR trees.
- */
-export declare function programUsesAsyncRuntimeSymbols(program: ProgramIR): boolean;

package/dist/api/shared/async-symbol-detector.js

@@ -1,140 +0,0 @@
-// ---------------------------------------------------------------------------
-// Shared async-runtime symbol detector
-//
-// Returns true when a program actually references a symbol provided by the
-// cooperative Promise/microtask runtime (MicrotaskQueue, Promise<T>,
-// enqueueMicrotask, cuttlefish_pump_microtasks, the __cuttlefish_async_*
-// HAL helpers, __cuttlefish_wait_pin_edge). This is the precise gate for
-// emitting the `async_runtime` polyfill.
-//
-// It is intentionally NARROWER than "does the program have an async function?"
-// An `async function` whose body only does `await delay(ms)` lowers to a
-// pure millis()-polling state machine (see emit/utils/async-state-machine.ts)
-// that touches NONE of these symbols — so it needs the AsyncTaskClass (gated
-// separately on fn.isAsync) but NOT the Promise runtime. Conflating the two
-// pulls ~250 lines of dead Promise/microtask code into every such sketch.
-//
-// Both framework strategies (Arduino, Zephyr) previously carried a private
-// copy of this walk; this shared version de-duplicates them and is also used
-// centrally by emit/emitters/setup.ts to filter the polyfill id.
-// ---------------------------------------------------------------------------
-/** Tokens that only exist in the cooperative Promise/microtask runtime. */
-const ASYNC_RUNTIME_TOKENS = [
-    "__cuttlefish_async_", // Async.sleep / Async.yield / Async.sleepUntil / Async.currentTask
-    "__cuttlefish_wait_pin_edge", // HAL edge-wait helper (polling-based Promise impl)
-    "enqueueMicrotask", // MicrotaskQueue::enqueue alias
-    "cuttlefish_pump_microtasks", // loop() injection target
-    "typecad_async::", // direct namespace qualification
-    "Promise<", // Promise<T> / Promise<void> instantiation
-];
-/** True if `text` references any async-runtime symbol. */
-function referencesAsyncSymbol(text) {
-    for (const tok of ASYNC_RUNTIME_TOKENS) {
-        if (text.includes(tok))
-            return true;
-    }
-    return false;
-}
-/**
- * Walk a program's IR and return true if ANY statement or expression references
- * a cooperative-runtime symbol. Short-circuits on the first hit.
- *
- * Inspects the same node shapes the duplicated framework-strategy walkers did:
- * `raw` expressions, `hal-expr`/`hal-op` nodes whose operation carries raw
- * `code`, and any `raw`-kind subtree. Covers both the statement and expression
- * IR trees.
- */
-export function programUsesAsyncRuntimeSymbols(program) {
-    const FOUND = {};
-    const seen = new Set();
-    const walkExpr = (expr) => {
-        if (!expr || typeof expr !== "object")
-            return;
-        if (seen.has(expr))
-            return;
-        seen.add(expr);
-        const e = expr;
-        if (e.kind === "raw" && typeof e.value === "string" && referencesAsyncSymbol(e.value)) {
-            throw FOUND;
-        }
-        // HAL method calls that lower via rawCpp() become `hal-expr` nodes whose
-        // `operation` is { operation: "raw", code: "..." }. The Async singleton's
-        // methods (sleep/yield/sleepUntil/currentTask) land here.
-        if (e.kind === "hal-expr" && e.operation && typeof e.operation === "object") {
-            const op = e.operation;
-            if (op.operation === "raw" && typeof op.code === "string" && referencesAsyncSymbol(op.code)) {
-                throw FOUND;
-            }
-        }
-        for (const v of Object.values(e)) {
-            if (Array.isArray(v)) {
-                for (const item of v) {
-                    if (item && typeof item === "object") {
-                        if ("kind" in item && typeof item.kind === "string") {
-                            walkExpr(item);
-                        }
-                        else {
-                            walkStmt(item);
-                        }
-                    }
-                }
-            }
-            else if (v && typeof v === "object" && "kind" in v && typeof v.kind === "string") {
-                walkExpr(v);
-            }
-        }
-    };
-    const walkStmt = (stmt) => {
-        if (!stmt || typeof stmt !== "object")
-            return;
-        if (seen.has(stmt))
-            return;
-        seen.add(stmt);
-        const s = stmt;
-        // HAL method calls that lower via rawCpp() become `hal-op` statements whose
-        // `operation` is { operation: "raw", code: "..." }. The Async singleton's
-        // methods land here at statement level.
-        if (s.kind === "hal-op" && s.operation && typeof s.operation === "object") {
-            const op = s.operation;
-            if (op.operation === "raw" && typeof op.code === "string" && referencesAsyncSymbol(op.code)) {
-                throw FOUND;
-            }
-        }
-        for (const v of Object.values(s)) {
-            if (Array.isArray(v)) {
-                for (const item of v) {
-                    if (item && typeof item === "object") {
-                        if ("body" in item || "statements" in item || "thenBranch" in item || "cases" in item) {
-                            walkStmt(item);
-                        }
-                        else if ("kind" in item && typeof item.kind === "string") {
-                            walkExpr(item);
-                        }
-                    }
-                }
-            }
-            else if (v && typeof v === "object" && "kind" in v && typeof v.kind === "string") {
-                walkExpr(v);
-            }
-            else if (v && typeof v === "object") {
-                walkStmt(v);
-            }
-        }
-    };
-    try {
-        for (const fn of program.functions) {
-            for (const stmt of fn.statements)
-                walkStmt(stmt);
-        }
-        // Top-level statements (outside any function) — e.g. a bare Async.sleep()
-        // called from setup-level code.
-        for (const stmt of program.topLevelStatements)
-            walkStmt(stmt);
-    }
-    catch (e) {
-        if (e === FOUND)
-            return true;
-        throw e;
-    }
-    return false;
-}

package/dist/api/shared/native-display-op-resolver.d.ts

@@ -1,10 +0,0 @@
-import type { DisplayHALOp } from "./display-op-ir.js";
-/**
- * Resolve a display HAL op to a call into the native adapter surface
- * (display_init / display_targetFillRect / etc.). Returns undefined for ops
- * this resolver does not handle.
- */
-export declare function resolveNativeDisplayOp(op: DisplayHALOp): {
-    code?: string;
-    expression?: string;
-} | undefined;

package/dist/api/shared/native-display-op-resolver.js

@@ -1,64 +0,0 @@
-// ---------------------------------------------------------------------------
-// Shared display-op resolver for native (non-Arduino) display strategies.
-//
-// Both NativeAVRStrategy and Esp32Strategy override resolveDisplayOp to return
-// undefined for display.* ops (the design intent: display ops are resolved
-// through the adapter path, not per-op HAL lowering). But the HAL lowering
-// layer still calls resolveDisplayOp for every display.* op emitted by user
-// code (display.init via ui.mount, display.fill_rect/draw_rect/draw_text via
-// direct HAL calls, display.flush per frame).
-//
-// Those ops need to lower to CALLS INTO the adapter surface — the same
-// display_init() / display_targetFillRect() / etc. functions the Adafruit
-// path calls. The native adapters emit those functions with identical
-// signatures, so the lowering is identical across native strategies.
-//
-// This module provides that lowering. Each native strategy's resolveDisplayOp
-// delegates here instead of returning undefined.
-// ---------------------------------------------------------------------------
-/** Render a color value as a C++ hex literal (e.g. 0x07e0) for readable RGB565. */
-function hexColor(c) {
-    return `0x${c.toString(16)}`;
-}
-/**
- * Resolve a display HAL op to a call into the native adapter surface
- * (display_init / display_targetFillRect / etc.). Returns undefined for ops
- * this resolver does not handle.
- */
-export function resolveNativeDisplayOp(op) {
-    switch (op.operation) {
-        case "display.init":
-            // The adapter's display_init() does bus setup, panel init sequence,
-            // rotation, and the initial fillScreen. No backlight GPIO parameter
-            // on native paths — the Adafruit-style backlight pin is handled in
-            // the mount config if needed.
-            return { code: `display_init();` };
-        case "display.fill_rect":
-            // Delegate to the polymorphic target draw so the same call works
-            // whether the active target is the panel or an offscreen canvas.
-            return {
-                code: `display_targetFillRect(display_defaultTarget(), ${op.x}, ${op.y}, ${op.w}, ${op.h}, ${hexColor(op.color)});`,
-            };
-        case "display.draw_rect":
-            return {
-                code: `display_targetDrawRect(display_defaultTarget(), ${op.x}, ${op.y}, ${op.w}, ${op.h}, ${hexColor(op.color)});`,
-            };
-        case "display.draw_text":
-            return {
-                code: [
-                    `display_targetSetCursor(display_defaultTarget(), ${op.x}, ${op.y});`,
-                    `display_targetSetTextColor(display_defaultTarget(), ${hexColor(op.color)});`,
-                    `display_targetSetTextSize(display_defaultTarget(), 2);`,
-                    `display_targetPrint(display_defaultTarget(), ${JSON.stringify(op.text)});`,
-                ].join("\n"),
-            };
-        case "display.flush":
-            // Direct-mode panels (ILI9341, ST7796S) draw immediately — no flush.
-            // Buffered panels (SSD1309) flush via display_partial_refresh, which
-            // the runtime calls through display_partial_refresh directly (not via
-            // HAL op) at frame end.
-            return { code: `/* flush: ${op.rects.length} rect(s) — native display */` };
-        default:
-            return undefined;
-    }
-}

package/dist/create/board-checklist.d.ts

@@ -1,2 +0,0 @@
-import type { BoardSpec } from './board-spec.js';
-export declare function generateFrameworkChecklist(spec: BoardSpec): string;