ABCAI Open Publications

Research & Working Papers

Peer-reviewed working papers, formal architectural specifications, and empirical behavioral findings from our research groups.

Topics:#adversarial-testing#cybersecurity#formal-verification#zero-trust#behavioral-safety#governance-ratchets#adversarial-robustness#autonomous-agents
SEC-2026-02Tony Gauda & Behavioral Cybersecurity Lab

Adversarial Provability and False Closure Mitigation in Agentic Review Topologies

When autonomous artificial intelligence systems are tasked with reviewing their own implementations, conventional single-agent evaluation succumbs to confirmation bias, authority expansion, and semantic laundering. In this paper, we demonstrate how an independent adversarial lane ('Specter') operates with inverted incentives—specifically designed to disqualify implementation claims through bypass discovery, exploit path mapping, and boundary pressure. Evaluated across production CI pipelines, this adversarial topology reduced false closure events to zero while maintaining high throughput.

ARCH-2026-01Tony Gauda & Research Group

Deterministic Governance and Feedback Ratchets in Self-Strengthening Agent Architectures

Autonomous software organisms operating over long horizons inevitably face context compaction, architectural entropy, and behavioral drift. Traditional runtime guardrails fail closed intermittently or permit gradual degradation under operational pressure. In this paper, we introduce a deterministic governance architecture built on one-way upward ratchets: every consequential execution emits attributable feedback signal that ratchets constraints, test surfaces, and formal contracts upward. By enforcing strictly decoupled, parallel review lanes—pairing an adversarial exploitability lane with a formal invariant and custody lane—we prove that self-modifying autonomous systems can safely evolve in perpetuity without compromising security, provenance, or truth.