Repository navigation
Make provenance a required project-card field - #261
Merged
Merged
Conversation
Every project card in LeanPool/projects.yml must now declare `provenance`
— who wrote the Lean proofs — as one of `human`, `AI`, or `mix`. The
quality checker treats it like `status`/`license`: a required field with
a closed value vocabulary.
- quality.py: add `provenance` to the required-field set and validate its
value against PROVENANCE_VALUES = {human, AI, mix}.
- test_quality.py: emit `provenance` in the fixture YAML/dict; add tests
for the missing-field and invalid-value cases.
- CODE_QUALITY.md / CONTRIBUTING.md (+ regenerated AGENTS.md/CLAUDE.md):
document the field and its vocabulary; rubric in candidates/provenance.md.
Non-content change (tooling + docs). The values themselves are added to
projects.yml in the companion content PR, which must merge first.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Nhh6y7eDFTUsSLDk7EaT9p
Vilin97
force-pushed
the
vasily/require-provenance-field
branch
from
July 20, 2026 02:20
feeed4c to
fc0b87e
Compare
Vilin97
marked this pull request as ready for review
July 20, 2026 02:20
Contributor
|
LLM review skipped: PR touches no |
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.
What
Makes
provenance— who wrote a project's Lean proofs — a required field on every project card, one ofhuman,AI, ormix. The quality checker now enforces it exactly likestatus/license: required, with a closed value vocabulary.How
python/lean_pool/quality.py— addprovenanceto the required-field set and validate its value againstPROVENANCE_VALUES = {human, AI, mix}.python/tests/test_quality.py— emitprovenancein the fixture YAML/dict; add tests for the missing-field and invalid-value cases..github/CODE_QUALITY.md/CONTRIBUTING.md(+ regeneratedAGENTS.md/CLAUDE.mdviamake agent-docs) — document the field and its vocabulary. Rubric lives incandidates/provenance.md(Add provenance classification of all 123 pooled projects (human / AI / mixed) #253).Non-content change (tooling + docs only), kept separate from the values per the content/non-content guard.
Merge order (blocked)
Draft until its dependencies land, because the required-field check needs the values already present:
provenancefield to every project card #260 — adds theprovenance:values to all 123 cards inprojects.yml(content).candidates/provenance.md(the rubric this PR links to) + the machine-readable data.🤖 Generated with Claude Code