Skip to content

docs: honest README — pre-release warnings, real status#64

Merged
avrabe merged 1 commit intomainfrom
docs/honest-readme
Mar 21, 2026
Merged

docs: honest README — pre-release warnings, real status#64
avrabe merged 1 commit intomainfrom
docs/honest-readme

Conversation

@avrabe
Copy link
Contributor

@avrabe avrabe commented Mar 21, 2026

Summary

Makes the README honest about what works and what doesn't.

  • Pre-release warning at the top — not tested on real hardware
  • Features table: Tested vs Implemented vs Experimental (was all "Supported")
  • "What doesn't work yet" section: no hardware testing, no multi-memory, no WASI on embedded, no component execution, naive regalloc, untested SIMD
  • Rocq proofs: clarified only i32 has T1 result-correspondence; 52 admits are all float/VFP
  • Meld/Kiln descriptions corrected (Meld = fuser, Kiln = runtime)
  • Spec tests: "227/257 compile" → noted these are compilation-only, not executed

🤖 Generated with Claude Code

Honest README:
- Pre-release warning — not tested on real hardware
- Features table distinguishes Tested/Implemented/Experimental
- "What doesn't work yet" section added
- Rocq proofs: only i32 has T1, 52 admits are all float
- SIMD/Helium marked experimental (untested on M55)
- Cross-compilation marked as not CI-tested
- Spec tests: compile-only, not executed on emulator
- Meld/Kiln descriptions corrected

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@avrabe avrabe merged commit 57186ed into main Mar 21, 2026
6 checks passed
@avrabe avrabe deleted the docs/honest-readme branch March 21, 2026 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant