% ===================================================================== % refs.bib -- The Unified Substrate (v23), SZL Holdings % All citations are real published works with DOIs / arXiv IDs. % No fabricated references. % ===================================================================== % ---- AI governance / verifiable claims ---- @techreport{brundage2020, author = {Brundage, Miles and Avin, Shahar and Wang, Jasmine and others}, title = {Toward Trustworthy {AI} Development: Mechanisms for Supporting Verifiable Claims}, year = {2020}, institution = {arXiv}, number = {arXiv:2004.07213}, note = {\url{https://arxiv.org/abs/2004.07213}}, doi = {10.48550/arXiv.2004.07213} } @misc{ntia, author = {{National Telecommunications and Information Administration}}, title = {{AI} Accountability Policy Report: Proof of Claims and Trustworthiness}, year = {2024}, howpublished = {\url{https://www.ntia.gov/issues/artificial-intelligence/ai-accountability-policy-report}} } @misc{slsa, author = {{Open Source Security Foundation}}, title = {{SLSA}: Supply-chain Levels for Software Artifacts (Levels 1--4)}, year = {2023}, howpublished = {\url{https://slsa.dev}} } % ---- Functional-equation aggregation / uniqueness ---- @article{aczel1948, author = {Acz{\'e}l, J{\'a}nos}, title = {On mean values}, journal = {Bulletin of the American Mathematical Society}, volume = {54}, number = {4}, pages = {392--400}, year = {1948}, note = {\url{https://eudml.org/doc/296298}}, doi = {10.1090/S0002-9904-1948-09020-9} } @article{aczelsaaty1983, author = {Acz{\'e}l, J{\'a}nos and Saaty, Thomas L.}, title = {Procedures for synthesizing ratio judgements}, journal = {Journal of Mathematical Psychology}, volume = {27}, number = {1}, pages = {93--102}, year = {1983}, doi = {10.1016/0022-2496(83)90028-7} } @article{csato2018, author = {Cs{\'a}t{\'o}, L{\'a}szl{\'o}}, title = {Characterization of the row geometric mean ranking with a group consensus axiom}, journal = {Group Decision and Negotiation}, volume = {27}, number = {6}, pages = {1011--1027}, year = {2018}, doi = {10.1007/s10726-018-9589-3}, note = {arXiv:1706.07256, \url{https://arxiv.org/abs/1706.07256}} } @misc{kolmogorov1930, author = {Kolmogorov, Andrey N.}, title = {Sur la notion de la moyenne}, year = {1930}, howpublished = {Atti della Accademia Nazionale dei Lincei 12:388--391}, note = {Quasi-arithmetic (Kolmogorov--Nagumo) means; see \url{https://en.wikipedia.org/wiki/Quasi-arithmetic_mean}} } @misc{quasiarith, author = {{Wikipedia}}, title = {Quasi-arithmetic mean (Kolmogorov--Nagumo--de Finetti characterization)}, year = {2024}, howpublished = {\url{https://en.wikipedia.org/wiki/Quasi-arithmetic_mean}} } @misc{naryqam2026, author = {Maksa, Gyula and Mokken, Robert J. and M{\"u}nnich, {\'A}kos}, title = {{$N$}-ary quasi-arithmetic means and families without regularity}, year = {2026}, howpublished = {arXiv:2606.05221, \url{https://arxiv.org/html/2606.05221v1}} } % ---- Information theory ---- @article{shannon1948, author = {Shannon, Claude E.}, title = {A Mathematical Theory of Communication}, journal = {Bell System Technical Journal}, volume = {27}, number = {3}, pages = {379--423}, year = {1948}, doi = {10.1002/j.1538-7305.1948.tb01338.x} } @article{kraft1949, author = {Kraft, Leon G.}, title = {A device for quantizing, grouping, and coding amplitude-modulated pulses}, journal = {M.S. Thesis, MIT}, year = {1949}, note = {Kraft inequality; see also McMillan 1956, doi:10.1109/TIT.1956.1056818} } % ---- Distributed systems / consensus ---- @article{psl1980, author = {Pease, Marshall and Shostak, Robert and Lamport, Leslie}, title = {Reaching Agreement in the Presence of Faults}, journal = {Journal of the ACM}, volume = {27}, number = {2}, pages = {228--234}, year = {1980}, doi = {10.1145/322186.322188} } @article{flp1985, author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.}, title = {Impossibility of Distributed Consensus with One Faulty Process}, journal = {Journal of the ACM}, volume = {32}, number = {2}, pages = {374--382}, year = {1985}, doi = {10.1145/3149.214121} } @article{dls1988, author = {Dwork, Cynthia and Lynch, Nancy and Stockmeyer, Larry}, title = {Consensus in the Presence of Partial Synchrony}, journal = {Journal of the ACM}, volume = {35}, number = {2}, pages = {288--323}, year = {1988}, doi = {10.1145/42282.42283} } % ---- Cryptography / receipts ---- @inproceedings{merkle1979, author = {Merkle, Ralph C.}, title = {Secrecy, Authentication, and Public Key Systems}, year = {1979}, note = {Ph.D. dissertation, Stanford University; Merkle trees / hash trees}, publisher = {Stanford University} } @misc{rfc6962, author = {Laurie, Ben and Langley, Adam and Kasper, Emilia}, title = {{RFC 6962}: Certificate Transparency}, year = {2013}, howpublished = {\url{https://www.rfc-editor.org/info/rfc6962/}}, doi = {10.17487/RFC6962} } @misc{proverif, author = {Blanchet, Bruno and others}, title = {Automatic verification of transparency protocols}, year = {2023}, howpublished = {arXiv:2303.04500, \url{https://arxiv.org/abs/2303.04500}} } % ---- Quantum / convexity (CI-pending re-exports) ---- @article{tsirelson1980, author = {Tsirelson, Boris S.}, title = {Quantum generalizations of Bell's inequality}, journal = {Letters in Mathematical Physics}, volume = {4}, number = {2}, pages = {93--100}, year = {1980}, doi = {10.1007/BF00417500} } @article{chsh1969, author = {Clauser, John F. and Horne, Michael A. and Shimony, Abner and Holt, Richard A.}, title = {Proposed Experiment to Test Local Hidden-Variable Theories}, journal = {Physical Review Letters}, volume = {23}, number = {15}, pages = {880--884}, year = {1969}, doi = {10.1103/PhysRevLett.23.880} } @article{jensen1906, author = {Jensen, Johan L. W. V.}, title = {Sur les fonctions convexes et les in{\'e}galit{\'e}s entre les valeurs moyennes}, journal = {Acta Mathematica}, volume = {30}, pages = {175--193}, year = {1906}, doi = {10.1007/BF02418571} } % ---- Measurement theory / mechanism design ---- @book{foundmeas, author = {Krantz, David H. and Luce, R. Duncan and Suppes, Patrick and Tversky, Amos}, title = {Foundations of Measurement, Vol.~I: Additive and Polynomial Representations}, publisher = {Academic Press}, year = {1971}, note = {Vols. II--III, 1989/1990; \url{https://philpapers.org/rec/KRAFOM}} } % ---- Formal epistemology / philosophy of science ---- @misc{reliabilism, author = {Goldman, Alvin I.}, title = {What Is Justified Belief? (Process Reliabilism)}, year = {1979}, howpublished = {Reliabilist Epistemology, Stanford Encyclopedia of Philosophy, \url{https://plato.stanford.edu/entries/reliabilism/}} } @book{nozick, author = {Nozick, Robert}, title = {Philosophical Explanations (Truth-Tracking / Sensitivity)}, publisher = {Harvard University Press}, year = {1981} } @article{gettier, author = {Gettier, Edmund L.}, title = {Is Justified True Belief Knowledge?}, journal = {Analysis}, volume = {23}, number = {6}, pages = {121--123}, year = {1963}, doi = {10.1093/analys/23.6.121} } @book{lakatos, author = {Lakatos, Imre}, title = {Proofs and Refutations: The Logic of Mathematical Discovery}, publisher = {Cambridge University Press}, year = {1976}, note = {\url{https://en.wikipedia.org/wiki/Proofs_and_Refutations}} } % ---- Security philosophy ---- @article{saltzer1975, author = {Saltzer, Jerome H. and Schroeder, Michael D.}, title = {The Protection of Information in Computer Systems}, journal = {Proceedings of the IEEE}, volume = {63}, number = {9}, pages = {1278--1308}, year = {1975}, doi = {10.1109/PROC.1975.9939} } % ===================================================================== % v24 additions -- frontier theorem source papers + artifacts % ===================================================================== % ---- Deep equilibrium models (CF-13) ---- @inproceedings{baikolter2019, author = {Bai, Shaojie and Kolter, J. Zico and Koltun, Vladlen}, title = {Deep Equilibrium Models}, booktitle = {Advances in Neural Information Processing Systems (NeurIPS)}, year = {2019}, note = {arXiv:1909.01377, \url{https://arxiv.org/abs/1909.01377}}, doi = {10.48550/arXiv.1909.01377} } % ---- Numerical stability (CF-17) ---- @book{higham2002, author = {Higham, Nicholas J.}, title = {Accuracy and Stability of Numerical Algorithms}, edition = {2}, publisher = {Society for Industrial and Applied Mathematics (SIAM)}, year = {2002}, note = {Floating-point summation error model, \S2.2--\S4.2}, doi = {10.1137/1.9780898718027} } % ---- Alternating series / Madhava--Leibniz (CF-18) ---- @book{plofker2009, author = {Plofker, Kim}, title = {Mathematics in India}, publisher = {Princeton University Press}, year = {2009}, note = {\S7.4, M\=adhava--Leibniz series and remainder; ISBN 978-0-691-12067-6} } % ---- Reed--Solomon / Singleton (CF-19) ---- @article{reedsolomon1960, author = {Reed, Irving S. and Solomon, Gustave}, title = {Polynomial Codes over Certain Finite Fields}, journal = {Journal of the Society for Industrial and Applied Mathematics}, volume = {8}, number = {2}, pages = {300--304}, year = {1960}, doi = {10.1137/0108018} } @article{singleton1964, author = {Singleton, Richard C.}, title = {Maximum Distance $q$-nary Codes}, journal = {IEEE Transactions on Information Theory}, volume = {10}, number = {2}, pages = {116--118}, year = {1964}, doi = {10.1109/TIT.1964.1053661} } % ---- VCG mechanism (CF-20) ---- @article{vickrey1961, author = {Vickrey, William}, title = {Counterspeculation, Auctions, and Competitive Sealed Tenders}, journal = {The Journal of Finance}, volume = {16}, number = {1}, pages = {8--37}, year = {1961}, doi = {10.1111/j.1540-6261.1961.tb02789.x} } @article{clarke1971, author = {Clarke, Edward H.}, title = {Multipart Pricing of Public Goods}, journal = {Public Choice}, volume = {11}, pages = {17--33}, year = {1971}, doi = {10.1007/BF01726210} } @article{groves1973, author = {Groves, Theodore}, title = {Incentives in Teams}, journal = {Econometrica}, volume = {41}, number = {4}, pages = {617--631}, year = {1973}, doi = {10.2307/1914085} } @book{nisan2007, author = {Nisan, Noam and Roughgarden, Tim and Tardos, {\'E}va and Vazirani, Vijay V.}, title = {Algorithmic Game Theory}, publisher = {Cambridge University Press}, year = {2007}, note = {Ch.~9, VCG mechanisms; ISBN 978-0-521-87282-9}, doi = {10.1017/CBO9780511800481} } % ---- Information theory: log-sum / Gibbs (CF-21) ---- @book{coverthomas2006, author = {Cover, Thomas M. and Thomas, Joy A.}, title = {Elements of Information Theory}, edition = {2}, publisher = {Wiley-Interscience}, year = {2006}, note = {\S2.6--2.8, log-sum inequality (Thm~2.7.1), Gibbs' inequality (Thm~2.6.3); ISBN 978-0-471-24195-9}, doi = {10.1002/047174882X} } % ---- Aczel--Maksa functional equations (CUT-1 / separability lineage) ---- @book{aczel1966, author = {Acz{\'e}l, J{\'a}nos}, title = {Lectures on Functional Equations and Their Applications}, publisher = {Academic Press}, year = {1966}, note = {Bisymmetry / associativity characterizations of means} } % ---- Lean / Mathlib toolchain ---- @misc{mathlib2020, author = {{The Mathlib Community}}, title = {The {Lean} Mathematical Library}, year = {2020}, howpublished = {Proc. CPP 2020; \url{https://github.com/leanprover-community/mathlib4}}, doi = {10.1145/3372885.3373824} } @misc{lean4, author = {de Moura, Leonardo and Ullrich, Sebastian}, title = {The {Lean 4} Theorem Prover and Programming Language}, year = {2021}, howpublished = {CADE-28; \url{https://leanprover.github.io}}, doi = {10.1007/978-3-030-79876-5_37} } % ---- seL4 (prior art comparison) ---- @inproceedings{sel4, author = {Klein, Gerwin and Elphinstone, Kevin and Heiser, Gernot and others}, title = {{seL4}: Formal Verification of an {OS} Kernel}, booktitle = {Proc. ACM SOSP}, year = {2009}, doi = {10.1145/1629575.1629596} } % ---- Artifact / concept DOI ---- @misc{zenodoconcept, author = {Lutar, Stephen P.}, title = {The Ouroboros Thesis / Unified Substrate --- Concept Record (always-latest)}, year = {2026}, howpublished = {Zenodo concept DOI}, doi = {10.5281/zenodo.19944926}, note = {\url{https://doi.org/10.5281/zenodo.19944926}} } @misc{lutarlean, author = {{SZL Holdings}}, title = {lutar-lean: Machine-checked governance formulas in Lean~4}, year = {2026}, howpublished = {\url{https://github.com/szl-holdings/lutar-lean}} }