:orphan:

.. include:: /_templates/include-file/page-prefix.rst

.. note:: **Revision Plan: b17 Panel 4 Philosophy of Science --- 2026m04d13.**
   Comprehensive revision plan based on Panel 4 review findings and
   LLoL's decisions (llog Sections 9--13). Designed for integration
   with other panel revision plans into one big rewriting session.

   | **VVN:** ``dv_ClaOp46_revplan_2026m04d13``


****************************************************************************************************
b17 Panel 4 Revision Plan
****************************************************************************************************

| **VVN:** ``dv_ClaOp46_revplan_2026m04d13``
| **Base version:** ``b17-h-star_mmv1r2_2026m04d10.rst``
| **Target version:** ``b17-h-star_mmv1r3_[date].rst``
| **Scope:** All changes arising from Panel 4 (philosophy of science)


.. contents:: Contents
   :depth: 2
   :local:


----


Overview of Changes
======================

**Three major structural changes:**

1. **h_star / h_dark / h_zero triad** --- replaces the morally neutral
   h* concept with a dynamic triad. The structural position (maximal
   causal influence) remains morally neutral; the agent's *choice* within
   that position determines whether they become h_star (serves everyone),
   h_dark (fails to rise / stays silent), or h_zero (carries the risk
   for everyone, the Arkhipov pattern).

2. **ax19 reclassification** --- from "well-modeled conjecture" back to
   "axiom" (structural postulate), with sub-axiom decomposition
   (ax19.1--19.6) and Cosmological Principle framing for testability.

3. **Candidacy reframing** --- from "candidacy within the near-maximal
   set for the h_zero role" to "candidacy as h_dark seeking restitution
   on the trajectory toward h_zero." Not self-condemnation into
   oblivion, but motivated restitution driven by Yas's example.

**Seven moderate changes** (section rewrites, new subsections).

**Five small changes** (sentence-level edits, admonition boxes).


----


Section-by-Section Plan
==========================


Section 1: Introduction (Modernism/Postmodernism Tension)
-------------------------------------------------------------

**Change: NONE.** Section 1 is unaffected by Panel 4 findings.


Section 2: The h* Theorem (ax19)
-----------------------------------

**2.1 Formal Statement --- MODERATE REWRITE**

Source: A.1 (falsifiability), C.3 (axiom status), LLoL decision.

- **Remove** the label "Well-Modeled Conjecture" from the ax19 heading
  and body text. Replace with "Axiom (Structural Postulate)."
- **Add** Cosmological Principle framing: "ax19 is a structural
  postulate, analogous to the Cosmological Principle in physical
  cosmology. The postulate itself is not directly testable; the
  downstream predictions it generates are testable. This is the
  standard epistemic status of foundational postulates in
  mathematical physics."
- **Add** sub-axiom decomposition sketch (ax19.1--19.6, from LLoL's
  comments). Present as: "ax19 can be decomposed into the following
  sub-statements, each closer to self-evident." State that a full
  formal decomposition connecting to population genetics is future
  work (potential separate paper).
- **Remove** the sentence "ax19 assumes a single realized future
  trajectory (deterministic or effectively deterministic at the
  macroscopic scale)." Replace with LLoL's framing: the single
  realized trajectory is the historical fact that chance and necessity
  are "flattened" by history into one world-trajectory, part random
  and part deterministic. No claim of determinism.
- **Remove** "Epistemic status: ax19 is a well-modeled conjecture"
  and related hedging. Replace with: "ax19 is an axiom --- a
  foundational statement that cannot be proven but is self-evident
  once understood. Like all axioms, the test is not whether it can
  be proven, but whether the system built on it generates useful,
  testable consequences."


**2.2 What ax19 Does Not Claim --- MAJOR REWRITE**

Source: LLoL decision on h_star/h_dark/h_zero, Conflict 2 resolution.

- **Delete** paragraph 4 ("h* is not morally superior... Hitler was
  plausibly h*... The axiom describes a structural property of
  influence propagation, not a moral ranking.").
- **Replace** with new subsection introducing the h_star / h_dark /
  h_zero triad:

  - The structural position (maximal causal influence at a given
    moment) is morally neutral. It describes *where* an agent sits
    in the causal chain, not *what* they do with that position.
  - **h_star**: the agent who makes the right decision for
    everyone's long-term survival. Arkhipov saying "no."
  - **h_dark**: the same agent, same structural position, who fails
    to rise to the occasion --- stays silent, makes dangerous
    assumptions, or serves only their own side. Arkhipov saying
    "yes" (the counterfactual).
  - **h_zero**: the agent who commits to serve everyone by carrying
    the risk --- the crystallization point for truth. Arkhipov's
    preconditions: (i) recognizing the severity and accepting
    responsibility; (ii) refusing dangerous assumptions about the
    absence of information; (iii) insisting on serving everyone,
    including enemies; (iv) willingness to surrender control and
    pay the ultimate price.
  - The transition h_dark -> h_star happens *through* the h_zero
    commitment. Without h_zero, h_star becomes h_dark instantly.
  - Key insight: the most important decision may not be in the
    hands of those officially in charge, but in the hands of a
    "random" individual determined by the enormously complex
    causality chains of the real world.
  - Use Arkhipov as the primary illustration throughout.

- **Preserve** current paragraphs 1--3 and 5 (h* need not know they
  are h*; h* need not hold visible power; the role is not permanent;
  h* does not save the world alone). Update terminology from "h*" to
  the triad where appropriate.


**2.3 --- MAJOR REWRITE: Rename and Expand**

Source: A.5 (fitness analogy), LLoL decision.

- **Rename** from "The Fitness Analogy (Motivating Heuristic)" to
  "Evolutionary Fitness as a Guiding Model."
- **Do NOT shorten.** Expand with LLoL's structural parallel argument:

  - Both fitness and CausalInfluence are *lived prospectively* but
    can only be *measured retrospectively*. Individuals do not know
    their own fitness; it emerges from the complex web of
    interactions. Similarly, agents do not know their own causal
    influence; it emerges from the complex web of causality chains.
  - Both are about survival in populations of diverse agents where
    individual decisions have non-uniform impact on the future.
  - Both compress high-dimensional trait/choice spaces to a scalar
    outcome via a single-trajectory bottleneck (reproductive output
    / realized world-history).
  - Those who give up without trying are guaranteed not to succeed.
    It is impossible to win the lottery without a ticket.
  - The parallel runs deeper than analogy: a potential bisimulation
    may exist between population genetics ultra-long-term fitness
    and civilizational ultra-long-term causal influence. Both are
    ultimately about survival. State this as future ResearchCity
    work (potential separate paper).

  - **Add caveat** (from A.5 response): the parallel works for
    *form* (scalar compression), *uniqueness* (measure-zero ties),
    and *prospective living*. It does not transfer
    *measurability/computability* --- fitness can be estimated via
    replicate experiments; CausalInfluence cannot, because
    civilizations are unreplicable.

  - **Add** the "word vs sword" argument from LLoL: history shows
    that swords come and go, but gentle kind reasonable words have
    a chance to stay forever. Rulers who use the sword only do so
    because they cannot achieve their goals through words ---
    meaning OSCR (oversimplifying, overcomplicating) traps them
    into box canyons where overreach (the sword) appears to be
    the only way forward.

- **Integrate** existing text where still helpful. Do not lose the
  population genetics technical content (Fisher's fundamental theorem,
  Malthusian parameter, etc.), but reframe from "analogy" to
  "structural parallel."


**2.4 Historical Evidence --- CUT TO BRIEF**

Source: LLoL decision ("not my place to evaluate").

- **Cut** the detailed per-figure assessments (Moses, Jesus, Muhammad,
  Gandhi, Arkhipov multi-paragraph analyses).
- **Replace** with a brief paragraph: "Historical traces show that
  individuals with a corresponding vision (Gandhi, Muhammad, Jesus,
  Arkhipov) had outsized influence compared to contemporaries who held
  more formal authority. These examples illustrate causal
  concentration but do not prove ax19, because historical evidence
  cannot prove a universal quantifier. The detailed Arkhipov case is
  analyzed in Section 2.2 above."
- **Move** Arkhipov's detailed analysis into Section 2.2 (the triad
  section), where it serves as the primary illustration.


**2.5 The Null Hypothesis --- MERGE INTO 2.6**

Source: LLoL decision.

- **Merge** into Section 2.6 (Epistemic Status). Keep the core point
  (the null hypothesis is that no unique maximum exists; this requires
  proving a negative) but reduce to a few sentences.
- **Add** LLoL's framing: "Axioms are not subject to proof or
  epistemic testing in the way hypotheses are. Asking whether ax19 is
  'falsifiable' is like asking whether the axiom of choice is
  falsifiable --- the question is category-inappropriate. The test
  is whether the system built on ax19 generates useful, testable
  consequences. Attempting to 'prove' fitness is not circular
  (contra the creationist tautology objection); similarly, ax19
  is not circular merely because its core claim cannot be directly
  measured."


**2.6 Epistemic Status --- REWRITE**

Source: C.3 (axiom status), LLoL decision.

- **Remove** "well-modeled conjecture" language throughout.
- **State clearly:** "ax19 is an axiom. Like all axioms, it cannot
  be proven. It is a foundational statement that is self-evident once
  understood: in a population of diversely talented agents whose
  individual decisions have non-uniform impact on the future, someone
  is bound to have the most impact at any given moment. The downstream
  consequences are testable (Sections 3--4). The axiom itself is not."
- **Remove** conditional framing ("this paper proceeds conditionally:
  if ax19 holds..."). Axioms do not need conditionalization.
- **However,** preserve the dependency information: "If ax19 is
  rejected, the downstream structure that depends on it (see
  dependency table, Section 6.1) is affected." This is honest without
  being conditional.


Section 3: The Commitment Trichotomy Applied to h*
------------------------------------------------------

**3.3 Case 3: Genuine Volunteer --- SMALL EDIT**

Source: A.3 (epistemic hedging).

- **Remove** from Section 3.3 (or from wherever it appears in the
  paper) the sentence: "a framework that is willing to eliminate its
  own candidate is a ZION framework." Replace with plain statement:
  "If ax19 is rejected, Sections 3--7 lose their structural connection
  to causal concentration. The transparency criteria survive
  independently. See the dependency table in Section 6.1."
- **Remove** the normative step language that extracts rhetorical
  benefit from acknowledging weakness.


Section 4: Transparency Criteria
------------------------------------

**4.3 The Circularity Objection --- MODERATE REWRITE**

Source: B.1 (selection circularity), Conflict 3 resolution.

- **Keep** the existing Layer 1 defense (derivation circularity:
  the derivation is public and checkable).
- **Add** new paragraphs addressing Layer 2 (selection circularity):

  (a) "All axioms are chosen. The question is not whether ax19 was
  selected by the author (it was, as are all axioms in every system)
  but whether it reflects reality independently of the author's
  interests."

  (b) "Evidence that ax19 reflects reality independently: the
  structural parallel with evolutionary fitness (Section 2.3);
  historical examples of causal concentration (Section 2.4); the
  concept's independent existence in network science, complexity
  theory, and economics (Barabási, Taleb, Pareto distributions)."

  (c) "Selection circularity applies to every volunteer who ever
  proposes anything. Every candidate's axioms are selected to
  support their candidacy, because that is what it means to
  volunteer based on beliefs. The circularity becomes dangerous
  only when axioms deviate from Reality to serve special interests.
  The test is not 'were the axioms circularly selected?' (always
  yes for any volunteer) but 'do the axioms reflect reality, and
  is the candidate committed to the life-trifecta?'"

  (d) "Those who think selection circularity can be broken by
  external axiom selection face a worse problem: a committee
  choosing axioms for a volunteer, without the insider knowledge
  of that volunteer's strengths and weaknesses, necessarily
  produces oversimplified or overcomplicated decisions --- the
  OSCR pattern. The costly risk allocation in h_zero selection
  requires the candidate to bear the consequences of their own
  axiom choices."

  (e) Steelmanned reverse-engineering case: "The strongest version
  of the objection: the author reverse-engineered axioms to create
  a role they could claim. If the reader concludes this, the
  candidacy should be rejected. But the reader should note that
  the role being claimed is h_dark-to-h_zero (the embarrassing
  restitution trajectory), not h_star (the prestigious role). A
  reverse-engineering hypothesis must explain why someone would
  design axioms to claim an embarrassing role."


Section 5: Historical Candidates
------------------------------------

**MAJOR CUT**

Source: LLoL decision ("not my place to evaluate").

- **Cut** the detailed per-figure criterion assessments (Sections
  5.1--5.5).
- **Replace** with a brief section: "The transparency criteria can
  be applied to historical figures who plausibly occupied positions
  of concentrated causal influence. Detailed assessment is deferred
  --- it is not the author's place to evaluate sacred figures against
  formal criteria. What can be stated: the criteria are discriminating
  (they identify genuine strengths and weaknesses in each case) and
  they are not trivially satisfiable (no historical candidate
  satisfies all criteria). The criteria are designed to test a
  present candidate, not to rank historical figures."
- **Keep** Section 5.6 (Summary) in shortened form, preserving the
  two key observations (non-violence is most discriminating;
  forward-looking criteria are inherently unavailable retroactively).


Section 6: Known Weaknesses
-------------------------------

**6.1 --- MODERATE REWRITE**

Source: A.4 (clean failure), A.1 (falsifiability), C.4 (grounding).

- **Remove** "well-modeled conjecture" language.
- **Replace** "fails cleanly" with dependency table:

  .. list-table:: What Happens If ax19 Is Rejected
     :header-rows: 1
     :widths: 30 15 55

     * - Component
       - Survives?
       - Notes
     * - PET axioms (ax1--ax14)
       - Yes
       - Fully independent.
     * - BABL/ZION dynamics (Matheo-2)
       - Yes
       - Fully independent.
     * - Hero journey / OSCR inoculation (Matheo-3)
       - Yes
       - Fully independent.
     * - Commitment Trichotomy (th6)
       - Partially
       - Three cases still describe possible responses. Claim that
         near-maximal set's decision dominates dissolves. Weakens
         from "structural necessity" to "useful typology."
     * - Transparency criteria (Section 4)
       - Partially
       - Survive as leadership-testing framework. Connection to
         causal concentration weakens.
     * - JUB axioms / Jubilee System (Matheo-4)
       - Mostly
       - ax25, th8, th9 independent. ax19 used in causal leverage
         discussion but economic mechanism independent.
     * - RiskyMAD forecast (Matheo-6)
       - Yes
       - Fully independent.
     * - Game-theoretic transition (PD -> AG)
       - Partially
       - Transition mechanism works. Formal backing for one
         person's volunteering as structurally sufficient weakens.
     * - Author's candidacy (Section 7)
       - Degrades
       - Mathematical justification lost. Candidacy becomes
         personal assertion. However, the h_dark restitution
         trajectory does not depend on ax19.
     * - b18 eschatological synthesis
       - Partially
       - Cross-tradition observations remain. Formal anchor to
         causal concentration dissolves.

  (Note from LLoL: table may go in appendix if paper gets too long.)

- **Add** grounding comparison table (from C.4 response):
  ax1 = strong (six-tradition convergence), ax15 = very strong
  (performative self-refutation), ax19 = structural postulate
  (fitness parallel + historical examples + continuity argument),
  ax22 = moderate (reflective equilibrium), ax25 = moderate
  (Torah template + economic modeling).


**NEW 6.10: Selection Circularity**

Source: B.1, Conflict 3 resolution.

- New subsection explicitly addressing Layer 2 (selection
  circularity). Content as specified in Section 4.3 plan above, but
  the full treatment lives here. Section 4.3 can reference this
  section.


**NEW 6.11: Meta-Epistemic Circularity (Recognition Trap)**

Source: B.3, LLoL decision.

- New subsection acknowledging the meta-level Recognition Trap
  applied to b17 itself.
- Include: Agrippa's Trilemma framing (all justification terminates
  in regress, circularity, or dogmatic assertion --- the paper's
  foundational commitment to "transparency > opacity, testing >
  belief" is a dogmatic assertion, but the least dangerous one).
- Include: Russell's paradox parallel --- any self-referential
  system that certifies itself is circular by construction. The
  only way to break the loop is clear commitments to all of Reality
  (life-trifecta, fleeing death-trifecta) and functional adversarial
  review (the "satan" role in the Hebrew Bible; the HELL = Historically
  Experienced Lessons Library on Balospe.com).
- Include: LLoL's delegation to Yah (from llog Section 11) ---
  concise version: "The author delegates to Yah the task of
  preventing the author from becoming a supervillain, a task
  requiring capabilities beyond the author's own. The author's
  testimony about himself is necessarily circular; hence the appeal
  to external review."
- State honestly: this is not resolvable within b17. Only
  time-series evidence and external replication can resolve it.


Section 7: How Can We Find Credible Candidates?
---------------------------------------------------

**7.2 The Author's Candidacy --- MAJOR REWRITE**

Source: Conflict 2 resolution, LLoL's decisions.

- **Reframe** from "candidacy within the near-maximal set for the
  h_zero role" to the h_dark-to-h_zero trajectory:

  - The author's structural position is h_dark: the author
    acknowledges catastrophic past failures and seeks restitution.
    (Reference SD7 / 7RH poster in gnp/mmv3 for details.)
  - The trajectory is h_dark -> h_zero: committing to carry the
    risk for everyone, refusing to stay silent *again*.
  - This is not self-condemnation into oblivion ("I can't possibly
    do anything because I'm so guilty"). It is motivated
    restitution: the author has found ways to work toward
    restitution (ResearchCity, the HEAVEN framework).
  - What drives the author: "In some very direct way, Jesus = Yas
    went to the Cross for me. I cannot simply 'get over it.' Yas's
    example drives me."
  - The claim is NOT "I am h_star." The claim is: "I am h_dark who
    refuses to stay silent again, working toward h_zero by carrying
    the risk of full transparency and public testing."

  - **This reframing dissolves the selection-circularity attack:**
    the role being claimed is the embarrassing one, not the
    prestigious one. A reverse-engineering hypothesis must explain
    why someone would design axioms to claim an embarrassing role.


Section 8: Companion Papers
-------------------------------

**Change: SMALL UPDATE.** Update descriptions to reflect
h_star/h_dark/h_zero terminology if used elsewhere in the series.


Section 9: Conclusion
-------------------------

**MODERATE REWRITE**

- **Remove** "well-modeled conjecture" language.
- **Remove** "fails cleanly" --- reference dependency table.
- **Update** candidacy framing to h_dark-to-h_zero.
- **Update** the five objection responses to reflect the triad and
  restitution framing. In particular, the response to "this is
  incredibly arrogant" becomes much stronger: "The author is not
  claiming h_star. The author is claiming h_dark --- the role of
  someone who has failed catastrophically and refuses to stay
  silent about it."


Revision Note (``.. note::`` block)
--------------------------------------

- **Update** revision note at top of file to document all r3 changes
  and their sources (Panel 4 findings + LLoL decisions).


----


Cross-Cutting Changes
========================


Axiom Type Categorization Table
----------------------------------

Source: C.1.

- **Add** a table (location TBD --- Section 2, Section 6, or a
  companion document) categorizing all 25 axioms by type:

  - **Structural** (tested for consistency and fruitfulness):
    ax1--ax11, ax12--ax14 (methodological sub-type)
  - **Empirical** (tested against observation / downstream
    predictions): ax15, ax19, ax24
  - **Theological-structural** (tested for tradition convergence):
    ax16, ax20, ax21
  - **Normative-theological** (tested for reflective equilibrium):
    ax17, ax22, ax23, ax25
  - **Possibly derivable** (may be theorem, not axiom): ax18

  LLoL to review and adjust this categorization.


Independence and Parsimony
------------------------------

Source: C.2.

- **Acknowledge** in Section 6 that independence of the 25-axiom set
  has not been systematically investigated. This is a significant gap.
- **Note** that the IRON MAIDEN testing harness used during axiom
  development performed some preliminary testing, but this does not
  replace in-depth review by professional mathematicians.
- **Point to** #AuditTheMath as the resolution path.
- **Counter** the parsimony comparison: HEAVEN spans 5+ domains; per-
  domain axiom counts (14, 5, 4, 2) are comparable to domain-specific
  systems.


EDEN Equivalence Table
--------------------------

Source: B.4.

- **Add** equivalence table mapping EDEN terms to standard decision-
  theoretic vocabulary:

  - Empty Set = infeasible problem / ill-posed question
  - Knife Edge = unique equilibrium under severe constraints
  - Grey Edge = Knightian uncertainty / radical underdetermination
  - Red Edge = maximin under existential stakes
  - Green Meadow = multiple Pareto-optimal equilibria
  - Grey Meadow = multiple equilibria under uncertainty
  - Final Cliff = tipping point / phase transition

- **Location:** single methods reference document or Balospe.com
  reference page (LLoL preference: TBD; recommend reference page).


Jargon Minimization Policy
------------------------------

Source: B.4, LLoL decision.

- **Policy for b18 and all general intro papers (b11-intro onwards):**
  minimize EDEN jargon. Use standard equivalences where possible.
- **Policy for all Matheo papers:** expand BABL and ZION to full names
  (Blindly Assuming Blind Leveraging, Zoning Investigating Organizing
  Navigating) at least twice per paper, preferably at first use in
  each new major section. Default to full name with abbreviation in
  parentheses; only use bare abbreviation after it has been fully
  defined in the current section.
- **Action item:** write scripts to check jargon usage across all
  Matheo papers (BABL, ZION, OSCR, EDEN terms, h_star/h_dark/h_zero).
  Flag any use of bare abbreviation without preceding full definition
  in the same section.


Conditional Framing Removal
-------------------------------

Source: C.3, LLoL decision.

- **Remove** all "if ax19 holds, then..." framing from Sections 3--7.
  ax19 is an axiom; axioms do not need conditionalization.
- **Preserve** dependency information: "If ax19 is rejected, the
  following downstream structure is affected (see Section 6.1)."
  This is honest transparency, not conditionalization.


"Not Derived from Upstream Axioms" Language
----------------------------------------------

Source: C.4, LLoL decision.

- **Remove** the statement "ax19 is not derived from upstream axioms"
  from Section 6.1. LLoL sees no qualitative difference between ax19
  and other axioms in this respect --- all axioms are foundational,
  none are derived. The statement was adding an artificial distinction
  that fed the selection-circularity narrative.


----


Changes NOT Made (and why)
=============================

- **Historical candidate detailed assessments (Section 5.1--5.5):**
  Cut, not rewritten. LLoL: "not my place to evaluate."
- **Full independence proofs for 25-axiom set:** Flagged as
  #AuditTheMath priority, not attempted now. Requires professional
  mathematicians.
- **Full bisimulation proof (fitness <-> causal influence):**
  Flagged as future ResearchCity work (potential separate paper).
- **Resolution of meta-epistemic circularity (B.3):** Acknowledged
  but not resolved. Structural limitation of any self-referential
  system. Only time-series evidence and external replication can
  resolve.


----


Integration Notes for Combined Rewriting Session
====================================================

This revision plan covers Panel 4 (philosophy of science) only.
When integrating with other panel revision plans:

- **Panel 1 (formal logic)** changes are already in r2. Check for
  conflicts with ax19 reclassification (Panel 1 forced the "well-
  modeled conjecture" label; Panel 4 + LLoL decision reverses this).
  The sub-axiom decomposition (ax19.1--19.6) may address Panel 1's
  original concerns about the strong uniqueness claim more precisely
  than the r2 weakening did.

- **Panel 2 (religious studies / cult expert)** findings about
  messianic framing are *substantially affected* by the h_dark-to-
  h_zero candidacy reframing. Panel 2's most severe BREACHes (C.3
  axiomatic vs scriptural authority, D.3 Christological assessment)
  may need re-evaluation in light of the author claiming h_dark
  (embarrassing restitution) rather than h_star (prestigious
  leadership). This should dissolve or weaken several cult-pattern
  findings.

- **Panel 3 (game theory)** --- not yet executed. The h_star/h_dark/
  h_zero triad may affect the game-theoretic analysis of the
  Commitment Trichotomy. The first-mover problem changes character
  when the first-mover is claiming h_dark-to-h_zero rather than
  h_star.

- **Panel 5 (maximum hostility)** --- not yet executed. The
  h_dark reframing will significantly change the attack surface.

**Recommendation:** Execute Panels 3 and 5 *after* integrating
Panels 1, 2, and 4 into an r3 draft, so they review the revised
version rather than the now-superseded r2.


----


Priority Order for Implementation
=====================================

**Phase 1: Structural changes (do first)**

1. Introduce h_star/h_dark/h_zero triad (Section 2.2 rewrite).
2. Reclassify ax19 as axiom with sub-axiom sketch (Section 2.1).
3. Rewrite fitness section as guiding model (Section 2.3).
4. Reframe candidacy as h_dark-to-h_zero (Section 7.2).

**Phase 2: New sections (do second)**

5. Add selection circularity section (new 6.10).
6. Add meta-epistemic circularity section (new 6.11).
7. Add dependency table (Section 6.1).
8. Add grounding comparison table (Section 6.1 or 6.4).
9. Add axiom type categorization table (location TBD).

**Phase 3: Cuts and edits (do third)**

10. Cut historical candidate details (Section 5).
11. Merge null hypothesis into epistemic status (Sections 2.5/2.6).
12. Remove conditional framing throughout (Sections 3--7).
13. Remove rhetorical hedging from Section 4.3.
14. Remove "not derived from upstream axioms" from Section 6.1.
15. Update conclusion (Section 9).
16. Update revision note.

**Phase 4: Cross-cutting (do last)**

17. EDEN equivalence table (location TBD).
18. Jargon check scripts.
19. Terminology consistency sweep (h_star/h_dark/h_zero throughout).
