$sha)$check(hash_file('sha256',$root.'/'.$name)===$sha,'All original source before delta '.$name);$original=$prior.'/source-original/'.$model;$check(is_file($original)&&hash_file('sha256',$original)===$old,'Private original Model backup preserved');$check(copy(__DIR__.'/model-final.php',$root.'/'.$model),'Copy sole authorized source delta');$snapshot['files'][$model]=$new;foreach($snapshot['files'] as $name=>$sha)$check(hash_file('sha256',$root.'/'.$name)===$sha,'Final only one file delta '.$name);$snapshot['stage']='final';$snapshot['original_model_sha256']=$old;$snapshot['final_model_sha256']=$new;$json=json_encode($snapshot,JSON_PRETTY_PRINT|JSON_UNESCAPED_SLASHES);$check(!file_exists(__DIR__.'/source-final-sha.json'),'Final pin once');file_put_contents(__DIR__.'/source-final-sha.json',$json);chmod(__DIR__.'/source-final-sha.json',0600);$persist('upgrade.json',['lane'=>$lane,'source_files'=>6168,'unchanged_files'=>6167,'sole_changed_path'=>$model,'old_sha256'=>$old,'new_sha256'=>$new,'HTTP'=>0,'DML'=>0,'DDL'=>0]);echo json_encode(['lane'=>$lane,'final_source_files'=>6168,'unchanged_files'=>6167,'model_sha256'=>$new,'HTTP'=>0,'DML'=>0,'DDL'=>0]),"\n";