Repository navigation
fix(overview): attest deletion-only deltas - #164
Closed
dayebishouji wants to merge 1 commit into
Closed
dayebishouji wants to merge 1 commit into
dayebishouji wants to merge 1 commit into
Conversation
alkor2000
pushed a commit
that referenced
this pull request
Nov 3, 2026
A deletion-only L5 delta reports the removed identity but delivers zero Entries, so its Challenge has no ordinal. The generic scorer graded the empty answer list as zero correct, a failure, which dropped the retained base and sent the next Overview back to a full delivery. A retained deletion-only delta with unchanged Root and Meta now passes on an empty answer list with zero reported Entries, once delivery is confirmed and governance is aligned; the current identity envelope and the complete-delivery claims still have to validate. Every other delivery keeps the pass share and the identity-miss rule. An MCP regression removes an orphan, proves the deletion delta, and asks for the next delta from the new base. The delivery contract says so. Ported from the contributor's branch onto the 0.2.0 line, excluding the governance assets, which the line re-authors. Closes #164 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
alkor2000
pushed a commit
that referenced
this pull request
Nov 3, 2026
- CHANGELOG: one Unreleased bullet each for the deletion-only delta proof (#164) and the replaced-selection snapshot refusal (#165), both by dayebishouji. - The zh-CN database.error.snapshot_selection message follows its neighbours: "数据库source %s", "已保存Snapshot", no spaces around ASCII. - The delivery contract's paragraph that #164 extended is rewrapped to the file's width; no word changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
|
Landed on |
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.
A deletion-only L5 delta reports the removed identity but delivers zero Entries. The generic Challenge scorer treats zero correct answers as a failure, drops the retained base, and makes the next Overview fall back to full delivery.
Accept the empty answer list for a retained deletion-only delta with unchanged Root and Meta after delivery confirmation and governance alignment. The current identity envelope and complete delivery claims still have to validate. Add an MCP regression that removes an orphan, verifies the deletion metadata and proof, and requests the next delta from the new base.
Validation