:orphan:

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

.. note:: **Prompt: Patch b17 MMv2 --- Resolve 6 Remaining BREACHes (v1) --- 2026m04d16.**
   Targeted edits to the MMv2 formal paper and intro to close the 6
   remaining BREACH items from the Panels 1--4 recheck. These are
   surgical additions and language fixes, not a structural revision.
   Designed for execution in a fresh context window at maximum effort.

   | **VVN:** ``iv_LLoL_v1_2026m04d16``


************************************************************************************
Prompt: Patch b17 MMv2 --- Resolve 6 Remaining BREACHes
************************************************************************************

| **VVN:** ``iv_LLoL_v1_2026m04d16``
| **Target output:**
|   Patched formal paper: ``hell/mm/b/17/mmv2/b17-h-star_mmv2_2026m04d14.rst`` (edit in place)
|   Patched intro: ``hell/mm/b/17/mmv2/b17-h-star-intro_mmv2_2026m04d14.rst`` (edit in place)
|   Patch llog: ``hell/ll/study/b/17/study_ll_2026m04d16_b17-mmv2-patch-llog.rst``


Purpose
=========

The recheck of b17 MMv2 against Panels 1--4 found 9 remaining items.
Two are excluded (Q3: formal probability model requires professional
measure theorist; Q6/A.1: ax19 falsifiability is an honest design
trade-off). One (Panel 4 A.1) overlaps with Q6.

This prompt resolves the remaining **6 items** through targeted edits.
No structural changes. No new sections. Just surgical additions and
language fixes to the existing MMv2 text.


Step 1: Read These Files
===========================

1. ``.claude/CLAUDE.md``
2. b17 formal paper (MMv2):
   ``source/matheology/hell/mm/b/17/mmv2/b17-h-star_mmv2_2026m04d14.rst``
3. b17 general intro (MMv2):
   ``source/matheology/hell/mm/b/17/mmv2/b17-h-star-intro_mmv2_2026m04d14.rst``
4. Recheck report (for context on what remains):
   ``source/matheology/hell/ll/study/b/17/recheck_b17-mmv2-panels1234_2026m04d14.rst``


Step 2: Fix Panel 2 B.1e --- "the math says" Language
========================================================

**Problem:** A few borderline instances remain where "the math" is used
as an authority move rather than an invitation to check.

**Action:** Search both the formal paper and the intro for ALL instances
of phrases like "the math says," "the math shows," "the math confirms,"
"the math tells us," or similar constructions where mathematics is
invoked as an authority rather than an invitation.

**Replace with** context-appropriate alternatives:

- "the math predicts --- check it yourself"
- "the derivation yields"
- "the analysis predicts"
- "the framework predicts"
- "the model predicts"

**Exception:** "the math" used in invitations like "audit the math" or
"check the math" is fine --- those are invitations, not authority moves.

**Report:** List every instance found, the original phrasing, and the
replacement chosen. If an instance is genuinely an invitation (not an
authority move), note it as KEPT with reason.


Step 3: Fix Panel 3 C.3 --- Free-Rider Problem in Formal Paper
==================================================================

**Problem:** The free-rider problem is addressed in the intro (Section
3.3, ResearchCity/Dunbar-scale communities) but only implicitly in the
formal paper through the conditional cooperation discussion in Section
3.4.

**Action:** Add 2--3 sentences to Section 3.4 of the formal paper,
after the conditional cooperation paragraph (point 5), explicitly
naming and addressing the free-rider problem. Something like:

   The free-rider problem --- the concern that most people will enjoy
   the benefit of cooperation without contributing --- is addressed
   through community structure. The plan is not "one person sacrifices
   and 8 billion people benefit for free." Dunbar-scale communities
   (~150 people) create mutual accountability that makes free-riding
   socially costly. The Jubilee System's periodic recalibration
   (ax25, **[Matheo-4]**) prevents accumulated free-riding from
   becoming structural.

Adapt the wording to fit the surrounding text's tone and level of
formality. The key requirement: the phrase "free-rider problem" must
appear explicitly in the formal paper, not just the intro.


Step 4: Fix Panel 3 C.1 --- Bounded Rationality
===================================================

**Problem:** The PD model assumes rational actors without engaging
behavioral economics literature. Bounded rationality (Kahneman &
Tversky, Simon's satisficing) could strengthen or weaken the h*
argument.

**Action:** Add a short paragraph (4--6 sentences) to Section 3.4
of the formal paper, after the OSCR-degrades-folk-theorem paragraph.
The paragraph should:

1. Acknowledge that the PD framing assumes rational actors.
2. Note that bounded rationality (Simon 1955, Kahneman & Tversky 1979)
   means real actors use heuristics, not expected-utility maximization.
3. Argue that bounded rationality *strengthens* the case for a
   first-mover catalyst: if people use availability heuristics and
   status-quo bias, the BABL default is even stickier than the rational
   PD predicts --- breaking out requires a more salient signal, not
   less.
4. Note that approximately 50% of people are conditional cooperators
   (already cited) --- this is a behavioral finding, not a rational-
   choice prediction, and it supports the tipping-point mechanism.
5. Acknowledge that a full behavioral game-theory treatment is future
   work for ResearchCity.

Keep it concise. Do not over-expand Section 3.4.


Step 5: Fix Panel 3 C.2 --- Experimental Assurance Game Evidence
===================================================================

**Problem:** The PD-to-Assurance Game transformation is presented
theoretically without citing experimental studies.

**Action:** Add 2--3 sentences to Section 3.3 of the formal paper,
near the discussion of payoff dominance and risk dominance (where
Harsanyi & Selten 1988 is cited). The addition should:

1. Cite experimental evidence that credible first-movers trigger
   cooperation cascades in Assurance Game experiments (Brandts & Cooper
   2006, "A Change Would Do You Good"; Van Huyck, Battalio & Beil 1990
   on coordination games).
2. Note that experimental findings confirm the theoretical prediction:
   when a credible signal reduces uncertainty about others' cooperation,
   payoff dominance prevails over risk dominance.
3. Acknowledge that lab experiments use small groups; scaling to
   civilizational coordination is an open question.

Keep it to 2--3 sentences integrated into the existing paragraph flow.


Step 6: Fix Panel 3 B.2 --- Multi-State Crisis Rate
=======================================================

**Problem:** The 0.1/year crisis rate is for the bilateral Cold War.
The current 9-state world has a higher rate. The Panel 3 author reply
estimated ~0.20/year conservatively, but this number is not in the
paper.

**Action:** Add 1--2 sentences to Section 3.4 of the formal paper,
in the empirical argument paragraph (where the Doomsday Clock and
80-year timeframe are discussed). The addition should:

1. State explicitly that 0.1/year is the Cold War bilateral rate.
2. Note that the current 9-nuclear-state world with 36 bilateral
   crisis pathways yields a conservatively estimated system-wide
   crisis rate of approximately 0.20/year or higher (citing the India-
   Pakistan dyad's independent crisis frequency as supporting evidence).
3. Note that this *strengthens* the urgency argument: the median time
   to catastrophe shortens, making the activation-energy problem more
   pressing.

Do NOT change the RiskyMAD model itself (that is b16's domain). This
is a contextual note about the real-world rate being higher than the
model's baseline estimate.


Step 7: Fix Panel 4 B.4 --- EDEN Inline Equivalences
========================================================

**Problem:** EDEN terms are used without providing standard decision-
theoretic equivalences. The full equivalence table is deferred, but
inline glosses would help.

**Action:** In the formal paper, wherever an EDEN term appears for the
first time in a substantive role, add a parenthetical gloss with the
standard equivalent. Specifically:

- **Red Edge** (first substantive use, Section 3.3): add "(high-cost
  unique strategy under existential stakes; cf. maximin)"
- **Grey Meadow** (if used in Section 6 or 9): add "(multiple paths
  forward under uncertainty; cf. multiple equilibria with Knightian
  uncertainty)"
- **Knife Edge** (if used): add "(unique equilibrium under severe
  constraints)"
- **Grey Edge** (if used): add "(decision under radical uncertainty;
  cf. Knightian uncertainty)"

Only gloss each term once, at first substantive use. Do not add
glosses to terms that are already explained in context. If a term
does not appear in the formal paper, skip it.


Step 8: Output Format
========================

**Edits:** Apply all changes directly to the two MMv2 files (formal
paper and intro). These are in-place edits, not new files.

**Patch llog:** Save at
``source/matheology/hell/ll/study/b/17/study_ll_2026m04d16_b17-mmv2-patch-llog.rst``

Include in the llog:

1. Verbatim prompt reference.
2. Files read.
3. Per-item change log (what was changed, where, exact old/new text).
4. Items confirmed resolved.
5. Any issues discovered during patching.

**Update aaa.rst** --- add the prompt to the prompts table (new row
after panels1234-recheck) and the llog to the per-paper outputs
section and toctree.

**Language Rules:** Full CLAUDE.md compliance. Use "test"/"check,"
never "validate"/"verify." Use HELD/BREACH, never PASS/FAIL. Use
YYYYmMMdDD format. BABL before ZION.