From 607f6ca038ff8d86b8ead0bb86d7f4e0ee564e21 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Wed, 22 Jul 2026 06:36:02 +0200 Subject: [PATCH] docs(readme): drop unbacked "formally verified / safety-critical" footer (#549) rules_wasm_component ships Bazel rules for WebAssembly Component Model builds. It does no formal verification and makes no safety-critical guarantee, so the org tagline overclaimed when attached here (downstream echo of the org-wide tagline; single-source root is pulseengine/.github#8, still open). Relabel to the honest short form already used by jess: "Part of the PulseEngine toolchain." Co-Authored-By: Claude Opus 4.8 (1M context) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 463bb8e7..e7afb866 100644 --- a/README.md +++ b/README.md @@ -161,6 +161,6 @@ Apache-2.0 — see [LICENSE](LICENSE).
-Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems +Part of the PulseEngine toolchain.