Method
A public record can be created only through the sequence below.
From question to record
- 01
Define the question
Record the source, mathematical scope, known status, and intended claim.
- 02
Fix the statement
Write the exact Lean declaration and make every import and assumption explicit.
- 03
Search
Generate candidate proof terms and repairs without treating model output as evidence.
- 04
Verify
Check each candidate in an isolated Lean environment against pinned revisions.
- 05
Release
Bind the accepted proof to its statement, environment, hashes, and review state.
Publication rule
Model output is never evidence by itself. Formal acceptance, scholarly review, and public release are separate decisions. A record appears only when its exact approved envelope is included in a signed release snapshot.