How we work
The standards are documented.
Mozi’s engineering and design standards live in public version control. Formal verification practice, code review register, design decision records, governance procedure. The link below is to the canonical repository.
Engineering standards
Engineering practice at Mozi is documented and reviewable. The canonical repository contains:
- Formal verification by default. Consensus, settlement, and any code controlling money, authority, or automated action carry TLA+ specifications. Specifications pass TLC before code is reviewed.
- Code review register. Every PR is reviewed against documented criteria; review notes are recorded as audit artifacts. The register is searchable.
- Language and tooling choices. TypeScript across the website monorepo. Rust where the operations working group needs it. Test runners and canonical commands documented in
CONFIG.md. - Mock budget = 0. Every IPC command and data source traces to a real implementation. Stub data sources do not ship.
Design standards
The four Brand Bibles (Mozi, Citrate, Cnidarian Foundation, Modern Think Tank) live under the cooperative’s research surface and are published as PDFs at /papers. The shared design system is encoded in @mozi-house/tokens: spacing scale (8px base), type scale (1.250 ratio, 16px base), motion tokens, brand-discriminating button radii, sibling-link colors.
Governance procedure
Governance is documented at /join/governance. Proposals are filed in the public archive; votes are recorded immutably; the journal at /journal publishes outcomes for member review. Working group decisions are recorded as design-decision records (ADRs) in the same repository as the engineering standards.