.. meta:: :description: TELES execution prompt for migrating all axiom/theorem text references to compound naming format (ax15_A15) across the entire balospe-com codebase. :keywords: TELES, renaming, axiom, theorem, compound naming, ax, th, A11b, migration, mechanical, identifier :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and The Spirit of Boolean Truth .. 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 :ref:`hell/ll/other/b/14 `). .. _hell-ll-other-b15-teles-renaming-prompt: *************************************************************************************** TELES Axiom/Theorem Compound Naming --- Execution Prompt *************************************************************************************** .. contents:: On this page :depth: 3 :local: ---- 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 :doc:`/matheology/compiler/teles/index` and :doc:`/matheology/compiler/teles/renaming-policy`). **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) -------------------------------------------------- .. list-table:: :header-rows: 1 :widths: 15 20 65 * - 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) ----------------------------------------------------- .. list-table:: :header-rows: 1 :widths: 15 20 65 * - 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) ------------------------------------------------- .. list-table:: :header-rows: 1 :widths: 15 20 65 * - 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 ---------------- .. list-table:: :header-rows: 1 :widths: 25 30 45 * - 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:** .. code-block:: text [ ] 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. .. code-block:: text 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. .. code-block:: text 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. .. code-block:: text 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): .. code-block:: text 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: .. code-block:: rst .. 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: .. list-table:: :header-rows: 1 :widths: 8 18 18 14 14 14 * - 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 ----------------------- .. code-block:: text [ ] 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.*