@typecad/cuttlefish 1.0.0-alpha.11 → 1.0.0-alpha.12

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

@@ -44,10 +44,10 @@ export declare const BoardSpecSchema: z.ZodObject<{
             instance: number;
             role: string;
         }[] | undefined;
+        notes?: string | undefined;
         alt?: string[] | undefined;
         warnings?: string[] | undefined;
         unsafe?: boolean | undefined;
-        notes?: string | undefined;
         onboardLed?: boolean | undefined;
     }, {
         gpio: number;
@@ -57,10 +57,10 @@ export declare const BoardSpecSchema: z.ZodObject<{
             instance: number;
             role: string;
         }[] | undefined;
+        notes?: string | undefined;
         alt?: string[] | undefined;
         warnings?: string[] | undefined;
         unsafe?: boolean | undefined;
-        notes?: string | undefined;
         onboardLed?: boolean | undefined;
     }>, "many">;
     unsafe: z.ZodArray<z.ZodString, "many">;
@@ -75,21 +75,21 @@ export declare const BoardSpecSchema: z.ZodObject<{
         tx: z.ZodOptional<z.ZodString>;
         rx: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>>;
@@ -103,21 +103,21 @@ export declare const BoardSpecSchema: z.ZodObject<{
         tx: z.ZodOptional<z.ZodString>;
         rx: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>>;
@@ -131,21 +131,21 @@ export declare const BoardSpecSchema: z.ZodObject<{
         tx: z.ZodOptional<z.ZodString>;
         rx: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>>;
@@ -230,18 +230,18 @@ export declare const BoardSpecSchema: z.ZodObject<{
         maxValue: z.ZodNumber;
         referenceVoltages: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
     }, "strict", z.ZodTypeAny, {
+        maxValue: number;
         instance: number;
         channels: number;
         resolution: number;
         referenceVoltage: number;
-        maxValue: number;
         referenceVoltages?: Record<string, number> | undefined;
     }, {
+        maxValue: number;
         instance: number;
         channels: number;
         resolution: number;
         referenceVoltage: number;
-        maxValue: number;
         referenceVoltages?: Record<string, number> | undefined;
     }>, "many">;
     pwm: z.ZodObject<{
@@ -273,14 +273,14 @@ export declare const BoardSpecSchema: z.ZodObject<{
         bits: z.ZodUnion<[z.ZodLiteral<8>, z.ZodLiteral<16>, z.ZodLiteral<32>, z.ZodLiteral<64>]>;
         features: z.ZodOptional<z.ZodArray<z.ZodEnum<["pwm", "capture", "compare", "interrupt", "dma"]>, "many">>;
     }, "strict", z.ZodTypeAny, {
+        bits: 8 | 16 | 32 | 64;
         type: "general" | "high_speed" | "rtc" | "sys";
         instance: number;
-        bits: 8 | 16 | 32 | 64;
         features?: ("pwm" | "capture" | "compare" | "interrupt" | "dma")[] | undefined;
     }, {
+        bits: 8 | 16 | 32 | 64;
         type: "general" | "high_speed" | "rtc" | "sys";
         instance: number;
-        bits: 8 | 16 | 32 | 64;
         features?: ("pwm" | "capture" | "compare" | "interrupt" | "dma")[] | undefined;
     }>, "many">;
     wifi: z.ZodObject<{
@@ -365,68 +365,42 @@ export declare const BoardSpecSchema: z.ZodObject<{
     }>;
 }, "strict", z.ZodTypeAny, {
     architecture: string;
-    mcuId: string;
-    mcuName: string;
-    boardId: string;
-    boardName: string;
-    vendor: string;
-    clockSpeed: number;
-    fqbn: string;
-    arduinoDefine: string;
-    moduleFlash: number | null;
-    externalRam: number | null;
-    gpioRange: [number, number];
-    excludedGpio: number[];
-    pins: {
-        gpio: number;
-        capabilities: "FULL_GPIO" | "FULL_GPIO_ANALOG" | "FULL_GPIO_TOUCH" | "FULL_GPIO_ANALOG_TOUCH" | "FULL_GPIO_DAC" | "INPUT_ONLY";
-        functions?: {
-            type: "i2c" | "spi" | "uart" | "adc" | "dac" | "pwm" | "touch" | "usb";
-            instance: number;
-            role: string;
-        }[] | undefined;
-        alt?: string[] | undefined;
-        warnings?: string[] | undefined;
-        unsafe?: boolean | undefined;
-        notes?: string | undefined;
-        onboardLed?: boolean | undefined;
-    }[];
     i2c: Record<string, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>;
     spi: Record<string, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>;
     uart: Record<string, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>;
     adc: {
+        maxValue: number;
         instance: number;
         channels: number;
         resolution: number;
         referenceVoltage: number;
-        maxValue: number;
         referenceVoltages?: Record<string, number> | undefined;
     }[];
     pwm: {
@@ -439,6 +413,37 @@ export declare const BoardSpecSchema: z.ZodObject<{
         vid: string;
         pid: string;
     };
+    wifi: {
+        type: "wifi" | "wifi6";
+        supportsStation: boolean;
+        supportsAp: boolean;
+    };
+    mcuId: string;
+    mcuName: string;
+    boardId: string;
+    boardName: string;
+    vendor: string;
+    clockSpeed: number;
+    fqbn: string;
+    arduinoDefine: string;
+    moduleFlash: number | null;
+    externalRam: number | null;
+    gpioRange: [number, number];
+    excludedGpio: number[];
+    pins: {
+        gpio: number;
+        capabilities: "FULL_GPIO" | "FULL_GPIO_ANALOG" | "FULL_GPIO_TOUCH" | "FULL_GPIO_ANALOG_TOUCH" | "FULL_GPIO_DAC" | "INPUT_ONLY";
+        functions?: {
+            type: "i2c" | "spi" | "uart" | "adc" | "dac" | "pwm" | "touch" | "usb";
+            instance: number;
+            role: string;
+        }[] | undefined;
+        notes?: string | undefined;
+        alt?: string[] | undefined;
+        warnings?: string[] | undefined;
+        unsafe?: boolean | undefined;
+        onboardLed?: boolean | undefined;
+    }[];
     unsafe: string[];
     analog: string[];
     peripheralInstances: {
@@ -459,9 +464,9 @@ export declare const BoardSpecSchema: z.ZodObject<{
         }[];
     };
     timers: {
+        bits: 8 | 16 | 32 | 64;
         type: "general" | "high_speed" | "rtc" | "sys";
         instance: number;
-        bits: 8 | 16 | 32 | 64;
         features?: ("pwm" | "capture" | "compare" | "interrupt" | "dma")[] | undefined;
     }[];
     features: {
@@ -473,11 +478,6 @@ export declare const BoardSpecSchema: z.ZodObject<{
         hardwareRng: boolean;
         fpu: boolean;
     };
-    wifi: {
-        type: "wifi" | "wifi6";
-        supportsStation: boolean;
-        supportsAp: boolean;
-    };
     bluetooth: {
         type: "classic" | "ble" | "dual";
         version: string;
@@ -489,75 +489,49 @@ export declare const BoardSpecSchema: z.ZodObject<{
         externalRam?: number | undefined;
         rtcMemory?: number | undefined;
     };
-    description?: string | undefined;
     touch?: {
         pins: string[];
         channels: number;
     } | null | undefined;
+    description?: string | undefined;
 }, {
     architecture: string;
-    mcuId: string;
-    mcuName: string;
-    boardId: string;
-    boardName: string;
-    vendor: string;
-    clockSpeed: number;
-    fqbn: string;
-    arduinoDefine: string;
-    moduleFlash: number | null;
-    externalRam: number | null;
-    gpioRange: [number, number];
-    excludedGpio: number[];
-    pins: {
-        gpio: number;
-        capabilities: "FULL_GPIO" | "FULL_GPIO_ANALOG" | "FULL_GPIO_TOUCH" | "FULL_GPIO_ANALOG_TOUCH" | "FULL_GPIO_DAC" | "INPUT_ONLY";
-        functions?: {
-            type: "i2c" | "spi" | "uart" | "adc" | "dac" | "pwm" | "touch" | "usb";
-            instance: number;
-            role: string;
-        }[] | undefined;
-        alt?: string[] | undefined;
-        warnings?: string[] | undefined;
-        unsafe?: boolean | undefined;
-        notes?: string | undefined;
-        onboardLed?: boolean | undefined;
-    }[];
     i2c: Record<string, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>;
     spi: Record<string, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>;
     uart: Record<string, {
-        sda?: string | undefined;
-        scl?: string | undefined;
+        cs?: string | undefined;
         mosi?: string | undefined;
-        miso?: string | undefined;
         sck?: string | undefined;
-        cs?: string | undefined;
+        miso?: string | undefined;
+        sda?: string | undefined;
+        scl?: string | undefined;
         tx?: string | undefined;
         rx?: string | undefined;
     }>;
     adc: {
+        maxValue: number;
         instance: number;
         channels: number;
         resolution: number;
         referenceVoltage: number;
-        maxValue: number;
         referenceVoltages?: Record<string, number> | undefined;
     }[];
     pwm: {
@@ -570,6 +544,37 @@ export declare const BoardSpecSchema: z.ZodObject<{
         vid: string;
         pid: string;
     };
+    wifi: {
+        type: "wifi" | "wifi6";
+        supportsStation: boolean;
+        supportsAp: boolean;
+    };
+    mcuId: string;
+    mcuName: string;
+    boardId: string;
+    boardName: string;
+    vendor: string;
+    clockSpeed: number;
+    fqbn: string;
+    arduinoDefine: string;
+    moduleFlash: number | null;
+    externalRam: number | null;
+    gpioRange: [number, number];
+    excludedGpio: number[];
+    pins: {
+        gpio: number;
+        capabilities: "FULL_GPIO" | "FULL_GPIO_ANALOG" | "FULL_GPIO_TOUCH" | "FULL_GPIO_ANALOG_TOUCH" | "FULL_GPIO_DAC" | "INPUT_ONLY";
+        functions?: {
+            type: "i2c" | "spi" | "uart" | "adc" | "dac" | "pwm" | "touch" | "usb";
+            instance: number;
+            role: string;
+        }[] | undefined;
+        notes?: string | undefined;
+        alt?: string[] | undefined;
+        warnings?: string[] | undefined;
+        unsafe?: boolean | undefined;
+        onboardLed?: boolean | undefined;
+    }[];
     unsafe: string[];
     analog: string[];
     peripheralInstances: {
@@ -590,9 +595,9 @@ export declare const BoardSpecSchema: z.ZodObject<{
         }[];
     };
     timers: {
+        bits: 8 | 16 | 32 | 64;
         type: "general" | "high_speed" | "rtc" | "sys";
         instance: number;
-        bits: 8 | 16 | 32 | 64;
         features?: ("pwm" | "capture" | "compare" | "interrupt" | "dma")[] | undefined;
     }[];
     features: {
@@ -604,11 +609,6 @@ export declare const BoardSpecSchema: z.ZodObject<{
         hardwareRng: boolean;
         fpu: boolean;
     };
-    wifi: {
-        type: "wifi" | "wifi6";
-        supportsStation: boolean;
-        supportsAp: boolean;
-    };
     bluetooth: {
         type: "classic" | "ble" | "dual";
         version: string;
@@ -620,11 +620,11 @@ export declare const BoardSpecSchema: z.ZodObject<{
         externalRam?: number | undefined;
         rtcMemory?: number | undefined;
     };
-    description?: string | undefined;
     touch?: {
         pins: string[];
         channels: number;
     } | null | undefined;
+    description?: string | undefined;
 }>;
 export type BoardSpec = z.infer<typeof BoardSpecSchema>;
 export declare function parseBoardSpec(jsoncText: string): BoardSpec;

package/dist/create/eslint-rules-template.js

@@ -300,9 +300,12 @@ export default {
           return "";
         }
         function isContainerVar(node) {
-          if (node.type === "Identifier" && containerVars.has(node.name)) return true;
-          if (node.type === "CallExpression" && node.callee.type === "MemberExpression" && node.callee.property.type === "Identifier" && FUNCTIONAL_METHODS.has(node.callee.property.name)) return true;
-          return false;
+          // Only identifiers with a known container type count. A
+          // CallExpression receiver (e.g. arr.map(f).filter(g)) is the RESULT
+          // of a functional method — on arrays that's another array, which
+          // the transpiler lowers; treating it as a container flagged every
+          // supported method chain as an error.
+          return node.type === "Identifier" && containerVars.has(node.name);
         }
         return {
           VariableDeclarator(node) {

package/dist/emit/compliance/rules.js

@@ -43,6 +43,40 @@ export const RULES = [
                 justification: "AVR freeHeap() measures the gap between the stack and heap via the avr-libc __heap_start/__brkval linker symbols; pointer-to-integer conversion is the only way to compute a byte distance between two addresses on a target with no numeric free-heap API.",
                 kind: "polyfill",
             },
+            {
+                // framework-zephyr BLE lowering: characteristic read handlers are TS
+                // functions with heterogeneous inferred return types (const char*,
+                // double), but the GATT attribute table registers one C callback for
+                // every characteristic. Handlers are stored in a fixed-size void*
+                // table (__tc_ble.on_read[]) and the characteristic index rides in
+                // bt_gatt_attr::user_data; the dispatcher casts back to the concrete
+                // signature per the char's type field. C++14 has no type-safe way to
+                // store or invoke heterogeneous signatures through one type-erased
+                // slot. Marker-based: every site references the table or its index
+                // channel.
+                detect: /__tc_ble\.on_read|__tc_ble_attrs|attr->user_data/,
+                justification: "framework-zephyr BLE lowering stores heterogeneously-typed read handlers in a void* table (__tc_ble.on_read[]) keyed by bt_gatt_attr::user_data; C++14 offers no type-safe mechanism to store or invoke mixed signatures through one type-erased slot, so the store/dispatch sites must reinterpret_cast.",
+                kind: "polyfill",
+            },
+            {
+                // Zephyr C APIs take byte buffers as uint8_t*/void* (bt_data.data,
+                // mqtt_utf8.utf8, MQTT payload.data, spi_buf.buf, i2c_read tx/rx)
+                // while cuttlefish lowers TS buffers and strings to char*/uint8_t
+                // arrays. The pointer reinterpretation happens exactly at the C API
+                // boundary in the framework shims (ble/mqtt/i2c/spi lowerings).
+                detect: /reinterpret_cast<(?:const )?uint8_t\*>|\.buf = reinterpret_cast<void\*>/,
+                justification: "Zephyr's C APIs (bt_data, mqtt_utf8, MQTT payload, spi_buf, i2c_read) accept byte buffers as uint8_t*/void* while the transpiler lowers TS buffers/strings to char*/uint8_t arrays; reinterpret_cast at the API boundary is the only way to pass the lowered buffer.",
+                kind: "polyfill",
+            },
+            {
+                // Raw register declarations (framework-native and MCU register
+                // exports) map a literal address to a volatile uint32_t* MMIO
+                // pointer. C++14 has no standard integer→pointer conversion other
+                // than reinterpret_cast.
+                detect: /reinterpret_cast<volatile uint32_t\*>/,
+                justification: "MMIO register declarations convert a literal address to a volatile uint32_t* pointer; reinterpret_cast is the only standard C++14 integer-to-pointer conversion.",
+                kind: "other",
+            },
         ],
     },
     { id: "M5-2-8", title: "No pointer arithmetic out of bounds", severity: "required", category: "C", enabled: true },

package/dist/emit/emitters/setup.js

@@ -320,6 +320,15 @@ export function buildEmitterContext(program, options) {
         if (!programAnalysis.usesNativeTiming && entryHasUI()) {
             programAnalysis.usesNativeTiming = true;
         }
+        // The UI runtime header calls constrain() in the progress/range node draw
+        // and touch-slider paths (injected by the emitter, not present in user
+        // source), so a mounted UI needs the constrain polyfill even when
+        // usesConstrain is false. OR entryHasUI() into the flag the native
+        // strategy reads when gating the constrain helper, mirroring the
+        // usesNativeTiming handling above.
+        if (!programAnalysis.usesConstrain && entryHasUI()) {
+            programAnalysis.usesConstrain = true;
+        }
         options.platformContext.analysis = programAnalysis;
         if (!options.platformContext.architecture && program.boardConstants) {
             options.platformContext.architecture = program.boardConstants.get("architecture");
@@ -416,8 +425,12 @@ export function buildEmitterContext(program, options) {
         }
         // The UI runtime's per-frame tick uses millis() (injected by the emitter,
         // not authored in user source), so keep the millis() shim when a UI is
-        // mounted even if the source-level analysis didn't flag usesMillis.
-        if (!programAnalysis.usesMillis && !entryHasUI()) {
+        // mounted even if the source-level analysis didn't flag usesMillis. The
+        // async runtime and the setInterval/setTimeout scheduler also poll
+        // millis() without any user-source millis() call (Async.sleep lowers to a
+        // raw hal-op the timing scanners can't see) — mirror the usesNativeTiming
+        // derivation and keep the shim for those hidden consumers too.
+        if (!programAnalysis.usesMillis && !programAnalysis.hasAsync && programAnalysis.timerCallCount === 0 && !entryHasUI()) {
             shimLines = shimLines.filter(l => !l.includes('millis()'));
         }
         // Strip the nullish helper FUNCTIONS (not the CUTTLEFISH_UNDEFINED macro)

package/dist/ir/feature-registry.js

@@ -112,7 +112,10 @@ add(ts.SyntaxKind.BigIntLiteral, {
     hint: "Use a number literal with an explicit fixed-width type annotation.",
     code: "TS2CPP_NO_EQUIVALENT",
     eslint: {
-        selector: "Literal[bigInt=true]",
+        // The parser emits the attribute as lowercase `bigint` (a string); the
+        // previous [bigInt=true] form matched nothing, so the editor never
+        // flagged what the build-time prescan did.
+        selector: "Literal[bigint]",
         message: "[transpiler] BigInt literals are not supported (no C++ equivalent for embedded targets). Use a number literal with an explicit fixed-width type.",
     },
 });
@@ -222,7 +225,10 @@ const CONTEXT_LINT_RULES = [
         source: "context",
     },
     {
-        selector: "TSTypeOperator[type='keyof']",
+        // The parser names the attribute `operator`, not `type` — the previous
+        // [type='keyof'] form matched nothing, so the editor never flagged what
+        // the build-time prescan did.
+        selector: "TSTypeOperator[operator='keyof']",
         message: "[transpiler] the keyof operator is not supported (no C++ equivalent). Use a string union or a switch over field names.",
         source: "context",
     },
@@ -317,12 +323,22 @@ const CONTEXT_LINT_RULES = [
         source: "context",
     },
     {
-        selector: "CallExpression > MemberExpression.callee[property.name=/^(bind|call|apply)$/]",
+        // ui.bind is a recognized UI authoring call (intercepted by the
+        // transpiler's call-lowering), not Function.prototype.bind — the :not()
+        // guard exempts the `ui` receiver so the editor selector matches the
+        // build-time prescan (checkContextSensitive exempts exactly ui.bind).
+        // The exemption lives in the selector because generateEslintConfig()
+        // drops non-selector fields when rendering no-restricted-syntax. Only
+        // `bind` is exempted — ui.call/ui.apply are not UI APIs and the prescan
+        // flags them, so the editor does too.
+        selector: "CallExpression > MemberExpression.callee[property.name='bind']:not([object.name='ui'])",
+        message: "[transpiler] .bind/.call/.apply rebind `this` at call time, which has no C++ lowering (this is a fixed pointer). Call the function/method directly.",
+        source: "context",
+    },
+    {
+        selector: "CallExpression > MemberExpression.callee[property.name=/^(call|apply)$/]",
         message: "[transpiler] .bind/.call/.apply rebind `this` at call time, which has no C++ lowering (this is a fixed pointer). Call the function/method directly.",
         source: "context",
-        // ui.bind is a recognized UI authoring call (intercepted by the
-        // transpiler's call-lowering), not Function.prototype.bind.
-        filter: "(node) => { const o = node.callee.object; return !(o && o.type === 'Identifier' && o.name === 'ui'); }",
     },
     {
         selector: "NewExpression[callee.name='Function']",

package/dist/ir/program-analysis.d.ts

@@ -52,6 +52,10 @@ export interface ProgramAnalysisResult {
      *  __tc_TimerRuntime::MAX_TIMERS to the observed count (floor 1) rather than
      *  a blind constant, so a one-timer program links one slot, not eight. */
     timerCallCount: number;
+    /** True when any function is declared `async` — the async runtime polls
+     *  millis() every pump even when no timing call appears in user source
+     *  (Async.sleep lowers to a raw hal-op the text scanners can't see). */
+    hasAsync: boolean;
     /** ESP32 peripheral usage — framework-esp32 gates its IDF driver blocks and
      *  forced includes on these. Detected from HAL-op operation names, the same
      *  way usesUart/usesSPI/usesI2C are. Other frameworks have no CUTTLEFISH_*
@@ -103,8 +107,6 @@ export interface ProgramAnalysisResult {
     /** Worker offload usage. Detected from worker.* ops. Frameworks gate the
      *  worker_runtime polyfill (and its per-framework backing) on this. */
     usesWorker: boolean;
-    /** Native/desktop: std::chrono / steady_clock usage (gates <chrono>). */
-    usesChrono: boolean;
     /** Native/desktop: std::set usage (gates <set>). */
     usesSet: boolean;
     /** Native/desktop: std::algorithm usage (std::sort/find/transform etc., gates <algorithm>). */

package/dist/ir/program-analysis.js

@@ -77,9 +77,6 @@ function analyzeExpression(expr, result, strategy) {
             if (expr.value.includes('__tc_str_ptr')) {
                 result.usesStrPtr = true;
             }
-            if (/std::chrono|steady_clock/.test(expr.value)) {
-                result.usesChrono = true;
-            }
             if (/std::set\s*</.test(expr.value)) {
                 result.usesSet = true;
             }
@@ -844,7 +841,7 @@ export function analyzeProgram(program, strategy) {
         usesHwtimer: false,
         usesCapacitive: false,
         usesWorker: false,
-        usesChrono: false,
+        hasAsync: false,
         usesSet: false,
         usesAlgorithm: false,
         usesCstdio: false,
@@ -1010,6 +1007,7 @@ export function analyzeProgram(program, strategy) {
     // consume site. Without this gate, every AVR program pulled in the Timer0
     // ISR even when it never uses timing.
     const hasAsync = program.functions.some(fn => fn.isAsync);
+    result.hasAsync = hasAsync;
     result.usesNativeTiming = result.usesMillis
         || result.usesTiming
         || result.timerCallCount > 0

package/dist/platform/async-runtime.d.ts

@@ -5,4 +5,4 @@ import type { RuntimePolyfillIR } from "../api/shared/index.js";
  * Build a RuntimePolyfillIR for the async Promise runtime, if the program
  * has async functions and the target architecture has stdlib support.
  */
-export declare function buildAsyncRuntimePolyfill(program: ProgramIR, ctx: PlatformContext | undefined, target: string, queueCapacity?: number): RuntimePolyfillIR | null;
+export declare function buildAsyncRuntimePolyfill(program: ProgramIR, ctx: PlatformContext | undefined, target: string, queueCapacity?: number, strategy?: import("../api/shared/platform-strategy.js").PlatformStrategy): RuntimePolyfillIR | null;