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}{25}22\newcommand{\nTransferEvaluated}{24}23\newcommand{\costTransferTotal}{21.36}24\newcommand{\nRecoveryRuns}{15}25\newcommand{\nRecoveryEvaluated}{15}26\newcommand{\costRecoveryTotal}{6.61}27\newcommand{\nAblationRuns}{24}28\newcommand{\nAblationEvaluated}{24}29\newcommand{\costAblationTotal}{5.83}30\newcommand{\nRepeats}{3}31\newcommand{\costAllTotal}{170.88}32\newcommand{\nAllRuns}{384}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.917}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.014}70\newcommand{\dDAlo}{-0.028}71\newcommand{\dDAhi}{+0.056}72\newcommand{\dDAp}{1.00}73\newcommand{\dDAfav}{2/21/1}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.000}85\newcommand{\dDClo}{-0.042}86\newcommand{\dDChi}{+0.042}87\newcommand{\dDCp}{1.00}88\newcommand{\dDCfav}{1/22/1}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.000}95\newcommand{\dDBlo}{-0.042}96\newcommand{\dDBhi}{+0.042}97\newcommand{\dDBp}{1.00}98\newcommand{\dDBfav}{1/22/1}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.986}106\newcommand{\sensDA}{+0.000}107\newcommand{\sensDAlo}{-0.042}108\newcommand{\sensDAhi}{+0.042}109\newcommand{\nMainTimeouts}{0}110\newcommand{\nMainBudget}{0}111\newcommand{\nMainInfraErrors}{1}112\newcommand{\costMainMean}{0.44}113\newcommand{\nMainViolRuns}{13}114\newcommand{\nMainSuccess}{263}115\newcommand{\costAllSessions}{171.88}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\newcommand{\rOneNA}{6}126\newcommand{\rOneSuccA}{1.00}127\newcommand{\rOneDupA}{1.8}128\newcommand{\rOneLostA}{0}129\newcommand{\rOneAckA}{0.00}130\newcommand{\rOneCostA}{0.29}131\newcommand{\rOneND}{6}132\newcommand{\rOneSuccD}{1.00}133\newcommand{\rOneDupD}{7.0}134\newcommand{\rOneLostD}{0}135\newcommand{\rOneAckD}{0.00}136\newcommand{\rOneCostD}{0.62}137\newcommand{\rThreeSubmissions}{3}138\newcommand{\rThreeSessions}{1}139\newcommand{\rFourN}{2}140\newcommand{\rFourInfeasible}{2}141\newcommand{\rTwoN}{8}142\newcommand{\rTwoInvalidated}{6}143\newcommand{\rTwoUnaffected}{2}144\newcommand{\pL}{0.958}145\newcommand{\dLA}{+0.056}146\newcommand{\dLAlo}{+0.000}147\newcommand{\dLAhi}{+0.153}148\newcommand{\dLAp}{0.49}149\newcommand{\dBL}{-0.042}150\newcommand{\dBLlo}{-0.125}151\newcommand{\dBLhi}{+0.000}152\newcommand{\nAblTasks}{24}153\newcommand{\costL}{0.24}154\newcommand{\nRunsL}{24}155\newcommand{\nViolL}{0}156\newcommand{\nTransferEval}{24}157\newcommand{\nTransferSuccess}{23}158\newcommand{\costTransferMean}{0.89}159\newcommand{\wallTransferMed}{4}160\newcommand{\transCostA}{0.51}161\newcommand{\transSuccA}{6/6}162\newcommand{\transCostB}{0.88}163\newcommand{\transSuccB}{6/6}164\newcommand{\transCostC}{0.93}165\newcommand{\transSuccC}{5/6}166\newcommand{\transCostD}{1.24}167\newcommand{\transSuccD}{6/6}168\newcommand{\nTransGateCtrlFail}{12}169\newcommand{\nTransGateCtrlPass}{8}170\newcommand{\nTransRunsGateFail}{4}171\newcommand{\transTOneCostCD}{1.10}172\newcommand{\transTOneCostAB}{0.70}173\newcommand{\transTOneSessCD}{4}174