c-next 0.2.12 → 0.2.13

package/README.md

@@ -6,6 +6,7 @@
 [![Coverage](https://sonarcloud.io/api/project_badges/measure?project=jlaustill_c-next&metric=coverage)](https://sonarcloud.io/summary/overall?id=jlaustill_c-next)
 [![Coverage Report](https://img.shields.io/badge/Coverage-Report-blue)](https://jlaustill.github.io/c-next/coverage/)
 [![Maintainability Rating](https://sonarcloud.io/api/project_badges/measure?project=jlaustill_c-next&metric=sqale_rating)](https://sonarcloud.io/summary/new_code?id=jlaustill_c-next)
+[![CI](https://github.com/jlaustill/c-next/actions/workflows/pr-checks.yml/badge.svg)](https://github.com/jlaustill/c-next/actions/workflows/pr-checks.yml)
 
 A safer C for embedded systems development. Transpiles to clean, readable C.
 
@@ -43,178 +44,18 @@ void LED_toggle(void) {
 }
 ```
 
-## Installation
-
-### From npm (Recommended)
-
-```bash
-npm install -g c-next
-```
-
-Verify the installation:
-
-```bash
-cnext --version
-```
-
-### From Source (Development)
-
-```bash
-git clone https://github.com/jlaustill/c-next.git
-cd c-next
-npm install
-npm link
-```
-
-## Usage
-
-```bash
-# Transpile to C (output alongside input file)
-cnext examples/blink.cnx
-
-# Explicit output path
-cnext examples/blink.cnx -o blink.c
-
-# Parse only (syntax check)
-cnext examples/blink.cnx --parse
-
-# Output as C++ (.cpp)
-cnext examples/blink.cnx --cpp
-
-# Target platform for atomic code generation (ADR-049)
-cnext examples/blink.cnx --target teensy41
-
-# Separate output directories for code and headers
-cnext src/ -o build/src --header-out build/include
-
-# Clean generated files
-cnext src/ -o build/src --header-out build/include --clean
-
-# Show all options
-cnext --help
-```
-
-## VS Code Extension
-
-The C-Next VS Code extension provides syntax highlighting, live C preview, IntelliSense, and error diagnostics.
-
-**Install from:** [VS Code Marketplace](https://marketplace.visualstudio.com/items?itemName=jlaustill.vscode-c-next) (coming soon)
-
-**Source:** [github.com/jlaustill/vscode-c-next](https://github.com/jlaustill/vscode-c-next)
-
-## Getting Started with PlatformIO
-
-C-Next integrates seamlessly with PlatformIO embedded projects. The transpiler automatically converts `.cnx` files to `.c`, `.h`, and `.cpp` as needed before each build.
-
-### Quick Setup
-
-From your PlatformIO project root:
-
-```bash
-cnext --pio-install
-```
-
-This command:
-
-- Creates `cnext_build.py` (pre-build transpilation script)
-- Modifies `platformio.ini` to add `extra_scripts = pre:cnext_build.py`
-
-### Usage
-
-1. **Create `.cnx` files in your `src/` directory** (alongside existing `.c`/`.cpp` files)
-
-```bash
-src/
-├── main.cpp              # Existing C++ code
-├── ConfigStorage.cnx     # New c-next code
-└── SensorProcessor.cnx   # New c-next code
-```
+## Why C-Next?
 
-2. **Build as usual** — transpilation happens automatically:
+C-Next transpiles to **standard C99**. Your existing toolchain — GCC, Clang, IAR, arm-none-eabi-gcc — compiles the output.
 
-```bash
-pio run
-```
-
-Output:
-
-```
-Transpiling 2 c-next files...
-  ✓ ConfigStorage.cnx
-  ✓ SensorProcessor.cnx
-Building...
-```
-
-3. **Commit both `.cnx` and generated `.c|.cpp|.h` files** to version control
-
-### Why Commit Generated Files?
-
-Generated `.c|.cpp|.h` files are **reviewable artifacts** in pull requests:
-
-```diff
-+ // ConfigStorage.cnx
-+ u8 validate_config() {
-+     counter +<- 1;
-+ }
-
-+ // ConfigStorage.c (generated)
-+ uint8_t validate_config(void) {
-+     counter = cnx_clamp_add_u8(counter, 1);
-+ }
-```
-
-**Benefits**:
-
-- See exactly what C/CPP code the transpiler generates
-- Review safety features (overflow protection, atomic operations)
-- Verify transpiler behavior
-- Build succeeds even if transpiler isn't available
-
-This follows the same pattern as TypeScript committing `.js` files or Bison committing generated parsers.
-
-### Example Project Structure
-
-```
-my-teensy-project/
-├── platformio.ini           # PlatformIO config
-├── cnext_build.py           # Auto-generated transpilation script
-├── src/
-│   ├── main.cpp             # C++ entry point
-│   ├── ConfigStorage.cnx    # c-next source
-│   ├── ConfigStorage.cpp    # Generated (committed)
-│   ├── SensorProcessor.cnx  # c-next source
-│   └── SensorProcessor.cpp  # Generated (committed)
-└── include/
-    └── AppConfig.h          # Shared types
-```
-
-### Uninstall
-
-To remove c-next integration:
-
-```bash
-cnext --pio-uninstall
-```
-
-This removes:
-
-- `cnext_build.py` script
-- `extra_scripts` reference from `platformio.ini`
+This means:
 
-Your `.cnx` files and generated `.c|.cpp|.h` files remain untouched.
+- **50+ years of GCC optimizations** work out of the box
+- **Existing debuggers and profilers** just work (GDB, Ozone, etc.)
+- **No new runtime** — the generated C is what runs on your hardware
+- **Incremental adoption** — drop a single `.cnx` file into an existing project
 
-### Manual Integration
-
-If you prefer manual control, you can also run the transpiler explicitly:
-
-```bash
-# Transpile all .cnx files in a directory (recursive)
-cnext src/
-
-# Or transpile specific files
-cnext src/ConfigStorage.cnx
-cnext src/SensorProcessor.cnx
-```
+Other memory-safe languages require adopting an entirely new toolchain, build system, and ecosystem. C-Next gives you safety improvements while keeping your investment in C infrastructure.
 
 ## Philosophy
 
@@ -266,412 +107,126 @@ Generated headers automatically include guards:
 
 **Guiding Principle:** If Linus Torvalds wouldn't approve of the complexity, it doesn't ship. Safety through removal, not addition.
 
-## Core Features
-
-### Assignment: `<-` vs Equality: `=`
-
-Eliminates the `if (x = 5)` bug by design:
-
-```cnx
-x <- 5;         // assignment: value flows INTO x
-if (x = 5)      // comparison: single equals, just like math
-```
-
-### Fixed-Width Types
-
-```cnx
-u8, u16, u32, u64      // unsigned integers
-i8, i16, i32, i64      // signed integers
-f32, f64               // floating point
-bool                   // boolean
-```
-
-### Register Bindings
-
-Type-safe hardware access with access modifiers:
-
-```cnx
-register GPIO7 @ 0x42004000 {
-    DR:         u32 rw @ 0x00,    // Read-Write
-    PSR:        u32 ro @ 0x08,    // Read-Only
-    DR_SET:     u32 wo @ 0x84,    // Write-Only (atomic set)
-    DR_CLEAR:   u32 wo @ 0x88,    // Write-Only (atomic clear)
-    DR_TOGGLE:  u32 wo @ 0x8C,    // Write-Only (atomic toggle)
-}
-```
-
-### Type-Aware Bit Indexing
-
-Integers are indexable as bit arrays:
-
-```cnx
-u8 flags <- 0;
-flags[3] <- true;           // Set bit 3
-flags[0, 3] <- 5;           // Set 3 bits starting at bit 0
-bool isSet <- flags[3];     // Read bit 3
-
-// .length property
-u8 buffer[16];
-buffer.length;              // 16 (array element count)
-flags.length;               // 8 (bit width of u8)
-```
-
-Write-only registers generate optimized code:
-
-```cnx
-GPIO7.DR_SET[LED_BIT] <- true;    // Generates: GPIO7_DR_SET = (1 << LED_BIT);
-```
-
-### Slice Assignment for Memory Operations
-
-Multi-byte copying with compile-time validated `memcpy` generation (Issue #234):
-
-```cnx
-u8 buffer[256];
-u32 magic <- 0x12345678;
-
-// Copy 4 bytes from value into buffer at offset 0
-buffer[0, 4] <- magic;
-
-// Named offsets using const variables
-const u32 HEADER_OFFSET <- 0;
-const u32 DATA_OFFSET <- 8;
-buffer[HEADER_OFFSET, 4] <- magic;
-buffer[DATA_OFFSET, 8] <- timestamp;
-```
-
-Transpiles to direct memcpy (bounds validated at compile time):
-
-```c
-uint8_t buffer[256] = {0};
-uint32_t magic = 0x12345678;
-
-memcpy(&buffer[0], &magic, 4);
-memcpy(&buffer[8], &timestamp, 8);
-```
-
-**Key Features:**
-
-- **Compile-time bounds checking** prevents buffer overflows at compile time
-- Offset and length must be compile-time constants (literals or `const` variables)
-- Silent runtime failures are now compile-time errors
-- Works with struct fields: `buffer[0, 4] <- config.magic`
-- Distinct from bit operations: array slices use `memcpy`, scalar bit ranges use bit manipulation
-
-### Scopes (ADR-016)
-
-Organize code with automatic name prefixing. Inside scopes, explicit qualification is available to avoid naming collisions:
-
-- `this.X` for scope-local members
-- `global.X` for global variables, functions, and registers
-
-If the same name exists in local, scope, and global levels, the precedence is local, scope, global just like you are used to in other languages.
-
-```cnx
-const u8 LED_BIT <- 3;
-
-scope LED {
-    u8 brightness <- 100;
-
-    void on() { global.GPIO7.DR_SET[global.LED_BIT] <- true; }
-    void off() { global.GPIO7.DR_CLEAR[global.LED_BIT] <- true; }
-
-    u8 getBrightness() { return this.brightness; }
-}
-
-// Call as:
-LED.on();
-LED.off();
-```
-
-Transpiles to:
-
-```c
-const uint8_t LED_BIT = 3;
-
-static uint8_t LED_brightness = 100;
-
-void LED_on(void) { GPIO7_DR_SET = (1 << LED_BIT); }
-void LED_off(void) { GPIO7_DR_CLEAR = (1 << LED_BIT); }
-
-uint8_t LED_getBrightness(void) { return LED_brightness; }
-```
-
-### Switch Statements (ADR-025)
-
-Safe switch with MISRA compliance:
-
-- Braces replace break (no colons needed)
-- No fallthrough allowed
-- Multiple cases with `||` syntax
-- Counted `default(n)` for enum exhaustiveness
-
-```cnx
-enum EState { IDLE, RUNNING, STOPPED }
-
-void handleState(EState state) {
-    switch (state) {
-        case EState.IDLE {
-            startMotor();
-        }
-        case EState.RUNNING || EState.STOPPED {
-            checkSensors();
-        }
-    }
-}
-```
-
-Transpiles to:
-
-```c
-switch (state) {
-    case EState_IDLE: {
-        startMotor();
-        break;
-    }
-    case EState_RUNNING:
-    case EState_STOPPED: {
-        checkSensors();
-        break;
-    }
-}
-```
-
-### Ternary Operator (ADR-022)
-
-Safe conditional expressions with MISRA compliance:
-
-- Parentheses required around condition
-- Condition must be boolean (comparison or logical)
-- No nesting allowed (use if/else instead)
-
-```cnx
-u32 max <- (a > b) ? a : b;
-u32 abs <- (x < 0) ? -x : x;
-u32 result <- (a > 0 && b > 0) ? a : b;
+## Installation
 
-// ERROR: Condition must be boolean
-// u32 bad <- (x) ? 1 : 0;
+### From npm (Recommended)
 
-// ERROR: Nested ternary not allowed
-// i32 sign <- (x > 0) ? 1 : (x < 0) ? -1 : 0;
+```bash
+npm install -g c-next
 ```
 
-### Bounded Strings (ADR-045)
-
-Safe, statically-allocated strings with compile-time capacity checking:
-
-```cnx
-string<64> name <- "Hello";           // 64-char capacity, transpiles to char[65]
-string<128> message;                   // Empty string, initialized to ""
-const string VERSION <- "1.0.0";       // Auto-sized to string<5>
-
-// Properties
-u32 len <- name.length;                // Runtime: strlen(name)
-u32 cap <- name.capacity;              // Compile-time: 64
-
-// Comparison - uses strcmp
-if (name = "Hello") { }                // strcmp(name, "Hello") == 0
-
-// Concatenation with capacity validation
-string<32> first <- "Hello";
-string<32> second <- " World";
-string<64> result <- first + second;   // OK: 64 >= 32 + 32
+Verify the installation:
 
-// Substring extraction with bounds checking
-string<5> greeting <- name[0, 5];      // First 5 chars
+```bash
+cnext --version
 ```
 
-All operations are validated at compile time:
-
-- Literal overflow → compile error
-- Truncation on assignment → compile error
-- Concatenation capacity mismatch → compile error
-- Substring out of bounds → compile error
-
-### Callbacks (ADR-029)
-
-Type-safe function pointers with the Function-as-Type pattern:
-
-- A function definition creates both a callable function AND a type
-- Nominal typing: type identity is the function name, not just signature
-- Never null: callbacks are always initialized to their default function
-
-```cnx
-// Define callback type with default behavior
-void onReceive(const CAN_Message_T msg) {
-    // default: no-op
-}
-
-struct Controller {
-    onReceive _handler;    // Type is onReceive, initialized to default
-}
-
-// User implementation must match signature
-void myHandler(const CAN_Message_T msg) {
-    Serial.println(msg.id);
-}
+### From Source (Development)
 
-controller._handler <- myHandler;  // OK: signature matches
-controller._handler(msg);          // Always safe - never null
+```bash
+git clone https://github.com/jlaustill/c-next.git
+cd c-next
+npm install
+npm link
 ```
 
-Transpiles to:
-
-```c
-void onReceive(const CAN_Message_T msg) { }
+## Usage
 
-typedef void (*onReceive_fp)(const CAN_Message_T);
+```bash
+# Transpile to C (output alongside input file)
+cnext examples/blink.cnx
 
-struct Controller {
-    onReceive_fp _handler;
-};
+# Explicit output path
+cnext examples/blink.cnx -o blink.c
 
-// Initialization always sets to default
-struct Controller Controller_init(void) {
-    return (struct Controller){ ._handler = onReceive };
-}
-```
+# Parse only (syntax check)
+cnext examples/blink.cnx --parse
 
-### Atomic Variables (ADR-049)
+# Output as C++ (.cpp)
+cnext examples/blink.cnx --cpp
 
-ISR-safe variables with hardware-assisted atomicity:
+# Target platform for atomic code generation (ADR-049)
+cnext examples/blink.cnx --target teensy41
 
-```cnx
-#pragma target teensy41
+# Separate output directories for code and headers
+cnext src/main.cnx -o build/src --header-out build/include
 
-atomic u32 counter <- 0;           // ISR-safe with LDREX/STREX
-atomic clamp u8 brightness <- 100; // Combines atomic + clamp
+# Clean generated files
+cnext src/main.cnx -o build/src --header-out build/include --clean
 
-void increment() {
-    counter +<- 1;   // Lock-free atomic increment
-}
+# Show all options
+cnext --help
 ```
 
-Generates optimized code based on target platform:
-
-- **Cortex-M3/M4/M7**: LDREX/STREX retry loops (lock-free)
-- **Cortex-M0/M0+**: PRIMASK disable/restore (interrupt masking)
-
-Target detection priority: `--target` CLI flag > `platformio.ini` > `#pragma target` > default
-
-### Volatile Variables (ADR-108)
-
-Prevent compiler optimization for variables that change outside normal program flow:
+## Incremental Adoption
 
-```cnx
-// Delay loop - prevent optimization
-void delay_ms(const u32 ms) {
-    volatile u32 i <- 0;
-    volatile u32 count <- ms * 2000;
-
-    while (i < count) {
-        i +<- 1;  // Compiler cannot optimize away
-    }
-}
+C-Next supports gradual migration from existing C/C++ codebases. Convert files one at a time, starting with leaf modules:
 
-// Hardware register - reads actual memory
-volatile u32 status_register @ 0x40020000;
+**Step 1:** Convert a leaf file to C-Next and transpile it:
 
-void waitReady() {
-    while (status_register & 0x01 = 0) {
-        // Always reads from hardware
-    }
-}
+```bash
+cnext led.cnx    # Generates led.h and led.c
 ```
 
-**When to use:**
-
-- ✅ Delay loops that must not be optimized away
-- ✅ Memory-mapped hardware registers
-- ✅ Variables polled in tight loops
-- ❌ ISR-shared variables (use `atomic` instead for RMW safety)
-
-**Key difference from `atomic`:**
+**Step 2:** Include the generated header in your existing code:
 
-- `volatile` = prevents optimization only
-- `atomic` = prevents optimization + adds synchronization (ISR-safe)
-
-### Critical Sections (ADR-050)
-
-Multi-statement atomic blocks with automatic interrupt masking:
-
-```cnx
-u8 buffer[64];
-u32 writeIdx <- 0;
+```cpp
+// main.cpp
+#include "led.h"
 
-void enqueue(u8 data) {
-    critical {
-        buffer[writeIdx] <- data;
-        writeIdx +<- 1;
-    }
+int main() {
+    LED_on();
+    return 0;
 }
 ```
 
-Transpiles to PRIMASK save/restore:
+**Step 3:** Run the transpiler on your C/C++ entry point to auto-discover and re-transpile all C-Next dependencies:
 
-```c
-void enqueue(uint8_t data) {
-    {
-        uint32_t __primask = __get_PRIMASK();
-        __disable_irq();
-        buffer[writeIdx] = data;
-        writeIdx += 1;
-        __set_PRIMASK(__primask);
-    }
-}
+```bash
+cnext main.cpp   # Discovers led.cnx via header marker, transpiles it
 ```
 
-**Safety**: `return` inside `critical { }` is a compile error (E0853).
-
-### NULL for C Library Interop (ADR-047)
-
-Safe interop with C stream functions that can return NULL:
-
-```cnx
-#include <stdio.h>
-
-string<64> buffer;
-
-void readInput() {
-    // NULL check is REQUIRED - compiler enforces it
-    if (fgets(buffer, buffer.size, stdin) != NULL) {
-        printf("Got: %s", buffer);
-    }
-}
-```
+The transpiler automatically discovers C-Next files by scanning the include tree for headers containing generation markers (e.g., `Generated by C-Next Transpiler from: led.cnx`). When changes are made to any `.cnx` file, running `cnext main.cpp` ensures all generated code is up-to-date.
 
-**Constraints:**
+## VS Code Extension
 
-- NULL only valid in comparison context (`!= NULL` or `= NULL`)
-- Only whitelisted stream functions: `fgets`, `fputs`, `fgetc`, `fputc`
-- Cannot store C pointer returns in variables
-- `fopen`, `malloc`, etc. are errors (see ADR-103 for future FILE\* support)
+The C-Next VS Code extension provides syntax highlighting, live C preview, IntelliSense, and error diagnostics.
 
-### Startup Allocation
+**Install from:** [VS Code Marketplace](https://marketplace.visualstudio.com/items?itemName=jlaustill.vscode-c-next) (coming soon)
 
-Allocate at startup, run with fixed memory. Per MISRA C:2023 Dir 4.12: all memory is allocated during initialization, then forbidden. No runtime allocation means no fragmentation, no OOM, no leaks.
+**Source:** [github.com/jlaustill/vscode-c-next](https://github.com/jlaustill/vscode-c-next)
 
-## Hardware Testing
+## Getting Started with PlatformIO
 
-Verified on **Teensy MicroMod**, **Teensy 4.0**, and **STM32** hardware:
+C-Next integrates seamlessly with PlatformIO. Quick setup:
 
 ```bash
-# Build and flash with PlatformIO
-cd test-teensy
-pio run -t upload
+cnext --pio-install
 ```
 
-See `examples/blink.cnx` for the complete LED blink example.
+This creates a pre-build script that automatically transpiles `.cnx` files before each build.
+
+**Full guide:** See [PlatformIO Integration](docs/platformio-integration.md) for the complete workflow including why you should commit generated files.
 
 ## Projects Using C-Next
 
-| Project                                   | Description                                                                |
-| ----------------------------------------- | -------------------------------------------------------------------------- |
-| [OSSM](https://github.com/jlaustill/ossm) | Open-source stroke machine firmware using C-Next for safe embedded control |
+| Project                                   | Description                                                                        |
+| ----------------------------------------- | ---------------------------------------------------------------------------------- |
+| [OSSM](https://github.com/jlaustill/ossm) | Open-source stroke machine firmware using C-Next for safe embedded control         |
+| [test-teensy](test-teensy/)               | Hardware verification project — validates transpiler output on Teensy MicroMod/4.0 |
 
 _Using C-Next in your project? Open an issue to get listed!_
 
+## Documentation
+
+| Resource                                                      | Description                                |
+| ------------------------------------------------------------- | ------------------------------------------ |
+| [Language Guide](docs/language-guide.md)                      | Complete reference for all C-Next features |
+| [Architecture Decisions](docs/architecture-decisions.md)      | 50+ ADRs documenting design choices        |
+| [Learn C-Next in Y Minutes](docs/learn-cnext-in-y-minutes.md) | Quick syntax overview                      |
+| [Error Codes](docs/error-codes.md)                            | Compiler error reference                   |
+| [MISRA Compliance](docs/misra-compliance.md)                  | MISRA C:2012 compliance details            |
+
 ## Project Structure
 
 ```
@@ -692,110 +247,6 @@ c-next/
 └── docs/decisions/                     # Architecture Decision Records
 ```
 
-## Architecture Decision Records
-
-Decisions are documented in `/docs/decisions/`:
-
-### Implemented
-
-| ADR                                                                   | Title                      | Description                                                  |
-| --------------------------------------------------------------------- | -------------------------- | ------------------------------------------------------------ |
-| [ADR-001](docs/decisions/adr-001-assignment-operator.md)              | Assignment Operator        | `<-` for assignment, `=` for comparison                      |
-| [ADR-003](docs/decisions/adr-003-static-allocation.md)                | Static Allocation          | No dynamic memory after init                                 |
-| [ADR-004](docs/decisions/adr-004-register-bindings.md)                | Register Bindings          | Type-safe hardware access                                    |
-| [ADR-006](docs/decisions/adr-006-simplified-references.md)            | Simplified References      | Pass by reference, no pointer syntax                         |
-| [ADR-007](docs/decisions/adr-007-type-aware-bit-indexing.md)          | Type-Aware Bit Indexing    | Integers as bit arrays, `.length` property                   |
-| [ADR-010](docs/decisions/adr-010-c-interoperability.md)               | C Interoperability         | Unified ANTLR parser architecture                            |
-| [ADR-011](docs/decisions/adr-011-vscode-extension.md)                 | VS Code Extension          | Live C preview with syntax highlighting                      |
-| [ADR-012](docs/decisions/adr-012-static-analysis.md)                  | Static Analysis            | cppcheck integration for generated C                         |
-| [ADR-013](docs/decisions/adr-013-const-qualifier.md)                  | Const Qualifier            | Compile-time const enforcement                               |
-| [ADR-014](docs/decisions/adr-014-structs.md)                          | Structs                    | Data containers without methods                              |
-| [ADR-015](docs/decisions/adr-015-null-state.md)                       | Null State                 | Zero initialization for all variables                        |
-| [ADR-016](docs/decisions/adr-016-scope.md)                            | Scope                      | `this.`/`global.` explicit qualification                     |
-| [ADR-017](docs/decisions/adr-017-enums.md)                            | Enums                      | Type-safe enums with C-style casting                         |
-| [ADR-030](docs/decisions/adr-030-forward-declarations.md)             | Define-Before-Use          | Functions must be defined before called                      |
-| [ADR-037](docs/decisions/adr-037-preprocessor.md)                     | Preprocessor               | Flag-only defines, const for values                          |
-| [ADR-043](docs/decisions/adr-043-comments.md)                         | Comments                   | Comment preservation with MISRA compliance                   |
-| [ADR-044](docs/decisions/adr-044-primitive-types.md)                  | Primitive Types            | Fixed-width types with `clamp`/`wrap` overflow               |
-| [ADR-024](docs/decisions/adr-024-type-casting.md)                     | Type Casting               | Widening implicit, narrowing uses bit indexing               |
-| [ADR-022](docs/decisions/adr-022-conditional-expressions.md)          | Conditional Expressions    | Ternary with required parens, boolean condition, no nesting  |
-| [ADR-025](docs/decisions/adr-025-switch-statements.md)                | Switch Statements          | Safe switch with braces, `\|\|` syntax, counted `default(n)` |
-| [ADR-029](docs/decisions/adr-029-function-pointers.md)                | Callbacks                  | Function-as-Type pattern with nominal typing                 |
-| [ADR-045](docs/decisions/adr-045-string-type.md)                      | Bounded Strings            | `string<N>` with compile-time safety                         |
-| [ADR-023](docs/decisions/adr-023-sizeof.md)                           | Sizeof                     | Type/value size queries with safety checks                   |
-| [ADR-027](docs/decisions/adr-027-do-while.md)                         | Do-While                   | `do { } while ()` with boolean condition (E0701)             |
-| [ADR-032](docs/decisions/adr-032-nested-structs.md)                   | Nested Structs             | Named nested structs only (no anonymous)                     |
-| [ADR-035](docs/decisions/adr-035-array-initializers.md)               | Array Initializers         | `[1, 2, 3]` syntax with `[0*]` fill-all                      |
-| [ADR-036](docs/decisions/adr-036-multidimensional-arrays.md)          | Multi-dim Arrays           | `arr[i][j]` with compile-time bounds enforcement             |
-| [ADR-040](docs/decisions/adr-040-isr-declaration.md)                  | ISR Type                   | Built-in `ISR` type for `void(void)` function pointers       |
-| [ADR-034](docs/decisions/adr-034-bit-fields.md)                       | Bitmap Types               | `bitmap8`/`bitmap16`/`bitmap32` for portable bit-packed data |
-| [ADR-048](docs/decisions/adr-048-cli-executable.md)                   | CLI Executable             | `cnext` command with smart defaults                          |
-| [ADR-049](docs/decisions/adr-049-atomic-types.md)                     | Atomic Types               | `atomic` keyword with LDREX/STREX or PRIMASK fallback        |
-| [ADR-050](docs/decisions/adr-050-critical-sections.md)                | Critical Sections          | `critical { }` blocks with PRIMASK save/restore              |
-| [ADR-108](docs/decisions/adr-108-volatile-keyword.md)                 | Volatile Variables         | `volatile` keyword prevents compiler optimization            |
-| [ADR-046](docs/decisions/adr-046-nullable-c-interop.md)               | Nullable C Interop         | `c_` prefix for nullable C pointer types                     |
-| [ADR-053](docs/decisions/adr-053-transpiler-pipeline-architecture.md) | Transpiler Pipeline        | Unified multi-pass pipeline with header symbol extraction    |
-| [ADR-057](docs/decisions/adr-057-implicit-scope-resolution.md)        | Implicit Scope Resolution  | Bare identifiers resolve local → scope → global              |
-| [ADR-055](docs/decisions/adr-055-symbol-parser-architecture.md)       | Symbol Parser Architecture | Unified symbol resolution with composable collectors         |
-| [ADR-058](docs/decisions/adr-058-explicit-length-properties.md)       | Explicit Length Properties | `.bit_length`/`.byte_length`/`.element_count`/`.char_count`  |
-
-### Accepted
-
-| ADR                                                                  | Title                 | Description                                           |
-| -------------------------------------------------------------------- | --------------------- | ----------------------------------------------------- |
-| [ADR-051](docs/decisions/adr-051-division-by-zero.md)                | Division by Zero      | Compile-time and runtime division-by-zero detection   |
-| [ADR-052](docs/decisions/adr-052-safe-numeric-literal-generation.md) | Safe Numeric Literals | `type_MIN`/`type_MAX` constants + safe hex conversion |
-
-### Superseded
-
-| ADR                                                 | Title              | Description                                                 |
-| --------------------------------------------------- | ------------------ | ----------------------------------------------------------- |
-| [ADR-047](docs/decisions/adr-047-nullable-types.md) | NULL for C Interop | `NULL` keyword for C stream functions (replaced by ADR-046) |
-
-### Research (v1 Roadmap)
-
-| ADR                                                              | Title                         | Description                                      |
-| ---------------------------------------------------------------- | ----------------------------- | ------------------------------------------------ |
-| [ADR-008](docs/decisions/adr-008-language-bug-prevention.md)     | Language-Level Bug Prevention | Top 15 embedded bugs and prevention              |
-| [ADR-009](docs/decisions/adr-009-isr-safety.md)                  | ISR Safety                    | Safe interrupts without `unsafe` blocks          |
-| [ADR-054](docs/decisions/adr-054-array-index-overflow.md)        | Array Index Overflow          | Overflow semantics for array index expressions   |
-| [ADR-056](docs/decisions/adr-056-cast-overflow-behavior.md)      | Cast Overflow Behavior        | Consistent overflow semantics for type casts     |
-| [ADR-060](docs/decisions/adr-060-vscode-extension-separation.md) | VS Code Extension Separation  | Separate repository for VS Code extension        |
-| [ADR-109](docs/decisions/adr-109-codegenerator-decomposition.md) | CodeGenerator Decomposition   | Breaking down CodeGenerator into modules         |
-| [ADR-110](docs/decisions/adr-110-do178c-compliance.md)           | DO-178C Compliance            | Safety-critical software certification framework |
-
-### Research (v2 Roadmap)
-
-| ADR                                                             | Title                      | Description                               |
-| --------------------------------------------------------------- | -------------------------- | ----------------------------------------- |
-| [ADR-100](docs/decisions/adr-100-multi-core-synchronization.md) | Multi-Core Synchronization | ESP32/RP2040 spinlock patterns            |
-| [ADR-101](docs/decisions/adr-101-heap-allocation.md)            | Heap Allocation            | Dynamic memory for desktop targets        |
-| [ADR-102](docs/decisions/adr-102-critical-section-analysis.md)  | Critical Section Analysis  | Complexity warnings and cycle analysis    |
-| [ADR-103](docs/decisions/adr-103-stream-handling.md)            | Stream Handling            | FILE\* and fopen patterns for file I/O    |
-| [ADR-104](docs/decisions/adr-104-isr-queues.md)                 | ISR-Safe Queues            | Producer-consumer patterns for ISR/main   |
-| [ADR-105](docs/decisions/adr-105-prefixed-includes.md)          | Prefixed Includes          | Namespace control for includes            |
-| [ADR-106](docs/decisions/adr-106-isr-vector-bindings.md)        | Vector Table Bindings      | Register bindings for ISR vector tables   |
-| [ADR-111](docs/decisions/adr-111-safe-hardware-abstraction.md)  | Safe Hardware Abstraction  | Type-safe hardware abstraction primitives |
-
-### Rejected
-
-| ADR                                                              | Title               | Description                                                             |
-| ---------------------------------------------------------------- | ------------------- | ----------------------------------------------------------------------- |
-| [ADR-041](docs/decisions/adr-041-inline-assembly.md)             | Inline Assembly     | Write assembly in C files; C-Next transpiles to C anyway                |
-| [ADR-042](docs/decisions/adr-042-error-handling.md)              | Error Handling      | Works with existing features (enums, pass-by-reference, struct returns) |
-| [ADR-039](docs/decisions/adr-039-null-safety.md)                 | Null Safety         | Emergent from ADR-003 + ADR-006 + ADR-015; no additional feature needed |
-| [ADR-020](docs/decisions/adr-020-size-type.md)                   | Size Type           | Fixed-width types are more predictable than platform-sized              |
-| [ADR-019](docs/decisions/adr-019-type-aliases.md)                | Type Aliases        | Fixed-width primitives already solve the problem                        |
-| [ADR-021](docs/decisions/adr-021-increment-decrement.md)         | Increment/Decrement | Use `+<- 1` instead; separation of concerns                             |
-| [ADR-002](docs/decisions/adr-002-namespaces.md)                  | Namespaces          | Replaced by `scope` keyword (ADR-016)                                   |
-| [ADR-005](docs/decisions/adr-005-classes-without-inheritance.md) | Classes             | Use structs + free functions instead (ADR-016)                          |
-| [ADR-018](docs/decisions/adr-018-unions.md)                      | Unions              | Use ADR-004 register bindings or explicit byte manipulation             |
-| [ADR-038](docs/decisions/adr-038-static-extern.md)               | Static/Extern       | Use `scope` for visibility; no `static` keyword in v1                   |
-| [ADR-026](docs/decisions/adr-026-break-continue.md)              | Break/Continue      | Use structured loop conditions instead                                  |
-| [ADR-028](docs/decisions/adr-028-goto.md)                        | Goto                | Permanently rejected; use structured alternatives                       |
-| [ADR-031](docs/decisions/adr-031-inline-functions.md)            | Inline Functions    | Trust compiler; `inline` is just a hint anyway                          |
-| [ADR-033](docs/decisions/adr-033-packed-structs.md)              | Packed Structs      | Use ADR-004 register bindings or explicit serialization                 |
-
 ## Development
 
 ### Setup
@@ -831,26 +282,6 @@ npm run coverage:grammar:check   # Grammar coverage with threshold check (CI)
 
 **Note:** C-Next runs directly via `tsx` without a build step. The `typecheck` command validates types only and does not generate any output files.
 
-### Formatting C-Next Files
-
-The project includes a Prettier plugin for formatting `.cnx` files with consistent style (4-space indentation, same-line braces).
-
-```bash
-# Format a single file
-npx prettier --plugin ./prettier-plugin/dist/index.js --write myfile.cnx
-
-# Format all .cnx files in tests/
-npx prettier --plugin ./prettier-plugin/dist/index.js --write "tests/**/*.cnx"
-```
-
-To build the plugin from source (after making changes):
-
-```bash
-cd prettier-plugin
-npm install
-npm run build
-```
-
 ## Contributing
 
 See [CONTRIBUTING.md](CONTRIBUTING.md) for the complete development workflow, testing requirements, and PR process.