.. Migration note (2026m04d04): Claude copied this file during VV-to-HELL migration.
   STATUS: DEPRECATED — kept next to successor for audit trail.
   Old path: ``vv/jub/oov2/llog/deprecated/2I-por-field-testing-part-a.rst`` (as given by LLoL)
   New path: ``hell/ll/jub/b/47/deprecated_2I-por-field-testing-part-a.rst`` (as chosen by Claude)
   Category: Deprecated (partial predecessor)

.. meta::
   :description: Deprecated partial PoR field testing report covering fields 1-18 only. Superseded by the combined 45-field report in 2I-por-field-testing.rst.
   :keywords: deprecated, Phase 2I-2a, PoR fields 1-18, partial report, superseded, identity fields, technical fields, source fields, JUB OOv2, llog
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Deprecated PoR Part A<br>Fields 1-18 Only
   :og:card:description: This partial report covering PoR fields 1-18 has been superseded. See 2I-por-field-testing.rst for the complete 45-field combined report.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Deprecated partial PoR field testing report for fields 1-18. Superseded by the combined report in 2I-por-field-testing.rst.
   OO :keywords: matheology, JUB, OOv2, deprecated, Phase 2I-2a, PoR fields, testing, partial report, fields 1-18, llog
   OO :og:card:title: Deprecated: PoR Field Testing Part A
   OO :og:card:description: Superseded partial report covering PoR fields 1-18 for 32 formal elements. See 2I-por-field-testing.rst for the combined report.
   PP :description: Deprecated partial PoR field testing report covering fields 1-18 only. Superseded by the combined 45-field report in 2I-por-field-testing.rst.
   PP :keywords: deprecated, Phase 2I-2a, PoR fields 1-18, partial report, superseded, identity fields, technical fields, source fields, JUB OOv2, llog
   PP :og:card:title: Deprecated PoR Part A<br>Fields 1-18 Only
   PP :og:card:description: This partial report covering PoR fields 1-18 has been superseded. See 2I-por-field-testing.rst for the complete 45-field combined report.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 141 chars | :og:card:title: 34 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

.. _2I-por-field-testing-part-a:

*********************************************************************
Phase 2I-2a: PoR Field Testing --- Identity, Technical, Sources
*********************************************************************

**Fields 1--18 of 45**

Generated 2026-03-25 by Claude Opus 4.6.

**VVN:** ``dv_ClaudeOpus4.6_OOv2r0p0_2026m03d25``

This report assesses coverage of AHA-specified PoR fields 1--18 against the
existing source files for all 32 formal elements (ax1_A1--ax25_A25, th5_T5--th11_T11). Fields
19--45 will be covered in Phase 2I-2b (Part B).

**Source files assessed:**

- ``source/matheology/pet/axioms.rst`` --- PoR for ax1_A1--ax14_A14
- ``source/matheology/jub/axioms.rst`` --- PoR for ax15_A15--ax25_A25
- ``source/matheology/jub/theorems.rst`` --- PoR for th5_T5--th11_T11
- ``source/matheology/jub/quest.rst`` --- selective search for source-text citations
- ``source/matheology/vv/jub/oov2/llog/aha-best-names-for-matheology-links.rst`` --- AHA field definitions (Section 9)


.. contents:: On this page
   :depth: 2
   :local:


----


.. container:: verbatim-prompt

   .. code-block:: rst

      /clear
      /compact
      /effort max

      You are executing Phase 2I-2a of the JUB OOv2 matheology project:
      **PoR field testing, Part A.** The AHA design document specifies
      45 fields per axiom. This session tests fields 1--18 (Identity
      & Display, Technical Explanation, Source-Text Support) against the
      existing PoR source files.

      This session does NO migration or code changes. It reads and
      analyses.


      ====================================================================
      STEP 0 --- READ ALL REQUIRED FILES (DO THIS FIRST)
      ====================================================================

        ax1_A1. AHA DESIGN DOC (field definitions, Section 11) --- READ IN FULL:
        source/matheology/vv/jub/oov2/llog/aha-best-names-for-matheology-links.rst

        ax2_A2. PET AXIOMS (the PoR source for ax1_A1--ax14_A14) --- READ IN FULL:
        source/matheology/pet/axioms.rst

        ax3_A3. JUB AXIOMS (the PoR source for ax15_A15--ax25_A25) --- READ IN FULL:
        source/matheology/jub/axioms.rst

        ax4_A4. JUB THEOREMS (the PoR source for th5_T5--th11_T11) --- READ IN FULL:
        source/matheology/jub/theorems.rst

        ax5_A5. JUB QUEST (for source-text citations) --- SELECTIVE READ:
        source/matheology/jub/quest.rst
        For this session, you need quest.rst only to check source-text
        citations (fields 12--18). Use grep to find Torah, Bible, Gospel,
        Quran, Sanskrit, and secular references within the quest
        structure. Read 10-line context around each match. Do NOT read
        the entire file (~48K tokens).


      ====================================================================
      STEP 1 --- BUILD COVERAGE MATRIX: FIELDS 1--18
      ====================================================================

      For EACH axiom (ax1_A1--ax25_A25) and EACH theorem (th5_T5--th11_T11), assess
      coverage for fields 1--18:

      **Group 1: Identity & Display (fields 1--6)**

      1. ``id`` --- BriefName: canonical label
      2. ``title`` --- Title: full display title
      3. ``name`` --- ExplicitName: CamelCase identifier
      4. ``sum`` --- SummarizingName: plain-English statement
      5. ``intro`` --- ExplanationIntroOverview: accessible explanation
      6. ``latex`` --- FormalMathLatex: LaTeX notation

      **Group 2: Technical Explanation (fields 7--11)**

      7. ``tctx`` --- TechExplanationContext: detailed reasoning context
      8. ``tcnt`` --- TechExplanationContentAll: comprehensive technical
      9. ``logic`` --- LogicsUsed: which logics apply
      10. ``twhy`` --- TechReasoningAll: reasoning chain
      11. ``tinf`` --- TechInformal: informal intuition and analogies

      **Group 3: Source-Text Support (fields 12--18)**

      12. ``stor`` --- SupportTorah: Torah references
      13. ``sheb`` --- SupportHebrewBible: Prophets/Writings references
      14. ``sgos`` --- SupportGospels: Gospel references
      15. ``sapo`` --- SupportApostolic: Apostolic/NT references
      16. ``squr`` --- SupportQuran: Quran references
      17. ``ssan`` --- SupportSanskrit: Hindu primary text references
      18. ``vsec`` --- SupportSecular: philosophical/empirical support

      For each element x field, assign a coverage score:

      - **F** (Full) --- content exists and can be extracted as-is
      - **P** (Partial) --- some content exists but needs expansion
      - **S** (Stub) --- heading can be generated but content is empty
      - **N** (N/A) --- field does not apply to this element

      Present as a grid: rows = elements (ax1_A1--ax25_A25, th5_T5--th11_T11),
      columns = fields 1--18. Use single-character codes.


      ====================================================================
      STEP 2 --- PARTIAL GAP ANALYSIS (FIELDS 1--18)
      ====================================================================

      From the matrix above, identify:

      1. **Identity completeness:** Do all elements have id, title, and
         sum? These should be 100% Full if the PoR is properly structured.

      2. **Technical coverage pattern:** Which elements have strong
         technical explanations vs. stubs? Is there a systematic gap
         (e.g., JUB axioms less technically developed than PET)?

      3. **Source-text gaps by tradition:** For fields 12--18:
         - Which traditions have the best coverage?
         - Which are systematically empty?
         - For each tradition rated "Partial", what exactly is present
           vs. missing? (e.g., "Torah: mentioned in prose but no
           chapter:verse citation")

         - Priority ranking: which traditions to fill first for maximum
           scholarly credibility?

      ====================================================================
      STEP 3 --- EXTRACTION DIFFICULTY (FIELDS 1--18)
      ====================================================================

      For each of the 18 fields, rate extraction difficulty:

      - **Auto** --- mechanically extractable from existing RST structure
      - **Parse** --- requires parsing existing prose
      - **Synthesize** --- requires combining multiple sources
      - **Generate** --- requires new content not in the corpus

      Present as a table: 18 rows, columns = difficulty + source
      location + notes.


      ====================================================================
      STEP 4 --- WRITE PARTIAL REPORT
      ====================================================================

      Create:
      source/matheology/vv/jub/oov2/llog/2I-por-field-testing-part-a.rst

      Contents:

      1. Title: "Phase 2I-2a: PoR Field Testing --- Identity,
         Technical, Sources (Fields 1--18)"
      2. Generated-by line with date and model
      3. Coverage matrix for fields 1--18
      4. Gap analysis for fields 1--18
      5. Extraction difficulty for fields 1--18
      6. Note that fields 19--45 will be covered in Part B


      ====================================================================
      CRITICAL RULES
      ====================================================================

      1. llog files are APPEND-ONLY.
      2. NEVER delete content files.
      3. This session READS and ANALYSES only. The only file you CREATE
         is the partial testing report.
      4. For every field rated "Full", QUOTE the specific passage from
         the PoR file that justifies the rating. This makes the
         assessment auditable.
      5. NEVER abbreviate prompts in llogs.
      6. LANGUAGE RULES:
         a. NEVER use bare "Jubilee" as standalone noun.
         b. NEVER use "the" for unproven superlatives.


----


1. Coverage Matrix --- Fields 1--18
======================================

**Legend:**
F = Full (extractable as-is) /
P = Partial (exists, needs expansion) /
S = Stub (heading only, content empty) /
N = N/A

**Field key:**
1=id, 2=title, 3=name, 4=sum, 5=intro, 6=latex,
7=tctx, 8=tcnt, 9=logic, 10=twhy, 11=tinf,
12=stor, 13=sheb, 14=sgos, 15=sapo, 16=squr, 17=ssan, 18=vsec

::

   Elem | 1  2  3  4  5  6 | 7  8  9 10 11 | 12 13 14 15 16 17 18
   -----+-------------------+---------------+----------------------
   ax1_A1   | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax2_A2   | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax3_A3   | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax4_A4   | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax5_A5   | P  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax6_A6   | P  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax7_A7   | P  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax8_A8   | P  F  P  F  F  F | P  P  P  P  F | F  F  F  F  F  F  F
   ax9_A9   | P  F  P  F  F  F | P  P  P  P  F | F  F  F  F  F  F  F
   ax10_A10  | P  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax11_A11  | P  F  P  F  F  F | F  F  P  P  F | F  F  F  F  F  F  F
   ax12_A12  | P  F  P  F  F  F | P  P  P  P  F | F  F  F  F  F  F  F
   ax13_A13  | P  F  P  F  F  F | P  P  P  P  F | F  F  F  F  F  F  F
   ax14_A14  | P  F  P  F  F  F | F  F  P  P  F | F  F  F  F  F  F  F
   -----+-------------------+---------------+----------------------
   ax15_A15  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax16_A16  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax17_A17  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax18_A18  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax19_A19  | F  F  P  F  F  F | F  F  P  P  F | F  F  F  F  F  F  F
   ax20_A20  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax21_A21  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax22_A22  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax23_A23  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax24_A24  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   ax25_A25  | F  F  P  F  F  F | F  P  P  P  F | F  F  F  F  F  F  F
   -----+-------------------+---------------+----------------------
   th5_T5   | F  F  P  F  F  P | P  P  S  F  F | S  S  S  S  S  S  S
   th6_T6   | F  F  P  F  F  F | P  P  S  F  F | S  S  S  S  S  S  S
   th7_T7   | F  F  P  F  F  P | P  P  S  F  F | P  P  P  P  S  S  P
   th8_T8   | F  F  P  F  F  F | F  F  S  F  F | S  S  S  S  S  S  P
   th9_T9   | F  F  P  F  F  P | P  F  S  F  F | S  S  P  P  S  S  P
   th10_T10  | F  F  P  F  F  P | P  P  S  F  F | S  S  S  S  S  S  S
   th11_T11  | F  F  P  F  F  P | P  P  S  F  F | S  S  S  S  S  S  S


1.1 Summary Statistics
^^^^^^^^^^^^^^^^^^^^^^^^

::

   Field       F    P    S    N    %Full
   ------     ---  ---  ---  ---  -----
   1  id       22   10    0    0   69%
   2  title    32    0    0    0  100%
   3  name      0   32    0    0    0%
   4  sum      32    0    0    0  100%
   5  intro    32    0    0    0  100%
   6  latex    27    5    0    0   84%
   7  tctx     22   10    0    0   69%
   8  tcnt      5   27    0    0   16%
   9  logic     0   25    7    0    0%
   10 twhy      7   25    0    0   22%
   11 tinf     32    0    0    0  100%
   12 stor     25    1    6    0   78%
   13 sheb     25    1    6    0   78%
   14 sgos     25    2    5    0   78%
   15 sapo     25    2    5    0   78%
   16 squr     25    0    7    0   78%
   17 ssan     25    0    7    0   78%
   18 vsec     25    3    4    0   78%


----


2. Audit Evidence --- Full (F) Ratings
==========================================

Per Rule 4, every F rating must be auditable. This section provides
the justifying evidence organized by field. For fields where the
pattern is uniform across many elements, representative quotes are
given with the pattern described.


2.1 Field 1 (id --- BriefName)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**F-rated elements (22/32):** ax1_A1--ax4_A4, ax15_A15--ax25_A25, th5_T5--th11_T11.

These elements have explicit RST cross-reference labels in the source:

- ax1_A1--ax4_A4 in ``pet/axioms.rst``:
  ``.. _pet-ax1:`` (line 51), ``.. _pet-ax2:`` (line 87),
  ``.. _pet-ax3:`` (line 124), ``.. _pet-ax4:`` (line 162)

- ax15_A15--ax25_A25 in ``jub/axioms.rst``:
  ``.. _jub-ax15:`` (line 61), ``.. _jub-ax16:`` (line 119), ...
  through ``.. _jub-ax25:`` (line 654)

- th5_T5--th11_T11 in ``jub/theorems.rst``:
  ``.. _jub-th5:`` (line 44), ``.. _jub-th6:`` (line 91), ...
  through ``.. _jub-th11:`` (line 498)

**P-rated elements (10/32):** ax5_A5--ax14_A14.

The Phase 2I-1 migration note in ``pet/axioms.rst`` (lines 1--5)
lists only ax1_A1--ax4_A4 as having been relabeled. Grep confirms no
``.. _pet-ax5:`` through ``.. _pet-ax14:`` labels exist in the file.
The AHA naming convention defines what these labels SHOULD be
(``pet-ax5`` through ``pet-ax14``), but they are not yet present in the
source RST.


2.2 Field 2 (title --- Title)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**All 32 elements: F.** Every element has a RST section header
serving as its display title.

Representative quotes from source files:

- ax1_A1: ``ax1_A1 --- Containment`` (pet/axioms.rst, line 53)
- ax11_A11: ``ax11_A11 --- Divine Structure (Dipolarity)`` (pet/axioms.rst, line 435)
- ax15_A15: ``ax15_A15 --- Human Genuine Agency`` (jub/axioms.rst, line 63)
- ax25_A25: ``ax25_A25 --- Jubilee Recalibration`` (jub/axioms.rst, line 656)
- th5_T5: ``th5_T5 --- Divine Non-Responsibility`` (jub/theorems.rst, line 46)
- th8_T8: ``th8_T8 --- Binary Attractors`` (jub/theorems.rst, line 195)
- th11_T11: ``th11_T11 --- Stakes Without Death`` (jub/theorems.rst, line 500)


2.3 Field 3 (name --- ExplicitName)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**All 32 elements: P.** The AHA specifies CamelCase identifiers
(e.g., ``HumanExceeding``). No PoR file contains CamelCase forms. The
titles exist and can be converted mechanically (e.g., "Divine Surplus"
|rarr| ``DivineSurplus``), but this conversion has not been performed.


2.4 Field 4 (sum --- SummarizingName)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**All 32 elements: F.** Every element has an italic one-liner
immediately below its section header, serving as the plain-English
statement.

Representative quotes:

- ax1_A1: *"The world is part of God."* (pet/axioms.rst, line 56)
- ax3_A3: *"There is something in God that is not in the world."* (line 129)
- ax6_A6: *"The world's existence is contingent --- it might or might not exist."* (line 246)
- ax14_A14: *"Human claims about divine revelation must be mutually consistent and consistent with ax1_A1--ax13_A13."* (line 577)
- ax15_A15: *"Humans possess real capacity to choose among alternatives within D_free."* (jub/axioms.rst, line 66)
- ax19_A19: *"At any time t, there exists a unique individual h* with strictly maximal causal influence over outcomes in D."* (line 285)
- ax25_A25: *"Innovation economies need periodic recalibration (Jubilee cycles) to redistribute concentration, reset opportunity access, and prevent BABL-cascade."* (line 659)
- th5_T5: *"God is formally exonerated for the evil that results from human failure to innovate responsibly within D_inno."* (jub/theorems.rst, line 49)
- th8_T8: *"Innovation trajectories converge to exactly one of two attractors: river-of-life (all three life-trifecta cords satisfied) or BABL (any cord violated). There is no stable middle ground."* (line 201)
- th11_T11: *"Temporal irreversibility combined with Jubilee windows provides genuine stakes without requiring biological death."* (line 505)


2.5 Field 5 (intro --- ExplanationIntroOverview)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**All 32 elements: F.** Every element has an **"In plain English:"**
paragraph providing an accessible explanation.

Representative quotes:

- ax1_A1: "Everything that exists in the created world is contained
  within God. The world exists inside God, not separate from God."
  (pet/axioms.rst, lines 58--59)
- ax8_A8: "It is not enough that the world is inside God. A box contains
  its contents without being aware of them. ax8_A8 asserts that God is
  intimately present to --- aware of, in contact with --- every single
  part of creation. This rules out deistic panentheism (God contains
  but ignores)." (lines 331--335)
- ax19_A19: "At any given moment, one person's choices have more causal
  influence on the future trajectory of the world than anyone else's."
  (jub/axioms.rst, lines 289--290)
- th8_T8: "There are only two stable long-term states for any innovation
  system." (jub/theorems.rst, lines 204--205)


2.6 Field 6 (latex --- FormalMathLatex)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**F-rated (27/32):** All axioms (ax1_A1--ax25_A25) and theorems th6_T6, th8_T8.

Every axiom uses ``.. math::`` directive blocks with LaTeX:

- ax1_A1: ``W \leq G`` (pet/axioms.rst, line 65)
- ax5_A5: ``\Box\;\exists!\,G`` (line 223)
- ax11_A11: 4-line strengthened formulation starting ``G = G_n \oplus G_c`` (lines 449--455)
- ax14_A14: 2-line reformulated statement (lines 588--589)
- ax15_A15: ``\forall h \in H,\; \forall s \in D_{\text{free}} :`` ... (jub/axioms.rst, lines 80--83)
- ax24_A24: ``\text{Lasting}(i) \;\leftrightarrow\; \text{Stable}(i) \;\wedge\; \text{Extensible}(i) \;\wedge\; \text{LifeFriendly}(i)`` (line 599)
- th6_T6: full ``.. math::`` block (jub/theorems.rst, lines 107--110)
- th8_T8: full ``.. math::`` block (lines 214--218)

**P-rated (5/32):** th5_T5, th7_T7, th9_T9, th10_T10, th11_T11.

These theorems use a mixed format: "Given [axioms]:" prefix in plain
text, with inline ``:math:`` role rather than a standalone ``.. math::``
block. The LaTeX content IS present but not in a clean extractable block.

- th5_T5: "Given ax15_A15 (agency) :math:`\wedge` ax16_A16 (delegation)..." (line 60)
- th9_T9: ":math:`\forall h \in H : \lim_{T \to \infty}`..." (line 367)
- th11_T11: "Irreversibility(time) :math:`\wedge` closing(Jubilee-windows)" (line 522)


2.7 Field 7 (tctx --- TechExplanationContext)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**F-rated (22/32):** ax1_A1--ax7_A7, ax10_A10--ax11_A11, ax14_A14--ax25_A25, th8_T8.

Axioms ax1_A1--ax7_A7 and ax10_A10 have explicit **"Explanation:"** paragraphs:

- ax1_A1: "The mereological parthood relation :math:`\leq` asserts that W
  is a part of G. This is the foundational panentheistic claim --- the
  'en' (in) of pan-en-theism. Combined with ax2_A2, it means God strictly
  exceeds the world (:math:`W < G`, proper parthood)." (pet/axioms.rst, lines 67--70)
- ax3_A3: "This strengthens ax2_A2. Without ax3_A3, ax1_A1 + ax2_A2 could be satisfied
  trivially. ax3_A3 asserts there is genuine divine content beyond
  creation." (lines 141--142)
- ax7_A7: "This modalizes ax1_A1. ax1_A1 says the world *is* in God; ax7_A7 says it
  *must be* in God" (lines 295--296)
- ax10_A10: "Together with ax9_A9, this encodes a strict ontological asymmetry."
  (line 405)

ax11_A11 has extensive technical content including the 4-line strengthened
formulation history and the ax11b_A11b alternative (lines 447--490).

ax14_A14 has **"Key design features:"** with 3 analytical bullet points
(lines 593--602).

All JUB axioms (ax15_A15--ax25_A25) have separate **"Explanation:"** paragraphs:

- ax15_A15: "D_f is explicitly excluded --- humans are not free in the
  forced domain." (jub/axioms.rst, lines 85--88)
- ax18_A18: "This may be a theorem rather than an axiom, pending formal
  grounding of the moral responsibility predicate." (lines 239--243)
- ax19_A19: Extensive "What ax19_A19 DOES claim" and "What ax19_A19 does NOT claim"
  sections (lines 312--354)

th8_T8 has an extensive **"Significance:"** paragraph plus 2 detailed notes
(jub/theorems.rst, lines 313--343).

**P-rated (10/32):** ax8_A8, ax9_A9, ax12_A12, ax13_A13, th5_T5--th7_T7, th9_T9--th11_T11.

ax8_A8 and ax9_A9 have no separate "Explanation:" paragraph; technical context
is merged into the "In plain English:" paragraph. ax12_A12 and ax13_A13 likewise
lack a separate explanation section. Theorems th5_T5--th7_T7, th9_T9--th11_T11 have
"Significance:" paragraphs that provide some context but not detailed
technical reasoning.


2.8 Field 8 (tcnt --- TechExplanationContentAll)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**F-rated (5/32):** ax11_A11, ax14_A14, ax19_A19, th8_T8, th9_T9.

These elements have comprehensive technical detail exceeding a standard
explanation:

- ax11_A11: 4-line formal statement + dipolarity analysis + ax11b_A11b alternative
  fork + cross-reference to discussions page (pet/axioms.rst,
  lines 435--491)
- ax14_A14: "Key design features:" with 3 structural analysis points:
  no self-reference, claim(p) predicate, testable method (lines 593--602)
- ax19_A19: "What ax19_A19 DOES claim" (3 detailed subsections: ontological
  existence, scalar projection, fitness analogy) + "What ax19_A19 does NOT
  claim" (3 bullet points) (jub/axioms.rst, lines 312--354)
- th8_T8: 4-step proof with 3 substeps (3a stochastic absorption, 3b
  technological amplification, 3c coupled systems), empirical testing
  table, 2 notes (jub/theorems.rst, lines 220--343)
- th9_T9: 6-step proof with 3 substeps (4a irreducibility, 4b prevention,
  4c historic absence), Markov chain theorem reference
  (jub/theorems.rst, lines 375--423)

**P-rated (27/32):** All other elements.

These have "Explanation:" paragraphs (axioms) or proofs (theorems) that
provide some technical content but not the comprehensive "all" level.
They would need expansion --- e.g., adding inter-axiom relationships,
edge cases, or connections to formalization roadmap.


2.9 Field 9 (logic --- LogicsUsed)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**No F ratings.** No element explicitly states "which logics apply,
what they preserve/discard" as a dedicated field.

**P-rated (25/32):** All axioms (ax1_A1--ax25_A25).

PET axioms benefit from the "Formal Framework" section (pet/axioms.rst,
lines 31--38): "**Mereology** (part-whole logic) combined with **modal
logic S5** (necessity/possibility)." Per-axiom logic can be derived from
the formal notation:

- ax1_A1--ax4_A4: mereological :math:`\leq` (parthood)
- ax5_A5--ax7_A7: modal operators :math:`\Box`, :math:`\Diamond` (S5)
- ax8_A8--ax10_A10: relational predicates P(), S() (first-order extension)
- ax11_A11: composition :math:`\oplus`, subworld indexing (first-order + mereology)
- ax12_A12--ax14_A14: set notation, claim() predicate (propositional + set theory)

JUB axioms use standard first-order apparatus (:math:`\forall`,
:math:`\exists`, :math:`\rightarrow`, :math:`\wedge`) with domain-specific
predicates (can-choose, Delegated, Guide, Force, etc.), but no "Formal
Framework" section names the logic system. The theorems status note
(jub/theorems.rst, lines 27--28) explicitly acknowledges: "th5_T5--th11_T11's
predicates (Stable, Extensible, LifeFriendly, etc.) lack formal
semantics."

**S-rated (7/32):** th5_T5--th11_T11.

Theorems use natural-language proof steps ("By ax19_A19, ...") with inline
math. No logic system is named or derivable without substantial analysis.


2.10 Field 10 (twhy --- TechReasoningAll)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**F-rated (7/32):** th5_T5--th11_T11.

Every theorem has a step-by-step **"Proof:"** section:

- th5_T5: 7-step proof (jub/theorems.rst, lines 69--80)
- th6_T6: 4-step proof (lines 114--122)
- th7_T7: 6-step proof (lines 158--168)
- th8_T8: 4-step proof with 3 substeps (lines 222--276)
- th9_T9: 6-step proof with 3 substeps (lines 375--423)
- th10_T10: 5-step proof (lines 479--488)
- th11_T11: 6-step proof (lines 529--540)

**P-rated (25/32):** All axioms (ax1_A1--ax25_A25).

Axioms are foundational postulates without proofs. Their "Explanation:"
paragraphs provide justification for why the axiom is formulated as it
is (e.g., ax3_A3: "This strengthens ax2_A2. Without ax3_A3, ax1_A1 + ax2_A2 could be
satisfied trivially."), but this is reasoning-about-design, not a
full reasoning chain.


2.11 Field 11 (tinf --- TechInformal)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**All 32 elements: F.** The **"In plain English:"** paragraphs serve
exactly this function --- informal intuition, analogies, and accessible
language.

Notable analogies:

- ax8_A8: "A box contains its contents without being aware of them" (pet/axioms.rst, line 332)
- ax17_A17: "The 'horse to water' image: God leads the horse to water; the
  horse must drink." (jub/axioms.rst, lines 175--176)
- ax19_A19: "the fitness analogy is structural, not superficial" (lines 328--335)
- ax23_A23: "A compelled factory worker can produce identical widgets; a
  compelled poet cannot produce genuine poetry." (lines 533--534)
- th10_T10: "God controls gravity, and gravity kills people" (jub/theorems.rst, line 493)


2.12 Fields 12--18 (Source-Text Support): Axioms
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**All 25 axioms (ax1_A1--ax25_A25): F for all 7 traditions.**

Every axiom has a **"Scriptural and philosophical support:"** section
with 7 tradition-specific bullets, each containing specific text
citations with chapter:verse locators.

**Field 12 (stor --- SupportTorah) representative quotes:**

- ax1_A1: "**Torah:** Deut 4:39 ('God in heaven above and earth beneath')" (pet/axioms.rst, line 74)
- ax5_A5: "**Torah:** Exod 3:14 ('I AM WHO I AM' --- *Ehyeh asher Ehyeh*)" (line 231)
- ax14_A14: "**Torah:** Deut 13:1--3 (even a sign-working prophet must be tested against known truth); Deut 18:21--22" (line 606)
- ax15_A15: "**Torah:** Gen 2:16--17 (tree of knowledge choice); Deut 30:19 ('I have set before you life and death... choose life')" (jub/axioms.rst, line 92)
- ax25_A25: "**Torah:** Lev 25 (Jubilee --- 50-year land return, indentured servants freed); Deut 15 (Sabbatical year debt release)" (line 692)

**Field 13 (sheb --- SupportHebrewBible) representative quotes:**

- ax1_A1: "**Prophets & Writings:** 1 Kings 8:27 ('heaven cannot contain you'); Ein Sof ('the Infinite') in Kabbalah" (line 75)
- ax4_A4: "**Prophets & Writings:** Ps 139:7--10 ('where can I flee?'); Jer 23:24 ('do I not fill heaven and earth?')" (lines 188--189)
- ax18_A18: "**Prophets & Writings:** Ezek 18:1--32 (individual responsibility doctrine, replacing the 'sour grapes' proverb)" (jub/axioms.rst, lines 249--250)

**Field 14 (sgos --- SupportGospels) representative quotes:**

- ax1_A1: "**Gospel (Jesus):** 'I am in the Father and the Father is in me' (Jn 14:10); 'the kingdom of God is within you' (Lk 17:21)" (pet/axioms.rst, lines 77--78)
- ax15_A15: "**Gospel (Jesus):** Mt 23:37 ('Jerusalem, Jerusalem... how often I would have gathered your children... and you were not willing')" (jub/axioms.rst, lines 95--96)

**Field 15 (sapo --- SupportApostolic) representative quotes:**

- ax1_A1: "**Christian (wider):** Acts 17:28 ('in him we live and move'); Col 1:17" (pet/axioms.rst, line 79)
- ax9_A9: "**Christian (wider):** Col 1:17; Heb 1:3 ('sustains all things by his powerful word')" (lines 381--382)

**Field 16 (squr --- SupportQuran) representative quotes:**

- ax1_A1: "**Islamic:** Quran 2:115 ('wherever you turn, there is the Face of God'); *wahdat al-wujud*" (pet/axioms.rst, lines 80--81)
- ax13_A13: "**Islamic:** **Quran 4:82** ('If it had been from other than God, they would have found within it much contradiction')" (lines 565--567)
- ax25_A25: "**Islamic:** *Zakat* (mandatory redistribution --- 2.5% annual wealth tax); prohibition of *riba* (usury)" (jub/axioms.rst, lines 701--702)

**Field 17 (ssan --- SupportSanskrit) representative quotes:**

- ax1_A1: "**Hindu:** 'All this is Brahman' (Chandogya Up. 3.14.1); Vishishtadvaita: world is God's body" (pet/axioms.rst, lines 82--83)
- ax2_A2: "**Hindu:** *Neti neti* --- 'not this, not this' (Brihad. Up. 2.3.6): Brahman exceeds all description" (lines 119--120)
- ax11_A11: "**Hindu:** **The most explicit tradition.** *Nirguna* Brahman (without qualities --- necessary aspect) and *saguna* Brahman / *Ishvara* (with qualities --- contingent, relational aspect)." (lines 478--481)

**Field 18 (vsec --- SupportSecular) representative quotes:**

- ax1_A1: "**Secular:** We are parts of a whole that exceeds any part" (pet/axioms.rst, line 84)
- ax6_A6: "**Secular:** The universe began (Big Bang) and may end (heat death); physical constants could in principle have been different" (lines 276--277)
- ax23_A23: "**Secular:** Self-Determination Theory (Ryan & Deci 2000); intrinsic motivation research; the open-source movement" (jub/axioms.rst, lines 569--571)
- ax25_A25: "**Secular:** Progressive taxation; antitrust law; Piketty (*Capital in the 21st Century*: r > g concentration dynamic requiring external intervention)" (lines 704--705)


2.13 Fields 12--18 (Source-Text Support): Theorems
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**Systematic gap.** Theorems th5_T5--th11_T11 do NOT have structured
"Scriptural and philosophical support:" sections.

**Scattered P ratings** (references found in prose, not structured):

- th7_T7 (Significance, jub/theorems.rst lines 172--177):
  "The burning bush (Exod 3) is the model" |rarr| stor=P.
  "'Whom shall I send?' (Isa 6:8)" |rarr| sheb=P.
  "'Follow me' (Mk 1:17)" |rarr| sgos=P.
  "'Behold, I stand at the door and knock' (Rev 3:20)" |rarr| sapo=P.
- th7_T7 (Secular convergence note, lines 183--189) |rarr| vsec=P.
- th8_T8 (Significance + empirical table + notes, lines 313--343) |rarr|
  vsec=P (absorbing CTMC model, historical examples).
- th9_T9 (Significance, line 444): "divine kenosis (Phil 2:5--11)"
  |rarr| sapo=P. "(Mk 10:43--45)" |rarr| sgos=P.
  "Ole Peters (2019)" |rarr| vsec=P.

**All other theorem x tradition combinations: S (Stub).**
No content exists. These would need to be generated by combining the
source-text support from the axioms each theorem depends on.


----


3. Partial Gap Analysis --- Fields 1--18
===========================================


3.1 Identity Completeness
^^^^^^^^^^^^^^^^^^^^^^^^^^^^

.. list-table::
   :header-rows: 1
   :widths: 12 12 12 64

   * - Field
     - %Full
     - Status
     - Finding
   * - id (1)
     - 69%
     - **GAP**
     - ax5_A5--ax14_A14 lack RST cross-reference labels. Phase 2I-1 only
       migrated labels for ax1_A1--ax4_A4 (the only axioms with pre-existing
       labels). 10 PET axioms need ``.. _pet-ax5:`` through
       ``.. _pet-ax14:`` added.
   * - title (2)
     - 100%
     - OK
     - All 32 elements have section-header titles.
   * - name (3)
     - 0%
     - **GAP**
     - No element has a CamelCase ExplicitName anywhere in the
       source. This field must be generated for all 32 elements.
       Trivially derivable from titles.
   * - sum (4)
     - 100%
     - OK
     - All 32 elements have italic one-liner summaries.
   * - intro (5)
     - 100%
     - OK
     - All 32 elements have "In plain English:" paragraphs.
   * - latex (6)
     - 84%
     - MINOR
     - 5 theorems (th5_T5, th7_T7, th9_T9--th11_T11) use inline ``:math:`` in a
       "Given..." prefix rather than standalone ``.. math::`` blocks.
       Content exists but needs reformatting.


3.2 Technical Coverage Pattern
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**Finding 1: PET axioms are technically well-developed.**
ax1_A1--ax14_A14 have consistent structure: formal statement, explanation
(most have a separate paragraph), and the Formal Framework section
explicitly names mereology + S5 as the logic. The strongest are
ax11_A11 (dipolarity, 4-line strengthened formulation + ax11b_A11b alternative)
and ax14_A14 (3-point key design features analysis).

**Finding 2: JUB axioms match PET in structure, exceed in depth.**
ax15_A15--ax25_A25 all have separate "Explanation:" paragraphs. ax19_A19 stands out
with the most extensive technical treatment in the entire corpus
(3 subsections of "What ax19_A19 DOES claim" + "What ax19_A19 does NOT claim").
ax18_A18 honestly flags itself as potentially derivable as a theorem.
ax15_A15 includes a "Compatibilism robustness" note. ax24_A24 and ax25_A25 each
have 2--3 notes with cross-references to quest.rst critique-responses.

**Finding 3: JUB axioms lack a "Formal Framework" section.**
PET has an explicit framework naming mereology + S5. JUB Group VI
introduces domain-specific predicates (can-choose, Delegated, Guide,
Force, Stable, Extensible, LifeFriendly, etc.) without naming what
logic system they belong to. The theorems status note explicitly
acknowledges the predicates "lack formal semantics." This is the
single largest technical gap.

**Finding 4: Logic field (9) is 0% Full --- a universal gap.**
No element explicitly answers "which logics apply, what they
preserve/discard" as a standalone field. For PET axioms this is
derivable from the Formal Framework + notation; for JUB axioms and
theorems it requires substantial synthesis or generation.

**Finding 5: Comprehensive technical content (tcnt, field 8) is 16% Full.**
Only 5 elements (ax11_A11, ax14_A14, ax19_A19, th8_T8, th9_T9) reach the "comprehensive"
threshold. The remaining 27 have explanations or proofs that are
adequate but not exhaustive. This is the second largest technical gap.

**Finding 6: Theorems have strong reasoning chains (twhy=F)
but weak contextual framing (tctx=P for 5/7).**
The proofs are rigorous (th8_T8 and th9_T9 are especially detailed), but only
th8_T8 has comprehensive significance + contextual analysis. th5_T5, th6_T6, th10_T10,
th11_T11 have brief significance paragraphs.


3.3 Source-Text Gaps by Tradition
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

**3.3.1 Coverage summary (axioms only):**

All 25 axioms have structured support from all 7 traditions with
specific text citations. This is 100% F coverage across the axiom
corpus --- an exceptionally strong base.

**3.3.2 Coverage summary (theorems):**

.. list-table::
   :header-rows: 1
   :widths: 15 12 12 12 12 12 12 12

   * - Element
     - stor
     - sheb
     - sgos
     - sapo
     - squr
     - ssan
     - vsec
   * - th5_T5
     - S
     - S
     - S
     - S
     - S
     - S
     - S
   * - th6_T6
     - S
     - S
     - S
     - S
     - S
     - S
     - S
   * - th7_T7
     - P
     - P
     - P
     - P
     - S
     - S
     - P
   * - th8_T8
     - S
     - S
     - S
     - S
     - S
     - S
     - P
   * - th9_T9
     - S
     - S
     - P
     - P
     - S
     - S
     - P
   * - th10_T10
     - S
     - S
     - S
     - S
     - S
     - S
     - S
   * - th11_T11
     - S
     - S
     - S
     - S
     - S
     - S
     - S

**43 of 49 theorem x tradition cells are S (Stub).** This is the
dominant gap in fields 1--18.

**3.3.3 Tradition-by-tradition assessment:**

**Torah (stor):** Best covered among axioms. Every axiom has at least
one chapter:verse Torah citation. For theorems, only th7_T7 mentions
Exod 3 (in Significance prose, not structured). Priority: high for
theorems, since Torah references anchor the Jubilee-based framework's
foundational claims.

**Hebrew Bible (sheb):** Equally strong for axioms. Specific
citations from Psalms, Isaiah, Jeremiah, Kings, etc. Theorem gap
matches Torah. Priority: high, fills out the Tanakh picture.

**Gospels (sgos):** Strong for axioms. Every axiom cites at least one
Gospel passage with chapter:verse. th7_T7 and th9_T9 have unstructured
references (Mk 1:17, Mk 10:43--45). Priority: medium-high, since
Gospel support strengthens the cross-traditional case.

**Apostolic/NT (sapo):** Strong for axioms. Acts, Colossians, Hebrews,
Ephesians, Philippians, Revelation cited throughout. th7_T7 has Rev 3:20,
th9_T9 has Phil 2:5--11. Priority: medium, complements sgos.

**Quran (squr):** Strong for axioms. Specific Quran sura:ayah
citations for every axiom (2:115, 57:3, 4:82, 2:256, 33:72, etc.).
Zero coverage in theorems. Priority: high --- Islamic engagement is
critical for the 6-tradition scholarly credibility of the system.

**Sanskrit (ssan):** Strong for axioms. Chandogya Upanishad, Bhagavad
Gita, Brihad. Upanishad cited with text locators. Zero coverage in
theorems. Priority: medium --- Hindu tradition provides the strongest
independent parallel for dipolarity (ax11_A11) but is less central to
theorems.

**Secular (vsec):** Strong for axioms. Ranges from philosophical
observations to specific research citations (Self-Determination Theory,
Piketty, Popper). th7_T7, th8_T8, th9_T9 have partial secular content (absorbing
CTMC, ergodicity, secular convergence note). Priority: medium ---
secular is already the best-covered tradition in theorems.

**3.3.4 Priority ranking for filling:**

1. **Theorems th5_T5--th11_T11 source-text support** (43 S-rated cells).
   Highest impact: completing the structured support for theorems
   by synthesizing from their constituent axioms.
2. **Quran for theorems** specifically: squr is the tradition with
   zero theorem coverage AND high scholarly importance.
3. **Torah and Hebrew Bible for theorems**: the Jubilee-based
   framework's anchor tradition.
4. **Logic field (9)** for all elements: not a source-text tradition
   but the largest cross-cutting gap.


----


4. Extraction Difficulty --- Fields 1--18
============================================

.. list-table::
   :header-rows: 1
   :widths: 4 8 10 28 50

   * - #
     - Field
     - Difficulty
     - Source location
     - Notes
   * - 1
     - ``id``
     - Auto/Parse
     - RST ``.. _label:`` markers
     - Auto for 22 elements with existing labels. Parse for ax5_A5--ax14_A14:
       apply AHA naming convention ``pet-ax{N}`` to generate labels.
   * - 2
     - ``title``
     - Auto
     - RST section headers (``^^^`` or ``===`` underlines)
     - Direct extraction. Strip the ``A{N} ---`` prefix for raw title.
   * - 3
     - ``name``
     - Parse
     - Derived from field 2 (title)
     - Mechanical conversion: remove spaces, hyphens, parenthetical
       text; CamelCase each word. E.g., "Sustaining Dependence"
       |rarr| ``SustainingDependence``.
   * - 4
     - ``sum``
     - Auto
     - Italic one-liners below section headers
     - Regex: first ``*...*`` block after each element's header.
   * - 5
     - ``intro``
     - Auto
     - "In plain English:" paragraphs
     - Regex: text between ``**In plain English:**`` and the next
       bold-prefixed section (``**Formal statement:**`` etc.).
   * - 6
     - ``latex``
     - Auto/Parse
     - ``.. math::`` blocks and inline ``:math:`` roles
     - Auto for axioms and th6_T6, th8_T8 (standalone math blocks). Parse
       for th5_T5, th7_T7, th9_T9--th11_T11 (extract inline math from "Given..."
       wrappers and normalize to standalone block).
   * - 7
     - ``tctx``
     - Auto/Parse
     - "Explanation:" paragraphs (axioms), "Significance:" (theorems)
     - Auto for 22 F-rated elements. Parse for 10 P-rated: extract
       technical content from "In plain English:" (ax8_A8, ax9_A9, ax12_A12, ax13_A13)
       or expand "Significance:" (theorems).
   * - 8
     - ``tcnt``
     - Synthesize
     - Multiple sections per element
     - Even F-rated elements (ax11_A11, ax14_A14, ax19_A19, th8_T8, th9_T9) need assembly
       from Explanation + notes + design features. P-rated elements
       need expansion: add inter-axiom relationships, edge cases,
       formalization status.
   * - 9
     - ``logic``
     - Synthesize/Generate
     - Formal Framework (PET), formal statements (all)
     - Synthesize for PET axioms: combine Formal Framework statement
       with per-axiom notation analysis. Generate for JUB axioms and
       all theorems: requires naming the logic system and analyzing
       what each predicate preserves/discards.
   * - 10
     - ``twhy``
     - Auto/Generate
     - "Proof:" sections (theorems), "Explanation:" (axioms)
     - Auto for theorems (extract proof steps). Generate for axioms:
       no proofs exist (axioms are postulates); would need to create
       a "justification chain" explaining why each axiom is needed.
   * - 11
     - ``tinf``
     - Auto
     - "In plain English:" paragraphs
     - Direct extraction. Same source as field 5 (intro) --- the AHA
       may want these deduplicated or the tinf field to specifically
       extract analogies and metaphors from the intro text.
   * - 12
     - ``stor``
     - Auto/Generate
     - "**Torah:**" bullet in support sections
     - Auto for axioms (extract Torah bullet). Generate for theorems:
       synthesize from axioms used (e.g., th5_T5 uses ax8_A8, ax9_A9, ax11_A11, ax15_A15,
       ax16_A16, ax17_A17, ax18_A18 |rarr| combine their Torah references).
   * - 13
     - ``sheb``
     - Auto/Generate
     - "**Prophets & Writings:**" bullet
     - Same pattern as stor. Auto for axioms, generate for theorems.
   * - 14
     - ``sgos``
     - Auto/Generate
     - "**Gospel (Jesus):**" bullet
     - Same pattern. Auto for axioms, generate for theorems.
   * - 15
     - ``sapo``
     - Auto/Generate
     - "**Christian (wider):**" bullet
     - Same pattern. Auto for axioms, generate for theorems.
       Note: AHA splits sgos (Gospels) from sapo (Apostolic/NT).
       The PoR splits as Gospel (Jesus) vs. Christian (wider), which
       approximately maps but may need citation-level re-sorting.
   * - 16
     - ``squr``
     - Parse/Generate
     - "**Islamic:**" bullet
     - Parse for axioms: the "Islamic:" bullet includes both Quran
       citations and broader Islamic theology (e.g., *wahdat
       al-wujud*, *tanzih*). The AHA ``squr`` field is Quran-only.
       Extraction must separate Quran sura:ayah citations from
       non-Quran Islamic content. Generate for theorems.
   * - 17
     - ``ssan``
     - Parse/Generate
     - "**Hindu:**" bullet
     - Parse for axioms: the "Hindu:" bullet includes both Sanskrit
       primary text citations (Chandogya Up., Gita, Brihad. Up.) and
       broader Hindu theological concepts (*nirguna*/*saguna*,
       *bhakti*, *karma*). The AHA ``ssan`` field is Sanskrit texts
       only. Extraction must separate. Generate for theorems.
   * - 18
     - ``vsec``
     - Auto/Generate
     - "**Secular:**" bullet
     - Auto for axioms (direct extraction). Generate for theorems
       where no secular support exists. th8_T8 and th9_T9 have partial
       secular content in significance/notes.


4.1 Difficulty Summary
^^^^^^^^^^^^^^^^^^^^^^^^

::

   Difficulty       Count   Fields
   -----------     ------   ------
   Auto               5    title, sum, intro, tinf, (partial: id, latex, tctx, stor-vsec for axioms)
   Parse              3    name, squr, ssan (plus partial for others)
   Synthesize         2    tcnt, logic
   Generate           2    logic (JUB+theorems), twhy (axioms)
   Mixed             10    Most fields have different difficulty for axioms vs. theorems

**Key insight:** Fields 12--18 (source-text) are Auto for axioms but
Generate for theorems. The axiom corpus is extraction-ready; the theorem
corpus requires a synthesis pass combining axiom-level evidence.


----


5. Note on Part B
====================

Fields 19--45 (POST operational fields, structural/analytical fields,
worldview compilations) will be assessed in **Phase 2I-2b**. That
session will also read the stress-test and critique files deferred from
this session to stay within the 200K-token budget.

Key fields deferred to Part B include:

- ``needs`` (30) / ``feeds`` (31): dependency graph
- ``stayc`` (32): StayVS maturity codes
- ``con`` (36) / ``pro`` (37): objection and response cross-references
- ``vv`` (38) / ``vvnow`` (39): version variant tracking
- ``conv`` (41): convergence analysis
- ``bib`` (42): bibliography
- All POST codes (``aa`` through ``yy``): operational lifecycle fields
- All worldview codes (``vjud``, ``vchr``, ``visl``, ``vhin``, ``vbud``):
  tradition synthesis compilations


.. 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.


.. admonition:: TELES repair --- 2026m04d04

   Repaired RST section title errors by wrapping verbatim prompt content containing
   heading syntax in ``.. code-block:: rst`` blocks. No formal content was modified.