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

package/dist/platform/coop-scheduler-runtime.js

@@ -0,0 +1,41 @@
+import { generateCoopScheduler } from "../api/shared/index.js";
+/**
+ * Build a RuntimePolyfillIR for the no-STL cooperative scheduler, when the
+ * program has async/timer work AND the strategy has opted into priority/time-
+ * budget scheduling via AsyncRuntimeConfig.
+ *
+ * The polyfill carries only the scheduler namespace + CoopSched_run() alias.
+ * Per-program work-unit registration + dispatch lines are emitted separately
+ * by each strategy's asyncLoopInjection() via buildCoopSchedInjection().
+ *
+ * Why a polyfill and not shimLines(): polyfills are dead-code-eliminated
+ * (filterPolyfillHelpers) and feature-gated centrally, matching how
+ * async_runtime / timer_methods are handled. The scheduler is STL-free, so it
+ * links on minimal-libc targets (Zephyr) where the std::function Promise
+ * runtime does not.
+ */
+export function buildCoopSchedulerPolyfill(_program, config, currentTimeExpr = "millis()") {
+    if (!config.enablePriority && !config.enableTimeBudget)
+        return null;
+    return {
+        kind: "polyfill",
+        id: "coop_scheduler",
+        domain: "embedded",
+        // STL-free: only needs a 32-bit unsigned time source (millis() /
+        // k_uptime_get_32()) and fixed-width types, both available everywhere.
+        requiredIncludes: [],
+        forwardDeclarations: [],
+        helperStructs: [
+            generateCoopScheduler({
+                capacity: 8,
+                priorities: config.schedulerPriorities ?? 2,
+                enableTimeBudget: config.enableTimeBudget ?? false,
+                timeBudgetMs: config.timeBudgetMs ?? 5,
+                currentTimeExpr,
+            }),
+        ],
+        helperFunctions: [],
+        shimMacros: [],
+        dependencies: [],
+    };
+}

package/dist/platform/generic-strategy.d.ts

@@ -17,7 +17,9 @@ export declare class GenericStrategy implements PlatformStrategy {
     overrideBaseName(originalBaseName: string, _outDirBaseName: string, _isEntryFile: boolean, _isNpmPackage: boolean): string;
     effectiveEmitMode(requestedMode: string, _isNpmPackage: boolean): string;
     normalizeCppType(typeName: string): string;
-    defaultNumericType(): string;
+    defaultNumericType(compliance?: {
+        isBanned(ruleId: string): boolean;
+    }): string;
     mapReturnType(_functionName: string, returnType: string): string;
     isStringLikeType(cppType: string): boolean;
     isPointerType(cppType: string): boolean;
@@ -54,8 +56,8 @@ export declare class GenericStrategy implements PlatformStrategy {
     structFieldInitializer(_fieldValue: ExpressionIR, _compiletimeVarNames: Set<string>, _renderExpr: (e: ExpressionIR) => string): string | undefined;
     getAsyncRuntimeConfig(): AsyncRuntimeConfig;
     generateNativePolyfills(program: ProgramIR, ctx?: PlatformContext): RuntimePolyfillIR[];
-    asyncLoopInjection(_taskVarNames: string[], config: AsyncRuntimeConfig): string[];
-    asyncLoopInjection(_taskVarNames: string[], hasPromiseRuntime: boolean): string[];
+    asyncLoopInjection(taskVarNames: string[], config: AsyncRuntimeConfig): string[];
+    asyncLoopInjection(taskVarNames: string[], hasPromiseRuntime: boolean): string[];
     asyncDriverFunctionName(): string;
     shouldSkipTypeAlias(_cppType: string): boolean;
     emitDiagnostics(_emitMode: string): Diagnostic[];
@@ -68,6 +70,7 @@ export declare class GenericStrategy implements PlatformStrategy {
         close: string;
     } | undefined;
     getStdLibSupport(_architecture?: string): StdLibSupport;
+    debugMode(_target?: string): 'gdb' | 'printf';
     generateDebugInitCode(): string[];
     generateDebugBreakpointCode(params: {
         fileName: string;
@@ -98,4 +101,13 @@ export declare class GenericStrategy implements PlatformStrategy {
     supportedDisplayDrivers(): ReadonlySet<string>;
     colorFormat(): "rgb565" | "rgb666" | "rgb888" | "mono";
     graphicsCapacity(): GraphicsCapacity;
+    readDigitalPin(_pin: string): string;
+    readAnalogPin(_pin: string): string;
+    writeDigitalPin(_pin: string, _val: string): string;
+    setPinMode(_pin: string, _mode: string): string;
+    delayMs(_ms: string): string;
+    delayMicroseconds(_us: string): string;
+    halCallNames(): ReadonlySet<string>;
+    isHalCall(_name: string): boolean;
+    analogReadCallNames(): ReadonlySet<string>;
 }

package/dist/platform/generic-strategy.js

@@ -42,10 +42,14 @@ export class GenericStrategy {
     // ── Type normalisation ──────────────────────────────────────────────────
     normalizeCppType(typeName) {
         if (typeName === "auto")
-            return "int";
+            return this.defaultNumericType();
         return typeName;
     }
-    defaultNumericType() { return "int"; }
+    defaultNumericType(compliance) {
+        // A3-9-1: fixed-width integers under AUTOSAR. Legacy 'int' spelling
+        // preserved when autosar is off so default output is byte-identical.
+        return compliance?.isBanned("A3-9-1") ? "int32_t" : "int";
+    }
     mapReturnType(_functionName, returnType) {
         return this.normalizeCppType(returnType);
     }
@@ -185,17 +189,23 @@ export class GenericStrategy {
             helpers.push(asyncRuntime);
         return helpers;
     }
-    asyncLoopInjection(_taskVarNames, configOrBool) {
+    asyncLoopInjection(taskVarNames, configOrBool) {
         let hasPromiseRuntime;
-        if (typeof configOrBool === 'boolean') {
+        if (typeof configOrBool === "boolean") {
             hasPromiseRuntime = configOrBool;
         }
         else {
             hasPromiseRuntime = configOrBool.hasPromiseRuntime;
         }
+        // Drive every async state-machine task once per driver-function iteration.
+        // Task globals auto-start on their first .run() (STATE_0 runs
+        // unconditionally); the state machine no-ops in its terminal/cyclic state.
         const lines = [];
         if (hasPromiseRuntime)
             lines.push("  cuttlefish_pump_microtasks();");
+        for (const n of taskVarNames) {
+            lines.push(`  ${n}.run();`);
+        }
         return lines;
     }
     asyncDriverFunctionName() { return "main"; }
@@ -213,6 +223,9 @@ export class GenericStrategy {
     enumApiGuard(_enumName) { return undefined; }
     getStdLibSupport(_architecture) { return DEFAULT_STDLIB_SUPPORT; }
     // ── Debug code generation ─────────────────────────────────────────────────
+    debugMode(_target) {
+        return 'printf';
+    }
     generateDebugInitCode() {
         return [
             '// === DEBUG: Initialize ===',
@@ -286,4 +299,36 @@ export class GenericStrategy {
             nodeStorage: "flash",
         };
     }
+    // ── HAL (generic fallback) ──────────────────────────────────────────────
+    // The generic/host target has no GPIO or timing hardware. These return
+    // documented no-op stubs so emit stays deterministic rather than throwing
+    // mid-codegen. Host tests that exercise pin-polling paths use a mock
+    // PlatformStrategy (see tests/packages/cuttlefish/async-runtime-static.test.ts).
+    readDigitalPin(_pin) {
+        return "/* gpio unavailable on generic target */ 0";
+    }
+    readAnalogPin(_pin) {
+        return "/* adc unavailable on generic target */ 0";
+    }
+    writeDigitalPin(_pin, _val) {
+        return "/* gpio unavailable on generic target */";
+    }
+    setPinMode(_pin, _mode) {
+        return "/* gpio unavailable on generic target */";
+    }
+    delayMs(_ms) {
+        return "/* delay unavailable on generic target */";
+    }
+    delayMicroseconds(_us) {
+        return "/* delay unavailable on generic target */";
+    }
+    halCallNames() {
+        return new Set();
+    }
+    isHalCall(_name) {
+        return false;
+    }
+    analogReadCallNames() {
+        return new Set();
+    }
 }

package/dist/safety/safety-bridge.d.ts

@@ -0,0 +1,11 @@
+/** Dynamically load @typecad/safety/engine and register the hook.
+ *  Called by transpile.ts at the start of each transpile run.
+ *  Safe to call when @typecad/safety is absent (hook stays null). */
+export declare function loadSafetyEngine(): Promise<void>;
+/** Reset the safety bridge: forget a load was attempted and clear the hook.
+ *  Mirrors resetUIEngine() so each transpile run / test starts clean. */
+export declare function resetSafetyEngine(): void;
+/** Test-only: force the bridge into the "no @typecad/safety" state — mark the
+ *  load as already attempted and leave the hook null, exactly as if the
+ *  dynamic import had failed because the package is not installed. */
+export declare function __simulateSafetyAbsentForTest(): void;

package/dist/safety/safety-bridge.js

@@ -0,0 +1,48 @@
+// ---------------------------------------------------------------------------
+// Safety bridge — loads the safety engine from @typecad/safety and registers it.
+//
+// transpile.ts calls loadSafetyEngine() at the start of transpileFile(). If
+// @typecad/safety is not installed, the import fails gracefully and the hook
+// stays null — cuttlefish works as a pure TS→C++ transpiler with no safety
+// support.
+// ---------------------------------------------------------------------------
+import { setSafetyHook } from "../safety-hook.js";
+let loaded = false;
+/** Dynamically load @typecad/safety/engine and register the hook.
+ *  Called by transpile.ts at the start of each transpile run.
+ *  Safe to call when @typecad/safety is absent (hook stays null). */
+export async function loadSafetyEngine() {
+    if (loaded)
+        return;
+    loaded = true;
+    try {
+        // Dynamic import — @typecad/safety is optional. The module specifier is
+        // routed through a variable (rather than a string literal) so tsc types
+        // the result as `any` and never resolves @typecad/safety's declaration
+        // files while type-checking this file. A literal specifier would make tsc
+        // load safety's dist/engine-index.d.ts, which imports back
+        // @typecad/cuttlefish/safety-hook-types — a self-referencing package path
+        // that resolves into this package's own dist/ output and causes TS5055
+        // ("would overwrite input file") on every rebuild where dist/ exists.
+        const safetyEnginePath = "@typecad/safety/engine";
+        const engine = await import(safetyEnginePath);
+        const hook = engine.registerSafetyEngine();
+        setSafetyHook(hook);
+    }
+    catch {
+        // @typecad/safety is not installed — cuttlefish works without safety.
+    }
+}
+/** Reset the safety bridge: forget a load was attempted and clear the hook.
+ *  Mirrors resetUIEngine() so each transpile run / test starts clean. */
+export function resetSafetyEngine() {
+    loaded = false;
+    setSafetyHook(null);
+}
+/** Test-only: force the bridge into the "no @typecad/safety" state — mark the
+ *  load as already attempted and leave the hook null, exactly as if the
+ *  dynamic import had failed because the package is not installed. */
+export function __simulateSafetyAbsentForTest() {
+    loaded = true;
+    setSafetyHook(null);
+}

package/dist/safety/sidecar-bridge.d.ts

@@ -0,0 +1,5 @@
+import type { SafetyMetadata } from "../safety-hook.js";
+/** Dynamically import the safety package's sidecar renderer.
+ *  Uses a variable-held specifier so tsc doesn't try to resolve the
+ *  @typecad/safety types at build time (avoids circular dependency). */
+export declare function renderSafetySidecar(metadata: SafetyMetadata, toolVersion: string): Promise<string>;

package/dist/safety/sidecar-bridge.js

@@ -0,0 +1,22 @@
+/** Dynamically import the safety package's sidecar renderer.
+ *  Uses a variable-held specifier so tsc doesn't try to resolve the
+ *  @typecad/safety types at build time (avoids circular dependency). */
+export async function renderSafetySidecar(metadata, toolVersion) {
+    const spec = "@typecad/safety/iso26262/sidecar-writer";
+    try {
+        const mod = await import(spec);
+        return mod.renderSafetySidecar(metadata, toolVersion);
+    }
+    catch {
+        // Fallback: inline the renderer so the sidecar is produced even if
+        // the subpath export isn't configured.
+        return JSON.stringify({
+            schemaVersion: "1.0.0",
+            standard: "ISO 26262 Part 6",
+            tool: "cuttlefish (@typecad/safety)",
+            toolVersion,
+            generatedAt: new Date().toISOString(),
+            safetyFunctions: metadata.functions,
+        }, null, 2);
+    }
+}

package/dist/safety-hook.d.ts

@@ -0,0 +1,79 @@
+import type { HALOpIR, ProgramIR, RuntimePolyfillIR, Diagnostic } from "./api/shared/index.js";
+/** Context handed to transformIR. */
+export interface SafetyTransformContext {
+    /** True iff the entry file imports `safe` from @typecad/safety. The pass
+     *  uses this as a fast no-op guard. */
+    readonly safetyInUse: boolean;
+    /** Build target (e.g. "esp32", "avr"). Strategies still resolve the
+     *  underlying pinMode/digitalRead symbols; the safety package is target-
+     *  agnostic. */
+    readonly target: string;
+}
+/** Capabilities cuttlefish core needs from the safety engine.
+ *
+ *  Part A uses transformIR + resolveSafetyOp + resolveSemanticCall.
+ *  Part B (ISO 26262 Part 6 rules) adds analyzeIR; Part C (sidecar) will
+ *  add collectSafetyMetadata. Both reuse this same seam with no new core
+ *  machinery. */
+export interface TranspilerSafetyHook {
+    /** Post-build IR transform. Must return a (possibly new) ProgramIR. Part A
+     *  uses this to inject safety.record_pin_mode companions after every
+     *  gpio.pin_mode / safety.pin_mode op. Called only when hasSafetyHook(). */
+    transformIR(program: ProgramIR, ctx: SafetyTransformContext): ProgramIR;
+    /** Resolve a safety.* HAL op to C++ code or expression. Called from the
+     *  extended routeHALOp() for any op whose `operation` starts with "safety.".
+     *  NEVER delegated to a per-target strategy. Returns undefined if the op
+     *  is not recognized (caller emits an unhandled-op warning). */
+    resolveSafetyOp(op: HALOpIR): {
+        code?: string;
+        expression?: string;
+    } | undefined;
+    /** Lower a safe.* TS call to a HAL op. Called from an extension point in
+     *  tryResolveSemanticCall (hal-plugins.ts) when the callee resolves to the
+     *  @typecad/safety package. Returns undefined if not a safety call. */
+    resolveSemanticCall?(callee: string, args: readonly unknown[]): HALOpIR | undefined;
+    /** Provide safety runtime polyfills (mode table + voter). Called from
+     *  buildEmitterContext so the polyfills participate in tree-shaking.
+     *  Returns [] when safety is not in use. */
+    buildPolyfills?(): RuntimePolyfillIR[];
+    /** Part B: read-only ISO 26262 Part 6 software-rule analysis. Called
+     *  after transformIR completes, on the final transformed IR. Returns
+     *  diagnostics that flow into the build's diagnostic list. Diagnostics
+     *  with severity "error" abort the build (via throwIfFatalDiagnostics);
+     *  "warning"/"info" are logged but the build succeeds. */
+    analyzeIR?(program: ProgramIR, ctx: SafetyTransformContext): Diagnostic[];
+    /** Part C: collect safety metadata for sidecar artifact generation.
+     *  Called after analyzeIR completes. Returns structured metadata about
+     *  each safety-critical function (ASIL level, mechanisms, rule results)
+     *  that the caller writes to a sidecar JSON file. */
+    collectSafetyMetadata?(program: ProgramIR, ctx: SafetyTransformContext): SafetyMetadata[];
+}
+/** Set the safety hook. Called by transpile.ts after dynamically loading
+ *  @typecad/safety/engine. Passing null clears it. */
+export declare function setSafetyHook(hook: TranspilerSafetyHook | null): void;
+/** Get the current safety hook, or null if @typecad/safety is not loaded. */
+export declare function getSafetyHook(): TranspilerSafetyHook | null;
+/** Returns true if the safety hook is registered (i.e. @typecad/safety loaded). */
+export declare function hasSafetyHook(): boolean;
+/** Get the safety hook, throwing if it's not set. Use only inside
+ *  `if (hasSafetyHook())` guards. */
+export declare function requireSafetyHook(): TranspilerSafetyHook;
+export type { Diagnostic };
+/** Metadata about one safety-critical function, collected for Part C. */
+export interface SafetyFunctionMetadata {
+    name: string;
+    asilLevel: string;
+    source?: {
+        tsFile: string;
+        tsLine: number;
+    };
+    mechanisms: string[];
+    rules: Record<string, "pass" | {
+        severity: string;
+        message: string;
+    }>;
+}
+/** Result of Part C's metadata collection. */
+export interface SafetyMetadata {
+    functions: SafetyFunctionMetadata[];
+}

package/dist/safety-hook.js

@@ -0,0 +1,35 @@
+// ---------------------------------------------------------------------------
+// Safety hook — the contract cuttlefish core uses to talk to the optional
+// @typecad/safety package. Modeled on ui-hook.ts.
+//
+// @typecad/safety is an optional peer dependency. When it is installed and
+// imported by a sketch, transpile.ts calls loadSafetyEngine() which dynamic-
+// imports @typecad/safety/engine and calls registerSafetyEngine() to push an
+// implementation of this interface into the registry. When absent, every
+// hasSafetyHook() guard returns false and cuttlefish behaves as before.
+// ---------------------------------------------------------------------------
+// ── Module-level hook state ────────────────────────────────────────────────
+let safetyHook = null;
+/** Set the safety hook. Called by transpile.ts after dynamically loading
+ *  @typecad/safety/engine. Passing null clears it. */
+export function setSafetyHook(hook) {
+    safetyHook = hook;
+}
+/** Get the current safety hook, or null if @typecad/safety is not loaded. */
+export function getSafetyHook() {
+    return safetyHook;
+}
+/** Returns true if the safety hook is registered (i.e. @typecad/safety loaded). */
+export function hasSafetyHook() {
+    return safetyHook !== null;
+}
+/** Get the safety hook, throwing if it's not set. Use only inside
+ *  `if (hasSafetyHook())` guards. */
+export function requireSafetyHook() {
+    if (!safetyHook) {
+        throw new Error("Safety hook is not registered. This code path requires @typecad/safety " +
+            "to be installed and loaded. This should not happen — the hook is set " +
+            "at the start of transpileFile() when safety is detected.");
+    }
+    return safetyHook;
+}

package/dist/testing.d.ts

@@ -12,9 +12,13 @@ export { inferSnprintfArg, createEmissionScopeState, escapeCppStringLiteral } fr
 export { setLoadedFramework } from "./framework-registry.js";
 export { registerPlatformStrategy, resolveStrategy, clearAllProfileCaches } from "./platform/registry.js";
 export type { EmitMode, GeneratedOutputs, TargetProfile, PlatformContext } from "./types.js";
+export { ComplianceContext, runSelfCheck, renderRegistryJson } from "./emit/compliance/index.js";
+export type { ComplianceMode, SelfCheckFinding, Deviation } from "./emit/compliance/index.js";
 export { findConfigFile, parseConfigFile, loadCuttlefishConfig, generateVirtualTypeDeclaration, } from "./config-loader.js";
 export { transpileFile } from "./transpile.js";
 export { resetUIEngine, __simulateUIAbsentForTest } from "./ui/ui-bridge.js";
+export { resetSafetyEngine, __simulateSafetyAbsentForTest } from "./safety/safety-bridge.js";
+export { setSafetyHook, hasSafetyHook } from "./safety-hook.js";
 export { scaffoldProject, normalizeProjectName, KNOWN_BOARDS, generateProjectPackageJson, generateProjectTsconfig, generateProjectConfig, generateProjectEnvDts, generateStarterSketch, generateStarterTest, generateStarterSim, generateGitignore, generateEslintConfig, runInitWizard, } from "./create/index.js";
 export type { InitProjectOptions } from "./create/index.js";
 export { scaffoldBoardPackages, parseBoardSpec, safeParseBoardSpec, stripJsonc, } from "./create/index.js";
@@ -30,6 +34,8 @@ export { LINT_RULES, ESLINT_OPT_OUT_KINDS, kindRegistryEntries, } from "./ir/fea
 export type { LintRule, FeatureEntry, FeatureStatus, DiagnosticMatch } from "./ir/feature-registry.js";
 export { runEslintCheck } from "./eslint-check.js";
 export type { ESLintError } from "./eslint-check.js";
+export { checkLintCache, recordLintSuccess, invalidateLint, computeLintFingerprint, resolveEslintConfigPath, } from "./lint-cache.js";
+export type { LintFingerprint, GateCacheResult } from "./lint-cache.js";
 export { runSemanticGates } from "./orchestrator/type-checker.js";
 export { canonicalize, buildSemanticFacts, } from "./orchestrator/semantic-facts.js";
 export type { CanonicalType, SemanticFacts, FactStore, ValueCategory, Lifetime, Nullable, SemanticOrigin, AnalysisResult, BindingResolver, } from "./orchestrator/semantic-facts.js";
@@ -40,7 +46,7 @@ export { parseCommandLine } from "./utils/cli.js";
 export { parseHeader, stripPreprocessorBlocks } from "./libdef/header-parser.js";
 export { BaseClassResolver, buildClassIndex } from "./libdef/base-class-resolver.js";
 export type { ResolveResult } from "./libdef/base-class-resolver.js";
-export { generateDecl, generateDeclsForDirectory } from "./libdef/cpp-to-decl.js";
+export { generateDecl, generateDeclsForDirectory, generateComponentDeclsForProject } from "./libdef/cpp-to-decl.js";
 export { renderExprAsText } from "./ir/render-expr.js";
 export { contextStorage, CompilationContext } from "./ir/build-ir-state.js";
 export type { ExpressionIR } from "./api/index.js";

package/dist/testing.js

@@ -11,12 +11,17 @@ export { analyzePeripheralUsage, createEmptyPeripheralUsage } from "./ir/periphe
 export { inferSnprintfArg, createEmissionScopeState, escapeCppStringLiteral } from "./emit/snprintf-helpers.js";
 export { setLoadedFramework } from "./framework-registry.js";
 export { registerPlatformStrategy, resolveStrategy, clearAllProfileCaches } from "./platform/registry.js";
+// ── AUTOSAR compliance module (test-visible) ───────────────────────────────
+export { ComplianceContext, runSelfCheck, renderRegistryJson } from "./emit/compliance/index.js";
 // ── Config loader ───────────────────────────────────────────────────────────
 export { findConfigFile, parseConfigFile, loadCuttlefishConfig, generateVirtualTypeDeclaration, } from "./config-loader.js";
 // ── Transpiler internal API ─────────────────────────────────────────────────
 export { transpileFile } from "./transpile.js";
 // ── UI bridge (optional @typecad/ui) ─────────────────────────────────────────
 export { resetUIEngine, __simulateUIAbsentForTest } from "./ui/ui-bridge.js";
+// ── Safety bridge (optional @typecad/safety) ────────────────────────────────
+export { resetSafetyEngine, __simulateSafetyAbsentForTest } from "./safety/safety-bridge.js";
+export { setSafetyHook, hasSafetyHook } from "./safety-hook.js";
 // ── Project scaffolding ──────────────────────────────────────────────────────
 export { scaffoldProject, normalizeProjectName, KNOWN_BOARDS, generateProjectPackageJson, generateProjectTsconfig, generateProjectConfig, generateProjectEnvDts, generateStarterSketch, generateStarterTest, generateStarterSim, generateGitignore, generateEslintConfig, runInitWizard, } from "./create/index.js";
 // ── Board codegen (`cuttlefish board add`) ───────────────────────────────────
@@ -34,6 +39,8 @@ export { prescanUnsupportedFeatures } from "./ir/feature-prescan.js";
 export { LINT_RULES, ESLINT_OPT_OUT_KINDS, kindRegistryEntries, } from "./ir/feature-registry.js";
 // ── ESLint gate ──────────────────────────────────────────────────────────────
 export { runEslintCheck } from "./eslint-check.js";
+// ── ESLint gate cache ────────────────────────────────────────────────────────
+export { checkLintCache, recordLintSuccess, invalidateLint, computeLintFingerprint, resolveEslintConfigPath, } from "./lint-cache.js";
 // ── Semantic gates (TypeChecker-based) ──────────────────────────────────────
 export { runSemanticGates } from "./orchestrator/type-checker.js";
 export { canonicalize, buildSemanticFacts, } from "./orchestrator/semantic-facts.js";
@@ -43,7 +50,7 @@ export { discoverWatchDirs, isRelevantChange } from "./watch.js";
 export { parseCommandLine } from "./utils/cli.js";
 export { parseHeader, stripPreprocessorBlocks } from "./libdef/header-parser.js";
 export { BaseClassResolver, buildClassIndex } from "./libdef/base-class-resolver.js";
-export { generateDecl, generateDeclsForDirectory } from "./libdef/cpp-to-decl.js";
+export { generateDecl, generateDeclsForDirectory, generateComponentDeclsForProject } from "./libdef/cpp-to-decl.js";
 // ── IR rendering internals (for fail-closed regression tests) ───────────────
 export { renderExprAsText } from "./ir/render-expr.js";
 export { contextStorage, CompilationContext } from "./ir/build-ir-state.js";

package/dist/transpile.d.ts

@@ -1,3 +1,6 @@
 import { GenerateLibdefOptions, GeneratedOutputs, TranspileOptions } from "./types.js";
+import { loadFrameworkPackage } from "./framework-package.js";
+export { loadFrameworkPackage };
+export { getLoadedFramework, hasLoadedFramework } from "./framework-registry.js";
 export declare function transpileFile(options: TranspileOptions): Promise<GeneratedOutputs>;
 export declare function generateLibraryDefinitions(options: GenerateLibdefOptions): string[];