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

package/dist/api/config.d.ts

@@ -36,8 +36,23 @@ export interface CuttlefishZephyrConfig {
     kconfig?: Record<string, string>;
     /** Extra arguments forwarded to `west build`. */
     cmakeArgs?: string[];
-    /** Override the west flash runner (e.g. 'nrfjprog', 'jlink'). */
+    /**
+     * Named probe method from the board's supported table (e.g. 'stlink',
+     * 'dfu', 'jlink') — what `--probe` on the CLI also accepts. Serves both
+     * flashing and debugging; resolves to a west runner plus the args the
+     * method needs. The board package is the source of the table. Mutually
+     * exclusive with `runner`.
+     */
+    probe?: string;
+    /** Override the west flash runner (e.g. 'nrfjprog', 'jlink', 'openocd'). */
     runner?: string;
+    /**
+     * Extra arguments appended verbatim to `west flash` after the runner —
+     * anything the chosen runner's parser accepts. Example for an ST-Link
+     * clone with no SRST line wired to the target:
+     *   runnerArgs: ['--cmd-pre-init=reset_config none']
+     */
+    runnerArgs?: string[];
 }
 /**
  * Root configuration object exported from `cuttlefish.config.ts`.
@@ -48,18 +63,22 @@ export interface CuttlefishConfig {
     /** Target architecture identifier (e.g. 'avr', 'esp32', 'rp2040'). */
     target: ArchitectureIdentifier;
     /**
-     * MCU package providing silicon definitions.
-     * Example: '@typecad/mcu-atmega328p'
-     *
-     * Optional for native/host targets — a desktop build has no MCU (the
-     * loader generates a boardless `@typecad/board` shim). Embedded targets
-     * should set this (or the deprecated `board`).
+     * Zephyr board target — the qualified `west build -b` argument (e.g.
+     * 'esp32s3_devkitc/esp32s3/procpu'). The project-local board module
+     * (.cuttlefish/board.ts + board.json) is a derived artifact: every build
+     * regenerates it when any input moves — this field, the local board
+     * catalog, or the Zephyr tree the catalog was generated from. The catalog
+     * itself is always local (`cuttlefish board sync` rebuilds it from your
+     * tree); there is no compiled-in board database.
      */
-    mcu?: string;
+    board?: string;
     /**
-     * Board package to use. (Deprecated — use mcu + contract instead)
+     * Zephyr SoC name for contract-based projects (custom PCBs with no board
+     * target) — e.g. 'stm32f411xe'. Selects the curated soc descriptor whose
+     * pin set the contract narrows against. Required with `contract` on
+     * embedded targets.
      */
-    board?: string;
+    soc?: string;
     /**
      * Path to a TypeCAD contract file (*.contract.json).
      * If provided, the transpiler will generate a narrowed board definition.
@@ -71,7 +90,7 @@ export interface CuttlefishConfig {
     framework?: string;
     /**
      * ESP32 PSRAM type. When set, the framework emits the PSRAM-enabling
-     * Kconfig (Zephyr) / define + FQBN option (Arduino) so large canvas
+     * Kconfig + BOARD_HAS_PSRAM define (Zephyr) so large canvas
      * allocations (scroll viewports, lists) prefer external RAM. No effect
      * on boards without PSRAM.
      */
@@ -94,10 +113,6 @@ export interface CuttlefishConfig {
      * Toolchain configuration for compile/upload operations.
      */
     toolchain?: CuttlefishToolchainConfig;
-    /**
-     * Console output configuration.
-     */
-    console?: CuttlefishConsoleConfig;
     /**
      * Framework-specific configuration.
      */
@@ -124,18 +139,6 @@ interface CuttlefishToolchainConfig {
     /** Framework-specific toolchain options. Each framework reads its own key. */
     frameworkOptions?: Record<string, unknown>;
 }
-/**
- * Console output configuration for the target framework.
- */
-interface CuttlefishConsoleConfig {
-    /** Default baud rate for console output when auto-injected. Default: 9600 */
-    baudRate?: number;
-    /**
-     * Serial port for upload and monitor (e.g. 'COM4', '/dev/ttyACM0').
-     * Can be overridden by the --port CLI flag.
-     */
-    port?: string;
-}
 /**
  * Configuration for the `cuttlefish-test` hardware test runner.
  */

package/dist/api/schema/types.d.ts

@@ -54,8 +54,6 @@ export interface PeripheralFunction {
     instance: number;
     /** Function role (e.g. "sda", "scl", "mosi", "miso"). */
     role: string;
-    /** Timer associated with this PWM function (e.g. "timer0", "timer1"). */
-    timer?: string;
 }
 export interface PinDefinitions {
     /** Offset for analog pin numbers (e.g. A0 = 14 on Uno). */
@@ -93,6 +91,12 @@ export interface PinDefinitions {
     led?: string;
     /** On-board button pin name. */
     button?: string;
+    /**
+     * Additional named board pins (e.g. a PWM-driven onboard LED). Keys should
+     * be snake_case so the flattened `pins.<key>` entry registers the
+     * UPPER_SNAKE identifier in the transpiler's pin alias map.
+     */
+    [key: string]: unknown;
 }
 export interface PeripheralInstance {
     instance: number;
@@ -201,7 +205,7 @@ export interface BuildConfig {
  * Describes the silicon capabilities that are independent of any board.
  */
 export interface MCUDefinition {
-    /** MCU identifier (e.g. "atmega328p"). */
+    /** MCU identifier (e.g. "stm32f411"). */
     id: string;
     /** Human-readable name. */
     name: string;
@@ -217,6 +221,19 @@ export interface MCUDefinition {
     features: FeatureFlags;
     /** MCU-specific build configuration. */
     build: BuildConfig;
+    /**
+     * Silicon-level @typecad/framework-zephyr chip data for this MCU. The lower
+     * layer of the same record boards carry (BoardDefinition.zephyr): SoC
+     * name(s), devicetree includes, GPIO controller split, default console and
+     * clock plan — facts of the chip, not of any PCB. An MCU-only config (no
+     * board package) flattens these into board constants under `zephyr.*` so
+     * framework-zephyr's resolveChipFromBoard() reconstructs its chip descriptor
+     * and the custom-board generator can emit an out-of-tree board for the
+     * chip. Board packages keep board-level Zephyr facts (target name, probe
+     * methods, storage layout, onboard LED/button DT aliases) in their own
+     * zephyr field.
+     */
+    zephyr?: Record<string, unknown>;
 }
 /**
  * Board definition manifest.

package/dist/api/shared/async-runtime-static.d.ts

@@ -6,7 +6,7 @@
  *   Async.sleep / sleepUntil / yield operations.
  * @param waitForPinEdge How `__cuttlefish_wait_pin_edge` (the HAL gpio
  *   waitForRising/waitForFalling lowering target) is implemented:
- *   - "polling" (default): a busy-wait loop using digitalRead/delay/millis +
+ *   - "polling" (default): a busy-wait loop using digitalRead/delay/__tc_now_ms +
  *     the RISING/FALLING/HIGH/LOW symbols. For Arduino-style targets where
  *     those are part of the core API.
  *   - "stub": resolve immediately, emitting NO Arduino symbols in the body.

package/dist/api/shared/async-runtime-static.js

@@ -31,7 +31,7 @@
  *   Async.sleep / sleepUntil / yield operations.
  * @param waitForPinEdge How `__cuttlefish_wait_pin_edge` (the HAL gpio
  *   waitForRising/waitForFalling lowering target) is implemented:
- *   - "polling" (default): a busy-wait loop using digitalRead/delay/millis +
+ *   - "polling" (default): a busy-wait loop using digitalRead/delay/__tc_now_ms +
  *     the RISING/FALLING/HIGH/LOW symbols. For Arduino-style targets where
  *     those are part of the core API.
  *   - "stub": resolve immediately, emitting NO Arduino symbols in the body.
@@ -42,10 +42,10 @@
  *   - "interrupt": omit entirely — the strategy/ISR layer provides the symbol.
  */
 export function generateStaticAsyncRuntime(capacity, waitForPinEdge = "polling", strategy) {
-    // The current-time expression (millis() on Wiring-derived frameworks,
-    // std::chrono on generic). Falling back to millis() preserves the historical
+    // The current-time expression (__tc_now_ms() — the runtime clock contract
+    // every strategy provides). Falling back to the contract symbol keeps the
     // behavior when no strategy is supplied.
-    const now = strategy?.currentTimeMillis?.() ?? "millis()";
+    const now = strategy?.currentTimeMillis?.() ?? "__tc_now_ms()";
     return `
 // TypeCAD static (heap-free) async runtime — for targets without <vector>.
 namespace typecad_async_static {
@@ -199,7 +199,7 @@ ${waitPinEdgeForMode(waitForPinEdge, strategy, now)}
 `;
 }
 /** Emit `__cuttlefish_wait_pin_edge` per the strategy's waitForPinEdge mode. */
-function waitPinEdgeForMode(mode, strategy, now = "millis()") {
+function waitPinEdgeForMode(mode, strategy, now = "__tc_now_ms()") {
     if (mode === "interrupt") {
         // The strategy/ISR layer provides the symbol; emit nothing here.
         return "// __cuttlefish_wait_pin_edge is provided by the strategy (interrupt mode).";

package/dist/api/shared/async-types.d.ts

@@ -30,8 +30,9 @@ export interface AsyncRuntimeConfig {
      */
     hasPromiseRuntime: boolean;
     /**
-     * Whether the platform supports timer-based setTimeout/setInterval
-     * (as opposed to cooperative polling).
+     * Whether the platform provides native timer callbacks for async sleeps
+     * (as opposed to cooperative polling). Zephyr sets this false: periodic
+     * work is a Thread (k_thread) or a Counter, never a timer queue.
      */
     hasTimers: boolean;
     /**

package/dist/api/shared/board-catalog.d.ts

@@ -0,0 +1,2 @@
+export { BOARD_DATA } from '../../create/board-catalog.generated.js';
+export type { BoardDataEntry } from '../../create/board-catalog.generated.js';

package/dist/api/shared/board-catalog.js

@@ -0,0 +1,6 @@
+// Public surface for the generated Zephyr board catalog. The pack itself is
+// generated by scripts/gen-zephyr-board-data.mjs against the pinned Zephyr
+// tree and lives at src/create/board-catalog.generated.ts (shared with the
+// create/scaffold flow). The framework's board generator (boardgen) joins
+// this catalog with its curated soc descriptors.
+export { BOARD_DATA } from '../../create/board-catalog.generated.js';

package/dist/api/shared/board-resolver.d.ts

@@ -1,12 +1,9 @@
 /**
  * Flat map from dot-path key to scalar constant value.
  *
- * Examples (for Arduino Uno):
- *   "id"           → "arduino-uno"
- *   "mcu"          → "ATmega328P"
- *   "clockSpeed"   → 16000000
- *   "memory.flash" → 32768
- *   "memory.sram"  → 2048
- *   "memory.eeprom"→ 1024
+ * Examples (from a generated board.json manifest):
+ *   "name"         → "XIAO BLE"
+ *   "pins.led"     → 13
+ *   "pins.analogOffset" → 14
  */
 export type BoardConstants = Map<string, string | number | boolean>;

package/dist/api/shared/board-resolver.js

@@ -2,6 +2,7 @@
 // Board constant types
 //
 // Types for compile-time constant extraction from board definitions.
-// The implementation (which uses TypeScript compiler API) remains in CLI.
+// The implementation lives in the CLI (ir/board-resolver.ts) and reads the
+// project-local generated board.json manifest.
 // ---------------------------------------------------------------------------
 export {};

package/dist/api/shared/coop-scheduler.d.ts

@@ -21,7 +21,7 @@ export interface CoopSchedOptions {
     timeBudgetMs?: number;
     /**
      * C++ expression yielding the current monotonic time in ms, used for the
-     * budget check (e.g. `millis()`, `k_uptime_get_32()`). Required only when
+     * budget check (`__tc_now_ms()`). Required only when
      * enableTimeBudget is true.
      */
     currentTimeExpr?: string;

package/dist/api/shared/coop-scheduler.js

@@ -31,7 +31,7 @@ export function generateCoopScheduler(options = {}) {
     const priorities = options.priorities ?? 2;
     const enableTimeBudget = options.enableTimeBudget ?? false;
     const timeBudgetMs = options.timeBudgetMs ?? 5;
-    const currentTimeExpr = options.currentTimeExpr ?? "millis()";
+    const currentTimeExpr = options.currentTimeExpr ?? "__tc_now_ms()";
     // Budget check snippet, only included when time-budgeting is enabled.
     const budgetCheck = enableTimeBudget
         ? `      if ((${currentTimeExpr} - _start) >= static_cast<uint32_t>(${timeBudgetMs})) { break; }`

package/dist/api/shared/cpp-type-ir.d.ts

@@ -219,7 +219,7 @@ export declare function parsedIsPlainStructType(cppType: string): boolean;
 /**
  * True for types that own a string buffer and therefore need `.c_str()` when
  * passed to a C variadic (printf/snprintf): `std::string`, `__tc_str_ptr`,
- * and platform string types like Arduino `String`. NOT true for `const char*`
+ * and platform string types like `String`. NOT true for `const char*`
  * / `char*`, which are already C-strings.
  *
  * This is the structured replacement for the

package/dist/api/shared/cpp-type-ir.js

@@ -648,7 +648,7 @@ export function parsedIsPlainStructType(cppType) {
 /**
  * True for types that own a string buffer and therefore need `.c_str()` when
  * passed to a C variadic (printf/snprintf): `std::string`, `__tc_str_ptr`,
- * and platform string types like Arduino `String`. NOT true for `const char*`
+ * and platform string types like `String`. NOT true for `const char*`
  * / `char*`, which are already C-strings.
  *
  * This is the structured replacement for the

package/dist/api/shared/display-profile.d.ts

@@ -121,7 +121,7 @@ export interface ResolvedDisplay extends DisplayProfile {
     _mountBus: string;
     _mountAddress: number;
     _mountReset: number;
-    /** Framework build target string (e.g. an Arduino FQBN like
+    /** Framework build target string (e.g. a Zephyr board target like
      *  "esp32:esp32:esp32s3:PSRAM=opi" or an IDF target). Carried through for
      *  framework-side toolchain/compile use; cuttlefish itself does not parse it.
      *  Optional. */

package/dist/api/shared/display-profile.js

@@ -200,9 +200,7 @@ export function generateTouchAdapter(touch, strategy) {
         };
     }
     throw new Error(`No touch adapter for library "${touch.library}". ` +
-        `The built-in Arduino touch libraries (XPT2046_Touchscreen, Adafruit_TouchScreen, ` +
-        `Adafruit_STMPE610, FT6336U) are provided by @typecad/framework-arduino — pass the ` +
-        `ArduinoStrategy (or another framework strategy that provides touch adapters) so its ` +
-        `resolveTouchAdapter can dispatch to them. Otherwise use the framework-agnostic ` +
-        `"sdl" library, or { adapter: './path' } for a custom touch adapter.`);
+        `Pass a framework strategy whose resolveTouchAdapter dispatches to that driver, ` +
+        `use the framework-agnostic "sdl" library, or pass { adapter: './path' } for a ` +
+        `custom touch adapter.`);
 }

package/dist/api/shared/framework-manifest-registry.d.ts

@@ -1,5 +1,5 @@
 import type { FrameworkManifest } from './framework-manifest.js';
-export declare const KNOWN_FRAMEWORK_PACKAGES: readonly ["@typecad/framework-arduino", "@typecad/framework-zephyr"];
+export declare const KNOWN_FRAMEWORK_PACKAGES: readonly ["@typecad/framework-zephyr"];
 export type KnownFrameworkPackage = typeof KNOWN_FRAMEWORK_PACKAGES[number];
 /**
  * Loads a framework's manifest via its `./framework.manifest` subpath export.

package/dist/api/shared/framework-manifest-registry.js

@@ -10,7 +10,6 @@
 // framework declares in its package.json.
 // ---------------------------------------------------------------------------
 export const KNOWN_FRAMEWORK_PACKAGES = [
-    '@typecad/framework-arduino',
     '@typecad/framework-zephyr',
 ];
 /**