Ismail's Primitives: The SPEA Protocol for Clinical Psychology

SPEA — the Six Primitives of Emotional Adaptation — is a six-step clinical sequence, one step per structural condition: Emotional Archaeology (Signal Opacity), Pattern Mapping (Absorbing-Trap Risk), Emotional Imagination (Local Entrapment), Authentic Distillation (Commitment Failure), Embodied Integration (Feasibility Gap), and Narrative Weaving (Nonstationarity). None of the six is a novel technique in itself — each maps onto a function that established traditions (Psychodynamic Therapy, CBT, EFT, ACT, DBT, Narrative Therapy, Motivational Interviewing, Schema Therapy) had already discovered and developed independently, under their own names. What the protocol contributes is the architecture around those functions: which are necessary, why each is irreplaceable by the others, the order their delivery must follow, and the specific way therapy misfires when that order is skipped. Its foundational mathematics — a Lean 4/Mathlib formalisation with zero sorry, zero custom axioms, and zero opaque terms, now closed under formal verification — is proved once, domain-independently, in Ismail's Primitives. This is the fourth paper in that series. A companion paper derives the identical six-function structure for human development; the paper immediately behind this one derives it for emotional adaptation and psychotherapy, arguing that human emotional life is a Class C environment requiring six distinct, orthogonal therapeutic functions, delivered in a fixed sequence. This document does not re-argue that derivation — it is the clinical operationalisation of it: the SPEA protocol, in full. Machine verification in Lean 4/Mathlib settles the necessity, independence, and sequential ordering of the six functions at the level of the general environment class the clinical argument descends from — it does not settle whether human emotional life actually instantiates that class, and therefore cannot settle whether these are really the six functions a complete course of psychotherapy requires. That remains a clinical and conceptual argument, not a formal one, and the research programme outlined in the paper exists specifically to put it to the test. Beyond the six steps, the document specifies a treatment trajectory across phases of cycle development; a self-application framework for use after termination — grounded in the theory's cyclical-improvement property, and the most novel clinical claim the protocol makes; a proposed assessment battery; contraindications and clinical adaptations; integration guidance with five established modalities (CBT, EFT, ACT, DBT, and Narrative Therapy); a therapist competency framework; and a research programme built on five falsification criteria — necessity, independence, sequential dependence, cyclical improvement, and superiority — each paired with a study design capable of overturning it. This is a pre-validation protocol. It specifies, precisely enough to be falsifiable, what supporting evidence would need to look like — it does not claim to have produced that evidence. Clinical use should sit within proper professional supervision and the ethical framework governing practice in the practitioner's own jurisdiction. The complete Lean 4 formalisation underlying the theoretical foundation is in this repository. For any feedback or collaboration regarding the research programme, please contact me via this email address. Published 11 July 2026 (V1)