Phase 2I-4c: Axiom Synthesis Pages (Tradition Lenses + Secular)#

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 easy page and hebrew-bible synthesis page must exist as structural templates.

Token budget: ~90K. Reads both PoR axiom files plus the existing hebrew-bible page as a pattern.

/clear /compact /effort max

You are executing Phase 2I-4c of the JUB OOv2 matheology project: creating the remaining axiom synthesis pages. Each page presents all 25 axioms through the lens of a specific tradition (or a secular worldview), using citations from the PoR source fields.

You will create three pages:

  1. gospels-apostles.rst — sgos + sapo

  2. quran-based.rst — squr + stor + sgos

  3. secular.rst — vsec

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. SYNTHESIS HOW-TO (step-by-step instructions): source/matheology/compiler/sisyf/synthesis-howto.rst (This is your primary guide. Follow it exactly.)

ax2_A2. HEBREW-BIBLE SYNTHESIS PAGE (existing pattern to match): source/matheology/axioms/easy/hebrew-bible.rst (This is a completed synthesis page. Match its structure, tone, and RST patterns exactly for the new pages.)

ax3_A3. AXIOMS EASY PAGE (for plain-language explanations to reuse): source/matheology/axioms/easy/index.rst (Reuse the same plain-language explanations from this page. Each axiom already has a beginner-friendly write-up.)

ax4_A4. PET AXIOMS PoR (source of tradition citations a1–a14): source/matheology/pet/axioms.rst (Contains “Scriptural and philosophical support” sections with Torah, Prophets & Writings, Gospel, Christian, Islamic, Hindu, and Secular citations for each axiom.)

ax5_A5. JUB AXIOMS PoR (source of tradition citations a15–a25): source/matheology/jub/axioms.rst (Same citation structure as PET for axioms a15–a25.)

ax6_A6. AXIOMS-VSEC SNAPSHOT (secular citations backup): source/matheology/axioms/axioms-vsec.rst (Contains secular worldview support for a1–a14. Use this as a cross-check against the PET PoR. The PoR is canonical; use this if the PoR secular bullet is missing or unclear.)

ax7_A7. EASY INDEX (to update with new pages): source/matheology/axioms/easy/index.rst (You will add the new pages to its tradition list and toctree.)

ax8_A8. SISYF SKILL SPEC (for synthesis page definitions): source/matheology/compiler/sisyf/ww/sisyf-skill.rst (§3.8 defines the synthesis pages. Verify your pages match the registered definitions.)

STEP 1 — CREATE gospels-apostles.rst#

Create source/matheology/axioms/easy/gospels-apostles.rst.

Follow the synthesis-howto step-by-step (the gospels-apostles example). Key rules:

  1. Label: .. _all-ax-easy-gospels-apostles:

  2. Title: “Axioms — Through the Lens of the Gospels and Apostolic Writings”

  3. .. compiler:protected-section around the human-crafted intro

  4. SISYF metadata: Synthesis: gospels-apostles ← sgos + sapo

  5. For each axiom (a1–a25):

    1. Reuse the same plain-language explanation from the easy page (copy it; do not rewrite or summarize)

    2. Highlighted quote: Pick the single strongest citation from either the Gospel (sgos) or Apostolic (sapo) fields in the PoR. Format as indented italic block quote with source attribution.

    3. Dropdown: .. dropdown:: All Gospels and Apostolic citations for aNN with :class-title: sd-font-weight-normal

      • Group by field: **Gospels (sgos):** then **Apostolic (sapo):**

      • List all citations from the PoR for that axiom

      • If a field has no citation for a given axiom, omit that field’s heading from the dropdown (do not write “none”)

    4. :ref:`Full expert detail <pet-ax1>` (or jub-ax15 etc.)

  6. Group headings: Use the same group structure as the easy page (Group I through Group VI with the same dividers and intros).

  7. Intro section: Write a human-crafted intro explaining:

    • What axioms are (brief)

    • Why readers of the New Testament should care

    • That this page draws from both the Gospels (Jesus’s own words) and the Apostolic writings (Paul, the author of Hebrews, etc.)

    • Links to other lenses and expert detail

Citation source mapping:

In the PET PoR, citations appear under “Scriptural and philosophical support” with these labels:

  • Gospel (Jesus): → this is the sgos field

  • Christian (wider): → this is the sapo field

In the JUB PoR, look for the same pattern. Some axioms may not have both fields populated — that is fine, include whatever exists.

STEP 2 — CREATE quran-based.rst#

Create source/matheology/axioms/easy/quran-based.rst.

Follow the synthesis-howto (the quran-based example). Key rules:

  1. Label: .. _all-ax-easy-quran-based:

  2. Title: “Axioms — Through the Lens of the Quran”

  3. .. compiler:protected-section around the intro

  4. SISYF metadata: Synthesis: quran-based ← squr + stor + sgos

  5. For each axiom (a1–a25):

    1. Reuse the plain-language explanation from the easy page

    2. Highlighted quote: Always from the Quran (squr). The Quran is the primary lens. If no Quran citation exists for a given axiom, use the strongest Torah or Gospel citation instead and note the substitution.

    3. Dropdown: .. dropdown:: All Quran, Torah, and Gospel citations for aNN

      • Group: **Quran (squr):** then **Torah (stor):** then **Gospels (sgos):**

      • The Quran recognizes both Torah and Gospels as inspired, which is why all three are included

    4. Expert link

  6. Intro section: Write a human-crafted intro explaining:

    • What axioms are (brief)

    • Why readers of the Quran should care

    • That the Quran explicitly affirms the Torah (Tawrat) and the Gospels (Injil) as revealed scripture, so this page draws from all three — with the Quran as the primary lens

    • Links to other lenses and expert detail

Citation source mapping:

  • Islamic: in the PoR → this is the squr field

  • Torah: in the PoR → this is the stor field

  • Gospel (Jesus): in the PoR → this is the sgos field

STEP 3 — CREATE secular.rst#

Create source/matheology/axioms/easy/secular.rst.

This is NOT a synthesis (it draws from a single field: vsec). But it follows the same easy-page pattern.

  1. Label: .. _all-ax-easy-secular:

  2. Title: “Axioms — A Secular Reading”

  3. .. compiler:protected-section around the intro

  4. SISYF metadata: Depth: easy, Field: vsec

  5. For each axiom (a1–a25):

    1. Reuse the plain-language explanation from the easy page

    2. Highlighted quote: Use the secular worldview statement from the PoR (the Secular: bullet under “Scriptural and philosophical support”). Format it as an indented italic block. These are not scripture quotes — they are philosophical restatements. Attribute them as “— Secular reading” or use the specific philosophical source if named.

    3. No dropdown needed for single-source pages. Just display the secular reading directly.

    4. Expert link

  6. Intro section: Write a human-crafted intro explaining:

    • What axioms are (brief)

    • That this page presents each axiom in purely secular terms — no scripture, no tradition, just logic and observation

    • That every axiom has a reading that does not require belief in God: mereological containment becomes part-whole relations in nature, divine necessity becomes structural necessity, etc.

    • That this is not a replacement for the theological reading but a demonstration that the formal structure stands independently

    • Links to other lenses and expert detail

  7. Special handling for a15–a25: The JUB axioms may have weaker or missing secular readings. If the Secular: bullet is missing for a given axiom, write a brief secular restatement yourself based on the axiom’s plain-language meaning. Mark these with a note: (Editorial: secular parallel not yet in PoR source.)

Citation source:

  • Secular: in the PoR → this is the vsec field

  • Cross-check against axioms-vsec.rst for a1–a14 (it has the same content in a different format)

STEP 4 — UPDATE EASY INDEX#

In source/matheology/axioms/easy/index.rst, update the tradition list near the bottom to include all four tradition lenses:

- :doc:`Through the Lens of the Hebrew Bible <hebrew-bible>` --- Torah and Hebrew Bible citations
- :doc:`Through the Lens of the Gospels <gospels-apostles>` --- Gospels and Apostolic citations
- :doc:`Through the Lens of the Quran <quran-based>` --- Quran, Torah, and Gospel citations
- :doc:`A Secular Reading <secular>` --- each axiom restated without theology

.. toctree::
   :maxdepth: 1
   :hidden:

   hebrew-bible
   gospels-apostles
   quran-based
   secular

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

  • All four tradition pages appear in the Easy nav section

  • Dropdowns render correctly (sphinx-design is already in requirements.txt)

If warnings appear, fix them before finishing.

OUTPUT CHECKLIST#

When done, confirm:

  • [ ] source/matheology/axioms/easy/gospels-apostles.rst created

  • [ ] source/matheology/axioms/easy/quran-based.rst created

  • [ ] source/matheology/axioms/easy/secular.rst created

  • [ ] source/matheology/axioms/easy/index.rst updated with all

    four tradition links and toctree entries

  • [ ] No new build warnings

  • [ ] Each page has 25 axiom entries (a1–a25)

  • [ ] gospels-apostles: highlighted quotes from Gospels or Apostolic

  • [ ] quran-based: highlighted quotes from Quran (primary lens)

  • [ ] secular: highlighted quotes are philosophical restatements

  • [ ] All dropdowns use .. dropdown:: with

    :class-title: sd-font-weight-normal

  • [ ] Plain-language explanations reused verbatim from easy page

  • [ ] Expert links use correct model-prefixed labels

    (pet-ax1..pet-ax14, jub-ax15..jub-ax25)

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.

TELES repair — 2026m04d04

Repaired RST syntax errors (unexpected indentation, heading level inconsistencies, or list formatting). No formal content was modified.