ci: enforce governance contract - #29
Merged
AlexStocks merged 3 commits intoAug 29, 2026
Merged
Conversation
Accept valid dropdown option syntax and reject missing labels, missing markdown values, invalid field IDs, and duplicate dropdown choices. Strengthen the governance fixtures and record the external-schema regression rule.
Merge the latest codex/wp0-contributing stack while preserving its Issue routes, CodeQL workflow, native build dependencies, and learned rules. Extend the governance checker to validate the new feature/proposal split, required control types, and current GitHub Issue Form schema.
8 tasks
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.
Tracking
Part of #3(WP0-B)Summary
bug_report.yml, boundedfeature_request.yml, and compatibility-sensitiveproposal.ymlroutes against the current GitHub Issue Form schemagovernance-contractCI job using the local Go toolchain and readonly module resolutioncodex/wp0-contributingbase while preserving its Issue routes, CodeQL workflow, native build dependencies, and learned engineering rulesProblem and rationale
WP0-B in #3 requires contribution contracts to be machine checked rather than trusted as static text. The original checker shared an incomplete Issue Form model with its tests: it accepted forms GitHub could not render and rejected valid dropdown options. The stacked base later split bounded features from contract/platform proposals, so the checker now validates both routes and their required control types.
Behavior, API, and compatibility
Generated, dependency, and workflow impact
gopkg.in/yaml.v2remains at the existing pinned version and is promoted from indirect to direct because the new tool imports itmaster.ymlgains the stablegovernance-contractjob; the latest base's CodeQL and native SQLite dependency behavior is preservedValidation
Local Windows checks on exact Head
764ac0426cd568c789f8d7bd7cf669c2efe4b371:go test ./tools/governance-check -count=1 -v— 12 governance scenarios passedgo test -race ./tools/governance-check -count=1— passedgo run ./tools/governance-check— passed against the real repositorygo mod verify— all modules verified./tools/governance-check—0 issuesgo run github.com/rhysd/actionlint/cmd/actionlint@v1.7.12— passedgit diff --checkand unmerged-index check — cleanThe full Windows
go test ./...,make lint, andmake checkremain unavailable as passing claims because the unchanged Base reproduces CGO/sqlite-header, symlink privilege, Unix mode, Windows URI, frozen LF hash, and CRLFgo.sumcomparison failures. Those failures were reproduced on unmodified Heads and were not changed in this PR.Remote exact-Head evidence:
AI usage
Implemented with Codex assistance. The Issue Form assumptions were checked against the current official GitHub Docs source. Regression tests were run red/green against the real checker, the dropdown duplicate test received an additional discriminative mutant check, the latest stacked base was merged with semantic conflict inspection, and the final exact Head was verified locally and by the complete remote matrix.