Ready-to-Paste Prompts for VV-to-HELL Migration#

All decisions logged in b15 execution llog (Exchanges 6–10). Comprehensive file map at b/14/vv-migration-map.html.

Prompt 1: Execute the VV-to-HELL File Migration — COMPLETED#

Completed 2026m04d04

Executed in the b14 execution llog session (VV-to-HELL Migration — Execution LLog, Exchanges 1–4). Script vv_to_hell_migrate_v2.py copied 99 files with D4 rename notes. All decisions confirmed by LLoL (skill-compile → sisyf/gg + b/38; 1M-token alternatives → with their logs).

Prompt 2: Update Cross-References — COMPLETED#

Completed 2026m04d04

Executed as part of post-migration step 4 in the same session (Exchange 5). Updated 11 content files and 96 socialcard references via Python script. LLog content (immutable) was not touched. Naming docs did not need updating (no VV path references found).

Prompt 3: Clean Up VV — COMPLETED#

Completed 2026m04d04

Executed as part of Exchange 6 in the same session. git rm -r source/matheology/vv/ removed all 96 tracked VV files. Git detected 88 renames at 98% similarity. 9 VV index pages deleted (text ported to HELL overviews). VV removed from matheology toctree.

Decision changes from original prompt:

  • sisyf/ee/ copies STAY (they are compiler input data, not duplicates). Raw copies moved to b/41 alongside their originating log.

  • Deprecated files moved WITH their successors to HELL (not to HH/).

  • Cleanup used git rm (not move to HH/) for clean rename tracking.

Prompt 4: Toctree Linking for MM Model Snapshots#

/effort max

The MM folder structure has model snapshots that need toctree linking:

- hell/mm/b/11/PPv1/ — PET old model (compound naming, BACKWARD)
- hell/mm/b/11/PPv2/ — PET new model (brief naming, FORWARD)
- hell/mm/b/14/OOv1/ — JUB old content snapshot (BACKWARD)
- hell/mm/b/14/OOv3/ — JUB new model (brief naming, FORWARD)
- hell/mm/b/15/mmv1/ — Structural deadlock paper (a5, FORWARD)

For each folder that has content:
1. Create an index.rst that lists the files in a toctree
2. Link the index from hell/mm/index.rst
3. Build and test

Also create placeholder index.rst files for empty MM folders:
b/11 (a1: PET), b/12 (a2: e7day), b/13 (a3: e7he),
b/14 (a4: JUB), b/16 (a6: riskymad), b/17 (a7: h-star)

Each placeholder should state the paper topic and that the formal
model is pending. Include the paper-to-folder mapping:
  b/11=a1, b/12=a2, b/13=a3, b/14=a4, b/15=a5, b/16=a6, b/17=a7

Prompt 5: Post-Flight and CLAUDE.md Updates#

Final post-flight for the TELES b15 compound naming migration
and VV-to-HELL migration.

Check and update if needed:

2. AHA/ docs:
   - AHA/HELL.md — update with MM folder structure, ee/ usage,
     and the ll/ organization (pet, jub, other)
   - AHA/POST.md — check if POST codes need updating
   - AHA/page-template.md — no changes expected






3. Verify all RST labels still resolve:
   - pet-ax1 through pet-ax14, pet-ax11b
   - jub-ax15 through jub-ax25
   - pet-th1 through pet-th4
   - jub-th5 through jub-th11
   - legacy-5d-link-names-table-for-pet-jub-model
   - hell-ll-other-b15-teles-renaming-prompt


Log results in the b14 execution llog.

Prompts created 2026m04d04 during the TELES b15 execution session. Updated with LLoL decisions from Exchange 10 (D1-D4 review). Prompts 1–3 marked completed 2026m04d04 after execution in b14 session.