.. Migration note (2026m04d04): Claude copied this file during VV-to-HELL migration. Old path: ``vv/jub/oov2/prompts/prompt_2I-1.rst`` (as given by LLoL) New path: ``hell/ll/jub/b/38/prompt_2I-1.rst`` (as chosen by Claude) Category: JUB OOv2 prompt .. meta:: :description: Execution prompt for migrating legacy flat namespace labels to BEST Names model-prefixed identifiers (ax1 to pet-ax1) across the full codebase. :keywords: JUB OOv2, Phase 2I-1, label migration, BEST Names, namespace, pet-ax1, flat labels, cross-references, model-prefixed :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth :og:card:title: Phase 2I-1: Label
Migration to BEST Names :og:card:description: Every legacy flat label becomes a model-prefixed BEST Names identifier. This prompt drives the namespace migration across the full codebase. .. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26 OO :description: Prompt for Phase 2I-1 migrating legacy flat labels to the BEST Names namespace with model-prefixed identifiers. OO :keywords: JUB OOv2, Phase 2I-1, label migration, BEST Names, namespace, pet-ax1, flat labels, cross-references, matheology OO :og:card:title: Phase 2I-1: Label
Migration Prompt OO :og:card:description: Prompt for migrating legacy flat namespace labels to BEST Names model-prefixed identifiers across the codebase. PP :description: Execution prompt for migrating legacy flat namespace labels to BEST Names model-prefixed identifiers (ax1 to pet-ax1) across the full codebase. PP :keywords: JUB OOv2, Phase 2I-1, label migration, BEST Names, namespace, pet-ax1, flat labels, cross-references, model-prefixed PP :og:card:title: Phase 2I-1: Label
Migration to BEST Names PP :og:card:description: Every legacy flat label becomes a model-prefixed BEST Names identifier. This prompt drives the namespace migration across the full codebase. .. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26 dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page. :description: 143 chars | :og:card:title: 40 chars (excl
) - [ ] 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-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. .. 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.