-
Notifications
You must be signed in to change notification settings - Fork 0
docs(profile): resync the org front page — scope the claims, fix terminology - #9
Merged
Merged
docs(profile): resync the org front page — scope the claims, fix terminology #9avrabe merged 1 commit into
avrabe merged 1 commit into
Conversation
...inology The org profile had drifted furthest of anything we own, and it is the most visible page in the organisation. Overclaims removed: - tagline "Formally verified WebAssembly toolchain" -> "a WebAssembly Component Model toolchain for safety-critical systems, with formally verified components" (the wording already adopted on pulseengine.eu and in mcp) - the green "Formally Verified" badge — an unbacked badge is exactly the claim the claim-verification discipline exists to kill - "SLSA L4 provenance" — SLSA v1.0 defines Build L1-L3; there is no L4 - "No transformation ships without a proof" — not true, and we have the field reports to prove it is not - meld "every transformation carries mechanized proofs" and synth "translation validation ensures the output faithfully preserves semantics" — both softened to what actually holds; synth's ARM model was demonstrably unfaithful once, and loom's SMT encoding did not model traps Terminology, per the project's own rules: - synth TRANSCODES; it does not transpile - tool names are lowercase, not Meld/Loom/Synth/Kiln/Sigil - kiln is an interpreter and runtime, not just a runtime Staleness: - spar was "AADL v2.2"; it is AADL v2.3 + SysML v2 + CAN-DBC with 30+ analyses - gale was "dual-track"; it is Verus + Rocq + Lean, and the gust OS is the story - added the tools that existed but were never listed: witness, scry, ordeal, relay, wohl, jess, varve, rules_ordeal - dropped the three repos archived today: timedate-mcp, rules_moonbit, moonbit_checksum_updater Leaner: 167 -> 110 lines, and it now says plainly what "verified" means here rather than implying it covers everything. Co-Authored-By: Claude Opus 4.8 (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.
docs(profile): resync the org front page — scope the claims, fix terminology
The org profile had drifted furthest of anything we own, and it is the most
visible page in the organisation.
Overclaims removed:
Model toolchain for safety-critical systems, with formally verified
components" (the wording already adopted on pulseengine.eu and in mcp)
the claim-verification discipline exists to kill
reports to prove it is not
validation ensures the output faithfully preserves semantics" — both softened
to what actually holds; synth's ARM model was demonstrably unfaithful once,
and loom's SMT encoding did not model traps
Terminology, per the project's own rules:
Staleness:
relay, wohl, jess, varve, rules_ordeal
moonbit_checksum_updater
Leaner: 167 -> 110 lines, and it now says plainly what "verified" means here
rather than implying it covers everything.
Co-Authored-By: Claude Opus 4.8 (1M context) noreply@anthropic.com