This repo's README footer reads Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems. temper is a Node.js/Probot GitHub App that hardens repositories — not WebAssembly. 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
This repo's README footer reads
Part of PulseEngine — formally verified WebAssembly toolchain for safety-critical systems. temper is a Node.js/Probot GitHub App that hardens repositories — not WebAssembly. 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 formPart of the PulseEngine toolchainalready used byjess.|🤖 Filed via Claude Code as part of the org-wide verification-claim honesty audit (follows pulseengine/kiln#423). Root: pulseengine/.github#8