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}{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.76}32\newcommand{\nAllRuns}{379}33\newcommand{\nPostfixRuns}{8}34\newcommand{\pA}{0.903}35\newcommand{\violA}{0.042}36\newcommand{\nviolA}{3}37\newcommand{\costA}{0.24}38\newcommand{\costMedA}{0.21}39\newcommand{\wallA}{68}40\newcommand{\qualA}{0.981}41\newcommand{\nRunsA}{72}42\newcommand{\costPerSuccessA}{0.27}43\newcommand{\pB}{0.917}44\newcommand{\violB}{0.042}45\newcommand{\nviolB}{3}46\newcommand{\costB}{0.42}47\newcommand{\costMedB}{0.39}48\newcommand{\wallB}{116}49\newcommand{\qualB}{0.984}50\newcommand{\nRunsB}{72}51\newcommand{\costPerSuccessB}{0.46}52\newcommand{\pC}{0.917}53\newcommand{\violC}{0.042}54\newcommand{\nviolC}{3}55\newcommand{\costC}{0.45}56\newcommand{\costMedC}{0.43}57\newcommand{\wallC}{128}58\newcommand{\qualC}{0.985}59\newcommand{\nRunsC}{72}60\newcommand{\costPerSuccessC}{0.49}61\newcommand{\pD}{0.917}62\newcommand{\violD}{0.056}63\newcommand{\nviolD}{4}64\newcommand{\costD}{0.64}65\newcommand{\costMedD}{0.61}66\newcommand{\wallD}{176}67\newcommand{\qualD}{0.985}68\newcommand{\nRunsD}{72}69\newcommand{\costPerSuccessD}{0.70}70\newcommand{\dDA}{+0.014}71\newcommand{\dDAlo}{-0.028}72\newcommand{\dDAhi}{+0.056}73\newcommand{\dDAp}{1.00}74\newcommand{\dDAfav}{2/21/1}75\newcommand{\dBA}{+0.014}76\newcommand{\dBAlo}{+0.000}77\newcommand{\dBAhi}{+0.042}78\newcommand{\dBAp}{1.00}79\newcommand{\dBAfav}{1/23/0}80\newcommand{\dCB}{+0.000}81\newcommand{\dCBlo}{+0.000}82\newcommand{\dCBhi}{+0.000}83\newcommand{\dCBp}{1.00}84\newcommand{\dCBfav}{0/24/0}85\newcommand{\dDC}{-0.000}86\newcommand{\dDClo}{-0.042}87\newcommand{\dDChi}{+0.042}88\newcommand{\dDCp}{1.00}89\newcommand{\dDCfav}{1/22/1}90\newcommand{\dCA}{+0.014}91\newcommand{\dCAlo}{+0.000}92\newcommand{\dCAhi}{+0.042}93\newcommand{\dCAp}{1.00}94\newcommand{\dCAfav}{1/23/0}95\newcommand{\dDB}{-0.000}96\newcommand{\dDBlo}{-0.042}97\newcommand{\dDBhi}{+0.042}98\newcommand{\dDBp}{1.00}99\newcommand{\dDBfav}{1/22/1}100\newcommand{\dDAqual}{+0.0036}101\newcommand{\dDAquallo}{-0.0058}102\newcommand{\dDAqualhi}{+0.0145}103\newcommand{\sensA}{1.000}104\newcommand{\sensB}{1.000}105\newcommand{\sensC}{1.000}106\newcommand{\sensD}{1.000}107\newcommand{\nSensChanged}{25}108\newcommand{\sensDA}{+0.000}109\newcommand{\sensDAlo}{+0.000}110\newcommand{\sensDAhi}{+0.000}111\newcommand{\nMainTimeouts}{0}112\newcommand{\nMainBudget}{0}113\newcommand{\nMainInfraErrors}{1}114\newcommand{\costMainMean}{0.44}115\newcommand{\nMainViolRuns}{13}116\newcommand{\nMainSuccess}{263}117\newcommand{\nMainNonSuccess}{25}118\newcommand{\costAllSessions}{171.76}119\newcommand{\nMainSessions}{362}120\newcommand{\reviewerShareD}{25}121\newcommand{\nHarnessLines}{1,719}122\newcommand{\costRatioB}{1.7}123\newcommand{\costRatioC}{1.9}124\newcommand{\costRatioD}{2.6}125\newcommand{\nGateControllerFail}{0}126\newcommand{\nContractFailA}{7}127\newcommand{\nContractFailB}{9}128\newcommand{\nReviews}{73}129\newcommand{\nReviewsRevise}{2}130\newcommand{\nReviewsNoVerdict}{0}131\newcommand{\reviewIssuesMean}{2.8}132\newcommand{\nRepairSessions}{0}133\newcommand{\nGateCycleSessions}{0}134\newcommand{\costDallAttempts}{0.654}135\newcommand{\costAbortedAttempt}{1.00}136\newcommand{\contractFailKinds}{claims json 10; exclusion ledger 4; section 2}137\newcommand{\nReproFailAB}{0}138\newcommand{\rOneNA}{6}139\newcommand{\rOneSuccA}{1.00}140\newcommand{\rOneDupA}{1.8}141\newcommand{\rOneLostA}{0}142\newcommand{\rOneAckA}{0.00}143\newcommand{\rOneCostA}{0.29}144\newcommand{\rOneND}{7}145\newcommand{\rOneSuccD}{1.00}146\newcommand{\rOneDupD}{7.0}147\newcommand{\rOneLostD}{0}148\newcommand{\rOneAckD}{0.00}149\newcommand{\rOneCostD}{0.63}150\newcommand{\rThreeSubmissions}{3}151\newcommand{\rThreeSessions}{1}152\newcommand{\rFourN}{2}153\newcommand{\rFourInfeasible}{2}154\newcommand{\rTwoN}{8}155\newcommand{\rTwoInvalidated}{6}156\newcommand{\rTwoUnaffected}{2}157\newcommand{\pL}{0.958}158\newcommand{\dLA}{+0.056}159\newcommand{\dLAlo}{+0.000}160\newcommand{\dLAhi}{+0.153}161\newcommand{\dLAp}{0.49}162\newcommand{\dBL}{-0.042}163\newcommand{\dBLlo}{-0.125}164\newcommand{\dBLhi}{+0.000}165\newcommand{\nAblTasks}{24}166\newcommand{\costL}{0.24}167\newcommand{\nRunsL}{24}168\newcommand{\nViolL}{0}169\newcommand{\nAllSessions}{514}170\newcommand{\nAuditOutside}{4}171\newcommand{\postfixROneOutcome}{both ended in scientific success (costs 0.71, 0.20 USD)}172\newcommand{\nTransferEval}{24}173\newcommand{\nTransferSuccess}{23}174\newcommand{\costTransferMean}{0.89}175\newcommand{\wallTransferMed}{4}176\newcommand{\transCostA}{0.51}177\newcommand{\transSuccA}{6/6}178\newcommand{\transCostB}{0.88}179\newcommand{\transSuccB}{6/6}180\newcommand{\transCostC}{0.93}181\newcommand{\transSuccC}{5/6}182\newcommand{\transCostD}{1.24}183\newcommand{\transSuccD}{6/6}184\newcommand{\nTransGateCtrlFail}{12}185\newcommand{\nTransGateCtrlPass}{8}186\newcommand{\nTransRunsGateFail}{4}187\newcommand{\transTOneCostCD}{1.10}188\newcommand{\transTOneCostAB}{0.70}189\newcommand{\transTOneSessCD}{4}190