<?php
require __DIR__.'/common.php';$after=$source(true);$before=json_decode(file_get_contents(__DIR__.'/private/batch-before10.json'),true);$a=$after;$b=$before;unset($a['sentinel'],$b['sentinel']);$allLogs=$logs();$old=json_decode(file_get_contents(__DIR__.'/private/logs-before10.json'),true);$save('batch-after10.json',$after);$save('final-oracle.json',$GLOBALS['NR_ORACLE']);$save('final10.json',['own_rows_unchanged'=>$a===$b,'sentinel_unchanged'=>$after['sentinel']===$before['sentinel'],'logs'=>$allLogs,'old145_unchanged'=>array_slice($allLogs,0,145)===$old,'log_count'=>count($allLogs)]);if($a!==$b||count($allLogs)!==148||array_slice($allLogs,0,145)!==$old)throw new RuntimeException('Final drift');echo json_encode(['lane'=>$lane,'own_rows_unchanged'=>true,'log_count'=>count($allLogs)]),"\n";
