Briefing
Each script first passes an abstract-syntax-tree check against a denylist that includes os.system and subprocess, then runs in dax.sim, a simulator for ARTIQ hardware. Every DDS setting, DAC voltage and TTL pulse in the trace is checked against per-device bounds, and an unmapped device goes to a human. The agent was built on Claude Opus 4.8 and kept its goal and progress in Markdown files between sessions. The stabilization loop suppressed 60 Hz power-line noise.
The authors list the gaps: deliberately rewritten code can slip past the syntax check, and the simulator does not model every driver feature. The operator stepped in each time the agent kept refining a method that had run its course, such as a Gaussian decay model. The portability test ran on a 171Yb+ experiment at the University of Maryland.
Written by the Boards & Bots curator