Phase 2I-1: Label Migration (ax1 → pet-ax1)#

Note

Path update needed if rerun (2026-03-25, Phase 2I-3). This prompt was executed before the compiler directory was created. If this script is ever rerun, update the AHA doc path below.

Note

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

Prerequisite: AHA design doc must exist at 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``)

Token budget: ~140K. Uses selective reads for quest.rst and debug file to stay within 200K window.

/clear /compact /effort max

You are executing Phase 2I-1 of the JUB OOv2 matheology project: label migration from the legacy flat namespace (ax1, th5, con-a-1) to the BEST Names model-prefixed namespace (pet-ax1, jub-th5, jub-con1).

This session does ONE thing: rename cross-reference labels and all references to them across the entire codebase. No content changes. No structural changes. Pure mechanical renaming.

TOKEN BUDGET — SELECTIVE READ STRATEGY#

This session has a 200K-token budget. The following files are LARGE and must be read selectively:

  • quest.rst (~48K tokens): Do NOT read in full. Use grep to find all label definitions (.. _con-*: and .. _pro-*:) and all label references (:ref:`con-*` and :ref:`pro-*`). Read only the 5 lines around each label definition to understand the context. This gives you the complete migration inventory without consuming the full file.

  • debug file (~37K tokens): Do NOT read in full. When appending your session entry, read only the LAST 50 lines to understand the file’s current ending structure, then append.

All other files fit comfortably. Read them in full.

STEP 0 — READ ALL REQUIRED FILES#

ax1_A1. AHA DESIGN DOC (the naming architecture reference) — READ IN FULL: 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 (labels ax1–ax14) — READ IN FULL: source/matheology/pet/axioms.rst

ax3_A3. JUB AXIOMS (labels ax15–ax25) — READ IN FULL: source/matheology/jub/axioms.rst

ax4_A4. JUB THEOREMS (labels th5–th11) — READ IN FULL: source/matheology/jub/theorems.rst

ax5_A5. JUB QUEST (labels con-- and pro--) — SELECTIVE READ: source/matheology/jub/quest.rst Use grep to find all .. _con- and .. _pro- label definitions and all :ref: references. Read 5-line context around each. Do NOT read the entire file.

ax6_A6. AXIOMS INDEX (aggregation page, uses .. include::) — READ IN FULL: source/matheology/axioms/index.rst

ax7_A7. MATHEOLOGY INDEX — READ IN FULL: source/matheology/index.rst

ax8_A8. DEBUG FILE — SELECTIVE (append only): source/matheology/vv/jub/oov2/llog/llog_2026m03d21_restructuring-phase1-prompts-reply-overviews-for-debugs.rst Read only the last 50 lines for structural context before appending.

ax9_A9. LLOG INDEX — READ IN FULL: source/matheology/vv/jub/oov2/llog/index.rst

STEP 1 — INVENTORY ALL LABELS TO MIGRATE#

Search the ENTIRE source/matheology/ tree for:

  1. All label definitions: .. _ax\d+:, .. _th\d+:, .. _con-*:, .. _pro-*:, .. _sy\d+:

  2. All label references: :ref:`ax\d+`, :ref:`th\d+`, :ref:`con-*`, :ref:`pro-*`

  3. Any other cross-references to these labels (e.g., in .. include:: markers, comments, or prose references).

Build a complete migration table. The mapping rules are:

PET axioms (defined in pet/axioms.rst):

ax1  → pet-ax1
ax2  → pet-ax2
...
ax14 → pet-ax14

JUB axioms (defined in jub/axioms.rst):

ax15 → jub-ax15
ax16 → jub-ax16
...
ax25 → jub-ax25

JUB theorems (defined in jub/theorems.rst):

th1  → jub-th1  (if it exists)
...
th11 → jub-th11

JUB quest objections and replies (defined in jub/quest.rst):

The existing labels con-a-1, con-c-3-2, pro-f-12, etc. use a {type}-{letter}-{number} and {type}-{letter}-{round}-{number} format. Map these to the BEST Names format:

con-a-1     → jub-con1
con-a-2     → jub-con2
...
con-a-2-1   → jub-con2r1    (round 2, objection 1)
con-c-3-2   → jub-con3r2    (round 3, objection 2)
...
pro-a-1     → jub-pro1
pro-d-2     → jub-pro2
...
pro-a-2-1   → jub-pro2r1
...

IMPORTANT: The letter in the current label (a, c, d, e, f, g) encodes a category. This information will be preserved as metadata in PoR fields, NOT in the label. Do NOT lose this information — record the old→new mapping and old letter meaning in a comment block at the top of each modified file.

STEP 2 — EXECUTE THE MIGRATION#

For EACH file containing labels or references:

  1. Replace all label DEFINITIONS (.. _ax1: → .. _pet-ax1:)

  2. Replace all label REFERENCES (:ref:`ax1` → :ref:`pet-ax1`)

  3. Replace any content markers that embed old labels

  4. Add an RST comment at the top of each modified file documenting the migration:

    .. Migration note (2026-03-23, Phase 2I-1):
..   Labels renamed per BEST Names architecture.
..   Old: ax1, ax2, ... New: pet-ax1, pet-ax2, ...
..   See: aha-best-names-for-matheology-links.rst
..   (New location: compiler/ww/5d-link-naming-matheology-aha.rst)

  5. Do NOT modify llog files, deprecated files, or VV archive files. Those preserve historical labels as evidence.

STEP 3 — HANDLE THE INCLUDE PROBLEM#

The file source/matheology/axioms/index.rst currently uses .. include:: to pull labeled content from pet/axioms.rst and jub/axioms.rst. After migration, these labels will be model-prefixed and globally unique, which mitigates the immediate duplicate problem.

However, per the AHA design doc Section 1, .. include:: for labeled content is architecturally deprecated. For now:

  1. Check that the migrated labels work correctly with the existing .. include:: structure (they should, since model-prefixed labels won’t collide).

  2. Add an RST comment to axioms/index.rst:

    .. TODO (Phase 3): Replace .. include:: with compiled pages.
..   The current structure works because model-prefixed labels
..   are globally unique. But the DRY architecture requires
..   compiled downstream pages, not includes.
..   See: aha-best-names-for-matheology-links.rst Section 1.
..   (New location: compiler/ww/5d-link-naming-matheology-aha.rst)

STEP 4 — CHECK BUILD#

Run make html and confirm:

  1. Zero new warnings introduced by the migration

  2. All :ref: cross-references resolve correctly

  3. The axioms index page renders correctly

  4. No broken links in the quest structure

STEP 5 — APPEND TO DEBUG FILE#

APPEND a session entry to ax8_A8 (debug file). Read only the last 50 lines for structural context, then append:

  1. Verbatim prompt (this entire prompt, in a code-block)

  2. Migration table (old → new, every label)

  3. List of all files modified

  4. Build check result

  5. Any issues encountered and how resolved

CRITICAL RULES#

  1. llog files are APPEND-ONLY.

  2. NEVER delete content files.

  3. NEVER modify deprecated/ or VV archive files.

  4. NEVER abbreviate prompts in llogs.

  5. Check the build after migration before declaring success.

  6. If ANY cross-reference breaks, FIX IT before proceeding.

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