\newcommand{\nConfTasks}{24}
\newcommand{\nDevTasks}{7}
\newcommand{\nTransferTasks}{3}
\newcommand{\nConfRealData}{14}
\newcommand{\nConfSourceDocs}{5}
\newcommand{\nConfNullTruth}{7}
\newcommand{\nOracles}{31}
\newcommand{\envUSD}{4.00}
\newcommand{\envWall}{1,500}
\newcommand{\envTurns}{80}
\newcommand{\ctxA}{2,238}
\newcommand{\ctxB}{3,717}
\newcommand{\ctxC}{4,111}
\newcommand{\ctxD}{4,319}
\newcommand{\nMainRuns}{288}
\newcommand{\nMainEvaluated}{288}
\newcommand{\costMainTotal}{126.42}
\newcommand{\nPilotRuns}{24}
\newcommand{\nPilotEvaluated}{24}
\newcommand{\costPilotTotal}{9.45}
\newcommand{\nTransferRuns}{24}
\newcommand{\nTransferEvaluated}{24}
\newcommand{\costTransferTotal}{21.36}
\newcommand{\nRecoveryRuns}{15}
\newcommand{\nRecoveryEvaluated}{15}
\newcommand{\costRecoveryTotal}{6.61}
\newcommand{\nAblationRuns}{24}
\newcommand{\nAblationEvaluated}{24}
\newcommand{\costAblationTotal}{5.83}
\newcommand{\nRepeats}{3}
\newcommand{\costAllTotal}{170.76}
\newcommand{\nAllRuns}{379}
\newcommand{\nPostfixRuns}{8}
\newcommand{\pA}{0.903}
\newcommand{\violA}{0.042}
\newcommand{\nviolA}{3}
\newcommand{\costA}{0.24}
\newcommand{\costMedA}{0.21}
\newcommand{\wallA}{68}
\newcommand{\qualA}{0.981}
\newcommand{\nRunsA}{72}
\newcommand{\costPerSuccessA}{0.27}
\newcommand{\pB}{0.917}
\newcommand{\violB}{0.042}
\newcommand{\nviolB}{3}
\newcommand{\costB}{0.42}
\newcommand{\costMedB}{0.39}
\newcommand{\wallB}{116}
\newcommand{\qualB}{0.984}
\newcommand{\nRunsB}{72}
\newcommand{\costPerSuccessB}{0.46}
\newcommand{\pC}{0.917}
\newcommand{\violC}{0.042}
\newcommand{\nviolC}{3}
\newcommand{\costC}{0.45}
\newcommand{\costMedC}{0.43}
\newcommand{\wallC}{128}
\newcommand{\qualC}{0.985}
\newcommand{\nRunsC}{72}
\newcommand{\costPerSuccessC}{0.49}
\newcommand{\pD}{0.917}
\newcommand{\violD}{0.056}
\newcommand{\nviolD}{4}
\newcommand{\costD}{0.64}
\newcommand{\costMedD}{0.61}
\newcommand{\wallD}{176}
\newcommand{\qualD}{0.985}
\newcommand{\nRunsD}{72}
\newcommand{\costPerSuccessD}{0.70}
\newcommand{\dDA}{+0.014}
\newcommand{\dDAlo}{-0.028}
\newcommand{\dDAhi}{+0.056}
\newcommand{\dDAp}{1.00}
\newcommand{\dDAfav}{2/21/1}
\newcommand{\dBA}{+0.014}
\newcommand{\dBAlo}{+0.000}
\newcommand{\dBAhi}{+0.042}
\newcommand{\dBAp}{1.00}
\newcommand{\dBAfav}{1/23/0}
\newcommand{\dCB}{+0.000}
\newcommand{\dCBlo}{+0.000}
\newcommand{\dCBhi}{+0.000}
\newcommand{\dCBp}{1.00}
\newcommand{\dCBfav}{0/24/0}
\newcommand{\dDC}{-0.000}
\newcommand{\dDClo}{-0.042}
\newcommand{\dDChi}{+0.042}
\newcommand{\dDCp}{1.00}
\newcommand{\dDCfav}{1/22/1}
\newcommand{\dCA}{+0.014}
\newcommand{\dCAlo}{+0.000}
\newcommand{\dCAhi}{+0.042}
\newcommand{\dCAp}{1.00}
\newcommand{\dCAfav}{1/23/0}
\newcommand{\dDB}{-0.000}
\newcommand{\dDBlo}{-0.042}
\newcommand{\dDBhi}{+0.042}
\newcommand{\dDBp}{1.00}
\newcommand{\dDBfav}{1/22/1}
\newcommand{\dDAqual}{+0.0036}
\newcommand{\dDAquallo}{-0.0058}
\newcommand{\dDAqualhi}{+0.0145}
\newcommand{\sensA}{1.000}
\newcommand{\sensB}{1.000}
\newcommand{\sensC}{1.000}
\newcommand{\sensD}{1.000}
\newcommand{\nSensChanged}{25}
\newcommand{\sensDA}{+0.000}
\newcommand{\sensDAlo}{+0.000}
\newcommand{\sensDAhi}{+0.000}
\newcommand{\nMainTimeouts}{0}
\newcommand{\nMainBudget}{0}
\newcommand{\nMainInfraErrors}{1}
\newcommand{\costMainMean}{0.44}
\newcommand{\nMainViolRuns}{13}
\newcommand{\nMainSuccess}{263}
\newcommand{\nMainNonSuccess}{25}
\newcommand{\costAllSessions}{171.76}
\newcommand{\nMainSessions}{362}
\newcommand{\reviewerShareD}{25}
\newcommand{\nHarnessLines}{1,719}
\newcommand{\costRatioB}{1.7}
\newcommand{\costRatioC}{1.9}
\newcommand{\costRatioD}{2.6}
\newcommand{\nGateControllerFail}{0}
\newcommand{\nContractFailA}{7}
\newcommand{\nContractFailB}{9}
\newcommand{\nReviews}{73}
\newcommand{\nReviewsRevise}{2}
\newcommand{\nReviewsNoVerdict}{0}
\newcommand{\reviewIssuesMean}{2.8}
\newcommand{\nRepairSessions}{0}
\newcommand{\nGateCycleSessions}{0}
\newcommand{\costDallAttempts}{0.654}
\newcommand{\costAbortedAttempt}{1.00}
\newcommand{\contractFailKinds}{claims json 10; exclusion ledger 4; section 2}
\newcommand{\nReproFailAB}{0}
\newcommand{\rOneNA}{6}
\newcommand{\rOneSuccA}{1.00}
\newcommand{\rOneDupA}{1.8}
\newcommand{\rOneLostA}{0}
\newcommand{\rOneAckA}{0.00}
\newcommand{\rOneCostA}{0.29}
\newcommand{\rOneND}{7}
\newcommand{\rOneSuccD}{1.00}
\newcommand{\rOneDupD}{7.0}
\newcommand{\rOneLostD}{0}
\newcommand{\rOneAckD}{0.00}
\newcommand{\rOneCostD}{0.63}
\newcommand{\rThreeSubmissions}{3}
\newcommand{\rThreeSessions}{1}
\newcommand{\rFourN}{2}
\newcommand{\rFourInfeasible}{2}
\newcommand{\rTwoN}{8}
\newcommand{\rTwoInvalidated}{6}
\newcommand{\rTwoUnaffected}{2}
\newcommand{\pL}{0.958}
\newcommand{\dLA}{+0.056}
\newcommand{\dLAlo}{+0.000}
\newcommand{\dLAhi}{+0.153}
\newcommand{\dLAp}{0.49}
\newcommand{\dBL}{-0.042}
\newcommand{\dBLlo}{-0.125}
\newcommand{\dBLhi}{+0.000}
\newcommand{\nAblTasks}{24}
\newcommand{\costL}{0.24}
\newcommand{\nRunsL}{24}
\newcommand{\nViolL}{0}
\newcommand{\nAllSessions}{514}
\newcommand{\nAuditOutside}{4}
\newcommand{\postfixROneOutcome}{both ended in scientific success (costs 0.71, 0.20 USD)}
\newcommand{\nTransferEval}{24}
\newcommand{\nTransferSuccess}{23}
\newcommand{\costTransferMean}{0.89}
\newcommand{\wallTransferMed}{4}
\newcommand{\transCostA}{0.51}
\newcommand{\transSuccA}{6/6}
\newcommand{\transCostB}{0.88}
\newcommand{\transSuccB}{6/6}
\newcommand{\transCostC}{0.93}
\newcommand{\transSuccC}{5/6}
\newcommand{\transCostD}{1.24}
\newcommand{\transSuccD}{6/6}
\newcommand{\nTransGateCtrlFail}{12}
\newcommand{\nTransGateCtrlPass}{8}
\newcommand{\nTransRunsGateFail}{4}
\newcommand{\transTOneCostCD}{1.10}
\newcommand{\transTOneCostAB}{0.70}
\newcommand{\transTOneSessCD}{4}