@typecad/cuttlefish 0.1.0-alpha.2 → 1.0.0-alpha.10

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

@@ -42,6 +42,77 @@ export interface PwmGetResolutionOp {
     port?: string;
     pin: number;
 }
+export interface RmtTxInitOp {
+    operation: "rmt.tx_init";
+    port?: string;
+    pin: number;
+    resolutionHz: number | string;
+    bit0Hi: number | string;
+    bit0Lo: number | string;
+    bit1Hi: number | string;
+    bit1Lo: number | string;
+    msbFirst?: boolean | string;
+    queueDepth?: number | string;
+}
+export interface RmtTxWriteBytesOp {
+    operation: "rmt.tx_write_bytes";
+    port?: string;
+    pin: number;
+    /** Pre-rendered C array initializer body, e.g. "1, 2, 3" (positional; bytes arg is array-literal-rendered). */
+    bytes: string;
+}
+export interface RmtTxWriteSymbolsOp {
+    operation: "rmt.tx_write_symbols";
+    port?: string;
+    pin: number;
+    /** Rendered rmt_symbol_word_t array body, one row per symbol. */
+    symbols: string;
+}
+export interface RmtTxWaitDoneOp {
+    operation: "rmt.tx_wait_done";
+    port?: string;
+    pin: number;
+    timeoutMs?: number | string;
+}
+export interface RmtTxDeinitOp {
+    operation: "rmt.tx_deinit";
+    port?: string;
+    pin: number;
+}
+export interface RmtRxInitOp {
+    operation: "rmt.rx_init";
+    port?: string;
+    pin: number;
+    resolutionHz: number | string;
+}
+export interface RmtRxOnReceivedOp {
+    operation: "rmt.rx_on_received";
+    port?: string;
+    pin: number;
+    /** User-declared C function name to call on receive. */
+    handler: string;
+}
+export interface RmtRxStartOp {
+    operation: "rmt.rx_start";
+    port?: string;
+    pin: number;
+}
+export interface RmtRxStopOp {
+    operation: "rmt.rx_stop";
+    port?: string;
+    pin: number;
+}
+export interface RmtRxReadOp {
+    operation: "rmt.rx_read";
+    port?: string;
+    pin: number;
+    maxCount: number | string;
+}
+export interface RmtRxDeinitOp {
+    operation: "rmt.rx_deinit";
+    port?: string;
+    pin: number;
+}
 export interface AdcReadOp {
     operation: "adc.read";
     port?: string;
@@ -148,6 +219,11 @@ export interface PowerSetCpuFrequencyOp {
     operation: "power.set_cpu_frequency";
     mhz: number;
 }
+export interface PowerDeepSleepPinOp {
+    operation: "power.deep_sleep_pin";
+    pin: number;
+    level: number;
+}
 export interface I2cBeginOp {
     operation: "i2c.begin";
     bus: string;
@@ -267,6 +343,15 @@ export interface SpiCsHighOp {
     port?: string;
     pin: number;
 }
+export interface SpiReadBufferOp {
+    operation: "spi.read_buffer";
+    bus: string;
+    /** Number of bytes — numeric or runtime expression string */
+    count: number | string;
+    /** Buffer variable name, "__HAL_READ_BUF__" placeholder (rewritten to the
+     *  caller's variable by the variable-init transformer), or "__DISCARD__" */
+    buffer: string;
+}
 export interface UartBeginOp {
     operation: "uart.begin";
     port: string;
@@ -375,6 +460,673 @@ export interface SnprintfEmitOp {
     /** Resolved C++ argument expressions */
     args: string[];
 }
+export interface WifiConnectOp {
+    operation: "wifi.connect";
+    ssid: string;
+    password?: string;
+    timeoutMs: number | string;
+    blocking: boolean;
+}
+export interface WifiConnectStartOp {
+    operation: "wifi.connect_start";
+    ssid: string;
+    password?: string;
+}
+export interface WifiDisconnectOp {
+    operation: "wifi.disconnect";
+}
+export interface WifiStatusOp {
+    operation: "wifi.status";
+}
+export interface WifiIsConnectedOp {
+    operation: "wifi.is_connected";
+}
+export interface WifiLocalIpOp {
+    operation: "wifi.local_ip";
+}
+export interface WifiRssiOp {
+    operation: "wifi.rssi";
+}
+export interface WifiMacOp {
+    operation: "wifi.mac";
+}
+export interface WifiSetHostnameOp {
+    operation: "wifi.set_hostname";
+    name: string;
+}
+export interface WifiSetStaticIpOp {
+    operation: "wifi.set_static_ip";
+    ip: string;
+    gateway: string;
+    subnet: string;
+    dns?: string;
+}
+export interface WifiSetAutoReconnectOp {
+    operation: "wifi.set_auto_reconnect";
+    enabled: boolean | string;
+}
+export interface WifiSetPowerSaveOp {
+    operation: "wifi.set_power_save";
+    mode: string;
+}
+export interface WifiSetTxPowerOp {
+    operation: "wifi.set_tx_power";
+    dbm: number | string;
+}
+export interface WifiOnEventOp {
+    operation: "wifi.on_event";
+    event: "connect" | "disconnect" | string;
+    handler: string;
+}
+export interface WifiApStartOp {
+    operation: "wifi.ap_start";
+    ssid: string;
+    password?: string;
+    channel?: number | string;
+    hidden?: boolean | string;
+    maxClients?: number | string;
+}
+export interface WifiApStopOp {
+    operation: "wifi.ap_stop";
+}
+export interface WifiApClientCountOp {
+    operation: "wifi.ap_client_count";
+}
+export interface WifiApIpOp {
+    operation: "wifi.ap_ip";
+}
+export interface WifiApSetChannelOp {
+    operation: "wifi.ap_set_channel";
+    channel: number | string;
+}
+export interface WifiApSetHiddenOp {
+    operation: "wifi.ap_set_hidden";
+    hidden: boolean | string;
+}
+export interface WifiApSetMaxClientsOp {
+    operation: "wifi.ap_set_max_clients";
+    maxClients: number | string;
+}
+export interface WifiScanOp {
+    operation: "wifi.scan";
+}
+export interface WifiScanStartOp {
+    operation: "wifi.scan_start";
+}
+/** Poll predicate paired with wifi.scan_start — true when scan results are ready. */
+export interface WifiScanDoneOp {
+    operation: "wifi.scan_done";
+}
+export interface WifiScanCountOp {
+    operation: "wifi.scan_count";
+}
+export interface WifiScanSsidOp {
+    operation: "wifi.scan_ssid";
+    index: number | string;
+}
+export interface WifiScanRssiOp {
+    operation: "wifi.scan_rssi";
+    index: number | string;
+}
+export interface WifiScanEncryptionOp {
+    operation: "wifi.scan_encryption";
+    index: number | string;
+}
+export interface WifiScanChannelOp {
+    operation: "wifi.scan_channel";
+    index: number | string;
+}
+export interface WifiSaveCredentialsOp {
+    operation: "wifi.save_credentials";
+    ssid: string;
+    password: string;
+}
+export interface WifiConnectSavedOp {
+    operation: "wifi.connect_saved";
+    timeoutMs: number | string;
+}
+export interface WifiClearCredentialsOp {
+    operation: "wifi.clear_credentials";
+}
+export interface WifiWaitConnectedOp {
+    operation: "wifi.wait_connected";
+    timeoutMs: number | string;
+}
+export interface WifiWaitDisconnectedOp {
+    operation: "wifi.wait_disconnected";
+}
+export interface HttpBeginOp {
+    operation: "http.begin";
+    method: string;
+    url: string;
+}
+export interface HttpResetOp {
+    operation: "http.reset";
+}
+export interface HttpSetHeaderOp {
+    operation: "http.set_header";
+    name: string;
+    value: string;
+}
+export interface HttpSetTimeoutOp {
+    operation: "http.set_timeout";
+    ms: number | string;
+}
+export interface HttpSetMaxBodyOp {
+    operation: "http.set_max_body";
+    bytes: number | string;
+}
+export interface HttpSetBodyOp {
+    operation: "http.set_body";
+    data: string;
+    json?: boolean;
+}
+export interface HttpSetInsecureOp {
+    operation: "http.set_insecure";
+}
+export interface HttpSetCaCertOp {
+    operation: "http.set_ca_cert";
+    pem: string;
+}
+export interface HttpSendOp {
+    operation: "http.send";
+    blocking: boolean;
+}
+export interface HttpSendStartOp {
+    operation: "http.send_start";
+}
+/** Poll predicate paired with http.send_start — true when the response is in. */
+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";
+}
+export interface HttpOkOp {
+    operation: "http.ok";
+}
+export interface HttpBodyOp {
+    operation: "http.body";
+}
+export interface HttpContentLengthOp {
+    operation: "http.content_length";
+}
+export interface HttpResponseHeaderOp {
+    operation: "http.response_header";
+    name: string;
+}
+export interface BleServerBeginOp {
+    operation: "ble.server_begin";
+    name: string;
+}
+export interface BleAdvertiseStartOp {
+    operation: "ble.advertise_start";
+}
+export interface BleAdvertiseStopOp {
+    operation: "ble.advertise_stop";
+}
+export interface BleAddServiceOp {
+    operation: "ble.add_service";
+    uuid: string;
+}
+export interface BleAddCharOp {
+    operation: "ble.add_char";
+    index: number | string;
+    uuid: string;
+    type: string;
+    perms: number | string;
+    svcIndex?: number | string;
+}
+export interface BleOnReadOp {
+    operation: "ble.on_read";
+    index: number | string;
+    handler: string;
+}
+export interface BleOnWriteOp {
+    operation: "ble.on_write";
+    index: number | string;
+    handler: string;
+}
+export interface BleOnConnectOp {
+    operation: "ble.on_connect";
+    handler: string;
+}
+export interface BleOnDisconnectOp {
+    operation: "ble.on_disconnect";
+    handler: string;
+}
+export interface BleNotifyOp {
+    operation: "ble.notify";
+    index: number | string;
+    value: number | string;
+}
+export interface BleIsConnectedOp {
+    operation: "ble.is_connected";
+}
+export interface BleClientCountOp {
+    operation: "ble.client_count";
+}
+export interface BleSetNameOp {
+    operation: "ble.set_name";
+    name: string;
+}
+export interface BleUntilConnectedOp {
+    operation: "ble.until_connected";
+    timeoutMs: number | string;
+    blocking: boolean;
+}
+export interface BleUntilConnectedStartOp {
+    operation: "ble.until_connected_start";
+}
+export interface BleSetTxPowerOp {
+    operation: "ble.set_tx_power";
+    dbm: number | string;
+}
+export interface BleStatusOp {
+    operation: "ble.status";
+}
+export interface PreferencesBeginOp {
+    operation: "preferences.begin";
+    namespace: string;
+    readOnly: boolean;
+}
+export interface PreferencesEndOp {
+    operation: "preferences.end";
+}
+export interface PreferencesClearOp {
+    operation: "preferences.clear";
+}
+export interface PreferencesRemoveOp {
+    operation: "preferences.remove";
+    key: string;
+}
+export interface PreferencesPutIntOp {
+    operation: "preferences.put_int";
+    key: string;
+    value: number | string;
+}
+export interface PreferencesGetIntOp {
+    operation: "preferences.get_int";
+    key: string;
+    defaultValue: number | string;
+}
+export interface PreferencesPutUIntOp {
+    operation: "preferences.put_uint";
+    key: string;
+    value: number | string;
+}
+export interface PreferencesGetUIntOp {
+    operation: "preferences.get_uint";
+    key: string;
+    defaultValue: number | string;
+}
+export interface PreferencesPutBoolOp {
+    operation: "preferences.put_bool";
+    key: string;
+    value: boolean;
+}
+export interface PreferencesGetBoolOp {
+    operation: "preferences.get_bool";
+    key: string;
+    defaultValue: boolean;
+}
+export interface PreferencesPutFloatOp {
+    operation: "preferences.put_float";
+    key: string;
+    value: number | string;
+}
+export interface PreferencesGetFloatOp {
+    operation: "preferences.get_float";
+    key: string;
+    defaultValue: number | string;
+}
+export interface PreferencesPutStringOp {
+    operation: "preferences.put_string";
+    key: string;
+    value: string;
+}
+export interface PreferencesGetStringOp {
+    operation: "preferences.get_string";
+    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) */
@@ -385,9 +1137,20 @@ 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 | AdcReadOp | AdcGetResolutionOp | AdcSetReferenceOp | AdcGetReferenceOp | AdcReadVoltageOp | DacWriteOp | InterruptAttachOp | InterruptDetachOp | TonePlayOp | ToneStopOp | TimingDelayOp | TimingDelayMicrosecondsOp | TimingMillisOp | TimingMicrosOp | TimingFreeHeapOp | TimingSetIntervalOp | TimingSetTimeoutOp | TimingClearIntervalOp | TimingClearTimeoutOp | PowerDeepSleepOp | PowerLightSleepOp | PowerSetCpuFrequencyOp | I2cBeginOp | I2cEndOp | I2cSetClockOp | I2cBeginTransmissionOp | I2cWriteOp | I2cWriteBytesOp | I2cWriteBufferOp | I2cReadBufferOp | I2cEndTransmissionOp | I2cRequestFromOp | I2cAvailableOp | I2cReadOp | I2cRecoverOp | SpiBeginOp | SpiEndOp | SpiTransferOp | SpibeginTransactionOp | SpiEndTransactionOp | SpiSetModeOp | SpiSetBitOrderOp | SpiCsLowOp | SpiCsHighOp | UartBeginOp | UartEndOp | UartPrintOp | UartPrintlnOp | UartPrintfOp | UartWriteOp | UartReadOp | UartPeekOp | UartAvailableOp | UartFlushOp | PulseInOp | PulseInLongOp | ShiftOutOp | ShiftInOp | BoardResolveOp | WdtEnableOp | WdtResetOp | WdtDisableOp | SnprintfEmitOp | 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.
  */
 export type HALOperationKind = HALOpIR["operation"];
+/**
+ * Runtime registry of every HAL operation discriminator, parallel to
+ * {@link DISPLAY_OPERATION_KINDS}. Lets tests and the manifest validator
+ * enumerate HAL op kinds without parsing types (which are erased at runtime).
+ * Keep in sync with {@link HALOpIR} above.
+ *
+ * Note: `display.*` ops are NOT listed here — they live in
+ * {@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", "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"];