Formalization Boundary

Formalization status must not be inflated.

A theorem target is not a theorem. A proof sketch is not a comprehensive model. A Lean stub is not a proposed theorem. A passing implementation test is not scientific validation. An external review request is not endorsement. A DOI or public record is not peer review by itself.

The purpose of this gateway is to make proof obligations visible.