Phase 2I-2: PoR Field Testing#

Note

Path update needed if rerun (2026-03-25, Phase 2I-3). This prompt was deprecated and superseded by 2I-2a/2I-2b. The AHA doc path below has moved to the compiler directory.

Note

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

Prerequisite: Phase 2I-1 (label migration) must have completed.

/clear /compact /effort max

You are executing Phase 2I-2 of the JUB OOv2 matheology project: PoR (Place of Reasoning) field testing. The AHA design document specifies 45 fields per axiom. This session tests whether the existing OOv2 corpus actually contains enough information to populate those fields, identifies gaps, and produces a field coverage matrix.

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): source/matheology/vv/jub/oov2/llog/aha-best-names-for-matheology-links.rst (New location: source/matheology/compiler/ww/5d-link-naming-matheology-aha.rst)

ax2_A2. PET AXIOMS (the PoR source for ax1_A1–ax14_A14): source/matheology/pet/axioms.rst

ax3_A3. JUB AXIOMS (the PoR source for ax15_A15–ax25_A25): source/matheology/jub/axioms.rst

ax4_A4. JUB THEOREMS (the PoR source for th5_T5–th11_T11): source/matheology/jub/theorems.rst

ax5_A5. JUB QUEST (objections and replies): source/matheology/jub/quest.rst

ax6_A6. STRESS-TEST MATH (mathematical analysis): source/matheology/vv/jub/oov2/llog/2G-stress-test-math.rst

ax7_A7. STRESS-TEST FEASIBILITY: source/matheology/vv/jub/oov2/llog/2G-stress-test-feasibility.rst

ax8_A8. STRESS-TEST DISPOSITIONS: source/matheology/vv/jub/oov2/llog/2G-stress-test-dispositions.rst

ax9_A9. CRITIQUE INTEGRATION (C3.1–C3.7): source/matheology/vv/jub/oov2/llog/llog_2026m03d22_restructuring-2F-critique3-c3-1-c3-7.rst

STEP 1 — BUILD THE FIELD COVERAGE MATRIX#

For EACH axiom (ax1_A1–ax25_A25) and EACH theorem (th5_T5–th11_T11), assess coverage for all 45 PoR fields defined in AHA Section 11:

Field groups:

  1. Identity & Display (fields 1–6): id, title, name, sum, intro, latex

  2. Technical Explanation (fields 7–11): tctx, tcnt, logic, twhy, tinf

  3. Source-Text Support (fields 12–18): stor, sheb, sgos, sapo, squr, ssan, vsec

  4. Operational State (fields 19–29): limit, jj, aa, kk, ff, cc, dd, gg, hh, ww, yy

  5. Network & Versioning (fields 30–40): netout, netin, stayc, mento, diff, ll, con, pro, vv, vvnow, model

  6. Analytical (fields 41–45): conv, bib, pol, his, doi

For each axiom × field, assign a coverage score:

  • Full — content exists in the corpus and can be extracted

  • Partial — some content exists but needs expansion

  • Stub — heading can be generated but content is empty

  • N/A — field does not apply to this element

Present the results as a grid: rows = elements (ax1_A1–ax25_A25, th5_T5–th11_T11), columns = 45 fields. Use single-character codes: F/P/S/N.

STEP 2 — GAP ANALYSIS#

From the coverage matrix, identify:

  1. Critical gaps: Fields that are rated “Stub” for MORE than 50% of elements. These represent systemic missing data.

  2. Quick wins: Fields that are rated “Partial” for many elements and could be upgraded to “Full” with a targeted extraction pass.

  3. Source-text gaps by tradition: For fields 12–18, which traditions have good coverage? Which are empty? This determines the priority order for worldview compilation.

  4. Network completeness: For fields 30–31 (netout/netin), can the full dependency graph be extracted from the existing content? List any missing edges.

  5. StayVS coverage: For field 32 (stayc), do the existing StayVS assessments from Phase 2H cover all 36 elements?

STEP 3 — EXTRACTION DIFFICULTY ASSESSMENT#

For each PoR field, rate the extraction difficulty:

  • Auto — can be mechanically extracted from existing content (e.g., id, title, latex are already in the RST)

  • Parse — requires parsing existing prose but content exists (e.g., tctx can be derived from the explanation sections)

  • Synthesize — requires combining information from multiple sources (e.g., conv requires cross-referencing stress-test files)

  • Generate — requires new content not present in the corpus (e.g., easy intro for beginners, mento learning guidance)

Present as a single table: 45 rows (fields), columns = difficulty rating + source files where content lives + notes.

STEP 4 — WRITE FINDINGS TO A REPORT FILE#

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

Contents:

  1. Title: “Phase 2I-2: PoR Field Testing Report”

  2. Generated-by line with date and model

  3. The coverage matrix (the full grid)

  4. Gap analysis (5 sections from Step 2)

  5. Extraction difficulty table (from Step 3)

  6. Recommendations for Phase 3 priority ordering: which fields to populate first, which can wait

  7. Any proposed changes to the 45-field structure (e.g., fields to merge, split, or drop)

STEP 5 — UPDATE LLOG INDEX#

Add the new report file to the toctree in: source/matheology/vv/jub/oov2/llog/index.rst

Under a new “Phase 2I: Post-Processing” section AFTER the Phase 2H entries.

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 testing report. The only file you MODIFY is the llog index.

  4. NEVER abbreviate prompts in llogs.

  5. LANGUAGE RULES: a. NEVER use bare “Jubilee” as standalone noun. b. NEVER use “the” for unproven superlatives.

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.