Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.

Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.

Lean 4 formalization of the Ontological Neutrality Theorem

Monitor People Agent for Civic Interconnect

Monitor Bill Agent for Civic Interconnect

Monitor Mapping Agent for Civic Interconnect

Monitor Schema Agent for Civic Interconnect

Formal semantics for the Civic Interconnect layered framework comprising the CAE ontology, the Civic Exchange Protocol (CEP), and Contextual Evidence and Explanations (CEE).