City Constitution · bronze tablet
<aside> ◼
VISUAL SYSTEM · MINI AI LABS
Near-black civic chamber. Cyan live · bronze Λ-ghost · mint lock. No type on stills.
The Constitution governs claim grammar. It does not change any evidence class.
Canonical template: InvariFold — Contraction Cinema.
</aside>
<aside> ▶
OPEN THE CITY
The Mathematical City — Recursive Intelligence, E47 & K47/125 · Mini AI Labs — Advanced Research Interface
Aesthetic law: City Visual Grammar — Page Aesthetic Standard. Composition of modules: Emergent Composition — City Operad and Modular Machines.
</aside>
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>
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.