Drama to Empowerment
Can multi-agent role transitions be treated as measurable protocol dynamics rather than descriptive labels?
Drama to Empowerment is the transition layer of the research program. It asks how agents move away from reactive role lock-in after intervention while preserving relevant properties such as identity, integrity, freedom, and corrigible participation.
Research programPrevious: LTL Triangles
Research profile
Observable object
Finite interaction traces projected onto role states, typed actions, interventions, and temporal transitions.
Existing evidence
A public preprint formalises seven transactional games as finite-trace LTL properties over Karpman-projected role traces.
Active extension
Model transitions from failure-prone configurations toward governance structures that retain legitimate agency after intervention.
Methods
Role traces, transactional games, antithesis windows, governance interventions, and explicit property-preservation tests.
From role labels to trace properties
The role names originate in transactional analysis, but the research target is agentic systems. The formal object is not a personality label: it is a trace describing which positions are available, what information each participant has, when an intervention arrives, and whether the interaction has crossed into a reactive regime.
This makes a role transition testable within a declared abstraction. A trace can witness entry into a pattern, the timing of an antithesis, or the preservation and loss of selected properties after a governance action.
Relationship to LTL Triangles
LTL Triangles compares post-failure governance protocols over observable traces. Drama to Empowerment extends that perspective toward longer-horizon role dynamics: not only whether a patch contains a fault, but which configurations and agent properties remain available after intervention.
Current status and claim boundary
Drama to Empowerment is an active research framing. It is not presented as a proved theory, a completed benchmark, or psychology branding. The established public artifact is the finite-trace treatment of transactional games; the empowerment direction remains an open extension.
Selected publications
Technical report, 2026 / Agent / Triangle Dynamics
A Typed Agent Action Framework with Prefix-Verdict Semantics
Zenodo technical report
Defines typed footprint action classes for agent actions and maps them onto prefix-verdict semantics over temporal property classes.
ABS
This technical report gives typed signatures for agent action footprints and carrier persistence. It connects action classes to safety, cosafety, liveness, and coliveness verdict semantics over finite observation prefixes.
CITE
@misc{bragetti2026typedagentaction,
title = {A Typed Agent Action Framework with Prefix-Verdict Semantics},
author = {Bragetti, Davide and Italiano, Giuseppe Francesco},
year = {2026},
month = sep,
doi = {10.5281/zenodo.23041634},
publisher = {Zenodo},
note = {Technical report}
}
Preprint, 2026 / Agent / Triangle Dynamics
Recognising Before Reacting: Temporal Signatures of Transactional Games
Zenodo preprint
Formalises transactional games as finite-trace LTL properties over Karpman-projected role traces, using the antithesis window to distinguish reactive and pre-committed regimes.
ABS
This preprint models seven transactional games as finite-trace LTL properties over projected role traces. It introduces the antithesis window as a temporal invariant separating reactive, knife-edge, pre-committed, and unresolved regimes.
CITE
@misc{bragetti2026recognisingreacting,
title = {Recognising Before Reacting: Temporal Signatures of Transactional Games},
author = {Bragetti, Davide and Italiano, Giuseppe Francesco},
year = {2026},
month = aug,
doi = {10.5281/zenodo.22050701},
publisher = {Zenodo},
note = {Preprint}
}