@typecad/cuttlefish 1.0.0-alpha.7 → 1.0.0-alpha.8

package/dist/api/shared/hal-op-ir.d.ts

@@ -515,7 +515,7 @@ export interface WifiSetTxPowerOp {
 }
 export interface WifiOnEventOp {
     operation: "wifi.on_event";
-    event: "connect" | "disconnect" | "got_ip" | string;
+    event: "connect" | "disconnect" | string;
     handler: string;
 }
 export interface WifiApStartOp {
@@ -639,6 +639,22 @@ export interface HttpSendStartOp {
 export interface HttpDoneOp {
     operation: "http.done";
 }
+/** Submit `fnRef(argRef)` to worker slot `handleId`; returns immediately. */
+export interface WorkerSubmitOp {
+    operation: "worker.submit";
+    /** Fixed worker slot index (0..poolSize-1). */
+    handleId: number;
+    /** C++ symbol of the function to run: `void fn(void* arg)`. */
+    fnRef: string;
+    /** Optional argument expression (passed through verbatim). */
+    argRef?: string;
+}
+/** Poll predicate paired with worker.submit — true once the worker finished. */
+export interface WorkerDoneOp {
+    operation: "worker.done";
+    /** Worker slot index, matching the worker.submit it polls. */
+    handleId: number;
+}
 export interface HttpStatusOp {
     operation: "http.status";
 }
@@ -790,6 +806,327 @@ export interface PreferencesGetStringOp {
     key: string;
     defaultValue: string;
 }
+export interface RandomIntOp {
+    operation: "random.int";
+}
+export interface RandomRangeOp {
+    operation: "random.range";
+    /** Inclusive lower bound — numeric or runtime expression string */
+    min: number | string;
+    /** Inclusive upper bound — numeric or runtime expression string */
+    max: number | string;
+}
+export interface RandomSeedOp {
+    operation: "random.seed";
+    /** Seed value — numeric or runtime expression string */
+    seed: number | string;
+}
+export interface FsBeginOp {
+    operation: "fs.begin";
+}
+export interface FsReadTextOp {
+    operation: "fs.read_text";
+    /** C string expression for the path */
+    path: string;
+}
+export interface FsWriteTextOp {
+    operation: "fs.write_text";
+    /** C string expression for the path */
+    path: string;
+    /** C string expression for the content */
+    content: string;
+}
+export interface FsExistsOp {
+    operation: "fs.exists";
+    /** C string expression for the path */
+    path: string;
+}
+export interface FsRemoveOp {
+    operation: "fs.remove";
+    /** C string expression for the path */
+    path: string;
+}
+export interface MdnsStartOp {
+    operation: "mdns.start";
+    /** C string expression for the host name */
+    hostname: string;
+}
+export interface MdnsSetHostnameOp {
+    operation: "mdns.set_hostname";
+    /** C string expression for the host name */
+    name: string;
+}
+export interface MdnsAddServiceOp {
+    operation: "mdns.add_service";
+    /** C string expression for the service instance name */
+    instance: string;
+    /** C string expression for the protocol ("_tcp" / "_udp") */
+    proto: string;
+    /** Port number — numeric or runtime expression string */
+    port: number | string;
+}
+export interface MdnsAnnounceOp {
+    operation: "mdns.announce";
+}
+export interface MdnsStopOp {
+    operation: "mdns.stop";
+}
+export interface MqttConnectOp {
+    operation: "mqtt.connect";
+    /** C string expression for the broker URI ("mqtt://..." / "mqtts://...") */
+    brokerUri: string;
+    /** C string expression for the client id */
+    clientId: string;
+}
+export interface MqttOnMessageOp {
+    operation: "mqtt.on_message";
+    /** Resolved C++ callback function name (topic, payload) */
+    handler: string;
+}
+export interface MqttSubscribeOp {
+    operation: "mqtt.subscribe";
+    /** C string expression for the topic filter */
+    topic: string;
+}
+export interface MqttPublishOp {
+    operation: "mqtt.publish";
+    /** C string expression for the topic */
+    topic: string;
+    /** C string expression for the payload */
+    data: string;
+}
+export interface MqttConnectedOp {
+    operation: "mqtt.connected";
+}
+export interface MqttDisconnectOp {
+    operation: "mqtt.disconnect";
+}
+export interface OtaFromUrlOp {
+    operation: "ota.from_url";
+    /** C string expression for the HTTPS firmware URL */
+    url: string;
+}
+export interface OtaBeginOp {
+    operation: "ota.begin";
+}
+export interface OtaWriteOp {
+    operation: "ota.write";
+    /** C expression for the chunk data (buffer/pointer) */
+    chunk: string;
+}
+export interface OtaApplyOp {
+    operation: "ota.apply";
+}
+export interface TempReadOp {
+    operation: "temp.read";
+}
+export interface HwtimerSetFrequencyOp {
+    operation: "hwtimer.set_frequency";
+    /** Timer instance index */
+    instance: number | string;
+    /** Frequency in Hz */
+    hz: number | string;
+}
+export interface HwtimerOnOverflowOp {
+    operation: "hwtimer.on_overflow";
+    /** Timer instance index */
+    instance: number | string;
+    /** Resolved C++ callback function name */
+    handler: string;
+}
+export interface HwtimerStartOp {
+    operation: "hwtimer.start";
+    /** Timer instance index */
+    instance: number | string;
+}
+export interface HwtimerStopOp {
+    operation: "hwtimer.stop";
+    /** Timer instance index */
+    instance: number | string;
+}
+export interface CapacitiveReadOp {
+    operation: "capacitive.read";
+    port?: string;
+    /** Touch-capable GPIO pin number */
+    pin: number;
+}
+export interface I2sInitOp {
+    operation: "i2s.init";
+    /** Sample rate in Hz */
+    sampleRate: number | string;
+    /** Number of channels (1 = mono, 2 = stereo) */
+    channels?: number | string;
+    /** Bits per sample (8, 16, 24, 32) */
+    bitsPerSample?: number | string;
+}
+export interface I2sWriteOp {
+    operation: "i2s.write";
+    /** C expression for the sample buffer */
+    data: string;
+    /** Number of bytes to write */
+    length: number | string;
+}
+export interface I2sReadOp {
+    operation: "i2s.read";
+    /** Buffer variable name */
+    buffer: string;
+    /** Number of bytes to read */
+    length: number | string;
+}
+export interface TwaiInitOp {
+    operation: "twai.init";
+    /** Baud rate in bits per second */
+    baudrate: number | string;
+    /** TX GPIO pin number */
+    txPin: number;
+    /** RX GPIO pin number */
+    rxPin: number;
+}
+export interface TwaiSendOp {
+    operation: "twai.send";
+    /** CAN identifier */
+    id: number | string;
+    /** C expression for the payload bytes */
+    data: string;
+    /** Number of payload bytes (0-8) */
+    length: number | string;
+}
+export interface TwaiReceiveOp {
+    operation: "twai.receive";
+    /** Buffer variable name */
+    buffer: string;
+}
+export interface UsbInitOp {
+    operation: "usb.init";
+    /** Device descriptor name or C expression (framework-specific) */
+    descriptor?: string;
+}
+export interface UsbWriteOp {
+    operation: "usb.write";
+    /** Endpoint index (0 for control/default) */
+    endpoint: number | string;
+    /** C expression for the data buffer */
+    data: string;
+    /** Number of bytes */
+    length: number | string;
+}
+export interface UsbReadOp {
+    operation: "usb.read";
+    /** Endpoint index */
+    endpoint: number | string;
+    /** Buffer variable name */
+    buffer: string;
+    /** Max bytes to read */
+    length: number | string;
+}
+export interface EthInitOp {
+    operation: "eth.init";
+    /** PHY address (0-31) */
+    phyAddress: number | string;
+    /** MDC GPIO pin */
+    mdcPin: number;
+    /** MDIO GPIO pin */
+    mdioPin: number;
+}
+export interface EthStartOp {
+    operation: "eth.start";
+}
+export interface EthIsLinkedOp {
+    operation: "eth.is_linked";
+}
+export interface EspnowInitOp {
+    operation: "espnow.init";
+}
+export interface EspnowAddPeerOp {
+    operation: "espnow.add_peer";
+    /** Peer MAC address as a C expression (e.g. an array initializer) */
+    mac: string;
+}
+export interface EspnowSendOp {
+    operation: "espnow.send";
+    /** Peer MAC address C expression, or NULL for broadcast */
+    mac: string;
+    /** C expression for the payload */
+    data: string;
+    /** Number of bytes */
+    length: number | string;
+}
+export interface EspnowOnReceiveOp {
+    operation: "espnow.on_receive";
+    /** Resolved C++ callback function name */
+    handler: string;
+}
+export interface CryptoAesEncryptOp {
+    operation: "crypto.aes_encrypt";
+    /** C expression for the key buffer */
+    key: string;
+    /** C expression for the plaintext buffer */
+    input: string;
+    /** Output buffer variable name */
+    output: string;
+    /** Number of bytes (must be a multiple of 16) */
+    length: number | string;
+}
+export interface CryptoSha256Op {
+    operation: "crypto.sha256";
+    /** C expression for the input buffer */
+    input: string;
+    /** Number of bytes */
+    length: number | string;
+    /** Output buffer variable name (32 bytes) */
+    output: string;
+}
+export interface CryptoHmacOp {
+    operation: "crypto.hmac";
+    /** Key C expression */
+    key: string;
+    /** Message C expression */
+    message: string;
+    /** Message length in bytes */
+    length: number | string;
+    /** Output buffer variable name */
+    output: string;
+}
+export interface PcntInitOp {
+    operation: "pcnt.init";
+    /** PCNT unit index */
+    unit: number | string;
+    /** Pulse input GPIO pin */
+    pulsePin: number;
+    /** Optional control/filter GPIO pin */
+    ctrlPin?: number;
+}
+export interface PcntCountOp {
+    operation: "pcnt.count";
+    /** PCNT unit index */
+    unit: number | string;
+}
+export interface PcntClearOp {
+    operation: "pcnt.clear";
+    /** PCNT unit index */
+    unit: number | string;
+}
+export interface McpwmInitOp {
+    operation: "mcpwm.init";
+    /** MCPWM unit index */
+    unit: number | string;
+    /** PWM frequency in Hz */
+    frequency: number | string;
+}
+export interface McpwmSetDutyOp {
+    operation: "mcpwm.set_duty";
+    /** MCPWM unit index */
+    unit: number | string;
+    /** Operator/timer index */
+    operator: number | string;
+    /** Duty cycle percentage (0.0 - 100.0) */
+    duty: number | string;
+}
+export interface McpwmStartOp {
+    operation: "mcpwm.start";
+    /** MCPWM unit index */
+    unit: number | string;
+}
 export interface RawCppOp {
     operation: "raw";
     /** Raw C++ code string (framework-agnostic, use sparingly) */
@@ -800,7 +1137,7 @@ export interface RawCppOp {
  * operations. Each node carries a semantic `operation` tag and typed
  * arguments. Framework strategies translate these into concrete C++.
  */
-export type HALOpIR = GpioWriteOp | GpioReadOp | GpioToggleOp | GpioSetModeOp | PwmWriteOp | PwmGetFrequencyOp | PwmGetResolutionOp | RmtTxInitOp | RmtTxWriteBytesOp | RmtTxWriteSymbolsOp | RmtTxWaitDoneOp | RmtTxDeinitOp | RmtRxInitOp | RmtRxOnReceivedOp | RmtRxStartOp | RmtRxStopOp | RmtRxReadOp | RmtRxDeinitOp | AdcReadOp | AdcGetResolutionOp | AdcSetReferenceOp | AdcGetReferenceOp | AdcReadVoltageOp | DacWriteOp | InterruptAttachOp | InterruptDetachOp | TonePlayOp | ToneStopOp | TimingDelayOp | TimingDelayMicrosecondsOp | TimingMillisOp | TimingMicrosOp | TimingFreeHeapOp | TimingSetIntervalOp | TimingSetTimeoutOp | TimingClearIntervalOp | TimingClearTimeoutOp | PowerDeepSleepOp | PowerLightSleepOp | PowerSetCpuFrequencyOp | PowerDeepSleepPinOp | I2cBeginOp | I2cEndOp | I2cSetClockOp | I2cBeginTransmissionOp | I2cWriteOp | I2cWriteBytesOp | I2cWriteBufferOp | I2cReadBufferOp | I2cEndTransmissionOp | I2cRequestFromOp | I2cAvailableOp | I2cReadOp | I2cRecoverOp | SpiBeginOp | SpiEndOp | SpiTransferOp | SpibeginTransactionOp | SpiEndTransactionOp | SpiSetModeOp | SpiSetBitOrderOp | SpiCsLowOp | SpiCsHighOp | SpiReadBufferOp | UartBeginOp | UartEndOp | UartPrintOp | UartPrintlnOp | UartPrintfOp | UartWriteOp | UartReadOp | UartPeekOp | UartAvailableOp | UartFlushOp | PulseInOp | PulseInLongOp | ShiftOutOp | ShiftInOp | BoardResolveOp | WdtEnableOp | WdtResetOp | WdtDisableOp | SnprintfEmitOp | WifiConnectOp | WifiConnectStartOp | WifiDisconnectOp | WifiStatusOp | WifiIsConnectedOp | WifiLocalIpOp | WifiRssiOp | WifiMacOp | WifiSetHostnameOp | WifiSetStaticIpOp | WifiSetAutoReconnectOp | WifiSetPowerSaveOp | WifiSetTxPowerOp | WifiOnEventOp | WifiApStartOp | WifiApStopOp | WifiApClientCountOp | WifiApIpOp | WifiApSetChannelOp | WifiApSetHiddenOp | WifiApSetMaxClientsOp | WifiScanOp | WifiScanStartOp | WifiScanDoneOp | WifiScanCountOp | WifiScanSsidOp | WifiScanRssiOp | WifiScanEncryptionOp | WifiScanChannelOp | WifiSaveCredentialsOp | WifiConnectSavedOp | WifiClearCredentialsOp | WifiWaitConnectedOp | WifiWaitDisconnectedOp | HttpBeginOp | HttpResetOp | HttpSetHeaderOp | HttpSetTimeoutOp | HttpSetMaxBodyOp | HttpSetBodyOp | HttpSetInsecureOp | HttpSetCaCertOp | HttpSendOp | HttpSendStartOp | HttpDoneOp | HttpStatusOp | HttpOkOp | HttpBodyOp | HttpContentLengthOp | HttpResponseHeaderOp | BleServerBeginOp | BleAdvertiseStartOp | BleAdvertiseStopOp | BleAddServiceOp | BleAddCharOp | BleOnReadOp | BleOnWriteOp | BleOnConnectOp | BleOnDisconnectOp | BleNotifyOp | BleIsConnectedOp | BleClientCountOp | BleSetNameOp | BleUntilConnectedOp | BleUntilConnectedStartOp | BleSetTxPowerOp | BleStatusOp | PreferencesBeginOp | PreferencesEndOp | PreferencesClearOp | PreferencesRemoveOp | PreferencesPutIntOp | PreferencesGetIntOp | PreferencesPutUIntOp | PreferencesGetUIntOp | PreferencesPutBoolOp | PreferencesGetBoolOp | PreferencesPutFloatOp | PreferencesGetFloatOp | PreferencesPutStringOp | PreferencesGetStringOp | RawCppOp | DisplayHALOp;
+export type HALOpIR = GpioWriteOp | GpioReadOp | GpioToggleOp | GpioSetModeOp | PwmWriteOp | PwmGetFrequencyOp | PwmGetResolutionOp | RmtTxInitOp | RmtTxWriteBytesOp | RmtTxWriteSymbolsOp | RmtTxWaitDoneOp | RmtTxDeinitOp | RmtRxInitOp | RmtRxOnReceivedOp | RmtRxStartOp | RmtRxStopOp | RmtRxReadOp | RmtRxDeinitOp | AdcReadOp | AdcGetResolutionOp | AdcSetReferenceOp | AdcGetReferenceOp | AdcReadVoltageOp | DacWriteOp | InterruptAttachOp | InterruptDetachOp | TonePlayOp | ToneStopOp | TimingDelayOp | TimingDelayMicrosecondsOp | TimingMillisOp | TimingMicrosOp | TimingFreeHeapOp | TimingSetIntervalOp | TimingSetTimeoutOp | TimingClearIntervalOp | TimingClearTimeoutOp | PowerDeepSleepOp | PowerLightSleepOp | PowerSetCpuFrequencyOp | PowerDeepSleepPinOp | I2cBeginOp | I2cEndOp | I2cSetClockOp | I2cBeginTransmissionOp | I2cWriteOp | I2cWriteBytesOp | I2cWriteBufferOp | I2cReadBufferOp | I2cEndTransmissionOp | I2cRequestFromOp | I2cAvailableOp | I2cReadOp | I2cRecoverOp | SpiBeginOp | SpiEndOp | SpiTransferOp | SpibeginTransactionOp | SpiEndTransactionOp | SpiSetModeOp | SpiSetBitOrderOp | SpiCsLowOp | SpiCsHighOp | SpiReadBufferOp | UartBeginOp | UartEndOp | UartPrintOp | UartPrintlnOp | UartPrintfOp | UartWriteOp | UartReadOp | UartPeekOp | UartAvailableOp | UartFlushOp | PulseInOp | PulseInLongOp | ShiftOutOp | ShiftInOp | BoardResolveOp | WdtEnableOp | WdtResetOp | WdtDisableOp | SnprintfEmitOp | WifiConnectOp | WifiConnectStartOp | WifiDisconnectOp | WifiStatusOp | WifiIsConnectedOp | WifiLocalIpOp | WifiRssiOp | WifiMacOp | WifiSetHostnameOp | WifiSetStaticIpOp | WifiSetAutoReconnectOp | WifiSetPowerSaveOp | WifiSetTxPowerOp | WifiOnEventOp | WifiApStartOp | WifiApStopOp | WifiApClientCountOp | WifiApIpOp | WifiApSetChannelOp | WifiApSetHiddenOp | WifiApSetMaxClientsOp | WifiScanOp | WifiScanStartOp | WifiScanDoneOp | WifiScanCountOp | WifiScanSsidOp | WifiScanRssiOp | WifiScanEncryptionOp | WifiScanChannelOp | WifiSaveCredentialsOp | WifiConnectSavedOp | WifiClearCredentialsOp | WifiWaitConnectedOp | WifiWaitDisconnectedOp | HttpBeginOp | HttpResetOp | HttpSetHeaderOp | HttpSetTimeoutOp | HttpSetMaxBodyOp | HttpSetBodyOp | HttpSetInsecureOp | HttpSetCaCertOp | HttpSendOp | HttpSendStartOp | HttpDoneOp | WorkerSubmitOp | WorkerDoneOp | HttpStatusOp | HttpOkOp | HttpBodyOp | HttpContentLengthOp | HttpResponseHeaderOp | BleServerBeginOp | BleAdvertiseStartOp | BleAdvertiseStopOp | BleAddServiceOp | BleAddCharOp | BleOnReadOp | BleOnWriteOp | BleOnConnectOp | BleOnDisconnectOp | BleNotifyOp | BleIsConnectedOp | BleClientCountOp | BleSetNameOp | BleUntilConnectedOp | BleUntilConnectedStartOp | BleSetTxPowerOp | BleStatusOp | PreferencesBeginOp | PreferencesEndOp | PreferencesClearOp | PreferencesRemoveOp | PreferencesPutIntOp | PreferencesGetIntOp | PreferencesPutUIntOp | PreferencesGetUIntOp | PreferencesPutBoolOp | PreferencesGetBoolOp | PreferencesPutFloatOp | PreferencesGetFloatOp | PreferencesPutStringOp | PreferencesGetStringOp | RandomIntOp | RandomRangeOp | RandomSeedOp | FsBeginOp | FsReadTextOp | FsWriteTextOp | FsExistsOp | FsRemoveOp | MdnsStartOp | MdnsSetHostnameOp | MdnsAddServiceOp | MdnsAnnounceOp | MdnsStopOp | MqttConnectOp | MqttOnMessageOp | MqttSubscribeOp | MqttPublishOp | MqttConnectedOp | MqttDisconnectOp | OtaFromUrlOp | OtaBeginOp | OtaWriteOp | OtaApplyOp | TempReadOp | HwtimerSetFrequencyOp | HwtimerOnOverflowOp | HwtimerStartOp | HwtimerStopOp | CapacitiveReadOp | I2sInitOp | I2sWriteOp | I2sReadOp | TwaiInitOp | TwaiSendOp | TwaiReceiveOp | UsbInitOp | UsbWriteOp | UsbReadOp | EthInitOp | EthStartOp | EthIsLinkedOp | EspnowInitOp | EspnowAddPeerOp | EspnowSendOp | EspnowOnReceiveOp | CryptoAesEncryptOp | CryptoSha256Op | CryptoHmacOp | PcntInitOp | PcntCountOp | PcntClearOp | McpwmInitOp | McpwmSetDutyOp | McpwmStartOp | RawCppOp | DisplayHALOp;
 /**
  * Helper type: extracts the operation string from a HALOpIR variant.
  * Useful for type-safe switch statements in framework strategies.
@@ -816,4 +1153,4 @@ export type HALOperationKind = HALOpIR["operation"];
  * {@link DISPLAY_OPERATION_KINDS} in `display-op-ir.ts`. The manifest
  * validator imports both and unions them when probing display ops.
  */
-export declare const HAL_OPERATION_KINDS: readonly ["gpio.write", "gpio.read", "gpio.toggle", "gpio.set_mode", "pwm.write", "pwm.get_frequency", "pwm.get_resolution", "rmt.tx_init", "rmt.tx_write_bytes", "rmt.tx_write_symbols", "rmt.tx_wait_done", "rmt.tx_deinit", "rmt.rx_init", "rmt.rx_on_received", "rmt.rx_start", "rmt.rx_stop", "rmt.rx_read", "rmt.rx_deinit", "adc.read", "adc.get_resolution", "adc.set_reference", "adc.get_reference", "adc.read_voltage", "dac.write", "interrupt.attach", "interrupt.detach", "tone.play", "tone.stop", "timing.delay", "timing.delay_microseconds", "timing.millis", "timing.micros", "timing.free_heap", "timing.set_interval", "timing.set_timeout", "timing.clear_interval", "timing.clear_timeout", "power.deep_sleep", "power.light_sleep", "power.set_cpu_frequency", "power.deep_sleep_pin", "i2c.begin", "i2c.end", "i2c.set_clock", "i2c.begin_transmission", "i2c.write", "i2c.write_bytes", "i2c.write_buffer", "i2c.read_buffer", "i2c.end_transmission", "i2c.request_from", "i2c.available", "i2c.read", "i2c.recover", "spi.begin", "spi.end", "spi.transfer", "spi.begin_transaction", "spi.end_transaction", "spi.set_mode", "spi.set_bit_order", "spi.cs_low", "spi.cs_high", "spi.read_buffer", "uart.begin", "uart.end", "uart.print", "uart.println", "uart.printf", "uart.write", "uart.read", "uart.peek", "uart.available", "uart.flush", "pulse.in", "pulse.in_long", "shift.out", "shift.in", "board.resolve", "wdt.enable", "wdt.reset", "wdt.disable", "snprintf.emit", "wifi.connect", "wifi.connect_start", "wifi.disconnect", "wifi.status", "wifi.is_connected", "wifi.local_ip", "wifi.rssi", "wifi.mac", "wifi.set_hostname", "wifi.set_static_ip", "wifi.set_auto_reconnect", "wifi.set_power_save", "wifi.set_tx_power", "wifi.on_event", "wifi.ap_start", "wifi.ap_stop", "wifi.ap_client_count", "wifi.ap_ip", "wifi.ap_set_channel", "wifi.ap_set_hidden", "wifi.ap_set_max_clients", "wifi.scan", "wifi.scan_start", "wifi.scan_done", "wifi.scan_count", "wifi.scan_ssid", "wifi.scan_rssi", "wifi.scan_encryption", "wifi.scan_channel", "wifi.save_credentials", "wifi.connect_saved", "wifi.clear_credentials", "wifi.wait_connected", "wifi.wait_disconnected", "http.begin", "http.reset", "http.set_header", "http.set_timeout", "http.set_max_body", "http.set_body", "http.set_insecure", "http.set_ca_cert", "http.send", "http.send_start", "http.done", "http.status", "http.ok", "http.body", "http.content_length", "http.response_header", "ble.server_begin", "ble.advertise_start", "ble.advertise_stop", "ble.add_service", "ble.add_char", "ble.on_read", "ble.on_write", "ble.on_connect", "ble.on_disconnect", "ble.notify", "ble.is_connected", "ble.client_count", "ble.set_name", "ble.until_connected", "ble.until_connected_start", "ble.set_tx_power", "ble.status", "preferences.begin", "preferences.end", "preferences.clear", "preferences.remove", "preferences.put_int", "preferences.get_int", "preferences.put_uint", "preferences.get_uint", "preferences.put_bool", "preferences.get_bool", "preferences.put_float", "preferences.get_float", "preferences.put_string", "preferences.get_string", "raw"];
+export declare const HAL_OPERATION_KINDS: readonly ["gpio.write", "gpio.read", "gpio.toggle", "gpio.set_mode", "pwm.write", "pwm.get_frequency", "pwm.get_resolution", "rmt.tx_init", "rmt.tx_write_bytes", "rmt.tx_write_symbols", "rmt.tx_wait_done", "rmt.tx_deinit", "rmt.rx_init", "rmt.rx_on_received", "rmt.rx_start", "rmt.rx_stop", "rmt.rx_read", "rmt.rx_deinit", "adc.read", "adc.get_resolution", "adc.set_reference", "adc.get_reference", "adc.read_voltage", "dac.write", "interrupt.attach", "interrupt.detach", "tone.play", "tone.stop", "timing.delay", "timing.delay_microseconds", "timing.millis", "timing.micros", "timing.free_heap", "timing.set_interval", "timing.set_timeout", "timing.clear_interval", "timing.clear_timeout", "power.deep_sleep", "power.light_sleep", "power.set_cpu_frequency", "power.deep_sleep_pin", "i2c.begin", "i2c.end", "i2c.set_clock", "i2c.begin_transmission", "i2c.write", "i2c.write_bytes", "i2c.write_buffer", "i2c.read_buffer", "i2c.end_transmission", "i2c.request_from", "i2c.available", "i2c.read", "i2c.recover", "spi.begin", "spi.end", "spi.transfer", "spi.begin_transaction", "spi.end_transaction", "spi.set_mode", "spi.set_bit_order", "spi.cs_low", "spi.cs_high", "spi.read_buffer", "uart.begin", "uart.end", "uart.print", "uart.println", "uart.printf", "uart.write", "uart.read", "uart.peek", "uart.available", "uart.flush", "pulse.in", "pulse.in_long", "shift.out", "shift.in", "board.resolve", "wdt.enable", "wdt.reset", "wdt.disable", "snprintf.emit", "wifi.connect", "wifi.connect_start", "wifi.disconnect", "wifi.status", "wifi.is_connected", "wifi.local_ip", "wifi.rssi", "wifi.mac", "wifi.set_hostname", "wifi.set_static_ip", "wifi.set_auto_reconnect", "wifi.set_power_save", "wifi.set_tx_power", "wifi.on_event", "wifi.ap_start", "wifi.ap_stop", "wifi.ap_client_count", "wifi.ap_ip", "wifi.ap_set_channel", "wifi.ap_set_hidden", "wifi.ap_set_max_clients", "wifi.scan", "wifi.scan_start", "wifi.scan_done", "wifi.scan_count", "wifi.scan_ssid", "wifi.scan_rssi", "wifi.scan_encryption", "wifi.scan_channel", "wifi.save_credentials", "wifi.connect_saved", "wifi.clear_credentials", "wifi.wait_connected", "wifi.wait_disconnected", "http.begin", "http.reset", "http.set_header", "http.set_timeout", "http.set_max_body", "http.set_body", "http.set_insecure", "http.set_ca_cert", "http.send", "http.send_start", "http.done", "http.status", "http.ok", "http.body", "http.content_length", "http.response_header", "worker.submit", "worker.done", "ble.server_begin", "ble.advertise_start", "ble.advertise_stop", "ble.add_service", "ble.add_char", "ble.on_read", "ble.on_write", "ble.on_connect", "ble.on_disconnect", "ble.notify", "ble.is_connected", "ble.client_count", "ble.set_name", "ble.until_connected", "ble.until_connected_start", "ble.set_tx_power", "ble.status", "preferences.begin", "preferences.end", "preferences.clear", "preferences.remove", "preferences.put_int", "preferences.get_int", "preferences.put_uint", "preferences.get_uint", "preferences.put_bool", "preferences.get_bool", "preferences.put_float", "preferences.get_float", "preferences.put_string", "preferences.get_string", "random.int", "random.range", "random.seed", "fs.begin", "fs.read_text", "fs.write_text", "fs.exists", "fs.remove", "mdns.start", "mdns.set_hostname", "mdns.add_service", "mdns.announce", "mdns.stop", "mqtt.connect", "mqtt.on_message", "mqtt.subscribe", "mqtt.publish", "mqtt.connected", "mqtt.disconnect", "ota.from_url", "ota.begin", "ota.write", "ota.apply", "temp.read", "hwtimer.set_frequency", "hwtimer.on_overflow", "hwtimer.start", "hwtimer.stop", "capacitive.read", "i2s.init", "i2s.write", "i2s.read", "twai.init", "twai.send", "twai.receive", "usb.init", "usb.write", "usb.read", "eth.init", "eth.start", "eth.is_linked", "espnow.init", "espnow.add_peer", "espnow.send", "espnow.on_receive", "crypto.aes_encrypt", "crypto.sha256", "crypto.hmac", "pcnt.init", "pcnt.count", "pcnt.clear", "mcpwm.init", "mcpwm.set_duty", "mcpwm.start", "raw"];

package/dist/api/shared/hal-op-ir.js

@@ -89,6 +89,8 @@ export const HAL_OPERATION_KINDS = [
     'http.set_ca_cert', 'http.send', 'http.send_start', 'http.done',
     'http.status', 'http.ok', 'http.body', 'http.content_length',
     'http.response_header',
+    // Worker offload (generalized request-in / poll-out over a worker pool)
+    'worker.submit', 'worker.done',
     // BLE (NimBLE GATT peripheral)
     'ble.server_begin', 'ble.advertise_start', 'ble.advertise_stop',
     'ble.add_service', 'ble.add_char',
@@ -103,6 +105,38 @@ export const HAL_OPERATION_KINDS = [
     'preferences.put_bool', 'preferences.get_bool',
     'preferences.put_float', 'preferences.get_float',
     'preferences.put_string', 'preferences.get_string',
+    // Random
+    'random.int', 'random.range', 'random.seed',
+    // FS (filesystem)
+    'fs.begin', 'fs.read_text', 'fs.write_text', 'fs.exists', 'fs.remove',
+    // mDNS
+    'mdns.start', 'mdns.set_hostname', 'mdns.add_service', 'mdns.announce', 'mdns.stop',
+    // MQTT
+    'mqtt.connect', 'mqtt.on_message', 'mqtt.subscribe', 'mqtt.publish', 'mqtt.connected', 'mqtt.disconnect',
+    // OTA
+    'ota.from_url', 'ota.begin', 'ota.write', 'ota.apply',
+    // Temperature
+    'temp.read',
+    // Hardware timer
+    'hwtimer.set_frequency', 'hwtimer.on_overflow', 'hwtimer.start', 'hwtimer.stop',
+    // Capacitive touch pins
+    'capacitive.read',
+    // I2S / digital audio (unimplemented — declared unsupported by all frameworks)
+    'i2s.init', 'i2s.write', 'i2s.read',
+    // TWAI / CAN (unimplemented)
+    'twai.init', 'twai.send', 'twai.receive',
+    // USB OTG / USB-Serial-JTAG (unimplemented)
+    'usb.init', 'usb.write', 'usb.read',
+    // Ethernet MAC (unimplemented)
+    'eth.init', 'eth.start', 'eth.is_linked',
+    // ESPNOW (unimplemented)
+    'espnow.init', 'espnow.add_peer', 'espnow.send', 'espnow.on_receive',
+    // Hardware crypto (unimplemented)
+    'crypto.aes_encrypt', 'crypto.sha256', 'crypto.hmac',
+    // Pulse counter (unimplemented)
+    'pcnt.init', 'pcnt.count', 'pcnt.clear',
+    // Motor control PWM (unimplemented)
+    'mcpwm.init', 'mcpwm.set_duty', 'mcpwm.start',
     // Raw passthrough
     'raw',
 ];

package/dist/api/shared/index.d.ts

@@ -1,4 +1,5 @@
 export type { Diagnostic, PlatformContext, SourceSpan, TargetProfile } from './types.js';
+export type { GeneratedSourceMap, SourceMapEntry } from '../../types.js';
 export type { CppTypeIR, CppTypeKind, CppPrimitiveName, CppFormatKind, } from './cpp-type-ir.js';
 export { parseCppType, renderCppType, splitTemplateArgs, isPointer, isReference, isContainer, isVector, isMap, isSet, isTuple, isVariant, isStdFunction, isStaticArray, isCArray, isStringLike, isPrimitive, bareType, elementOf, formatKindOf, CppTypeIR as cppTypeIRBuilder, parsedIsPointer, parsedIsStringLike, parsedIsPrimitive, parsedIsContainer, parsedIsVector, parsedIsMap, parsedIsSet, parsedIsTuple, parsedIsVariant, parsedIsStaticArray, parsedIsStdString, parsedElementOf, parsedElementString, parsedBareString, parsedBareType, collectNamedTypes, parsedCollectNamedTypes, needsCStrForStringLike, parsedIsPlainStructType, } from './cpp-type-ir.js';
 export type { ExpressionIR, StatementIR, ProgramIR, ImportIR, ReExportIR, CallExpressionIR, SuperCallIR, VariableDeclarationIR, AssignmentIR, UpdateIR, ReturnIR, WhileIR, IfIR, ForIR, ForOfIR, ForInIR, BreakIR, ContinueIR, DoWhileIR, SwitchIR, CaseIR, TryIR, ThrowIR, LabeledIR, BlockIR, HALOpStatementIR, FunctionIR, StructDefIR, EnumIR, ClassFieldIR, ClassConstructorIR, ClassMethodIR, ClassGetterIR, ClassSetterIR, ClassIR, InterfaceIR, TypeAliasIR, NamespaceIR, PeripheralUsageIR, RegisterBitFieldIR, RegisterClassIR, ParameterIR, CppType, } from './ir.js';
@@ -8,7 +9,7 @@ export type { DisplayInitOp, DisplayFillRectOp, DisplayDrawTextOp, DisplayDrawRe
 export { DISPLAY_OPERATION_KINDS } from './display-op-ir.js';
 export type { PlatformGraphicsStrategy, GraphicsCapacity } from './graphics-strategy.js';
 export type { DisplayProfile, DisplayConfig, DisplaySize, TouchProfile, TouchLibrary, TouchAdapterCodegen, ResolvedDisplay } from './display-profile.js';
-export { effectiveDisplaySize, normalizeDisplayRotation, resolveDisplayProfile, resolveScrollConfig, DEFAULT_SCROLL_CANVAS_BUDGET_BYTES } from './display-profile.js';
+export { effectiveDisplaySize, normalizeDisplayRotation, resolveDisplayProfile, resolveScrollConfig } from './display-profile.js';
 export { GLCDFONT_BYTES, renderGlcdfontArray } from './glcdfont.js';
 export type { DisplayAdapterCode, DisplayAdapterGenerator } from './display-adapter.js';
 export { resolveNativeDisplayOp } from './native-display-op-resolver.js';
@@ -25,9 +26,16 @@ export { POLYFILL_HELPER_MAP, filterPolyfillHelpers } from './polyfill-helper-re
 export { STRING_METHODS, STRING_METHOD_NAMES, applyStringMethodRewrites } from './string-method-registry.js';
 export type { StringMethodSpec, StringMethodArgForm } from './string-method-registry.js';
 export { isStringEnum } from './ir-declarations.js';
+export { mapProgramStatements } from '../../ir/utils/map-statements.js';
+export { programUsesSafety } from '../../emit/emitters/setup.js';
 export type { AsyncRuntimeConfig } from './async-types.js';
 export { generatePromiseRuntime } from './promise-runtime.js';
 export { generateStaticAsyncRuntime } from './async-runtime-static.js';
+export { generateCoopScheduler, buildCoopSchedInjection } from './coop-scheduler.js';
+export type { CoopWorkUnit, CoopSchedOptions } from './coop-scheduler.js';
+export { generateWorkerRuntime, lowerWorkerOp } from './worker-runtime.js';
+export type { WorkerRuntimeOptions, WorkerBacking } from './worker-runtime.js';
+export { buildWorkerRuntimePolyfill } from './worker-runtime-polyfill.js';
 export { FrameworkManifestSchema, defineFrameworkManifest, HAL_CATEGORIES, POLYFILL_BACKED_OPS, } from './framework-manifest.js';
 export type { FrameworkManifest, HalCategory, } from './framework-manifest.js';
 export { KNOWN_FRAMEWORK_PACKAGES, loadFrameworkManifest, } from './framework-manifest-registry.js';

package/dist/api/shared/index.js

@@ -6,7 +6,7 @@
 export { parseCppType, renderCppType, splitTemplateArgs, isPointer, isReference, isContainer, isVector, isMap, isSet, isTuple, isVariant, isStdFunction, isStaticArray, isCArray, isStringLike, isPrimitive, bareType, elementOf, formatKindOf, CppTypeIR as cppTypeIRBuilder, parsedIsPointer, parsedIsStringLike, parsedIsPrimitive, parsedIsContainer, parsedIsVector, parsedIsMap, parsedIsSet, parsedIsTuple, parsedIsVariant, parsedIsStaticArray, parsedIsStdString, parsedElementOf, parsedElementString, parsedBareString, parsedBareType, collectNamedTypes, parsedCollectNamedTypes, needsCStrForStringLike, parsedIsPlainStructType, } from './cpp-type-ir.js';
 export { HAL_OPERATION_KINDS } from './hal-op-ir.js';
 export { DISPLAY_OPERATION_KINDS } from './display-op-ir.js';
-export { effectiveDisplaySize, normalizeDisplayRotation, resolveDisplayProfile, resolveScrollConfig, DEFAULT_SCROLL_CANVAS_BUDGET_BYTES } from './display-profile.js';
+export { effectiveDisplaySize, normalizeDisplayRotation, resolveDisplayProfile, resolveScrollConfig } from './display-profile.js';
 // Shared 5x7 glcdfont table (Adafruit public-domain source). Consumed by
 // the SDL preview adapter and the native CuttlefishGFX runtime-header slice.
 export { GLCDFONT_BYTES, renderGlcdfontArray } from './glcdfont.js';
@@ -23,10 +23,20 @@ export { POLYFILL_HELPER_MAP, filterPolyfillHelpers } from './polyfill-helper-re
 export { STRING_METHODS, STRING_METHOD_NAMES, applyStringMethodRewrites } from './string-method-registry.js';
 // Runtime helpers
 export { isStringEnum } from './ir-declarations.js';
+// IR transform helpers (used by the optional @typecad/safety package's pass)
+export { mapProgramStatements } from '../../ir/utils/map-statements.js';
+// Safety-use detector (used by framework strategies to gate __tc_gpio_read
+// shim emission — mirrors programUsesWdt for the watchdog).
+export { programUsesSafety } from '../../emit/emitters/setup.js';
 // Promise runtime generator (heap-based: ESP32/ESP8266/rp2040/samd/…)
 export { generatePromiseRuntime } from './promise-runtime.js';
 // Heap-free static async runtime generator (AVR / megaavr / no-<vector> targets)
 export { generateStaticAsyncRuntime } from './async-runtime-static.js';
+// No-STL cooperative scheduler (priority + time-budget) — Zephyr-friendly
+export { generateCoopScheduler, buildCoopSchedInjection } from './coop-scheduler.js';
+// Worker offload runtime (generalized request-in / poll-out)
+export { generateWorkerRuntime, lowerWorkerOp } from './worker-runtime.js';
+export { buildWorkerRuntimePolyfill } from './worker-runtime-polyfill.js';
 // Framework manifest schema + helper
 export { FrameworkManifestSchema, defineFrameworkManifest, HAL_CATEGORIES, POLYFILL_BACKED_OPS, } from './framework-manifest.js';
 // Framework manifest discovery

package/dist/api/shared/ir-core.d.ts

@@ -134,7 +134,11 @@ export type ExpressionIR = {
     isPointer?: boolean;
     restElementType?: string;
     cppType?: string;
+    receiverExpr?: ExpressionIR;
+    methodName?: string;
 }
+/** A receiverless call: `Name(args)` (free function or constructor). Method-on-receiver calls lower as "method-call"; this is the receiverless form, e.g. `SafeInt(x)`. */
+ | CallExpressionIR
 /** Array element access: `object[index]`. */
  | {
     kind: "element-access";

package/dist/api/shared/ir-declarations.d.ts

@@ -19,6 +19,10 @@ export interface FunctionIR {
     isGenerator?: boolean;
     /** True when the function is exported (has `export` keyword). */
     isExported?: boolean;
+    /** Decorators applied to this function (e.g. ["asilD"]). Mirrors
+     *  ClassIR.decorators. Used by the safety hook's analyzeIR to gate
+     *  ISO 26262 rule enforcement by ASIL level. */
+    decorators?: string[];
 }
 export interface StructDefIR {
     name: string;
@@ -80,6 +84,8 @@ export interface ClassMethodIR {
     typeParameters?: string[];
     /** True when this is a generator method. */
     isGenerator?: boolean;
+    /** Decorators applied to this method (e.g. ["asilD"]). */
+    decorators?: string[];
 }
 export interface ClassGetterIR {
     name: string;