Ismail's Primitives and Human Development: A Functional Isomorphism Between a Lean-Verified Computational Theory and Developmental Psychology

Abstract

In this paper, I argue that developmental stage theories and the six functional primitives proven necessary for adaptive decision-making are not merely analogous: they are two independently-discovered solutions to the same structural problem, and their convergence is evidence of that shared structure rather than of coincidence. The computational foundation is Ismail's Primitives (Ismail, 2026, V6.1) — a Lean 4/Mathlib formalization with zero sorry, zero custom axioms, and zero opaque terms — establishing that six functional properties are each necessary for sublinear regret under uncertainty, mutually irreplaceable, and compose into a self-reinforcing directed information chain: Objective Tracking, Cross-Context Safety Transfer, Global Attractor Exploration, Policy Simplification, Feasibility Projection, and Feedback Adaptation. The mapping. I align these six primitives, in sequence, against three developmental traditions built from incompatible methods and foundational assumptions about what psychology is: Erikson's psychosocial stages (clinical psychoanalytic observation), Maslow's motivational hierarchy (humanistic psychology's healthy-population method), and Bowlby's attachment phases (ethology and evolutionary biology). None was constructed with reference to the others. The alignment does more than pair labels: it supplies the first computational-rationality account of why these stages occur in this order and no other, and reframes their convergence as convergent evolution of functional architecture — artificial and biological systems arriving independently at the same sequential solution because they face the same adaptive problem, not because they share mechanisms or ancestry. The evidence. Three theoretical traditions, developed independently, using different methods, on different populations, converging on the same six-stage functional sequence is consilience in Whewell's (1840) and Wilson's (1998) technical sense: independent lines of inquiry arriving at the same structural conclusion. The necessity framework is the first principled account of why that convergence exists. The scope. Machine verification settles whether the six primitives are necessary and mutually irreplaceable as properties of decision processes; it does not settle whether human development instantiates them. That second claim is argued here on the consilience evidence above, not asserted by proof. This paper's role is to establish the functional bridge itself — the mapping, its theoretical licensing (multiple realizability, Marr's levels, computational rationality), and the testable predictions it generates for stage universality, cross-cultural variation, developmental arrest, intervention timing, and clinical and educational practice. A fuller clinical elaboration is developed in companion work. To this paper's knowledge, no developmental stage theory has previously been given an explicit computational-necessity account of why its stages occur in one fixed order rather than another, let alone one now grounded in a machine-checked proof. The companion mathematics paper and its complete Lean 4 formalization — zero sorry, zero custom axioms, ~12,700 lines, every theorem cross-referenced to its exact identifier — are at github.com/M-Ismail-ZA/IsmailsPrimitives (Zenodo: doi.org/10.5281/zenodo.21177368). For any feedback or collaboration, please contact me via the email address listed on the paper. Updated: 8 July 2026 (V3).