ResearchPCAS Policy Compiler for Secure Agentic SystemsarXiv·high signalXBlueskyLinkedInCopy linkCompiler-based deterministic policy enforcement improves agent compliance from 48% to 93% with zero violationsSourceSource pagearXiv↳ Follow the threadPolicy dependency / Stack layerSpecGuard Turns Speculative Decoding's Acceptance Rate Into a Free Runtime Backdoor DetectorarXivPolicy dependency / Stack layerOne in Seven Python Samples That Pass Bandit and Semgrep Still Carries a Runtime-Confirmed ExploitarXivPolicy dependency / Stack layerA spec-first agent framework taxonomy: persuasion, front-loaded structure, or controls the agent cannot editarXiv 2609.09671Policy dependency / Stack layerSynthID Watermarking in Claude Costs Three Points of Code Correctness on One Model, but Detection Is Near ChancearXiv 2609.09604Policy dependency / Stack layerReplacing the manager LLM in a compound system with a deterministic merge operator beat generative managers by 0.048-0.076 task-score pointsarXiv 2609.09815Policy dependency / ContrastA certification protocol that grants an AI research claim only after matched agents fail to recover the result without its historyarXiv 2609.09219Policy dependency / Stack layerBenchShield raises reward-hacking detection in agent benchmarks from 23-94% to 77-100% full-chain recall, using a lifecycle model of reward eventsarXivPolicy dependency / Stack layerShow-Harness gets frontier VLMs controlling robots zero-shot through discrete semantic action unitsarXiv