README: drop the unbacked "formally verified WebAssembly toolchain" org footer

[avrabe]

This repo's README footer reads Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems. rules_moonbit ships early-development Bazel rules for MoonBit. It does no formal verification and makes no safety-critical guarantee, so the "formally verified … safety-critical" clause overclaims when attached here.

This is a downstream echo of the org tagline; the single-source root is pulseengine/.github#8. Fix: single-source the tagline (fixed once in .github, see pulseengine/.github#8) and relabel this footer to the repo's actual role — e.g. the honest short form Part of the PulseEngine toolchain already used by jess.|

---

🤖 Filed via Claude Code as part of the org-wide verification-claim honesty audit (follows pulseengine/kiln#423). Root: pulseengine/.github#8

[avrabe]

Closing ahead of archiving this repository.

The repo is dormant (no substantive work since its last push) and is being retired rather than carried as an open backlog. Archiving makes a repo read-only, so open items are closed first — an archived repo with open issues can never have them closed, which is a state worth avoiding.

If this matters to you: the repository stays readable and cloneable, and archiving is reversible — say so and it can be un-archived and this reopened.