build(deps): bump wast from 228.0.0 to 229.0.0#46
Closed
dependabot[bot] wants to merge 1 commit intomainfrom
Closed
build(deps): bump wast from 228.0.0 to 229.0.0#46dependabot[bot] wants to merge 1 commit intomainfrom
dependabot[bot] wants to merge 1 commit intomainfrom
Conversation
Bumps [wast](https://github.com/bytecodealliance/wasm-tools) from 228.0.0 to 229.0.0. - [Release notes](https://github.com/bytecodealliance/wasm-tools/releases) - [Commits](https://github.com/bytecodealliance/wasm-tools/commits) --- updated-dependencies: - dependency-name: wast dependency-version: 229.0.0 dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
Contributor
Author
|
Looks like wast is up-to-date now, so this is no longer needed. |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #46 +/- ##
==========================
==========================
☔ View full report in Codecov by Sentry. |
5 tasks
avrabe
added a commit
that referenced
this pull request
Mar 17, 2026
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>
avrabe
added a commit
that referenced
this pull request
Mar 17, 2026
…itecture Implements: H-13, SR-BUILTIN-ABI Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 17, 2026
…-builtins, Meld lowering (#167) * safety(arch): add RFC #46 toolchain architecture and update STPA models 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> * safety(stpa): update hazards, UCAs, and requirements for RFC #46 architecture Implements: H-13, SR-BUILTIN-ABI Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 18, 2026
Remove 414 lines of cfg-gated no_std code from prelude.rs and lib.rs. The interpreter is std-only per RFC #46 architecture. Removed: - All #[cfg(not(feature = "std"))] blocks and no_std alternatives - BoundedHashMap/BoundedHashSet/BoundedString type aliases - Custom vec!/format! macros for no_std - Arc/Mutex/RwLock polyfills for no_std - option_value_as_* helper functions - All cfg gates on module declarations in lib.rs Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 18, 2026
…rity STPA hazards (H-13 sub-hazards): - H-13.1: Thread intrinsic ABI mismatch - H-13.2: Stream/future buffer overrun - H-13.3: Resource handle confusion - H-13.4: Waitable set deadlock on single-threaded runtime - H-13.5: Task status/event code misinterpretation UCAs for CTRL-BUILTINS controller: - UCA-BI-2 through UCA-BI-6 covering invalid indices, buffer overflow, double-free, deadlock, and double-completion STPA-SEC: - SH-9: Resource handle forgery (high exploitability) - SH-10: Stream buffer overflow (high exploitability) - V-9, V-10: Vulnerability mappings with 6 mitigations Requirements: - FR-RFC46-THREAD, FR-RFC46-STREAM, FR-RFC46-RESOURCE, FR-RFC46-WAITABLE Implements: H-13 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 18, 2026
…acking Interface design document for the complete RFC #46 host intrinsic API: - Thread management → gale RTOS tasks with cooperative scheduling - Waitable sets → kiln async executor polling gale event groups - Streams → gale shared-memory ring buffers with backpressure - Resources → bounded generation-counted handle table - cabi_realloc → pre-assigned memory pool allocation STPA hazards: - H-14: Executor starvation (cooperative monopolization) - H-15: Gale task slot exhaustion from unbounded thread_new - H-16: Stream backpressure deadlock on bounded channels - H-17: Cross-component resource handle aliasing via generation wrap - H-18: Executor-scheduler priority inversion STPA-SEC: - SH-11: Thread sandbox escape via cross-component thread_switch_to - SH-12: Stream data exfiltration via handle confusion Control structure: CTRL-EXECUTOR with 5 control actions, 4 feedback loops, PROC-THREAD and PROC-WAITABLE controlled processes. Implements: H-14, H-15, H-16, H-17, H-18 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 18, 2026
Complete C function signatures, types, and constants from bytecodealliance/rfcs#46 (lower-component.md as of 2026-03-18). Covers: guest→host intrinsics, non-intrinsic imports, host→guest exports, embedder bindings API, fiber management. Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 18, 2026
Stripped: module_instance.rs (38), types.rs (26), memory_partial.rs (26), stackless/engine.rs (22), table.rs (20), thread_manager.rs (10), resources/handle_table.rs (10). kiln-runtime now has ZERO active #[cfg(not(feature = "std"))] blocks. The interpreter is fully std-only per RFC #46 architecture. Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 18, 2026
…168) * refactor: strip no_std from kiln-runtime prelude and lib.rs Remove 414 lines of cfg-gated no_std code from prelude.rs and lib.rs. The interpreter is std-only per RFC #46 architecture. Removed: - All #[cfg(not(feature = "std"))] blocks and no_std alternatives - BoundedHashMap/BoundedHashSet/BoundedString type aliases - Custom vec!/format! macros for no_std - Arc/Mutex/RwLock polyfills for no_std - option_value_as_* helper functions - All cfg gates on module declarations in lib.rs Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> * safety(stpa): analyze RFC #46 host intrinsic APIs for safety and security STPA hazards (H-13 sub-hazards): - H-13.1: Thread intrinsic ABI mismatch - H-13.2: Stream/future buffer overrun - H-13.3: Resource handle confusion - H-13.4: Waitable set deadlock on single-threaded runtime - H-13.5: Task status/event code misinterpretation UCAs for CTRL-BUILTINS controller: - UCA-BI-2 through UCA-BI-6 covering invalid indices, buffer overflow, double-free, deadlock, and double-completion STPA-SEC: - SH-9: Resource handle forgery (high exploitability) - SH-10: Stream buffer overflow (high exploitability) - V-9, V-10: Vulnerability mappings with 6 mitigations Requirements: - FR-RFC46-THREAD, FR-RFC46-STREAM, FR-RFC46-RESOURCE, FR-RFC46-WAITABLE Implements: H-13 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> * safety(stpa): full RFC #46 interface STPA with kiln executor + gale backing Interface design document for the complete RFC #46 host intrinsic API: - Thread management → gale RTOS tasks with cooperative scheduling - Waitable sets → kiln async executor polling gale event groups - Streams → gale shared-memory ring buffers with backpressure - Resources → bounded generation-counted handle table - cabi_realloc → pre-assigned memory pool allocation STPA hazards: - H-14: Executor starvation (cooperative monopolization) - H-15: Gale task slot exhaustion from unbounded thread_new - H-16: Stream backpressure deadlock on bounded channels - H-17: Cross-component resource handle aliasing via generation wrap - H-18: Executor-scheduler priority inversion STPA-SEC: - SH-11: Thread sandbox escape via cross-component thread_switch_to - SH-12: Stream data exfiltration via handle confusion Control structure: CTRL-EXECUTOR with 5 control actions, 4 feedback loops, PROC-THREAD and PROC-WAITABLE controlled processes. Implements: H-14, H-15, H-16, H-17, H-18 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> * refactor: strip no_std from module.rs and related construction sites Remove 1,316 lines of cfg-gated no_std code from module.rs: - All struct fields simplified to Vec (was dual Vec/BoundedVec) - Delete from_kiln_module_nostd (~215 lines) - Delete from_kiln_foundation_module (~270 lines) - Simplify all GlobalWrapper/MemoryWrapper methods - Remove cfg gates from all public methods - Fix Module construction in module_builder.rs, module_instance.rs, component_instantiation.rs Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> * docs: extract RFC #46 C API reference for implementation planning Complete C function signatures, types, and constants from bytecodealliance/rfcs#46 (lower-component.md as of 2026-03-18). Covers: guest→host intrinsics, non-intrinsic imports, host→guest exports, embedder bindings API, fiber management. Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> * refactor: strip no_std from 21 more kiln-runtime files (-1,179 lines) Fully stripped: memory.rs, bounded_runtime_infra.rs, func.rs, instruction_parser.rs, bulk_memory.rs, engine_factory.rs, memory_adapter.rs, memory_helpers.rs, module_builder.rs, simd_additional_ops.rs, simd_runtime.rs, atomic_runtime.rs, atomic_memory_model.rs, atomic_execution.rs, component_impl.rs, wasip2_host.rs, platform_runtime.rs, shared_memory.rs, engine/capability_engine.rs, multi_memory.rs, module_instance.rs (partial). 153 cfg blocks remain in 7 files: module_instance.rs (38), types.rs (26), memory_partial.rs (26), stackless/engine.rs (22), table.rs (20), thread_manager.rs (10), resources/handle_table.rs (10). Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> * refactor: strip no_std from final 7 kiln-runtime files — 0 remaining Stripped: module_instance.rs (38), types.rs (26), memory_partial.rs (26), stackless/engine.rs (22), table.rs (20), thread_manager.rs (10), resources/handle_table.rs (10). kiln-runtime now has ZERO active #[cfg(not(feature = "std"))] blocks. The interpreter is fully std-only per RFC #46 architecture. Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
avrabe
added a commit
that referenced
this pull request
Mar 19, 2026
…150) Remove all #[cfg(feature = "std")] guards and dead #[cfg(not(feature = "std"))] code paths from 30 kiln-runtime source files. The interpreter is std-only per RFC #46 — the no_std path is via kiln-builtins for synth-compiled code. - 1,251 lines of dead no_std code removed across 30 files - Simplify compound guards: cfg(all(std, debugger)) → cfg(debugger), etc. - All 95 kiln-runtime tests pass Trace: skip Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
3 tasks
avrabe
added a commit
that referenced
this pull request
Mar 19, 2026
…150) (#169) Remove all #[cfg(feature = "std")] guards and dead #[cfg(not(feature = "std"))] code paths from 30 kiln-runtime source files. The interpreter is std-only per RFC #46 — the no_std path is via kiln-builtins for synth-compiled code. - 1,251 lines of dead no_std code removed across 30 files - Simplify compound guards: cfg(all(std, debugger)) → cfg(debugger), etc. - All 95 kiln-runtime tests pass Trace: skip Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Bumps wast from 228.0.0 to 229.0.0.
Commits
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)