Hard Stop: Kernel-Level Preemption and Containment for Rogue Agentic Execution

arXiv:2609.29808 · cs.CR, cs.AI, cs.DC, cs.OS · Submitted 2026-09-24 · Read on arXiv

cs.CR, cs.AI, cs.DC, cs.OS

Submitted: 2026-09-24

Updated: 2026-09-30

Code: https://github.com/joseluispino/hardstop

Terminology

Benchmark — 14× in this paper · explained in 2 episodes
Verification — 11× in this paper · explained in 2 episodes
Synchronous Reactive — 6× in this paper
Abstraction — 5× in this paper · explained in 1 episode
Consistency — 4× in this paper · explained in 3 episodes
Decode — 3× in this paper · explained in 2 episodes
Trace — 3× in this paper · explained in 2 episodes
alpha — 3× in this paper · explained in 1 episode
Accuracy — 2× in this paper · explained in 1 episode
Alignment — 2× in this paper · explained in 1 episode
Benchmarking — 2× in this paper · explained in 3 episodes
Core — 2× in this paper · explained in 2 episodes
Failure Modes — 2× in this paper · explained in 3 episodes
Trusted Computing Base — 2× in this paper
Accountability — 1× in this paper · explained in 2 episodes
Actor — 1× in this paper · explained in 3 episodes
Agent Memory — 1× in this paper · explained in 1 episode
Arbiter — 1× in this paper · explained in 1 episode
Decoupling — 1× in this paper · explained in 2 episodes
Fine-Tuning — 1× in this paper · explained in 5 episodes
Formal Methods — 1× in this paper · explained in 3 episodes
Generative AI — 1× in this paper · explained in 2 episodes
Grounding — 1× in this paper · explained in 3 episodes
In the Toyota Production System — 1× in this paper
Linux Security Module — 1× in this paper
Reinforcement Learning — 1× in this paper · explained in 4 episodes
Security Information and Event Management — 1× in this paper
Structural Integrity — 1× in this paper · explained in 3 episodes
Time-of-Check to Time-of-Halt — 1× in this paper

Hard Stop: Kernel-Level Preemption and Containment for Rogue Agentic Execution

Terminology

Sources

Related papers