.. meta::
   :description: Paper a1 (PET) model snapshots --- frozen versions of the 14 panentheistic axioms, preserved so every step of AI-human collaboration is traceable.
   :keywords: PET, panentheism, axioms, model snapshot, PPv1, PPv2, AI transparency, formal theology, mereology, S5 modal logic
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and The Spirit of Boolean Truth

.. _hell-mm-b11-index:


***********************************************************************
MM b/11 --- Paper a1: PET (Pan-En-Theology)
***********************************************************************

Fourteen axioms in five modular groups formalize the panentheistic claim that
"all is *in* God, but God exceeds all." When checked against the scriptures of
six independent traditions --- Torah, Prophets, Gospel, wider Christianity,
Islam, and Hinduism --- the axioms receive surprisingly strong convergent
support. The theological disagreements driving real-world conflict may not be
about the *structure* of God's relationship to the world, where the scriptures
agree, but about other claims layered on top.

.. admonition:: Why frozen snapshots matter

   Every version below is a frozen record of what the AI-human collaboration
   produced at a specific point in time. Nothing is silently revised. When
   errors are found, they are corrected in the *next* version --- the old
   version stays exactly as it was, so anyone can trace how the ideas evolved
   and where they went wrong. This is what transparent AI work looks like:
   not polished outputs, but an honest trail of attempts, mistakes, and
   improvements.


PPv1 --- First Reviewed Version (compound naming, 2026m03d14)
================================================================

The poster version. Axioms use compound names (ax1_A1 through ax14_A14)
from the period before the BEST Names architecture standardized the
nomenclature. This is the BACKWARD-facing historical record.

.. toctree::
   :maxdepth: 1
   :caption: PPv1 Contents

   ppv1/axioms
   ppv1/theorems
   ppv1/symbols
   ppv1/discussions


PPv2 --- Current Working Version (brief naming, 2026m03d25)
==============================================================

The same axiom system recompiled under the brief naming convention
(ax1 through ax14). This is the FORWARD-facing version that new work
builds on.

.. toctree::
   :maxdepth: 1
   :caption: PPv2 Contents

   ppv2/overview
   ppv2/axioms
   ppv2/theorems
   ppv2/symbols
   ppv2/discussions


study-mmv1 --- Paper b11 (HEAVEN Study Series, 2026m04d03)
=============================================================

First draft of the PET paper for the HEAVEN study series.

.. toctree::
   :maxdepth: 1
   :caption: study-mmv1 Contents

   study-mmv1/study_mmv1_2026m04d03_b11-pet-panentheistic-axioms


Development trail
===================

- **Session logs:** :doc:`/matheology/hell/ll/pet/index` --- the full audit
  trail from the serendipitous origin through poster development.
- **Adversarial critique:** The PET axioms were tested as part of the JUB
  extension (paper b14). See :doc:`/matheology/hell/ll/jub/index`.