Note

TELES renaming prompt created 2026m04d03. This prompt defines a one-time mechanical identifier migration under the TELES extended contract. Execute in a dedicated session with /effort max. This migration MUST complete BEFORE the VV-to-HELL migration (see hell/ll/other/b/14).

TELES Axiom/Theorem Compound Naming — Execution Prompt

---

Context

The balospe-com matheology framework uses 25 axioms (A1–A25) and 11 theorems (T1–T11) across two foundational models:

• PET (Pan-En-Theology): axioms A1–A14, theorems T1–T4

• JUB (Jubilee): axioms A15–A25, theorems T5–T11

These numbers are temporary working labels. Final numbering will be assigned when all models are stable. However, the current uppercase format (A15, T8) gives a false impression of finality, and the special case A11’ (with apostrophe) causes parsing problems in web/grep/URL contexts.

Additionally, papers a1–a7 will cite these axioms. External citations should use the brief lowercase form (ax15, th8) to signal temporary status. The codebase should use compound form (ax15_A15) to preserve the legacy mapping.

Authority

This migration operates under the TELES extended contract for mechanical identifier-format migrations (see TELES — Terminally Eliminating Log Errors Systematically and TELES Renaming Policy — Mechanical Identifier Migrations).

Authorization: Approved by LLoL on 2026m04d03 during the HELL Stability Review session.

Key constraint: This is a SYNONYM operation, not a RENAME. The old identifier survives as the suffix. The formal objects (axioms, theorems) are unchanged.

---

Complete Mapping Table

PET Axioms (A1–A14 → ax1_A1 through ax14_A14)

Old	New	Description
A1	ax1_A1	Containment (God contains the world)
A2	ax2_A2	Sustenance (God sustains the world)
A3	ax3_A3	Freedom (genuine freedom exists)
A4	ax4_A4	Responsiveness (God responds to world)
A5	ax5_A5	Temporality (God experiences time)
A6	ax6_A6	Love (God acts from love)
A7	ax7_A7	Purpose (God has purpose for creation)
A8	ax8_A8	Suffering (God suffers with creation)
A9	ax9_A9	Persuasion (God persuades, not coerces)
A10	ax10_A10	Creativity (God enables genuine novelty)
A11	ax11_A11	Dipolarity (God has two poles)
A11’	ax11b_A11b	Divine Simplicity (alternative to ax11_A11)
A12	ax12_A12	Universality (relation to all entities)
A13	ax13_A13	Knowability (God can be partially known)
A14	ax14_A14	Consistency (logical self-consistency)

JUB Axioms (A15–A25 → ax15_A15 through ax25_A25)

Old	New	Description
A15	ax15_A15	Influence ordering (partial order on agents)
A16	ax16_A16	Delegation (God delegates responsibility)
A17	ax17_A17	Accountability (agents are accountable)
A18	ax18_A18	Inequality dynamics (wealth concentrates)
A19	ax19_A19	Maximal influence (uniquely maximal agent)
A20	ax20_A20	Reset mechanism (periodic rebalancing)
A21	ax21_A21	Voluntary participation
A22	ax22_A22	Graduated implementation
A23	ax23_A23	Institutional safeguards
A24	ax24_A24	Knowledge distribution
A25	ax25_A25	Succession design

Theorems (T1–T11 → th1_T1 through th11_T11)

Old	New	Description
T1	th1_T1	PET theorem 1
T2	th2_T2	PET theorem 2
T3	th3_T3	PET theorem 3
T4	th4_T4	PET theorem 4
T5	th5_T5	JUB theorem 5 (bistability)
T6	th6_T6	JUB theorem 6
T7	th7_T7	JUB theorem 7
T8	th8_T8	JUB theorem 8 (self-destruction dynamics)
T9	th9_T9	JUB theorem 9 (ergodicity)
T10	th10_T10	JUB theorem 10
T11	th11_T11	JUB theorem 11

Citation Forms

Context	Label type	Example
Papers (external citation)	Brief	ax15, th8, ax11b
Codebase (running text)	Compound label	ax15_A15, th8_T8, ax11b_A11b
RST cross-references	5D-link label	pet-ax1, jub-ax15, pet-th1
Root Table (permanent record)	All forms	Brief + Compound + First draft + 5D-link + Explicit

---

Execution Plan

Pre-flight checklist:

[ ] Read TELES contract and renaming policy
[ ] Read this mapping table completely
[ ] Run `make html` and record baseline warning count
[ ] Confirm: RST labels (pet-ax1, jub-ax15, etc.) are NOT changed
[ ] Confirm: only TEXT references (running prose) are changed

Phase 1: A11’ → ax11b_A11b (highest priority, 117 occurrences, 27 files)

This is the most critical substitution — it eliminates the apostrophe.

Search pattern: A11' (with straight quote, Unicode prime, or curly quote)
Replace with:   ax11b_A11b

Also search for: A11′ (Unicode prime U+2032)
Also search for: A11' (curly right quote U+2019)
Replace all variants with: ax11b_A11b

Special care: Do NOT change RST labels like `pet-ax11` (no prime).
Only change text references that include the prime/apostrophe.

Build and test after this phase.

Phase 2: A10–A25, T5–T11 (low false-positive risk)

These identifiers are 3+ characters and distinctive. Safe for word-boundary replacement.

For each N in {10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25}:
  Search:  \bA{N}\b  (word boundary match)
  Replace: ax{N}_A{N}

For each N in {5, 6, 7, 8, 9, 10, 11}:
  Search:  \bT{N}\b  (word boundary match)
  Replace: th{N}_T{N}

EXCLUDE from replacement:
- RST label definitions (lines starting with `.. _pet-ax` or `.. _jub-ax`)
- RST label references (`:ref:`pet-ax15``)
- Lines inside `.. code-block::` directives (preserve code examples)
- File paths and URLs containing /A15/ or similar

Build and test after this phase.

Phase 3: A1–A9, T1–T4 (HIGH false-positive risk — manual review required)

These short patterns require context-aware matching.

For each N in {1, 2, 3, 4, 5, 6, 7, 8, 9}:
  Search:  Axiom A{N}\b  OR  axiom A{N}\b  OR  \bA{N}\b (in axiom context)
  Replace: ax{N}_A{N}

For each N in {1, 2, 3, 4}:
  Search:  Theorem T{N}\b  OR  theorem T{N}\b  OR  \bT{N}\b (in theorem context)
  Replace: th{N}_T{N}

MANUAL REVIEW REQUIRED for every A1--A9 substitution.
Check each match in context to confirm it refers to an axiom.

Known false-positive risks:
- "A1" as a heading/section label
- "A1" in non-axiom technical text
- "T1" as a table column header
- Any single-letter-digit combo in unrelated contexts

Build and test after this phase.

Phase 3.5: Generate HH Context Table for human review

Before appending migration reports or creating the Root Table, generate a tab-separated text file at HH/teles-b15-context-table.txt listing every substitution made, with surrounding context for sampling.

Format (tab-separated columns):

File Line    Old     New     Context (surrounding text)      FLAG

This file is for human review only and will NOT be committed. The human in charge will inspect a sample of rows to check for false positives or ambiguities before proceeding to Phase 4.

Any substitution that looks even vaguely ambiguous MUST be flagged in the FLAG column with a brief note, and these flagged rows MUST be presented to the human for decision before finalizing.

Phase 4: Append migration reports

For every modified file, append:

.. admonition:: TELES migration report (2026m04dXX)

   Mechanical identifier migration applied to this file.
   All axiom/theorem text references 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. See
   :ref:`hell-ll-other-b15-teles-renaming-prompt` for the complete
   mapping table.

Phase 5: Create the BEST Names Root Table

Create the permanent Root Table at a stable location (proposed: hell/system/dd/b/12/). The table maps for each axiom/theorem:

Brief	Explicit Name	Summarizing Name	5D-link label	Compound label	First draft label
ax1	Containment	God contains the world	pet-ax1	ax1_A1	A1
ax2	Sustenance	God sustains the world	pet-ax2	ax2_A2	A2
ax3	Freedom	genuine freedom exists	pet-ax3	ax3_A3	A3
ax4	Responsiveness	God responds to world	pet-ax4	ax4_A4	A4
ax5	Temporality	God experiences time	pet-ax5	ax5_A5	A5
ax6	Love	God acts from love	pet-ax6	ax6_A6	A6
ax7	Purpose	God has purpose for creation	pet-ax7	ax7_A7	A7
ax8	Suffering	God suffers with creation	pet-ax8	ax8_A8	A8
ax9	Persuasion	God persuades, not coerces	pet-ax9	ax9_A9	A9
ax10	Creativity	God enables genuine novelty	pet-ax10	ax10_A10	A10
ax11	Dipolarity	God has two poles	pet-ax11	ax11_A11	A11
ax11b	Divine Simplicity	alternative to ax11_A11	pet-ax11b	ax11b_A11b	A11’
ax12	Universality	relation to all entities	pet-ax12	ax12_A12	A12
ax13	Knowability	God can be partially known	pet-ax13	ax13_A13	A13
ax14	Consistency	logical self-consistency	pet-ax14	ax14_A14	A14
ax15	Influence ordering	partial order on agents	jub-ax15	ax15_A15	A15
ax16	Delegation	God delegates responsibility	jub-ax16	ax16_A16	A16
ax17	Accountability	agents are accountable	jub-ax17	ax17_A17	A17
ax18	Inequality dynamics	wealth concentrates	jub-ax18	ax18_A18	A18
ax19	Maximal influence	uniquely maximal agent	jub-ax19	ax19_A19	A19
ax20	Reset mechanism	periodic rebalancing	jub-ax20	ax20_A20	A20
ax21	Voluntary participation		jub-ax21	ax21_A21	A21
ax22	Graduated implementation		jub-ax22	ax22_A22	A22
ax23	Institutional safeguards		jub-ax23	ax23_A23	A23
ax24	Knowledge distribution		jub-ax24	ax24_A24	A24
ax25	Succession design		jub-ax25	ax25_A25	A25
th1	PET theorem 1		pet-th1	th1_T1	T1
th2	PET theorem 2		pet-th2	th2_T2	T2
th3	PET theorem 3		pet-th3	th3_T3	T3
th4	PET theorem 4		pet-th4	th4_T4	T4
th5	Bistability		jub-th5	th5_T5	T5
th6	JUB theorem 6		jub-th6	th6_T6	T6
th7	JUB theorem 7		jub-th7	th7_T7	T7
th8	Self-destruction dynamics		jub-th8	th8_T8	T8
th9	Ergodicity		jub-th9	th9_T9	T9
th10	JUB theorem 10		jub-th10	th10_T10	T10
th11	JUB theorem 11		jub-th11	th11_T11	T11

This table is the permanent reference. Future synonym additions (from world literature engagement) are appended here. Summarizing Name column left blank where no parenthetical description existed in the original; to be populated in future sessions.

Phase 6: Post-flight

[ ] HH context table reviewed and approved by human
[ ] Build succeeds with no new warnings
[ ] All RST labels (pet-ax1, jub-ax15) unchanged
[ ] Root Table created and linked
[ ] Session llog saved at hell/ll/teles/b/11/
[ ] CLAUDE.md and AHA docs updated if needed

---

Scope Estimate

Based on the census (2026m04d03):

• A1–A14 text references: ~2,075 across 139 files

• A15–A25 text references: ~2,522 across 163 files

• T1–T11 text references: ~318+ across multiple files

• A11’ special case: 117 across 27 files

• Total estimated substitutions: ~5,000+

• Estimated session time: 1–2 dedicated sessions at max effort

Execution order: Phase 1 (A11’) → Phase 2 (A10+, T5+) → Phase 3 (A1–A9, T1–T4) → Phase 3.5 (HH context table for human review) → Phase 4 (reports) → Phase 5 (Root Table) → Phase 6 (post-flight).

This MUST complete before the VV-to-HELL migration (see hell/ll/other/b/14/), because VV files contain axiom references that should be migrated in-place before being moved to HELL.

---

This prompt was created on 2026m04d03 during the HELL Stability Review and FLAMES Restructuring session. Future agents writing TELES renaming prompts should reference this document as a model for scope, structure, and safeguards.