Imagine you're an accountant auditing a massive corporate network. Normally, every subsidiary with unusual transactions (non-Clifford operations) forces you to open a separate forensic investigation — exponentially more work as the network grows. But you discover that every subsidiary's books, no matter how exotic internally, funnel through standardized reporting forms (tensor networks over stabilizer structure). You can audit the whole conglomerate by just checking those forms — the cost tracks the size of the org chart, not the complexity hiding inside each node. That's what magna does to magic state factory simulation. The committed claim: magna simulates magic state distillation, cultivation, and code-switching protocols at a cost that scales like Clifford simulation — not exponentially in the number of non-Clifford outputs. This is a genuine infrastructure result. Classical simulation of magic state factories has been a bottleneck because the non-Clifford content (T gates, magic states) normally forces exponential overhead via the Gottesman-Knill barrier. Magna sidesteps this by expressing acceptance rates and output fidelities as tensor networks, then reducing those networks globally using a structural correspondence with transversal gates on quantum codes. The result: 100 output magic states via Bravyi-Haah distillation without exponential cost blowup. The architectural insight is precise: magna belongs to the tensor-network contraction family of classical simulators, but its key innovation is recognizing that the relevant figures of merit — acceptance probability and conditional output fidelity — have a tensor network structure that mirrors transversal gate action on stabilizer codes. This means the contraction can exploit the same algebraic shortcuts that make Clifford simulation efficient (Gottesman-Knill), even though the underlying circuit is deeply non-Clifford. It further supports feedforward conditioned on arbitrary functions of mid-circuit measurement outcomes, including decoder outputs — validated on a 15-round logical-level distillation protocol with decoder-dependent feedforward. Against the existing ladder, magna achieves state-of-the-art sampling times for distance-5 magic state cultivation on both color codes and RP² surface codes. The relevant prior art includes brute-force stabilizer-frame simulation and specialized distillation simulators that scale exponentially in output count. The Bravyi-Haah distillation result at 100 output magic states is the headline: previous approaches would choke well before this scale. The distance-5 cultivation results place it against recent work on color code and surface code magic state cultivation, where it claims SOTA sampling times — though the paper is light on wall-clock comparisons with named competitors. Integrity is reasonable for a simulation-methods paper but has the usual gaps. The validation is self-contained: the authors benchmark against their own implementations and report sampling times, but there's no independent replication or pre-registered benchmark suite. The feedforward validation (15 rounds of decoder-dependent feedforward on a logical-level protocol) is a meaningful stress test that goes beyond toy examples, but the grading is still internal. Code availability is not explicitly stated in the abstract — a notable omission for an infrastructure tool. The milestone trajectory here is clear. Magic state factories are the dominant cost driver in fault-tolerant quantum computing architectures. Being able to simulate and optimize them classically at scale is prerequisite infrastructure for designing the first generation of real fault-tolerant quantum computers. The gap between 'simulate 100 output magic states' and 'simulate full factory layouts for real algorithms' (thousands of outputs, integrated with logical circuit scheduling) is the next frontier — perhaps 2-4 years of scaling work. The obvious next experiment magna didn't run: end-to-end simulation of a full factory layout integrated with a logical algorithm (e.g., a small quantum chemistry circuit with its magic state supply chain). The honest read is (a) compute/engineering budget — the paper is establishing the core engine and demonstrating it on the hardest known protocols, not yet integrating into a full-stack compiler. This is classic 'infrastructure paper first, application paper next' sequencing.
