Divine v144 Source Corpus

4.9 Recursive state-node count

Divine v144 Corpus · Section 133 of 317

S1 = 1

S_n = 1 + 2 * sum(S_k for k=1...n-1)

S_n = 3^(n-1)

This recurrence counts recursive H/I state-call nodes in the symmetric model. It is not a count of primitive properties.

Source Canon: Preserved verbatim text. Interactive cross-references and cranial annotations available at /#divine-section:133.