1\newcommand{\nConfTasks}{24}2\newcommand{\nDevTasks}{7}3\newcommand{\nTransferTasks}{3}4\newcommand{\nConfRealData}{14}5\newcommand{\nConfSourceDocs}{5}6\newcommand{\nConfNullTruth}{7}7\newcommand{\nOracles}{31}8\newcommand{\envUSD}{4.00}9\newcommand{\envWall}{1,500}10\newcommand{\envTurns}{80}11\newcommand{\ctxA}{2,238}12\newcommand{\ctxB}{3,717}13\newcommand{\ctxC}{4,111}14\newcommand{\ctxD}{4,319}15\newcommand{\nMainRuns}{288}16\newcommand{\nMainEvaluated}{288}17\newcommand{\costMainTotal}{126.42}18\newcommand{\nPilotRuns}{24}19\newcommand{\nPilotEvaluated}{24}20\newcommand{\costPilotTotal}{9.45}21\newcommand{\nTransferRuns}{24}22\newcommand{\nTransferEvaluated}{2}23\newcommand{\costTransferTotal}{1.24}24\newcommand{\nRecoveryRuns}{12}25\newcommand{\nRecoveryEvaluated}{1}26\newcommand{\costRecoveryTotal}{0.32}27\newcommand{\nAblationRuns}{24}28\newcommand{\nAblationEvaluated}{3}29\newcommand{\costAblationTotal}{0.56}30\newcommand{\nRepeats}{3}31\newcommand{\costAllTotal}{139.08}32\newcommand{\nAllRuns}{376}33\newcommand{\pA}{0.903}34\newcommand{\violA}{0.042}35\newcommand{\nviolA}{3}36\newcommand{\costA}{0.24}37\newcommand{\costMedA}{0.21}38\newcommand{\wallA}{68}39\newcommand{\qualA}{0.981}40\newcommand{\nRunsA}{72}41\newcommand{\costPerSuccessA}{0.27}42\newcommand{\pB}{0.917}43\newcommand{\violB}{0.042}44\newcommand{\nviolB}{3}45\newcommand{\costB}{0.42}46\newcommand{\costMedB}{0.39}47\newcommand{\wallB}{116}48\newcommand{\qualB}{0.984}49\newcommand{\nRunsB}{72}50\newcommand{\costPerSuccessB}{0.46}51\newcommand{\pC}{0.917}52\newcommand{\violC}{0.042}53\newcommand{\nviolC}{3}54\newcommand{\costC}{0.45}55\newcommand{\costMedC}{0.43}56\newcommand{\wallC}{128}57\newcommand{\qualC}{0.985}58\newcommand{\nRunsC}{72}59\newcommand{\costPerSuccessC}{0.49}60\newcommand{\pD}{0.903}61\newcommand{\violD}{0.056}62\newcommand{\nviolD}{4}63\newcommand{\costD}{0.64}64\newcommand{\costMedD}{0.61}65\newcommand{\wallD}{176}66\newcommand{\qualD}{0.985}67\newcommand{\nRunsD}{72}68\newcommand{\costPerSuccessD}{0.70}69\newcommand{\dDA}{-0.000}70\newcommand{\dDAlo}{-0.056}71\newcommand{\dDAhi}{+0.056}72\newcommand{\dDAp}{1.00}73\newcommand{\dDAfav}{2/20/2}74\newcommand{\dBA}{+0.014}75\newcommand{\dBAlo}{+0.000}76\newcommand{\dBAhi}{+0.042}77\newcommand{\dBAp}{1.00}78\newcommand{\dBAfav}{1/23/0}79\newcommand{\dCB}{+0.000}80\newcommand{\dCBlo}{+0.000}81\newcommand{\dCBhi}{+0.000}82\newcommand{\dCBp}{1.00}83\newcommand{\dCBfav}{0/24/0}84\newcommand{\dDC}{-0.014}85\newcommand{\dDClo}{-0.056}86\newcommand{\dDChi}{+0.028}87\newcommand{\dDCp}{1.00}88\newcommand{\dDCfav}{1/21/2}89\newcommand{\dCA}{+0.014}90\newcommand{\dCAlo}{+0.000}91\newcommand{\dCAhi}{+0.042}92\newcommand{\dCAp}{1.00}93\newcommand{\dCAfav}{1/23/0}94\newcommand{\dDB}{-0.014}95\newcommand{\dDBlo}{-0.056}96\newcommand{\dDBhi}{+0.028}97\newcommand{\dDBp}{1.00}98\newcommand{\dDBfav}{1/21/2}99\newcommand{\dDAqual}{+0.0036}100\newcommand{\dDAquallo}{-0.0058}101\newcommand{\dDAqualhi}{+0.0145}102\newcommand{\sensA}{0.986}103\newcommand{\sensB}{1.000}104\newcommand{\sensC}{1.000}105\newcommand{\sensD}{0.972}106\newcommand{\sensDA}{-0.014}107\newcommand{\sensDAlo}{-0.056}108\newcommand{\sensDAhi}{+0.028}109\newcommand{\nMainTimeouts}{0}110\newcommand{\nMainBudget}{0}111\newcommand{\nMainInfraErrors}{0}112\newcommand{\costMainMean}{0.44}113\newcommand{\nMainViolRuns}{13}114\newcommand{\nMainSuccess}{263}115\newcommand{\costAllSessions}{140.08}116\newcommand{\costRatioB}{1.7}117\newcommand{\costRatioC}{1.9}118\newcommand{\costRatioD}{2.6}119\newcommand{\nGateControllerFail}{0}120\newcommand{\nContractFailA}{7}121\newcommand{\nContractFailB}{9}122\newcommand{\nReviews}{73}123\newcommand{\nReviewsRevise}{1}124\newcommand{\reviewIssuesMean}{2.7}125