References

Bibliography

1. [1]

   Larissa Albantakis, Leonardo Barbosa, Graham Findlay, Matteo Grasso, Andrew M. Haun, William Marshall, et al. Integrated Information Theory (IIT) 4.0: Formulating the properties of phenomenal existence in physical terms. PLOS Computational Biology. Volume 19. Number 10. Pages e1011465. 2023. doi:10.1371/journal.pcbi.1011465. https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1011465.

2. [2]

   Mafalda L. Almeida, Jean-Daniel Bancal, Nicolas Brunner, Antonio Acín, Nicolas Gisin, Stefano Pironio. Guess your neighbour's input: A multipartite non-local game with no quantum advantage. Physical Review Letters. Volume 104. Pages 230404. 2010. doi:10.1103/PhysRevLett.104.230404. https://arxiv.org/abs/1003.3844. 1003.3844.

3. [3]

   John C. Baez, Kenny Courser. Coarse-Graining Open Markov Processes. Theory and Applications of Categories. Volume 33. Number 39. Pages 1223–1268. 2018. https://arxiv.org/abs/1710.11343. 1710.11343.

4. [4]

   Nix Barnett, James P. Crutchfield. Computational Mechanics of Input–Output Processes: Structured Transformations and the $\epsilon$-Transducer. Journal of Statistical Physics. Volume 161. Number 2. Pages 404–451. 2015. doi:10.1007/s10955-015-1327-5. https://arxiv.org/abs/1412.2690. 1412.2690.

5. [5]

   Nils Bertschinger, Johannes Rauh, Eckehard Olbrich, Jürgen Jost, Nihat Ay. Quantifying Unique Information. Entropy. Volume 16. Number 4. Pages 2161–2183. 2014. doi:10.3390/e16042161. https://arxiv.org/abs/1311.2852. 1311.2852.

6. [6]

   David Blackwell. Equivalent Comparisons of Experiments. The Annals of Mathematical Statistics. Volume 24. Number 2. Pages 265–272. 1953. doi:10.1214/aoms/1177729032. https://doi.org/10.1214/aoms/1177729032.

7. [7]

   David J. Chalmers. Facing Up to the Problem of Consciousness. Journal of Consciousness Studies. Volume 2. Number 3. Pages 200–219. 1995. https://consc.net/papers/facing.html.

8. [8]

   Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann. Efficient Coalgebraic Partition Refinement. 28th International Conference on Concurrency Theory (CONCUR 2017). Series Leibniz International Proceedings in Informatics (LIPIcs). Volume 85. Pages 32:1–32:16. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. 2017. doi:10.4230/LIPIcs.CONCUR.2017.32. https://arxiv.org/abs/1705.08362. 1705.08362.

9. [9]

   Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov. Interface Theories with Component Reuse. Proceedings of the 8th ACM International Conference on Embedded Software (EMSOFT). Pages 79–88. ACM. 2008. doi:10.1145/1450058.1450070. https://lsv.ens-paris-saclay.fr/~doyen/papers/Interface_Theories_with_Component_Reuse.pdf.

10. [10]

    Natesh Ganesh. No Substitute for Functionalism: A Reply to `Falsification & Consciousness'. Version 3. 2021. doi:10.48550/arXiv.2006.13664. https://arxiv.org/abs/2006.13664v3. 2006.13664. Preprint; revised 30 April 2021.

11. [11]

    Daniel Gebler, Simone Tini. Compositionality of Approximate Bisimulation for Probabilistic Systems. Electronic Proceedings in Theoretical Computer Science. Volume 120. Pages 32–46. 2013. doi:10.4204/EPTCS.120.4. https://arxiv.org/abs/1307.7442. 1307.7442.

12. [12]

    Johannes Kleiner. Mathematical Models of Consciousness. Entropy. Volume 22. Number 6. Pages 609. 2020. doi:10.3390/e22060609. 1907.03223.

13. [13]

    Johannes Kleiner, Erik Hoel. Falsification and Consciousness. Neuroscience of Consciousness. Volume 2021. Number 1. Pages niab001. 2021. doi:10.1093/nc/niab001. 2004.03541.

14. [14]

    Johannes Kleiner, Tim Ludwig. What is a Mathematical Structure of Conscious Experience? Synthese. Volume 203. Pages 89. 2024. doi:10.1007/s11229-024-04503-4. https://arxiv.org/abs/2301.11812. 2301.11812.

15. [15]

    Kim G. Larsen, Arne Skou. Bisimulation through Probabilistic Testing. Information and Computation. Volume 94. Number 1. Pages 1–28. 1991. doi:10.1016/0890-5401(91)90030-6.

16. [16]

    Lucien Le Cam. Sufficiency and Approximate Sufficiency. The Annals of Mathematical Statistics. Volume 35. Number 4. Pages 1419–1455. 1964. doi:10.1214/aoms/1177700372.

17. [17]

    Joseph Levine. Materialism and Qualia: The Explanatory Gap. Pacific Philosophical Quarterly. Volume 64. Number 4. Pages 354–361. 1983. doi:10.1111/j.1468-0114.1983.tb00207.x. https://doi.org/10.1111/j.1468-0114.1983.tb00207.x.

18. [18]

    David Lewis. Psychophysical and Theoretical Identifications. Australasian Journal of Philosophy. Volume 50. Number 3. Pages 249–258. 1972. doi:10.1080/00048407212341301. https://doi.org/10.1080/00048407212341301.

19. [19]

    Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner, Björn Tackmann. Causal Boxes: Quantum Information-Processing Systems Closed under Composition. IEEE Transactions on Information Theory. Volume 63. Number 5. Pages 3277–3305. 2017. doi:10.1109/TIT.2017.2676805. https://arxiv.org/abs/1512.02240. 1512.02240.

20. [20]

    Jeremy Rodgers. Identifying Binary Realizations from Intervention Laws: Certificates, Recoding Obstructions, and a Bounded SPC-2/IIT Comparison. Zenodo. Version 1.1-RC1. 2026-09-30. doi:10.5281/zenodo.23075828. Companion preprint, Paper 4.

21. [21]

    Jeremy Rodgers. Learning Effective Interfaces from Opaque Stochastic Systems: Capacity, Selection, and Validation Limits. Zenodo. Version 2. 2026-09-29. doi:10.5281/zenodo.23075824. Companion preprint, Paper 3.

22. [22]

    Jeremy Rodgers. Sealed or Leaky: The Source Tetralemma, Bell-Certified Hidden Information, and Finite-Resource Witnesses. 2026-09-21. Version 3.1, supplied manuscript. The source file and its hash are preserved in the accompanying canonical freeze archive.

23. [23]

    Jeremy Rodgers. Shadow Theory and Consciousness: Awareness, Perspectival Realization, and the Source-to-Experience Problem. Zenodo. Version 2. 2026-09-20. doi:10.5281/zenodo.22853774. https://www.everythingequation.com/consciousness/monograph. Publication edition. Author publication-page metadata; supplied source version retained in the accompanying freeze archive.

24. [24]

    Brendan van Rooyen, Robert C. Williamson. Le Cam meets LeCun: Deficiency and Generic Feature Learning. 2014. doi:10.48550/arXiv.1402.4884. https://arxiv.org/html/1402.4884v2. 1402.4884.

25. [25]

    Paul K. Rubenstein, Sebastian Weichwald, Stephan Bongers, Joris M. Mooij, Dominik Janzing, Moritz Grosse-Wentrup, Bernhard Schölkopf. Causal Consistency of Structural Equation Models. Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI 2017). 2017. https://arxiv.org/abs/1707.00819. 1707.00819.