release: v3.0.0 — qualifiable + differentiated (FEAT-047/048/049/050)#90
Merged
Conversation
Bump workspace + path-deps (incl. new scry-sai-float, scry-sai-handle) + SCRY_VERSION 2.7.0 -> 3.0.0; add the v3.0.0 CHANGELOG entry with the falsification statement. The strategic release: FEAT-047 IEEE-754 float domain, FEAT-048 i32.add mechanized sound vs the official wrapping semantics (WrapAdd.v) + Verus join proof repaired, FEAT-049 Component-Model handle-state / use-after-drop (the moat), FEAT-050 tool-qualification dossier (DO-330 TQL-5 / ISO 26262-8 §11). Four adversarial clean-rooms; FEAT-047's γ-sweep found 4 real numerical bugs and the dossier audit found 3 overclaims — all fixed before merge. rivet release status v3.0.0: cuttable (4 artifacts accepted). Co-Authored-By: Claude Opus 4.8 <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
1 participant
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.
Cuts v3.0.0 — the strategic capstone of Roadmap 3.0. Version bump 2.7.0 →
3.0.0 (workspace + path-deps incl. the two new crates
scry-sai-float/scry-sai-handle+SCRY_VERSION) and the CHANGELOG.rivet release status v3.0.0→ ✓ Cuttable (4 artifacts, all accepted).Features (all merged: #86 / #87 / #88 / #89)
i32.addmechanized sound vs the OFFICIAL wrapping semantics(
WrapAdd.v); Verus join proof repaired.Falsification statement
Every float interval over-approximates the IEEE-754 result;
i32_addismachine-proven sound vs the official wrapping semantics; every reported handle
fault is a definite use-after-drop / double-drop; the dossier cites only
admit-free artifacts that exist. FALSE if any of those is violated.
Tagging
v3.0.0on merge triggers crates.io publish (now incl.scry-sai-floatscry-sai-handle) + the Pages dashboard. Each feature passed an adversarialclean-room; the strategic honesty-critical work (WrapAdd.v, the dossier) was
mechanically verified / overclaim-audited before merge.
🤖 Generated with Claude Code