Verification
Verification applies to one exact artifact and one recorded environment. It does not transfer to nearby statements, informal descriptions, or later dependency revisions.
Formal evidence
Lean validation reference- Kernel acceptance
- The pinned Lean toolchain accepts the exact proof term for the exact formal statement.
- Bound evidence
- The record binds the statement, proof, permitted axioms, source snapshot, project revision, toolchain, verifier identity, and evidence digest.
- Signed release
- The public envelope and index are covered by the configured release authority. Invalid or unsigned release data is not rendered.
Boundary
Formal acceptance does not by itself establish that the statement matches the intended informal claim, that its assumptions are appropriate, that the result is new or important, or that it has passed peer review.