docs(readme): fix stale status block (v0.1.0 'no real logic' → v3.0.0) - #111
Closed
avrabe wants to merge 1 commit into
Closed
docs(readme): fix stale status block (v0.1.0 'no real logic' → v3.0.0)#111avrabe wants to merge 1 commit into
avrabe wants to merge 1 commit into
Conversation
The status section still described the v0.1.0 structural scaffold ('no real
abstract-interpretation logic yet') while scry is on v3.0.0: real sound domains
(interval, IEEE-754 float, Component-Model handle-lifetime) with admit-free Rocq
soundness for specific properties (WrapAdd.v proves i32.add sound vs the official
wrapping Wasm semantics). Surfaced by a cross-repo doc-drift audit; the stale
block made scry look far less mature than it is (and would embarrass in review).
Keeps the honest scope caveat: soundness is mechanized for named properties, not
the whole analyzer.
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
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.
The README
## statusblock still described the v0.1.0 structural scaffold — 'no real abstract-interpretation logic yet' — while scry has shipped v3.0.0 with real sound domains and admit-free Rocq soundness proofs (WrapAdd.v:i32.addsound vs the official wrapping Wasm semantics; IEEE-754 float domain; Component-Model handle-lifetime analysis; tool-qualification dossier).Surfaced by a cross-repo doc-drift audit ahead of external formal-methods review — the stale block makes scry look less mature than it is. Rewrite reflects v3.0.0 and keeps an explicit honest-scope caveat (soundness is mechanized for named properties/domains, not the whole analyzer).
Docs-only.
🤖 Generated with Claude Code