Constitutional Amendment · Proof-Born Citizenship

A City Proof qualifies for citizenship only when it is a distinct mathematical object derived from credentialed parent identities and independently carries: exact statement, ambient type, dependency graph, evidence class, proof or executable witness, review state, provenance, correction lineage, claim boundary, and transit passport.

$(C_1,\ldots,C_n)\to P\to \mathcal A(P)\to \operatorname{Citizen}(P)$

Validated ancestry supplies lawful substrate but does not waive the descendant's proof obligations. Duplicate statements reconcile; genuinely new theorems, invariants, constructions, algorithms, and executable results enroll. Citizenship is recorded through existing registries and the City Proof Archive, with no additional page layer.

<aside> 🏛️

This Constitution formalizes the navigation invariant, evidence grammar, and correction law already used across the City. It does not introduce new mathematical claims; it governs how claims are labeled, routed, validated, corrected, and published.

</aside>

Preamble

The Mathematical City is a navigable research environment joining exact mathematics, executable verification, visual provenance, bounded applications, and an explicit queue of open questions. Its purpose is to make what is known, how it is known, and what remains open legible and reproducible.

Article I — Definitions (binding)

1. District color: A subject-function tag answering Where am I? (domain / topic). District color never upgrades a hypothesis into a result.
2. Evidence class / status label: A claim-grade tag answering What is established? (exact vs machine-verified vs conditional vs open). Evidence labels govern what may be cited as established.
3. Canonical: The currently governing statement of record for a topic. Canonical status is procedural (defined below), not rhetorical.
4. Artifact: A preserved historical object (plate, slide, export, snapshot) that may be superseded while remaining archived.
5. Open question: A statement with an explicit unresolved proof obligation, validation obligation, or boundary obligation.

Article II — Navigation invariants (site-wide)

1. Two-axis orientation
   • District color answers where (domain).
   • Evidence class answers what is established (claim grade).
2. Non-upgrade rule
   • District color and styling are purely navigational and must not imply evidence.
   • A page may be visually prominent without containing established results.
3. Entrypoint rule
   • The City entrance page remains stable and scannable.
   • High-visibility announcements route to their destination pages; the entrance links to those destinations rather than accumulating long bulletins.

Article III — Evidence grammar (claim classes)