Note
LLog: Foundation Test F — Homotopy Type Theory for e7Day.
Analyst: Claude Opus 4.6 at max effort (dv_ClaOp46_foundation_2026m04d05).
Date: 2026m04d05.
Language Rules: HELD/BREACH, “test”/”check”, YYYYmMMdDD dates.
Companion to: Foundations A–E.
Foundation Test F: Homotopy Type Theory (HoTT)#
Executive Summary#
Foundation F (Homotopy Type Theory): WORKS but OVERKILL. HoTT can express all 21 e7Day axioms (it extends DTT, which already suffices). HoTT adds two features beyond DTT: the univalence axiom (equivalent types are equal) and higher inductive types (types with non-trivial path structure). These features provide genuine benefits for two specific aspects of e7Day:
Univalence resolves th6 (Dual-Nothing) elegantly: if VOID and TRUST are “dual” in the categorical sense, univalence says that structurally equivalent constructions are identical. The duality becomes a provable path in the identity type.
Higher inductive types model the ZION cycle naturally: the perpetual cycle Zone → Investigate → Organize → Navigate → Zone is a loop in a higher inductive type (a circle \(S^1\)).
However, for 19 of 21 axioms, HoTT adds nothing beyond DTT. The higher path structure (paths between paths, 2-cells, \(\infty\)-groupoids) is not needed by any axiom. The conceptual overhead of HoTT (understanding \(\infty\)-groupoids, univalence, transport, cubical type theory) is substantial and not justified by the marginal gains.
I found this Grey Edge #1 in EDEN: HoTT MAY lead to ZION (it provides the most principled foundation and could reveal deep structural insights), but it’s genuinely unclear whether the additional complexity is justified. The risk is OSCR: over-Complicating the foundation beyond what the axiom system requires.
1. What HoTT Adds Beyond DTT#
HoTT is an extension of dependent type theory with two additional principles:
1. The Univalence Axiom (Voevodsky):
For any types \(A, B\):
“Equivalence of types is equivalent to identity of types.” Two types that are structurally isomorphic are equal in the universe. This means structure-preserving bijections are identities.
2. Higher Inductive Types (HITs):
Types defined not only by constructors (elements) but also by path constructors (identifications between elements). The prototypical example is the circle:
data S¹ : Type where
base : S¹
loop : base ≡ base -- a path from base to itself
HITs allow defining types with non-trivial topology (loops, spheres, tori).
3. The :math:`infty`-groupoid structure of types:
In HoTT, every type is an \(\infty\)-groupoid: elements are 0-cells, identity proofs (paths) are 1-cells, paths between paths are 2-cells, etc. This gives every type a rich homotopical structure.
2. Expressibility Analysis#
2.1 All 21 Axioms Expressible#
Since HoTT extends DTT, every axiom expressible in DTT is expressible in HoTT. Therefore 21 of 21 axioms are expressible (same as Foundation E).
The question is: does HoTT’s additional structure improve the translations?
2.2 Where Univalence Helps (2 of 21)#
th6 (Dual-Nothing):
The claim “VOID (m0) and TRUST (m7) are formally dual” can be formalized as:
In HoTT, if we can construct this equivalence, univalence gives:
This is a stronger statement than in DTT (where equivalence and equality are different). The duality becomes a path in the universe, which means any property of VOID can be transported along this path to obtain a corresponding property of TRUST (and vice versa).
This is genuinely elegant and provides a formal mechanism for the paper’s informal claim that “both stages add nothing new.”
m6.ax4 (Bifurcation):
The BABL/ZION bifurcation concerns whether self-assessment states are structurally equivalent or genuinely different. Univalence provides a precise criterion: two self-assessment states are the same iff there is an equivalence between them. The OK state is NOT equivalent to the OKO state (they have different structure: OK has no correction mechanism, OKO has one). In HoTT, \(\text{OK} \neq_{\mathcal{U}} \text{OKO}\) can be proven from the structural difference, giving a formal separation of the two states.
2.3 Where Higher Inductive Types Help (1 of 21)#
m6.ax4 / ZION cycle:
The ZION cycle (Zone → Investigate → Organize → Navigate → Zone → …) is a loop. In HoTT, this can be modeled as a map from the circle \(S^1\):
ZION-cycle : S¹ → SelfAssessState
ZION-cycle base = Zone
ZION-cycle (loop i) = ... -- path through I → O → N → Z
This gives the ZION cycle a topological character: it is a non-contractible loop in the self-assessment state space. The fact that ZION requires perpetual cycling becomes: the ZION trajectory is a non-trivial element of \(\pi_1(\text{SelfAssessState})\) (the fundamental group).
This is beautiful but arguably over-elaborate for what the axiom system needs.
2.4 Where HoTT Adds Nothing (18 of 21)#
For all other axioms (mc.ax1–mc.ax4, m0.ax1–m5.ax2, m6.ax1–m6.ax3, m7.ax1–m7.ax3), the HoTT translation is identical to the DTT translation. The higher path structure is not engaged. Partitions are still sum types; fixpoints are still sigma types; information loss is still a real-valued function.
The \(\infty\)-groupoid structure of types means that every type in the formalization carries potential higher-dimensional path data. For the e7Day types (construction states, agents, verdicts), this data is trivial (all paths between elements are equal). In HoTT terminology, all e7Day types are h-sets (0-truncated types: the identity type between any two elements is a mere proposition). This means the higher-dimensional machinery of HoTT is present but idle.
3. Deductive Power#
Same as DTT: all 9 theorems derivable (with the same qualifications: environmental novelty hypothesis for th4/th5/th7 Gate 5).
th6 (Dual-Nothing): HoTT provides a better derivation than DTT. In DTT, duality requires constructing a category, defining initial/terminal objects, and proving universal properties. In HoTT, duality can be expressed as an equivalence \(\text{VOID} \simeq \text{TRUST}^{\text{op}}\), and univalence converts this to an identity. The transport principle then gives all consequences of duality automatically.
th7 Gate 5 (Perpetual Scope-Expansion): The “perpetual cycling” condition can be formalized as a non-trivial element of \(\pi_1\). The condition “scope expansion stops” corresponds to the loop becoming contractible (null-homotopic). Gate 5 then says: if the loop contracts (cycling stops), fracture grows. This is a topologically flavored formulation that adds geometric intuition but does not change the logical content.
4. Consistency Path#
HoTT’s consistency is established by the cubical set model (Cohen, Coquand, Huber, Mörtberg, 2015). The model constructs a specific \(\infty\)-topos (cubical sets) in which all of HoTT’s axioms (including univalence) hold.
For e7Day in HoTT: consistency would follow from exhibiting a model of the 21 axioms within the cubical set model. This is analogous to the presheaf model construction in Foundation B, but using cubical sets instead of ordinary presheaves.
The consistency situation is more complex than in DTT:
DTT’s consistency follows from normalization (syntactic, unconditional).
HoTT + univalence does NOT have decidable type-checking in all formulations. Cubical type theory (the computational interpretation of HoTT) does have decidable type-checking, but the theory is more complex.
In practice, Cubical Agda provides a machine-checked implementation where type-checking is decidable. If the e7Day formalization type-checks in Cubical Agda, consistency of the formalization is guaranteed.
5. Choice Dependency#
HoTT is maximally constructive: not only is the Axiom of Choice unavailable, but the law of excluded middle is also unavailable (it would collapse all types to h-sets, destroying the higher-dimensional structure).
This is more restrictive than DTT: in Lean 4 / standard DTT, one can optionally import classical axioms. In HoTT, importing excluded middle is destructive (it trivializes the univalence axiom’s content for non-set types).
For e7Day, this is fine: none of the 21 axioms require excluded middle. But it means that classical reasoning (proof by contradiction for non-negative statements) is not available without explicit truncation.
Specific check: m2.th1’s proof by contradiction (\(\neg(\text{PERFECT} \wedge \text{PERFIDE})\)) works in HoTT because it is a negation (a map to \(\mathbb{0}\)), which is constructively valid.
6. Compatibility with PET#
PET’s mereological axioms can be encoded in HoTT the same way as in DTT. Univalence adds one interesting feature for PET:
ax11 (Dipolarity) vs. ax11b (Divine Simplicity):
In HoTT, “God has no proper parts that are independent” (ax11b) can be formalized as: \(G\) is an h-set (no non-trivial paths between elements) and has no non-trivial decomposition (\(G \simeq A + B\) implies \(A \simeq \mathbb{0}\) or \(B \simeq \mathbb{0}\)).
“God has two aspects” (ax11) can be formalized as: \(G \simeq G_n + G_c\) with \(G_n, G_c\) both non-trivially inhabited.
The tension between ax11 and ax11b is then a provable incompatibility in HoTT: if \(G \simeq G_n + G_c\) with both non-empty (ax11), then \(G\) has a non-trivial decomposition, contradicting ax11b. This is cleaner than the mereological argument because univalence makes structural decomposition precise.
7. Structural Assessment#
7.1 What HoTT Gets Right#
Maximally constructive: No Choice, no excluded middle. The purest constructive foundation.
Univalence makes structural equivalence = equality: The “isomorphic structures are identical” principle is exactly right for e7Day, where the axiom system is intended to capture structure, not encoding.
Natural model for cycles: ZION as a loop in \(S^1\) is geometrically intuitive.
Clean duality for th6: The categorical duality becomes a path in the universe.
Future-proof: If e7Day is ever extended with higher-dimensional structure (paths between construction states, equivalences between equivalences), HoTT is the natural home.
7.2 What HoTT Gets Wrong#
Massive conceptual overhead for marginal gain. Understanding HoTT requires facility with \(\infty\)-groupoids, cubical type theory, transport, univalence, truncation levels, and the distinction between propositions, sets, and general types. Only 2–3 of 21 axioms benefit from this machinery.
Most e7Day types are h-sets. Construction states, agents, verdicts, fault classes — these are all “flat” types with no interesting higher path structure. The \(\infty\)-groupoid structure is carried but unused, like a sports car idling in a parking lot.
Immature tooling for real analysis. Cubical Agda’s library has limited support for real numbers, measure theory, and information theory compared to Lean 4’s Mathlib. The information-theoretic axioms (m0.ax1, m2.ax2, m5.ax2) would require building substantial infrastructure from scratch.
Smallest expert community. Fewer people can read and contribute to a HoTT formalization than a Lean 4 formalization. The community is growing but is still small.
BABL Danger: Over-Complication. Choosing HoTT for e7Day risks the OSCR pattern: over-Simplifying the foundation (one framework for everything!) by over-Complicating the language (\(\infty\)-groupoids where sets suffice).
BABL Danger: Over-Complication Risk
HoTT is a more powerful foundation than e7Day currently needs. Using a foundation whose expressive power far exceeds the system’s requirements is the OSCR pattern of over-Complication: the extra complexity does not serve the system’s goals and creates barriers to understanding, auditing, and contributing.
The ZION path is to use the minimum foundation that suffices. For e7Day as currently formulated, that is DTT (Foundation E), not HoTT.
8. Verdict: WORKS but OVERKILL#
HELD (21/21 axioms; 2–3 benefit from HoTT features; 18 do not)
HoTT can express all 21 axioms and derive all 9 theorems. It provides the cleanest treatment of th6 (duality via univalence) and ZION (loop via HIT). But 18 of 21 axioms gain nothing from HoTT beyond what DTT already provides.
Recommendation: Do NOT use HoTT as the primary foundation for e7Day.
Use DTT (Lean 4) for the practical formalization. If th6’s duality or ZION’s cycle structure proves to be more important than currently apparent, the Lean 4 formalization can be extended with univalence and HITs (Lean 4 is exploring HoTT-compatible extensions). Alternatively, the core formalization in Lean 4 can coexist with a targeted HoTT analysis of th6 and ZION in Cubical Agda.
9. EDEN Classification#
I found this Grey Edge #1 in EDEN: HoTT MIGHT be the right long-term foundation for the entire HEAVEN paper series (if the series develops higher-dimensional structure — equivalences between axiom systems, paths between theological models, etc.). But for e7Day alone, it is over-Complicated.
The ZION path is:
Use DTT (Lean 4) now for the formalization.
Keep HoTT in reserve for when the axiom system develops higher-dimensional needs (which may happen when the e7Ch model — innovation adoption stages — is formalized, since adoption stages might have non-trivial equivalences).
Do NOT commit to HoTT prematurely. The commitment cost is high (smaller community, less tooling, higher learning curve) and the benefit for e7Day as currently stated is marginal.
References#
al-Ghazali, A. H. (n.d.). The Niche of Lights (Mishkat al-Anwar).
Aquinas, T. (n.d.). Summa Theologica, Part I, Questions 3–11.
Arkhipov, V. A. (1997). Address at the Conference on the Cuban Missile Crisis, Moscow, 14 October 1997. National Security Archive Briefing Book No. 808, document 1, published 3 October 2022. https://nsarchive.gwu.edu/document/29078-document-1-vice-admiral-vasili-arkhipov.
Arrow, K. J. (1971). Essays in the Theory of Risk-Bearing. Chicago: Markham Publishing Company.
Asadi, S., Cappa, C. D., Barreda, S., Wexler, A. S., Bouvier, N. M., & Ristenpart, W. D. (2020). Efficacy of masks and face coverings in controlling outward aerosol particle emission from expiratory activities. Scientific Reports, 10(1), 15665. URL: https://doi.org/10.1038/s41598-020-72798-7, doi:10.1038/s41598-020-72798-7
Asch, S. E. (1956). Studies of independence and conformity: I. a minority of one against a unanimous majority. Psychological Monographs: General and Applied, 70(9), 1–70. URL: https://doi.org/10.1037/h0093718, doi:10.1037/h0093718
Ashby, W. R. (1956). An Introduction to Cybernetics. London: Chapman and Hall.
Barrett, A. M., Baum, S. D., & Hostetler, K. (2013). Analyzing and reducing the risks of inadvertent nuclear war between the United States and Russia. Science & Global Security, 21(2), 106–133. URL: https://scienceandglobalsecurity.org/archive/sgs21barrett.pdf, doi:10.1080/08929882.2013.798984
Barrett, A. M., Baum, S. D., & Hostetler, K. (2013). Appendix and supplement to “Analyzing and Reducing the Risks of Inadvertent Nuclear War between the United States and Russia”. Science & Global Security, 21(2). Online appendix to Barrett, Baum, and Hostetler (2013). URL: https://scienceandglobalsecurity.org/archive/sgs21barrett_app.pdf
Baum, S. D. (2018). Garrick, B. J. (Ed.). Reflections on the risk analysis of nuclear war. Proceedings of the Workshop on Quantifying Global Catastrophic Risks (pp. 19–50). Los Angeles, CA: Garrick Institute for the Risk Sciences, University of California, Los Angeles. https://gcri.org/publications/research/reflections-risk-analysis-nuclear-war.
Baum, S. D., de Neufville, R., & Barrett, A. M. (2018). A Model for the Probability of Nuclear War. Global Catastrophic Risk Institute. Working Paper 18-1, 8 March 2018. https://gcri.org/publications/research/model-probability-nuclear-war/.
Beddington, J., Cooper, C. L., Field, J., Goswami, U., Huppert, F. A., Jenkins, R., … Thomas, S. M. (2008). The mental wealth of nations. Nature, 455(7216), 1057–1060. URL: https://doi.org/10.1038/4551057a, doi:10.1038/4551057a
Benci, V., & Di Nasso, M. (2003). Numerosities of labelled sets: a new way of counting. Advances in Mathematics, 173(1), 50–67. URL: https://doi.org/10.1016/s0001-8708(02)00012-9, doi:10.1016/s0001-8708(02)00012-9
Bernal, J. D. (1929). The World, the Flesh and the Devil: An Enquiry into the Future of the Three Enemies of the Rational Soul. London: Kegan Paul, Trench, Trubner & Co.
Beyer, B., Jones, C., Petoff, J., & Murphy, N. R. (2016). Site Reliability Engineering: How Google Runs Production Systems. Sebastopol, CA: O'Reilly Media.
Bezos, J. (2019). Going to Space to Benefit Earth. Blue Origin press event titled "Going to Space to Benefit Earth", 2019-05-09, Washington, D.C. ; https://web.archive.org/web/20190511092421/https://www.blueorigin.com/news/going-to-space-to-benefit-earth-full-event-replay ; https://www.cnbc.com/2018/05/01/jeff-bezos-dreams-of-a-world-with-a-trillion-people-living-in-space.html ; https://www.reggaemath.org/news/2017/6/18/there-are-1000-potential-einsteins-and-mozarts-with-us-now.
Bloom, B. S., Engelhart, M. D., Furst, E. J., Hill, W. H., & Krathwohl, D. R. (1956). Bloom, B. S. (Ed.). Taxonomy of Educational Objectives, Handbook I: Cognitive Domain. New York: David McKay Company.
Brower, J. E. (2008). Making sense of divine simplicity. Faith and Philosophy, 25(1), 3–30. URL: https://doi.org/10.5840/faithphil20082511, doi:10.5840/faithphil20082511
Burr, W., & Blanton, T. S. (2002). The Submarines of October: U.S. and Soviet Naval Encounters During the Cuban Missile Crisis. National Security Archive Electronic Briefing Book No. 75, 31 October 2002. https://nsarchive2.gwu.edu/NSAEBB/NSAEBB75/.
Caplan, Y., Stewart, N., Smittenaar, P., & Sgaier, S. K. (2020). Fighting COVID-19's disproportionate impact on black communities with more precise data. Stanford Social Innovation Review. URL: https://doi.org/10.48558/4AZM-XX64
Clayton, P., & Peacocke, A. (Eds.) (2004). In Whom We Live and Move and Have Our Being: Panentheistic Reflections on God's Presence in a Scientific World. Grand Rapids, MI: Eerdmans.
Cooper, J. W. (2006). Panentheism: The Other God of the Philosophers — From Plato to the Present. Grand Rapids, MI: Baker Academic.
Coupe, J., Bardeen, C. G., Robock, A., & Toon, O. B. (2019). Nuclear winter responses to nuclear war between the united states and russia in the whole atmosphere community climate model version 4 and the goddard institute for space studies modele. Journal of Geophysical Research: Atmospheres, 124(15), 8522–8543. URL: https://doi.org/10.1029/2019JD030509, doi:10.1029/2019JD030509
Davey, T. (2017). 55 Years After Preventing Nuclear Attack, Arkhipov Honored With Inaugural Future of Life Award. Future of Life Institute, 27 October 2017. https://futureoflife.org/2017/10/27/55-years-preventing-nuclear-attack-arkhipov-honored-inaugural-future-life-award/.
Davis, M. H. (1983). Measuring individual differences in empathy: evidence for a multidimensional approach. Journal of Personality and Social Psychology, 44(1), 113–126. URL: https://doi.org/10.1037/0022-3514.44.1.113, doi:10.1037/0022-3514.44.1.113
Diaz-Maurin, F., & Mecklin, J. (2026). AI for peace: in Rome, Nobel laureates call for disarming AI and nuclear weapons. Bulletin of the Atomic Scientists. Bulletin of the Atomic Scientists, 17 July 2026. Available at https://thebulletin.org/2026/07/ai-for-peace-in-rome-nobel-laureates-call-for-disarming-ai-and-nuclear-weapons/. Reports the Global Nobel Laureates Assembly on Artificial Intelligence and Nuclear War, convened at the Vatican (Castel Gandolfo), 14–16 July 2026. URL: https://thebulletin.org/2026/07/ai-for-peace-in-rome-nobel-laureates-call-for-disarming-ai-and-nuclear-weapons/
Ehlert, K., & Loewe, L. (2014). Lazy updating of hubs can enable more realistic models by speeding up stochastic simulations. Journal of Chemical Physics, 141(20), 204109. URL: https://doi.org/10.1063/1.4901114, doi:10.1063/1.4901114
Ericsson, K. A., Krampe, R. Th., & Tesch-Romer, C. (1993). The role of deliberate practice in the acquisition of expert performance. Psychological Review, 100(3), 363–406. URL: https://doi.org/10.1037/0033-295X.100.3.363, doi:10.1037/0033-295X.100.3.363
Erikson, E. H. (1950). Childhood and Society. New York: W. W. Norton.
Evans, D. J. (2005). The elasticity of marginal utility of consumption: estimates for 20 OECD countries. Fiscal Studies, 26(2), 197–224. URL: https://doi.org/10.1111/j.1475-5890.2005.00010.x, doi:10.1111/j.1475-5890.2005.00010.x
Ferguson, N. M., Laydon, D., Nedjati-Gilani, G., Imai, N., Ainslie, K., Baguelin, M., … Ghani, A. C. (2020). Impact of non-pharmaceutical interventions (NPIs) to reduce COVID-19 mortality and healthcare demand. Imperial College COVID-19 Response Team. Published 2020-03-16. Imperial College London Report 9; https://doi.org/10.25561/77482.
Festinger, L. (1957). A Theory of Cognitive Dissonance. Stanford, CA: Stanford University Press.
Giordano, G., Blanchini, F., Bruno, R., Colaneri, P., Di Filippo, A., Di Matteo, A., & Colaneri, M. (2020). Modelling the COVID-19 epidemic and implementation of population-wide interventions in Italy. Nature Medicine, 26(6), 855–860. URL: https://doi.org/10.1038/s41591-020-0883-7, doi:10.1038/s41591-020-0883-7
Gould, E., & Wilson, V. (2020). Black Workers Face Two of the Most Lethal Preexisting Conditions for Coronavirus—Racism and Economic Inequality. https://web.archive.org/web/20201216082617/https://files.epi.org/pdf/193246.pdf.
Groom, B., & Maddison, D. (2019). New estimates of the elasticity of marginal utility for the UK. Environmental and Resource Economics, 72(4), 1155–1182. URL: https://doi.org/10.1007/s10640-018-0242-z, doi:10.1007/s10640-018-0242-z
Grossman, M. (1983). Bigeometric Calculus: A System with a Scale-Free Derivative. Rockport, Massachusetts: Archimedes Foundation. Develops the bigeometric calculus, a multiplicative calculus whose derivative is invariant under changes of scale — a natural language for multiplicative (exponential) growth.
Grossman, M., & Katz, R. (1972). Non-Newtonian Calculus. Pigeon Cove, Massachusetts: Lee Press. An early systematic treatment of multiplicative (non-Newtonian) calculi, in which products and ratios play the structural role that sums and differences play in ordinary calculus.
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38, 173–198. URL: https://doi.org/10.1007/BF01700692, doi:10.1007/BF01700692
Gödel, K. (1970). Ontological Proof.
Hare, B. (2017). Survival of the Friendliest: Homo sapiens Evolved via Selection for Prosociality. Annual Review of Psychology, 68, 155–186. URL: https://doi.org/10.1146/annurev-psych-010416-044201, doi:10.1146/annurev-psych-010416-044201
Hare, B., & Woods, V. (2020). Survival of the Friendliest: Understanding Our Origins and Rediscovering Our Common Humanity. New York: Random House.
Hartshorne, C. (1941). Man's Vision of God and the Logic of Theism. Chicago/New York: Willett, Clark & Company.
Hartshorne, C. (1948). The Divine Relativity: A Social Conception of God. New Haven: Yale University Press.
missing publisher in Hegel1812
Hellman, M. E. (2008). Risk analysis of nuclear deterrence. The Bent of Tau Beta Pi, 99(2), 14–22. URL: https://www.tbp.org/pubs/Features/Sp08Hellman.pdf
Hellman, M. E. (2021). Scouras, J. (Ed.). Probabilistic risk assessment. On Assessing the Risk of Nuclear War (pp. 85–126). Laurel, MD: The Johns Hopkins University Applied Physics Laboratory. Chapter 4. https://www.jhuapl.edu/sites/default/files/2022-12/Ch4_Hellman.pdf.
Heschel, A. J. (1951). The Sabbath: Its Meaning for Modern Man. New York: Farrar, Straus and Young.
Hick, J. (1966). Evil and the God of Love. London: Macmillan.
Hindmarsh, A. C., Brown, P. N., Grant, K. E., Lee, S. L., Serban, R., Shumaker, D. E., & Woodward, C. S. (2005). SUNDIALS: suite of nonlinear and differential/algebraic equation solvers. ACM Transactions on Mathematical Software (TOMS), 31(3), 363–396. URL: https://doi.org/10.1145/1089014.1089020, doi:10.1145/1089014.1089020
Howard, R. A. (1966). Information value theory. IEEE Transactions on Systems Science and Cybernetics, 2(1), 22–26. URL: https://doi.org/10.1109/TSSC.1966.300074, doi:10.1109/TSSC.1966.300074
Jack, D. C., & Dill, D. (1992). The silencing the self scale: schemas of intimacy associated with depression in women. Psychology of Women Quarterly, 16(1), 97–106. URL: https://doi.org/10.1111/j.1471-6402.1992.tb00242.x, doi:10.1111/j.1471-6402.1992.tb00242.x
Jacobsen, A. (2024). Nuclear War: A Scenario. New York: Dutton.
Janis, I. L. (1972). Victims of Groupthink: A Psychological Study of Foreign-Policy Decisions and Fiascoes. Boston: Houghton Mifflin.
Kahn, H. (1965). On Escalation: Metaphors and Scenarios. New York: Frederick A. Praeger. Frederick A. Praeger, New York, 1965 (xvii + 308 pp.). Borrowable scan at https://archive.org/details/onescalationmeta0000kahn; Taylor & Francis reissue at https://www.taylorfrancis.com/books/mono/10.4324/9781315125565/escalation-herman-kahn.
Kemp, L. (2025). Goliath's Curse: The History and Future of Societal Collapse. New York: Knopf.
Kermack, W. O., & McKendrick, A. G. (1927). A contribution to the mathematical theory of epidemics. Proceedings of the Royal Society of London A, 115(772), 700–721. URL: https://doi.org/10.1098/rspa.1927.0118, doi:10.1098/rspa.1927.0118
Ketov, R. A. (2012). Naumov, V. V. (Ed.). Vospominaniya byvshego komandira podvodnoi lodki B-4 o pokhode B-4 v period Karibskogo krizisa [Recollections of the former commander of submarine B-4 on B-4's voyage during the Caribbean Crisis]. Karibskii krizis. Protivostoyanie. Sbornik vospominanii uchastnikov sobytii 1962 goda. Nika-Profi. In Russian. Online serialization, Parts 9–10: https://vnmazurenko.blogspot.com/2013/01/1962-9.html.
Kissler, S. M., Tedijanto, C., Goldstein, E., Grad, Y. H., & Lipsitch, M. (2020). Projecting the transmission dynamics of SARS-CoV-2 through the postpandemic period. Science, 368(6493), 860–868. URL: https://doi.org/10.1126/science.abb5793, doi:10.1126/science.abb5793
Kitcher, P. (1981). Explanatory unification. Philosophy of Science, 48(4), 507–531. URL: https://doi.org/10.1086/289019, doi:10.1086/289019
Kohlberg, L. (1971). Beck, C. M., Crittenden, B. S., & Sullivan, E. V. (Eds.). Stages of moral development as a basis for moral education. Moral Education: Interdisciplinary Approaches (pp. 23–92). Toronto: University of Toronto Press.
Komarov, M. P. (2022). Podvodniki v Karibskom krizise [Submariners in the Caribbean Crisis]. In Russian. PDF posted by the National Security Archive, 3 October 2022; also online, undated, at https://submarinersclub.ru/books/podvodniki_v_karibskom_krizise/.
Korda, M., Johns, E., Knight-Boyle, M., & Kristensen, H. M. (2026 , February). The Aftermath: The Expiration of New START and What It Means For Us All. Federation of American Scientists.
Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83–94. URL: http://saulkripkecenter.org/wp-content/uploads/2019/03/Semantical-Considerations-on-Modal-Logic-PUBLIC.pdf
Kruger, J., & Dunning, D. (1999). Unskilled and unaware of it: how difficulties in recognizing one's own incompetence lead to inflated self-assessments. Journal of Personality and Social Psychology, 77(6), 1121–1134. URL: https://doi.org/10.1037/0022-3514.77.6.1121, doi:10.1037/0022-3514.77.6.1121
Kruglanski, A. W., & Webster, D. M. (1996). Motivated closing of the mind: “seizing” and “freezing”. Psychological Review, 103(2), 263–283. URL: https://doi.org/10.1037/0033-295X.103.2.263, doi:10.1037/0033-295X.103.2.263
Lawvere, F. W. (1973). Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano, 43, 135–166. URL: https://doi.org/10.1007/BF02924844, doi:10.1007/BF02924844
Lazarus, R. J. (2009). Super wicked problems and climate change: restraining the present to liberate the future. Cornell Law Review, 94(5), 1153–1234. URL: https://scholarship.law.cornell.edu/clr/vol94/iss5/8/
missing publisher in Leibniz1710
Leonenko, A. V. (2012). Naumov, V. V. (Ed.). Vospominaniya byvshego komandira BCh-3 podvodnoi lodki B-59 o pokhode na Kubu: Kamikadze SSSR [Recollections of the former commander of the mine-torpedo department of submarine B-59 on the voyage to Cuba: “Kamikazes of the USSR”]. Karibskii krizis. Protivostoyanie. Sbornik vospominanii uchastnikov sobytii 1962 goda. Nika-Profi. In Russian. Online serialization, Part 28–29: https://vnmazurenko.blogspot.com/2013/01/1962-28-29.html. The night episode is also quoted in full in Komarov (2022), p. 175.
Leveson, N. G. (2011). Engineering a Safer World: Systems Thinking Applied to Safety. Cambridge, MA: MIT Press.
Levin, K., Cashore, B., Bernstein, S., & Auld, G. (2012). Overcoming the tragedy of super wicked problems: constraining our future selves to ameliorate global climate change. Policy Sciences, 45(2), 123–152. URL: https://doi.org/10.1007/s11077-012-9151-0, doi:10.1007/s11077-012-9151-0
Lewis, P., Williams, H., Pelopidas, B., & Aghlani, S. (2014). Too Close for Comfort: Cases of Near Nuclear Use and Options for Policy. Chatham House (The Royal Institute of International Affairs). Chatham House Report, April 2014. https://www.chathamhouse.org/2014/04/too-close-comfort-cases-near-nuclear-use-and-options-policy.
Liang, X., Tian, N., Lopes da Silva, D., Scarazzato, L., Karim, Z. A., & Guiberteau Ricard, J. (2025 , 4). Trends in World Military Expenditure, 2024. Stockholm International Peace Research Institute (SIPRI). SIPRI Fact Sheet, April 2025. Available at https://www.sipri.org/sites/default/files/2025-04/2504_fs_milex_2024.pdf.
Loewe, L. (2006). Quantifying the genomic decay paradox due to Muller's ratchet in human mitochondrial DNA. Genetical Research, 87(2), 133–159. URL: https://doi.org/10.1017/S0016672306008123, doi:10.1017/S0016672306008123
Loewe, L., Scheuer, K. S., Keel, S. A., & others. (2017). Evolvix BEST names for semantic reproducibility across code2brain interfaces. Annals of the New York Academy of Sciences, 1387(1), 124–144. URL: https://doi.org/10.1111/nyas.13192, doi:10.1111/nyas.13192
Loewe, L., & EvoSysBio Group at UW-Madison (2015–2026). Prototype Evolvix: A Domain-Specific Language and Compiler to Simplify Accurate Mass-Action Modeling in Biology — Simulating Systems where Parts randomly meet to trigger Actions at defined Rates. Software, pre-compiled binaries for Mac OS X 10, Windows 7, Ubuntu 14, Fedora 21, RHEL 7. Original release label: Evolvix_CL_0.3.1_RC1, built 2015m03d11; binaries compiled 2015-03-09 from source-tree commit 6e355803bc6fff5b125ef4bf1be1f8e980f364be. License: CC BY 4.0. Zenodo deposit https://doi.org/10.5281/zenodo.19679456; Balospe.com mirror: https://balospe.com/en/good-news-pack/vv/mmv3/flyingscroll/transwarpkey/sta1-evx/evx-prototype-compiler.html.
Loewe, L. (LLoL) (2026). PET Axioms — Discussions and Caveats.
Loewe, L. (LLoL) (2026). PET Axioms ax1–ax14: Formal Panentheism.
Loewe, L. (LLoL) (2026). PET Theorems th1–th4.
Lucanus, M. A. (n.d.). Pharsalia (De Bello Civili), Book I, line 81.
Luhmann, N. (1995). Social Systems. Stanford, CA: Stanford University Press.
Mallet, J. (2012). The struggle for existence: how the notion of carrying capacity, k, obscures the links between demography, Darwinian evolution, and speciation. Evolutionary Ecology Research, 14, 627–665. URL: https://dash.harvard.edu/handle/1/30212075
Marcia, J. E. (1966). Development and validation of ego-identity status. Journal of Personality and Social Psychology, 3(5), 551–558. URL: https://doi.org/10.1037/h0023281, doi:10.1037/h0023281
Martin-Löf, P. (1984). Intuitionistic Type Theory. Naples: Bibliopolis.
Maslow, A. H. (1943). A theory of human motivation. Psychological Review, 50(4), 370–396. URL: https://doi.org/10.1037/h0054346, doi:10.1037/h0054346
McCollum, J. M., Peterson, G. D., Cox, C. D., Simpson, M. L., & Samatova, N. F. (2006). The sorting direct method for stochastic simulation of biochemical systems with varying reaction execution behavior. Computational Biology and Chemistry, 30(1), 39–49. URL: https://doi.org/10.1016/j.compbiolchem.2005.10.007, doi:10.1016/j.compbiolchem.2005.10.007
Meadows, D. H. (2008). Wright, D. (Ed.). Thinking in Systems: A Primer. White River Junction, VT: Chelsea Green Publishing.
Meyerowitz-Katz, G., & Merone, L. (2020). A systematic review and meta-analysis of published research data on COVID-19 infection fatality rates. International Journal of Infectious Diseases, 101, 138–148. URL: https://doi.org/10.1016/j.ijid.2020.09.1464, doi:10.1016/j.ijid.2020.09.1464
Mikhailov, V. A. (2012). Naumov, V. V. (Ed.). Vospominaniya byvshego komandira rulevoi gruppy shturmanskoi boevoi chasti podvodnoi lodki B-59 o pokhode na Kubu [Recollections of the former commander of the helmsman group of the navigation department of submarine B-59 on the voyage to Cuba]. Karibskii krizis. Protivostoyanie. Sbornik vospominanii uchastnikov sobytii 1962 goda. Nika-Profi. In Russian. Online serialization, Parts 28–29 and 30–31: https://vnmazurenko.blogspot.com/2013/02/1962-30-31.html.
Mills, M. J., Toon, O. B., Lee-Taylor, J., & Robock, A. (2014). Multidecadal global cooling and unprecedented ozone loss following a regional nuclear conflict. Earth's Future, 2(4), 161–176. URL: https://doi.org/10.1002/2013EF000205, doi:10.1002/2013EF000205
Moltmann, J. (1981). The Trinity and the Kingdom: The Doctrine of God. San Francisco: Harper & Row.
Mosley, T. J., Zajdel, R. A., Alderete, E., Clayton, J. A., Heidari, S., Pérez-Stable, E. J., … Bernard, M. A. (2025). Intersectionality and diversity, equity, and inclusion in the healthcare and scientific workforces. Lancet Regional Health — Americas, 41, 100973. URL: https://doi.org/10.1016/j.lana.2024.100973, doi:10.1016/j.lana.2024.100973
Mullins, R. T. (2013). Simply impossible: a case against divine simplicity. Journal of Reformed Theology, 7(2), 181–203. URL: https://doi.org/10.1163/15697312-12341294, doi:10.1163/15697312-12341294
of Hippo, A. (n.d.). City of God (De Civitate Dei), Books XI–XII.
of Hippo, A. (n.d.). Confessions, Book VII.
Olah, C. (2026 , May). Remarks on Pope Leo XIV's Encyclical "Magnifica Humanitas". Available at https://www.anthropic.com/news/chris-olah-pope-leo-encyclical.
Oppy, G. (2006). Arguing about Gods. Cambridge: Cambridge University Press.
Ord, T. (2020). The Precipice: Existential Risk and the Future of Humanity. London: Bloomsbury.
Orlov, V. (2002). Recollections of Vadim Orlov (USSR Submarine B-59): “We Will Sink Them All, But We Will Not Disgrace Our Navy”. National Security Archive document 29066, released with Electronic Briefing Book No. 75, 31 October 2002. https://nsarchive.gwu.edu/document/29066-7-recollections-vadim-orlov-ussr-submarine-b-59-we-will-sink-them-all-we-will-not.
Ottati, V., Price, E., Wilson, C., & Sumaktoyo, N. (2015). When self-perceptions of expertise increase closed-minded cognition: the earned dogmatism effect. Journal of Experimental Social Psychology, 61, 131–138. URL: https://doi.org/10.1016/j.jesp.2015.08.003, doi:10.1016/j.jesp.2015.08.003
Parkinson, C. N. (1957). Parkinson's Law, and Other Studies in Administration. London: John Murray.
Perrow, C. (1984). Normal Accidents: Living with High-Risk Technologies. New York: Basic Books.
Plantinga, A. (1974). God, Freedom, and Evil. New York: Harper & Row.
Plantinga, A. (1974). The Nature of Necessity. Oxford: Oxford University Press.
Pratt, J. W. (1964). Risk aversion in the small and in the large. Econometrica, 32(1/2), 122–136. URL: https://doi.org/10.2307/1913738, doi:10.2307/1913738
Radchenko, S. (2024). `Closer now than ever': Historian Sergey Radchenko assesses Tucker Carlson's claim that U.S.-Russian tensions in Ukraine risk nuclear war more than the Cuban Missile Crisis. \emph Meduza, 4 December 2024. https://meduza.io/en/feature/2024/12/04/closer-now-than-ever.
Rittel, H. W. J., & Webber, M. M. (1973). Dilemmas in a general theory of planning. Policy Sciences, 4(2), 155–169. URL: https://doi.org/10.1007/BF01405730, doi:10.1007/BF01405730
Robock, A. (1984). Snow and ice feedbacks prolong effects of nuclear winter. Nature, 310(5979), 667–670. URL: https://doi.org/10.1038/310667a0, doi:10.1038/310667a0
Robock, A., Oman, L., & Stenchikov, G. L. (2007). Nuclear winter revisited with a modern climate model and current nuclear arsenals: still catastrophic consequences. Journal of Geophysical Research: Atmospheres, 112(D13), D13107. URL: https://doi.org/10.1029/2006JD008235, doi:10.1029/2006JD008235
Savranskaya, S. V. (2005). New sources on the role of Soviet submarines in the Cuban Missile Crisis. Journal of Strategic Studies, 28(2), 233–259. URL: https://doi.org/10.1080/01402390500088312, doi:10.1080/01402390500088312
Savranskaya, S. V. (2022). The Underwater Cuban Missile Crisis at 60. National Security Archive Briefing Book No. 808, 3 October 2022. https://nsarchive.gwu.edu/briefing-book/russia-programs/2022-10-03/soviet-submarines-nuclear-torpedoes-cuban-missile-crisis.
Schelling, T. C. (1960). The Strategy of Conflict. Cambridge, MA: Harvard University Press.
Senge, P. M. (1990). The Fifth Discipline: The Art and Practice of the Learning Organization. New York: Doubleday/Currency.
Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27(3 & 4), 379–423, 623–656. URL: https://doi.org/10.1002/j.1538-7305.1948.tb01338.x, doi:10.1002/j.1538-7305.1948.tb01338.x
Simons, P. (1987). Parts: A Study in Ontology. Oxford: Oxford University Press.
Sobel, J. H. (2004). Logic and Theism: Arguments For and Against Beliefs in God. Cambridge: Cambridge University Press.
Stern, S. M. (2012). The Cuban Missile Crisis in American Memory: Myths versus Reality. Stanford, California: Stanford University Press. Stanford Nuclear Age Series. Stanford University Press, 2012 (viii + 196 pp.).
Stutt, R. O. J. H., Retkute, R., Bradley, M., Gilligan, C. A., & Colvin, J. (2020). A modelling framework to assess the likely effectiveness of facemasks in combination with `lock-down' in managing the COVID-19 pandemic. Proceedings of the Royal Society A, 476(2238), 20200376. URL: https://doi.org/10.1098/rspa.2020.0376, doi:10.1098/rspa.2020.0376
Taleb, N. N., Read, R., Douady, R., Norman, J., & Bar-Yam, Y. (2014). The Precautionary Principle (with Application to the Genetic Modification of Organisms). arXiv:1410.5787 [q-fin.GN], latest version 17 October 2014. Available at https://arxiv.org/abs/1410.5787.
Talic, S., Shah, S., Wild, H., Gasevic, D., Maharaj, A., Ademi, Z., … Ilic, D. (2021). Effectiveness of public health measures in reducing the incidence of COVID-19, SARS-CoV-2 transmission, and COVID-19 mortality: systematic review and meta-analysis. BMJ, 375, e068302. URL: https://doi.org/10.1136/bmj-2021-068302, doi:10.1136/bmj-2021-068302
Tay, L., & Diener, E. (2011). Needs and subjective well-being around the world. Journal of Personality and Social Psychology, 101(2), 354–365. URL: https://doi.org/10.1037/a0023779, doi:10.1037/a0023779
Tertrais, B. (2017). “On The Brink”—really? Revisiting nuclear close calls since 1945. The Washington Quarterly, 40(2), 51–66. URL: https://doi.org/10.1080/0163660X.2017.1328922, doi:10.1080/0163660X.2017.1328922
Tetlock, P. E. (2005). Expert Political Judgment: How Good Is It? How Can We Know? Princeton, NJ: Princeton University Press.
Tuckman, B. W. (1965). Developmental sequence in small groups. Psychological Bulletin, 63(6), 384–399. URL: https://doi.org/10.1037/h0022100, doi:10.1037/h0022100
Varzi, A. C. (2016). Mereology.
von Neumann, J., & Morgenstern, O. (1944). Theory of Games and Economic Behavior. Princeton, NJ: Princeton University Press.
Voorhees, T. (2023). The Cuban Missile Crisis at sea—avoidance of nuclear war not left to chance. Naval War College Review, 76(2), 107–146. URL: https://digital-commons.usnwc.edu/nwc-review/vol76/iss2/8/
Wasserman, D., van der Gaag, R., & Wise, J. (2020). The term “physical distancing” is recommended rather than “social distancing” during the COVID-19 pandemic for reducing feelings of rejection among people with mental health problems. European Psychiatry, 63(1), e52. URL: https://doi.org/10.1192/j.eurpsy.2020.60, doi:10.1192/j.eurpsy.2020.60
Whitehead, A. N. (1929). Process and Reality: An Essay in Cosmology. New York: Macmillan.
Wilde, R. (2018). Joseph Stalin's Death—He Did Not Escape the Consequences of His Actions. https://web.archive.org/web/20201204150340/https://www.thoughtco.com/how-did-stalin-die-1221206.
Wilson, E. (2012). Thank you Vasili Arkhipov, the man who stopped nuclear war. \emph The Guardian, 27 October 2012. https://www.theguardian.com/commentisfree/2012/oct/27/vasili-arkhipov-stopped-nuclear-war.
Wink, W. (1984). Naming the Powers: The Language of Power in the New Testament. Philadelphia: Fortress Press.
Wintour, P. (2020-07-16). Covid-19 will devastate poorest nations if West does not act, warns UN: G20 told to “step up now or pay price later”. The Guardian. URL: https://www.theguardian.com/world/2020/jul/16/covid-19-may-devastate-poorest-nations-if-west-does-not-act-warns-un
Wurth, R. C., Braxton, M. L., & Cohen, C. L. (2020-06-29). Racism and Covid-19 threaten our health—We can't fight them as separate battles. The Guardian. URL: https://www.theguardian.com/commentisfree/2020/jun/29/racism-coronavirus-covid-19-black-brown-america
Xia, L., Robock, A., Scherrer, K., Harrison, C. S., Bodirsky, B. L., Weindl, I., … Heneghan, R. (2022). Global food insecurity and famine from reduced crop, marine fishery and livestock production due to climate disruption from nuclear war soot injection. Nature Food, 3(8), 586–596. URL: https://doi.org/10.1038/s43016-022-00573-0, doi:10.1038/s43016-022-00573-0
Anthropic (2026 , February). Claude Opus 4.6 System Card. Anthropic.
Anthropic (2026 , April). Claude Opus 4.7 System Card. Anthropic.
Balospe.com (2026). Formal Foundation Test for the e7Day Axiom System.
Bhikkhu Bodhi. (2000). The Connected Discourses of the Buddha: A Translation of the Samyutta Nikaya. Boston: Wisdom Publications.
Bundesrepublik Deutschland (1985). Handelsgesetzbuch § 252 Absatz 1 Nummer 4: Allgemeine Bewertungsgrundsätze. Official consolidated text at https://www.gesetze-im-internet.de/hgb/__252.html. The provision reads, in part: “Es ist vorsichtig zu bewerten, namentlich sind alle vorhersehbaren Risiken und Verluste … zu berücksichtigen …; Gewinne sind nur zu berücksichtigen, wenn sie am Abschlußstichtag realisiert sind.”.
Gregory of Nyssa (n.d.). Life of Moses (De Vita Moysis). Written ca. 390 CE. Translation: Abraham J. Malherbe and Everett Ferguson (Paulist Press, 1978), Classics of Western Spirituality series; preface by John Meyendorff. Alt URL: https://archive.org/details/lifeofmoses0000greg.
Guinness World Records (2013). Deadliest Place to Travel by Road. Guinness World Records, "Deadliest place to travel by road": Libya, 73.4 road-traffic deaths per 100,000 (2013), citing the WHO Global Status Report on Road Safety 2015. Available at https://www.guinnessworldrecords.com/world-records/deadliest-place-to-travel-by-road.
International Campaign to Abolish Nuclear Weapons (2024). The Holy See and the Treaty on the Prohibition of Nuclear Weapons. Available at https://www.icanw.org/holy_see.
International Campaign to Abolish Nuclear Weapons (2026). The Expiration of New START: What It Means and What's Next. Available at https://www.icanw.org/new_start_expiration.
John of Ephesus, & Pearse, R. (543CE, 2017). John of Ephesus Describes the Justinianic Plague. https://web.archive.org/web/20210306031539/https://www.roger-pearse.com/weblog/2017/05/10/john-of-ephesus-describes-the-justinianic-plague/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2025). SD4 — Prophetic Geometry of 2nd Exodus from BABL to ZION. https://balospe.com/en/good-news-pack/vv/mmv3/supporting-doc/sd4/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b11: PET, the Pan-En-Theism Model — 14 Panentheistic Axioms Checked Against Seven Traditions. https://balospe.com/en/study/matheo/b11/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b11: PET, the Pan-En-Theism Model — 14 Panentheistic Axioms Checked Against Seven Traditions.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b12: e7Day, the Self-Correcting Construction Axiom System. https://balospe.com/en/study/matheo/b12/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b13: e7He, the Perpetual Hero Journey. https://balospe.com/en/study/matheo/b13/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b14: JUB, Innovation Theodicy & the Jubilee Economy. https://balospe.com/en/study/matheo/b14/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b14: JUB, Innovation Theodicy & the Jubilee Economy.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b15: The Divine-Simplicity Deadlock. https://balospe.com/en/study/matheo/b15/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b16: RiskyMAD, the Existential-Risk Forecast & the MAP Escape. https://balospe.com/en/study/matheo/b16/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b16: RiskyMAD, the Existential-Risk Forecast & the MAP Escape.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b17: h_star, Causal Concentration & an Experimental Test. https://balospe.com/en/study/matheo/b17/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b17: h_star, Causal Concentration & an Experimental Test.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). Matheo-b18: Call to Action (and Companions). https://balospe.com/en/study/matheo/b18/.
Loewe, L., AI ClaudeOp46-48Max, and Everyone (2026). The PET Model: A Mereological Axiom System for Pan-En-Theistic Mathematical Theology.
Loewe, L. (2026). Matheo-b19: SGIR, Stopping a Pandemic in Mid-Flight.
National Center for Health Workforce Analysis, & Health Resources and Services Administration (2014). Sex, Race, and Ethnic Diversity of U.S. Health Occupations (2010–2012). U.S. Department of Health and Human Services. https://web.archive.org/web/20201024060416/https://bhw.hrsa.gov/sites/default/files/bhw/nchwa/diversityushealthoccupations_2012.pdf.
National Highway Traffic Safety Administration (2024). Traffic Safety Facts: 2023 Motor Vehicle Crashes — Overview. Available at https://www.nhtsa.gov/data/crash-data-systems.
Nobel Laureate Assembly for the Prevention of Nuclear War (2025). Declaration for the Prevention of Nuclear War. Nobel Laureate Assembly for the Prevention of Nuclear War, Chicago, July 2025. Available at https://nobelassembly.org/declaration/; full text at https://nobelassembly.org/declaration-for-the-prevention-of-nuclear-war-final/.
Pope Leo XIV (2026 , May). Magnifica Humanitas: On Safeguarding the Human Person in the Time of Artificial Intelligence (Encyclical Letter). Available at https://www.vatican.va/content/leo-xiv/en/encyclicals/documents/20260515-magnifica-humanitas.html.
U.S. Department of Transportation (2021 , 3). Departmental Guidance: Treatment of the Value of Preventing Fatalities and Injuries in Preparing Economic Analyses. March 2021 update. Listed on the DOT site as “Valuation of a Statistical Life Guidance” (page last updated 4 April 2021). Available at https://www.transportation.gov/sites/dot.gov/files/2021-03/DOT%20VSL%20Guidance%20-%202021%20Update.pdf.
U.S. Government Accountability Office (2008). Terrorism Insurance: Status of Coverage Availability for Attacks Involving Nuclear, Biological, Chemical, or Radiological Weapons. U.S. Government Accountability Office. GAO-09-39, U.S. Government Accountability Office, 12 December 2008. Available at https://www.gao.gov/products/gao-09-39; full report PDF at https://www.gao.gov/assets/gao-09-39.pdf.
World Health Organization (2015). Global Status Report on Road Safety 2015. World Health Organization. World Health Organization, Geneva, 2015 (ISBN 978-92-4-156506-6; published 16 October 2015). Reports Libya's road-traffic death rate at 73.4 per 100,000 (2013 data), the highest national rate in the report. Available at https://www.who.int/publications/i/item/9789241565066; full PDF at https://iris.who.int/bitstream/handle/10665/189242/9789241565066_eng.pdf.
World Health Organization (2023). Global Status Report on Road Safety 2023. World Health Organization.
World Health Organization (2023). Road Safety: Libya 2023 Country Profile. Available at https://www.who.int/publications/m/item/road-safety-lby-2023-country-profile; country data at https://data.who.int/countries/434.
End of HoTT foundation test report.
Analyst: Claude Opus 4.6 (max effort), 2026m04d05.