Skip to content

safety(arch): RFC #46 architecture shift — std-only interpreter, kiln-builtins, Meld lowering #167

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
avrabe merged 2 commits into from
Mar 17, 2026
Merged

safety(arch): RFC #46 architecture shift — std-only interpreter, kiln-builtins, Meld lowering #167

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5dd7ae0
safety(arch): add RFC #46 toolchain architecture and update STPA models
avrabe Mar 17, 2026
83a9fd9
safety(stpa): update hazards, UCAs, and requirements for RFC #46 arch…
avrabe Mar 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions CLAUDE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -482,6 +482,18 @@ The Kiln project has completed its migration to a unified build system:
- **Integration**: Former kiln-verification-tool functionality integrated into kiln-build-core
- **API consistency**: All commands follow consistent patterns and error handling

### Post-RFC #46 Architecture (Current)
The PulseEngine toolchain follows BA RFC #46 for component model support:

- **Meld** lowers components to core modules at build time
- **Kiln interpreter** (std-only) executes core modules + host intrinsics
- **kiln-builtins** (no_std) provides host intrinsics for synth-compiled code
- **Synth** compiles to native ELF for gale/embedded targets
- Component Model is NOT implemented as a runtime feature — Meld handles it

The interpreter is std-only. The no_std path is via kiln-builtins for synth-compiled code.
See `docs/architecture/rfc46-toolchain-architecture.md` for details.

### Removed Legacy Components
- Shell scripts: `verify_build.sh`, `fuzz_all.sh`, `verify_no_std.sh`, `test_features.sh`, `documentation_audit.sh`
- Kani verification scripts: `test_kani_phase4.sh`, `validate_kani_phase4.sh`
Expand Down
Loading
Loading