<?php
declare(strict_types=1);
if(getenv('CATEGORY_LANE')!=='B'||getenv('POC_DIALECT')!=='mysql')exit(78);
$db=new PDO('mysql:host='.getenv('POC_AI_HOST').';port='.getenv('POC_AI_PORT').';dbname='.getenv('POC_AI_SCHEMA').';charset=utf8',getenv('POC_AI_USER'),getenv('POC_AI_PASSWORD'),[PDO::ATTR_ERRMODE=>PDO::ERRMODE_EXCEPTION]);
$version=(string)$db->query('SELECT VERSION()')->fetchColumn();if(strpos($version,'5.6.')!==0||$db->query('SELECT DATABASE()')->fetchColumn()!==getenv('POC_AI_SCHEMA'))exit(78);
$inputs=['255','255abc','255.00000000000001','255.0000000000001','2.55e2','256','0','abc','','2e-999','-0','0.0000000000000001','2e999','2.0000000000000001','2.0000000000000004'];$results=[];
$query=$db->prepare('SELECT CASE WHEN 0 = ? THEN 1 ELSE 0 END AS EQ_ZERO, CASE WHEN 2 = ? THEN 1 ELSE 0 END AS EQ_TWO, CASE WHEN 255 = ? THEN 1 ELSE 0 END AS EQ_MAX');
foreach($inputs as $input){$query->execute([$input,$input,$input]);$row=array_change_key_case($query->fetch(PDO::FETCH_ASSOC),CASE_LOWER);$number=(float)$input;$same=true;foreach(['eq_zero'=>0,'eq_two'=>2,'eq_max'=>255] as $key=>$expected)$same=$same&&((int)$row[$key]===((is_finite($number)&&$number===(float)$expected)?1:0));$results[]=['synthetic_input'=>$input,'eq_0'=>(int)$row['eq_zero'],'eq_2'=>(int)$row['eq_two'],'eq_255'=>(int)$row['eq_max'],'php74_double_matches_mysql56'=>$same];if(!$same)throw new RuntimeException('Synthetic comparison mismatch');}
echo json_encode(['mysql_version'=>$version,'code_local_identity_verified'=>true,'synthetic_select_cases'=>count($results),'table_reads'=>0,'database_writes'=>0,'cases'=>$results],JSON_PRETTY_PRINT),"\n";