Skip to content

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

Merged
avrabe merged 2 commits intomainfrom
safety/rfc46-update
Mar 17, 2026
Merged

safety(arch): RFC #46 architecture shift — std-only interpreter, kiln-builtins, Meld lowering#167
avrabe merged 2 commits intomainfrom
safety/rfc46-update

Conversation

@avrabe
Copy link
Collaborator

@avrabe avrabe commented Mar 17, 2026

Summary

Major architectural update following Bytecode Alliance RFC #46 ("Lowering components to core modules"):

Architecture Changes

  • Delete obsolete COMPONENT_MODEL_IMPLEMENTATION_PLAN.md (Kiln no longer implements full CM runtime)
  • Create docs/architecture/rfc46-toolchain-architecture.md documenting the new toolchain flow
  • Update CLAUDE.md with post-RFC build(deps): bump wast from 228.0.0 to 229.0.0 #46 architecture section

STPA Updates

  • H-4 sub-hazards (canonical ABI): marked delegated-to-meld
  • H-7 (async): marked deferred (not in P2)
  • H-13 (NEW): Meld-fused module ABI mismatch
  • UCAs: CM operations scoped (delegated/reduced/deferred)
  • UCA-BI-1 (NEW): Builtin wrong return type
  • Loss scenarios LS-RF46-1, LS-RF46-2 for Meld/Synth integration

STPA-SEC Updates

  • SH-3: Updated for kiln-builtins (not interpreter) no_std scope
  • SH-7 (NEW): Synth↔kiln-builtins ABI mismatch
  • SH-8 (NEW): Capability escalation through Meld fusion
  • V-7, V-8: Vulnerability mappings with mitigations

Cross-Toolchain

  • XH-1, XH-3: Updated for build-time Meld lowering
  • XH-6 (NEW): Meld fusion format versioning
  • XH-7 (NEW): kiln-builtins ABI stability
  • CTRL-MELD, CTRL-SYNTH, PROC-BUILTINS, PROC-GALE added to control structure

Requirements

  • SR-4 through SR-11: Status delegated to Meld
  • SR-BUILTIN-ABI, SR-MELD-COMPAT (NEW)
  • FR-BUILTINS, FR-MELD-INTEGRATION, FR-FILEPATH-MAP (NEW)
  • AC-BUILTINS, AD-RFC46, AD-STD-ONLY-INTERP (NEW)

Implements: H-13, SR-BUILTIN-ABI

🤖 Generated with Claude Code

avrabe and others added 2 commits March 17, 2026 20:11
Add architecture document describing the post-RFC #46 PulseEngine
toolchain: Meld lowers components at build time, Kiln interpreter
(std-only) executes core modules, kiln-builtins (no_std) provides
host intrinsics for Synth-compiled code, and Synth compiles to
native ELF for gale.

Update STPA-SEC security hazards (SH-3 updated for kiln-builtins,
SH-7 for ABI mismatch, SH-8 for capability escalation through
fusion), vulnerabilities (V-7, V-8), cross-toolchain consistency
hazards (XH-1/XH-3 updated, XH-6/XH-7 added), and control
structure (CTRL-MELD, CTRL-SYNTH, PROC-BUILTINS, PROC-GALE).

Implements: H-8

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
…itecture

Implements: H-13, SR-BUILTIN-ABI

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@avrabe avrabe merged commit f8c64e4 into main Mar 17, 2026
@avrabe avrabe deleted the safety/rfc46-update branch March 17, 2026 19:21
@github-actions
Copy link

🔍 Build Diagnostics Report

Summary

Metric Base Branch This PR Change
Errors 0 0 0
Warnings 2 2 0

🎯 Impact Analysis

Issues in Files You Modified

  • 0 new errors introduced by your changes
  • 0 new warnings introduced by your changes
  • 0 total errors in modified files
  • 0 total warnings in modified files
  • 0 files you modified

Cascading Issues (Your Changes Breaking Other Files)

  • 0 new errors in unchanged files
  • 0 new warnings in unchanged files
  • 0 unchanged files now affected

Note: "Cascading issues" are errors in files you didn't modify, caused by your changes (e.g., breaking API changes, dependency issues).

✅ No Issues Detected

Perfect! Your changes don't introduce any new errors or warnings, and don't break any existing code.


📊 Full diagnostic data available in workflow artifacts

🔧 To reproduce locally:

# Install cargo-kiln
cargo install --path cargo-kiln

# Analyze your changes
cargo-kiln build --output json --filter-severity error
cargo-kiln check --output json --filter-severity warning

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