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

package/dist/testing.d.ts

@@ -15,7 +15,7 @@ export type { EmitMode, GeneratedOutputs, TargetProfile, PlatformContext } from
 export { findConfigFile, parseConfigFile, loadCuttlefishConfig, generateVirtualTypeDeclaration, } from "./config-loader.js";
 export { transpileFile } from "./transpile.js";
 export { resetUIEngine, __simulateUIAbsentForTest } from "./ui/ui-bridge.js";
-export { scaffoldProject, normalizeProjectName, KNOWN_BOARDS, generateProjectPackageJson, generateProjectTsconfig, generateProjectConfig, generateProjectEnvDts, generateStarterSketch, generateGitignore, generateEslintConfig, runInitWizard, } from "./create/index.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";
 export type { BoardSpec, ScaffoldBoardResult } from "./create/index.js";

package/dist/testing.js

@@ -18,7 +18,7 @@ export { transpileFile } from "./transpile.js";
 // ── UI bridge (optional @typecad/ui) ─────────────────────────────────────────
 export { resetUIEngine, __simulateUIAbsentForTest } from "./ui/ui-bridge.js";
 // ── Project scaffolding ──────────────────────────────────────────────────────
-export { scaffoldProject, normalizeProjectName, KNOWN_BOARDS, generateProjectPackageJson, generateProjectTsconfig, generateProjectConfig, generateProjectEnvDts, generateStarterSketch, generateGitignore, generateEslintConfig, runInitWizard, } from "./create/index.js";
+export { scaffoldProject, normalizeProjectName, KNOWN_BOARDS, generateProjectPackageJson, generateProjectTsconfig, generateProjectConfig, generateProjectEnvDts, generateStarterSketch, generateStarterTest, generateStarterSim, generateGitignore, generateEslintConfig, runInitWizard, } from "./create/index.js";
 // ── Board codegen (`cuttlefish board add`) ───────────────────────────────────
 export { scaffoldBoardPackages, parseBoardSpec, safeParseBoardSpec, stripJsonc, } from "./create/index.js";
 export { BoardGenerators } from "./create/index.js";

package/dist/transpile.js

@@ -138,8 +138,9 @@ function formatFatalDiagnostics(entries) {
         `Transpilation aborted because ${errors.length} unsupported pattern${errors.length === 1 ? "" : "s"} were found.`,
     ];
     for (const { filePath, diagnostic } of errors) {
-        const locationBase = filePath
-            ? path.relative(process.cwd(), filePath) || filePath
+        const resolvedFile = filePath ?? diagnostic.filePath;
+        const locationBase = resolvedFile
+            ? path.relative(process.cwd(), resolvedFile) || resolvedFile
             : diagnostic.source ?? "user code";
         const position = diagnostic.line != null
             ? `(${diagnostic.line}:${diagnostic.column ?? 1})`
@@ -336,7 +337,7 @@ export async function transpileFile(options) {
                 code: "themeCss-ui-entry-ignored",
                 message: `display.themeCss is ignored for .ui single-file entries; the inline <style> in ${path.basename(options.inputFile)} is the sole CSS source.`,
                 hint: `Move the standalone CSS into the .ui file's <style> block, or change the entry to a .ts file that imports a .ui.html module.`,
-                source: path.basename(options.inputFile),
+                filePath: path.basename(options.inputFile),
             });
         }
     }
@@ -348,7 +349,7 @@ export async function transpileFile(options) {
     if (hasUIHook()) {
         for (const mod of requireUIHook().allUIModules()) {
             for (const d of mod.diagnostics) {
-                diagnostics.push({ ...d, source: d.source ?? path.basename(mod.htmlPath) });
+                diagnostics.push({ ...d, filePath: d.filePath ?? path.basename(mod.htmlPath) });
             }
         }
     }
@@ -466,7 +467,7 @@ export async function transpileFile(options) {
     if (hasUIHook()) {
         for (const mod of requireUIHook().allUIModules()) {
             for (const d of mod.mountDiagnostics) {
-                diagnostics.push({ ...d, source: d.source ?? path.basename(mod.htmlPath) });
+                diagnostics.push({ ...d, filePath: d.filePath ?? path.basename(mod.htmlPath) });
             }
         }
     }
@@ -689,6 +690,7 @@ export async function transpileFile(options) {
     profiler.endTimer("post:flatten");
     // Profiler session ends (profiling disabled - no report generation)
     // ── Generate diagnostics report if enabled ──────────────────────────────
+    let diagnosticsReportPath;
     if (options.diagnostics) {
         try {
             const entryPreBuilt = preBuilt.get(entryFile);
@@ -708,17 +710,23 @@ export async function transpileFile(options) {
                 removedSymbols: allRemovedSymbols,
             });
             writeDiagnosticsReport(report, entryPreBuilt?.programIR ?? null, outDir);
+            diagnosticsReportPath = path.join(outDir, "diagnostics.md");
         }
         catch (e) {
-            // Diagnostics report generation is best-effort; don't fail the build
-            if (options.debug) {
-                logDebug(`Diagnostics report generation failed: ${e instanceof Error ? e.message : String(e)}`, true);
-            }
+            // Diagnostics report generation is best-effort; don't fail the build,
+            // but surface the failure so the user knows --diagnostics didn't work.
+            diagnostics.push({
+                severity: "warning",
+                message: `Diagnostics report generation failed: ${e instanceof Error ? e.message : String(e)}`,
+                code: "diagnostics-report-failed",
+                source: "transpile",
+            });
         }
     }
     return {
         ...entryOutputs,
         diagnostics,
+        diagnosticsReportPath,
     };
 }
 export function generateLibraryDefinitions(options) {

package/dist/types.d.ts

@@ -114,7 +114,11 @@ export interface LibraryDefinition {
     variants?: LibraryDefinitionVariant[];
 }
 export interface CommandLineOptions {
-    command: "default" | "build" | "gen-libdefs" | "gen-decls" | "map-error" | "preview";
+    command: "default" | "build" | "gen-libdefs" | "gen-decls" | "map-error" | "preview" | "doctor" | "licenses";
+    /** For `licenses`: treat unknown/missing licenses as failures (exit 1). */
+    strict?: boolean;
+    /** For `licenses`: scan all installed libraries (default: this project's only). */
+    all?: boolean;
     inputFile?: string;
     emitMode: EmitMode;
     target: TargetProfile;
@@ -181,6 +185,8 @@ export interface GeneratedOutputs {
     diagnostics: Diagnostic[];
     asyncTaskNames?: string[];
     usesTimers?: boolean;
+    /** Path to the diagnostics.md report, if --diagnostics was passed. */
+    diagnosticsReportPath?: string;
 }
 interface CompileErrorEntry {
     filePath: string;

package/dist/utils/cli.js

@@ -17,6 +17,8 @@ export function printHelp() {
     console.log(`  cuttlefish board add <spec.jsonc> [--force]   Generate board + MCU packages from a chip spec`);
     console.log(`  cuttlefish gen-decls <input.cpp|--all <directory>>`);
     console.log(`  cuttlefish map-error <mapFile> [options]`);
+    console.log(`  cuttlefish doctor                              Check that arduino-cli is installed and the board's core is present`);
+    console.log(`  cuttlefish licenses [--all] [--strict]          Scan this project's Arduino libraries for SPDX licenses (--all: every installed library)`);
     console.log();
     console.log(chalk.gray(`Transpilation is always performed first. Use --compile, --upload, and`));
     console.log(chalk.gray(`--monitor to chain operations after transpilation.`));
@@ -337,6 +339,48 @@ export function parseCommandLine(argv) {
             port: port ? String(port) : undefined,
         };
     }
+    // doctor subcommand — verify arduino-cli + board core presence
+    if (firstArg === "doctor") {
+        return {
+            command: "doctor",
+            // The remaining pipeline fields are unused by doctor; fill with safe
+            // defaults, the same way the preview branch does.
+            inputFile: undefined,
+            emitMode: "split",
+            target: "generic",
+            outDir: undefined,
+            emitMaps: true,
+            noTranspile: false,
+            compile: false,
+            upload: false,
+            monitor: false,
+            watch: false,
+            baud: 9600,
+            platformContext: {},
+        };
+    }
+    // licenses subcommand — scan installed Arduino libraries for SPDX licenses
+    if (firstArg === "licenses") {
+        return {
+            command: "licenses",
+            strict: argv.includes("--strict"),
+            all: argv.includes("--all"),
+            // The remaining pipeline fields are unused by licenses; fill with safe
+            // defaults, the same way the doctor branch does.
+            inputFile: undefined,
+            emitMode: "split",
+            target: "generic",
+            outDir: undefined,
+            emitMaps: true,
+            noTranspile: false,
+            compile: false,
+            upload: false,
+            monitor: false,
+            watch: false,
+            baud: 9600,
+            platformContext: {},
+        };
+    }
     // Named subcommands
     if (firstArg === "gen-libdefs" || firstArg === "gen-decls" || firstArg === "map-error") {
         const command = firstArg;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typecad/cuttlefish",
-  "version": "0.1.0-alpha.2",
+  "version": "1.0.0-alpha.6",
   "description": "TypeScript to C++ transpiler — native, Arduino, and bare-metal targets",
   "type": "module",
   "main": "./dist/transpile.js",
@@ -80,10 +80,11 @@
   "dependencies": {
     "chalk": "^4.1.2",
     "typescript": "^5.7.3",
-    "zod": "^3.24.0"
+    "zod": "^3.24.0",
+    "@typecad/arduino-cli": "1.0.0-alpha.6"
   },
   "peerDependencies": {
-    "@typecad/ui": "0.1.0-alpha.2"
+    "@typecad/ui": "1.0.0-alpha.6"
   },
   "peerDependenciesMeta": {
     "@typecad/ui": {
@@ -91,7 +92,7 @@
     }
   },
   "optionalDependencies": {
-    "@typecad/framework-native": "0.1.0-alpha.2"
+    "@typecad/framework-native": "1.0.0-alpha.6"
   },
   "devDependencies": {
     "@types/node": "^22.10.7"

package/dist/ir/heap-array-validation.d.ts

@@ -1,24 +0,0 @@
-import type { Diagnostic } from '../types.js';
-import type { BoardConstants } from './board-resolver.js';
-import type { StatementIR } from '../api/index.js';
-import type { PlatformStrategy } from '../api/shared/index.js';
-/**
- * @deprecated Heap allocation is now validated at emit time by the platform
- * strategy's `profileDiagnostics` (see framework-arduino `collectHeapAllocationDiagnostics`).
- * This build-time stub returns no diagnostics. Kept to preserve the
- * `validation-orchestrator.ts` import; remove that call site when convenient.
- */
-export declare function validateHeapArrayUsage(_program: {
-    topLevelStatements: StatementIR[];
-    functions: Array<{
-        statements: StatementIR[];
-    }>;
-    classes: Array<{
-        methods: Array<{
-            statements: StatementIR[];
-        }>;
-        constructor?: {
-            statements: StatementIR[];
-        };
-    }>;
-}, _boardConstants: BoardConstants | undefined, _strategy?: PlatformStrategy): Diagnostic[];

package/dist/ir/heap-array-validation.js

@@ -1,29 +0,0 @@
-// ---------------------------------------------------------------------------
-// Heap Allocation Validator (retired — moved to the emit-time profile gate)
-//
-// Heap allocation via `new` on no-heap architectures (AVR, etc.) is now
-// rejected by the Arduino strategy's `profileDiagnostics`
-// (`framework-arduino/src/strategy.ts` `collectHeapAllocationDiagnostics`).
-//
-// WHY THE MOVE: this build-time validator keyed off `boardConstants.architecture`,
-// which is only populated when an MCU/board `import` is present. Programs with
-// no such import silently bypassed it — so demo #33's `new Accumulator()`
-// passed while a HAL-importing demo's `new Blinker()` failed, for the same
-// source pattern. The profile-time gate derives `arch` from the FQBN
-// (`frameworkData.buildTarget`), so it fires regardless of import structure
-// (demo #34 Finding A). It also keys off the `newClassName` marker a user-class
-// `new` tags its raw IR node with (set in `expression-to-ir.ts`), making
-// detection structural rather than textual.
-//
-// The export is kept (returns `[]`) so `validation-orchestrator.ts`'s import
-// stays valid; the real work happens at emit time.
-// ---------------------------------------------------------------------------
-/**
- * @deprecated Heap allocation is now validated at emit time by the platform
- * strategy's `profileDiagnostics` (see framework-arduino `collectHeapAllocationDiagnostics`).
- * This build-time stub returns no diagnostics. Kept to preserve the
- * `validation-orchestrator.ts` import; remove that call site when convenient.
- */
-export function validateHeapArrayUsage(_program, _boardConstants, _strategy) {
-    return [];
-}