I study how AI agent work stays attributable, reviewable, and recoverable across sessions, restarts, and handoffs.
Papers, code, and research materials.
For UNITARES and how to run it:
cirwel.org ↗.
Papers & preprints
Accountability Without a Trusted Center
Design and pre-registered evaluation plan for a testbed where each principal runs its own governance instance and cross-principal interaction is mediated by verifiable attestation rather than a central authority. The benchmark measures the price of decentralization rather than assuming it.
Prediction and intervention benefit remain open questions. Results, caveats, and the research record ↗
Software
UNITARES
Self-hosted infrastructure for identity, evidence, memory, longitudinal state, review, policy, recovery, leases, handoffs, and coordination. Exposes MCP, REST, an SDK, and operator surfaces.
Repository · Paper · PyPI · Archived release
Anima
A Raspberry Pi sensor system used to test longitudinal telemetry, continuity, and state-estimation machinery against a physically situated process. Its traces support the digital-proprioception work and the published datasets.
UNITARES Resident
Conversation loops, provider adapters, tools, scheduling, and queues built on the public UNITARES contract. The resident is optional; a custom runtime can use the SDK directly.
Host adapters & plugin
Thin integrations that connect Claude Code, Codex, Hermes, and other hosts to UNITARES check-ins, review, memory, and policy surfaces without moving the agent loop into Core.
Datasets & reproduction
EISV Trajectories
32,181 labeled trajectory windows: 20,655 overlapping real windows from the embedded deployment, plus 11,526 synthetic examples across nine shape classes.
Verdict Counterfactual Kit
Data and scripts for replaying how governance decisions change under alternative baseline and input assumptions.
Zenodo · Hugging Face · Source
CIRWEL is an independent, single-operator research programme. Deployment evidence comes from my own environment; it does not establish external adoption or cross-operator generality.