observe($sql);}catch(RuntimeException $e){$ok=false;}if($ok!==$want)throw new RuntimeException('Client settings audit '.$name);}echo json_encode(['cases'=>count($cases),'all_passed'=>true,'database_called'=>false,'all_duplicate_scope_atoms_checked'=>true,'post_execution_only'=>true]),"\n";foreach(['private-write-sql.jsonl','write-audit.jsonl'] as $f)unlink($r.'/'.$f);rmdir($r);