<?php
declare(strict_types=1);require __DIR__.'/native.php';require $root.'/vendor/autoload.php';spl_autoload_register(static function($class)use($root){if(strpos($class,'app\\')===0){$f=$root.'/app/'.str_replace('\\','/',substr($class,4)).'.php';if(is_file($f))require $f;}},true,true);require __DIR__.'/NativePdo.php';$input=json_decode(file_get_contents(__DIR__.'/actual-insert-failure-plans.json'),true);$n=0;
foreach($input as $case){CoreGate::$scenario=$case['scenario'];CoreGate::$ids=$case['ids'];CoreGate::$started=$case['started']-5;CoreGate::$counts=[];CoreGate::plan('ZHCT',$case['queryString'],$case['bind_plan']);$n++;foreach(['user_id'=>999999,'restaurant_id'=>999999,'pay_price'=>'0.02'] as $field=>$bad){$b=$case['bind_plan'];foreach($case['field_bindings'] as $f=>$token)if($f===$field)$b[$token][0]=$bad;try{CoreGate::plan('ZHCT',$case['queryString'],$b);throw new LogicException('Invalid original insert binding accepted');}catch(RuntimeException $e){$n++;}}
 if($case['scenario']==='DIRECT_SUCCESS_RETRY1'){foreach(['2026-02-30 08:52:32.255056','2026-10-11 08:52:32.25505','2026-10-11 24:00:00.000000',null,1791679952,'2026-10-11 08:52:32.000000x'] as $bad){$b=$case['bind_plan'];$b[$case['field_bindings']['create_time']][0]=$bad;try{CoreGate::plan('ZHCT',$case['queryString'],$b);throw new LogicException('Invalid ORM time accepted');}catch(RuntimeException $e){$n++;}}}}
echo json_encode(['checks'=>$n,'counterexamples'=>$n-2,'actual_original_SQL_bytes'=>true,'SQL'=>0,'HTTP'=>0]),"\n";