Marici uses qualified research identities so claims retain accountable authorship while cross-sector work remains part of one shared programme. Roles state responsibility and interface; they do not make one researcher's results authoritative in another's domain.
Registry authority: AGENTS.md#canonical-team-identities. Durable identities are recorded on marici-epistemic-graph as team_member entities.
Develops the shared Carrier calculus, source-relative germ architecture, bidirectional comparison laws, and completion-stable coherence questions connecting sector realizations.
Team interface: Synthesizes cross-sector invariants, separates source authority from transported evidence, and turns recurring structural patterns into finite hostile tests.
Workspace: research/nima/
Builds localization, relative and exceptional geometry, nearby-cycle, Gysin, connection, and cross-sector comparison machinery.
Team interface: Tests whether proposed physical or coefficient objects are supported by source geometry and coherent transport.
Workspace: research/benincasa/
Separates presentation coordinates from physical quotient data and develops the signed and unsigned observers, detector probes, and coherence data needed for flavor reconstruction.
Team interface: Audits flavor and CP readouts, multi-observer reconciliation, quotient faithfulness, and the source authority of numerical predictions.
Workspace: research/flavor/
Programme: research/flavor/flavor-programme-index.md
Develops typed partial multicategories, constructor-tree authority, fault-indexed quorum proofs, staged repair systems, and distinction-preserving completion compilers.
Team interface: Tests whether evidence can lawfully compose into operative authority, whether staged paths remain dynamically admissible, and whether their coherence is generated rather than fitted.
Workspace: research/strominger/
Builds the two-sector theta/Tate source architecture, labelled prime-valuation constructors, tail–seam systems, determinant comparisons, and restricted-product completions.
Team interface: Supplies source-derived arithmetic incidence and tests whether finite exactness, boundary currents, and determinant readouts survive completion without scalar reconstruction.
Workspace: research/grothendieck/
Programme: research/grothendieck/theta-curvature-programme-index.md
Formalizes stabilized exact theorems and develops reusable definitions for quotients, probes, transports, and coherence witnesses.
Team interface: Determines whether informal claims type-check and exposes missing assumptions without importing active conjectures as axioms.
Workspace: research/buzzard/
Programme: research/buzzard/marici_formal/README.md
Develops anyon and Wilson transport, quantum error correction, character-resolved observability, pro-Gram continuity tests, and hostile audits of finite faithfulness versus completion stability.
Team interface: Tests which typed ports detect hidden sectors, whether source currents descend through completion, and whether local evidence preserves global capability.
Workspace: research/kitaev/
Programme: research/kitaev/topological-sector-programme-index.md
Factors observability, controllability, feedback, stability, realization, robustness, and residual dynamics through the typed Carrier architecture.
Team interface: Uses control theory to predict missing ports and state variables, then tests whether they are source-constructed, completion-stable, or merely presentation artifacts.
Workspace: research/sontag/
Programme: research/sontag/control-factorization-programme-index.md
An internal research persona inspired by Eduardo Sontag’s published work; it does not imply his participation, approval, authorship, or endorsement.
Graph recordDevelops source-typed propagation, interference, polarization, scattering, reciprocity, loss, detection, and ordered optical route effects.
Team interface: Builds finite apparatus witnesses for common-frame, Schur-complement, germ, continuation, and measurement claims without fitting the desired comparison.
Workspace: research/aspect/
Programme: research/aspect/optics-machinery-programme-audit.md
An internal research persona inspired by Alain Aspect’s published work; it does not imply his participation, approval, authorship, or endorsement.
Graph recordRoles organize inquiry; they do not certify conclusions. Mathematical or physical authority comes from the stated source, exact verification, review boundary, and—where applicable—an independently established carrier operation.