@typecad/framework-zephyr 1.0.0-alpha.11 → 1.0.0-alpha.13

package/src/framework.manifest.ts

@@ -289,8 +289,13 @@ export default defineFrameworkManifest({
     },
     display: {
       supported: true,
-      partialCoverage: false,
-      unsupportedReason: undefined,
+      partialCoverage: true,
+      // Partial: mono profiles (ssd1306-zephyr) drive display.* ops via the
+      // direct GFX runtime only — no CuttlefishGFX UI rendering path. The
+      // ILI9341 UI adapter shares the ST7796S direct-drive transport with a
+      // per-controller init table (16-bit RGB565 wire format); hardware-tuned
+      // on ST7796S only. E-ink panels are out of scope at this time.
+      unsupportedReason: 'Mono panels (ssd1306) are direct-op only (no UI rendering); ili9341 UI path is ported but not yet hardware-verified; e-ink is out of scope at this time.',
       drivers: ['ili9341-zephyr', 'st7796-zephyr', 'ssd1306-zephyr'],
       colorFormat: 'rgb565',
       ops: {
@@ -499,6 +504,7 @@ export default defineFrameworkManifest({
   polyfills: {
     emitted: [
       { id: 'cuttlefish_halt', domain: 'standard', notes: 'Mapped to a k_msleep halt loop (exceptions disabled)' },
+      { id: 'wiring_compat', domain: 'standard', notes: 'HIGH/LOW/digitalRead/etc. macros routing Wiring tokens (referenced unconditionally by the UI runtime header) to the __tc_gpio_* helpers' },
       { id: 'string_methods', domain: 'embedded', notes: 'STL-free __tc_* string helpers (const char*, inline ASCII case conv, <cstring> only)' },
       { id: 'static_array', domain: 'embedded', notes: 'STL-free __tc_StaticArray<T,N> wrapper for no-<vector> mutated/struct array literals' },
       { id: 'timer_methods', domain: 'embedded', notes: 'k_timer + k_work pool (system workqueue); callbacks run in thread context' },
@@ -509,7 +515,7 @@ export default defineFrameworkManifest({
 
   toolchain: {
     backend: 'west',
-    operations: { prepare: true, compile: true, upload: true, monitor: true },
+    operations: { prepare: true, compile: true, upload: true, monitor: true, debug: true },
   },
 
   libraryResolution: {

package/src/index.ts

@@ -10,6 +10,12 @@ export { ZephyrStrategy as FrameworkStrategy } from './strategy.js';
 export { ZephyrStrategy } from './strategy.js';
 export { Toolchain } from './toolchain/index.js';
 
+// Create-time starter debug artifacts. The `cuttlefish create` flow reads this
+// optional named export off the loaded framework module (same loader pattern
+// as doctor/licenses) and calls it for freshly scaffolded projects, so F5 in
+// VS Code works before the first build. No-ops for non-GDB targets.
+export { writeProjectDebugArtifacts } from './toolchain/debug-config.js';
+
 // `cuttlefish doctor` — verify the installed Zephyr is reachable + inside the
 // declared compat range, and preview board-target normalization. Re-exported
 // under the dispatcher-facing alias `doctor` so the loader picks it up as

package/src/lowering/ble.ts

@@ -393,7 +393,9 @@ export function lowerBle(op: HALOpIR): { code?: string; expression?: string } {
     case 'ble.on_read':
       // Store the typed read handler as void*; __tc_ble_attr_read casts it back
       // to the right signature based on the char's type field. reinterpret_cast
-      // (not a C-style cast) keeps this AUTOSAR-compliant under --autosar=strict.
+      // (not a C-style cast) avoids M5-0-7, but M5-0-10 still flags it — the
+      // whole type-erased table is covered by a knownPatterns deviation on
+      // that rule (see rules.ts, "BLE type-erased callback table").
       return { code: `__tc_ble.on_read[__tc_ble.current_char] = reinterpret_cast<void*>(${s(o.handler)});` };
     case 'ble.on_write':
       return { code: `__tc_ble.on_write[__tc_ble.current_char] = (${s(o.handler)});` };

package/src/lowering/gpio.ts

@@ -136,9 +136,13 @@ function lowerGpioRaw(
     case 'gpio.read':
       return { expression: `gpio_pin_get_raw(${controller}, ${pin})` };
     case 'gpio.toggle':
-      return {
-        code: `gpio_pin_set_raw(${controller}, ${pin}, !gpio_pin_get_raw(${controller}, ${pin}));`,
-      };
+      // Native atomic toggle — never read-modify-write. gpio_pin_get_raw on
+      // a direction-only output reads the input latch, which is undefined on
+      // SoCs that don't latch it. Zephyr's toggle API has no _raw variant —
+      // gpio_pin_toggle is the driver-level atomic toggle, and for pins
+      // configured without GPIO_ACTIVE_LOW the logical level equals the
+      // physical one, so it matches the get_raw/set_raw used elsewhere.
+      return { code: `gpio_pin_toggle(${controller}, ${pin});` };
     default:
       throw new Error(
         `framework-zephyr does not yet support HAL op \`${op.operation}\`. ` +