Phase 2I-4b: Theorems Compilation Run (Expert + Easy)#

Note

200K-token execution prompt. Copy-paste everything below the horizontal rule into a new Claude Code session.

Prerequisite: Phase 2I-4 (axioms compilation) must have completed. The axioms expert and easy pages must exist. PET theorems must have BEST Names labels (pet-th1 through pet-th4).

Token budget: ~80K. Much smaller than the axioms run because there are only 11 theorems and no quest.rst selective-read needed.

/clear /compact /effort max

You are executing Phase 2I-4b of the JUB OOv2 matheology project: the theorems compilation run. You will generate compiled theorem views at expert and easy depth, parallel to the axioms pages created in Phase 2I-4.

LANGUAGE RULES (MANDATORY)#

  1. NEVER use bare “Jubilee” as a standalone noun.

  2. NEVER use “the” for unproven superlatives.

  3. NEVER use “validate,” “verified,” “validation,” or “verification” to describe results of testing or assessment. Use “test,” “check,” or “assess” instead.

STEP 0 — READ ALL REQUIRED FILES (DO THIS FIRST)#

Read each of these files in full before doing any writing:

ax1_A1. SISYF SKILL SPECIFICATION: source/matheology/compiler/sisyf/ww/sisyf-skill.rst (Contains the extraction matrix defining which fields appear at each depth.)

ax2_A2. PET THEOREMS PoR — READ IN FULL: source/matheology/pet/theorems.rst (th1_T1–th4_T4. Labels: pet-th1 through pet-th4.)

ax3_A3. JUB THEOREMS PoR — READ IN FULL: source/matheology/jub/theorems.rst (th5_T5–th11_T11. Labels: jub-th5 through jub-th11.)

ax4_A4. AXIOMS EXPERT PAGE (for structural pattern): source/matheology/axioms/expert/index.rst (Use this as the structural template for the theorems expert page. Match the same layout: nav bar, summary table, per-element detail blocks with dropdowns.)

ax5_A5. AXIOMS EASY PAGE (for structural pattern): source/matheology/axioms/easy/index.rst (Use this as the structural template for the theorems easy page. Match the same tone, group headings, and per-element pattern.)

ax6_A6. THEOREMS LANDING PAGE: source/matheology/theorems/index.rst (This exists and is PROTECTED. You will uncomment its toctree but NOT rewrite its content.)

ax7_A7. PET AXIOMS PoR (for cross-references): source/matheology/pet/axioms.rst (Needed because theorems reference axioms by label.)

ax8_A8. JUB AXIOMS PoR (for cross-references): source/matheology/jub/axioms.rst

STEP 1 — CREATE DIRECTORIES#

Create the output directories if they do not exist:

source/matheology/theorems/expert/
source/matheology/theorems/easy/

STEP 2 — GENERATE THEOREMS EXPERT VIEW#

Create source/matheology/theorems/expert/index.rst:

  1. Label: .. _all-th:

  2. Title: “Theorems — Expert View (All Models)”

  3. SISYF metadata comment (date, sources, mode REPLACE, depth expert, models pet + jub)

  4. Brief intro explaining that theorems are derived consequences and linking to the easy view (all-th-easy)

  5. PoR source links to both pet/theorems and jub/theorems

  6. Expand/collapse controls div (same pattern as axioms expert)

  7. Navigation bar: t1 · t2 · ... · t11 with anchor links

  8. Summary table (list-table with id, title, one-line summary for all 11 theorems)

  9. For each theorem (th1_T1–th11_T11), in order:

    1. Heading: t1 --- No Godless Creation (lowercase id, em-dash, display title)

    2. :ref: link back to the PoR source (pet-th1 or jub-th5)

    3. Italic one-liner from the theorem’s opening statement

    4. Context: Plain English explanation

    5. Formal statement: The .. math:: block. CRITICAL: preserve all \\ and & markers exactly. Never collapse multi-line LaTeX.

    6. Proof: The formal proof (preserve all :math: inline refs)

    7. Axioms used: List the axioms referenced

    8. Significance: The significance paragraph

    9. Network & Dependencies dropdown: axioms used, model

    10. For th5_T5–th11_T11: include the proto-formal status note from the JUB PoR header (shortened to one line per theorem)

CRITICAL: Do NOT duplicate labels. The PoR files define pet-th1 through pet-th4 and jub-th5 through jub-th11. This compiled page must use :ref: links to those labels, NOT redefine them.

LaTeX rule (§9.3.1): Every .. math:: block must preserve the source formatting exactly. Never strip \\, &, or alignment markers. If the source has a multi-line formula, the output must have the same multi-line formula.

STEP 3 — GENERATE THEOREMS EASY VIEW#

Create source/matheology/theorems/easy/index.rst:

  1. Label: .. _all-th-easy:

  2. Title: “Theorems — What the Axioms Prove”

  3. SISYF metadata comment

  4. Human-crafted intro (you write this):

    • Explain that theorems are consequences, not assumptions

    • Explain what the PET theorems establish (God-world relationship consequences)

    • Explain what the JUB theorems establish (the innovation theodicy punchline: why bad things happen, why the Jubilee System works)

    • Make it clear this is the “so what” — if the axioms are the rules, these are the first moves in the game

    • Tone: warm, clear, inviting. No jargon, no formulas.

    • Link to expert view for full detail

  5. Group the theorems into two sections:

    Group A — Consequences of God Containing the World (t1–t4)

    Brief intro: These four theorems follow from the first 14 axioms. They establish that creation cannot exist without God, that God has ontological priority, that nothing in creation is hidden from God, and that God is genuinely affected by what happens.

    Group B — The Innovation Theodicy (t5–t11)

    Brief intro: These seven theorems follow from all 25 axioms. They build the formal case that evil results from human failure to innovate, not from divine indifference — and that a Jubilee-based system is the structural solution.

    Add a note that t5–t11 are proto-formal (see JUB PoR status note).

  6. For each theorem, follow the axioms easy page pattern:

    1. Heading: t1 --- No Godless Creation (lowercase id)

    2. 2–4 sentence plain-language explanation. No formulas. Use concrete analogies where helpful.

    3. Indented block quote with one memorable quote (pick from the significance text or from the axioms the theorem depends on)

    4. :ref:`Full expert detail <pet-th1>` link

  7. End with a “What comes next?” section linking to: - The expert view - The axioms easy page - The adversarial quest

  8. End with: .. include:: /_templates/include-file/matheology-call.rst

STEP 4 — ACTIVATE TOCTREE IN LANDING PAGE#

In source/matheology/theorems/index.rst, uncomment the toctree:

.. toctree::
   :maxdepth: 1

   expert/index
   easy/index

STEP 5 — BUILD AND CHECK#

Run make html and check for:

  • Zero new warnings (currently 10 warnings baseline)

  • No duplicate label warnings

  • No broken :ref: or :doc: links

  • Pages appear in the Theorems nav section

If warnings appear, fix them before finishing.

OUTPUT CHECKLIST#

When done, confirm:

  • [ ] source/matheology/theorems/expert/index.rst created

  • [ ] source/matheology/theorems/easy/index.rst created

  • [ ] source/matheology/theorems/index.rst toctree uncommented

  • [ ] No new build warnings

  • [ ] LaTeX blocks preserved exactly from PoR sources

  • [ ] No duplicate labels

  • [ ] Easy page uses warm, accessible tone throughout

TELES migration report (2026m04d04)

Mechanical identifier migration applied to this file. All axiom/theorem text references were migrated from short form (e.g., A15) to compound form (e.g., ax15_A15) as part of the matheology compound naming operation. Both forms refer to the same formal object. The old form survives as the suffix to ensure consistency with the oldest records; the new form adds a temporary-status prefix. Forward-facing pages use brief form (ax15) only. See TELES Axiom/Theorem Compound Naming — Execution Prompt for the complete mapping table and DD b12 — Legacy Naming for PET/JUB Axioms and Theorems for the permanent reference.