fix(proof): align inline Decision supersession lifecycle - #264
Merged
Conversation
`WriteDecision` now moves each superseded Decision to `superseded` through the same lifecycle helper used by `Supersede`. This keeps the lifecycle state in sync with the canonical edge and closes the retained Proof defect. Tests: - `pnpm --filter @flatbread/proof test` - `pnpm --filter @flatbread/proof build` Note: the scoped typecheck still hits existing dependency declaration errors in graphql-compose, tsup, and transformer-markdown. Co-authored-by: Cursor <cursoragent@cursor.com> Change-Id: I42e036b1569c2b8d8282b12b38ac3e67a7a40ea6
Contributor
|
Tick the box to add this pull request to the merge queue (same as
|
tonyketcham
deleted the
stack/tonyketcham/fix/proof-decision-supersession/align-inline-decision-supersession-lifecycle--42e036b1
branch
August 23, 2026 08:29
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.
WriteDecisionnow moves each superseded Decision tosupersededthrough the same lifecycle helper used bySupersede. This keeps the lifecycle state in sync with the canonical edge and closes the retained Proof defect.Tests:
pnpm --filter @flatbread/proof testpnpm --filter @flatbread/proof buildNote: the scoped typecheck still hits existing dependency declaration errors in graphql-compose, tsup, and transformer-markdown.
Co-authored-by: Cursor cursoragent@cursor.com