[44676,1]]);$n++;}$negative=0;foreach(['INSERT INTO yoshop_user_points_log(user_id) VALUES(44676)','UPDATE yoshop_user SET balance=1','DELETE FROM yoshop_user','CREATE TABLE a(id int)','SELECT * FROM yoshop_user FOR UPDATE','SELECT * INTO x FROM yoshop_user','SELECT * FROM ydy_equipment','CALL SP_TABLEDEF(?, ?)','SELECT * FROM yoshop_user; SELECT 1'] as $s){try{CoreGate::plan('AI',$s,[]);throw new LogicException('Unsafe read gate accepted');}catch(RuntimeException $e){$n++;$negative++;}}echo json_encode(['checks'=>$n,'counterexamples'=>$negative,'HTTP'=>0,'SQL'=>0]),"\n";