Hi there 👋

Research Direction 2: Algorithmic Mediation of Quasi-Clinical Discourse and Auditing Gendered Psychological Ontologies 1. Theoretical Genealogy: Connecting Two Traditions of “Anxiety” The theoretical impetus of this study arises from bridging two psychological paradigms that have historically evolved in parallel isolation: Adult Attachment Theory: Grounded in the study of threat appraisal and affect regulation within close relationships, this tradition conceptualizes attachment anxiety and attachment avoidance as distinct relational regulation strategies. Contemporary empirical research increasingly treats these constructs not as rigid, immutable personality typologies, but as continuous, relationship-specific, and context-dependent dimensions. Occupational Stress & Job Strain Research: Since Robert Karasek’s seminal formulation of the Job Demand–Control Model, this discipline has demonstrated that acute psychological strain arises from the structural convergence of high external demands and low decision latitude (autonomy). In short, subjective strain and anxiety do not simply scale with the volume of responsibility borne by an individual, but depend fundamentally on the degree of substantive control they exercise over the processes generating those outcomes. We do not claim that these two forms of “anxiety” are psychometrically identical. Rather, we propose a structural bridging hypothesis: an individual’s behavioral manifestation of anxiety, withdrawal, or avoidance in intimate relationships is largely a situational regulation policy deployed in response to specific configurations of autonomy–responsibility–control, rather than an immutable personality trait. ...

Why did the Mealy machine linger for so long? It was the first formal object that perfectly encoded a core obsession, and because of that, it became impossible to let go of—even long after its utility had expired. The digital trail of drafts and planning sessions reveals this reluctance. In the preparation notes, the verdict was clear: §3.2 Mealy notation | M = (Q, Σ, Δ, δ, λ, q₀) | Drop App A.1 | Theorem 1 + Mealy proof | Drop It was marked for deletion. Even the prism agent had pointed out the redundancy: “The Mealy machine result is simply the zero-cut special case of the static certificate”—strictly weaker, less general, and less rigorous than what followed. Yet, like a ghost in the machine, it kept reappearing. It haunted 2026jan.tex, lingered on Desktop/cc.tex, and found its way back into the AIES submission. Every attempt to excise it failed; it kept surviving. ...

Since Pearl (2009), causal inference on DAGs has crystallized around a powerful but austere toolkit: boolean d-separation and do-calculus. Does evidence flow? Full stop. Does it flow after an intervention? Full stop. This framework is sufficient for causal identification—determining whether an effect is estimable from observed data. But it is curiously silent on a question that seems equally natural: how much flows, through which channels, and with what residual structure? ...

Auditing a deployed language-model agent requires two separable quantities: how much operative state escapes the recorded trace, and how much of that residual state drives behavior. We introduce a dual-certificate…