Equation Hygiene Register

This register tracks every public-facing equation or symbolic kernel used in the scientific corpus.

Boundary

WARNING

Equations clarify definitions, structures, invariants, and proof obligations. They do not by themselves establish proof completion, external scientific validation, or peer-review acceptance.

Purpose

The register ensures that all major symbolic blocks across the site:

1. Identify their required symbols.
2. Maintain strict boundary classifications (e.g., distinguishing a "formal kernel" from a "completed theorem").
3. Flag any potential ambiguities before they mutate into unsupported claims.