Imagine you're building a subway map for a city where some passengers can ride any line, some can only travel north-south, and some are physically bolted to their station and can never leave. Traditional transit theory (anyon theory in 2D topological phases) assumes everyone can move freely — it breaks down the moment you have immobile passengers. This paper builds the general transit authority: a mathematical framework that handles all three types simultaneously. The core claim is that braided fusion complexes (BFCs) — chain complexes equipped with a braiding chain map — are the right algebraic objects to classify abelian fracton orders. Where conventional anyon theory uses fusion categories (essentially, rules for how particles combine and braid around each other), this paper lifts the entire structure into homological algebra, encoding fusion, mobility restrictions, and exchange statistics into a single chain complex. The equivalence classes of these objects, called braided fusion theories (BFTs), are proposed as complete phase invariants for translation-invariant bosonic systems with finite-order excitations. The ladder here is clear: the predecessor framework is abelian anyon theory in 2D, which is algebraically mature and physically well-understood. For fracton orders in 3D, no comparable algebraic classification existed. Prior work handled specific models — the X-cube model, Haah's cubic code, the checkerboard model — case by case. This paper doesn't beat a prior framework on a benchmark; it creates the framework where none existed. It encompasses all abelian anyon theories in 2D (including chiral theories) as a special case, and extends to arbitrary translation-invariant Pauli codes in any dimension. Architecturally, the method lives in the homological algebra / algebraic topology family. Chain complexes are the workhorse: excitation types and their fusion rules are encoded as modules over a polynomial ring (capturing translation invariance), and the braiding structure is a chain map satisfying specific compatibility conditions. This is pen-and-paper mathematics — no compute, no simulation, no numerics. The key structural insight is that mobility restrictions correspond to the homological degree of excitations in the complex, and statistics (self-statistics and mutual statistics) are captured by bilinear pairings between the complex and its dual. The integrity regime is mathematical proof, which is the gold standard for this kind of theoretical physics. The authors prove their main structural theorems (e.g., the equivalence of nondegeneracy and the excitation-detector principle under the unique ground state assumption). They derive concrete consequences — showing that neither the X nor Z sector of the X-cube model can occur alone in a nondegenerate BFT — which serve as nontrivial consistency checks. The conjecture that every nondegenerate BFT is realizable as a gapped phase is supported by evidence but not proven; this is stated honestly. At 154 pages total, the appendices carry the full proofs. The milestone question is subtle because this is pure theory. The concrete next target is proving the realizability conjecture: that every nondegenerate BFT corresponds to a physical gapped phase. Beyond that, extending to non-abelian fracton orders would be transformative — abelian is the tractable case, and the non-abelian generalization is where the deep physics (and potential quantum-computing applications via fracton-based error correction) lives. The mutual-statistics simplification at odd fusion order hints at structure that might not survive in the non-abelian case. The experiment the authors did not run — and this is squarely option (c), saving it — is the non-abelian generalization. They've built the abelian theory completely; the non-abelian version requires fundamentally different algebraic machinery (higher categories, likely). The other notable absence is explicit computation of BFTs for large families of models beyond Pauli codes, which would stress-test the framework's computational tractability. This is likely (a): the classification is computable in principle but laborious in practice, and the 81+73 pages were already enough.
