Mathematical City · Civic Assignment

Evidence determines prima facie status. No subjective crowning. All surfaces consume the same checked source and assignment digest.

How the City assigns evidence

  1. Admit: Parse exact theorem, assumptions, dependencies, and certificates.
  2. Validate: Check literal PASS and dependency closure.
  3. Assign: Record prima facie scope and typed E0/E1/E2 evidence, preserving empirical distinctions.
  4. Propagate: Reassess affected descendants when new proof arrives.
  5. Publish: All four views consume the same digest; transit cannot upgrade claims.

Boundary: This viewer reflects the 18 claims currently admitted to the canonical ledger, not every historic City object.

Loading checked assignment…

Machine-readable assignment record · Constitution