Per SPEC 10.3: state artifact changes, schema changes, coverage changes, verification boundary changes, and new risk.
What artifact does this PR improve?
- corpus admission
- claim extraction
- assumption normalization
- formalization
- executable kernel
- portal rendering
- benchmarking
- LLM integration / evaluation
- infra / DX
Paper(s): Claim bundle(s): Lean declaration(s): Kernel(s): Portal page(s):
- Every new or edited formal declaration is linked to a source claim
- Every new claim has a source span
- No orphan IDs were introduced
Describe any change to:
- proof status
- axioms
- numerical witness status
- review status
Before: After:
Schema(s) changed (if any): None.
New risk introduced (if any): None.
- Self-reviewed
- Ready for maintainer review
-
just validate -
just test -
just build