Repository navigation
feat: pull request metadata contract and additive schema 12 - #114
Merged
Merged
Conversation
- optional protocol 4 metadata.pullRequest, server-authored only - public ingestion rejects github source, trigger and pullRequest - current heads project winning submission's pullRequest - schema 11 upgrades in place to 12 (additive-only policy)
flexdinesh
changed the title
flexdinesh
marked this pull request as ready for review
October 25, 2026 06:32
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.
Stack 1/4: GitHub pull requests on
diffx-server. Live GitHub testing is pending; seedocs/github-live-testing.md(layer 4).ingestionadds optionalmetadata.pullRequest(author, title, body, state, draft, refs, times) and reservedgithubsource/trigger.reviewstoreprojects the stream head's winning submission'spullRequestonto the head context, like activity.pullRequest, thegithubsource and thegithubtrigger with 400; only the server's GitHub integration may author them. Schema 11 → 12 is additive (CREATE-only); older-than-11 state still refuses. No local-mode behavior change.mise run checkpasses. Real-binary check: schema 11 DB upgrades to 12 in place, producer-claimed PR gets 400. Projection test covers metadata-only edits, late submissions and new pushes. Risk: first additive migration sets precedent.additiveSchema = 11) documented indocs/architecture.mdanddocs/release.md.