.. meta::
   :description: Five of 32 matheology elements naturally chain multiple D2 types. ax19 chains ax-logic-limit; th8 reaches depth 3. Default nesting limit of 2 suffices.
   :keywords: D2 chaining, type combination, ax-logic, ax-limit, ax19 Leviathan, ax11 Dipolarity, th8 Binary Attractors, nesting depth, Phase 2I-4, best-depth
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: D2 Chaining Evidence —<br>Five Multi-Type Elements
   :og:card:description: Five matheology elements naturally chain axiom, logic, and limit types. th8 reaches depth 3, but the default nesting limit of 2 covers most cases.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Evidence of natural D2 type chaining in matheology elements, where axioms combine with logic or limit types in a single entry.
   OO :keywords: D2, chaining, type combination, axiom, logic, limit, theorem, compiler, evidence, SISYF, nesting
   OO :og:card:title: D2 Chaining Evidence —<br>Multi-Type Combinations
   OO :og:card:description: Five elements show natural D2 chaining where axioms combine with logic or limit types, informing the compiler nesting depth.
   PP :description: Five of 32 matheology elements naturally chain multiple D2 types. ax19 chains ax-logic-limit; th8 reaches depth 3. Default nesting limit of 2 suffices.
   PP :keywords: D2 chaining, type combination, ax-logic, ax-limit, ax19 Leviathan, ax11 Dipolarity, th8 Binary Attractors, nesting depth, Phase 2I-4, best-depth
   PP :og:card:title: D2 Chaining Evidence —<br>Five Multi-Type Elements
   PP :og:card:description: Five matheology elements naturally chain axiom, logic, and limit types. th8 reaches depth 3, but the default nesting limit of 2 covers most cases.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 150 chars | :og:card:title: 44 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

.. _compiler-ee-d2-chaining:

*********************************************************************
D2 Chaining Evidence --- Natural Multi-Type Combinations
*********************************************************************

Evidence collected during Phase 2I-4 first compilation run (2026-03-25).


Findings
==========

.. list-table::
   :header-rows: 1
   :widths: 10 15 75

   * - Element
     - Chain Pattern
     - Evidence
   * - ax19
     - ax-logic-limit
     - ax19 (Leviathan Chain) naturally combines axiomatic content with
       logic (measure-zero uniqueness argument) and limit (epistemic
       identification not claimed). The content wants all three D2
       concepts simultaneously: the axiom, its logical defense, and its
       known limitations.
   * - ax11
     - ax-logic
     - ax11 (Dipolarity) combines the axiom with the ax11/ax11b fork, which
       is a logic-level analysis. The PoR presents both as a single entry,
       but they are conceptually two D2 types chained.
   * - ax14
     - ax-logic
     - ax14 (Revelation Claims Test) has both an axiom component and a
       logic component (the no-self-reference design, the claim(p)
       predicate distinction). These are naturally chained.
   * - ax24
     - ax-limit
     - ax24 (Life-Trifecta) combines the axiom with its known limit (the
       three predicates lack formal semantics). The limit is integral to
       understanding the axiom, not a separate concern.
   * - th8
     - th-logic-limit
     - th8 (Binary Attractors) chains theorem, logic (absorbing CTMC
       model, Michaelis-Menten analogy), and limit (falsification
       framework not yet specified). Three D2 types in a natural chain.


Summary
=========

Natural D2 chaining emerged in 5 of 32 elements. The most common pattern
is ax-logic (axiom + its logical defense), followed by ax-limit (axiom +
its known limitations). th8 showed the deepest chain (th-logic-limit).
The current default nesting limit of 2 is sufficient for observed cases.
The 3-deep th8 case could use the ``.. best-depth:: 3`` override if
needed.