feat: pre-release validation — 34 edge case tests, no bugs found

.github/workflows/ci.yml

@@ -96,6 +96,40 @@ jobs:
       - name: Run comprehensive verification
         run: cargo test -p synth-verify --test comprehensive_verification --features z3-solver,arm
 
+  coverage:
+    name: Code Coverage
+    needs: [test]
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+      - name: Cache Cargo dependencies
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cargo/registry
+            ~/.cargo/git
+            target/
+          key: ${{ runner.os }}-coverage-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-coverage-
+      - name: Install cargo-llvm-cov
+        uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-llvm-cov
+      - name: Generate coverage (LCOV)
+        run: |
+          cargo llvm-cov --workspace --lcov --output-path lcov.info \
+            --exclude synth-verify --exclude synth-qemu \
+            --exclude synth-backend-awsm --exclude synth-backend-wasker
+      - name: Upload to Codecov
+        uses: codecov/codecov-action@v4
+        with:
+          files: lcov.info
+          fail_ci_if_error: false
+        env:
+          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
+
   rivet:
     name: Rivet Validation
     runs-on: ubuntu-latest

CLAUDE.md

@@ -10,7 +10,7 @@ Part of [PulseEngine](https://github.com/pulseengine): synth (compiler) + [loom]
 
 ```bash
 # Rust — primary build
-cargo test --workspace             # 526+ tests
+cargo test --workspace             # 885+ tests
 cargo clippy --workspace --all-targets -- -D warnings
 cargo fmt --check
 
@@ -25,14 +25,21 @@ bazel test //tests/...             # Renode ARM Cortex-M4 emulation tests
 | Crate | Purpose |
 |-------|---------|
 | `synth-cli` | CLI entry point (`synth compile`, `synth verify`, `synth disasm`) |
-| `synth-core` | Shared types, error handling, `Backend` trait |
-| `synth-backend` | ARM encoder, ELF builder, vector table, linker scripts, MPU |
-| `synth-synthesis` | WASM→ARM instruction selection, peephole optimizer |
+| `synth-core` | Shared types, error handling, `Backend` trait, WASM decoder |
+| `synth-frontend` | WASM Component Model parser and validator |
+| `synth-backend` | ARM Thumb-2 encoder, ELF builder, vector table, linker scripts, MPU |
+| `synth-backend-awsm` | aWsm backend integration (WASM→native via aWsm) |
+| `synth-backend-wasker` | Wasker backend integration (WASM→Rust transpiler) |
+| `synth-synthesis` | WASM→ARM instruction selection, peephole optimizer, pattern matcher |
+| `synth-cfg` | Control flow graph construction and analysis |
+| `synth-opt` | IR-level optimization passes (CSE, constant folding, DCE) |
 | `synth-verify` | Z3 SMT translation validation |
-| `synth-analysis` | SSA, control flow analysis |
+| `synth-analysis` | SSA, control flow analysis, call graph |
 | `synth-abi` | WebAssembly Component Model ABI (lift/lower) |
 | `synth-memory` | Portable memory abstraction (Zephyr, Linux, bare-metal) |
+| `synth-qemu` | QEMU integration for testing |
 | `synth-test` | WAST→Robot Framework test generator for Renode |
+| `synth-wit` | WIT (WebAssembly Interface Types) parser |
 
 ## Rocq Proof Suite
 

README.md

@@ -7,6 +7,7 @@
  
 
 [![CI](https://github.com/pulseengine/synth/actions/workflows/ci.yml/badge.svg)](https://github.com/pulseengine/synth/actions/workflows/ci.yml)
+[![codecov](https://codecov.io/gh/pulseengine/synth/graph/badge.svg)](https://codecov.io/gh/pulseengine/synth)
 ![Rust](https://img.shields.io/badge/Rust-CE422B?style=flat-square&logo=rust&logoColor=white&labelColor=1a1b27)
 ![WebAssembly](https://img.shields.io/badge/WebAssembly-654FF0?style=flat-square&logo=webassembly&logoColor=white&labelColor=1a1b27)
 ![License: Apache-2.0](https://img.shields.io/badge/License-Apache--2.0-blue?style=flat-square&labelColor=1a1b27)