true,'user_fullrows'=>$user,'weight_fullrows'=>$weights,'protection'=>$protect,'SQL_count'=>count(file($runtime.'/sql-budget.jsonl')),'HTTP'=>0,'DML'=>0]);echo json_encode(['lane'=>$lane,'whole_rows_unchanged'=>true,'cumulative_SQL'=>count(file($runtime.'/sql-budget.jsonl')),'HTTP'=>0,'DML'=>0]),"\n";