Provenance and workflow data: reading the Lean constructions

1046 of 1062 audited definitions have a syntax-exact field-by-field explanation. 16 remain explicitly unresolved. These are not new mathematical proofs, and do not increase the Registry.

Unknown computations are not guessed or evaluated. Data references stay symbolic; stored proof-status labels and dependency names are not compilation or dependency evidence.

Definition	Reader status	Boundary
`AutoSamplingTheory.SALD.saldPaperRoot`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.saldMainSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldAppendixSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldIterationSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGronwallSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGronwallExponentRewriteSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldDvVariationSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldPiSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldPiVelocityNormSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldKlFiLsiSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldContinuousSdeSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldFokkerPlanckSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldAlphaComplexitySource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlProofSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDerivativeSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDvEnergySource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlGronwallSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlEndpointScheduleSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDependencyChainSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteLipSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteInterpolationSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldFrozenDeltaCrossLipSaldSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteProofSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteDerivativeSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteConditionalFpSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteDvVelocitySource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteGronwallSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteAccumulatedErrorSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldForwardKlDiscreteCoefficientChainSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGuidedResidualSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGuidedResidualProofSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDerivativeSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDvGronwallSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetResidualDvSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetPureContractionSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldUnifiedForwardKlSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldUnifiedForwardKlProofSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldVaSaldItoSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGuidedResidualMainSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldCorrectionFieldSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldUnifiedTransportBridgeSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteEmSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteDeltaSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldFrozenDeltaCrossLipGeneralSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteDerivativeSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteConditionalDriftSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteWeakFpSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteKlWeakFpHandoffSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteConditionalKernelMathlibSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteCondDistribIntegralMathlibSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteWeakFpGeneratorMathlibSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteWeakFpDriftActionMathlibSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteKlLogRatioMathlibSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteYoungSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteResidualDvSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteGronwallSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGeneralMovingTargetDiscreteGronwallSideConditionSource`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.firstFaithfulLabels`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGronwallCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGronwallEndpointCalculusContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldGronwallExponentRewriteContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldLsiKlFiBridgeContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldLsiKlFiDensityTestContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldDvFiniteLogMgfContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldPiVelocityNormDependencyContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle9FirstAppendixVocabularyPacket`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.saldAlphaComplexityContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.continuousForwardKlStatementContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDerivativeCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDerivativeSideConditionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDvEnergyCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDvFiniteLogMgfWitnessContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDvAlphaMonotonicityContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlGronwallInstantiationContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlMovingTargetDependencyContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDependencyChainAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle10ForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlGronwallSideConditionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlEndpointScheduleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle14ForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle14ForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle11DiscreteForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlEmConditionalFpLowerContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlConditionalDriftDensityContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle19DiscreteForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle19DiscreteForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle23DiscreteForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle23DiscreteForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle27DiscreteForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle27DiscreteForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlStatementContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlEmInterpolationSideConditionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.frozenDeltaCrossLipSaldContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlDerivativeCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlDvFiniteLogMgfWitnessContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlGronwallInstantiationContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlAccumulatedErrorBridgeContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle11DiscreteForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlCoefficientChainAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.guidedResidualIdentityContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetStatementContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDerivativeCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDvEnergyCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDvFiniteLogMgfWitnessContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDvPositiveAlphaScalingContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetGronwallInstantiationContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetGronwallSideConditionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.unifiedForwardKlSpecializationContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle12GeneralVaSaldUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle12GeneralVaSaldMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle16GeneralVaSaldUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle20GeneralVaSaldUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle20GeneralVaSaldMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle24GeneralVaSaldUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle24GeneralVaSaldMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle28GeneralVaSaldUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle28GeneralVaSaldMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle16UnifiedForwardKlTransportBridgeMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle16UnifiedForwardKlTransportBridgeLowerContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle13FirstAppendixVocabularyPacket`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.cycle13FirstAppendixSourceIndexAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle13FirstAppendixMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle17FirstAppendixVocabularyPacket`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.cycle17FirstAppendixMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle21FirstAppendixVocabularyPacket`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.cycle21FirstAppendixMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle25FirstAppendixVocabularyPacket`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.cycle25FirstAppendixMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle25FirstAppendixPiVelocityNormMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle25PiVelocityNormLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle29FirstAppendixVocabularyPacket`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.cycle29FirstAppendixMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle29LsiKlFiDensityTestMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle29LsiKlFiDensityTestLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle33LsiKlFiDensityTestMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle33LsiKlFiDensityTestLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle38LsiKlFiUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle38LsiKlFiUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle38LsiKlFiMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle38LsiKlFiLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle43LsiKlFiUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle43LsiKlFiUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle43LsiKlFiMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle43LsiKlFiLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle44MainSkeletonAnalyticInterfaceLedger`	unresolved	absolute local path in exact source; disclosure withheld, not redacted
`AutoSamplingTheory.SALD.cycle44MainSkeletonAnalyticInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle44MainSkeletonAnalyticInterfaceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle49MainSkeletonAnalyticReadinessLedger`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle49MainSkeletonAnalyticReadinessObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle49MainSkeletonAnalyticMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle49MainSkeletonAnalyticMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle49MainSkeletonAnalyticReadinessDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle45ForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle45ForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle45ForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle45ForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle45ForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle51DiscreteForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle51DiscreteForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle51DiscreteForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle51DiscreteForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle32DvVariationUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle32DvVariationInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle32DvVariationMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle32DvVariationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle32DvVariationLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle37DvVariationUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle37DvVariationUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle37DvVariationMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle37DvVariationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle37DvVariationLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle42DvVariationMiddleAuditContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle42DvVariationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle42DvVariationLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle18ForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle18ForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle22ForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle22ForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle26ForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle26ForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle30ForwardKlUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle30ForwardKlMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle34ForwardKlDerivativeUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle34ForwardKlDerivativeMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle39ForwardKlDerivativeUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle39ForwardKlDerivativeMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle35DiscreteForwardKlEmFpUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle35DiscreteForwardKlEmFpMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle40DiscreteForwardKlEmFpMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalFrozenDeltaCrossLipContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteStatementContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDerivativeCandidateContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteConditionalDriftContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteConditionalLawMeasurabilityContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteEndpointConditionalCompatibilityContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteWeakConditionalFpSourceSignContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteKlDerivativeWeakFpHandoffContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDerivativeSideConditionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDvFiniteLogMgfWitnessContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteGronwallInstantiationContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteGronwallSideConditionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.lsiKlFiDensityTestObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.dvFiniteLogMgfInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.piVelocityNormBackendObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle36GronwallUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle36GronwallUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle36GronwallMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle41GronwallMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle41GronwallLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.gronwallAnalyticObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.gronwallEndpointCalculusObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.gronwallExponentRewriteObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.firstAppendixSourceIndexAuditObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.firstAppendixMiddleAuditObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlMiddleSourceToLeanMapObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle30ForwardKlDerivativeSideUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle30ForwardKlDerivativeSideMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDensityBoundaryObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle30ForwardKlDensityBoundaryLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle34ForwardKlDerivativeScalarObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle34ForwardKlTargetYoungLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle34ForwardKlDerivativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle39ForwardKlDerivativeUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle39ForwardKlDerivativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlScheduleTimeChangeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDerivativeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDvEnergyObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDvAlphaMonotonicityObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlDvFiniteLogMgfWitnessObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle26ForwardKlDvWitnessMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle26ForwardKlDvPositiveAlphaLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlGronwallApplicationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlGronwallSideConditionObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlEndpointScheduleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlMovingTargetDependencyObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.forwardKlCoefficientChainObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlEmEndpointObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlEmConditionalFpObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlConditionalDriftDensityObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlStitchedIntervalRegularityObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlEmInterpolationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlMiddleEmSpineObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle15DiscreteForwardKlEmConditionalFpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle35DiscreteForwardKlEmFpUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle35DiscreteForwardKlEmFpMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle35DiscreteForwardKlEmFpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle40DiscreteForwardKlEmFpMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle40DiscreteForwardKlEmEndpointLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlFrozenDeltaObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlDerivativeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle51DiscreteForwardKlDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlDvFiniteLogMgfWitnessObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlDvVelocityObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlGronwallAccumulationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlLinearSlowdownObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlResidualExponentBoundObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlAccumulatedErrorBridgeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle19DiscreteForwardKlAccumulatedErrorMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlEmDefectAccumulationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle23DiscreteForwardKlCoefficientChainMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlCoefficientChainObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle27DiscreteForwardKlAccumulatedCollectionUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle27DiscreteForwardKlAccumulatedCollectionMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle27DiscreteForwardKlAccumulatedCollectionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle46DiscreteForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle46DiscreteForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle46DiscreteForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle46DiscreteForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle46DiscreteForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle47GuidedGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle47GuidedGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle47GuidedGeneralSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle47GuidedGeneralSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle47GuidedGeneralSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralDerivativeDvLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralDerivativeSplitLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle48UnifiedDiscreteSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle48UnifiedDiscreteSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle48UnifiedDiscreteSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle48GeneralMovingTargetDiscreteEmEndpointFpAuditObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle48UnifiedDiscreteSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle48UnifiedDiscreteSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53UnifiedDiscreteGeneralUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53UnifiedDiscreteGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53UnifiedDiscreteGeneralMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53UnifiedDiscreteGeneralMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53UnifiedDiscreteGeneralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54MainSkeletonAnalyticInterfaceLedger`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54MainSkeletonAnalyticInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54MainSkeletonAnalyticMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54MainSkeletonAnalyticMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54MainSkeletonAnalyticInterfaceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlDerivativeMassLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle56DiscreteForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle56DiscreteForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle56DiscreteForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle56DiscreteForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle56DiscreteForwardKlGronwallLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle58UnifiedDiscreteGeneralUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle58UnifiedDiscreteGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle58UnifiedDiscreteGeneralMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle58UnifiedDiscreteGeneralMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle58UnifiedDiscreteGeneralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59MainSkeletonAnalyticInterfaceLedger`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59MainSkeletonAnalyticInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59MainSkeletonAnalyticMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59MainSkeletonAnalyticMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59GeneralMovingTargetDiscreteGronwallLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59MainSkeletonAnalyticInterfaceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlDerivativeRawLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlAccumulatedErrorLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralScaledResidualLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralMeasureBackfillObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64MainSkeletonAnalyticInterfaceLedger`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64MainSkeletonAnalyticInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64MainSkeletonAnalyticMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64MainSkeletonAnalyticMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64MainSkeletonAnalyticInterfaceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlDerivativePointwiseLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlAccumulatedDisplayLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralResidualGronwallBridgeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralResidualGronwallLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralSkeletonDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralSkeletonUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralSkeletonObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralDiscreteBridgeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralSkeletonMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralSkeletonMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralDiscreteBridgeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69MainSkeletonAnalyticInterfaceLedger`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69MainSkeletonAnalyticInterfaceObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69MainSkeletonAnalyticMiddleContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69MainSkeletonAnalyticMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69GeneralMovingTargetDiscreteEmFpSourceSignsLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle70GeneralMovingTargetDiscreteConditionalLawMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle70GeneralMovingTargetDiscreteConditionalLawLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle71GeneralMovingTargetDiscreteEndpointConditionalMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle71GeneralMovingTargetDiscreteEndpointConditionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle71GeneralMovingTargetDiscreteEndpointConditionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle72GeneralMovingTargetDiscreteWeakFpMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle72GeneralMovingTargetDiscreteWeakFpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle72GeneralMovingTargetDiscreteWeakFpDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle73GeneralMovingTargetDiscreteKlDerivativeWeakFpUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle73GeneralMovingTargetDiscreteKlDerivativeWeakFpUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle73GeneralMovingTargetDiscreteKlDerivativeWeakFpMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle73GeneralMovingTargetDiscreteKlDerivativeWeakFpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle73GeneralMovingTargetDiscreteKlDerivativeWeakFpDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74GeneralMovingTargetDiscreteConditionalKernelMeasureInterface`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74GeneralMovingTargetDiscreteMeasureInterfaceUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74GeneralMovingTargetDiscreteMeasureInterfaceUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74GeneralMovingTargetDiscreteMeasureInterfaceMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74GeneralMovingTargetDiscreteMeasureInterfaceLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74GeneralMovingTargetDiscreteMeasureInterfaceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle75GeneralMovingTargetDiscreteConditionalLawBackfillUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle75GeneralMovingTargetDiscreteConditionalLawBackfillUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle75GeneralMovingTargetDiscreteConditionalLawBackfillMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle75GeneralMovingTargetDiscreteConditionalLawBackfillLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle75GeneralMovingTargetDiscreteConditionalLawBackfillDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle76GeneralMovingTargetDiscreteEndpointConditionalUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle76GeneralMovingTargetDiscreteEndpointConditionalUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle76GeneralMovingTargetDiscreteEndpointConditionalMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle76GeneralMovingTargetDiscreteEndpointConditionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle76GeneralMovingTargetDiscreteEndpointConditionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle77GeneralMovingTargetDiscreteWeakFpGeneratorMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle77GeneralMovingTargetDiscreteWeakFpGeneratorLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle77GeneralMovingTargetDiscreteWeakFpGeneratorDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle78GeneralMovingTargetDiscreteKlDerivativeGeneratorUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle78GeneralMovingTargetDiscreteKlDerivativeGeneratorUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle78GeneralMovingTargetDiscreteKlDerivativeGeneratorMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle78GeneralMovingTargetDiscreteKlDerivativeGeneratorLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle78GeneralMovingTargetDiscreteKlDerivativeGeneratorDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79GeneralMovingTargetDiscreteWeakFpGeneratorMeasureInterface`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79GeneralMovingTargetDiscreteWeakFpGeneratorMeasureUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79GeneralMovingTargetDiscreteWeakFpGeneratorMeasureUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79GeneralMovingTargetDiscreteWeakFpGeneratorMeasureMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79GeneralMovingTargetDiscreteWeakFpGeneratorMeasureLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79GeneralMovingTargetDiscreteWeakFpGeneratorMeasureDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle80GeneralMovingTargetDiscreteConditionalLawMeasurabilityUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle80GeneralMovingTargetDiscreteConditionalLawMeasurabilityUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle80GeneralMovingTargetDiscreteConditionalLawMeasurabilityMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle80GeneralMovingTargetDiscreteConditionalLawMeasurabilityLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle80GeneralMovingTargetDiscreteConditionalLawMeasurabilityDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle81GeneralMovingTargetDiscreteEndpointConditionalUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle81GeneralMovingTargetDiscreteEndpointConditionalUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle81GeneralMovingTargetDiscreteEndpointConditionalMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle81GeneralMovingTargetDiscreteEndpointConditionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle81GeneralMovingTargetDiscreteEndpointConditionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle82GeneralMovingTargetDiscreteWeakFpSourceSignsUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle82GeneralMovingTargetDiscreteWeakFpSourceSignsUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle82GeneralMovingTargetDiscreteWeakFpSourceSignsMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle82GeneralMovingTargetDiscreteWeakFpSourceSignsLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle82GeneralMovingTargetDiscreteWeakFpSourceSignsDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle83GeneralMovingTargetDiscreteKlDerivativeEndpointWeakFpUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle83GeneralMovingTargetDiscreteKlDerivativeEndpointWeakFpUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle83GeneralMovingTargetDiscreteKlDerivativeEndpointWeakFpMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle83GeneralMovingTargetDiscreteKlDerivativeEndpointWeakFpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle83GeneralMovingTargetDiscreteKlDerivativeEndpointWeakFpDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle84GeneralMovingTargetDiscreteActiveEmBackendUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle84GeneralMovingTargetDiscreteActiveEmBackendUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle84GeneralMovingTargetDiscreteActiveEmBackendMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle84GeneralMovingTargetDiscreteActiveEmBackendLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle84GeneralMovingTargetDiscreteActiveEmBackendDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle85GeneralMovingTargetDiscreteConditionalKernelBoundaryUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle85GeneralMovingTargetDiscreteConditionalKernelBoundaryUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle85GeneralMovingTargetDiscreteConditionalKernelBoundaryMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle85GeneralMovingTargetDiscreteConditionalKernelBoundaryLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle85GeneralMovingTargetDiscreteConditionalKernelBoundaryDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle86GeneralMovingTargetDiscreteWeakFpGeneratorBoundaryUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle86GeneralMovingTargetDiscreteWeakFpGeneratorBoundaryUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle86GeneralMovingTargetDiscreteWeakFpGeneratorBoundaryMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle86GeneralMovingTargetDiscreteWeakFpGeneratorBoundaryLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle86GeneralMovingTargetDiscreteWeakFpGeneratorBoundaryDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle87GeneralMovingTargetDiscreteKlLogRatioBoundaryUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle87GeneralMovingTargetDiscreteKlLogRatioBoundaryUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle87GeneralMovingTargetDiscreteKlLogRatioBoundaryMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle87GeneralMovingTargetDiscreteKlLogRatioBoundaryLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle87GeneralMovingTargetDiscreteKlLogRatioBoundaryDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle88GeneralMovingTargetDiscreteKlLogRatioAdmissibilityMiddlePacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle88GeneralMovingTargetDiscreteKlLogRatioAdmissibilityMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle88GeneralMovingTargetDiscreteKlLogRatioAdmissibilityLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle88GeneralMovingTargetDiscreteKlLogRatioAdmissibilityDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle89DiscreteForwardKlClosurePressureUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle89DiscreteForwardKlClosurePressureUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle89DiscreteForwardKlClosurePressureMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle89DiscreteForwardKlClosurePressureLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle89DiscreteForwardKlClosurePressureDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle90DiscreteForwardKlMassConservationUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle90DiscreteForwardKlMassConservationUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle90DiscreteForwardKlMassConservationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle90DiscreteForwardKlMassConservationLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle90DiscreteForwardKlMassConservationDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle91GeneralMovingTargetDiscreteConditionalKernelMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle91GeneralMovingTargetDiscreteConditionalKernelLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle91GeneralMovingTargetDiscreteConditionalKernelDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle92GeneralMovingTargetDiscreteWeakFpGeneratorSplitMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle92GeneralMovingTargetDiscreteWeakFpGeneratorSplitLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle92GeneralMovingTargetDiscreteWeakFpGeneratorSplitDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle93GeneralMovingTargetDiscreteKlMassDerivativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle93GeneralMovingTargetDiscreteKlMassDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle93GeneralMovingTargetDiscreteKlMassDerivativeDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle94GeneralMovingTargetDiscreteWeakFpDriftActionMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle94GeneralMovingTargetDiscreteWeakFpDriftActionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle94GeneralMovingTargetDiscreteWeakFpDriftActionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle95DiscreteForwardKlClosurePressureUpperPacket`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle95DiscreteForwardKlClosurePressureUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle95DiscreteForwardKlClosurePressureMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle95DiscreteForwardKlClosurePressureLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle95DiscreteForwardKlClosurePressureDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle96GeneralMovingTargetDiscreteCondexpGeneratorPairingMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle96GeneralMovingTargetDiscreteCondexpGeneratorPairingLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle96GeneralMovingTargetDiscreteCondexpGeneratorPairingDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle97GeneralMovingTargetDiscreteCanonicalCondDistribPairingMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle97GeneralMovingTargetDiscreteCanonicalCondDistribPairingLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle97GeneralMovingTargetDiscreteCanonicalCondDistribPairingDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle98GeneralMovingTargetDiscreteBarBDivergenceNoBoundaryMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle98GeneralMovingTargetDiscreteBarBDivergenceNoBoundaryLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle98GeneralMovingTargetDiscreteBarBDivergenceNoBoundaryDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle99GeneralMovingTargetDiscreteRawKlDerivativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle99GeneralMovingTargetDiscreteRawKlDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle99GeneralMovingTargetDiscreteRawKlDerivativeDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle100GeneralMovingTargetDiscreteBarBWeakGradDefMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle100GeneralMovingTargetDiscreteBarBWeakGradDefLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle100GeneralMovingTargetDiscreteBarBWeakGradDefDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle100GeneralMovingTargetDiscreteBarBInnerGradientBoundLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle100GeneralMovingTargetDiscreteBarBInnerGradientBoundDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle101DiscreteForwardKlClosurePressureMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle101DiscreteForwardKlNoBoundaryProductRuleLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle101DiscreteForwardKlClosurePressureDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle102DiscreteForwardKlZeroFluxTraceBoundaryMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle102DiscreteForwardKlTraceZeroLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle102DiscreteForwardKlZeroFluxTraceBoundaryDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle103GeneralMovingTargetDiscreteConditionalKernelVersionMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle103GeneralMovingTargetDiscreteConditionalKernelVersionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle103GeneralMovingTargetDiscreteConditionalKernelVersionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle104GeneralMovingTargetDiscreteWeakFpNamedLawTransportUpperObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle104GeneralMovingTargetDiscreteWeakFpNamedLawTransportLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle104GeneralMovingTargetDiscreteWeakFpNamedLawTransportDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle105GeneralMovingTargetDiscretePureRawKlDerivativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle105GeneralMovingTargetDiscretePureRawKlDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle105GeneralMovingTargetDiscretePureRawKlDerivativeDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle106GeneralMovingTargetDiscreteCanonicalCondDistribDriftMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle106GeneralMovingTargetDiscreteCanonicalCondDistribDriftLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle106GeneralMovingTargetDiscreteCanonicalCondDistribDriftDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle107DiscreteForwardKlBoundaryFluxIntegralLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle107DiscreteForwardKlBoundaryFluxIntegralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle108DiscreteForwardKlHatRhoBarBFluxContinuityLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle108DiscreteForwardKlHatRhoBarBFluxContinuityDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle108DiscreteForwardKlHatRhoBarBFluxDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle108DiscreteForwardKlHatRhoBarBFluxDerivativeDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle109GeneralMovingTargetDiscreteNamedBarBSourceDefBoundary`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle109GeneralMovingTargetDiscreteNamedBarBSourceDefMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle109GeneralMovingTargetDiscreteNamedBarBCondExpSourceLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle109GeneralMovingTargetDiscreteNamedBarBSourceDefDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110GeneralMovingTargetDiscreteNamedBarBEqMeasMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110GeneralMovingTargetDiscreteNamedBarBEqMeasLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110GeneralMovingTargetDiscreteNamedBarBEqMeasDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110GeneralMovingTargetDiscreteWeakFpDominatedGeneratorLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110GeneralMovingTargetDiscreteWeakFpDominatedGeneratorDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle111GeneralMovingTargetDiscreteTargetTimeDerivativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle111GeneralMovingTargetDiscreteTargetTimeDerivativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle111GeneralMovingTargetDiscreteTargetTimeDerivativeDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle112GeneralMovingTargetDiscreteNamedBarBCondExpRepresentativeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle112GeneralMovingTargetDiscreteNamedBarBCondExpRepresentativeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle112GeneralMovingTargetDiscreteNamedBarBCondExpRepresentativeDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle113GeneralMovingTargetDiscreteNamedBarBStateFieldRegularityLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle113GeneralMovingTargetDiscreteNamedBarBStateFieldRegularityDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle114GeneralMovingTargetDiscreteCanonicalBarBStateEventSetIntegralLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle114GeneralMovingTargetDiscreteCanonicalBarBStateEventSetIntegralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle115GeneralMovingTargetDiscreteNamedBarBSelectedVersionMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle115GeneralMovingTargetDiscreteNamedBarBCondExpSourceLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle115GeneralMovingTargetDiscreteNamedBarBSelectedVersionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle116GeneralMovingTargetDiscreteCanonicalBarBCondExpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle116GeneralMovingTargetDiscreteCanonicalBarBCondExpDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle117GeneralMovingTargetDiscreteNamedBarBVersionSelectionMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle117GeneralMovingTargetDiscreteNamedBarBVersionSelectionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle117GeneralMovingTargetDiscreteNamedBarBVersionSelectionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle118GeneralMovingTargetDiscreteCanonicalBarBDownstreamMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle118GeneralMovingTargetDiscreteCanonicalBarBDownstreamLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle118GeneralMovingTargetDiscreteCanonicalBarBDownstreamDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle119GeneralMovingTargetDiscreteCanonicalBarBWeakFpConsumerMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle119GeneralMovingTargetDiscreteCanonicalBarBWeakFpConsumerLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle119GeneralMovingTargetDiscreteCanonicalBarBWeakFpConsumerDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle120GeneralMovingTargetDiscreteEmPathDerivativeDominationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle120GeneralMovingTargetDiscreteEmPathDerivativeDominationLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle120GeneralMovingTargetDiscreteEmPathDerivativeDominationDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle121GeneralMovingTargetDiscreteEmSampleMeasLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle121GeneralMovingTargetDiscreteEmSampleMeasDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle122GeneralMovingTargetDiscreteEmSampleIntLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle122GeneralMovingTargetDiscreteEmSampleIntDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle123GeneralMovingTargetDiscreteEmSampleDerivMeasLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle123GeneralMovingTargetDiscreteEmSampleDerivMeasDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle124GeneralMovingTargetDiscreteEmSampleDerivBoundLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle124GeneralMovingTargetDiscreteEmSampleDerivBoundDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle124GeneralMovingTargetDiscreteEmBoundIntLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle124GeneralMovingTargetDiscreteEmBoundIntDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle125GeneralMovingTargetDiscreteEmPathDerivLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle125GeneralMovingTargetDiscreteEmPathDerivDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle126GeneralMovingTargetDiscreteEmDerivValueLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle126GeneralMovingTargetDiscreteEmDerivValueDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle127GeneralMovingTargetDiscreteEmDriftActionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle127GeneralMovingTargetDiscreteEmPairMeasLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle127GeneralMovingTargetDiscreteEmDriftActionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle128GeneralMovingTargetDiscreteEmNoBoundaryTraceLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle128GeneralMovingTargetDiscreteEmCanonicalBarBMeasLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle128GeneralMovingTargetDiscreteEmNoBoundaryTraceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle129GeneralMovingTargetDiscreteEmDiffusionSourceLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle129GeneralMovingTargetDiscreteEmDiffusionSourceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle130GeneralMovingTargetDiscreteEmLaplacianIbPLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle130GeneralMovingTargetDiscreteEmGreenLaplacianIbPScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle130GeneralMovingTargetDiscreteEmFirstGreenNoBoundaryFluxLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle131GeneralMovingTargetDiscreteEmSecondGreenNoBoundaryFluxLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle131GeneralMovingTargetDiscreteEmSecondGreenTraceBoundaryLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle131GeneralMovingTargetDiscreteEmSecondGreenBoxBoundaryFluxLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle131GeneralMovingTargetDiscreteEmSecondGreenNoBoundaryFluxDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle132GeneralMovingTargetDiscreteEmSecondGreenTestTraceZeroLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle132GeneralMovingTargetDiscreteEmSecondGreenTraceEqTestTraceZeroScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle132GeneralMovingTargetDiscreteEmSecondGreenPointwiseTraceEqLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle132GeneralMovingTargetDiscreteEmSecondGreenTestTraceZeroDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle133GeneralMovingTargetDiscreteEmSecondGreenPointwiseTestTraceZeroLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle133GeneralMovingTargetDiscreteEmTestLaplacianNormalizationScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle133GeneralMovingTargetDiscreteEmTestLaplacianOperatorNormalizationLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle133GeneralMovingTargetDiscreteEmSecondGreenPointwiseTestTraceZeroDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle134GeneralMovingTargetDiscreteEmTestLaplacianSourcePullbackLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle134GeneralMovingTargetDiscreteEmSourceLaplacianStdBasisScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle134GeneralMovingTargetDiscreteEmWeakFpLaplacianStdBasisLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle134GeneralMovingTargetDiscreteEmTestLaplacianSourcePullbackDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle135GeneralMovingTargetDiscreteEmTestLaplacianStdBasisLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle135GeneralMovingTargetDiscreteEmSecondGreenStdBasisConsumerLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle135GeneralMovingTargetDiscreteEmTestLaplacianStdBasisDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle136GeneralMovingTargetDiscreteEmWeakFpStdBasisSourceDensityLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle136GeneralMovingTargetDiscreteEmWeakFpStdBasisSourceDensityDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle137GeneralMovingTargetDiscreteEmWeakFpDensityLaplacianActionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle137GeneralMovingTargetDiscreteEmPointwiseGreenIbPScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle137GeneralMovingTargetDiscreteEmSecondGreenPointwiseBoxBoundaryFluxLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle137GeneralMovingTargetDiscreteEmWeakFpDensityLaplacianActionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle138GeneralMovingTargetDiscreteEmFirstGreenPointwiseBoundaryFluxLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle138GeneralMovingTargetDiscreteEmTestLaplacianPointwiseSourcePullbackScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle138GeneralMovingTargetDiscreteEmTestLaplacianPointwiseStdBasisLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle138GeneralMovingTargetDiscreteEmFirstGreenPointwiseBoundaryFluxDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle139GeneralMovingTargetDiscreteEmWeakFpSourceLaplacianLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle139GeneralMovingTargetDiscreteEmWeakFpSourceActionIntegralScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle139GeneralMovingTargetDiscreteEmWeakFpSourceLaplacianStateIntegralLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle139GeneralMovingTargetDiscreteEmWeakFpSourceLaplacianDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle140GeneralMovingTargetDiscreteEmLaplacianSourceStateIntegralLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle140GeneralMovingTargetDiscreteEmGeneratorLawIntegralScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle140GeneralMovingTargetDiscreteEmGeneratorSourceFunctionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle140GeneralMovingTargetDiscreteEmLaplacianSourceStateIntegralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle141GeneralMovingTargetDiscreteEmGeneratorStdBasisSourceLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle141GeneralMovingTargetDiscreteEmGeneratorTraceFieldSourceScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle141GeneralMovingTargetDiscreteEmGeneratorTraceLawIntegralLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle142GeneralMovingTargetDiscreteEmGeneratorTraceStateIntegralMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle142GeneralMovingTargetDiscreteEmGeneratorTraceLaplacianStateIntegralScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle142GeneralMovingTargetDiscreteEmGeneratorTraceLaplacianLawIntegralLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle141GeneralMovingTargetDiscreteEmGeneratorStdBasisSourceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle142GeneralMovingTargetDiscreteEmGeneratorTraceStateIntegralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143GeneralMovingTargetDiscreteEmGeneratorLaplacianStateEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143GeneralMovingTargetDiscreteEmGeneratorLaplacianStateEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143GeneralMovingTargetDiscreteEmGeneratorLaplacianPointwiseEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143GeneralMovingTargetDiscreteEmGeneratorLaplacianPointwiseEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143GeneralMovingTargetDiscreteEmGeneratorLaplacianActionDefLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143GeneralMovingTargetDiscreteEmGeneratorLaplacianActionDefDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle144GeneralMovingTargetDiscreteEmGeneratorLaplacianStdBasisEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle144GeneralMovingTargetDiscreteEmGeneratorLaplacianStdBasisEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle144GeneralMovingTargetDiscreteEmGeneratorLaplacianStdBasisActionLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle144GeneralMovingTargetDiscreteEmGeneratorLaplacianStdBasisActionDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle145GeneralMovingTargetDiscreteEmGeneratorLaplacianStdBasisLawLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle145GeneralMovingTargetDiscreteEmGeneratorLaplacianStdBasisLawDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle145GeneralMovingTargetDiscreteEmGeneratorLaplacianTraceEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle145GeneralMovingTargetDiscreteEmGeneratorLaplacianTraceEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146GeneralMovingTargetDiscreteEmGeneratorTraceEventTotalEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146GeneralMovingTargetDiscreteEmGeneratorTraceEventTotalEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146GeneralMovingTargetDiscreteEmGeneratorTraceFieldLaplacianLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146GeneralMovingTargetDiscreteEmGeneratorTraceFieldLaplacianDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146GeneralMovingTargetDiscreteEmGeneratorPointwiseTraceEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146GeneralMovingTargetDiscreteEmGeneratorPointwiseTraceEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147GeneralMovingTargetDiscreteEmGeneratorPointwiseActionDefTraceLaplacianLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147GeneralMovingTargetDiscreteEmGeneratorPointwiseActionDefTraceLaplacianDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147GeneralMovingTargetDiscreteEmGeneratorPointwiseStdBasisActionTraceLaplacianLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147GeneralMovingTargetDiscreteEmGeneratorPointwiseStdBasisActionTraceLaplacianDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147GeneralMovingTargetDiscreteEmGeneratorPointwiseLawIntegralTraceLaplacianLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147GeneralMovingTargetDiscreteEmGeneratorPointwiseLawIntegralTraceLaplacianDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148GeneralMovingTargetDiscreteEmGeneratorPointwiseStateEventTraceLaplacianMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148GeneralMovingTargetDiscreteEmGeneratorPointwiseStateEventTraceLaplacianDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148GeneralMovingTargetDiscreteEmGeneratorStateEventPointwiseScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148GeneralMovingTargetDiscreteEmGeneratorStateEventPointwiseScoutDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148GeneralMovingTargetDiscreteEmGeneratorTotalEventSourceFunctionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148GeneralMovingTargetDiscreteEmGeneratorTotalEventSourceFunctionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149GeneralMovingTargetDiscreteEmGeneratorTotalEventStdBasisSourceFunctionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149GeneralMovingTargetDiscreteEmGeneratorTotalEventStdBasisSourceFunctionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149GeneralMovingTargetDiscreteEmGeneratorTotalEventStdBasisSourceEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149GeneralMovingTargetDiscreteEmGeneratorTotalEventStdBasisSourceEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceFieldSourceEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceFieldSourceEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle150GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceLawIntegralSourceEventMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle150GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceStateIntegralSourceEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle150GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceLaplacianStateIntegralSourceEventLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle150GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceLawIntegralSourceEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle151GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceLaplacianStateIntegralPointwiseEventObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle151GeneralMovingTargetDiscreteEmGeneratorTotalEventTraceLaplacianStateIntegralPointwiseEventDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle151GeneralMovingTargetDiscreteEmGeneratorPointwiseEventSourceFieldLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle151GeneralMovingTargetDiscreteEmGeneratorPointwiseEventSourceFieldDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle152GeneralMovingTargetDiscreteEmGeneratorEventSourceFieldStdBasisLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle152GeneralMovingTargetDiscreteWeakFpSourceFieldStdBasisScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle152GeneralMovingTargetDiscreteWeakFpSourceFieldPointwiseLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle152GeneralMovingTargetDiscreteEmGeneratorEventSourceFieldStdBasisDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle153GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralSourceFunctionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle153GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralStdBasisSourceFunctionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle153GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralSourceFunctionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle154GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralTraceFieldSourceFunctionalLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle154GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralTraceLawIntegralLaplacianFieldScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle154GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralTraceStateIntegralLaplacianFieldLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle154GeneralMovingTargetDiscreteEmGeneratorLaplacianStateIntegralTraceFieldSourceFunctionalDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle155GeneralMovingTargetDiscreteEmGeneratorTraceStateIntegralLaplacianFieldLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle155GeneralMovingTargetDiscreteEmGeneratorTraceStateIntegralLaplacianFieldDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle156GeneralMovingTargetDiscreteEmGeneratorTraceFieldPointwiseLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle156GeneralMovingTargetDiscreteEmGeneratorTraceFieldPointwiseDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle157GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldPointwiseStdBasisLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle157GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldPointwiseLaplacianScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle157GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldPointwiseScalarLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle157GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldPointwiseStdBasisDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle158GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldPointwiseScalarAuditObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle158GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldBrownianDefLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle158GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldPointwiseScalarAuditDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle159GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldBrownianPointwiseLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle159GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldBrownianPointwiseStdBasisLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle159GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldBrownianPointwiseDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle160GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle160GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoPointwiseScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle160GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoPointwiseCoordinateLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle160GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle161GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoCoordinateGeneratorLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle161GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoOneDimTaylorScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle161GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoOneDimTaylorMomentLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle161GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoCoordinateGeneratorDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle162GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorRemainderLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle162GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderScoutObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle162GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderDctLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle162GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorRemainderDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle163GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoPointwiseTaylorLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle163GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderSourceEqLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle163GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoPointwiseTaylorDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle164GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderMeasLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle164GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderQuadraticBoundIntLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle164GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderMeasDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle165GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderQuadraticBoundLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle165GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorQuotientSplitLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle165GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderQuadraticBoundDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle166GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoFirstOrderRemainderLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle166GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoIntervalTaylorLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle166GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSignedIntervalTaylorLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle166GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoFirstOrderRemainderDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle167GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorReflectMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle167GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorReflectDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle167GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorCompatLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle167GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoLineContDiffLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle168GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceContDiffMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle168GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoLineSecondLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle169GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDirectionalSecondMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle169GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDirectionalSecondLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle167GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorCompatLower1Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle168GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceContDiffDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle169GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDirectionalSecondDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle170GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianOpNormLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle170GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianOpNormDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle171GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle171GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle171GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle171GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle172GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle172GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle172GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle172GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle173GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle173GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle173GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle173GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle174GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticVariationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle174GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticVariationLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle174GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticVariationLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle174GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticVariationDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle175GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorDominationMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle175GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticCoeffLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle175GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticCoeffLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle175GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorDominationDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle176GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoVarianceOneMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle176GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoVarianceOneLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle176GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoVarianceOneLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle176GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoVarianceOneDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle177GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSecondTaylorCoeffMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle177GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSecondTaylorCoeffDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle178GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedVarianceMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle178GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedCoordinateLawLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle178GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedCoordinateLawLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle178GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedVarianceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle179GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianAuditScalarLineCoeffMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle179GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianAuditScalarLineCoeffDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle179GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoScalarLineCoeffLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle179GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoScalarLineCoeffLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle180GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle180GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoPolynomialIntegrabilityLower1Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle180GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDominatedRemainderLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle180GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle183GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle183GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegrandLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle183GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle184GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralLawMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle184GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedLawLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle184GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralLawDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle185GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderLimitLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle185GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderLimitDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle186GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandPointwiseMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle186GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandPointwiseDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle186GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceLinearTermLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle186GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceLinearTermLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle187GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceQuadraticTermMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle187GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceQuadraticTermDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle188GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandDefMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle188GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandDefDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle188GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedLineTaylorSplitLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle188GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedLineTaylorSplitLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle189GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegralRawTermsMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle189GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegralRawTermsDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle189GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandRawLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle189GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandRawLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle190GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedIncrementCoordinateLineMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle190GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedIncrementCoordinateLineDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle190GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderLimitLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle190GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderLimitLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle191GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle191GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle192GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegralLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle192GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegralLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle193GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle193GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentRemainderLimitLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle193GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentRemainderLimitLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle193GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentMiddleDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle197GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderBoundDefLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle197GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderBoundDefLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle198GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoCoordinateSumLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle198GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoCoordinateSumLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle201GeneralMovingTargetDiscreteEmInterpolationSelectedTestLaplacianContinuityLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle201GeneralMovingTargetDiscreteEmInterpolationSelectedTestLaplacianContinuityLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle202GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedEndpointCoordinateLineLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle202GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedEndpointCoordinateLineLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle203GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedIncrementEndpointLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle203GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedIncrementEndpointLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle204GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandSelectedIncrementLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle204GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandSelectedIncrementLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle205GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedLineTaylorRawSplitLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle205GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedLineTaylorRawSplitLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle206GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderPullbackMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle206GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderPullbackMiddleDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle206GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderPullbackLower2Obligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle206GeneralMovingTargetDiscreteEmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderPullbackLower2Dag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle130GeneralMovingTargetDiscreteEmLaplacianIbPDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle70GeneralMovingTargetDiscreteConditionalLawDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69MainSkeletonAnalyticInterfaceDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.guidedResidualNormalizerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.guidedResidualIdentityObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDerivativeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDvEnergyObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDvPositiveAlphaScalingObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDvFiniteLogMgfWitnessObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetGronwallApplicationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle24GeneralVaSaldGronwallMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetGronwallSideConditionObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetPureContractionObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle16UnifiedForwardKlTransportBridgeMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle16UnifiedForwardKlTransportBridgeLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.unifiedForwardKlTransportBridgeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.unifiedForwardKlSpecializationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalVaSaldGuidedPathMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64GeneralMovingTargetDiscreteConditionalDriftLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteEmInterpolationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteConstantScheduleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteFrozenDeltaObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle28GeneralVaSaldDerivativeSideMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle28GeneralVaSaldDerivativeSideLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDerivativeSideConditionObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54GeneralMovingTargetDiscreteEmFpLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDerivativeObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53GeneralMovingTargetDiscreteDerivativeDvLowerObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDvMEnergyObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteDvFiniteLogMgfWitnessObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteGronwallApplicationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle20GeneralVaSaldDiscreteGronwallMiddleObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalMovingTargetDiscreteGronwallSideConditionObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteUnifiedVaSaldSpecializationObligation`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.gronwallContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.dvContract`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.piDefinitionContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.lsiKlFiVocabularyContract`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.continuousSaldContract`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.forwardKlProofDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteForwardKlProofDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.discreteSaldContract`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.generalVaSaldProofDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalVaSaldDiscreteProofDag`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.guidedResidualContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalVaSaldContract`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.unifiedForwardKlContract`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.generalVaSaldDiscreteContract`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.saldTheoremContracts`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle49MainSkeletonDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle50ForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle51DiscreteForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle52GuidedGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle53UnifiedDiscreteGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle54MainSkeletonDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle55ForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle56DiscreteForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle57GuidedGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle58UnifiedDiscreteGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle59MainSkeletonDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle60ForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle65ForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle61DiscreteForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle66DiscreteForwardKlDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle62GuidedGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle67GuidedGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle68UnifiedDiscreteGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle69MainSkeletonDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle70EmConditionalLawDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle71EmEndpointConditionalDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle72EmWeakFpDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle73EmKlDerivativeWeakFpDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle74EmConditionalKernelMeasureDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle75EmConditionalLawBackfillDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle76EmEndpointConditionalDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle77EmWeakFpSourceSignsDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle78EmKlDerivativeGeneratorDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle79EmWeakFpGeneratorMeasureDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle80EmConditionalLawMeasurabilityDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle81EmEndpointConditionalDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle82EmWeakFpSourceSignsDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle83EmKlDerivativeEndpointWeakFpDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle84ActiveEmBackendDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle85EmConditionalKernelBoundaryDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle86EmWeakFpGeneratorBoundaryDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle87EmKlLogRatioBoundaryDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle88EmKlLogRatioAdmissibilityDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle89DiscreteForwardKlPressureDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle90DiscreteForwardKlMassConservationDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle91EmConditionalKernelDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle92EmWeakFpGeneratorSplitDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle93EmKlMassDerivativeDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle94EmWeakFpDriftActionDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle95DiscreteForwardKlPressureDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle96EmCondexpGeneratorPairingDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle97EmCanonicalCondDistribPairingDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle98EmBarBDivergenceNoBoundaryDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle99EmRawKlDerivativeDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle100EmBarBWeakGradDefDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle101DiscreteForwardKlPressureDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle102DiscreteForwardKlZeroFluxTraceBoundaryDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle103EmConditionalKernelComponentVersionDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle104EmWeakFpNamedLawTransportDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle105EmPureRawKlDerivativeDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle106EmCanonicalCondDistribDriftDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle107DiscreteForwardKlBoundaryFluxDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle108DiscreteForwardKlHatRhoBarBFluxContinuityDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle108DiscreteForwardKlHatRhoBarBFluxDerivativeDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle109EmNamedBarBSourceDefDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110EmNamedBarBEqMeasDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle110EmWeakFpDominatedGeneratorDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle111EmKlTargetTimeDerivativeDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle112EmNamedBarBCondExpRepresentativeDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle113EmNamedBarBStateFieldRegularityDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle114EmCanonicalBarBStateEventSetIntegralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle115EmNamedBarBSelectedVersionDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle116EmCanonicalBarBCondExpDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle117EmNamedBarBVersionSelectionDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle118EmCanonicalBarBDownstreamDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle119EmCanonicalBarBWeakFpConsumerDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle120EmPathDerivativeDominationDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle121EmSampleMeasDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle122EmSampleIntDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle123EmSampleDerivMeasDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle124EmSampleDerivBoundDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle124EmBoundIntDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle125EmPathDerivDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle126EmDerivValueDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle127EmDriftActionDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle128EmNoBoundaryTraceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle129EmDiffusionSourceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle130EmLaplacianIbPDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle131EmSecondGreenNoBoundaryFluxDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle132EmSecondGreenTestTraceZeroDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle133EmSecondGreenPointwiseTestTraceZeroDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle134EmTestLaplacianSourcePullbackDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle135EmTestLaplacianStdBasisDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle136EmWeakFpStdBasisSourceDensityDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle137EmWeakFpDensityLaplacianActionDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle138EmFirstGreenPointwiseBoundaryFluxDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle139EmWeakFpSourceLaplacianDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle140EmLaplacianSourceStateIntegralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle141EmGeneratorStdBasisSourceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle142EmGeneratorTraceStateIntegralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle143EmGeneratorLaplacianStateEventDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle144EmGeneratorLaplacianStdBasisEventDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle145EmGeneratorLaplacianStdBasisLawDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle146EmGeneratorTraceEventTotalEventDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle147EmGeneratorPointwiseActionDefTraceLaplacianDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle148EmGeneratorPointwiseStateEventTraceLaplacianDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle149EmGeneratorTotalEventStdBasisSourceFunctionalDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle150EmGeneratorTotalEventTraceLawIntegralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle151EmGeneratorTotalEventTraceLaplacianStateIntegralPointwiseEventDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle152EmGeneratorEventSourceFieldStdBasisDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle153EmGeneratorLaplacianStateIntegralSourceFunctionalDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle154EmGeneratorLaplacianStateIntegralTraceFieldSourceFunctionalDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle155EmGeneratorTraceStateIntegralLaplacianFieldDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle156EmGeneratorTraceFieldPointwiseDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle157EmGeneratorLaplacianEventFieldPointwiseStdBasisDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle158EmGeneratorLaplacianEventFieldPointwiseScalarAuditDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle159EmGeneratorLaplacianEventFieldBrownianPointwiseDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle160EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle161EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoCoordinateGeneratorDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle162EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorRemainderDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle163EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoPointwiseTaylorDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle164EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoMeasDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle165EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHBoundDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle166EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHFirstDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle167EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorReflectDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle168EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceContDiffDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle169EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoDirectionalSecondDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle170EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianOpNormDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle171EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle172EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle173EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianSourceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle174EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoQuadraticVariationDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle175EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorDominationDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle176EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoVarianceOneDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle177EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSecondTaylorCoeffDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle178EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedVarianceDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle179EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoHessianAuditScalarLineCoeffDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle180EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle183EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle184EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralLawDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle185EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderLimitDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle186EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle187EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceQuadraticTermDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle188EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandDefDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle189EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegralRawTermsDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle190EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedIncrementCoordinateLineDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle191EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceIntegralScalarPushforwardDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle192EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorIntegralScalarPushforwardDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle193EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoTaylorMomentScalarPushforwardDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle197EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoNormalizedRemainderBoundDefDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle198EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoCoordinateSumDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle199EmInterpolationWeakFpSourceLaplacianFieldMeasDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle201EmInterpolationSelectedTestLaplacianContinuityDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle202EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedEndpointCoordinateLineDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle203EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedIncrementEndpointDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle204EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSourceTaylorIntegrandSelectedIncrementDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle205EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoSelectedLineTaylorRawSplitDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle206EmGeneratorLaplacianEventFieldFrozenScalarBrownianItoRemainderPullbackDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle63UnifiedDiscreteGeneralDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.cycle64MainSkeletonDependencyNames`	resolved	Field values and defaults explained; no mathematical proof claimed.
`AutoSamplingTheory.SALD.saldFirstProofDag`	unresolved	unsupported expression or unaudited data reference
`AutoSamplingTheory.SALD.saldExcludedFiles`	unresolved	unsupported trailing expression or declaration context