Verified Sub-Agents