<?php
require __DIR__.'/common.php';require __DIR__.'/observe.php';if(is_file(__DIR__.'/private/baseline-final.json'))throw new RuntimeException('Final observation no replay');$expected=json_decode(file_get_contents(__DIR__.'/private/current-final-lease.json'),true)['source'];$current=$source();if($current!==$expected)throw new RuntimeException('Final exact lease');$physical=$physical($plan['target'][$lane]['uuid']);$save('baseline-final.json',['source'=>$current,'physical'=>$physical,'oracle'=>$GLOBALS['NF_ORACLE'],'observer_count'=>json_decode(file_get_contents(__DIR__.'/private/observer-budget.json'),true),'HTTP'=>count(json_decode(file_get_contents(__DIR__.'/private/attempts.json'),true))]);echo json_encode(['lane'=>$lane,'final_lease_equal'=>true,'final_SELECT'=>14,'observer_total'=>json_decode(file_get_contents(__DIR__.'/private/observer-budget.json'),true)['count']]),PHP_EOL;
