%% ECRuntime module dependencies (transitively reduced) %% Generated by scripts/audit.lean from real proof dependencies. %% An edge means a proof or statement mentions the target. %% Dashed edge: re-export only -- the module declares nothing itself. graph BT subgraph sg_Foundations["Foundations"] n_BitString["BitString"] n_Mutation["Mutation"] n_Objective["Objective"] n_Transition["Transition"] end subgraph sg_Generic_runtime_theory["Generic runtime theory"] n_AEAbsorbingExpectedOccupation["AEAbsorbingExpectedOccupation"] n_AbsorbingFirstHittingOccupation["AbsorbingFirstHittingOccupation"] n_AbsorbingOccupationPrefix["AbsorbingOccupationPrefix"] n_AbsorbingOccupationPrefixMonotonicity["AbsorbingOccupationPrefixMonotonicity"] n_AdaptiveLevelSupport["AdaptiveLevelSupport"] n_AdaptiveOccupationConvolution["AdaptiveOccupationConvolution"] n_AdaptiveWeightedCountableLevelOccupation["AdaptiveWeightedCountableLevelOccupation"] n_AdaptiveWeightedFiniteTimeLevelPartition["AdaptiveWeightedFiniteTimeLevelPartition"] n_AdaptiveWeightedNonoptimalOccupation["AdaptiveWeightedNonoptimalOccupation"] n_AdditiveDrift["AdditiveDrift"] n_BellmanFiniteExactRuntime["BellmanFiniteExactRuntime"] n_BellmanGeometricExactRuntime["BellmanGeometricExactRuntime"] n_BernoulliWaitingExtraction["BernoulliWaitingExtraction"] n_BinomialHarmonicAverageClosedForm["BinomialHarmonicAverageClosedForm"] n_BinomialHarmonicAverageIncrementBound["BinomialHarmonicAverageIncrementBound"] n_BinomialHarmonicAverageOneStep["BinomialHarmonicAverageOneStep"] n_BinomialHarmonicAverageStrictIncrease["BinomialHarmonicAverageStrictIncrease"] n_BinomialHarmonicLogTwoFiniteError["BinomialHarmonicLogTwoFiniteError"] n_BinomialHarmonicScaledRuntimeOneStep["BinomialHarmonicScaledRuntimeOneStep"] n_BoundedCoupledExactLevelEntryMass["BoundedCoupledExactLevelEntryMass"] n_BoundedCoupledExactLevelFirstEntrySlices["BoundedCoupledExactLevelFirstEntrySlices"] n_BoundedExactLevelEntryMass["BoundedExactLevelEntryMass"] n_BoundedFirstEntryPrefixBridge["BoundedFirstEntryPrefixBridge"] n_BoundedFirstEntryProjectiveMass["BoundedFirstEntryProjectiveMass"] n_ConstantExitRuntime["ConstantExitRuntime"] n_CountableRestrictedEntryGeometricPeeling["CountableRestrictedEntryGeometricPeeling"] n_CountableRestrictedFirstEntryWeightedHistory["CountableRestrictedFirstEntryWeightedHistory"] n_CouplingDomination["CouplingDomination"] n_DirectGeometricStochasticDominationClosed["DirectGeometricStochasticDominationClosed"] n_DirectGeometricTailDomination["DirectGeometricTailDomination"] n_DirectGeometricTailDominationClosed["DirectGeometricTailDominationClosed"] n_DiscreteFirstVisitUnique["DiscreteFirstVisitUnique"] n_DoerrDoerrMonotoneUniformMean["DoerrDoerrMonotoneUniformMean"] n_Drift["Drift"] n_EAGenericTargetRuntimeNoFlipLower["EAGenericTargetRuntimeNoFlipLower"] n_EAWeightedGenericRuntimeNoFlipLower["EAWeightedGenericRuntimeNoFlipLower"] n_ENNRealRenewalConvolutionUnroll["ENNRealRenewalConvolutionUnroll"] n_ENNRealTimeLevelTsumInterchange["ENNRealTimeLevelTsumInterchange"] n_EventLevelFailureCountLocalization["EventLevelFailureCountLocalization"] n_EventualExactLevelEntry["EventualExactLevelEntry"] n_ExactLevelGeometricBranchAssembly["ExactLevelGeometricBranchAssembly"] n_ExactOccupationConvolutionFactorization["ExactOccupationConvolutionFactorization"] n_ExitBernoulliSplit["ExitBernoulliSplit"] n_FiniteCostSumEqualityRigidity["FiniteCostSumEqualityRigidity"] n_FiniteCoupledPrefixRepresentation["FiniteCoupledPrefixRepresentation"] n_FiniteCoupledTrajectory["FiniteCoupledTrajectory"] n_FiniteENNRealCostEqualityRigidity["FiniteENNRealCostEqualityRigidity"] n_FinitePositiveLowerEnvelope["FinitePositiveLowerEnvelope"] n_FiniteRuntimeSurvivalSupport["FiniteRuntimeSurvivalSupport"] n_FiniteRuntimeSurvivalVanishes["FiniteRuntimeSurvivalVanishes"] n_FiniteSumDomination["FiniteSumDomination"] n_FirstEntryFiniteMarginalBridge["FirstEntryFiniteMarginalBridge"] n_FirstEntryHistoryMixture["FirstEntryHistoryMixture"] n_FirstVisitFiniteMinimality["FirstVisitFiniteMinimality"] n_FirstVisitSetsDisjoint["FirstVisitSetsDisjoint"] n_FirstZeroHazard["FirstZeroHazard"] n_FitnessLevel["FitnessLevel"] n_FullSupportUniversal["FullSupportUniversal"] n_GenericCountableGeometricSurvival["GenericCountableGeometricSurvival"] n_GenericDriftLowerFiniteHorizonResearch["GenericDriftLowerFiniteHorizonResearch"] n_GenericEAAnyTargetPower["GenericEAAnyTargetPower"] n_GenericEAGeometricTargetSurvival["GenericEAGeometricTargetSurvival"] n_GenericEASelfLoopFromEmptyMask["GenericEASelfLoopFromEmptyMask"] n_GenericEATargetOneStepNoFlip["GenericEATargetOneStepNoFlip"] n_GenericFiniteCylinderMarginal["GenericFiniteCylinderMarginal"] n_GenericFixedTargetAdditiveDriftLower["GenericFixedTargetAdditiveDriftLower"] n_GenericMarkovFirstEntryOneStepMass["GenericMarkovFirstEntryOneStepMass"] n_GenericRuntimeSelfLoopLower["GenericRuntimeSelfLoopLower"] n_GenericSelfLoopSurvivalPower["GenericSelfLoopSurvivalPower"] n_GenericStoppedResidualSurvivalEnvelope["GenericStoppedResidualSurvivalEnvelope"] n_GenericTargetRuntimeAntitonicity["GenericTargetRuntimeAntitonicity"] n_GenericWeightedFiniteSurvivalLowerBound["GenericWeightedFiniteSurvivalLowerBound"] n_GenericWeightedInitialRuntimeLower["GenericWeightedInitialRuntimeLower"] n_GeometricCouplingDominationEndpoint["GeometricCouplingDominationEndpoint"] n_GeometricFailureCouplingReduction["GeometricFailureCouplingReduction"] n_GeometricFailureMemoryless["GeometricFailureMemoryless"] n_GeometricFailureProductSplit["GeometricFailureProductSplit"] n_GeometricFailureProductTailRecursion["GeometricFailureProductTailRecursion"] n_GeometricPrefixTailCongruence["GeometricPrefixTailCongruence"] n_GeometricPrefixTailRecursion["GeometricPrefixTailRecursion"] n_GeometricRuntime["GeometricRuntime"] n_GeometricSum["GeometricSum"] n_GeometricSumTailIdentification["GeometricSumTailIdentification"] n_GeometricSumTailRecursion["GeometricSumTailRecursion"] n_GeometricTail["GeometricTail"] n_HarmonicHalfSeriesLogTwoLimit["HarmonicHalfSeriesLogTwoLimit"] n_HarmonicLogLower["HarmonicLogLower"] n_HarmonicPredecessor["HarmonicPredecessor"] n_HistoryDependentWaiting["HistoryDependentWaiting"] n_IndependentBitCoordinateFlipMarginalResearch["IndependentBitCoordinateFlipMarginalResearch"] n_IndependentBitExpectedMutationRadius["IndependentBitExpectedMutationRadius"] n_InfiniteAdaptiveCoupledMarginals["InfiniteAdaptiveCoupledMarginals"] n_InfiniteAdaptiveCoupledTrajectory["InfiniteAdaptiveCoupledTrajectory"] n_LevelChargeExactResidence["LevelChargeExactResidence"] n_LevelChargeWaitingBridge["LevelChargeWaitingBridge"] n_LevelCharges["LevelCharges"] n_LevelExitDomination["LevelExitDomination"] n_LevelExitTail["LevelExitTail"] n_LevelExitTrajectory["LevelExitTrajectory"] n_LevelResidence["LevelResidence"] n_LogTwoHarmonicCorrectionFiniteSandwich["LogTwoHarmonicCorrectionFiniteSandwich"] n_MonotoneFirstVisitSucc["MonotoneFirstVisitSucc"] n_MonotonePathFirstVisitResidenceInterval["MonotonePathFirstVisitResidenceInterval"] n_MultiLevelCoupledTrajectory["MultiLevelCoupledTrajectory"] n_MultiplicativeDrift["MultiplicativeDrift"] n_MultiplicativeDriftTail["MultiplicativeDriftTail"] n_NatTailToStochasticDomination["NatTailToStochasticDomination"] n_NonnegativeDiscreteGeometricConvolution["NonnegativeDiscreteGeometricConvolution"] n_OneLevelGeometricCouplingInterface["OneLevelGeometricCouplingInterface"] n_PotentialRuntimeTailRecursion["PotentialRuntimeTailRecursion"] n_PreEntryConditionalFreshness["PreEntryConditionalFreshness"] n_PreEntryCoordinateFreshness["PreEntryCoordinateFreshness"] n_PreEntryCoordinateMarginalization["PreEntryCoordinateMarginalization"] n_PreEntryPrefixFactorization["PreEntryPrefixFactorization"] n_RandomEntryGeometricPattern["RandomEntryGeometricPattern"] n_RestrictedFirstEntryDeletedCoordinateMass["RestrictedFirstEntryDeletedCoordinateMass"] n_RestrictedFirstEntryFiniteCylinder["RestrictedFirstEntryFiniteCylinder"] n_RestrictedFirstEntryTimeDecomposition["RestrictedFirstEntryTimeDecomposition"] n_RestrictedFirstEntryWeightedHistoryBridge["RestrictedFirstEntryWeightedHistoryBridge"] n_StochasticDomination["StochasticDomination"] n_TerminalFirstEntryComplementMass["TerminalFirstEntryComplementMass"] n_UniformFixedTarget["UniformFixedTarget"] n_UniformFixedTargetGeometricTail["UniformFixedTargetGeometricTail"] n_UniformMutationExact["UniformMutationExact"] n_UniformStartZeroCountMean["UniformStartZeroCountMean"] n_WeightedEntrySkipGeometricPeeling["WeightedEntrySkipGeometricPeeling"] n_WeightedFirstEntryGeometricFactorization["WeightedFirstEntryGeometricFactorization"] n_WeightedPermanentSkipIdentification["WeightedPermanentSkipIdentification"] n_WeightedRuntimeTargetMonotonicity["WeightedRuntimeTargetMonotonicity"] end subgraph sg_LeadingOnes["LeadingOnes"] n_AdaptiveLeadingOnesAEFirstVisitEntry["AdaptiveLeadingOnesAEFirstVisitEntry"] n_AdaptiveLeadingOnesAEScoreMonotone["AdaptiveLeadingOnesAEScoreMonotone"] n_AdaptiveLeadingOnesAbsorbingExpectation["AdaptiveLeadingOnesAbsorbingExpectation"] n_AdaptiveLeadingOnesBoundaryEventualCrossing["AdaptiveLeadingOnesBoundaryEventualCrossing"] n_AdaptiveLeadingOnesBoundaryFiniteRuntime["AdaptiveLeadingOnesBoundaryFiniteRuntime"] n_AdaptiveLeadingOnesBoundaryFlipConjugacy["AdaptiveLeadingOnesBoundaryFlipConjugacy"] n_AdaptiveLeadingOnesBoundaryPerturbationCost["AdaptiveLeadingOnesBoundaryPerturbationCost"] n_AdaptiveLeadingOnesBoundaryProgressPositive["AdaptiveLeadingOnesBoundaryProgressPositive"] n_AdaptiveLeadingOnesBoundaryRuntimeToAlmostSure["AdaptiveLeadingOnesBoundaryRuntimeToAlmostSure"] n_AdaptiveLeadingOnesConditionalResidenceMean["AdaptiveLeadingOnesConditionalResidenceMean"] n_AdaptiveLeadingOnesConstantScheduleRuntime["AdaptiveLeadingOnesConstantScheduleRuntime"] n_AdaptiveLeadingOnesCountableOccupationBridge["AdaptiveLeadingOnesCountableOccupationBridge"] n_AdaptiveLeadingOnesEventualCrossingParity["AdaptiveLeadingOnesEventualCrossingParity"] n_AdaptiveLeadingOnesExactSkipTrajectoryParity["AdaptiveLeadingOnesExactSkipTrajectoryParity"] n_AdaptiveLeadingOnesExactUniformRuntime["AdaptiveLeadingOnesExactUniformRuntime"] n_AdaptiveLeadingOnesExitExponentialEnvelope["AdaptiveLeadingOnesExitExponentialEnvelope"] n_AdaptiveLeadingOnesExpectedExactLevelResidence["AdaptiveLeadingOnesExpectedExactLevelResidence"] n_AdaptiveLeadingOnesFiniteBelowEntryMarginal["AdaptiveLeadingOnesFiniteBelowEntryMarginal"] n_AdaptiveLeadingOnesFiniteCrossingParity["AdaptiveLeadingOnesFiniteCrossingParity"] n_AdaptiveLeadingOnesFiniteLevelOccupationPartition["AdaptiveLeadingOnesFiniteLevelOccupationPartition"] n_AdaptiveLeadingOnesFiniteNoReturnWeight["AdaptiveLeadingOnesFiniteNoReturnWeight"] n_AdaptiveLeadingOnesFiniteOccupationRenewal["AdaptiveLeadingOnesFiniteOccupationRenewal"] n_AdaptiveLeadingOnesFiniteRenewalSolution["AdaptiveLeadingOnesFiniteRenewalSolution"] n_AdaptiveLeadingOnesFiniteStayMeasure["AdaptiveLeadingOnesFiniteStayMeasure"] n_AdaptiveLeadingOnesFiniteStayWeightFactor["AdaptiveLeadingOnesFiniteStayWeightFactor"] n_AdaptiveLeadingOnesFiniteTrajectoryFlip["AdaptiveLeadingOnesFiniteTrajectoryFlip"] n_AdaptiveLeadingOnesFirstCrossingFixedInitialAverage["AdaptiveLeadingOnesFirstCrossingFixedInitialAverage"] n_AdaptiveLeadingOnesFirstCrossingNonneg["AdaptiveLeadingOnesFirstCrossingNonneg"] n_AdaptiveLeadingOnesFirstCrossingNormalization["AdaptiveLeadingOnesFirstCrossingNormalization"] n_AdaptiveLeadingOnesFirstCrossingTotalMass["AdaptiveLeadingOnesFirstCrossingTotalMass"] n_AdaptiveLeadingOnesFirstEntryResidenceTsum["AdaptiveLeadingOnesFirstEntryResidenceTsum"] n_AdaptiveLeadingOnesFirstVisitAtZeroMass["AdaptiveLeadingOnesFirstVisitAtZeroMass"] n_AdaptiveLeadingOnesFirstVisitExactCrossingCylinder["AdaptiveLeadingOnesFirstVisitExactCrossingCylinder"] n_AdaptiveLeadingOnesFirstVisitFiniteMarginalBridge["AdaptiveLeadingOnesFirstVisitFiniteMarginalBridge"] n_AdaptiveLeadingOnesFirstVisitMassCountablePartition["AdaptiveLeadingOnesFirstVisitMassCountablePartition"] n_AdaptiveLeadingOnesFirstVisitMassEntry["AdaptiveLeadingOnesFirstVisitMassEntry"] n_AdaptiveLeadingOnesGenuineExactLevelFiniteMarginal["AdaptiveLeadingOnesGenuineExactLevelFiniteMarginal"] n_AdaptiveLeadingOnesGenuineOneStepRenewal["AdaptiveLeadingOnesGenuineOneStepRenewal"] n_AdaptiveLeadingOnesHalfResidenceOptimality["AdaptiveLeadingOnesHalfResidenceOptimality"] n_AdaptiveLeadingOnesInteriorApproxSchedule["AdaptiveLeadingOnesInteriorApproxSchedule"] n_AdaptiveLeadingOnesInteriorFiniteGapBound["AdaptiveLeadingOnesInteriorFiniteGapBound"] n_AdaptiveLeadingOnesInteriorFiniteResidenceGap["AdaptiveLeadingOnesInteriorFiniteResidenceGap"] n_AdaptiveLeadingOnesKernelScheduleExt["AdaptiveLeadingOnesKernelScheduleExt"] n_AdaptiveLeadingOnesLocalOptimalRate["AdaptiveLeadingOnesLocalOptimalRate"] n_AdaptiveLeadingOnesLocalRenewalKernel["AdaptiveLeadingOnesLocalRenewalKernel"] n_AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible["AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible"] n_AdaptiveLeadingOnesMonotoneSupport["AdaptiveLeadingOnesMonotoneSupport"] n_AdaptiveLeadingOnesMonotoneTrajectory["AdaptiveLeadingOnesMonotoneTrajectory"] n_AdaptiveLeadingOnesNormalizedExactEntryHalf["AdaptiveLeadingOnesNormalizedExactEntryHalf"] n_AdaptiveLeadingOnesOneLevelPolicyImprovement["AdaptiveLeadingOnesOneLevelPolicyImprovement"] n_AdaptiveLeadingOnesOptimalAggregateResidenceCost["AdaptiveLeadingOnesOptimalAggregateResidenceCost"] n_AdaptiveLeadingOnesOptimalExitClosedForm["AdaptiveLeadingOnesOptimalExitClosedForm"] n_AdaptiveLeadingOnesOptimalLevelSurvivalDominance["AdaptiveLeadingOnesOptimalLevelSurvivalDominance"] n_AdaptiveLeadingOnesOptimalPositiveLevelRate["AdaptiveLeadingOnesOptimalPositiveLevelRate"] n_AdaptiveLeadingOnesOptimalResidenceBound["AdaptiveLeadingOnesOptimalResidenceBound"] n_AdaptiveLeadingOnesOptimalResidenceClosedForm["AdaptiveLeadingOnesOptimalResidenceClosedForm"] n_AdaptiveLeadingOnesOptimalScheduleStochastic["AdaptiveLeadingOnesOptimalScheduleStochastic"] n_AdaptiveLeadingOnesOptimalSurvivalClosedForm["AdaptiveLeadingOnesOptimalSurvivalClosedForm"] n_AdaptiveLeadingOnesPositiveLevelExit["AdaptiveLeadingOnesPositiveLevelExit"] n_AdaptiveLeadingOnesRateInvariantVisitMass["AdaptiveLeadingOnesRateInvariantVisitMass"] n_AdaptiveLeadingOnesRenewalConvolution["AdaptiveLeadingOnesRenewalConvolution"] n_AdaptiveLeadingOnesRenewalNonnegative["AdaptiveLeadingOnesRenewalNonnegative"] n_AdaptiveLeadingOnesResidenceGeometricSeries["AdaptiveLeadingOnesResidenceGeometricSeries"] n_AdaptiveLeadingOnesRowScheduleLocal["AdaptiveLeadingOnesRowScheduleLocal"] n_AdaptiveLeadingOnesRuntimeScheduleExt["AdaptiveLeadingOnesRuntimeScheduleExt"] n_AdaptiveLeadingOnesScalarRenewalSolution["AdaptiveLeadingOnesScalarRenewalSolution"] n_AdaptiveLeadingOnesScheduleExitComparison["AdaptiveLeadingOnesScheduleExitComparison"] n_AdaptiveLeadingOnesSurvivalScheduleLocal["AdaptiveLeadingOnesSurvivalScheduleLocal"] n_AdaptiveLeadingOnesTrajectoryRuntimeAssembly["AdaptiveLeadingOnesTrajectoryRuntimeAssembly"] n_AdaptiveLeadingOnesTrueFirstEntryConvolution["AdaptiveLeadingOnesTrueFirstEntryConvolution"] n_AdaptiveLeadingOnesUniformBoundaryProgress["AdaptiveLeadingOnesUniformBoundaryProgress"] n_AdaptiveLeadingOnesUniformEverVisitHalf["AdaptiveLeadingOnesUniformEverVisitHalf"] n_AdaptiveLeadingOnesUniformEverVisitMass["AdaptiveLeadingOnesUniformEverVisitMass"] n_AdaptiveLeadingOnesUniformExactCrossingCylinderBridge["AdaptiveLeadingOnesUniformExactCrossingCylinderBridge"] n_AdaptiveLeadingOnesUniformExpectedOccupationHalf["AdaptiveLeadingOnesUniformExpectedOccupationHalf"] n_AdaptiveLeadingOnesUniformFiniteTimeLevelPartition["AdaptiveLeadingOnesUniformFiniteTimeLevelPartition"] n_AdaptiveLeadingOnesUniformFullRuntime["AdaptiveLeadingOnesUniformFullRuntime"] n_AdaptiveLeadingOnesUniformHistoryWeightFlip["AdaptiveLeadingOnesUniformHistoryWeightFlip"] n_AdaptiveLeadingOnesUniformOccupationLift["AdaptiveLeadingOnesUniformOccupationLift"] n_AdaptiveLeadingOnesUniformRuntimeExitInvariance["AdaptiveLeadingOnesUniformRuntimeExitInvariance"] n_AdaptiveLeadingOnesUniformSkipProbability["AdaptiveLeadingOnesUniformSkipProbability"] n_AdaptiveLeadingOnesUniformTrueFirstEntryMass["AdaptiveLeadingOnesUniformTrueFirstEntryMass"] n_AdaptiveLeadingOnesUniformVisitProbability["AdaptiveLeadingOnesUniformVisitProbability"] n_AdaptiveLeadingOnesUniformVisitRateInvariance["AdaptiveLeadingOnesUniformVisitRateInvariance"] n_AdaptiveLeadingOnesUniquePositiveLevelOptimizer["AdaptiveLeadingOnesUniquePositiveLevelOptimizer"] n_AdaptiveLeadingOnesWeightedResidenceOptimality["AdaptiveLeadingOnesWeightedResidenceOptimality"] n_LeadingOnes["LeadingOnes"] n_LeadingOnesAdaptiveAbsorbingPath["LeadingOnesAdaptiveAbsorbingPath"] n_LeadingOnesAdaptiveKernelCandidate["LeadingOnesAdaptiveKernelCandidate"] n_LeadingOnesBoundaryENNRealReciprocalBridge["LeadingOnesBoundaryENNRealReciprocalBridge"] n_LeadingOnesBoundaryEventualCrossing["LeadingOnesBoundaryEventualCrossing"] n_LeadingOnesBoundaryGlobalInfimum["LeadingOnesBoundaryGlobalInfimum"] n_LeadingOnesBoundaryInfimumBridge["LeadingOnesBoundaryInfimumBridge"] n_LeadingOnesBoundaryRuntimeInfimum["LeadingOnesBoundaryRuntimeInfimum"] n_LeadingOnesCountableLevelOccupationAssembly["LeadingOnesCountableLevelOccupationAssembly"] n_LeadingOnesCrossBaseGlobalDominance["LeadingOnesCrossBaseGlobalDominance"] n_LeadingOnesExactEntryAveraging["LeadingOnesExactEntryAveraging"] n_LeadingOnesExactEntryStep["LeadingOnesExactEntryStep"] n_LeadingOnesExactRuntimeClosure["LeadingOnesExactRuntimeClosure"] n_LeadingOnesExactStayBranch["LeadingOnesExactStayBranch"] n_LeadingOnesExit["LeadingOnesExit"] n_LeadingOnesExpectedRuntimeAssembly["LeadingOnesExpectedRuntimeAssembly"] n_LeadingOnesFirstCrossingAggregate["LeadingOnesFirstCrossingAggregate"] n_LeadingOnesFirstCrossingMass["LeadingOnesFirstCrossingMass"] n_LeadingOnesFirstCrossingMeasure["LeadingOnesFirstCrossingMeasure"] n_LeadingOnesFirstCrossingSymmetry["LeadingOnesFirstCrossingSymmetry"] n_LeadingOnesFirstVisitBelowEquivalence["LeadingOnesFirstVisitBelowEquivalence"] n_LeadingOnesFixedTargetCandidate["LeadingOnesFixedTargetCandidate"] n_LeadingOnesFixedTargetConvexity["LeadingOnesFixedTargetConvexity"] n_LeadingOnesFixedTargetCurvatureFormula["LeadingOnesFixedTargetCurvatureFormula"] n_LeadingOnesFixedTargetCurvaturePositive["LeadingOnesFixedTargetCurvaturePositive"] n_LeadingOnesFixedTargetCurvatureRatio["LeadingOnesFixedTargetCurvatureRatio"] n_LeadingOnesFixedTargetDimensionInvariance["LeadingOnesFixedTargetDimensionInvariance"] n_LeadingOnesFixedTargetFirstLevelLowerBound["LeadingOnesFixedTargetFirstLevelLowerBound"] n_LeadingOnesFixedTargetHalfIncrementBound["LeadingOnesFixedTargetHalfIncrementBound"] n_LeadingOnesFixedTargetIncrement["LeadingOnesFixedTargetIncrement"] n_LeadingOnesFixedTargetLinearLowerBound["LeadingOnesFixedTargetLinearLowerBound"] n_LeadingOnesFixedTargetMarginalRatio["LeadingOnesFixedTargetMarginalRatio"] n_LeadingOnesFixedTargetMeanMonotone["LeadingOnesFixedTargetMeanMonotone"] n_LeadingOnesFixedTargetOneMean["LeadingOnesFixedTargetOneMean"] n_LeadingOnesFixedTargetStrictConvexity["LeadingOnesFixedTargetStrictConvexity"] n_LeadingOnesFixedTargetStrictIncrement["LeadingOnesFixedTargetStrictIncrement"] n_LeadingOnesLevelChargeExpectation["LeadingOnesLevelChargeExpectation"] n_LeadingOnesLevelChargeOccupation["LeadingOnesLevelChargeOccupation"] n_LeadingOnesLevelIndexBridge["LeadingOnesLevelIndexBridge"] n_LeadingOnesLevelOneUniqueMaximizer["LeadingOnesLevelOneUniqueMaximizer"] n_LeadingOnesMainResults["LeadingOnesMainResults"] n_LeadingOnesNonoptimalLevelPartition["LeadingOnesNonoptimalLevelPartition"] n_LeadingOnesOccupationRecurrenceAssembly["LeadingOnesOccupationRecurrenceAssembly"] n_LeadingOnesOccupationRenewal["LeadingOnesOccupationRenewal"] n_LeadingOnesOccupationTotalClosure["LeadingOnesOccupationTotalClosure"] n_LeadingOnesOptimalAdaptiveSchedule["LeadingOnesOptimalAdaptiveSchedule"] n_LeadingOnesOptimalRate["LeadingOnesOptimalRate"] n_LeadingOnesPerLevelExitOptimality["LeadingOnesPerLevelExitOptimality"] n_LeadingOnesReferenceBoundaryShiftTendsto["LeadingOnesReferenceBoundaryShiftTendsto"] n_LeadingOnesReferenceExitCostBoundaryTendsto["LeadingOnesReferenceExitCostBoundaryTendsto"] n_LeadingOnesReferenceExitCostDecomposition["LeadingOnesReferenceExitCostDecomposition"] n_LeadingOnesReferencePositiveRateIndependentBase["LeadingOnesReferencePositiveRateIndependentBase"] n_LeadingOnesReferenceZeroBoundaryRealLimit["LeadingOnesReferenceZeroBoundaryRealLimit"] n_LeadingOnesReferenceZeroExitStrict["LeadingOnesReferenceZeroExitStrict"] n_LeadingOnesResidence["LeadingOnesResidence"] n_LeadingOnesResidenceMean["LeadingOnesResidenceMean"] n_LeadingOnesRuntimeChargeDecomposition["LeadingOnesRuntimeChargeDecomposition"] n_LeadingOnesScaledRate["LeadingOnesScaledRate"] n_LeadingOnesStandardRate["LeadingOnesStandardRate"] n_LeadingOnesStandardRateClosedForm["LeadingOnesStandardRateClosedForm"] n_LeadingOnesStationaryAntitone["LeadingOnesStationaryAntitone"] n_LeadingOnesStationaryRootExists["LeadingOnesStationaryRootExists"] n_LeadingOnesStrictLevelExitOptimality["LeadingOnesStrictLevelExitOptimality"] n_LeadingOnesStrictPositivePolicyOptimality["LeadingOnesStrictPositivePolicyOptimality"] n_LeadingOnesSymmetry["LeadingOnesSymmetry"] n_LeadingOnesTrajectoryMonotonicity["LeadingOnesTrajectoryMonotonicity"] n_LeadingOnesUniqueOptimalPolicyConditional["LeadingOnesUniqueOptimalPolicyConditional"] n_LeadingOnesUniqueStationaryRoot["LeadingOnesUniqueStationaryRoot"] n_LeadingOnesVisitProbability["LeadingOnesVisitProbability"] end subgraph sg_Objectives___asymptotics["Objectives & asymptotics"] n_AsymptoticRegime["AsymptoticRegime"] n_ExpectedRuntimeCorollaries["ExpectedRuntimeCorollaries"] n_JumpEscapeOptimalRate["JumpEscapeOptimalRate"] n_JumpPlateauEscape["JumpPlateauEscape"] n_LinearObjectiveRuntime["LinearObjectiveRuntime"] n_LinearPotential["LinearPotential"] n_LinearRuntime["LinearRuntime"] n_MutationRateAsymptotics["MutationRateAsymptotics"] n_MutationRateRegime["MutationRateRegime"] n_OneMax["OneMax"] n_OneMaxClippedPotentialMaskLipschitz["OneMaxClippedPotentialMaskLipschitz"] n_OneMaxEAAdmissibleTargetRuntimeMonotonicity["OneMaxEAAdmissibleTargetRuntimeMonotonicity"] n_OneMaxEABoundedExpectedProgress["OneMaxEABoundedExpectedProgress"] n_OneMaxEAFixedTargetFiniteHorizon["OneMaxEAFixedTargetFiniteHorizon"] n_OneMaxEAGeometricTargetSurvival["OneMaxEAGeometricTargetSurvival"] n_OneMaxEAIndependentBitMeanRadiusRuntimeLower["OneMaxEAIndependentBitMeanRadiusRuntimeLower"] n_OneMaxEAMutationMaskZeroBoundResearch["OneMaxEAMutationMaskZeroBoundResearch"] n_OneMaxEANoFlipMaskWeight["OneMaxEANoFlipMaskWeight"] n_OneMaxEAOneStepTargetSurvivalLowerBound["OneMaxEAOneStepTargetSurvivalLowerBound"] n_OneMaxEAThresholdAdmissibleCorrection["OneMaxEAThresholdAdmissibleCorrection"] n_OneMaxEAThresholdRuntimeLower["OneMaxEAThresholdRuntimeLower"] n_OneMaxEAWeightedFiniteHorizonTarget["OneMaxEAWeightedFiniteHorizonTarget"] n_OneMaxEAWeightedTargetRuntime["OneMaxEAWeightedTargetRuntime"] n_OneMaxEAZeroDriftRuntimeLower["OneMaxEAZeroDriftRuntimeLower"] n_OneMaxRLSHarmonicStep["OneMaxRLSHarmonicStep"] n_OneMaxUnaryHarmonic["OneMaxUnaryHarmonic"] n_OneMaxUnaryStochasticDomination["OneMaxUnaryStochasticDomination"] n_UnaryOneMaxDimensionRuntimeLower["UnaryOneMaxDimensionRuntimeLower"] n_UnaryOneMaxExpectedProgressMeanRadius["UnaryOneMaxExpectedProgressMeanRadius"] n_UnaryOneMaxHarmonicCapMonotonicity["UnaryOneMaxHarmonicCapMonotonicity"] n_UnaryOneMaxHarmonicLowerScaled["UnaryOneMaxHarmonicLowerScaled"] n_UnaryOneMaxHarmonicLowerWithoutSingleton["UnaryOneMaxHarmonicLowerWithoutSingleton"] n_UnaryOneMaxHarmonicProgressLowerResearch["UnaryOneMaxHarmonicProgressLowerResearch"] n_UnaryOneMaxLazySingletonNoFasterThanRLS["UnaryOneMaxLazySingletonNoFasterThanRLS"] n_UnaryOneMaxMeanRadiusRuntimeLower["UnaryOneMaxMeanRadiusRuntimeLower"] n_UnaryOneMaxNoOpFreeExactHarmonic["UnaryOneMaxNoOpFreeExactHarmonic"] n_UnaryOneMaxSingletonExactHarmonicNoRedundancy["UnaryOneMaxSingletonExactHarmonicNoRedundancy"] n_UnaryOneMaxSingletonExactHarmonicRuntime["UnaryOneMaxSingletonExactHarmonicRuntime"] n_UnaryOneMaxSingletonHarmonicRuntimeLower["UnaryOneMaxSingletonHarmonicRuntimeLower"] n_UnaryOneMaxSingletonLawRuntimeInvariance["UnaryOneMaxSingletonLawRuntimeInvariance"] n_UnaryOneMaxSingletonStrictLazyCost["UnaryOneMaxSingletonStrictLazyCost"] n_UnaryOneMaxSingletonStrictRateComparison["UnaryOneMaxSingletonStrictRateComparison"] n_UnaryOneMaxSingletonStrictRuntimeComparison["UnaryOneMaxSingletonStrictRuntimeComparison"] n_UnaryOneMaxThresholdRuntimeLower["UnaryOneMaxThresholdRuntimeLower"] n_UnaryOneMaxZeroContraction["UnaryOneMaxZeroContraction"] end subgraph sg_RLS___coupon_collector["RLS & coupon collector"] n_CouponAllFinitePolynomialSurvival["CouponAllFinitePolynomialSurvival"] n_CouponArbitraryMomentDecrementTransfer["CouponArbitraryMomentDecrementTransfer"] n_CouponArbitraryPositiveMomentFiniteMass["CouponArbitraryPositiveMomentFiniteMass"] n_CouponArbitraryPositiveMomentPathwise["CouponArbitraryPositiveMomentPathwise"] n_CouponArbitraryPowerMomentSurvivalTransfer["CouponArbitraryPowerMomentSurvivalTransfer"] n_CouponDiscountedHittingCDFTransfer["CouponDiscountedHittingCDFTransfer"] n_CouponDiscountedSurvivalDecrementTransfer["CouponDiscountedSurvivalDecrementTransfer"] n_CouponDiscountedSurvivalTransfer["CouponDiscountedSurvivalTransfer"] n_CouponFiniteMassTruncatedSecondMoment["CouponFiniteMassTruncatedSecondMoment"] n_CouponFiniteMassTruncatedThirdMoment["CouponFiniteMassTruncatedThirdMoment"] n_CouponInfiniteWeightedHittingCDF["CouponInfiniteWeightedHittingCDF"] n_CouponInfiniteWeightedSurvival["CouponInfiniteWeightedSurvival"] n_CouponPathwiseTruncatedSquareIndicators["CouponPathwiseTruncatedSquareIndicators"] n_CouponPowerWeightedHittingCDFTransfer["CouponPowerWeightedHittingCDFTransfer"] n_CouponTruncatedCubeSurvivalIndicators["CouponTruncatedCubeSurvivalIndicators"] n_CouponTruncatedSquareOddSum["CouponTruncatedSquareOddSum"] n_CouponTruncatedSurvivalSecondCentralFunctional["CouponTruncatedSurvivalSecondCentralFunctional"] n_CouponWeightedHitQuadraticTransfer["CouponWeightedHitQuadraticTransfer"] n_CouponWeightedSurvivalIncrementTransfer["CouponWeightedSurvivalIncrementTransfer"] n_RLS2016LeadingOnesInitialization["RLS2016LeadingOnesInitialization"] n_RLSAllDimensionEventualNegativeCorrection["RLSAllDimensionEventualNegativeCorrection"] n_RLSAllDimensionPaperCenteredExact["RLSAllDimensionPaperCenteredExact"] n_RLSAllDimensionPaperSharpCentered["RLSAllDimensionPaperSharpCentered"] n_RLSAllDimensionSharpEpsilonBound["RLSAllDimensionSharpEpsilonBound"] n_RLSCountableHittingMassCosts["RLSCountableHittingMassCosts"] n_RLSCountableJointThresholdCosts["RLSCountableJointThresholdCosts"] n_RLSCountableThresholdSurvivalInvariance["RLSCountableThresholdSurvivalInvariance"] n_RLSCouponExactUniformMean["RLSCouponExactUniformMean"] n_RLSCouponProcessKernelCorrespondence["RLSCouponProcessKernelCorrespondence"] n_RLSExactLevelExitMass["RLSExactLevelExitMass"] n_RLSFiniteSurvivalCouponBound["RLSFiniteSurvivalCouponBound"] n_RLSFixedBudget["RLSFixedBudget"] n_RLSFixedTarget["RLSFixedTarget"] n_RLSFixedTargetAllInitialStates["RLSFixedTargetAllInitialStates"] n_RLSFixedTargetHittingMassInvariance["RLSFixedTargetHittingMassInvariance"] n_RLSFixedTargetRealBridge["RLSFixedTargetRealBridge"] n_RLSFixedTargetThresholdAntitonicity["RLSFixedTargetThresholdAntitonicity"] n_RLSFixedTargetThresholdDifference["RLSFixedTargetThresholdDifference"] n_RLSFixedTargetUniformBinomialFormula["RLSFixedTargetUniformBinomialFormula"] n_RLSFixedTargetUniformThresholdMonotonicity["RLSFixedTargetUniformThresholdMonotonicity"] n_RLSFixedTargetWeightedStartMonotonicity["RLSFixedTargetWeightedStartMonotonicity"] n_RLSIndexedTargetSurvivalInvariance["RLSIndexedTargetSurvivalInvariance"] n_RLSInfiniteSurvivalFunctionalInvariance["RLSInfiniteSurvivalFunctionalInvariance"] n_RLSJointThresholdHittingMassCosts["RLSJointThresholdHittingMassCosts"] n_RLSLinearExact["RLSLinearExact"] n_RLSMonotoneFixedTargetSurvivalInvariant["RLSMonotoneFixedTargetSurvivalInvariant"] n_RLSMonotoneObjectiveInvariance["RLSMonotoneObjectiveInvariance"] n_RLSMonotonePointwiseObjectiveInvariance["RLSMonotonePointwiseObjectiveInvariance"] n_RLSMonotoneUniformFixedTargetBinomial["RLSMonotoneUniformFixedTargetBinomial"] n_RLSMonotoneWeightedSurvivalInvariance["RLSMonotoneWeightedSurvivalInvariance"] n_RLSMonotonicityPaperPredicateEquivalence["RLSMonotonicityPaperPredicateEquivalence"] n_RLSMultiThresholdInfiniteSurvival["RLSMultiThresholdInfiniteSurvival"] n_RLSOddParityPaperCentered["RLSOddParityPaperCentered"] n_RLSOneBitExpectationSupport["RLSOneBitExpectationSupport"] n_RLSOneBitSupport["RLSOneBitSupport"] n_RLSPaperCouponUniformMean["RLSPaperCouponUniformMean"] n_RLSPaperHarmonicStrongComparison["RLSPaperHarmonicStrongComparison"] n_RLSPositiveLinearCouponTail["RLSPositiveLinearCouponTail"] n_RLSRandomStart["RLSRandomStart"] n_RLSStrictMonotoneFixedTargetExact["RLSStrictMonotoneFixedTargetExact"] n_RLSUniformFirstOrderRuntimeLaw["RLSUniformFirstOrderRuntimeLaw"] n_RLSUniformInfiniteSurvivalFunctional["RLSUniformInfiniteSurvivalFunctional"] n_RLSUniformInitialCorrectionCauchy["RLSUniformInitialCorrectionCauchy"] n_RLSUniformInitialCorrectionEnvelope["RLSUniformInitialCorrectionEnvelope"] n_RLSUniformInitialCorrectionTail["RLSUniformInitialCorrectionTail"] n_RLSUniformInitialCouponSurvivalCapped["RLSUniformInitialCouponSurvivalCapped"] n_RLSUniformInitialCouponSurvivalInclusionExclusion["RLSUniformInitialCouponSurvivalInclusionExclusion"] n_RLSUniformInitialCouponTail["RLSUniformInitialCouponTail"] n_RLSUniformInitialExact["RLSUniformInitialExact"] n_RLSUniformInitialExpectedRuntimeEnvelope["RLSUniformInitialExpectedRuntimeEnvelope"] n_RLSUniformInitialFirstOrderAsymptotic["RLSUniformInitialFirstOrderAsymptotic"] n_RLSUniformInitialFirstOrderFiniteSandwich["RLSUniformInitialFirstOrderFiniteSandwich"] n_RLSUniformInitialFixedBudgetMean["RLSUniformInitialFixedBudgetMean"] n_RLSUniformInitialHarmonicSecondOrder["RLSUniformInitialHarmonicSecondOrder"] n_RLSUniformInitialLogRuntimeEnvelope["RLSUniformInitialLogRuntimeEnvelope"] n_RLSUniformInitialLogRuntimeLower["RLSUniformInitialLogRuntimeLower"] n_RLSUniformInitialNLogNAdditiveEnvelope["RLSUniformInitialNLogNAdditiveEnvelope"] n_RLSUniformInitialRefinedRuntimeEnvelope["RLSUniformInitialRefinedRuntimeEnvelope"] n_RLSUniformInitialRuntimeFiniteCorrection["RLSUniformInitialRuntimeFiniteCorrection"] n_RLSUniformInitialRuntimeLogTwoFiniteError["RLSUniformInitialRuntimeLogTwoFiniteError"] n_RLSUniformInitialRuntimeSecondOrder["RLSUniformInitialRuntimeSecondOrder"] n_RLSUniformStartEvenCenteredIdentity["RLSUniformStartEvenCenteredIdentity"] n_RLSUniformStartEvenSharpCentered["RLSUniformStartEvenSharpCentered"] n_RLSUniformStartOddCenteredIdentity["RLSUniformStartOddCenteredIdentity"] n_RLSUniformStartOddSharpCentered["RLSUniformStartOddSharpCentered"] n_RLSWeightedCountableHittingMass["RLSWeightedCountableHittingMass"] n_RLSWeightedFixedTargetHittingMass["RLSWeightedFixedTargetHittingMass"] n_RLSWeightedHittingGeneratingPolynomial["RLSWeightedHittingGeneratingPolynomial"] n_RLSWeightedHittingLinearStatistic["RLSWeightedHittingLinearStatistic"] n_RLSWeightedHittingMomentInvariance["RLSWeightedHittingMomentInvariance"] n_RLSWeightedInfiniteSurvivalFunctional["RLSWeightedInfiniteSurvivalFunctional"] n_RLSWeightedSurvivalCostProfile["RLSWeightedSurvivalCostProfile"] n_RLSZeroCountOneStep["RLSZeroCountOneStep"] n_RandomInitialStakeDyadicLogTwoLimit["RandomInitialStakeDyadicLogTwoLimit"] n_RandomInitialStakeEvenHarmonicTail["RandomInitialStakeEvenHarmonicTail"] n_RandomInitialStakeEvenSharpCorrection["RandomInitialStakeEvenSharpCorrection"] n_RandomInitialStakeFiniteHarmonicTailEnclosure["RandomInitialStakeFiniteHarmonicTailEnclosure"] n_RandomInitialStakeFinitePairSandwich["RandomInitialStakeFinitePairSandwich"] n_RandomInitialStakeOddHarmonicTail["RandomInitialStakeOddHarmonicTail"] n_RandomInitialStakeOddScaledFiniteCorrectionBound["RandomInitialStakeOddScaledFiniteCorrectionBound"] n_RandomInitialStakeOddScaledTailBridge["RandomInitialStakeOddScaledTailBridge"] n_RandomInitialStakeOddSharpCorrection["RandomInitialStakeOddSharpCorrection"] n_RandomInitialStakePairTailBounds["RandomInitialStakePairTailBounds"] n_RandomInitialStakeReciprocalTelescoping["RandomInitialStakeReciprocalTelescoping"] n_RandomInitialStakeScaledBinomialCorrectionLimit["RandomInitialStakeScaledBinomialCorrectionLimit"] n_RandomInitialStakeScaledEvenCorrectionBound["RandomInitialStakeScaledEvenCorrectionBound"] n_RandomInitialStakeSharpEvenSandwich["RandomInitialStakeSharpEvenSandwich"] n_RandomInitialStakeShiftedDyadicIncrement["RandomInitialStakeShiftedDyadicIncrement"] n_RandomStakeCouponArbitraryTargetFiniteHorizon["RandomStakeCouponArbitraryTargetFiniteHorizon"] n_RandomStakeCouponArbitraryTargetFiniteObjectiveInvariance["RandomStakeCouponArbitraryTargetFiniteObjectiveInvariance"] n_RandomStakeCouponArbitraryTargetFiniteRuntime["RandomStakeCouponArbitraryTargetFiniteRuntime"] n_RandomStakeCouponArbitraryTargetFiniteRuntimeObjectiveInvariance["RandomStakeCouponArbitraryTargetFiniteRuntimeObjectiveInvariance"] n_RandomStakeCouponArbitraryTargetHittingProbability["RandomStakeCouponArbitraryTargetHittingProbability"] n_RandomStakeCouponArbitraryTargetObjectiveInvariance["RandomStakeCouponArbitraryTargetObjectiveInvariance"] n_RandomStakeCouponArbitraryTargetRuntime["RandomStakeCouponArbitraryTargetRuntime"] n_RandomStakeCouponFinitePaperCenteredExact["RandomStakeCouponFinitePaperCenteredExact"] n_RandomStakeCouponSecondMomentSurvivalTransfer["RandomStakeCouponSecondMomentSurvivalTransfer"] n_RandomStakeCouponSharpPaperCentered["RandomStakeCouponSharpPaperCentered"] n_RandomStakeCouponStatewiseObservableTransfer["RandomStakeCouponStatewiseObservableTransfer"] n_RandomStakeCouponStatewiseSurvivalCorrespondence["RandomStakeCouponStatewiseSurvivalCorrespondence"] n_RandomStakeCouponSurvivalIncrementTransfer["RandomStakeCouponSurvivalIncrementTransfer"] n_RandomStakeCouponThirdMomentSurvivalTransfer["RandomStakeCouponThirdMomentSurvivalTransfer"] n_RandomStakeCouponWeightedHittingTransfer["RandomStakeCouponWeightedHittingTransfer"] n_RandomStakeCouponWeightedSurvivalTransfer["RandomStakeCouponWeightedSurvivalTransfer"] n_StrictMonotoneCouponSurvival["StrictMonotoneCouponSurvival"] n_StrictMonotoneRLS["StrictMonotoneRLS"] n_StrictMonotoneRLSCouponTail["StrictMonotoneRLSCouponTail"] n_StrictMonotoneRLSEvenSharpCentered["StrictMonotoneRLSEvenSharpCentered"] n_StrictMonotoneRLSKernelSupport["StrictMonotoneRLSKernelSupport"] n_StrictMonotoneRLSOddSharpCentered["StrictMonotoneRLSOddSharpCentered"] end subgraph sg_Static_unary_unbiased["Static unary-unbiased"] n_StaticUnaryMeanRadiusBound["StaticUnaryMeanRadiusBound"] n_StaticUnarySecondFactorialRadiusBound["StaticUnarySecondFactorialRadiusBound"] n_StaticUnarySingletonSupportMeanRadius["StaticUnarySingletonSupportMeanRadius"] n_StaticUnarySingletonSupportPositiveMean["StaticUnarySingletonSupportPositiveMean"] n_StaticUnaryUnbiasedAcceptedEventBridge["StaticUnaryUnbiasedAcceptedEventBridge"] n_StaticUnaryUnbiasedAcceptedGainAlignment["StaticUnaryUnbiasedAcceptedGainAlignment"] n_StaticUnaryUnbiasedAcceptedRadiusTail["StaticUnaryUnbiasedAcceptedRadiusTail"] n_StaticUnaryUnbiasedAcceptedTailLoss["StaticUnaryUnbiasedAcceptedTailLoss"] n_StaticUnaryUnbiasedCoordinateTailLoss["StaticUnaryUnbiasedCoordinateTailLoss"] n_StaticUnaryUnbiasedCorrectedGammaTail["StaticUnaryUnbiasedCorrectedGammaTail"] n_StaticUnaryUnbiasedCorrectedLeftGain["StaticUnaryUnbiasedCorrectedLeftGain"] n_StaticUnaryUnbiasedCorrectedPotential["StaticUnaryUnbiasedCorrectedPotential"] n_StaticUnaryUnbiasedCorrectedPotentialEnvelope["StaticUnaryUnbiasedCorrectedPotentialEnvelope"] n_StaticUnaryUnbiasedCorrectedRuntime["StaticUnaryUnbiasedCorrectedRuntime"] n_StaticUnaryUnbiasedEventWeightedRightLoss["StaticUnaryUnbiasedEventWeightedRightLoss"] n_StaticUnaryUnbiasedExplicitRuntime["StaticUnaryUnbiasedExplicitRuntime"] n_StaticUnaryUnbiasedFirstZeroFiniteRuntime["StaticUnaryUnbiasedFirstZeroFiniteRuntime"] n_StaticUnaryUnbiasedFirstZeroOccupationRenewal["StaticUnaryUnbiasedFirstZeroOccupationRenewal"] n_StaticUnaryUnbiasedFirstZeroPathVisits["StaticUnaryUnbiasedFirstZeroPathVisits"] n_StaticUnaryUnbiasedFirstZeroResidence["StaticUnaryUnbiasedFirstZeroResidence"] n_StaticUnaryUnbiasedFirstZeroUnrestrictedRuntime["StaticUnaryUnbiasedFirstZeroUnrestrictedRuntime"] n_StaticUnaryUnbiasedFirstZeroWeightedVisits["StaticUnaryUnbiasedFirstZeroWeightedVisits"] n_StaticUnaryUnbiasedFlipMarginals["StaticUnaryUnbiasedFlipMarginals"] n_StaticUnaryUnbiasedGlobalDrift["StaticUnaryUnbiasedGlobalDrift"] n_StaticUnaryUnbiasedHighestMaskPivot["StaticUnaryUnbiasedHighestMaskPivot"] n_StaticUnaryUnbiasedLinearAcceptedEvents["StaticUnaryUnbiasedLinearAcceptedEvents"] n_StaticUnaryUnbiasedLinearDrift["StaticUnaryUnbiasedLinearDrift"] n_StaticUnaryUnbiasedLinearLossDecomposition["StaticUnaryUnbiasedLinearLossDecomposition"] n_StaticUnaryUnbiasedLowestMaskBinVal["StaticUnaryUnbiasedLowestMaskBinVal"] n_StaticUnaryUnbiasedLowestPivotTailCharge["StaticUnaryUnbiasedLowestPivotTailCharge"] n_StaticUnaryUnbiasedMomentFamilies["StaticUnaryUnbiasedMomentFamilies"] n_StaticUnaryUnbiasedMutation["StaticUnaryUnbiasedMutation"] n_StaticUnaryUnbiasedPairMarginals["StaticUnaryUnbiasedPairMarginals"] n_StaticUnaryUnbiasedPairNormalization["StaticUnaryUnbiasedPairNormalization"] n_StaticUnaryUnbiasedPivotDrift["StaticUnaryUnbiasedPivotDrift"] n_StaticUnaryUnbiasedPivotPartition["StaticUnaryUnbiasedPivotPartition"] n_StaticUnaryUnbiasedRadiusTruncation["StaticUnaryUnbiasedRadiusTruncation"] n_StaticUnaryUnbiasedResidualLossBudget["StaticUnaryUnbiasedResidualLossBudget"] n_StaticUnaryUnbiasedSharpMomentUpper["StaticUnaryUnbiasedSharpMomentUpper"] n_StaticUnaryUnbiasedShortPivotGainRecovery["StaticUnaryUnbiasedShortPivotGainRecovery"] n_StaticUnaryUnbiasedShortPivotPairBudget["StaticUnaryUnbiasedShortPivotPairBudget"] n_StaticUnaryUnbiasedShortRadiusPivot["StaticUnaryUnbiasedShortRadiusPivot"] n_StaticUnaryUnbiasedTailCoordinateMoment["StaticUnaryUnbiasedTailCoordinateMoment"] n_StaticUnaryZeroFlipExpectationDoubleCount["StaticUnaryZeroFlipExpectationDoubleCount"] end subgraph sg_Trajectory_semantics["Trajectory semantics"] n_FiniteMarginalBridge["FiniteMarginalBridge"] n_FiniteMarginalDynamics["FiniteMarginalDynamics"] n_FiniteMarginalIdentification["FiniteMarginalIdentification"] n_FiniteTrajectory["FiniteTrajectory"] n_FiniteTrajectoryConsistency["FiniteTrajectoryConsistency"] n_HittingTime["HittingTime"] n_PrefixMarginalDynamics["PrefixMarginalDynamics"] n_TrajectoryFirstHittingTime["TrajectoryFirstHittingTime"] n_TrajectoryHittingTime["TrajectoryHittingTime"] n_TrajectoryTruncation["TrajectoryTruncation"] n_TransitionKernel["TransitionKernel"] n_TransitionKernelMarginals["TransitionKernelMarginals"] n_UnrestrictedRuntime["UnrestrictedRuntime"] end subgraph sg_Witt_scaled_rate_c_n["Witt scaled rate c/n"] n_WittMutationC3Envelope["WittMutationC3Envelope"] n_WittMutationC3ExtendedRegime["WittMutationC3ExtendedRegime"] n_WittMutationC3LogThreeRegime["WittMutationC3LogThreeRegime"] n_WittMutationCaseC3["WittMutationCaseC3"] n_WittMutationCertifiedRuntime["WittMutationCertifiedRuntime"] n_WittMutationDrift["WittMutationDrift"] n_WittMutationExtendedRateAsymptotics["WittMutationExtendedRateAsymptotics"] n_WittMutationExtendedRuntime["WittMutationExtendedRuntime"] n_WittMutationLogThreeRuntime["WittMutationLogThreeRuntime"] n_WittMutationPotential["WittMutationPotential"] n_WittMutationRateAsymptotics["WittMutationRateAsymptotics"] n_WittMutationRuntime["WittMutationRuntime"] n_WittMutationRuntimeTail["WittMutationRuntimeTail"] n_WittMutationSharpRuntimeAsymptotics["WittMutationSharpRuntimeAsymptotics"] n_WittMutationStrictTail["WittMutationStrictTail"] end subgraph sg_Witt_standard_rate_1_n["Witt standard rate 1/n"] n_WittStandardCaseC2A["WittStandardCaseC2A"] n_WittStandardCaseC3["WittStandardCaseC3"] n_WittStandardDrift["WittStandardDrift"] n_WittStandardPotential["WittStandardPotential"] n_WittStandardRuntime["WittStandardRuntime"] n_WittStandardRuntimeAsymptotics["WittStandardRuntimeAsymptotics"] n_WittStandardRuntimeTail["WittStandardRuntimeTail"] n_WittStandardRuntimeTailShift["WittStandardRuntimeTailShift"] n_WittStandardStrictTailDownset["WittStandardStrictTailDownset"] n_WittStandardStrictTailEnvelope["WittStandardStrictTailEnvelope"] n_WittStandardStrictTailGeometry["WittStandardStrictTailGeometry"] n_WittStandardStrictTailSelection["WittStandardStrictTailSelection"] end n_AEAbsorbingExpectedOccupation --> n_AbsorbingFirstHittingOccupation n_AEAbsorbingExpectedOccupation --> n_LeadingOnesLevelChargeExpectation n_AbsorbingFirstHittingOccupation --> n_TrajectoryFirstHittingTime n_AbsorbingOccupationPrefixMonotonicity --> n_AbsorbingOccupationPrefix n_AdaptiveLeadingOnesAEFirstVisitEntry --> n_AdaptiveLeadingOnesAEScoreMonotone n_AdaptiveLeadingOnesAEFirstVisitEntry --> n_MonotoneFirstVisitSucc n_AdaptiveLeadingOnesAEScoreMonotone --> n_AdaptiveLeadingOnesMonotoneTrajectory n_AdaptiveLeadingOnesAEScoreMonotone --> n_LeadingOnesExactEntryStep n_AdaptiveLeadingOnesAbsorbingExpectation --> n_AEAbsorbingExpectedOccupation n_AdaptiveLeadingOnesAbsorbingExpectation --> n_AdaptiveLeadingOnesMonotoneTrajectory n_AdaptiveLeadingOnesBoundaryEventualCrossing --> n_AdaptiveLeadingOnesBoundaryFiniteRuntime n_AdaptiveLeadingOnesBoundaryEventualCrossing --> n_AdaptiveLeadingOnesBoundaryRuntimeToAlmostSure n_AdaptiveLeadingOnesBoundaryFiniteRuntime --> n_AdaptiveLeadingOnesBoundaryProgressPositive n_AdaptiveLeadingOnesBoundaryFiniteRuntime --> n_FinitePositiveLowerEnvelope n_AdaptiveLeadingOnesBoundaryFiniteRuntime --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesBoundaryFlipConjugacy --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesBoundaryFlipConjugacy --> n_LeadingOnesSymmetry n_AdaptiveLeadingOnesBoundaryPerturbationCost --> n_AdaptiveLeadingOnesInteriorApproxSchedule n_AdaptiveLeadingOnesBoundaryProgressPositive --> n_LeadingOnesBoundaryEventualCrossing n_AdaptiveLeadingOnesBoundaryRuntimeToAlmostSure --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesConditionalResidenceMean --> n_AdaptiveLeadingOnesResidenceGeometricSeries n_AdaptiveLeadingOnesConditionalResidenceMean --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesConstantScheduleRuntime --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesConstantScheduleRuntime --> n_LeadingOnesOccupationTotalClosure n_AdaptiveLeadingOnesCountableOccupationBridge --> n_AdaptiveLeadingOnesAbsorbingExpectation n_AdaptiveLeadingOnesCountableOccupationBridge --> n_LeadingOnesAdaptiveAbsorbingPath n_AdaptiveLeadingOnesEventualCrossingParity --> n_AdaptiveLeadingOnesFiniteCrossingParity n_AdaptiveLeadingOnesExactSkipTrajectoryParity --> n_AdaptiveLeadingOnesUniformExactCrossingCylinderBridge n_AdaptiveLeadingOnesExactUniformRuntime --> n_AdaptiveLeadingOnesTrajectoryRuntimeAssembly n_AdaptiveLeadingOnesExpectedExactLevelResidence --> n_AdaptiveLeadingOnesFirstEntryResidenceTsum n_AdaptiveLeadingOnesExpectedExactLevelResidence --> n_AdaptiveLeadingOnesUniformTrueFirstEntryMass n_AdaptiveLeadingOnesFiniteBelowEntryMarginal --> n_AdaptiveLeadingOnesFiniteOccupationRenewal n_AdaptiveLeadingOnesFiniteBelowEntryMarginal --> n_GenericFiniteCylinderMarginal n_AdaptiveLeadingOnesFiniteCrossingParity --> n_AdaptiveLeadingOnesUniformHistoryWeightFlip n_AdaptiveLeadingOnesFiniteCrossingParity --> n_LeadingOnesFirstCrossingMass n_AdaptiveLeadingOnesFiniteLevelOccupationPartition --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesFiniteLevelOccupationPartition --> n_LeadingOnesNonoptimalLevelPartition n_AdaptiveLeadingOnesFiniteNoReturnWeight --> n_AdaptiveLeadingOnesLocalRenewalKernel n_AdaptiveLeadingOnesFiniteNoReturnWeight --> n_LeadingOnesExactStayBranch n_AdaptiveLeadingOnesFiniteOccupationRenewal --> n_AdaptiveLeadingOnesFiniteNoReturnWeight n_AdaptiveLeadingOnesFiniteOccupationRenewal --> n_AdaptiveLeadingOnesFiniteStayWeightFactor n_AdaptiveLeadingOnesFiniteRenewalSolution --> n_AdaptiveLeadingOnesFiniteOccupationRenewal n_AdaptiveLeadingOnesFiniteRenewalSolution --> n_AdaptiveLeadingOnesScalarRenewalSolution n_AdaptiveLeadingOnesFiniteStayMeasure --> n_AdaptiveLeadingOnesFiniteStayWeightFactor n_AdaptiveLeadingOnesFiniteStayWeightFactor --> n_AdaptiveLeadingOnesLocalRenewalKernel n_AdaptiveLeadingOnesFiniteStayWeightFactor --> n_LeadingOnesExactStayBranch n_AdaptiveLeadingOnesFiniteTrajectoryFlip --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesFiniteTrajectoryFlip --> n_LeadingOnesFirstCrossingSymmetry n_AdaptiveLeadingOnesFirstCrossingFixedInitialAverage --> n_AdaptiveLeadingOnesFiniteCrossingParity n_AdaptiveLeadingOnesFirstCrossingFixedInitialAverage --> n_LeadingOnesFirstCrossingMeasure n_AdaptiveLeadingOnesFirstCrossingNonneg --> n_AdaptiveLeadingOnesFirstCrossingFixedInitialAverage n_AdaptiveLeadingOnesFirstCrossingNormalization --> n_AdaptiveLeadingOnesFirstCrossingFixedInitialAverage n_AdaptiveLeadingOnesFirstCrossingNormalization --> n_AdaptiveLeadingOnesFirstCrossingTotalMass n_AdaptiveLeadingOnesFirstCrossingTotalMass --> n_AdaptiveLeadingOnesEventualCrossingParity n_AdaptiveLeadingOnesFirstEntryResidenceTsum --> n_AdaptiveLeadingOnesResidenceGeometricSeries n_AdaptiveLeadingOnesFirstEntryResidenceTsum --> n_AdaptiveLeadingOnesTrueFirstEntryConvolution n_AdaptiveLeadingOnesFirstEntryResidenceTsum --> n_ExactOccupationConvolutionFactorization n_AdaptiveLeadingOnesFirstVisitAtZeroMass --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesFirstVisitExactCrossingCylinder --> n_AdaptiveLeadingOnesTrueFirstEntryConvolution n_AdaptiveLeadingOnesFirstVisitFiniteMarginalBridge --> n_AdaptiveLeadingOnesTrueFirstEntryConvolution n_AdaptiveLeadingOnesFirstVisitMassCountablePartition --> n_AdaptiveLeadingOnesTrueFirstEntryConvolution n_AdaptiveLeadingOnesFirstVisitMassEntry --> n_AdaptiveLeadingOnesAEFirstVisitEntry n_AdaptiveLeadingOnesGenuineExactLevelFiniteMarginal --> n_GenericFiniteCylinderMarginal n_AdaptiveLeadingOnesGenuineExactLevelFiniteMarginal --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesGenuineExactLevelFiniteMarginal --> n_LeadingOnesExactStayBranch n_AdaptiveLeadingOnesGenuineOneStepRenewal --> n_AdaptiveLeadingOnesGenuineExactLevelFiniteMarginal n_AdaptiveLeadingOnesGenuineOneStepRenewal --> n_FirstEntryFiniteMarginalBridge n_AdaptiveLeadingOnesHalfResidenceOptimality --> n_AdaptiveLeadingOnesWeightedResidenceOptimality n_AdaptiveLeadingOnesInteriorApproxSchedule --> n_AdaptiveLeadingOnesOptimalPositiveLevelRate n_AdaptiveLeadingOnesInteriorFiniteGapBound --> n_AdaptiveLeadingOnesInteriorFiniteResidenceGap n_AdaptiveLeadingOnesInteriorFiniteResidenceGap --> n_AdaptiveLeadingOnesBoundaryPerturbationCost n_AdaptiveLeadingOnesKernelScheduleExt --> n_AdaptiveLeadingOnesRowScheduleLocal n_AdaptiveLeadingOnesLocalRenewalKernel --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesLocalRenewalKernel --> n_LeadingOnesOccupationRenewal n_AdaptiveLeadingOnesMonotoneSupport --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesMonotoneSupport --> n_LeadingOnesTrajectoryMonotonicity n_AdaptiveLeadingOnesMonotoneTrajectory --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesMonotoneTrajectory --> n_LeadingOnesTrajectoryMonotonicity n_AdaptiveLeadingOnesNormalizedExactEntryHalf --> n_AdaptiveLeadingOnesFirstCrossingTotalMass n_AdaptiveLeadingOnesOneLevelPolicyImprovement --> n_AdaptiveLeadingOnesScheduleExitComparison n_AdaptiveLeadingOnesOptimalAggregateResidenceCost --> n_AdaptiveLeadingOnesOptimalResidenceBound n_AdaptiveLeadingOnesOptimalExitClosedForm --> n_AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible n_AdaptiveLeadingOnesOptimalLevelSurvivalDominance --> n_AdaptiveLeadingOnesLocalOptimalRate n_AdaptiveLeadingOnesOptimalLevelSurvivalDominance --> n_AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible n_AdaptiveLeadingOnesOptimalLevelSurvivalDominance --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesOptimalPositiveLevelRate --> n_AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible n_AdaptiveLeadingOnesOptimalResidenceBound --> n_AdaptiveLeadingOnesLocalOptimalRate n_AdaptiveLeadingOnesOptimalResidenceBound --> n_AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible n_AdaptiveLeadingOnesOptimalResidenceClosedForm --> n_AdaptiveLeadingOnesOptimalExitClosedForm n_AdaptiveLeadingOnesOptimalScheduleStochastic --> n_AdaptiveLeadingOnesLocallyOptimalScheduleAdmissible n_AdaptiveLeadingOnesOptimalScheduleStochastic --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesOptimalSurvivalClosedForm --> n_AdaptiveLeadingOnesOptimalExitClosedForm n_AdaptiveLeadingOnesOptimalSurvivalClosedForm --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesPositiveLevelExit --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesRateInvariantVisitMass --> n_AdaptiveLeadingOnesUniformVisitProbability n_AdaptiveLeadingOnesRenewalConvolution --> n_AdaptiveLeadingOnesScalarRenewalSolution n_AdaptiveLeadingOnesRenewalNonnegative --> n_AdaptiveLeadingOnesScalarRenewalSolution n_AdaptiveLeadingOnesResidenceGeometricSeries --> n_LeadingOnesOccupationTotalClosure n_AdaptiveLeadingOnesRowScheduleLocal --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesRuntimeScheduleExt --> n_AdaptiveLeadingOnesRowScheduleLocal n_AdaptiveLeadingOnesScheduleExitComparison --> n_AdaptiveLeadingOnesUniformFullRuntime n_AdaptiveLeadingOnesSurvivalScheduleLocal --> n_LeadingOnesAdaptiveKernelCandidate n_AdaptiveLeadingOnesTrajectoryRuntimeAssembly --> n_AdaptiveLeadingOnesUniformFullRuntime n_AdaptiveLeadingOnesTrueFirstEntryConvolution --> n_AdaptiveLeadingOnesFirstVisitAtZeroMass n_AdaptiveLeadingOnesTrueFirstEntryConvolution --> n_AdaptiveLeadingOnesGenuineOneStepRenewal n_AdaptiveLeadingOnesUniformBoundaryProgress --> n_AdaptiveLeadingOnesBoundaryProgressPositive n_AdaptiveLeadingOnesUniformBoundaryProgress --> n_FinitePositiveLowerEnvelope n_AdaptiveLeadingOnesUniformEverVisitHalf --> n_AdaptiveLeadingOnesUniformEverVisitMass n_AdaptiveLeadingOnesUniformEverVisitHalf --> n_AdaptiveLeadingOnesUniformVisitProbability n_AdaptiveLeadingOnesUniformEverVisitMass --> n_AdaptiveLeadingOnesFirstVisitMassCountablePartition n_AdaptiveLeadingOnesUniformEverVisitMass --> n_AdaptiveLeadingOnesUniformTrueFirstEntryMass n_AdaptiveLeadingOnesUniformExactCrossingCylinderBridge --> n_AdaptiveLeadingOnesFiniteCrossingParity n_AdaptiveLeadingOnesUniformExactCrossingCylinderBridge --> n_GenericFiniteCylinderMarginal n_AdaptiveLeadingOnesUniformExactCrossingCylinderBridge --> n_LeadingOnesExactStayBranch n_AdaptiveLeadingOnesUniformExpectedOccupationHalf --> n_AdaptiveLeadingOnesExpectedExactLevelResidence n_AdaptiveLeadingOnesUniformExpectedOccupationHalf --> n_AdaptiveLeadingOnesUniformVisitProbability n_AdaptiveLeadingOnesUniformFiniteTimeLevelPartition --> n_AdaptiveLeadingOnesFiniteLevelOccupationPartition n_AdaptiveLeadingOnesUniformFullRuntime --> n_AdaptiveLeadingOnesUniformExpectedOccupationHalf n_AdaptiveLeadingOnesUniformFullRuntime --> n_AdaptiveLeadingOnesUniformOccupationLift n_AdaptiveLeadingOnesUniformFullRuntime --> n_LeadingOnesCountableLevelOccupationAssembly n_AdaptiveLeadingOnesUniformHistoryWeightFlip --> n_AdaptiveLeadingOnesFiniteTrajectoryFlip n_AdaptiveLeadingOnesUniformOccupationLift --> n_AdaptiveLeadingOnesCountableOccupationBridge n_AdaptiveLeadingOnesUniformRuntimeExitInvariance --> n_AdaptiveLeadingOnesUniformFullRuntime n_AdaptiveLeadingOnesUniformSkipProbability --> n_AdaptiveLeadingOnesUniformVisitProbability n_AdaptiveLeadingOnesUniformTrueFirstEntryMass --> n_AdaptiveLeadingOnesEventualCrossingParity n_AdaptiveLeadingOnesUniformTrueFirstEntryMass --> n_AdaptiveLeadingOnesFirstVisitExactCrossingCylinder n_AdaptiveLeadingOnesUniformTrueFirstEntryMass --> n_AdaptiveLeadingOnesUniformExactCrossingCylinderBridge n_AdaptiveLeadingOnesUniformVisitProbability --> n_AdaptiveLeadingOnesFirstCrossingNormalization n_AdaptiveLeadingOnesUniformVisitProbability --> n_AdaptiveLeadingOnesNormalizedExactEntryHalf n_AdaptiveLeadingOnesUniformVisitRateInvariance --> n_AdaptiveLeadingOnesUniformEverVisitHalf n_AdaptiveLeadingOnesWeightedResidenceOptimality --> n_AdaptiveLeadingOnesOptimalResidenceBound n_AdaptiveLevelSupport --> n_MultiLevelCoupledTrajectory n_AdaptiveWeightedCountableLevelOccupation --> n_AdaptiveWeightedFiniteTimeLevelPartition n_AdaptiveWeightedCountableLevelOccupation --> n_ENNRealTimeLevelTsumInterchange n_AdaptiveWeightedFiniteTimeLevelPartition --> n_AdaptiveLeadingOnesFiniteLevelOccupationPartition n_AdaptiveWeightedNonoptimalOccupation --> n_AdaptiveLeadingOnesCountableOccupationBridge n_AdditiveDrift --> n_UnrestrictedRuntime n_BellmanFiniteExactRuntime --> n_FiniteRuntimeSurvivalSupport n_BellmanGeometricExactRuntime --> n_LevelExitTail n_BellmanGeometricExactRuntime --> n_UnrestrictedRuntime n_BernoulliWaitingExtraction --> n_GeometricRuntime n_BernoulliWaitingExtraction --> n_MultiLevelCoupledTrajectory n_BinomialHarmonicAverageClosedForm --> n_FitnessLevel n_BinomialHarmonicAverageIncrementBound --> n_BinomialHarmonicAverageStrictIncrease n_BinomialHarmonicAverageOneStep --> n_BinomialHarmonicAverageClosedForm n_BinomialHarmonicAverageStrictIncrease --> n_BinomialHarmonicAverageOneStep n_BinomialHarmonicLogTwoFiniteError --> n_BinomialHarmonicAverageClosedForm n_BinomialHarmonicLogTwoFiniteError --> n_LogTwoHarmonicCorrectionFiniteSandwich n_BinomialHarmonicScaledRuntimeOneStep --> n_BinomialHarmonicAverageOneStep n_BoundedCoupledExactLevelEntryMass --> n_BoundedExactLevelEntryMass n_BoundedCoupledExactLevelEntryMass --> n_MultiLevelCoupledTrajectory n_BoundedCoupledExactLevelFirstEntrySlices --> n_BoundedCoupledExactLevelEntryMass n_BoundedExactLevelEntryMass --> n_FiniteTrajectory n_BoundedFirstEntryPrefixBridge --> n_BoundedCoupledExactLevelFirstEntrySlices n_BoundedFirstEntryPrefixBridge --> n_RandomEntryGeometricPattern n_BoundedFirstEntryProjectiveMass --> n_TerminalFirstEntryComplementMass n_ConstantExitRuntime --> n_LeadingOnesResidence n_CountableRestrictedEntryGeometricPeeling --> n_CountableRestrictedFirstEntryWeightedHistory n_CountableRestrictedEntryGeometricPeeling --> n_ExactLevelGeometricBranchAssembly n_CountableRestrictedFirstEntryWeightedHistory --> n_RestrictedFirstEntryWeightedHistoryBridge n_CouplingDomination --> n_FiniteSumDomination n_CouponAllFinitePolynomialSurvival --> n_RandomStakeCouponWeightedSurvivalTransfer n_CouponArbitraryMomentDecrementTransfer --> n_CouponWeightedSurvivalIncrementTransfer n_CouponArbitraryPositiveMomentFiniteMass --> n_CouponArbitraryPositiveMomentPathwise n_CouponArbitraryPowerMomentSurvivalTransfer --> n_RandomStakeCouponWeightedSurvivalTransfer n_CouponDiscountedHittingCDFTransfer --> n_RandomStakeCouponWeightedHittingTransfer n_CouponDiscountedSurvivalDecrementTransfer --> n_CouponWeightedSurvivalIncrementTransfer n_CouponDiscountedSurvivalTransfer --> n_RandomStakeCouponWeightedSurvivalTransfer n_CouponFiniteMassTruncatedSecondMoment --> n_CouponPathwiseTruncatedSquareIndicators n_CouponFiniteMassTruncatedThirdMoment --> n_CouponTruncatedCubeSurvivalIndicators n_CouponInfiniteWeightedHittingCDF --> n_RandomStakeCouponArbitraryTargetHittingProbability n_CouponInfiniteWeightedSurvival --> n_RandomStakeCouponArbitraryTargetFiniteHorizon n_CouponPathwiseTruncatedSquareIndicators --> n_CouponTruncatedSquareOddSum n_CouponPowerWeightedHittingCDFTransfer --> n_RandomStakeCouponWeightedHittingTransfer n_CouponTruncatedSurvivalSecondCentralFunctional --> n_RandomStakeCouponWeightedSurvivalTransfer n_CouponWeightedHitQuadraticTransfer --> n_RandomStakeCouponWeightedHittingTransfer n_CouponWeightedSurvivalIncrementTransfer --> n_RandomStakeCouponArbitraryTargetFiniteHorizon n_DirectGeometricStochasticDominationClosed --> n_DirectGeometricTailDominationClosed n_DirectGeometricStochasticDominationClosed --> n_NatTailToStochasticDomination n_DirectGeometricTailDomination --> n_GeometricCouplingDominationEndpoint n_DirectGeometricTailDomination --> n_PotentialRuntimeTailRecursion n_DirectGeometricTailDominationClosed --> n_GeometricSumTailIdentification n_DiscreteFirstVisitUnique --> n_FirstVisitFiniteMinimality n_DoerrDoerrMonotoneUniformMean --> n_BinomialHarmonicAverageClosedForm n_DoerrDoerrMonotoneUniformMean --> n_RLSRandomStart n_DoerrDoerrMonotoneUniformMean --> n_StrictMonotoneRLS n_Drift --> n_Transition n_EAGenericTargetRuntimeNoFlipLower --> n_ConstantExitRuntime n_EAGenericTargetRuntimeNoFlipLower --> n_GenericEAAnyTargetPower n_EAWeightedGenericRuntimeNoFlipLower --> n_EAGenericTargetRuntimeNoFlipLower n_EventLevelFailureCountLocalization --> n_OneLevelGeometricCouplingInterface n_EventLevelFailureCountLocalization --> n_RestrictedFirstEntryTimeDecomposition n_EventualExactLevelEntry --> n_TerminalFirstEntryComplementMass n_ExactLevelGeometricBranchAssembly --> n_BernoulliWaitingExtraction n_ExactLevelGeometricBranchAssembly --> n_EventualExactLevelEntry n_ExactOccupationConvolutionFactorization --> n_NonnegativeDiscreteGeometricConvolution n_ExitBernoulliSplit --> n_Transition n_ExpectedRuntimeCorollaries --> n_LinearRuntime n_ExpectedRuntimeCorollaries --> n_TrajectoryFirstHittingTime n_FiniteCoupledPrefixRepresentation --> n_BoundedFirstEntryPrefixBridge n_FiniteCoupledTrajectory --> n_ExitBernoulliSplit n_FiniteCoupledTrajectory --> n_FiniteTrajectory n_FiniteENNRealCostEqualityRigidity --> n_FiniteCostSumEqualityRigidity n_FiniteMarginalBridge --> n_FiniteTrajectoryConsistency n_FiniteMarginalBridge --> n_TransitionKernelMarginals n_FiniteMarginalDynamics --> n_TransitionKernelMarginals n_FiniteMarginalIdentification --> n_FiniteMarginalBridge n_FiniteMarginalIdentification --> n_PrefixMarginalDynamics n_FiniteRuntimeSurvivalSupport --> n_LevelExitTail n_FiniteRuntimeSurvivalSupport --> n_UnrestrictedRuntime n_FiniteRuntimeSurvivalVanishes --> n_FiniteRuntimeSurvivalSupport n_FiniteSumDomination --> n_GeometricSum n_FiniteTrajectory --> n_HittingTime n_FiniteTrajectoryConsistency --> n_FiniteTrajectory n_FirstEntryFiniteMarginalBridge --> n_AdaptiveLeadingOnesFiniteBelowEntryMarginal n_FirstEntryFiniteMarginalBridge --> n_AdaptiveLeadingOnesFirstVisitMassEntry n_FirstEntryHistoryMixture --> n_RandomEntryGeometricPattern n_FirstVisitSetsDisjoint --> n_LeadingOnes n_FirstVisitSetsDisjoint --> n_TrajectoryFirstHittingTime n_FirstZeroHazard --> n_LeadingOnesResidence n_FirstZeroHazard --> n_StaticUnaryUnbiasedLowestMaskBinVal n_FirstZeroHazard --> n_StaticUnaryUnbiasedMomentFamilies n_FitnessLevel --> n_HittingTime n_FullSupportUniversal --> n_FitnessLevel n_FullSupportUniversal --> n_StaticUnaryUnbiasedMutation n_FullSupportUniversal --> n_UnrestrictedRuntime n_GenericCountableGeometricSurvival --> n_GenericSelfLoopSurvivalPower n_GenericDriftLowerFiniteHorizonResearch --> n_HittingTime n_GenericEAAnyTargetPower --> n_GenericEASelfLoopFromEmptyMask n_GenericEAAnyTargetPower --> n_GenericSelfLoopSurvivalPower n_GenericEAGeometricTargetSurvival --> n_GenericEASelfLoopFromEmptyMask n_GenericEAGeometricTargetSurvival --> n_LevelExitTail n_GenericEASelfLoopFromEmptyMask --> n_OneMaxEANoFlipMaskWeight n_GenericEATargetOneStepNoFlip --> n_GenericEASelfLoopFromEmptyMask n_GenericEATargetOneStepNoFlip --> n_LevelExitTail n_GenericFiniteCylinderMarginal --> n_FiniteMarginalIdentification n_GenericFixedTargetAdditiveDriftLower --> n_GenericStoppedResidualSurvivalEnvelope n_GenericMarkovFirstEntryOneStepMass --> n_GenericFiniteCylinderMarginal n_GenericRuntimeSelfLoopLower --> n_ConstantExitRuntime n_GenericRuntimeSelfLoopLower --> n_GenericCountableGeometricSurvival n_GenericSelfLoopSurvivalPower --> n_LevelExitTail n_GenericStoppedResidualSurvivalEnvelope --> n_BellmanGeometricExactRuntime n_GenericStoppedResidualSurvivalEnvelope --> n_GenericDriftLowerFiniteHorizonResearch n_GenericTargetRuntimeAntitonicity --> n_UnrestrictedRuntime n_GenericWeightedFiniteSurvivalLowerBound --> n_GenericSelfLoopSurvivalPower n_GenericWeightedInitialRuntimeLower --> n_GenericRuntimeSelfLoopLower n_GeometricCouplingDominationEndpoint --> n_CouplingDomination n_GeometricCouplingDominationEndpoint --> n_OneLevelGeometricCouplingInterface n_GeometricFailureCouplingReduction --> n_GeometricCouplingDominationEndpoint n_GeometricFailureMemoryless --> n_GeometricRuntime n_GeometricFailureProductSplit --> n_GeometricFailureCouplingReduction n_GeometricFailureProductTailRecursion --> n_GeometricFailureMemoryless n_GeometricFailureProductTailRecursion --> n_GeometricFailureProductSplit n_GeometricPrefixTailCongruence --> n_GeometricPrefixTailRecursion n_GeometricRuntime --> n_StochasticDomination n_GeometricSum --> n_GeometricTail n_GeometricSumTailIdentification --> n_DirectGeometricTailDomination n_GeometricSumTailIdentification --> n_GeometricPrefixTailCongruence n_GeometricSumTailIdentification --> n_GeometricSumTailRecursion n_GeometricSumTailRecursion --> n_GeometricFailureProductTailRecursion n_GeometricTail --> n_GeometricRuntime n_HarmonicLogLower --> n_FitnessLevel n_HarmonicPredecessor --> n_RLSOneBitExpectationSupport n_HistoryDependentWaiting --> n_AdaptiveLevelSupport n_HistoryDependentWaiting --> n_LevelResidence n_HittingTime --> n_Drift n_IndependentBitCoordinateFlipMarginalResearch --> n_LeadingOnesExit n_IndependentBitCoordinateFlipMarginalResearch --> n_StaticUnaryUnbiasedFlipMarginals n_IndependentBitExpectedMutationRadius --> n_IndependentBitCoordinateFlipMarginalResearch n_InfiniteAdaptiveCoupledMarginals --> n_FiniteCoupledPrefixRepresentation n_InfiniteAdaptiveCoupledMarginals --> n_HistoryDependentWaiting n_InfiniteAdaptiveCoupledMarginals --> n_InfiniteAdaptiveCoupledTrajectory n_InfiniteAdaptiveCoupledTrajectory --> n_FiniteMarginalIdentification n_InfiniteAdaptiveCoupledTrajectory --> n_MultiLevelCoupledTrajectory n_JumpPlateauEscape --> n_ConstantExitRuntime n_JumpPlateauEscape --> n_MultiplicativeDriftTail n_JumpPlateauEscape --> n_StaticUnaryUnbiasedMutation n_LeadingOnes --> n_Transition n_LeadingOnesAdaptiveAbsorbingPath --> n_LeadingOnes n_LeadingOnesAdaptiveKernelCandidate --> n_LeadingOnesResidence n_LeadingOnesBoundaryENNRealReciprocalBridge --> n_LeadingOnesVisitProbability n_LeadingOnesBoundaryEventualCrossing --> n_LeadingOnesExit n_LeadingOnesBoundaryEventualCrossing --> n_OneMax n_LeadingOnesBoundaryEventualCrossing --> n_TrajectoryFirstHittingTime n_LeadingOnesBoundaryGlobalInfimum --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesBoundaryInfimumBridge --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesBoundaryRuntimeInfimum --> n_LeadingOnesReferenceExitCostBoundaryTendsto n_LeadingOnesCountableLevelOccupationAssembly --> n_AdaptiveLeadingOnesUniformFiniteTimeLevelPartition n_LeadingOnesCountableLevelOccupationAssembly --> n_ENNRealTimeLevelTsumInterchange n_LeadingOnesCrossBaseGlobalDominance --> n_LeadingOnesBoundaryGlobalInfimum n_LeadingOnesExactEntryAveraging --> n_LeadingOnesVisitProbability n_LeadingOnesExactEntryStep --> n_LeadingOnesOccupationRenewal n_LeadingOnesExactRuntimeClosure --> n_LeadingOnesLevelChargeExpectation n_LeadingOnesExactStayBranch --> n_LeadingOnesOccupationRecurrenceAssembly n_LeadingOnesExit --> n_LeadingOnes n_LeadingOnesExpectedRuntimeAssembly --> n_LeadingOnesResidenceMean n_LeadingOnesExpectedRuntimeAssembly --> n_LeadingOnesVisitProbability n_LeadingOnesFirstCrossingAggregate --> n_LeadingOnesFirstCrossingMass n_LeadingOnesFirstCrossingMass --> n_LeadingOnesFirstCrossingSymmetry n_LeadingOnesFirstCrossingMeasure --> n_LeadingOnesBoundaryEventualCrossing n_LeadingOnesFirstCrossingMeasure --> n_LeadingOnesFirstCrossingSymmetry n_LeadingOnesFirstCrossingSymmetry --> n_FiniteTrajectory n_LeadingOnesFirstCrossingSymmetry --> n_LeadingOnesSymmetry n_LeadingOnesFirstVisitBelowEquivalence --> n_LeadingOnes n_LeadingOnesFirstVisitBelowEquivalence --> n_MonotoneFirstVisitSucc n_LeadingOnesFirstVisitBelowEquivalence --> n_TrajectoryFirstHittingTime n_LeadingOnesFixedTargetCandidate --> n_LeadingOnesOccupationTotalClosure n_LeadingOnesFixedTargetConvexity --> n_LeadingOnesFixedTargetIncrement n_LeadingOnesFixedTargetCurvatureFormula --> n_LeadingOnesFixedTargetIncrement n_LeadingOnesFixedTargetCurvaturePositive --> n_LeadingOnesFixedTargetCurvatureFormula n_LeadingOnesFixedTargetCurvatureRatio --> n_LeadingOnesFixedTargetCurvatureFormula n_LeadingOnesFixedTargetDimensionInvariance --> n_LeadingOnesFixedTargetCandidate n_LeadingOnesFixedTargetFirstLevelLowerBound --> n_LeadingOnesFixedTargetMeanMonotone n_LeadingOnesFixedTargetFirstLevelLowerBound --> n_LeadingOnesFixedTargetOneMean n_LeadingOnesFixedTargetHalfIncrementBound --> n_LeadingOnesFixedTargetIncrement n_LeadingOnesFixedTargetIncrement --> n_LeadingOnesFixedTargetCandidate n_LeadingOnesFixedTargetLinearLowerBound --> n_LeadingOnesFixedTargetHalfIncrementBound n_LeadingOnesFixedTargetMarginalRatio --> n_LeadingOnesFixedTargetIncrement n_LeadingOnesFixedTargetMeanMonotone --> n_LeadingOnesFixedTargetCandidate n_LeadingOnesFixedTargetOneMean --> n_LeadingOnesFixedTargetCandidate n_LeadingOnesFixedTargetStrictConvexity --> n_LeadingOnesFixedTargetIncrement n_LeadingOnesFixedTargetStrictIncrement --> n_LeadingOnesFixedTargetIncrement n_LeadingOnesLevelChargeExpectation --> n_LeadingOnesLevelIndexBridge n_LeadingOnesLevelChargeOccupation --> n_LeadingOnesExactEntryAveraging n_LeadingOnesLevelChargeOccupation --> n_LeadingOnesExactRuntimeClosure n_LeadingOnesLevelIndexBridge --> n_LeadingOnesTrajectoryMonotonicity n_LeadingOnesNonoptimalLevelPartition --> n_LeadingOnesAdaptiveAbsorbingPath n_LeadingOnesOccupationRecurrenceAssembly --> n_LeadingOnesExactEntryStep n_LeadingOnesOccupationRenewal --> n_LeadingOnesLevelChargeOccupation n_LeadingOnesOccupationTotalClosure --> n_LeadingOnesExactStayBranch n_LeadingOnesOptimalAdaptiveSchedule --> n_AdaptiveLeadingOnesOptimalPositiveLevelRate n_LeadingOnesOptimalAdaptiveSchedule --> n_AdaptiveLeadingOnesScheduleExitComparison n_LeadingOnesOptimalAdaptiveSchedule --> n_LeadingOnesPerLevelExitOptimality n_LeadingOnesOptimalRate --> n_LeadingOnesResidenceMean n_LeadingOnesOptimalRate --> n_LeadingOnesStationaryRootExists n_LeadingOnesOptimalRate --> n_MutationRateAsymptotics n_LeadingOnesPerLevelExitOptimality --> n_AdaptiveLeadingOnesLocalOptimalRate n_LeadingOnesReferenceBoundaryShiftTendsto --> n_LeadingOnesReferenceZeroBoundaryRealLimit n_LeadingOnesReferenceExitCostBoundaryTendsto --> n_LeadingOnesBoundaryENNRealReciprocalBridge n_LeadingOnesReferenceExitCostBoundaryTendsto --> n_LeadingOnesReferenceExitCostDecomposition n_LeadingOnesReferenceExitCostDecomposition --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesReferencePositiveRateIndependentBase --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesReferenceZeroExitStrict --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesResidence --> n_LeadingOnesBoundaryEventualCrossing n_LeadingOnesResidence --> n_LevelExitTail n_LeadingOnesResidenceMean --> n_LeadingOnesResidence n_LeadingOnesRuntimeChargeDecomposition --> n_LeadingOnesExpectedRuntimeAssembly n_LeadingOnesRuntimeChargeDecomposition --> n_LevelCharges n_LeadingOnesScaledRate --> n_LeadingOnesOccupationTotalClosure n_LeadingOnesScaledRate --> n_MutationRateRegime n_LeadingOnesStandardRate --> n_LeadingOnesOccupationTotalClosure n_LeadingOnesStandardRateClosedForm --> n_LeadingOnesStandardRate n_LeadingOnesStrictLevelExitOptimality --> n_AdaptiveLeadingOnesUniquePositiveLevelOptimizer n_LeadingOnesStrictLevelExitOptimality --> n_LeadingOnesPerLevelExitOptimality n_LeadingOnesStrictPositivePolicyOptimality --> n_AdaptiveLeadingOnesUniquePositiveLevelOptimizer n_LeadingOnesStrictPositivePolicyOptimality --> n_FiniteENNRealCostEqualityRigidity n_LeadingOnesStrictPositivePolicyOptimality --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesSymmetry --> n_LeadingOnesExit n_LeadingOnesTrajectoryMonotonicity --> n_EventLevelFailureCountLocalization n_LeadingOnesTrajectoryMonotonicity --> n_LeadingOnesRuntimeChargeDecomposition n_LeadingOnesUniqueOptimalPolicyConditional --> n_AdaptiveLeadingOnesUniquePositiveLevelOptimizer n_LeadingOnesUniqueOptimalPolicyConditional --> n_LeadingOnesOptimalAdaptiveSchedule n_LeadingOnesUniqueStationaryRoot --> n_LeadingOnesStationaryAntitone n_LeadingOnesUniqueStationaryRoot --> n_LeadingOnesStationaryRootExists n_LeadingOnesVisitProbability --> n_LeadingOnesFirstCrossingAggregate n_LeadingOnesVisitProbability --> n_LeadingOnesFirstCrossingMeasure n_LevelChargeExactResidence --> n_LevelChargeWaitingBridge n_LevelChargeWaitingBridge --> n_InfiniteAdaptiveCoupledMarginals n_LevelCharges --> n_FiniteSumDomination n_LevelCharges --> n_FitnessLevel n_LevelCharges --> n_TrajectoryFirstHittingTime n_LevelExitDomination --> n_GeometricTail n_LevelExitDomination --> n_LevelExitTrajectory n_LevelExitTail --> n_GeometricRuntime n_LevelExitTail --> n_Transition n_LevelExitTrajectory --> n_LevelExitTail n_LevelExitTrajectory --> n_TrajectoryFirstHittingTime n_LevelResidence --> n_LevelCharges n_LinearObjectiveRuntime --> n_LinearPotential n_LinearObjectiveRuntime --> n_MultiplicativeDrift n_LinearPotential --> n_Objective n_LinearPotential --> n_Transition n_LinearRuntime --> n_LinearObjectiveRuntime n_LinearRuntime --> n_OneMax n_LogTwoHarmonicCorrectionFiniteSandwich --> n_RLSUniformInitialCorrectionCauchy n_MonotonePathFirstVisitResidenceInterval --> n_FirstVisitFiniteMinimality n_MultiLevelCoupledTrajectory --> n_FiniteCoupledTrajectory n_MultiplicativeDrift --> n_AdditiveDrift n_MultiplicativeDriftTail --> n_LevelExitTrajectory n_MultiplicativeDriftTail --> n_MultiplicativeDrift n_Mutation --> n_BitString n_MutationRateAsymptotics --> n_AsymptoticRegime n_MutationRateAsymptotics --> n_MutationRateRegime n_MutationRateRegime --> n_Mutation n_NatTailToStochasticDomination --> n_GeometricFailureCouplingReduction n_NonnegativeDiscreteGeometricConvolution --> n_AdaptiveOccupationConvolution n_Objective --> n_BitString n_OneLevelGeometricCouplingInterface --> n_ExactLevelGeometricBranchAssembly n_OneLevelGeometricCouplingInterface --> n_LevelChargeWaitingBridge n_OneMax --> n_FitnessLevel n_OneMax --> n_MultiplicativeDrift n_OneMax --> n_Objective n_OneMaxClippedPotentialMaskLipschitz --> n_OneMax n_OneMaxEAAdmissibleTargetRuntimeMonotonicity --> n_GenericTargetRuntimeAntitonicity n_OneMaxEAAdmissibleTargetRuntimeMonotonicity --> n_OneMax n_OneMaxEABoundedExpectedProgress --> n_IndependentBitCoordinateFlipMarginalResearch n_OneMaxEABoundedExpectedProgress --> n_OneMaxEAMutationMaskZeroBoundResearch n_OneMaxEABoundedExpectedProgress --> n_StaticUnaryUnbiasedLinearDrift n_OneMaxEABoundedExpectedProgress --> n_StaticUnaryZeroFlipExpectationDoubleCount n_OneMaxEAFixedTargetFiniteHorizon --> n_OneMaxEAAdmissibleTargetRuntimeMonotonicity n_OneMaxEAGeometricTargetSurvival --> n_GenericEASelfLoopFromEmptyMask n_OneMaxEAGeometricTargetSurvival --> n_LevelExitTail n_OneMaxEAGeometricTargetSurvival --> n_OneMaxEAAdmissibleTargetRuntimeMonotonicity n_OneMaxEAIndependentBitMeanRadiusRuntimeLower --> n_IndependentBitExpectedMutationRadius n_OneMaxEAIndependentBitMeanRadiusRuntimeLower --> n_UnaryOneMaxMeanRadiusRuntimeLower n_OneMaxEAMutationMaskZeroBoundResearch --> n_OneMax n_OneMaxEANoFlipMaskWeight --> n_Transition n_OneMaxEAOneStepTargetSurvivalLowerBound --> n_LevelExitTail n_OneMaxEAOneStepTargetSurvivalLowerBound --> n_OneMaxEAAdmissibleTargetRuntimeMonotonicity n_OneMaxEAThresholdAdmissibleCorrection --> n_OneMaxEAAdmissibleTargetRuntimeMonotonicity n_OneMaxEAThresholdRuntimeLower --> n_IndependentBitExpectedMutationRadius n_OneMaxEAThresholdRuntimeLower --> n_StaticUnaryUnbiasedExplicitRuntime n_OneMaxEAThresholdRuntimeLower --> n_UnaryOneMaxThresholdRuntimeLower n_OneMaxEAWeightedFiniteHorizonTarget --> n_OneMaxEAFixedTargetFiniteHorizon n_OneMaxEAWeightedTargetRuntime --> n_OneMaxEAAdmissibleTargetRuntimeMonotonicity n_OneMaxEAZeroDriftRuntimeLower --> n_GenericFixedTargetAdditiveDriftLower n_OneMaxEAZeroDriftRuntimeLower --> n_OneMaxEABoundedExpectedProgress n_OneMaxRLSHarmonicStep --> n_RLSOneBitExpectationSupport n_OneMaxUnaryHarmonic --> n_OneMax n_OneMaxUnaryHarmonic --> n_StaticUnaryUnbiasedMutation n_OneMaxUnaryStochasticDomination --> n_DirectGeometricStochasticDominationClosed n_OneMaxUnaryStochasticDomination --> n_LeadingOnesResidence n_OneMaxUnaryStochasticDomination --> n_MultiplicativeDriftTail n_OneMaxUnaryStochasticDomination --> n_StaticUnaryUnbiasedMutation n_PotentialRuntimeTailRecursion --> n_EventLevelFailureCountLocalization n_PotentialRuntimeTailRecursion --> n_GeometricPrefixTailRecursion n_PotentialRuntimeTailRecursion --> n_LevelExitTrajectory n_PreEntryConditionalFreshness --> n_PreEntryPrefixFactorization n_PreEntryCoordinateFreshness --> n_LevelResidence n_PreEntryCoordinateFreshness --> n_MultiLevelCoupledTrajectory n_PreEntryCoordinateMarginalization --> n_PreEntryConditionalFreshness n_PreEntryPrefixFactorization --> n_PreEntryCoordinateFreshness n_PrefixMarginalDynamics --> n_FiniteMarginalDynamics n_RLS2016LeadingOnesInitialization --> n_LeadingOnes n_RLS2016LeadingOnesInitialization --> n_TrajectoryFirstHittingTime n_RLSAllDimensionEventualNegativeCorrection --> n_RLSAllDimensionPaperSharpCentered n_RLSAllDimensionPaperCenteredExact --> n_DoerrDoerrMonotoneUniformMean n_RLSAllDimensionPaperSharpCentered --> n_RLSOddParityPaperCentered n_RLSAllDimensionPaperSharpCentered --> n_StrictMonotoneRLSEvenSharpCentered n_RLSAllDimensionSharpEpsilonBound --> n_RLSAllDimensionPaperSharpCentered n_RLSCountableHittingMassCosts --> n_RLSFixedTargetHittingMassInvariance n_RLSCountableJointThresholdCosts --> n_RLSJointThresholdHittingMassCosts n_RLSCountableThresholdSurvivalInvariance --> n_RLSWeightedInfiniteSurvivalFunctional n_RLSCouponExactUniformMean --> n_DoerrDoerrMonotoneUniformMean n_RLSCouponExactUniformMean --> n_RLSCouponProcessKernelCorrespondence n_RLSCouponProcessKernelCorrespondence --> n_StrictMonotoneRLS n_RLSExactLevelExitMass --> n_RLSOneBitExpectationSupport n_RLSFiniteSurvivalCouponBound --> n_LevelExitTail n_RLSFiniteSurvivalCouponBound --> n_RLSZeroCountOneStep n_RLSFixedBudget --> n_FiniteTrajectory n_RLSFixedBudget --> n_RLSOneBitExpectationSupport n_RLSFixedBudget --> n_UnaryOneMaxZeroContraction n_RLSFixedTarget --> n_BellmanGeometricExactRuntime n_RLSFixedTarget --> n_RLSOneBitSupport n_RLSFixedTargetAllInitialStates --> n_RLSFixedTargetRealBridge n_RLSFixedTargetHittingMassInvariance --> n_RLSMonotoneFixedTargetSurvivalInvariant n_RLSFixedTargetRealBridge --> n_RLSFixedTarget n_RLSFixedTargetThresholdAntitonicity --> n_RLSFixedTargetAllInitialStates n_RLSFixedTargetThresholdDifference --> n_RLSFixedTargetRealBridge n_RLSFixedTargetUniformBinomialFormula --> n_RLSFixedTargetAllInitialStates n_RLSFixedTargetUniformThresholdMonotonicity --> n_RLSFixedTargetThresholdAntitonicity n_RLSFixedTargetWeightedStartMonotonicity --> n_RLSFixedTargetThresholdAntitonicity n_RLSIndexedTargetSurvivalInvariance --> n_RLSWeightedInfiniteSurvivalFunctional n_RLSInfiniteSurvivalFunctionalInvariance --> n_RLSMonotoneFixedTargetSurvivalInvariant n_RLSJointThresholdHittingMassCosts --> n_RLSWeightedCountableHittingMass n_RLSLinearExact --> n_BellmanGeometricExactRuntime n_RLSLinearExact --> n_RLSFiniteSurvivalCouponBound n_RLSLinearExact --> n_RLSOneBitSupport n_RLSMonotoneFixedTargetSurvivalInvariant --> n_RLSFixedTarget n_RLSMonotoneFixedTargetSurvivalInvariant --> n_StrictMonotoneRLS n_RLSMonotoneObjectiveInvariance --> n_DoerrDoerrMonotoneUniformMean n_RLSMonotonePointwiseObjectiveInvariance --> n_StrictMonotoneRLS n_RLSMonotoneUniformFixedTargetBinomial --> n_RLSFixedTargetUniformBinomialFormula n_RLSMonotoneUniformFixedTargetBinomial --> n_StrictMonotoneRLS n_RLSMonotoneWeightedSurvivalInvariance --> n_RLSMonotoneFixedTargetSurvivalInvariant n_RLSMonotonicityPaperPredicateEquivalence --> n_StrictMonotoneRLSKernelSupport n_RLSMultiThresholdInfiniteSurvival --> n_RLSWeightedInfiniteSurvivalFunctional n_RLSOddParityPaperCentered --> n_StrictMonotoneRLSOddSharpCentered n_RLSOneBitExpectationSupport --> n_OneMax n_RLSOneBitExpectationSupport --> n_StaticUnaryUnbiasedMomentFamilies n_RLSOneBitSupport --> n_OneMax n_RLSOneBitSupport --> n_StaticUnaryUnbiasedMomentFamilies n_RLSPaperCouponUniformMean --> n_RLSAllDimensionPaperSharpCentered n_RLSPaperCouponUniformMean --> n_RLSCouponProcessKernelCorrespondence n_RLSPaperHarmonicStrongComparison --> n_RLSAllDimensionPaperSharpCentered n_RLSPositiveLinearCouponTail --> n_RLSFiniteSurvivalCouponBound n_RLSPositiveLinearCouponTail --> n_RLSOneBitSupport n_RLSRandomStart --> n_FitnessLevel n_RLSStrictMonotoneFixedTargetExact --> n_RLSFixedTargetAllInitialStates n_RLSStrictMonotoneFixedTargetExact --> n_StrictMonotoneRLS n_RLSUniformFirstOrderRuntimeLaw --> n_RLSUniformInitialFirstOrderFiniteSandwich n_RLSUniformInfiniteSurvivalFunctional --> n_RLSInfiniteSurvivalFunctionalInvariance n_RLSUniformInitialCorrectionCauchy --> n_RLSUniformInitialCorrectionTail n_RLSUniformInitialCouponSurvivalCapped --> n_RLSUniformInitialCouponTail n_RLSUniformInitialCouponSurvivalInclusionExclusion --> n_LevelExitTail n_RLSUniformInitialCouponSurvivalInclusionExclusion --> n_OneMax n_RLSUniformInitialCouponSurvivalInclusionExclusion --> n_StaticUnaryUnbiasedMomentFamilies n_RLSUniformInitialCouponTail --> n_RLSPositiveLinearCouponTail n_RLSUniformInitialExact --> n_RLSLinearExact n_RLSUniformInitialExact --> n_RLSRandomStart n_RLSUniformInitialExpectedRuntimeEnvelope --> n_RLSUniformInitialExact n_RLSUniformInitialFirstOrderAsymptotic --> n_BinomialHarmonicAverageClosedForm n_RLSUniformInitialFirstOrderFiniteSandwich --> n_RLSUniformInitialLogRuntimeEnvelope n_RLSUniformInitialFirstOrderFiniteSandwich --> n_RLSUniformInitialLogRuntimeLower n_RLSUniformInitialFixedBudgetMean --> n_RLSFixedBudget n_RLSUniformInitialFixedBudgetMean --> n_UniformStartZeroCountMean n_RLSUniformInitialHarmonicSecondOrder --> n_BinomialHarmonicAverageClosedForm n_RLSUniformInitialLogRuntimeEnvelope --> n_RLSUniformInitialExpectedRuntimeEnvelope n_RLSUniformInitialLogRuntimeLower --> n_HarmonicLogLower n_RLSUniformInitialLogRuntimeLower --> n_RLSUniformInitialRefinedRuntimeEnvelope n_RLSUniformInitialNLogNAdditiveEnvelope --> n_RLSUniformInitialLogRuntimeEnvelope n_RLSUniformInitialNLogNAdditiveEnvelope --> n_RLSUniformInitialLogRuntimeLower n_RLSUniformInitialRefinedRuntimeEnvelope --> n_BinomialHarmonicAverageClosedForm n_RLSUniformInitialRefinedRuntimeEnvelope --> n_RLSUniformInitialCorrectionEnvelope n_RLSUniformInitialRefinedRuntimeEnvelope --> n_RLSUniformInitialExact n_RLSUniformInitialRuntimeFiniteCorrection --> n_BinomialHarmonicAverageClosedForm n_RLSUniformInitialRuntimeFiniteCorrection --> n_RLSUniformInitialExact n_RLSUniformInitialRuntimeLogTwoFiniteError --> n_LogTwoHarmonicCorrectionFiniteSandwich n_RLSUniformInitialRuntimeLogTwoFiniteError --> n_RLSUniformInitialRuntimeFiniteCorrection n_RLSUniformInitialRuntimeSecondOrder --> n_BinomialHarmonicAverageClosedForm n_RLSUniformInitialRuntimeSecondOrder --> n_StaticUnaryUnbiasedMomentFamilies n_RLSUniformStartEvenCenteredIdentity --> n_RLSUniformInitialRuntimeFiniteCorrection n_RLSUniformStartEvenSharpCentered --> n_RLSUniformStartEvenCenteredIdentity n_RLSUniformStartEvenSharpCentered --> n_RandomInitialStakeEvenSharpCorrection n_RLSUniformStartEvenSharpCentered --> n_RandomInitialStakeScaledBinomialCorrectionLimit n_RLSUniformStartOddCenteredIdentity --> n_RLSUniformInitialRuntimeFiniteCorrection n_RLSUniformStartOddSharpCentered --> n_RLSUniformStartOddCenteredIdentity n_RLSUniformStartOddSharpCentered --> n_RandomInitialStakeOddSharpCorrection n_RLSUniformStartOddSharpCentered --> n_RandomInitialStakeScaledBinomialCorrectionLimit n_RLSWeightedCountableHittingMass --> n_RLSCountableHittingMassCosts n_RLSWeightedFixedTargetHittingMass --> n_RLSMonotoneWeightedSurvivalInvariance n_RLSWeightedHittingGeneratingPolynomial --> n_RLSWeightedFixedTargetHittingMass n_RLSWeightedHittingLinearStatistic --> n_RLSWeightedFixedTargetHittingMass n_RLSWeightedHittingMomentInvariance --> n_RLSWeightedHittingLinearStatistic n_RLSWeightedInfiniteSurvivalFunctional --> n_RLSInfiniteSurvivalFunctionalInvariance n_RLSWeightedSurvivalCostProfile --> n_RLSMonotoneWeightedSurvivalInvariance n_RLSZeroCountOneStep --> n_RLSOneBitExpectationSupport n_RandomEntryGeometricPattern --> n_PreEntryCoordinateMarginalization n_RandomInitialStakeDyadicLogTwoLimit --> n_FitnessLevel n_RandomInitialStakeEvenHarmonicTail --> n_FitnessLevel n_RandomInitialStakeEvenSharpCorrection --> n_RandomInitialStakeSharpEvenSandwich n_RandomInitialStakeFiniteHarmonicTailEnclosure --> n_RandomInitialStakeFinitePairSandwich n_RandomInitialStakeFiniteHarmonicTailEnclosure --> n_RandomInitialStakeReciprocalTelescoping n_RandomInitialStakeFiniteHarmonicTailEnclosure --> n_RandomInitialStakeShiftedDyadicIncrement n_RandomInitialStakeFinitePairSandwich --> n_RandomInitialStakePairTailBounds n_RandomInitialStakeOddHarmonicTail --> n_FitnessLevel n_RandomInitialStakeOddScaledFiniteCorrectionBound --> n_RandomInitialStakeOddScaledTailBridge n_RandomInitialStakeOddScaledFiniteCorrectionBound --> n_RandomInitialStakeSharpEvenSandwich n_RandomInitialStakeOddScaledTailBridge --> n_FitnessLevel n_RandomInitialStakeOddSharpCorrection --> n_RandomInitialStakeEvenSharpCorrection n_RandomInitialStakeOddSharpCorrection --> n_RandomInitialStakeOddScaledTailBridge n_RandomInitialStakeScaledBinomialCorrectionLimit --> n_LogTwoHarmonicCorrectionFiniteSandwich n_RandomInitialStakeScaledEvenCorrectionBound --> n_RandomInitialStakeSharpEvenSandwich n_RandomInitialStakeSharpEvenSandwich --> n_RandomInitialStakeDyadicLogTwoLimit n_RandomInitialStakeSharpEvenSandwich --> n_RandomInitialStakeFiniteHarmonicTailEnclosure n_RandomInitialStakeShiftedDyadicIncrement --> n_FitnessLevel n_RandomStakeCouponArbitraryTargetFiniteHorizon --> n_RLSCouponProcessKernelCorrespondence n_RandomStakeCouponArbitraryTargetFiniteObjectiveInvariance --> n_RandomStakeCouponArbitraryTargetFiniteHorizon n_RandomStakeCouponArbitraryTargetFiniteRuntime --> n_RLSCouponProcessKernelCorrespondence n_RandomStakeCouponArbitraryTargetFiniteRuntimeObjectiveInvariance --> n_RandomStakeCouponArbitraryTargetFiniteRuntime n_RandomStakeCouponArbitraryTargetHittingProbability --> n_RandomStakeCouponArbitraryTargetFiniteHorizon n_RandomStakeCouponArbitraryTargetObjectiveInvariance --> n_RandomStakeCouponArbitraryTargetRuntime n_RandomStakeCouponArbitraryTargetRuntime --> n_RLSCouponProcessKernelCorrespondence n_RandomStakeCouponFinitePaperCenteredExact --> n_RLSAllDimensionPaperCenteredExact n_RandomStakeCouponFinitePaperCenteredExact --> n_RLSCouponExactUniformMean n_RandomStakeCouponSecondMomentSurvivalTransfer --> n_RandomStakeCouponWeightedSurvivalTransfer n_RandomStakeCouponSharpPaperCentered --> n_RLSAllDimensionPaperSharpCentered n_RandomStakeCouponSharpPaperCentered --> n_RLSCouponExactUniformMean n_RandomStakeCouponStatewiseObservableTransfer --> n_RLSCouponProcessKernelCorrespondence n_RandomStakeCouponStatewiseSurvivalCorrespondence --> n_RLSCouponProcessKernelCorrespondence n_RandomStakeCouponSurvivalIncrementTransfer --> n_RandomStakeCouponArbitraryTargetFiniteHorizon n_RandomStakeCouponThirdMomentSurvivalTransfer --> n_RandomStakeCouponWeightedSurvivalTransfer n_RandomStakeCouponWeightedHittingTransfer --> n_RandomStakeCouponArbitraryTargetHittingProbability n_RandomStakeCouponWeightedSurvivalTransfer --> n_RandomStakeCouponArbitraryTargetFiniteHorizon n_RestrictedFirstEntryDeletedCoordinateMass --> n_RestrictedFirstEntryFiniteCylinder n_RestrictedFirstEntryFiniteCylinder --> n_RestrictedFirstEntryTimeDecomposition n_RestrictedFirstEntryTimeDecomposition --> n_InfiniteAdaptiveCoupledMarginals n_RestrictedFirstEntryTimeDecomposition --> n_WeightedPermanentSkipIdentification n_RestrictedFirstEntryWeightedHistoryBridge --> n_RestrictedFirstEntryDeletedCoordinateMass n_StaticUnaryMeanRadiusBound --> n_StaticUnaryUnbiasedMutation n_StaticUnarySecondFactorialRadiusBound --> n_StaticUnaryUnbiasedFlipMarginals n_StaticUnarySingletonSupportMeanRadius --> n_StaticUnaryUnbiasedMutation n_StaticUnarySingletonSupportPositiveMean --> n_StaticUnarySingletonSupportMeanRadius n_StaticUnaryUnbiasedAcceptedEventBridge --> n_StaticUnaryUnbiasedPairNormalization n_StaticUnaryUnbiasedAcceptedGainAlignment --> n_StaticUnaryUnbiasedShortPivotGainRecovery n_StaticUnaryUnbiasedAcceptedRadiusTail --> n_StaticUnaryUnbiasedPivotDrift n_StaticUnaryUnbiasedAcceptedRadiusTail --> n_StaticUnaryUnbiasedRadiusTruncation n_StaticUnaryUnbiasedAcceptedTailLoss --> n_StaticUnaryUnbiasedAcceptedRadiusTail n_StaticUnaryUnbiasedAcceptedTailLoss --> n_StaticUnaryUnbiasedLinearDrift n_StaticUnaryUnbiasedCoordinateTailLoss --> n_StaticUnaryUnbiasedAcceptedTailLoss n_StaticUnaryUnbiasedCorrectedGammaTail --> n_StaticUnaryUnbiasedCorrectedPotentialEnvelope n_StaticUnaryUnbiasedCorrectedLeftGain --> n_StaticUnaryUnbiasedCorrectedPotentialEnvelope n_StaticUnaryUnbiasedCorrectedPotential --> n_LinearPotential n_StaticUnaryUnbiasedCorrectedPotential --> n_StaticUnaryUnbiasedFlipMarginals n_StaticUnaryUnbiasedCorrectedPotentialEnvelope --> n_StaticUnaryUnbiasedCorrectedPotential n_StaticUnaryUnbiasedCorrectedPotentialEnvelope --> n_StaticUnaryUnbiasedLinearLossDecomposition n_StaticUnaryUnbiasedCorrectedRuntime --> n_MultiplicativeDrift n_StaticUnaryUnbiasedCorrectedRuntime --> n_StaticUnaryUnbiasedGlobalDrift n_StaticUnaryUnbiasedEventWeightedRightLoss --> n_StaticUnaryUnbiasedCorrectedGammaTail n_StaticUnaryUnbiasedExplicitRuntime --> n_StaticUnaryUnbiasedCorrectedRuntime n_StaticUnaryUnbiasedFirstZeroFiniteRuntime --> n_StaticUnaryUnbiasedFirstZeroPathVisits n_StaticUnaryUnbiasedFirstZeroOccupationRenewal --> n_LeadingOnesOccupationRenewal n_StaticUnaryUnbiasedFirstZeroOccupationRenewal --> n_StaticUnaryUnbiasedFirstZeroResidence n_StaticUnaryUnbiasedFirstZeroPathVisits --> n_StaticUnaryUnbiasedFirstZeroWeightedVisits n_StaticUnaryUnbiasedFirstZeroResidence --> n_LeadingOnesResidence n_StaticUnaryUnbiasedFirstZeroResidence --> n_StaticUnaryUnbiasedLowestMaskBinVal n_StaticUnaryUnbiasedFirstZeroUnrestrictedRuntime --> n_StaticUnaryUnbiasedFirstZeroFiniteRuntime n_StaticUnaryUnbiasedFirstZeroWeightedVisits --> n_StaticUnaryUnbiasedFirstZeroOccupationRenewal n_StaticUnaryUnbiasedFlipMarginals --> n_StaticUnaryUnbiasedMutation n_StaticUnaryUnbiasedGlobalDrift --> n_StaticUnaryUnbiasedLinearDrift n_StaticUnaryUnbiasedGlobalDrift --> n_StaticUnaryUnbiasedPivotPartition n_StaticUnaryUnbiasedHighestMaskPivot --> n_StaticUnaryUnbiasedPivotDrift n_StaticUnaryUnbiasedLinearAcceptedEvents --> n_LinearPotential n_StaticUnaryUnbiasedLinearAcceptedEvents --> n_StaticUnaryUnbiasedAcceptedEventBridge n_StaticUnaryUnbiasedLinearDrift --> n_Drift n_StaticUnaryUnbiasedLinearDrift --> n_LinearPotential n_StaticUnaryUnbiasedLinearDrift --> n_StaticUnaryUnbiasedMutation n_StaticUnaryUnbiasedLinearLossDecomposition --> n_StaticUnaryUnbiasedLinearAcceptedEvents n_StaticUnaryUnbiasedLowestMaskBinVal --> n_StaticUnaryUnbiasedPivotDrift n_StaticUnaryUnbiasedLowestPivotTailCharge --> n_StaticUnaryUnbiasedLowestMaskBinVal n_StaticUnaryUnbiasedMomentFamilies --> n_StaticUnaryUnbiasedExplicitRuntime n_StaticUnaryUnbiasedMutation --> n_Transition n_StaticUnaryUnbiasedPairMarginals --> n_StaticUnaryUnbiasedFlipMarginals n_StaticUnaryUnbiasedPairNormalization --> n_StaticUnaryUnbiasedPairMarginals n_StaticUnaryUnbiasedPivotDrift --> n_StaticUnaryUnbiasedCorrectedLeftGain n_StaticUnaryUnbiasedPivotDrift --> n_StaticUnaryUnbiasedEventWeightedRightLoss n_StaticUnaryUnbiasedPivotPartition --> n_StaticUnaryUnbiasedPivotDrift n_StaticUnaryUnbiasedRadiusTruncation --> n_StaticUnaryUnbiasedFlipMarginals n_StaticUnaryUnbiasedResidualLossBudget --> n_StaticUnaryUnbiasedAcceptedGainAlignment n_StaticUnaryUnbiasedSharpMomentUpper --> n_StaticUnaryUnbiasedExplicitRuntime n_StaticUnaryUnbiasedShortPivotGainRecovery --> n_StaticUnaryUnbiasedShortPivotPairBudget n_StaticUnaryUnbiasedShortPivotPairBudget --> n_StaticUnaryUnbiasedShortRadiusPivot n_StaticUnaryUnbiasedShortRadiusPivot --> n_StaticUnaryUnbiasedPivotPartition n_StaticUnaryUnbiasedShortRadiusPivot --> n_StaticUnaryUnbiasedTailCoordinateMoment n_StaticUnaryUnbiasedTailCoordinateMoment --> n_StaticUnaryUnbiasedCoordinateTailLoss n_StaticUnaryZeroFlipExpectationDoubleCount --> n_StaticUnaryUnbiasedFlipMarginals n_StrictMonotoneCouponSurvival --> n_RLSOneBitSupport n_StrictMonotoneCouponSurvival --> n_RLSUniformInitialCouponSurvivalInclusionExclusion n_StrictMonotoneCouponSurvival --> n_StrictMonotoneRLS n_StrictMonotoneRLS --> n_BellmanGeometricExactRuntime n_StrictMonotoneRLS --> n_RLSFiniteSurvivalCouponBound n_StrictMonotoneRLS --> n_StrictMonotoneRLSKernelSupport n_StrictMonotoneRLSCouponTail --> n_RLSFiniteSurvivalCouponBound n_StrictMonotoneRLSCouponTail --> n_StrictMonotoneRLSKernelSupport n_StrictMonotoneRLSEvenSharpCentered --> n_DoerrDoerrMonotoneUniformMean n_StrictMonotoneRLSEvenSharpCentered --> n_RLSUniformStartEvenSharpCentered n_StrictMonotoneRLSKernelSupport --> n_OneMax n_StrictMonotoneRLSKernelSupport --> n_StaticUnaryUnbiasedMomentFamilies n_StrictMonotoneRLSOddSharpCentered --> n_DoerrDoerrMonotoneUniformMean n_StrictMonotoneRLSOddSharpCentered --> n_RLSUniformStartOddSharpCentered n_TerminalFirstEntryComplementMass --> n_FiniteCoupledPrefixRepresentation n_TrajectoryFirstHittingTime --> n_TrajectoryHittingTime n_TrajectoryHittingTime --> n_TrajectoryTruncation n_TrajectoryHittingTime --> n_UnrestrictedRuntime n_TrajectoryTruncation --> n_FiniteMarginalIdentification n_Transition --> n_Mutation n_TransitionKernel --> n_Transition n_TransitionKernelMarginals --> n_FiniteTrajectory n_TransitionKernelMarginals --> n_TransitionKernel n_UnaryOneMaxDimensionRuntimeLower --> n_StaticUnaryMeanRadiusBound n_UnaryOneMaxDimensionRuntimeLower --> n_UnaryOneMaxMeanRadiusRuntimeLower n_UnaryOneMaxExpectedProgressMeanRadius --> n_OneMaxEAMutationMaskZeroBoundResearch n_UnaryOneMaxExpectedProgressMeanRadius --> n_StaticUnaryUnbiasedLinearDrift n_UnaryOneMaxExpectedProgressMeanRadius --> n_StaticUnaryZeroFlipExpectationDoubleCount n_UnaryOneMaxHarmonicCapMonotonicity --> n_UnaryOneMaxHarmonicLowerWithoutSingleton n_UnaryOneMaxHarmonicLowerScaled --> n_UnaryOneMaxHarmonicLowerWithoutSingleton n_UnaryOneMaxHarmonicLowerWithoutSingleton --> n_GenericFixedTargetAdditiveDriftLower n_UnaryOneMaxHarmonicLowerWithoutSingleton --> n_OneMax n_UnaryOneMaxHarmonicLowerWithoutSingleton --> n_StaticUnaryUnbiasedMutation n_UnaryOneMaxHarmonicProgressLowerResearch --> n_RLSOneBitExpectationSupport n_UnaryOneMaxHarmonicProgressLowerResearch --> n_StaticUnaryZeroFlipExpectationDoubleCount n_UnaryOneMaxLazySingletonNoFasterThanRLS --> n_UnaryOneMaxSingletonExactHarmonicNoRedundancy n_UnaryOneMaxMeanRadiusRuntimeLower --> n_GenericFixedTargetAdditiveDriftLower n_UnaryOneMaxMeanRadiusRuntimeLower --> n_UnaryOneMaxExpectedProgressMeanRadius n_UnaryOneMaxNoOpFreeExactHarmonic --> n_UnaryOneMaxSingletonExactHarmonicNoRedundancy n_UnaryOneMaxSingletonExactHarmonicNoRedundancy --> n_StaticUnarySingletonSupportMeanRadius n_UnaryOneMaxSingletonExactHarmonicNoRedundancy --> n_UnaryOneMaxSingletonExactHarmonicRuntime n_UnaryOneMaxSingletonExactHarmonicRuntime --> n_OneMaxUnaryHarmonic n_UnaryOneMaxSingletonExactHarmonicRuntime --> n_UnaryOneMaxSingletonHarmonicRuntimeLower n_UnaryOneMaxSingletonHarmonicRuntimeLower --> n_GenericFixedTargetAdditiveDriftLower n_UnaryOneMaxSingletonHarmonicRuntimeLower --> n_UnaryOneMaxHarmonicProgressLowerResearch n_UnaryOneMaxSingletonLawRuntimeInvariance --> n_UnaryOneMaxSingletonExactHarmonicNoRedundancy n_UnaryOneMaxSingletonStrictLazyCost --> n_FitnessLevel n_UnaryOneMaxSingletonStrictRateComparison --> n_FitnessLevel n_UnaryOneMaxSingletonStrictRuntimeComparison --> n_UnaryOneMaxSingletonExactHarmonicNoRedundancy n_UnaryOneMaxSingletonStrictRuntimeComparison --> n_UnaryOneMaxSingletonStrictRateComparison n_UnaryOneMaxThresholdRuntimeLower --> n_GenericFixedTargetAdditiveDriftLower n_UnaryOneMaxThresholdRuntimeLower --> n_UnaryOneMaxExpectedProgressMeanRadius n_UnaryOneMaxZeroContraction --> n_OneMax n_UnaryOneMaxZeroContraction --> n_StaticUnaryUnbiasedMutation n_UniformFixedTarget --> n_LeadingOnesResidence n_UniformFixedTargetGeometricTail --> n_MultiplicativeDriftTail n_UniformFixedTargetGeometricTail --> n_UniformFixedTarget n_UniformMutationExact --> n_ConstantExitRuntime n_UniformStartZeroCountMean --> n_BitString n_UnrestrictedRuntime --> n_HittingTime n_WeightedEntrySkipGeometricPeeling --> n_WeightedFirstEntryGeometricFactorization n_WeightedFirstEntryGeometricFactorization --> n_RandomEntryGeometricPattern n_WeightedPermanentSkipIdentification --> n_EventualExactLevelEntry n_WeightedPermanentSkipIdentification --> n_InfiniteAdaptiveCoupledTrajectory n_WeightedPermanentSkipIdentification --> n_WeightedEntrySkipGeometricPeeling n_WeightedRuntimeTargetMonotonicity --> n_GenericTargetRuntimeAntitonicity n_WittMutationC3Envelope --> n_WittMutationCaseC3 n_WittMutationC3ExtendedRegime --> n_WittMutationC3Envelope n_WittMutationC3ExtendedRegime --> n_WittMutationStrictTail n_WittMutationC3LogThreeRegime --> n_WittMutationC3Envelope n_WittMutationC3LogThreeRegime --> n_WittMutationStrictTail n_WittMutationCaseC3 --> n_MutationRateRegime n_WittMutationCaseC3 --> n_WittMutationDrift n_WittMutationCaseC3 --> n_WittStandardCaseC3 n_WittMutationCertifiedRuntime --> n_WittMutationRuntime n_WittMutationCertifiedRuntime --> n_WittStandardRuntimeTailShift n_WittMutationDrift --> n_WittMutationPotential n_WittMutationDrift --> n_WittStandardDrift n_WittMutationExtendedRateAsymptotics --> n_WittMutationExtendedRuntime n_WittMutationExtendedRuntime --> n_WittMutationC3ExtendedRegime n_WittMutationExtendedRuntime --> n_WittMutationCertifiedRuntime n_WittMutationLogThreeRuntime --> n_WittMutationC3LogThreeRegime n_WittMutationLogThreeRuntime --> n_WittMutationSharpRuntimeAsymptotics n_WittMutationPotential --> n_WittStandardPotential n_WittMutationRateAsymptotics --> n_LinearObjectiveRuntime n_WittMutationRateAsymptotics --> n_MutationRateAsymptotics n_WittMutationRuntime --> n_WittMutationRateAsymptotics n_WittMutationRuntime --> n_WittMutationStrictTail n_WittMutationRuntimeTail --> n_WittMutationRuntime n_WittMutationRuntimeTail --> n_WittStandardRuntimeTailShift n_WittMutationSharpRuntimeAsymptotics --> n_WittMutationExtendedRateAsymptotics n_WittMutationStrictTail --> n_WittMutationCaseC3 n_WittMutationStrictTail --> n_WittStandardStrictTailDownset n_WittStandardCaseC2A --> n_WittStandardCaseC3 n_WittStandardCaseC3 --> n_WittStandardDrift n_WittStandardDrift --> n_LinearRuntime n_WittStandardDrift --> n_WittStandardPotential n_WittStandardPotential --> n_LinearPotential n_WittStandardRuntime --> n_ExpectedRuntimeCorollaries n_WittStandardRuntime --> n_WittStandardStrictTailDownset n_WittStandardRuntimeAsymptotics --> n_AsymptoticRegime n_WittStandardRuntimeAsymptotics --> n_WittStandardRuntime n_WittStandardRuntimeTail --> n_MultiplicativeDriftTail n_WittStandardRuntimeTail --> n_WittStandardRuntime n_WittStandardRuntimeTailShift --> n_WittStandardRuntimeTail n_WittStandardStrictTailDownset --> n_WittStandardStrictTailSelection n_WittStandardStrictTailEnvelope --> n_WittStandardStrictTailGeometry n_WittStandardStrictTailGeometry --> n_WittStandardCaseC2A n_WittStandardStrictTailSelection --> n_WittStandardStrictTailEnvelope n_LeadingOnesMainResults -.-> n_LeadingOnesOccupationTotalClosure n_LeadingOnesMainResults -.-> n_LeadingOnesStandardRateClosedForm n_LeadingOnesMainResults -.-> n_LeadingOnesScaledRate classDef facade stroke-width:3px,stroke:#1d7a55,fill:#e7f4ee,color:#12291f; classDef orphan stroke-dasharray:4 3,stroke:#96620f,fill:#fbf1de,color:#2a2113; class n_AbsorbingOccupationPrefixMonotonicity,n_AdaptiveLeadingOnesBoundaryFlipConjugacy,n_AdaptiveLeadingOnesConstantScheduleRuntime,n_AdaptiveLeadingOnesExactSkipTrajectoryParity,n_AdaptiveLeadingOnesExactUniformRuntime,n_AdaptiveLeadingOnesExitExponentialEnvelope,n_AdaptiveLeadingOnesFiniteRenewalSolution,n_AdaptiveLeadingOnesFirstVisitFiniteMarginalBridge,n_AdaptiveLeadingOnesHalfResidenceOptimality,n_AdaptiveLeadingOnesInteriorFiniteGapBound,n_AdaptiveLeadingOnesKernelScheduleExt,n_AdaptiveLeadingOnesMonotoneSupport,n_AdaptiveLeadingOnesOneLevelPolicyImprovement,n_AdaptiveLeadingOnesOptimalAggregateResidenceCost,n_AdaptiveLeadingOnesOptimalLevelSurvivalDominance,n_AdaptiveLeadingOnesOptimalResidenceClosedForm,n_AdaptiveLeadingOnesOptimalScheduleStochastic,n_AdaptiveLeadingOnesOptimalSurvivalClosedForm,n_AdaptiveLeadingOnesPositiveLevelExit,n_AdaptiveLeadingOnesRateInvariantVisitMass,n_AdaptiveLeadingOnesRenewalConvolution,n_AdaptiveLeadingOnesRenewalNonnegative,n_AdaptiveLeadingOnesRuntimeScheduleExt,n_AdaptiveLeadingOnesSurvivalScheduleLocal,n_AdaptiveLeadingOnesUniformBoundaryProgress,n_AdaptiveLeadingOnesUniformRuntimeExitInvariance,n_AdaptiveLeadingOnesUniformSkipProbability,n_AdaptiveLeadingOnesUniformVisitRateInvariance,n_AdaptiveWeightedCountableLevelOccupation,n_AdaptiveWeightedNonoptimalOccupation,n_BellmanFiniteExactRuntime,n_BinomialHarmonicAverageIncrementBound,n_BinomialHarmonicLogTwoFiniteError,n_BinomialHarmonicScaledRuntimeOneStep,n_CouponAllFinitePolynomialSurvival,n_CouponArbitraryMomentDecrementTransfer,n_CouponArbitraryPositiveMomentFiniteMass,n_CouponArbitraryPowerMomentSurvivalTransfer,n_CouponDiscountedHittingCDFTransfer,n_CouponDiscountedSurvivalDecrementTransfer,n_CouponDiscountedSurvivalTransfer,n_CouponFiniteMassTruncatedSecondMoment,n_CouponFiniteMassTruncatedThirdMoment,n_CouponInfiniteWeightedHittingCDF,n_CouponInfiniteWeightedSurvival,n_CouponPowerWeightedHittingCDFTransfer,n_CouponTruncatedSurvivalSecondCentralFunctional,n_CouponWeightedHitQuadraticTransfer,n_DiscreteFirstVisitUnique,n_EAWeightedGenericRuntimeNoFlipLower,n_ENNRealRenewalConvolutionUnroll,n_FiniteRuntimeSurvivalVanishes,n_FirstZeroHazard,n_FullSupportUniversal,n_GenericEAGeometricTargetSurvival,n_GenericWeightedFiniteSurvivalLowerBound,n_GenericWeightedInitialRuntimeLower,n_HarmonicHalfSeriesLogTwoLimit,n_HarmonicPredecessor,n_JumpEscapeOptimalRate,n_JumpPlateauEscape,n_LeadingOnesBoundaryInfimumBridge,n_LeadingOnesBoundaryRuntimeInfimum,n_LeadingOnesCrossBaseGlobalDominance,n_LeadingOnesFirstVisitBelowEquivalence,n_LeadingOnesFixedTargetConvexity,n_LeadingOnesFixedTargetCurvaturePositive,n_LeadingOnesFixedTargetCurvatureRatio,n_LeadingOnesFixedTargetDimensionInvariance,n_LeadingOnesFixedTargetFirstLevelLowerBound,n_LeadingOnesFixedTargetLinearLowerBound,n_LeadingOnesFixedTargetMarginalRatio,n_LeadingOnesFixedTargetStrictConvexity,n_LeadingOnesFixedTargetStrictIncrement,n_LeadingOnesLevelOneUniqueMaximizer,n_LeadingOnesMainResults,n_LeadingOnesOptimalRate,n_LeadingOnesReferenceBoundaryShiftTendsto,n_LeadingOnesReferencePositiveRateIndependentBase,n_LeadingOnesReferenceZeroExitStrict,n_LeadingOnesStrictLevelExitOptimality,n_LeadingOnesStrictPositivePolicyOptimality,n_LeadingOnesUniqueOptimalPolicyConditional,n_LeadingOnesUniqueStationaryRoot,n_MonotonePathFirstVisitResidenceInterval,n_OneMaxClippedPotentialMaskLipschitz,n_OneMaxEAGeometricTargetSurvival,n_OneMaxEAIndependentBitMeanRadiusRuntimeLower,n_OneMaxEAThresholdAdmissibleCorrection,n_OneMaxEAThresholdRuntimeLower,n_OneMaxEAWeightedFiniteHorizonTarget,n_OneMaxEAWeightedTargetRuntime,n_OneMaxEAZeroDriftRuntimeLower,n_OneMaxUnaryStochasticDomination,n_RLS2016LeadingOnesInitialization,n_RLSAllDimensionEventualNegativeCorrection,n_RLSCountableJointThresholdCosts,n_RLSCountableThresholdSurvivalInvariance,n_RLSExactLevelExitMass,n_RLSFixedTargetThresholdDifference,n_RLSFixedTargetUniformThresholdMonotonicity,n_RLSFixedTargetWeightedStartMonotonicity,n_RLSIndexedTargetSurvivalInvariance,n_RLSMonotoneObjectiveInvariance,n_RLSMonotonePointwiseObjectiveInvariance,n_RLSMonotoneUniformFixedTargetBinomial,n_RLSMonotonicityPaperPredicateEquivalence,n_RLSMultiThresholdInfiniteSurvival,n_RLSPaperCouponUniformMean,n_RLSPaperHarmonicStrongComparison,n_RLSUniformFirstOrderRuntimeLaw,n_RLSUniformInfiniteSurvivalFunctional,n_RLSUniformInitialCouponSurvivalCapped,n_RLSUniformInitialFirstOrderAsymptotic,n_RLSUniformInitialFixedBudgetMean,n_RLSUniformInitialHarmonicSecondOrder,n_RLSUniformInitialNLogNAdditiveEnvelope,n_RLSUniformInitialRuntimeLogTwoFiniteError,n_RLSUniformInitialRuntimeSecondOrder,n_RLSWeightedHittingGeneratingPolynomial,n_RLSWeightedHittingMomentInvariance,n_RLSWeightedSurvivalCostProfile,n_RandomInitialStakeOddScaledFiniteCorrectionBound,n_RandomInitialStakeScaledEvenCorrectionBound,n_RandomStakeCouponArbitraryTargetFiniteObjectiveInvariance,n_RandomStakeCouponArbitraryTargetFiniteRuntimeObjectiveInvariance,n_RandomStakeCouponArbitraryTargetObjectiveInvariance,n_RandomStakeCouponFinitePaperCenteredExact,n_RandomStakeCouponSecondMomentSurvivalTransfer,n_RandomStakeCouponSharpPaperCentered,n_RandomStakeCouponStatewiseObservableTransfer,n_RandomStakeCouponThirdMomentSurvivalTransfer,n_StaticUnarySecondFactorialRadiusBound,n_StaticUnarySingletonSupportPositiveMean,n_StaticUnaryUnbiasedCorrectedLeftGain,n_StaticUnaryUnbiasedFirstZeroUnrestrictedRuntime,n_StaticUnaryUnbiasedSharpMomentUpper,n_StrictMonotoneCouponSurvival,n_StrictMonotoneRLSCouponTail,n_UnaryOneMaxDimensionRuntimeLower,n_UnaryOneMaxHarmonicCapMonotonicity,n_UnaryOneMaxHarmonicLowerScaled,n_UnaryOneMaxLazySingletonNoFasterThanRLS,n_UnaryOneMaxNoOpFreeExactHarmonic,n_UnaryOneMaxSingletonLawRuntimeInvariance,n_UnaryOneMaxSingletonStrictLazyCost,n_UnaryOneMaxSingletonStrictRuntimeComparison,n_UniformFixedTargetGeometricTail,n_WeightedRuntimeTargetMonotonicity,n_WittMutationLogThreeRuntime,n_WittMutationSharpRuntimeAsymptotics,n_WittStandardRuntimeAsymptotics,n_WittStandardRuntimeTail facade; class n_LevelChargeExactResidence orphan;