chore(release): prepare 0.19.0 - #463
Merged
Merged
Conversation
A refused value stays out of the trace: when the page rejects a typed value and the correction sticks, the fumble's memorial is dropped before the trace is minted, and the record reads as the one line a person would have left. Guarded three ways - spans join before the prune, an observer blocks it, positional selectors are never pruned - with everything unprovable failing open to the journal. All six version locations move together, and the lockfile with them. Co-Authored-By: Claude Opus 5 <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.
Minor bump for #462.
Cargo.tomlsdk/python/pyproject.tomlsdk/python/flowproof/__init__.pysdk/js/package.jsonoptionalDependenciesplatform packagesCargo.lock(every workspace crate)Verified with the same commands the
versions agreejob runs; lockfile regenerated withcargo update -w.What 0.19.0 is
A refused value stays out of the trace. A recorded correction used to memorialize its own fumble — four steps where one is the truth, replayed forever. Now, when the page rejects a typed value and the correction sticks, the fumble's memorial is dropped before the trace is minted, and the record reads as the one line a person would have left: the value that stuck.
Guarded three ways, each from adversarial review: recording spans join before the prune so heal's frames keep pointing at the moment they filmed; an observer (capture, assert, click) between fumble and correction blocks the prune entirely; positional selector paths are never pruned. Everything unprovable fails open to the journal.
Notes
cargo fmt,clippy -D warnings, full suite (918 tests) green.v0.19.0) once this is onmain.🤖 Generated with Claude Code