Phase 2I-6: HELL Migration — Quest Labels to Flat Finding Register#

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 file paths below — in particular the AHA doc path in step 2 (see inline note).

Note

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

Prerequisite: Phase 2I-5 (AHA doc restructuring) must be complete. The AHA doc now contains the 5-dimension grammar with D6 collapsed into D2, HELL registry design (Section 17), and audit cycle workflow (Section 18).

Session goal: Migrate 66 round-based quest labels (33 con + 33 pro) from quest.rst to flat-numbered HELL finding register. Create the HELL folder structure. Update all cross-references.

Token budget: ~140K. quest.rst is ~50K, AHA doc ~17K, axioms.rst ~8K, theorems.rst ~6K, output ~30K, working ~30K.

Safety: This script is additive-first. Old labels are kept as RST aliases until all references are updated. No content is deleted. LLog files are NOT modified (append-only rule).

/clear /compact

You are executing Phase 2I-6 of the JUB OOv2 matheology project: migrating quest findings to the HELL register.

Your CLAUDE.md is in the repo root. Read it first and obey all rules, especially: llog files are APPEND-ONLY, NEVER delete content files, NEVER use “validate/verify” language.

TOKEN BUDGET — SELECTIVE READ STRATEGY#

Read files in this order. Stop and verify each step before moving on.

  1. CLAUDE.md (repo root) — read in full

  2. AHA doc (Section 17 HELL, Section 18 Audit Cycle, Section 5.2 sub-element fields) — 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``)

  3. source/matheology/jub/quest.rst — read in full (~4600 lines)

  4. source/matheology/jub/axioms.rst — read in full (~780 lines)

  5. source/matheology/jub/theorems.rst — read in full (~550 lines)

  6. source/matheology/hell/index.rst — read in full (existing HELL)

  7. source/matheology/vv/jub/oov2/llog/2I-adversarial-stress-test.rst — grep only for jub-con and jub-pro references (do NOT modify this file — it is an append-only llog)

STEP 0 — UNDERSTAND THE CURRENT STATE#

After reading all files above, enumerate:

  1. All 66 current labels in quest.rst (.. _jub-conN: and .. _jub-proN: including round-based jub-con2rN etc.)

  2. All cross-references to these labels in axioms.rst and theorems.rst (grep for jub-con and jub-pro)

  3. The existing HELL folder structure (source/matheology/hell/)

  4. Confirm that NO other files outside of llog/prompt files contain :ref: cross-references to these labels. (Grep the entire source/ tree. Llogs and prompts are read-only for this script.)

Print a summary table of your findings before proceeding.

STEP 1 — BUILD THE MIGRATION MAPPING#

Create a flat numbering scheme. Rules from AHA doc Section 17:

  • Numbering starts at 11 (band a, items 1-9, is reserved)

  • Each con/pro pair shares the same number: con11/pro11

  • All findings are Jub-specific: prefix is jub-

  • Order: Round 1 items first (con1-con14 → con11-con24), then Round 2 (con2r1-con2r12 → con25-con36), then Round 3 (con3r1-con3r7 → con37-con43)

  • Same ordering for pro items

Build and display the complete mapping table:

OLD LABEL          → NEW LABEL       HELL PATH
─────────────────────────────────────────────────────────
jub-con1           → jub-con11       hell/con/b/11/
jub-con2           → jub-con12       hell/con/b/12/
...
jub-con14          → jub-con24       hell/con/b/24/
jub-con2r1         → jub-con25       hell/con/b/25/
...
jub-con2r12        → jub-con36       hell/con/b/36/
jub-con3r1         → jub-con37       hell/con/b/37/
...
jub-con3r7         → jub-con43       hell/con/b/43/
(same pattern for jub-pro*)

STOP AND DISPLAY THE FULL TABLE. Do not proceed until the human confirms or adjusts the mapping. If the human is not interactive, proceed only if the table matches the pattern above exactly.

STEP 2 — CREATE HELL FOLDER STRUCTURE#

Create the following directory tree under source/matheology/hell/:

hell/
├── con/
│   └── b/           ← band b: items 10-99
│       ├── 11/
│       │   └── index.rst
│       ├── 12/
│       │   └── index.rst
│       ...
│       └── 43/
│           └── index.rst
└── pro/
    └── b/
        ├── 11/
        │   └── index.rst
        ...
        └── 43/
            └── index.rst

Each index.rst is a standalone page with:

  1. The RST label (.. _jub-con11:)

  2. The heading (from quest.rst, e.g., “Con-A.1 — th8_T8 Is Not a Theorem…”)

  3. The severity, sphere, and target metadata

  4. The full content extracted from quest.rst

  5. A migration note comment at the top

Template for each con index.rst:

.. Migration: from quest.rst label jub-con1 → jub-con11
..   Phase 2I-6 migration, {today's date}

.. include:: /_templates/include-file/page-prefix.rst

.. _jub-con11:

Con-A.1 --- th8_T8 Is Not a Theorem; Bistability Is Asserted, Not Derived
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
*Severity: A (Fatal)*  |  *Sphere: Se1*  |  *Target: th8_T8, th9_T9, th11_T11*

{full content from quest.rst, verbatim}

*(Source: C1 from OOv1 Critique Round 1.)*

Template for each pro index.rst:

.. Migration: from quest.rst label jub-pro1 → jub-pro11
..   Phase 2I-6 migration, {today's date}

.. include:: /_templates/include-file/page-prefix.rst

.. _jub-pro11:

Pro-A.1 --- ...
~~~~~~~~~~~~~~~~~~
{full content from quest.rst, verbatim}

CRITICAL SAFETY RULES:

  • Extract content VERBATIM from quest.rst. Do not rewrite, summarize, or reformat. Copy the exact RST content between one label and the next.

  • Include .. include:: /_templates/include-file/page-prefix.rst at the top of every new file (required by CLAUDE.md conventions).

  • Do NOT include page-postfix blocks (these findings pages do not need FeedbackFlow mailto links).

  • Use the ~ underline character for headings (subsection level), matching the current quest.rst heading level.

STEP 3 — UPDATE HELL INDEX#

Update source/matheology/hell/index.rst to add the con/ and pro/ toctrees. Keep the existing bugc101-* entries. Add new toctrees AFTER the existing content but BEFORE the call-to-action block.

Add:

Findings Register (Jub OOv2)
==============================

.. toctree::
   :maxdepth: 1
   :caption: Objections (Con)

   con/b/11/index
   con/b/12/index
   ...all 33 con entries...

.. toctree::
   :maxdepth: 1
   :caption: Responses (Pro)

   pro/b/11/index
   pro/b/12/index
   ...all 33 pro entries...

STEP 4 — UPDATE QUEST.RST#

Transform quest.rst from a content document into a priority backlog that links to HELL entries. This is the most delicate step.

4a. Keep old labels as aliases. For EVERY old label, add an alias that points to the new location. At the top of quest.rst (after the existing migration comment block), add:

.. _jub-con1:
.. _jub-con2:
...
.. _jub-con14:
.. _jub-con2r1:
...
.. _jub-con2r12:
.. _jub-con3r1:
...
.. _jub-con3r7:
.. _jub-pro1:
...
.. _jub-pro3r7:

These are “empty” RST labels that will resolve to whatever content follows them. Place them immediately before a “Migration Notice” section so they all resolve to the migration notice.

4b. Add migration notice section right after the alias labels:

.. note::

   **Migration notice (Phase 2I-6, {today's date}):** All 66
   findings have been migrated to the HELL register. Old labels
   (``jub-con1`` through ``jub-con3r7``) still resolve here for
   backwards compatibility.

   See :doc:`/matheology/hell/index` for the full finding register.

**Label mapping:**

.. list-table::
   :header-rows: 1
   :widths: 30 30 40

   * - Old label
     - New label
     - HELL location
   * - ``jub-con1``
     - ``jub-con11``
     - :ref:`jub-con11`
   ...all 66 rows...

4c. Replace the inline content with cross-reference links. For each con/pro section currently in quest.rst, replace the full content with a brief entry that links to the HELL page:

Con-A.1 --- th8_T8 Is Not a Theorem
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
*Severity: A (Fatal)*  |  :ref:`Full finding → <jub-con11>`

This keeps quest.rst as a navigable overview/backlog while the authoritative content lives in HELL.

4d. Keep the existing structure headings (Master Inventory, Cons Overview, Pros Overview, Round 2, Round 3 sections). Just replace the inline content with links.

STEP 5 — UPDATE CROSS-REFERENCES#

Update :ref: cross-references in these files ONLY:

  • source/matheology/jub/axioms.rst

  • source/matheology/jub/theorems.rst

For each :ref:`...<jub-conN>` or :ref:`...<jub-proN>`, update the target to the new label. Examples:

:ref:`Con-E.9 / Pro-E.9 <jub-con9>`
→
:ref:`Con-E.9 / Pro-E.9 <jub-con19>`

:ref:`Con-A.2.1 / Pro-A.2.1 <jub-con2r1>`
→
:ref:`Con-A.2.1 / Pro-A.2.1 <jub-con25>`

DO NOT modify any files in:

  • source/matheology/vv/ (llogs are append-only, prompts are historical)

  • Any file not listed above

The old labels in quest.rst (Step 4a aliases) ensure that any un-updated references still resolve.

STEP 6 — UPDATE AHA DOC MIGRATION COMMENT#

In the AHA doc, update Section 18.2 to note the migration is complete (if it was just a plan). Add the date and reference to the mapping.

STEP 7 — BUILD AND VERIFY#

Run make html and verify:

  1. Build succeeds with no NEW warnings (pre-existing warnings are OK)

  2. All 66 old labels still resolve (they are aliases in quest.rst)

  3. All 66 new labels resolve (they are in HELL index.rst files)

  4. Cross-references in axioms.rst and theorems.rst point to new labels

  5. HELL index page shows the toctree with all entries

If the build fails, fix the issue. Common problems:

  • Duplicate labels (old alias + new label both defined → remove old alias for that specific label)

  • Missing toctree entries (add the missing line)

  • RST formatting errors in extracted content (fix the RST)

STEP 8 — WRITE LLOG ENTRY#

Create a new llog file documenting this migration:

source/matheology/vv/jub/oov2/llog/llog_2026m03d24_phase2I-6-hell-migration.rst

Contents:

  • Date and session summary

  • The complete migration mapping table (old → new)

  • Files created (list of all 66 HELL index.rst paths)

  • Files modified (quest.rst, axioms.rst, theorems.rst, hell/index.rst)

  • Files NOT modified and why (llogs, prompts, stress test)

  • Build result

Follow llog conventions: append-only, include the verbatim prompt at the top in a .. container:: verbatim-prompt block.

COMPLETION CHECKLIST#

Before declaring done, verify ALL of these:

#

Check

Status

1

33 con folders created in hell/con/b/{11..43}/

2

33 pro folders created in hell/pro/b/{11..43}/

3

Each folder has index.rst with correct label and content

4

hell/index.rst updated with toctrees

5

quest.rst has 66 alias labels for backwards compatibility

6

quest.rst has migration notice and mapping table

7

quest.rst inline content replaced with links to HELL

8

axioms.rst cross-references updated to new labels

9

theorems.rst cross-references updated to new labels

10

make html passes with no new warnings

11

LLog entry written

12

No llog or prompt files were modified

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.