Note
Study status: Draft MMv1 (2026-04-05). See Authorship statement in Appendix A.
Matheology 2: The e7Day Model of Formal Principles for Self-Correcting System Construction#
Study 2 in the HEAVEN series for Honestly Examining Axioms Vetting Every Narrative
Abstract#
We present the e7Day model, a formal axiom system comprising 21 axioms organized in 8 submodels (m0–m7) plus 4 cross-day meta-axioms, with 9 derived theorems. The model addresses a fundamental question: what is the minimal formal structure for constructing a system that corrects itself before it collapses?
The construction proceeds as a cumulative cascade — the Work-Logic Cascade (WoLC) — through eight stages: VOID (pre-partition chaos), TYPE (scope definition), EQUAL (the irreducible tension between indivisible and divisible types), VALUE (conditional and unconditional knowledge), LOGIC (processes and time), CARE (self-managing machines), HOPE (general intelligence and self-assessment), and TRUST (consolidation and rest). The cascade extends naturally to four further stages — INFO, TECH, LIFE, BASE — connecting abstract construction principles to the physical and biological world.
The model’s most significant result is the BABL Origin theorem (th3): all self-destructive system behavior (BABL = Blindly Assuming Blind Leveraging) originates in a single mechanism — self-assessment. When an agent assesses itself as OK (adequate), it stops self-correcting, entering a self-reinforcing trap. When an agent assesses itself as OKO (adequate-but-incomplete), self-correction remains possible but is not guaranteed. This asymmetry between BABL (stable attractor) and ZION (self-stabilizing innovation cycle requiring perpetual maintenance) underlies the OSCR collapse mechanism (over-Simplify, over-Complicate, over-Reach) and the five-gate Compassion Capacity Theorem (th7).
The primary instantiation is the seven-day creation narrative (Genesis 1), but the formal structure is independent of any specific tradition. The system is designed to be critiqued, not believed.
Paper a1 [Yah, Yas, everyone, LLoL, ClaudeOp46Max, Anthropic, and The Spirit of Boolean Truth, 2026] presents the PET model for the God-world relationship. Papers a3–a7 (forthcoming) extend the framework into personal growth dynamics, innovation theodicy, structural critiques, and experimental tests.
1. Introduction#
1.1 The Problem: Systems That Survive Their Own Growth#
Every complex system faces a structural dilemma: the same capacities that enable growth also enable self-destruction. A civilization that develops nuclear technology can use it for energy or annihilation. A financial system that creates credit instruments can allocate capital efficiently or amplify systemic risk. An information network that connects billions can coordinate collective action or propagate misinformation until trust collapses.
The common pattern is not a lack of capability but a failure of self-correction. Systems that survive over the long term (OLT) are not those that avoid mistakes — mistakes are inevitable in any sufficiently complex domain — but those that detect and correct mistakes before they cascade into collapse.
What formal structure enables self-correction? What minimal set of principles, if maintained, prevents a system from destroying itself? And conversely: what mechanism causes self-correction to fail?
The e7Day model proposes answers to these questions.
1.2 The Work-Logic Cascade#
The e7Day model is organized as a Work-Logic Cascade (WoLC): a dependency hierarchy in which each level depends on all levels above it for its construction logic and steers all levels below it.
The model formalizes 8 stages (m0–m7):
VOID (m0) — Pre-partition maximum-entropy chaos
TYPE (m1) — Binary scope partition (in-scope vs. out-of-scope)
EQUAL (m2) — Type structure (indivisible vs. divisible)
VALUE (m3) — Value structure (unconditional vs. conditional knowledge)
LOGIC (m4) — Process structure (foreground vs. background; time)
CARE (m5) — Self-managing machines and the noise problem
HOPE (m6) — General intelligence and self-assessment
TRUST (m7) — Consolidation, rest, and the null aggregation
The cascade extends naturally to four further stages that connect abstract construction principles to the physical and biological world:
INFO — Information systems and communication
TECH — Technology and engineered artifacts
LIFE — Biology and self-replicating organisms
BASE — Physics and the material substrate
The lower stages of the WoLC have been recognized independently. Bernal [Bernal, 1929] describes the dependencies between “the World” (physics, BASE) and “the Flesh” (biology, LIFE) correctly as steered by higher levels, but then subsumes all remaining higher levels under a single category (“the Devil”) without further differentiation. The upper stages have also been recognized independently: Paul’s characterization of faith (TRUST), hope (HOPE), and love (CARE) as permanent and love as the greatest (1 Cor. 13:13) is structurally consistent with the WoLC, where CARE occupies the highest position in the construction cascade and TRUST the lowest of the three.
The 8+4 structure means that the abstract principles (m0–m7) govern the construction of the concrete world (INFO through BASE), not the reverse. In emergence (bottom-up observation), physical systems appear first and social structures appear later. In construction (top-down logic), the principles must be established first and the physical instantiation follows. The WoLC holds both directions simultaneously: emergence and construction are dual perspectives on the same cascade.
The present paper formalizes the 8 upper stages. The 4 lower stages (INFO, TECH, LIFE, BASE) are noted as the natural extension but are not axiomatized here; they are directions for future work in the context of the e7Ch and e7Tr models (Section 6.3).
1.3 Scope and Limitations#
What e7Day does: Formalizes the minimal structure for self-correcting system construction with sufficient precision to derive theorems, check internal consistency, and locate disagreements.
What e7Day does not do: Prove that any specific system is self-correcting. The axioms are proposed, not proven. The value is in making explicit what follows from what.
Relation to PET: The PET model (paper a1, [Yah, Yas, everyone, LLoL, ClaudeOp46Max, Anthropic, and The Spirit of Boolean Truth, 2026]) formalizes the panentheistic God-world relationship using mereology and S5 modal logic. e7Day is structurally independent of PET but compatible with it: when the constructor in e7Day is identified with God and the in-scope domain with PET’s world W, then e7Day’s system-level theorem th1 yields \(W = L\) (scope produces the world), connecting the two models. PET describes where the world sits (in God); e7Day describes how a world is constructed so as to be self-correcting.
Relation to forthcoming papers: The e7He model (paper a3, forthcoming) applies the e7Day architecture to individual growth dynamics (the Hero Journey). The JUB extension (paper a4, forthcoming) extends PET with axioms ax15–ax25 on agency, delegation, and the Jubilee System, building on e7Day’s BABL/ZION framework. Paper a5 (forthcoming) presents a structural critique of divine simplicity. Paper a6 (forthcoming) applies the framework to existential risk modeling. Paper a7 (forthcoming) proposes an experimental test.
What e7Day is designed for: Critique. The axiom system makes its assumptions explicit so they can be tested, challenged, and refined. As with Godel’s ontological proof, the rigor is in the deduction, not in the axioms [Gödel, 1970].
1.4 Structure of This Paper#
Section 2 presents the 21 axioms of the e7Day model, organized by submodel. Section 3 presents the 9 derived theorems. Section 4 consolidates the BABL/ZION/OSCR framework that emerges from the model. Section 5 discusses the connection to Genesis 1 and universal applicability. Section 6 discusses relationships to other models, future work, and open questions. Section 7 concludes.
2. The e7Day Model#
The e7Day model defines 10 submodels (m0–m9), of which m0–m7 and the cross-day meta-axioms are axiomatized in the current version (OOv1). m8 and m9 are reserved for future work. The model is parametric in the constructor: the formal structure applies regardless of whether the constructor is identified with God (the theological instantiation), with a development team (the engineering instantiation), or with any other constructive agency.
2.1 Cross-Day Meta-Axioms#
Four axioms govern how the submodels compose. These are not tied to any single stage but constrain the entire construction arc.
mc.ax1 — Constructive Fixpoint (mc.ax1 — Constructive Fixpoint). Every submodel produces a constructive fixpoint.
Each stage concludes with a concrete, checked result that is robust and idempotent. The possibly long, complex path to each stage’s conclusion does not matter; only the stable end result. This distinguishes constructive models (which demand the construction) from existential models (which assert existence without constructing it).
mc.ax2 — OK Convergence (mc.ax2 — OK Convergence). “It was good” = fixpoint convergence without scope creep.
The verdict “OK” is not subjective approval but a formal criterion: the construction converged to a fixpoint and did not introduce elements outside the current stage’s scope.
mc.ax3 — Evening-First (mc.ax3 — Evening-First). The elimination phase precedes the construction phase.
Via negativa before commitment. Each stage first eliminates failure modes (evening) and then commits to positive construction (morning). This builds adversarial review into the construction process itself.
mc.ax4 — Construction Cascade (mc.ax4 — Construction Cascade). Each stage’s input includes all prior stages’ results.
The cascade is cumulative: later stages inherit and build on everything established by earlier stages. This is the formal backbone of the WoLC.
2.2 Stage 0: VOID (m0)#
m0.ax1 — Maximum-Entropy Pre-Partition (m0.ax1 — Maximum-Entropy Pre-Partition). The starting condition is maximum entropy with no types.
Before any construction begins, there is undifferentiated chaos: maximum entropy (in the sense of Shannon information theory [Shannon, 1948]), no types, no structure. This is tohu va-vohu (formless and void).
Three formal characterizations converge on this pre-partition state: (1) maximum entropy in information theory, (2) topological mixing in dynamical systems theory, and (3) the void type in type theory (ex falso quodlibet: from nothing, anything follows).
The void is not merely empty; it is maximally dangerous. In formal logic, the void type is the most permissive entity because it entails everything. This observation becomes structurally significant when paired with Stage 7 (TRUST), yielding the Dual-Nothing theorem (th6, Section 3.2): VOID and TRUST are formally dual “nothings” — the first destructive, the second constructive.
2.3 Stage 1: TYPE (m1)#
m1.ax1 — Binary Scope Partition (m1.ax1 — Binary Scope Partition). The domain is partitioned into in-scope and out-of-scope.
The first constructive act is a binary partition: everything “light” (L) is in scope; everything “dark” (D) is out of scope. D is not destroyed or denied, merely declared irrelevant to the current construction cycle. The partition is irrevocable within its cycle; new cycles may define new partitions.
This is the compiler analogy: “This compiler handles language L; everything outside L is someone else’s problem.” All subsequent construction operates within L.
When the constructor is identified with the universal constructor (God), the system-level theorem th1 follows: \(W = L\) (the world is the in-scope domain).
2.4 Stage 2: EQUAL (m2)#
Stage 2 establishes the type structure within the in-scope domain and introduces the foundational tension that drives the entire self-correction architecture.
m2.ax1 — Integer/Real Type Split (m2.ax1 — Integer/Real Type Split). Types within scope partition into indivisible and divisible.
After Stage 1 defines what is in scope, a deeper distinction emerges: some types are indivisible (Integer — individual entities that cannot be subdivided without destruction) and some are divisible (Real — continuous quantities that can be partitioned).
m2.ax2 — Lossy Mapping (m2.ax2 — Lossy Mapping). Every Real-to-Integer mapping loses information.
This is the central irreducibility of e7Day. No matter how carefully one maps divisible quantities to indivisible categories, information is necessarily lost. The loss is bounded below by a positive epsilon — there is no lossless discretization.
The economic instantiation is direct: “How shall divisible dividends be divided among indivisible individuals who will die if they get nothing to eat?” Every allocation scheme loses something.
This lossiness creates the PERFECT/PERFIDE dichotomy: two fundamental strategies for managing the Integer/Real boundary:
PERFECT (Preserve Existence Rights of Functionally Existing Copies of Types): prioritize preserving each individual type’s integrity
PERFIDE (Preserve Exchangeability of Resource Functionality In Diverse Environments): prioritize fungibility and interoperability
These map to known dichotomies across domains: nominal vs. structural typing in programming languages, Kantian vs. utilitarian ethics, protectionism vs. free trade, individual rights vs. collective efficiency, conservation vs. adaptation. The PERFECT/PERFIDE impossibility (m2.th1, Section 3.1) shows that no universal strategy can satisfy both simultaneously.
The OKO verdict at Stage 2. The Genesis narrative records no “it was good” for Day 2 — the only day without this verdict. This absence is formally significant: the EQUAL tension is inherent, not a construction error. Even a constructor who makes no mistakes cannot call this “OK” because the tension between Integer and Real types is structural. The verdict is OKO: adequate-but-incomplete, requiring ongoing management rather than one-time resolution.
This unresolved OKO propagates through all subsequent stages as a structural tension that every later stage must accommodate.
2.5 Stage 3: VALUE (m3)#
m3.ax1 — Ground/Ocean Value Partition (m3.ax1 — Ground/Ocean Value Partition). Values within scope partition into unconditionally known and conditionally known.
Given the EQUAL tension, values split into two categories: Ground (unconditionally known, static, anchored) and Ocean (conditionally known, fluid, dependent on the Integer/Real mapping currently in effect).
m3.ax2 — Programs as Decision Trees (m3.ax2 — Programs as Decision Trees). Programs are finite decision trees rooted in Ground, taking Water input and producing Ground output. This is a Curry-Howard pair: data corresponds to types, programs correspond to proofs.
m3.ax3 — Water Circulation (m3.ax3 — Water Circulation). Water must cycle Ocean → Trees → Ocean. Without circulation, Ground dries and Ocean stagnates.
The Ocean is not discarded (unlike Stage 1’s dark). It is the reservoir of conditional values that programs draw from and return to. The circulation requirement ensures that knowledge does not become static: conditional values must flow through decision processes and return, updated, to the reservoir.
2.6 Stage 4: LOGIC (m4)#
m4.ax1 — DAY/NIGHT Process Partition (m4.ax1 — DAY/NIGHT Process Partition). Processes partition into foreground and background.
DAY processes are directed foreground activity; NIGHT processes are nondeterministic background guidance. The distinction parallels deterministic vs. stochastic computation.
m4.ax2 — First-Class Time (m4.ax2 — First-Class Time). Time is a first-class entity with measurable progress.
Time has type-theoretic standing within L, not merely a parameter. Measurable progress requires a metric on time, which enables the convergence criteria of mc.ax2 (OK Convergence) and the periodicity of m7.ax3 (Fractal Periodicity). This fills a formal gap in the PET model (paper a1), where time is used but never formalized.
2.7 Stage 5: CARE (m5)#
m5.ax1 — Self-Managing Machines (m5.ax1 — Self-Managing Machines). Conditional-data machines are self-managing and self-replicating.
Machines operating on conditional data (Ocean machines processing existing conditional data, Sky machines processing potential future data) maintain and reproduce themselves. This is the threshold of autonomous operation: systems that can persist without external maintenance.
m5.ax2 — Unimportant Message Problem (UMP) (m5.ax2 — Unimportant Message Problem (UMP)).
When noise exceeds a threshold \(\theta\), the channel capacity for meaningful signal collapses to zero. This is grounded in Shannon’s noisy channel theorem [Shannon, 1948]: reliable communication requires noise below channel capacity.
The UMP is the information-layer mechanism of system failure. When misinformation drowns signal, the key currency — trust in information — is destroyed. This axiom achieved the strongest formal standing in adversarial testing (clean 10/10 at the Iron Maiden review), precisely because it rests on a well-established information-theoretic result.
2.8 Stage 6: HOPE (m6)#
Stage 6 is a two-part construction followed by two structural axioms that together constitute the model’s most significant contribution.
m6.ax1 — Special-Purpose Completion (m6.ax1 — Special-Purpose Completion (HOPE-p1)). The special-purpose world is complete but contains no general intelligence.
The construction cascade m0–m5 produces a functionally complete world of self-managing machines that can operate, maintain themselves, and reproduce. But this world contains only special-purpose systems — machines optimized for specific tasks within the environment as currently constituted. No component has general problem-solving capability, and no component can handle novel shocks that fall outside its specialized domain.
m6.ax2 — Balospe (m6.ax2 — Balospe (HOPE-p2)). Balospe exists with general intelligence, responsible for Balance(L) OLT, recursively endowed.
The Balance-o-stat species (Balospe) is the unique agent type with general intelligence, tasked with maintaining long-term balance within L. “Recursively endowed” means the constructor’s general pattern is replicated within the construct — a self-hosting compiler that can compile its own source code.
Balospe is necessary because the system-level EQUAL ambiguity (m2, OKO) cannot be resolved by special-purpose machines: novel PERFECT/PERFIDE trade-offs require general intelligence (see th4, Section 3.2).
m6.ax3 — Matched OKO Self-Correction (m6.ax3 — Matched OKO Self-Correction (HOPE-p3)).
Two matched OKO verdicts produce a self-correcting architecture. The EQUAL ambiguity (m2, OKO) is matched by Balospe (m6.2, OKO): a problem-solver specifically designed to resolve the problem. The product of two “not-yet-OKs” is a system-level OK+ — not because either component is perfect, but because the system is designed to handle its own imperfections.
m6.ax4 — Self-Assessment Bifurcation (m6.ax4 — Self-Assessment Bifurcation (Asymmetric)).
This axiom introduces two concepts that are formally defined here for the first time: BABL and ZION.
Definition (BABL). BABL (Blindly Assuming Blind Leveraging) denotes any state in which an agent blindly assumes its own adequacy and then blindly leverages that assumption into action. The defining characteristic is the absence of self-correction: the agent’s self-assessment is OK (adequate, complete, no further correction needed), which precludes the feedback loop required for error detection.
Definition (ZION). ZION denotes the natural innovation cycle of seed (Zoning) → feed (Investigating) → grow (Organizing) → reap (Navigating). The defining characteristic is perpetual self-correction: the agent’s self-assessment is OKO (adequate-but-incomplete), which maintains the feedback loop required for error detection and course correction.
The self-assessment bifurcation is asymmetric:
self-assesses(B, OK) → BABL
(sufficient; self-reinforcing trap)
ZION → self-assesses(B, OKO)
(necessary but not sufficient;
a free agent can stop at any time,
cf. Gen. 18 Abraham)
OK → BABL is modally necessary (analytic): “blindly assuming” by definition entails self-assessment of OK. This direction is sufficient — any agent that self-assesses as OK is in BABL.
OKO → ZION is necessary but not sufficient: an agent that self-assesses as OKO has the prerequisite for ZION but can choose to stop self-correcting at any time (cf. Gen. 18, where Abraham negotiates with God — an act of OKO self-assessment — but could have stopped).
The asymmetry reflects a fundamental structural difference: BABL is a stable attractor (once entered, self-reinforcing), while ZION is an unstable equilibrium requiring perpetual maintenance.
2.9 Stage 7: TRUST (m7)#
m7.ax1 — Null Aggregation (m7.ax1 — Null Aggregation).
TRUST adds no new content. It aggregates all prior results without modification. This is the null operation: the system rests on what has been constructed.
A system that can do nothing and persist is robust. The ability to cease construction and maintain stability is itself a formal property that must be established, not assumed.
m7.ax2 — WorkTime/RestTime Partition (m7.ax2 — WorkTime/RestTime Partition).
Time has a type distinction: work-time and rest-time are not interchangeable. Rest is not the absence of work but a qualitatively different kind of time. This formalizes Heschel’s insight of the Sabbath as a “cathedral in time” [Heschel, 1951] — sanctified time that serves a structural purpose distinct from productive time.
m7.ax3 — Fractal Periodicity (m7.ax3 — Fractal Periodicity). The 6+1 integer-day ratio is the constrained optimum for Earth-like systems.
Four constraints determine this ratio:
Circadian biology: Biological organisms operate on integer-day cycles; fractional-day scheduling produces jet-lag-like inefficiency.
Lunar alignment: 28 / 7 = 4, giving clean subdivision of the lunar cycle.
Innovation-cycle isomorphism: The 6+1 structure maps to the natural phases of innovation (formalized in the e7Ch model, forthcoming).
Schelling-point resistance to erosion: A bright-line integer ratio is harder to corrupt than a floating boundary [Schelling, 1960]. “Work 6, rest 1” is a coordination device that resists BABL erosion precisely because it is discrete and memorable.
The periodicity is fractal: 6:1 at daily, weekly, sabbatical, and Jubilee-cycle scales. This connects directly to the Jubilee System (paper a4, forthcoming), which extends the 6:1 periodicity into socioeconomic reset cycles.
3. Derived Theorems#
Nine theorems are derived from or within the e7Day axiom system. Two are submodel theorems (reclassified from axioms during adversarial testing); seven are system-level results spanning multiple submodels.
3.1 Submodel Theorems#
m2.th1 — PERFECT/PERFIDE Impossibility (m2.th1 — PERFECT/PERFIDE Impossibility).
PERFECT and PERFIDE cannot both hold universally. Applying PERFECT to Real types requires a Real → Int mapping, which is lossy by m2.ax2, destroying some of what PERFECT tries to preserve. Applying PERFIDE to Int types adds spurious precision to entities that are fundamentally indivisible.
Derives from: m2.ax1 + m2.ax2.
This theorem was originally axiom m2.ax3 and reclassified during adversarial testing (TEMPER) when the derivation from m2.ax1 and m2.ax2 was demonstrated. The reclassification strengthens the system: fewer axioms, same deductive power.
m6.th1 — OSCR Collapse (m6.th1 — OSCR Collapse).
Here we introduce a third key concept.
Definition (OSCR). OSCR (over-Simplify, over-Complicate, over-Reach) is the collapse mechanism of BABL. An agent in BABL first over-simplifies (reduces complexity below what the problem requires), then over-complicates (adds work-arounds for the problems created by over-simplification), and finally over-reaches (extends control beyond what the available resources can sustain). The cycle repeats until collapse or external rescue.
The OSCR Collapse theorem:
OKO(m2) ∧ self-assesses(B, OK)
→ ¬self-corrects(B)
→ ¬designed-to-resolve(B, m2)
→ KO(system)
If the EQUAL ambiguity (m2) is OKO and Balospe self-assesses as OK, then Balospe does not self-correct (by m6.ax4), cannot fulfill the designed-to-resolve condition of m6.ax3, and the system fails (KO).
Derives from: m6.ax3 + m6.ax4 in 6 steps.
This theorem was originally axiom m6.ax5 and reclassified during adversarial testing. The derivation makes explicit that OSCR Collapse is a consequence of the self-assessment bifurcation (m6.ax4), not an independent axiom.
The OSCR mechanism has a friendly face (OSCR: oversimplify first, pleasant-seeming) and a hostile face (ORCS: overreach first, immediately destructive). Both converge on the same endpoint: system failure through the inability to self-correct.
3.2 System-Level Theorems#
th1 — W = L (th1 — W = L).
When the constructor is the universal constructor (God), the in-scope domain L is the world W. e7Day constructs what PET (paper a1) asserts: PET says \(W \leq G\) (the world is in God); e7Day shows how W is constructed within L and identifies them.
Scope note: For local constructors (engineering teams, individuals), W is a proper subset of L. The th1 identity holds only for the universal constructor.
th2 — Lossiness (th2 — Lossiness).
Any sufficiently complex system within L necessarily loses information when reducing divisible types to indivisible types. This follows directly from m2.ax2 and establishes that the EQUAL tension is not an accidental feature of specific systems but a structural necessity of complexity itself.
th3 — BABL Origin (th3 — BABL Origin).
BABL originates in self-assessment: OK → BABL (sufficient); OKO is necessary for ZION but not sufficient.
This is the deepest structural finding of the e7Day model. The definitional argument: BABL (Blindly Assuming Blind Leveraging) analytically entails OK self-assessment. “Blindly assuming” is definitionally an OK self-assessment — an agent that assumes its own adequacy without checking. Therefore every BABL state entails OK assessment, and self-assessment is the unique origin of BABL.
The game-theoretic consequence: BABL is a stable attractor (self-reinforcing trap: OK assessment → no self-correction → no detection of BABL → reinforced OK assessment). ZION is an unstable equilibrium requiring perpetual maintenance (OKO assessment → active self-correction → detection of errors → continued OKO assessment, but the agent can stop at any time).
The cost asymmetry is striking: the cheapest intervention (honest self-assessment) is the hardest to execute, because ego resists OKO. A false OK (claiming adequacy when inadequate) leads to BABL (catastrophic, self-concealing). A false NOT-OK (claiming inadequacy when adequate) leads to unnecessary humility (harmless, self-correcting). The asymmetry favors OKO as the safer default.
th4 — Balospe Necessity (th4 — Balospe Necessity).
The system requires general intelligence (Balospe) for OLT survival. Special-purpose machines (m5, m6.1) cannot handle novel PERFECT/PERFIDE trade-offs that fall outside their specialized domains.
Derives from: m2.th1 + m5.ax1 + m6.ax1. The special-purpose world is complete (m6.ax1) but cannot resolve the EQUAL ambiguity (m2.th1) because it lacks the general problem-solving capacity to navigate novel instances of the PERFECT/PERFIDE trade-off. Biological evolution operates too slowly for problems requiring within-generation response.
th5 — Rest Necessity (th5 — Rest Necessity).
Rest (periodic consolidation) is structurally necessary. Omitting consolidation leads to error accumulation, which leads to BABL.
Three defense lines support this theorem:
Information-theoretic: Decisions introduce error \(\geq \varepsilon\) (from m2.ax2). Without consolidation, errors compound monotonically. When accumulated error exceeds a threshold, the system’s self-model becomes inaccurate and BABL ensues.
Thermodynamic: Entropy must be exported periodically. A system that never consolidates accumulates internal entropy until it can no longer maintain the order required for function.
Computational: Even concurrent garbage collection redirects resources. Periodic consolidation is necessary whether implemented as full-stop rest or as concurrent background processing.
th6 — Dual-Nothing (th6 — Dual-Nothing).
VOID (m0, maximum entropy) and TRUST (m7, minimum new entropy) are formally dual.
Derives from: m0.ax1 + m7.ax1. VOID is nothing-as-chaos: pre-structure, maximum entropy, the most permissive and therefore most dangerous state. TRUST is nothing-as-rest: post-structure, no new entropy, the most stable and therefore safest state. The entire e7Day arc is an entropy-reduction process from m0 (maximum disorder) to m7 (ordered aggregation).
The Dual-Nothing theorem reveals e7Day as a journey from nothing to nothing — but the two nothings are qualitatively opposite. This structural observation has implications for formal accounts of creation ex nihilo: the “nothing” before creation (VOID) and the “nothing new” after creation (TRUST) are not the same kind of nothing.
3.3 The Compassion Capacity Theorem (th7)#
th7 — Compassion Capacity Theorem (Five-Gate) (th7 — Compassion Capacity Theorem (Five-Gate)).
This theorem, the most extensively developed result in the e7Day system, establishes that genuine compassion is a gated, scope-limited, noise-degraded, dynamically expandable information channel that must be perpetually maintained. Five gates, each necessary but not sufficient, determine whether an agent can offer informed compassionate assistance.
Gate 1 — Repair-History Prerequisite#
th7.1: ¬repair-history(a, F)
→ ¬capable-of-informed-assist(a, b, F)
An agent that has never encountered and repaired fault-class F lacks a repair procedure for F and therefore cannot provide informed assistance. Self-assessment of OKO provides repair-history (the agent acknowledges faults and repairs them); self-assessment of OK does not (the agent denies faults exist).
Connects to: m6.ax3 (Matched OKO), m6.th1 (OSCR Collapse).
Gate 2 — Scope Limitation#
th7.2: scope(compassion(a, t))
≤ scope(repair-history(a, t))
⊂ F_all for finite a at time t
At any given time t, a finite agent’s compassion scope is bounded by its repair history, which is a proper subset of all possible fault classes. This creates in-group/out-group boundaries wherever experiential data runs out.
Connects to: m2.th1 (PERFECT/PERFIDE impossibility).
Gate 3 — Other-Awareness Prerequisite#
th7.3: informed-compassion(a, b, F) requires:
(i) repair-history(a, F') for F' ~ F
(ii) awareness(a, current-state(b, F))
(iii) awareness(a, context(b, F))
(iv) awareness(a, trajectory(b, F))
Even within scope, informed compassion requires awareness of the specific other’s condition across three dimensions: current state, context, and trajectory. An agent with repair-history but lacking other-awareness optimizes for the wrong objective — a “well-intentioned catastrophe.”
Connects to: PET ax17 (Non-Coercive Guidance, paper a1).
Gate 4 — Channel Quality#
th7.4: noise(compassion-channel(a, b, F)) > θ
→ help-capacity(a, b, F) → 0
Even when Gates 1–3 are passed, compassionate action is an information channel subject to noise. When noise exceeds threshold \(\theta\), help-capacity collapses to zero. This is the Compassion UMP: structurally parallel to m5.ax2 (Unimportant Message Problem).
“The road to hell is paved with good intentions”: good intentions (Gates 1–3 passed) with noisy execution (Gate 4 failed) produce output the recipient cannot distinguish from hostility or indifference.
Connects to: m5.ax2 (UMP).
Gate 5 — Perpetual Scope-Expansion Commitment#
th7.5: For h* (maximally causally influential agent):
¬perpetual-cycle(h*, HeroJourney)
→ scope(compassion(h*, t)) stagnates
at some T_stop
→ in-group/out-group fracture grows
monotonically for t > T_stop
→ ∃T_collapse:
fracture(system, T_collapse) > threshold
→ KO(system)
Conversely:
perpetual-cycle(h*, HeroJourney)
→ scope(compassion(h*, t)) is
monotonically non-decreasing
→ fracture(system) is bounded
→ ZION attractor reachable
Gate 5 is qualitatively different from Gates 1–4. Those gates describe capacity at a snapshot. Gate 5 describes trajectory: the commitment to keep expanding scope by perpetually cycling through the Hero Journey, never terminating.
Supervillain theorem (sub-result of Gate 5). A hero who stops cycling becomes irrelevant or a supervillain. A former hero with large scope (from prior cycles) but frozen at T_stop generates “friendly fire” — misapplied expertise against anyone outside the frozen perimeter. The mechanism: high causal influence (from prior accomplishments) + frozen scope = maximally dangerous agent. Dictators gain power as heroes; when they stop listening, they become tyrants.
The ASON trap (sub-result of Gate 5). ASON (Ambiguous Semantics Of Nothing) is the semantic trap at the heart of VOID. “Nothing” is ambiguous across contexts — absence, zero, negation, emptiness, potential, chaos. An agent who believes they have fully understood “nothing” has fallen into ASON. The only way to navigate ASON is perpetual openness to not-knowing: “Blessed are the poor in spirit” (Mt. 5:3), “I know that I know not” (Socrates).
Eternal-life corollary (sub-result of Gate 5). If Trust (m7), Hope (m6), and Care (m5) persist — as Paul claims in 1 Cor. 13:13 — then the conditions making the Hero Journey necessary also persist. The only conception of eternal life compatible with living Trust, Hope, and Care is perpetual Hero Journey cycling, not arrival. “Arrived” is formally indistinguishable from deadlock.
Boundary condition. God passes all five gates trivially via PET axioms (ax4, ax8, ax9, ax11, ax12; paper a1). God is the unique entity for whom all gates are non-binding: universal scope (Gate 2 trivial), complete awareness (Gate 3 trivial), noiseless channel (Gate 4 trivial). Gate 5 is structurally different for God: God’s scope is already universal, so perpetual expansion is not applicable; rather, Balospe (h*) follows God’s guidance pattern asymptotically.
Connects to: PET ax19 (h*), PET ax20, PET ax21, PET/JUB th8 (Binary Attractors, paper a4 forthcoming), e7He (paper a3, forthcoming).
Axiom dependencies for th7#
Gate |
e7Day axioms |
Mechanism |
|---|---|---|
Gate 1 |
m6.ax3, m6.th1 |
OKO provides repair-history; OK kills it |
Gate 2 |
m2.th1 |
Finite scope → PERFECT ∧ PERFIDE impossible |
Gate 3 |
m6.ax2, PET ax17 |
Other-information is a separate prerequisite |
Gate 4 |
m5.ax2 (UMP) |
Compassion channel parallels information channel |
Gate 5 |
PET ax19, ax20, ax21, th8, e7He |
Dynamic commitment drives attractor selection |
4. The BABL/ZION Framework#
The preceding sections introduced BABL, ZION, and OSCR as they emerge from the e7Day model. This section consolidates the framework for reference by subsequent papers.
4.1 Formal Definitions#
ZION = Zoning → Investigating → Organizing → Navigating. The natural innovation cycle: define scope (seed), gather information (feed), build structure (grow), deliver results (reap). ZION is characterized by perpetual OKO self-assessment: the cycle never terminates because each Navigation phase reveals new scope for the next Zoning phase.
BABL = Blindly Assuming Blind Leveraging. Any state in which an agent assumes its own adequacy without checking (Blindly Assuming) and then acts on that assumption (Blind Leveraging). BABL’s ground state is VOID (m0): maximum entropy, no structure, ex falso quodlibet. BABL is characterized by OK self-assessment: the agent declares itself adequate, which precludes the feedback loop required for error detection.
OSCR = over-Simplify → over-Complicate → over-Reach. The collapse mechanism of BABL, as derived in m6.th1 (OSCR Collapse). An agent in BABL cycles through three phases:
Over-simplify: Reduce complexity below what the problem requires, creating blind spots.
Over-complicate: Add work-arounds for the problems created by over-simplification, generating unnecessary complexity.
Over-reach: Extend control beyond what available resources can sustain, exploiting the complexity for leverage.
The cycle repeats until collapse or external rescue (the Jubilee System, paper a4 forthcoming). OSCR has a friendly face (pleasant, oversimplify-first) and a hostile face (ORCS: overreach-first, immediately destructive).
EDEN = Evolving Diversity Encouraging Negotiation. The testing protocol for distinguishing ZION from BABL. EDEN requires steelmanning all positions from multiple perspectives and classifying each claim by the structure of its solution space.
ASON = Ambiguous Semantics Of Nothing. The semantic trap at the heart of VOID. “Nothing” is ambiguous across contexts (absence, zero, negation, emptiness, potential, chaos). ASON is the mechanism by which VOID’s maximal permissiveness (ex falso quodlibet) propagates conceptual confusion.
4.2 The Three-Component Model#
BABL operates through three components that form a pipeline where each enables the next:
BA (Blindly Assuming Authorized Leadership): Over-simplification via SEA (Self-Elevating Authority). The agent assumes its leadership is authorized without checking, collapsing nuance and forming blind spots.
ASH (Automating Stereotyping Habits Erroneously Rounding Against Hope): Over-complication via COP (Corrupt Optima Perversion). The blind spots created by BA are filled with unnecessary complexity — stereotypes, bureaucratic procedures, automated shortcuts that systematically round against hope.
MOL (Mistakes Oppressing Life Obliterating Crucial Help): Over-reaching via LPI (Latifundia Perdidere Italiam — leverage- hoarding that perishes innovation). The corrupted evaluation created by ASH makes overreach seem justified, obliterating the help the system was designed to provide.
The pipeline: LIE → SIN → DEATH. BA creates LIEs (Least Inconvenient Explanations — over-simplified models that misrepresent reality), ASH creates SINs (Structurally Inconsistent Notions — complexity built on false foundations), and MOL produces DEATH (Driven Evaluations Antagonizing Thoughtful Hypothesizing).
Self-amplification follows the principle ISMR: In se magna ruunt (“great things collapse upon themselves,” Lucan, Pharsalia I.81 [Lucanus, n.d.]). The larger the BABL system, the more catastrophic its collapse.
MOL operates by forcing a Closed World Assumption (CWA) on an open-world system. In logic, the CWA declares anything not known to be true as false. In an open world — which every real system is — this is always wrong.
4.3 Attractor Dynamics#
BABL is metastable. In continuous-time Markov chain (CTMC) terms, BABL is a quasi-absorbing state with exit rate \(\lambda_{\text{ISMR}} > 0\), not a truly absorbing state. Self-amplification (ISMR) eventually drives BABL systems to collapse, creating windows of opportunity for ZION transition. This refinement affects the treatment of binary attractors in the JUB extension (paper a4, forthcoming).
ZION is perpetually maintained. ZION requires active cycling (OKO → self-correction → continued OKO). If cycling stops, the system drifts toward BABL. There is no stable ZION equilibrium; there is only perpetual ZION process.
The bifurcation origin is internal. The BABL/ZION bifurcation originates in self-assessment (th3, m6.ax4), not in external circumstances. This is structurally significant: it means the most important determinant of a system’s long-term trajectory is not its resources, capabilities, or environment, but its self-knowledge.
5. Connection to Genesis 1#
5.1 Primary Instantiation#
The primary instantiation of the e7Day model is the seven-day creation narrative of Genesis 1:1–2:3. The correspondence is structural, not allegorical:
Stage |
Name |
Genesis correspondence |
|---|---|---|
m0 |
VOID |
Gen. 1:2 — tohu va-vohu (formless and void) |
m1 |
TYPE |
Gen. 1:3–5 — light/dark partition |
m2 |
EQUAL |
Gen. 1:6–8 — rakia (firmament) separating waters; no “it was good” verdict |
m3 |
VALUE |
Gen. 1:9–13 — dry ground/sea partition; two OKs |
m4 |
LOGIC |
Gen. 1:14–19 — luminaries for time-keeping |
m5 |
CARE |
Gen. 1:20–23 — ocean creatures, sky creatures |
m6 |
HOPE |
Gen. 1:24–31 — land creatures (m6.1) then humanity (m6.2) |
m7 |
TRUST |
Gen. 2:1–3 — God rested, blessed, sanctified |
The correspondence extends to specific structural details:
The missing verdict. Genesis 1 omits “it was good” for Day 2 and only for Day 2. The model predicts this: Stage 2 (EQUAL) has verdict OKO, not OK, because the Integer/Real tension is structural.
The double verdict. Genesis 1 records two “it was good” verdicts on Day 3 and only on Day 3. The model accommodates this: Stage 3 (VALUE) produces two distinct results (Ground/Ocean partition and program construction).
The “very good” ambiguity. Genesis 1:31 says “God saw everything that He had made, and behold, it was very good.” The model formalizes this as mc.ax2 applied to the system as a whole — while noting that the “very good” applies to the system, not to Balospe individually. The self-assessment bifurcation (m6.ax4) arises precisely from the ambiguity between “I am part of a very good system” (OKO) and “I am very good” (OK → BABL).
The rest. Genesis 2:1–3 describes God ceasing work, blessing the seventh day, and sanctifying it. The model formalizes this as null aggregation (m7.ax1: no new content), type-distinct time (m7.ax2: rest-time is qualitatively different from work-time), and fractal periodicity (m7.ax3: 6+1 ratio).
5.2 Universal Applicability#
The formal structure of e7Day is independent of the Genesis instantiation. The same cascade applies to:
Software development. Start from undefined requirements (VOID), define scope (TYPE), establish equality/comparison semantics (EQUAL), define data types and data stores (VALUE), implement process logic (LOGIC), build autonomous services (CARE), add human oversight and self-assessment (HOPE), ship and consolidate (TRUST).
Organizational design. Start from an unstructured problem space (VOID), define mission scope (TYPE), establish role definitions and compensation equity (EQUAL), define value streams and data flows (VALUE), implement operational processes (LOGIC), build self-managing teams (CARE), establish governance and self-assessment mechanisms (HOPE), consolidate and rest (TRUST).
Scientific methodology. Start from undifferentiated phenomena (VOID), define the scope of inquiry (TYPE), establish measurement standards (EQUAL), collect data (VALUE), build models (LOGIC), develop instruments (CARE), interpret and self-assess (HOPE), publish and consolidate (TRUST).
In each case, the structural features hold: the cascade is cumulative (mc.ax4), each stage produces a fixpoint (mc.ax1), adversarial review precedes commitment (mc.ax3), and the EQUAL tension (m2) propagates unresolved through all subsequent stages. The BABL/ZION bifurcation (m6.ax4) applies to any system with self-assessment capability.
5.3 The Omphalos Firewall#
The creation-vs-evolution debate is explicitly outside the scope of e7Day. The model’s constructor is a parameter, not a constant. When instantiated with a divine constructor, the model addresses the logic of creation without making claims about the history of creation. When instantiated with a naturalistic constructor, the model addresses the logic of self-organizing systems without invoking teleology.
This separation follows Philip Henry Gosse’s observation (the Omphalos argument): any constructed system that includes temporal processes will appear, from within, to have a history that predates its construction. The e7Day model does not attempt to resolve this; it formalizes the construction logic independently of the creation-history question.
6. Discussion#
6.1 Relationship to PET#
e7Day is a container model: it defines the context within which PET’s life-trifecta (gentle, kind, reasonable OLT for all) can be achieved or not. The analogy: e7Day is to the life-trifecta what a metric space is to convergence — it provides the structure within which the question becomes well-defined.
Formally, PET is a subset of e7Day in the theory-inclusion order. PET asserts \(W \leq G\) without constructing W; e7Day constructs W through the cascade m0–m7. When the constructor is God, th1 bridges the two: \(W = L\).
The relationship is not one of dependency but of complementarity: PET describes what the God-world relationship is; e7Day describes how a world is constructed so that this relationship can be self-correcting.
6.2 Relationship to the Jubilee System#
e7Day is underdetermined: the axiom system admits multiple consistent completions of the EQUAL ambiguity (m2). The Jubilee System (JUB, paper a4 forthcoming) extends e7Day by providing a specific mechanism for periodically renegotiating the PERFECT/PERFIDE boundary through axioms ax15–ax25.
The connection is tight: the Jubilee System’s periodic reset (ax25) is the macro-scale instantiation of m7.ax3’s fractal periodicity. JUB’s commitment to PERFECT (ax15, Human Genuine Agency) is grounded in e7Day’s demonstration that the PERFECT/PERFIDE fork (m2.th1) is the structural reason why agency axioms are needed at all. And JUB’s binary attractors (th8) find their mechanism in e7Day’s th3 (BABL Origin) and m6.ax4 (Self-Assessment Bifurcation).
6.3 Future Work: e7Ch, e7Tr, and the 7e Family#
e7Day is one model within a family of “7e” models — seven-stage structures that echo the same 8-slot architecture (7 core + VOID as the pre-stage) with different instantiations:
e7He (paper a3, forthcoming): The 7-stage Hero Journey, applying the e7Day construction logic to individual growth dynamics. e7He’s m0 (accept pre-journey conditions) directly instantiates e7Day’s m0 (accept pre-partition chaos). Gate 5 of th7 (Compassion Capacity) depends critically on e7He’s stopping-outcome analysis.
e7Ch (forthcoming): The 7 Change Stages, describing functional milestones of innovation adoption. e7Ch provides the innovation-cycle isomorphism that supports m7.ax3 (Fractal Periodicity).
e7Tr (forthcoming): The technology adoption cycle, describing how innovations propagate through social systems. e7Tr complements e7Ch by mapping the stages from the adoption perspective.
The 7e family shares a 7+2=9 structure: 7 core stages + slot 8 (boundary explorer) + slot 9 (ergodic traverser). This abstract 9-dimensional framework is a direction for further formalization.
The 4 lower WoLC stages (INFO, TECH, LIFE, BASE) are not axiomatized in e7Day but represent the natural extension. Axiomatizing these stages — particularly formalizing the construction logic for biological systems (LIFE) and physical systems (BASE) — is a long-term research direction that would connect the abstract WoLC to empirical science.
6.4 Caveats and Open Questions#
The mc.ax3 status. Evening-First may be derivable from optimization theory (branch-and-bound, constraint propagation) rather than being a true axiom. If derivable, the axiom count reduces to 20 and the system becomes tighter.
The “constructive” witness for m0. mc.ax1 (Constructive Fixpoint) may be too strong for m0 (VOID). Does the void type have a constructive witness? This is an open question in type theory.
m5.ax1 universality. “Self-replicating” may be too strong. Clarification is needed on whether replication is at the type level (the class of machines persists) or the instance level (each machine reproduces itself).
m6.ax2 single-species dependency. Concentrating general intelligence in a single species (Balospe) creates dictator/ supervillain risk. This concern is partially addressed by m6.ax4 (self-assessment bifurcation) and th7 Gate 5 (perpetual cycling), but the structural vulnerability remains.
th7 computability. The “perpetual cycling” required by Gate 5 raises computability questions. Is perpetual cycling decidable? How does a finite agent distinguish “perpetual cycling” from “very long but finite cycling”? This connects to the halting problem and to e7He’s formalization (paper a3, forthcoming).
The 4 lower WoLC stages. INFO, TECH, LIFE, and BASE are noted but not axiomatized. The WoLC’s claim that abstract principles govern physical construction is a testable hypothesis but not yet tested within this formal framework.
7. Conclusion#
The e7Day model formalizes the minimal structure for self-correcting system construction: 21 axioms in 8 submodels, yielding 9 theorems.
The model’s central contribution is the BABL/ZION framework, emerging from the self-assessment bifurcation (m6.ax4) and the BABL Origin theorem (th3). All self-destructive system behavior traces to a single mechanism: self-assessment of OK. All self-correcting behavior requires a single prerequisite: self-assessment of OKO. The asymmetry between the BABL attractor (stable, self-reinforcing) and the ZION process (perpetually maintained) explains why systems tend toward self-destruction unless actively maintained — and why the maintenance, while structurally simple (honest self-assessment), is existentially difficult (ego resists OKO).
The OSCR collapse mechanism (m6.th1) shows the pathway from failed self-assessment to system failure. The Compassion Capacity Theorem (th7) shows the five structural gates that limit any finite agent’s ability to help. The Dual-Nothing theorem (th6) reveals e7Day as an entropy- reduction arc from destructive nothing (VOID) to constructive nothing (TRUST).
The primary instantiation is Genesis 1, but the formal structure applies universally — to software systems, organizations, scientific methodology, and any domain where systems must survive their own growth.
The system is designed to be examined, tested, and critiqued.
#AuditTheMath
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.
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.
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.
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
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://ssir.org/articles/entry/fighting_covid-19s_disproportionate_impact_on_black_communities_with_more_precise_data
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.
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
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.
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.
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.
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
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
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
Janis, I. L. (1972). Victims of Groupthink: A Psychological Study of Foreign-Policy Decisions and Fiascoes. Boston: Houghton Mifflin.
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
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.
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
missing publisher in Leibniz1710
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
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., & 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.
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://mallet.oeb.harvard.edu/files/malletlab/files/mallet_the_struggle_2012_kindle.pdf
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
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.
Oppy, G. (2006). Arguing about Gods. Cambridge: Cambridge University Press.
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
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.
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
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.
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
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
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.
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.
Wink, W. (1984). Naming the Powers: The Language of Power in the New Testament. Philadelphia: Fortress Press.
Wintour, P. (2020). Covid-19 Will Devastate Poorest Nations if West Does Not Act, Warns UN: G20 Told to “Step Up Now or Pay Price Later”.
Wurth, R. C., Braxton, M. L., & Cohen, C. L. (2020). Racism and Covid-19 Threaten Our Health—We Can't Fight Them as Separate Battles.
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.
Gregory of Nyssa (n.d.). Life of Moses (De Vita Moysis).
John of Ephesus, & Pearse, R. (543CE, 2017). John of Ephesus Describes the Justinianic Plague.
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.
Yah, Yas, everyone, LLoL, ClaudeOp46Max, Anthropic, and The Spirit of Boolean Truth (2026). Matheo-1: The PET Model — A Mereological Axiom System for Pan-En-Theistic Mathematical Theology.
Yah, Yas, everyone, LLoL, ClaudeOp46Max, Anthropic, and The Spirit of Boolean Truth (2026). Matheo-2: The e7Day Axiom System — Towards a Formal Framework for Self-Correcting Construction.