| Norm stability under fermionic extension | statement | lemma 4.1 | arxiv |
| Canonical local coefficient bound | statement | lemma 3.2 | arxiv |
| Dressed preparations and measurements from Gaussian control | statement | proposition F.1 | arxiv |
| Parallel even-block marginalization | statement | lemma 6.4 | arxiv |
| Worst-case stability | statement | lemma 4.7 | arxiv |
| Dense all-to-all recovery | statement | corollary 7.4 | arxiv |
| Graded factorization | statement | lemma 5.7 | arxiv |
| Adaptive exposure bound | statement | lemma E.1 | arxiv |
| All-to-all structure learning with ancillary modes | statement | theorem 7.2 | arxiv |
| Restricted-data diagonal-extension identity | statement | theorem 4.5 | arxiv |
| Approximate internal-marker correction | statement | lemma C.2 | arxiv |
| Dissipative Fermi--Hubbard models | example | example 6.6 | arxiv |
| Local internal block frame | definition | definition 6.2 | arxiv |
| Coefficient-to-diamond conversion | statement | proposition A.2 | arxiv |
| Exponentially decaying $k$-body decomposition | definition | definition 6.8 | arxiv |
| Modewise-ancilla process shadow | statement | proposition D.2 | arxiv |
| Spatially truncated inversion | statement | lemma C.3 | arxiv |
| Matching geometric diamond lower bound | statement | corollary 6.7 | arxiv |
| Local parity-covariant GKSL cone | definition | definition 3.1 | arxiv |
| Ancillary parity operators realize the dressed transfer curves | statement | lemma D.1 | arxiv |
| Even CAR support growth | statement | lemma F.2 | arxiv |
| Physical reconstruction in local coefficient norm | statement | corollary 7.3 | arxiv |
| Randomized pairing estimators | statement | lemma 5.6 | arxiv |
| Pair-marker calibration identity | statement | proposition 5.8 | arxiv |
| Triangular error propagation | statement | lemma 4.6 | arxiv |
| Local prediction by finite-volume reconstruction | statement | corollary 8.3 | arxiv |
| Stability to model misspecification | statement | corollary 7.6 | arxiv |
| Pair-block process-shadow estimator | statement | proposition 5.5 | arxiv |
| Signed dressed transfer relation | statement | lemma 4.3 | arxiv |
| SDP accuracy and computational complexity | statement | proposition A.1 | arxiv |
| Simultaneous local-observable prediction | statement | corollary 8.2 | arxiv |
| Signed dressed inversion | statement | lemma 4.4 | arxiv |
| Coefficient lower bound | statement | proposition E.2 | arxiv |
| Geometric fermionic Lindbladian learning | statement | theorem 6.5 | arxiv |
| Exponential tails on a periodic lattice | statement | corollary 6.9 | arxiv |
| Pair-block realization of local block frames | statement | proposition 6.3 | arxiv |
| Learning exponentially decaying fermionic Lindbladians | statement | theorem C.4 | arxiv |
| Local stability from coefficient error | statement | proposition 8.1 | arxiv |
| Signed inversion with local coefficient control | statement | lemma 7.1 | arxiv |
| Robust derivative recovery from even CAR curves | statement | proposition F.3 | arxiv |
| Majorana completeness | statement | lemma 4.2 | arxiv |
| Internal-marker correction | statement | theorem 5.9 | arxiv |
