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

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

@@ -1,5 +1,5 @@
 import { z } from 'zod';
-declare const HAL_CATEGORIES: readonly ["gpio", "pwm", "adc", "dac", "interrupts", "tone", "timing", "power", "i2c", "spi", "uart", "pulse", "shift", "board", "wdt", "wifi", "http", "mqtt", "display"];
+declare const HAL_CATEGORIES: readonly ["gpio", "pwm", "adc", "dac", "interrupts", "timing", "i2c", "spi", "uart", "board", "wdt", "wifi", "http", "mqtt", "display"];
 export type HalCategory = typeof HAL_CATEGORIES[number];
 export declare const FrameworkManifestSchema: z.ZodObject<{
     schemaVersion: z.ZodLiteral<1>;
@@ -9,212 +9,70 @@ export declare const FrameworkManifestSchema: z.ZodObject<{
     displayName: z.ZodString;
     description: z.ZodString;
     basedOn: z.ZodOptional<z.ZodString>;
-    implementationMode: z.ZodEnum<["from-scratch", "extends-canonical", "extends-other"]>;
+    implementationMode: z.ZodEnum<{
+        "from-scratch": "from-scratch";
+        "extends-canonical": "extends-canonical";
+        "extends-other": "extends-other";
+    }>;
     inheritsStrategyId: z.ZodOptional<z.ZodString>;
     entrypoint: z.ZodObject<{
         entrypointFunctionName: z.ZodString;
         requiresLoopFunction: z.ZodBoolean;
-        sourceExtension: z.ZodEnum<["ino", "cc", "cpp", "h"]>;
+        sourceExtension: z.ZodEnum<{
+            ino: "ino";
+            cc: "cc";
+            cpp: "cpp";
+            h: "h";
+        }>;
         overrideBaseName: z.ZodOptional<z.ZodString>;
         outputSubdirectory: z.ZodOptional<z.ZodString>;
         generateHeaderFile: z.ZodBoolean;
         customBridgeShim: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        sourceExtension: "cpp" | "ino" | "cc" | "h";
-        entrypointFunctionName: string;
-        requiresLoopFunction: boolean;
-        generateHeaderFile: boolean;
-        overrideBaseName?: string | undefined;
-        outputSubdirectory?: string | undefined;
-        customBridgeShim?: string | undefined;
-    }, {
-        sourceExtension: "cpp" | "ino" | "cc" | "h";
-        entrypointFunctionName: string;
-        requiresLoopFunction: boolean;
-        generateHeaderFile: boolean;
-        overrideBaseName?: string | undefined;
-        outputSubdirectory?: string | undefined;
-        customBridgeShim?: string | undefined;
-    }>;
+    }, z.core.$strip>;
     profile: z.ZodObject<{
-        targets: z.ZodArray<z.ZodString, "many">;
-        forcedIncludes: z.ZodArray<z.ZodString, "many">;
+        targets: z.ZodArray<z.ZodString>;
+        forcedIncludes: z.ZodArray<z.ZodString>;
         symbolAliases: z.ZodRecord<z.ZodString, z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        forcedIncludes: string[];
-        symbolAliases: Record<string, string>;
-        targets: string[];
-    }, {
-        forcedIncludes: string[];
-        symbolAliases: Record<string, string>;
-        targets: string[];
-    }>;
+    }, z.core.$strip>;
     hal: z.ZodObject<{
         [x: string]: z.ZodObject<{
             supported: z.ZodBoolean;
             unsupportedReason: z.ZodOptional<z.ZodString>;
-            ops: z.ZodRecord<z.ZodString, z.ZodEnum<["supported", "stub", "unsupported", "probe-inconclusive", "polyfill"]>>;
+            ops: z.ZodRecord<z.ZodString, z.ZodEnum<{
+                stub: "stub";
+                supported: "supported";
+                unsupported: "unsupported";
+                "probe-inconclusive": "probe-inconclusive";
+                polyfill: "polyfill";
+            }>>;
             partialCoverage: z.ZodDefault<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            partialCoverage: boolean;
-            unsupportedReason?: string | undefined;
-        }, {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            unsupportedReason?: string | undefined;
-            partialCoverage?: boolean | undefined;
-        }>;
-    } & {
+        }, z.core.$strip>;
         raw: z.ZodDefault<z.ZodObject<{
             supported: z.ZodBoolean;
-        }, "strip", z.ZodTypeAny, {
-            supported: boolean;
-        }, {
-            supported: boolean;
-        }>>;
-    }, "strip", z.ZodObject<{
-        supported: z.ZodBoolean;
-        unsupportedReason: z.ZodOptional<z.ZodString>;
-        ops: z.ZodRecord<z.ZodString, z.ZodEnum<["supported", "stub", "unsupported", "probe-inconclusive", "polyfill"]>>;
-        partialCoverage: z.ZodDefault<z.ZodBoolean>;
-    }, "strip", z.ZodTypeAny, {
-        supported: boolean;
-        ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-        partialCoverage: boolean;
-        unsupportedReason?: string | undefined;
-    }, {
-        supported: boolean;
-        ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-        unsupportedReason?: string | undefined;
-        partialCoverage?: boolean | undefined;
-    }>, z.objectOutputType<{
-        [x: string]: z.ZodObject<{
-            supported: z.ZodBoolean;
-            unsupportedReason: z.ZodOptional<z.ZodString>;
-            ops: z.ZodRecord<z.ZodString, z.ZodEnum<["supported", "stub", "unsupported", "probe-inconclusive", "polyfill"]>>;
-            partialCoverage: z.ZodDefault<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            partialCoverage: boolean;
-            unsupportedReason?: string | undefined;
-        }, {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            unsupportedReason?: string | undefined;
-            partialCoverage?: boolean | undefined;
-        }>;
-    } & {
-        raw: z.ZodDefault<z.ZodObject<{
-            supported: z.ZodBoolean;
-        }, "strip", z.ZodTypeAny, {
-            supported: boolean;
-        }, {
-            supported: boolean;
-        }>>;
-    }, z.ZodObject<{
+        }, z.core.$strip>>;
+    }, z.core.$catchall<z.ZodObject<{
         supported: z.ZodBoolean;
         unsupportedReason: z.ZodOptional<z.ZodString>;
-        ops: z.ZodRecord<z.ZodString, z.ZodEnum<["supported", "stub", "unsupported", "probe-inconclusive", "polyfill"]>>;
-        partialCoverage: z.ZodDefault<z.ZodBoolean>;
-    }, "strip", z.ZodTypeAny, {
-        supported: boolean;
-        ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-        partialCoverage: boolean;
-        unsupportedReason?: string | undefined;
-    }, {
-        supported: boolean;
-        ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-        unsupportedReason?: string | undefined;
-        partialCoverage?: boolean | undefined;
-    }>, "strip">, z.objectInputType<{
-        [x: string]: z.ZodObject<{
-            supported: z.ZodBoolean;
-            unsupportedReason: z.ZodOptional<z.ZodString>;
-            ops: z.ZodRecord<z.ZodString, z.ZodEnum<["supported", "stub", "unsupported", "probe-inconclusive", "polyfill"]>>;
-            partialCoverage: z.ZodDefault<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            partialCoverage: boolean;
-            unsupportedReason?: string | undefined;
-        }, {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            unsupportedReason?: string | undefined;
-            partialCoverage?: boolean | undefined;
-        }>;
-    } & {
-        raw: z.ZodDefault<z.ZodObject<{
-            supported: z.ZodBoolean;
-        }, "strip", z.ZodTypeAny, {
-            supported: boolean;
-        }, {
-            supported: boolean;
+        ops: z.ZodRecord<z.ZodString, z.ZodEnum<{
+            stub: "stub";
+            supported: "supported";
+            unsupported: "unsupported";
+            "probe-inconclusive": "probe-inconclusive";
+            polyfill: "polyfill";
         }>>;
-    }, z.ZodObject<{
-        supported: z.ZodBoolean;
-        unsupportedReason: z.ZodOptional<z.ZodString>;
-        ops: z.ZodRecord<z.ZodString, z.ZodEnum<["supported", "stub", "unsupported", "probe-inconclusive", "polyfill"]>>;
         partialCoverage: z.ZodDefault<z.ZodBoolean>;
-    }, "strip", z.ZodTypeAny, {
-        supported: boolean;
-        ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-        partialCoverage: boolean;
-        unsupportedReason?: string | undefined;
-    }, {
-        supported: boolean;
-        ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-        unsupportedReason?: string | undefined;
-        partialCoverage?: boolean | undefined;
-    }>, "strip">>;
+    }, z.core.$strip>>>;
     polyfills: z.ZodObject<{
         emitted: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             domain: z.ZodString;
             notes: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            id: string;
-            domain: string;
-            notes?: string | undefined;
-        }, {
-            id: string;
-            domain: string;
-            notes?: string | undefined;
-        }>, "many">;
+        }, z.core.$strip>>;
         suppressed: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             reason: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            id: string;
-            reason: string;
-        }, {
-            id: string;
-            reason: string;
-        }>, "many">;
-    }, "strip", z.ZodTypeAny, {
-        emitted: {
-            id: string;
-            domain: string;
-            notes?: string | undefined;
-        }[];
-        suppressed: {
-            id: string;
-            reason: string;
-        }[];
-    }, {
-        emitted: {
-            id: string;
-            domain: string;
-            notes?: string | undefined;
-        }[];
-        suppressed: {
-            id: string;
-            reason: string;
-        }[];
-    }>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
     toolchain: z.ZodObject<{
         backend: z.ZodString;
         operations: z.ZodObject<{
@@ -223,63 +81,24 @@ export declare const FrameworkManifestSchema: z.ZodObject<{
             upload: z.ZodBoolean;
             monitor: z.ZodBoolean;
             debug: z.ZodOptional<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            prepare: boolean;
-            compile: boolean;
-            upload: boolean;
-            monitor: boolean;
-            debug?: boolean | undefined;
-        }, {
-            prepare: boolean;
-            compile: boolean;
-            upload: boolean;
-            monitor: boolean;
-            debug?: boolean | undefined;
-        }>;
+        }, z.core.$strip>;
         reexportedFrom: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        backend: string;
-        operations: {
-            prepare: boolean;
-            compile: boolean;
-            upload: boolean;
-            monitor: boolean;
-            debug?: boolean | undefined;
-        };
-        reexportedFrom?: string | undefined;
-    }, {
-        backend: string;
-        operations: {
-            prepare: boolean;
-            compile: boolean;
-            upload: boolean;
-            monitor: boolean;
-            debug?: boolean | undefined;
-        };
-        reexportedFrom?: string | undefined;
-    }>;
+    }, z.core.$strip>;
     libraryResolution: z.ZodOptional<z.ZodObject<{
         isFrameworkLibraryImport: z.ZodBoolean;
         getFrameworkLibraryHeaderName: z.ZodBoolean;
         buildClassNameMap: z.ZodBoolean;
         tryGenerateLibDecl: z.ZodBoolean;
         reexportedFrom: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        isFrameworkLibraryImport: boolean;
-        getFrameworkLibraryHeaderName: boolean;
-        buildClassNameMap: boolean;
-        tryGenerateLibDecl: boolean;
-        reexportedFrom?: string | undefined;
-    }, {
-        isFrameworkLibraryImport: boolean;
-        getFrameworkLibraryHeaderName: boolean;
-        buildClassNameMap: boolean;
-        tryGenerateLibDecl: boolean;
-        reexportedFrom?: string | undefined;
-    }>>;
+    }, z.core.$strip>>;
     typeEmission: z.ZodObject<{
         normalizeCppType: z.ZodBoolean;
-        mathHeader: z.ZodEnum<["none", "<math.h>", "<Arduino.h>"]>;
+        mathHeader: z.ZodEnum<{
+            none: "none";
+            "<math.h>": "<math.h>";
+            "<Arduino.h>": "<Arduino.h>";
+            "<cmath>": "<cmath>";
+        }>;
         needsStdString: z.ZodBoolean;
         needsStdVector: z.ZodBoolean;
         needsIostream: z.ZodBoolean;
@@ -290,292 +109,31 @@ export declare const FrameworkManifestSchema: z.ZodObject<{
             hasIostream: z.ZodBoolean;
             hasExceptions: z.ZodBoolean;
             hasRTTI: z.ZodBoolean;
-            recommendedArrayImpl: z.ZodEnum<["std_vector", "static_array"]>;
-            recommendedStringImpl: z.ZodEnum<["std_string", "static_string"]>;
-        }, "strip", z.ZodTypeAny, {
-            hasVector: boolean;
-            hasString: boolean;
-            hasIostream: boolean;
-            hasExceptions: boolean;
-            hasRTTI: boolean;
-            recommendedArrayImpl: "std_vector" | "static_array";
-            recommendedStringImpl: "std_string" | "static_string";
-        }, {
-            hasVector: boolean;
-            hasString: boolean;
-            hasIostream: boolean;
-            hasExceptions: boolean;
-            hasRTTI: boolean;
-            recommendedArrayImpl: "std_vector" | "static_array";
-            recommendedStringImpl: "std_string" | "static_string";
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        needsIostream: boolean;
-        needsStdString: boolean;
-        needsStdVector: boolean;
-        needsStdFunction: boolean;
-        mathHeader: "none" | "<math.h>" | "<Arduino.h>";
-        normalizeCppType: boolean;
-        stdlibSupport: {
-            hasVector: boolean;
-            hasString: boolean;
-            hasIostream: boolean;
-            hasExceptions: boolean;
-            hasRTTI: boolean;
-            recommendedArrayImpl: "std_vector" | "static_array";
-            recommendedStringImpl: "std_string" | "static_string";
-        };
-    }, {
-        needsIostream: boolean;
-        needsStdString: boolean;
-        needsStdVector: boolean;
-        needsStdFunction: boolean;
-        mathHeader: "none" | "<math.h>" | "<Arduino.h>";
-        normalizeCppType: boolean;
-        stdlibSupport: {
-            hasVector: boolean;
-            hasString: boolean;
-            hasIostream: boolean;
-            hasExceptions: boolean;
-            hasRTTI: boolean;
-            recommendedArrayImpl: "std_vector" | "static_array";
-            recommendedStringImpl: "std_string" | "static_string";
-        };
-    }>;
-    ambientTypes: z.ZodArray<z.ZodString, "many">;
+            recommendedArrayImpl: z.ZodEnum<{
+                std_vector: "std_vector";
+                static_array: "static_array";
+            }>;
+            recommendedStringImpl: z.ZodEnum<{
+                std_string: "std_string";
+                static_string: "static_string";
+            }>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    ambientTypes: z.ZodArray<z.ZodString>;
     conformance: z.ZodObject<{
-        hardwareTestGroups: z.ZodArray<z.ZodString, "many">;
-        halResolutionTests: z.ZodArray<z.ZodString, "many">;
-    }, "strip", z.ZodTypeAny, {
-        hardwareTestGroups: string[];
-        halResolutionTests: string[];
-    }, {
-        hardwareTestGroups: string[];
-        halResolutionTests: string[];
-    }>;
+        hardwareTestGroups: z.ZodArray<z.ZodString>;
+        halResolutionTests: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
     doctor: z.ZodOptional<z.ZodObject<{
         available: z.ZodBoolean;
-    }, "strip", z.ZodTypeAny, {
-        available: boolean;
-    }, {
-        available: boolean;
-    }>>;
+    }, z.core.$strip>>;
     licenses: z.ZodOptional<z.ZodObject<{
         available: z.ZodBoolean;
-    }, "strip", z.ZodTypeAny, {
-        available: boolean;
-    }, {
-        available: boolean;
-    }>>;
+    }, z.core.$strip>>;
     compat: z.ZodOptional<z.ZodObject<{
-        /** Supported Zephyr RTOS version range (framework-zephyr). */
         zephyr: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        zephyr?: string | undefined;
-    }, {
-        zephyr?: string | undefined;
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    hal: {
-        [x: string]: {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            partialCoverage: boolean;
-            unsupportedReason?: string | undefined;
-        };
-        raw?: unknown;
-    } & {
-        [k: string]: {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            partialCoverage: boolean;
-            unsupportedReason?: string | undefined;
-        };
-    };
-    packageName: string;
-    schemaVersion: 1;
-    frameworkId: string;
-    canonical: boolean;
-    displayName: string;
-    description: string;
-    implementationMode: "from-scratch" | "extends-canonical" | "extends-other";
-    entrypoint: {
-        sourceExtension: "cpp" | "ino" | "cc" | "h";
-        entrypointFunctionName: string;
-        requiresLoopFunction: boolean;
-        generateHeaderFile: boolean;
-        overrideBaseName?: string | undefined;
-        outputSubdirectory?: string | undefined;
-        customBridgeShim?: string | undefined;
-    };
-    profile: {
-        forcedIncludes: string[];
-        symbolAliases: Record<string, string>;
-        targets: string[];
-    };
-    polyfills: {
-        emitted: {
-            id: string;
-            domain: string;
-            notes?: string | undefined;
-        }[];
-        suppressed: {
-            id: string;
-            reason: string;
-        }[];
-    };
-    toolchain: {
-        backend: string;
-        operations: {
-            prepare: boolean;
-            compile: boolean;
-            upload: boolean;
-            monitor: boolean;
-            debug?: boolean | undefined;
-        };
-        reexportedFrom?: string | undefined;
-    };
-    typeEmission: {
-        needsIostream: boolean;
-        needsStdString: boolean;
-        needsStdVector: boolean;
-        needsStdFunction: boolean;
-        mathHeader: "none" | "<math.h>" | "<Arduino.h>";
-        normalizeCppType: boolean;
-        stdlibSupport: {
-            hasVector: boolean;
-            hasString: boolean;
-            hasIostream: boolean;
-            hasExceptions: boolean;
-            hasRTTI: boolean;
-            recommendedArrayImpl: "std_vector" | "static_array";
-            recommendedStringImpl: "std_string" | "static_string";
-        };
-    };
-    ambientTypes: string[];
-    conformance: {
-        hardwareTestGroups: string[];
-        halResolutionTests: string[];
-    };
-    doctor?: {
-        available: boolean;
-    } | undefined;
-    licenses?: {
-        available: boolean;
-    } | undefined;
-    basedOn?: string | undefined;
-    inheritsStrategyId?: string | undefined;
-    libraryResolution?: {
-        isFrameworkLibraryImport: boolean;
-        getFrameworkLibraryHeaderName: boolean;
-        buildClassNameMap: boolean;
-        tryGenerateLibDecl: boolean;
-        reexportedFrom?: string | undefined;
-    } | undefined;
-    compat?: {
-        zephyr?: string | undefined;
-    } | undefined;
-}, {
-    hal: {
-        [x: string]: {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            unsupportedReason?: string | undefined;
-            partialCoverage?: boolean | undefined;
-        };
-        raw?: unknown;
-    } & {
-        [k: string]: {
-            supported: boolean;
-            ops: Record<string, "stub" | "polyfill" | "supported" | "unsupported" | "probe-inconclusive">;
-            unsupportedReason?: string | undefined;
-            partialCoverage?: boolean | undefined;
-        };
-    };
-    packageName: string;
-    schemaVersion: 1;
-    frameworkId: string;
-    displayName: string;
-    description: string;
-    implementationMode: "from-scratch" | "extends-canonical" | "extends-other";
-    entrypoint: {
-        sourceExtension: "cpp" | "ino" | "cc" | "h";
-        entrypointFunctionName: string;
-        requiresLoopFunction: boolean;
-        generateHeaderFile: boolean;
-        overrideBaseName?: string | undefined;
-        outputSubdirectory?: string | undefined;
-        customBridgeShim?: string | undefined;
-    };
-    profile: {
-        forcedIncludes: string[];
-        symbolAliases: Record<string, string>;
-        targets: string[];
-    };
-    polyfills: {
-        emitted: {
-            id: string;
-            domain: string;
-            notes?: string | undefined;
-        }[];
-        suppressed: {
-            id: string;
-            reason: string;
-        }[];
-    };
-    toolchain: {
-        backend: string;
-        operations: {
-            prepare: boolean;
-            compile: boolean;
-            upload: boolean;
-            monitor: boolean;
-            debug?: boolean | undefined;
-        };
-        reexportedFrom?: string | undefined;
-    };
-    typeEmission: {
-        needsIostream: boolean;
-        needsStdString: boolean;
-        needsStdVector: boolean;
-        needsStdFunction: boolean;
-        mathHeader: "none" | "<math.h>" | "<Arduino.h>";
-        normalizeCppType: boolean;
-        stdlibSupport: {
-            hasVector: boolean;
-            hasString: boolean;
-            hasIostream: boolean;
-            hasExceptions: boolean;
-            hasRTTI: boolean;
-            recommendedArrayImpl: "std_vector" | "static_array";
-            recommendedStringImpl: "std_string" | "static_string";
-        };
-    };
-    ambientTypes: string[];
-    conformance: {
-        hardwareTestGroups: string[];
-        halResolutionTests: string[];
-    };
-    doctor?: {
-        available: boolean;
-    } | undefined;
-    licenses?: {
-        available: boolean;
-    } | undefined;
-    canonical?: boolean | undefined;
-    basedOn?: string | undefined;
-    inheritsStrategyId?: string | undefined;
-    libraryResolution?: {
-        isFrameworkLibraryImport: boolean;
-        getFrameworkLibraryHeaderName: boolean;
-        buildClassNameMap: boolean;
-        tryGenerateLibDecl: boolean;
-        reexportedFrom?: string | undefined;
-    } | undefined;
-    compat?: {
-        zephyr?: string | undefined;
-    } | undefined;
-}>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
 export type FrameworkManifest = z.infer<typeof FrameworkManifestSchema>;
 /**
  * Authoritative map of HAL op kinds that are lowered via the polyfill system
@@ -583,8 +141,8 @@ export type FrameworkManifest = z.infer<typeof FrameworkManifestSchema>;
  * polyfill id that backs it.
  *
  * The manifest validator uses this to verify `polyfill`-declared ops: if a
- * manifest declares `timing.set_interval: 'polyfill'`, the framework's
- * `polyfills.emitted` list must include the polyfill id named here.
+ * manifest declares an op as `polyfill`, the framework's `polyfills.emitted`
+ * list must include the polyfill id named here.
  *
  * Keep in sync with the transpiler's lowering routes — when a new op kind
  * starts being routed via a polyfill instead of the HAL resolver, add it