Collected .. todo:: entries (whole site)#
This page is the single collection point for the .. todo:: directives scattered
through the site’s content pages. It is the machine-collected half of the AnyAims system:
an AA file is a written, prioritised task list, placed next to the thing it plans;
a ``.. todo::`` directive is an in-place marker inside a content page, dropped where the work is needed. This page gathers them automatically.
Both are AnyAims. The difference is that a .. todo:: needs no file of its own — you
write it where you notice the problem, and it shows up here.
Note
sphinx.ext.todo is enabled in source/conf.py with todo_include_todos = True,
so the directives render in place and are gathered below. If they ever stop
appearing, check that flag first.
How to add one#
Put the directive in the page where the work belongs, and give it AIMS coordinates so it can be sorted alongside the AA files:
.. todo:: **AA-<area>-<slug>** (k4 Todo, s2 MidTerm):
One sentence saying what needs doing and why, and any pointer needed to start.
Use a .. todo:: for something small and local. Open an AA file instead when the task
needs a task list, a scope estimate, or a decision record — see
AHA/aa-anyaims-sorting.md for which is which.
The collected list#
Todo
Draft a narrative introduction to PET for first-time readers. This should be the recommended starting point before diving into the formal axioms.
(The original entry is located in /home/runner/work/balospe-com/balospe-com/source/matheology/hell/mm/b/11/ppv2/overview.rst, line 32.)
Todo
Draft a narrative introduction to JUB for first-time readers. This should present the connected story of how A15–A25 and T5–T11 build on the PET foundation to solve the innovation theodicy and arrive at the Jubilee principle.
(The original entry is located in /home/runner/work/balospe-com/balospe-com/source/matheology/hell/mm/b/14/oov2/overview.rst, line 32.)
Todo
Draft a narrative introduction to JUB for first-time readers. This should present the connected story of how ax15–ax25 and th5–th11 build on the PET foundation to solve the innovation theodicy and arrive at the Jubilee principle.
(The original entry is located in /home/runner/work/balospe-com/balospe-com/source/matheology/hell/mm/b/14/oov3/overview.rst, line 32.)
Todo
Draft a narrative introduction to JUB for first-time readers. This should present the connected story of how ax15–ax25 and th5–th11 build on the PET foundation to solve the innovation theodicy and arrive at the Jubilee principle.
(The original entry is located in /home/runner/work/balospe-com/balospe-com/source/matheology/jub/overview.rst, line 32.)
Todo
AA-PET-EDEN-a1 (k7 GroundBreaking, s7 DecideTry): Integrate findings from the 2026-04-03 EDEN self-analysis session into the PET axiom system. Key items:
ax11/ax11b fork strengthened: The session produced a formal argument that ax11b (Divine Simplicity) makes God structurally indistinguishable from a static formal system (Peano integers, deadlocked computation), because ax8–ax10 (relational axioms) require genuine responsiveness that Simplicity cannot provide. This is a Final Cliff in EDEN — either ax11b or ax8–ax10 must yield. Consider formalizing this as a theorem or incompatibility result.
Recursive self-check mechanism: The dipolar structure (ax11) provides a non-circular self-check via Gn/Gc tension. Consider whether this property deserves explicit axiomatic or theorem status (e.g., “T-SelfCheck: God’s dipolar nature enables distinction of every world-state without external reference”).
ax14 bidirectionality: Currently ax14 tests human revelation claims against ax1–ax13. The reverse should also be stated: ax1–ax13 are human formulations subject to testing against broader revelation and lived experience. Consider reformulating ax14 or adding A14b.
Humility Axiom: Consider adding a formal statement that PET is necessarily incomplete (grounded in ax2 + ax3 + Godel’s incompleteness).
Semantics of nothing: The “nothing” paradox demonstrates that natural language is vulnerable to silent meaning-inversion (Corruption Optima Pessima at the linguistic level). This is an argument for PET’s formal approach. Consider documenting this as a motivating example in the discussions page.
ax11b’ exploration: Investigate whether a formal axiom between full Dipolarity and full Simplicity exists that preserves the self-check mechanism while respecting Simplicity concerns about divine composition.
See: EDEN Self-Analysis: PET Recursive Self-Check, Divine Simplicity, and the Semantics of Nothing
(The original entry is located in /home/runner/work/balospe-com/balospe-com/source/matheology/pet/aa.rst, line 38.)
Todo
Draft a narrative introduction to PET for first-time readers. This should be the recommended starting point before diving into the formal axioms.
(The original entry is located in /home/runner/work/balospe-com/balospe-com/source/matheology/pet/overview.rst, line 32.)
Known duplication — to be reconciled
Two older pages also carry a .. todolist:: directive and therefore render this same
global list a second and third time:
source/matheology/jub/anyaims.rst(line ~34)source/matheology/pet/anyaims.rst(line ~77)
todolist is global — it always collects every .. todo:: in the project and
cannot be scoped to a subtree. So those pages do not show “the JUB todos” or “the PET
todos”; they show all of them, under a heading implying otherwise.
Recorded rather than fixed here, because pet/anyaims.rst also carries its own written
AA entry (AA-PET-EDEN-a1, k7 s7) that must not be lost in any cleanup. Suggested
resolution: keep the written entries in place, replace the two .. todolist::
directives with a link to this page. Ask LLoL first.
See also#
AnyAims (AA) Registry — the AA registry and the placement rule
AHA/aa-anyaims-sorting.md— which AA file lives where, and why