.. Migration note (2026m04d04): Claude copied this file during VV-to-HELL migration.
   Old path: ``vv/jub/oov2/prompts/prompt_2I-4b_theorems-compile.rst`` (as given by LLoL)
   New path: ``hell/ll/jub/b/41/prompt_2I-4b_theorems-compile.rst`` (as chosen by Claude)
   Category: JUB OOv2 prompt

.. meta::
   :description: Execution prompt for generating compiled theorem views at expert and easy depth from PoR source fields, parallel to axiom pages in Phase 2I-4.
   :keywords: JUB OOv2, Phase 2I-4b, theorems, compilation, expert view, easy view, PoR, BEST Names, downstream pages, th1_T1-th11_T11
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Phase 2I-4b: Theorems<br>Compilation Prompt
   :og:card:description: Extending the compilation to theorems. This prompt generates expert and easy theorem views using the same extraction matrix as the axiom pages.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Prompt for Phase 2I-4b generating compiled theorem views at expert and easy depth from PoR source fields.
   OO :keywords: JUB OOv2, Phase 2I-4b, theorems, compilation, expert view, easy view, PoR, BEST Names, matheology, downstream pages
   OO :og:card:title: Phase 2I-4b: Theorems<br>Compilation Prompt
   OO :og:card:description: Prompt for generating compiled theorem views at expert and easy depth, parallel to axioms pages created in Phase 2I-4.
   PP :description: Execution prompt for generating compiled theorem views at expert and easy depth from PoR source fields, parallel to axiom pages in Phase 2I-4.
   PP :keywords: JUB OOv2, Phase 2I-4b, theorems, compilation, expert view, easy view, PoR, BEST Names, downstream pages, th1_T1-th11_T11
   PP :og:card:title: Phase 2I-4b: Theorems<br>Compilation Prompt
   PP :og:card:description: Extending the compilation to theorems. This prompt generates expert and easy theorem views using the same extraction matrix as the axiom pages.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 142 chars | :og:card:title: 39 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

*********************************************************************
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:

   a. Heading: ``t1 --- No Godless Creation`` (lowercase id, em-dash,
      display title)
   b. ``:ref:`` link back to the PoR source (``pet-th1`` or
      ``jub-th5``)
   c. Italic one-liner from the theorem's opening statement
   d. **Context:** Plain English explanation
   e. **Formal statement:** The ``.. math::`` block. CRITICAL: preserve
      all ``\\`` and ``&`` markers exactly. Never collapse multi-line
      LaTeX.
   f. **Proof:** The formal proof (preserve all :math: inline refs)
   g. **Axioms used:** List the axioms referenced
   h. **Significance:** The significance paragraph
   i. **Network & Dependencies** dropdown: axioms used, model
   j. 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:

   a. Heading: ``t1 --- No Godless Creation`` (lowercase id)
   b. 2--4 sentence plain-language explanation. No formulas. Use
      concrete analogies where helpful.
   c. Indented block quote with one memorable quote (pick from the
      significance text or from the axioms the theorem depends on)
   d. ``: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


.. admonition:: 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
   :ref:`hell-ll-other-b15-teles-renaming-prompt` for the complete
   mapping table and :ref:`legacy-5d-link-names-table-for-pet-jub-model` for the permanent
   reference.