chore: Merge branch 'main' of https://github.com/arnoox/herkos into ir-optimizer

Author: Arnaud Riess

.devcontainer/devcontainer.json

@@ -7,7 +7,8 @@
       "profile": "default"
     },
     "ghcr.io/devcontainers/features/node:1": {},
-    "ghcr.io/anthropics/devcontainer-features/claude-code:1.0": {}
+    "ghcr.io/anthropics/devcontainer-features/claude-code:1.0": {},
+    "ghcr.io/devcontainers/features/github-cli:1": {}
   },
   "customizations": {
     "vscode": {

.github/ISSUE_TEMPLATE/feature_request.md

@@ -38,13 +38,7 @@ If you have thoughts on how this could be implemented:
 
 ## Additional Context
 
-Add any other context, screenshots, or examples here.
-
-## Willing to Contribute?
-
-- [ ] I am willing to submit a PR to implement this feature
-- [ ] I need guidance on implementation
-- [ ] I can only describe the feature
+Add any other context or examples here.
 
 ## References
 

.github/pull_request_template.md

@@ -21,7 +21,7 @@ jobs:
       - uses: Swatinem/rust-cache@v2
 
       - name: Install system dependencies
-        run: sudo apt-get install -y clang lld
+        run: sudo apt-get install -y clang lld wabt
 
       - name: Install kani-verifier
         run: cargo install --locked kani-verifier && cargo kani setup
@@ -37,3 +37,9 @@ jobs:
 
       - name: Format check
         run: cargo fmt --check
+
+      - name: Example (C → Wasm → Rust)
+        run: ./examples/c-to-wasm-to-rust/run.sh
+
+      - name: Example (Inter-Module Lending)
+        run: ./examples/inter-module-lending/run.sh

.github/workflows/ci.yml

@@ -68,25 +68,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 Many tests are missing!
 
-**Current Phase**: Milestone 3 complete (Import/Export System)
-
-**Completed**:
-- ✅ Phase 0: Workspace scaffold
-- ✅ Phase 1: Runtime core (herkos-runtime)
-- ✅ Milestone 1: Arithmetic and memory operations
-- ✅ Milestone 2: Control flow (if/block/loop/br)
-- ✅ Milestone 3: Import/Export system
-
-**In Progress**:
-- 🔄 Pre-open-source code review and cleanup
-
-**Planned**:
-- ⏳ Backend selection (verified/hybrid modes)
-- ⏳ Local variable tracking
-- ⏳ Multi-value blocks
-- ⏳ WASI, optimization, documentation
-
-See [PLAN.md](PLAN.md) for the complete roadmap.
+See [docs/FUTURE.md](docs/FUTURE.md) for planned features.
 
 ## Version History