ForkRaceFoldTheorems.AdaptiveWitnesses.AdaptiveWitnessDescriptor |
Verified |
ForkRaceFoldTheorems.AdaptiveWitnesses.adaptiveWitnessCatalog |
Verified |
ForkRaceFoldTheorems.AdaptiveWitnesses.adaptiveWitnessCatalogJson |
Verified |
ForkRaceFoldTheorems.AdaptiveWitnesses.twoNodeAdaptiveWitness |
Verified |
ForkRaceFoldTheorems.AntiTheoremContinuousDecay.continuous_decay_fails |
Verified |
ForkRaceFoldTheorems.AntiTheoremStallInevitable.UnboundedLoop |
Verified |
ForkRaceFoldTheorems.AntiTheoremStallInevitable.stall_inevitable_for_unbounded |
Verified |
ForkRaceFoldTheorems.AntiTheoremStalledQueueBudget.QueueState |
Verified |
ForkRaceFoldTheorems.AntiTheoremVoidSaturation.void_saturation_limit |
Verified |
ForkRaceFoldTheorems.AntiThmPaleoclimatologySeismologyBudgetNotPositiveBeta1.budgetSurplus |
Verified |
ForkRaceFoldTheorems.AntiThmPaleoclimatologySeismologyBudgetNotPositiveBeta1.budget_not_positive_beta1 |
Verified |
ForkRaceFoldTheorems.ArrowBuleDeficit.ArrowFailure |
Verified |
ForkRaceFoldTheorems.ArrowBuleDeficit.buleConservationShift |
Verified |
ForkRaceFoldTheorems.ArrowBuleDeficit.buleDeficit |
Verified |
ForkRaceFoldTheorems.Axioms.C1C4Model |
Verified |
ForkRaceFoldTheorems.Axioms.c1_c4_imply_safety_and_liveness |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyCompositionWitness |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyDeficitDominatingFailureTaxFrontier |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyFailureParetoFrontier |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyFailureParetoPoint |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyFailureTaxObservableFrontier |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyGeneralizedConvexCost |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyLinearOptimalityInstance |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyLinearWorkload |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyMonotoneObjective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyMonotoneProfileFamily |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyMonotoneProfileWorkload |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyRealMonotoneObjective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyRealStrictObjective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyStrictGeneralizedConvexCost |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.BeautyStrictObjective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beautyA |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beautyA_eq |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beautyA_eq_implementation |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beautyB |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beautyB_eq |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beautyB_eq_implementation |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.beauty_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_generalized_convex_cost_global_minimum_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_generalized_convex_cost_minimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_generalized_convex_cost_unique_minimizer_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_real_objective_global_minimum_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_real_objective_minimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_real_objective_optimality_of_strict_latency_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_real_objective_optimality_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_real_objective_optimality_of_strict_waste_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_real_objective_unique_minimizer_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_strict_generalized_convex_cost_optimality_of_strict_latency_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_strict_generalized_convex_cost_optimality_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.best_strict_generalized_convex_cost_optimality_of_strict_waste_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.comparisonWorkload |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.cost |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficit |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitA |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitA_eq |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitB |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitB_eq |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitB_positive_of_strict_underfit |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitDominatingFailureTaxFrontierOfStrictLatencyProfile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.deficitDominatingFailureTaxFrontierOfStrictWasteProfile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.exists_componentwise_improving_positive_deficit_point |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.exists_positive_deficit_point_below_zero_deficit_for_generalized_convex_cost |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.exists_positive_deficit_point_below_zero_deficit_for_real_objective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.failureParetoFrontier |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.failureParetoPoint |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.failureTaxObservableFrontierOfStrictLatencyProfile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.failureTaxObservableFrontierOfStrictWasteProfile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floorPoint |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floorPoint_zero_deficit |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_generalized_convex_cost_minimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_objective_minimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_strict_generalized_convex_cost_global_minimum |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_strict_generalized_convex_cost_optimality |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_strict_generalized_convex_cost_unique_minimizer |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_strict_objective_global_minimum |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_strict_objective_optimality |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.floor_strict_objective_unique_minimizer |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.generalized_convex_cost_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.globalBu |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.global_eq_sum |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.latency |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.latencyA |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.latencyB |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.latencyWasteSumCost |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.latencyWasteSumObjective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.latency_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.linear_cost_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.objectiveScore |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.objective_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.oneStepFloor |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.oneStepFloor_eq_base_at_zero |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.oneStepFloor_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.oneStepFloor_strict_of_pos |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.optimality |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.real_objective_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.schema_instantiated |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_beauty_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_deficit_of_full_fit_underfit |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_generalized_convex_cost_optimality_of_strict_latency_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_generalized_convex_cost_optimality_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_generalized_convex_cost_optimality_of_strict_waste_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_latency_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_objective_optimality_of_latency |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_objective_optimality_of_positive_penalty |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_objective_optimality_of_strict_latency_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_objective_optimality_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_objective_optimality_of_strict_waste_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_objective_optimality_of_waste |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_real_objective_optimality_of_strict_latency_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_real_objective_optimality_of_strict_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_real_objective_optimality_of_strict_waste_profile |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.strict_waste_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toAssumptions |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toDefinitionAssumptions |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toFailureParetoFrontier |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toFailureTaxObservableFrontier |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toLatencyAssumptions |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toParetoAssumptions |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.toWasteAssumptions |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.underfitPoint |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.underfitPoint_beats_floor_for_sum_cost |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.underfitPoint_beats_floor_for_sum_objective |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.underfitPoint_improves_both_coordinates |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.underfitPoint_positive_deficit |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.waste |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.wasteA |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.wasteB |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.waste_monotone |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.zero_deficit_generalized_convex_cost_optimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.zero_deficit_objective_optimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.zero_deficit_of_full_fit |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.zero_deficit_pareto |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.zero_deficit_real_objective_optimal |
Verified |
ForkRaceFoldTheorems.BeautyOptimality.zero_deficit_strict_optimality |
Verified |
ForkRaceFoldTheorems.BiologicalCellularQueueBridge.BiologicalCellularQueueAssumptions |
Verified |
ForkRaceFoldTheorems.BiologicalCellularQueueBridge.biological_cellular_queue_bridge_exact |
Verified |
ForkRaceFoldTheorems.BiologicalStallRecovery.ImmuneResponse |
Verified |
ForkRaceFoldTheorems.BiologicalStallRecovery.recovery_matches_immune_response |
Verified |
ForkRaceFoldTheorems.BridgeCyberCryptographicRouting.cyber_crypto_routing_bound |
Verified |
ForkRaceFoldTheorems.BridgeEpigeneticCryptography.HashRotation |
Verified |
ForkRaceFoldTheorems.BridgeEpigeneticCryptography.MethylationState |
Verified |
ForkRaceFoldTheorems.BridgeEpigeneticCryptography.epi_crypto_equivalence |
Verified |
ForkRaceFoldTheorems.BridgeNegotiationBandwidth.negotiation_bandwidth_scaling |
Verified |
ForkRaceFoldTheorems.BridgeTectonicEconomics.LiquidityStructuralErrork |
Verified |
ForkRaceFoldTheorems.BridgeTectonicEconomics.SubductionZone |
Verified |
ForkRaceFoldTheorems.BridgeTectonicEconomics.tectonic_economic_equivalence |
Verified |
ForkRaceFoldTheorems.Claims.AdditiveFold |
Verified |
ForkRaceFoldTheorems.Claims.CancellationDifferenceFamily |
Verified |
ForkRaceFoldTheorems.Claims.CancellationTargetFamily |
Verified |
ForkRaceFoldTheorems.Claims.OrderInvariant |
Verified |
ForkRaceFoldTheorems.Claims.PartitionAdditive |
Verified |
ForkRaceFoldTheorems.Claims.SettlementMode |
Verified |
ForkRaceFoldTheorems.Claims.WeightedQueueBalance |
Verified |
ForkRaceFoldTheorems.Claims.additive_fold_iff_cancellation_difference_family |
Verified |
ForkRaceFoldTheorems.Claims.band_gap_implies_beta2_positive |
Verified |
ForkRaceFoldTheorems.Claims.beta2FromBandGap |
Verified |
ForkRaceFoldTheorems.Claims.classicalBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.classicalDeficit |
Verified |
ForkRaceFoldTheorems.Claims.classicalRounds |
Verified |
ForkRaceFoldTheorems.Claims.earlyStopFold |
Verified |
ForkRaceFoldTheorems.Claims.earlyStopFold3 |
Verified |
ForkRaceFoldTheorems.Claims.early_stop_fold_order_sensitive |
Verified |
ForkRaceFoldTheorems.Claims.early_stop_misses_cancellation_target_family |
Verified |
ForkRaceFoldTheorems.Claims.early_stop_not_order_invariant |
Verified |
ForkRaceFoldTheorems.Claims.early_stop_not_partition_additive |
Verified |
ForkRaceFoldTheorems.Claims.first_law_conservation |
Verified |
ForkRaceFoldTheorems.Claims.flowBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.intrinsicBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.isChainNode |
Verified |
ForkRaceFoldTheorems.Claims.isForkNode |
Verified |
ForkRaceFoldTheorems.Claims.isJoinNode |
Verified |
ForkRaceFoldTheorems.Claims.linearFold3 |
Verified |
ForkRaceFoldTheorems.Claims.linearFoldInt |
Verified |
ForkRaceFoldTheorems.Claims.linear_fold_order_invariant_on_cancellation_witness |
Verified |
ForkRaceFoldTheorems.Claims.linear_fold_partition_additive_global |
Verified |
ForkRaceFoldTheorems.Claims.linear_fold_partition_additivity |
Verified |
ForkRaceFoldTheorems.Claims.linear_fold_preserves_cancellation_target_family |
Verified |
ForkRaceFoldTheorems.Claims.local_node_decomposition |
Verified |
ForkRaceFoldTheorems.Claims.nonadditive_fold_misses_cancellation_difference_family |
Verified |
ForkRaceFoldTheorems.Claims.protocolIntrinsicBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.protocolTopologicalDeficit |
Verified |
ForkRaceFoldTheorems.Claims.protocol_deficits |
Verified |
ForkRaceFoldTheorems.Claims.quantumBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.quantumDeficit |
Verified |
ForkRaceFoldTheorems.Claims.quantumRounds |
Verified |
ForkRaceFoldTheorems.Claims.quantumSpeedup |
Verified |
ForkRaceFoldTheorems.Claims.quantum_deficit_is_zero |
Verified |
ForkRaceFoldTheorems.Claims.quantum_speedup_equals_classical_deficit_plus_one |
Verified |
ForkRaceFoldTheorems.Claims.quicBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.searchSize |
Verified |
ForkRaceFoldTheorems.Claims.settlementDeficit |
Verified |
ForkRaceFoldTheorems.Claims.settlementImplementationBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.settlementIntrinsicBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.settlement_deficit_values |
Verified |
ForkRaceFoldTheorems.Claims.speculative_tree_denominator_positive |
Verified |
ForkRaceFoldTheorems.Claims.speculative_tree_numerator_positive |
Verified |
ForkRaceFoldTheorems.Claims.tcpBeta1 |
Verified |
ForkRaceFoldTheorems.Claims.totalScenarioMass |
Verified |
ForkRaceFoldTheorems.Claims.turbulentIdleDen |
Verified |
ForkRaceFoldTheorems.Claims.turbulentIdleNum |
Verified |
ForkRaceFoldTheorems.Claims.turbulent_idle_bounds |
Verified |
ForkRaceFoldTheorems.Claims.turbulent_idle_den_positive |
Verified |
ForkRaceFoldTheorems.Claims.turbulent_idle_num_nonnegative |
Verified |
ForkRaceFoldTheorems.Claims.ventEnergy |
Verified |
ForkRaceFoldTheorems.Claims.weightedCustomerTime |
Verified |
ForkRaceFoldTheorems.Claims.weightedSojournTime |
Verified |
ForkRaceFoldTheorems.Claims.weighted_queue_customer_time_balance |
Verified |
ForkRaceFoldTheorems.Claims.weighted_queue_expectation_balance |
Verified |
ForkRaceFoldTheorems.Claims.weighted_queue_prefix_customer_time_balance |
Verified |
ForkRaceFoldTheorems.Claims.weighted_queue_prefix_expectation_balance |
Verified |
ForkRaceFoldTheorems.Claims.whipTotalTime |
Verified |
ForkRaceFoldTheorems.Claims.whip_ceiling_term_is_one |
Verified |
ForkRaceFoldTheorems.Claims.whip_strict_crossover_exists |
Verified |
ForkRaceFoldTheorems.Claims.whip_total_time_after_full_sharding |
Verified |
ForkRaceFoldTheorems.Claims.whip_total_time_strictly_increases_after_full_sharding |
Verified |
ForkRaceFoldTheorems.Claims.winnerByMagnitudeFold |
Verified |
ForkRaceFoldTheorems.Claims.winnerByMagnitudeFold3 |
Verified |
ForkRaceFoldTheorems.Claims.winner_selection_misses_cancellation_target_family |
Verified |
ForkRaceFoldTheorems.Claims.winner_selection_not_order_invariant |
Verified |
ForkRaceFoldTheorems.Claims.winner_selection_not_partition_additive |
Verified |
ForkRaceFoldTheorems.Claims.winner_selection_partition_counterexample |
Verified |
ForkRaceFoldTheorems.Claims.worthingtonDen |
Verified |
ForkRaceFoldTheorems.Claims.worthingtonNum |
Verified |
ForkRaceFoldTheorems.Claims.worthington_num_lt_den |
Verified |
ForkRaceFoldTheorems.ConsciousnessVsObjectivity.ConsciousTrajectory |
Verified |
ForkRaceFoldTheorems.ConsciousnessVsObjectivity.KnowledgeTrajectory |
Verified |
ForkRaceFoldTheorems.ConsciousnessVsObjectivity.ObjectiveTrajectory |
Verified |
ForkRaceFoldTheorems.ConsciousnessVsObjectivity.consciousness_greater_than_objectivity |
Verified |
ForkRaceFoldTheorems.ConsciousnessVsObjectivity.objectivity_has_zero_vitality |
Verified |
ForkRaceFoldTheorems.ConsciousnessVsObjectivity.vitality |
Verified |
ForkRaceFoldTheorems.ContrarianAntiTheoremStallPreventsCollapse.SystemCollapse |
Verified |
ForkRaceFoldTheorems.ContrarianAntiTheoremStallPreventsCollapse.contrarian_stall_prevents_collapse |
Verified |
ForkRaceFoldTheorems.ContrarianAntiTheoremStallPreventsCollapse.thm_contrarian_stall_prevents_collapse |
Verified |
ForkRaceFoldTheorems.ContrarianByzantineLatencyFeature.byzantine_latency_stabilization |
Verified |
ForkRaceFoldTheorems.ContrarianDecouplingReducesThroughput.DecouplingThroughputAdapter |
Verified |
ForkRaceFoldTheorems.ContrarianDecouplingReducesThroughput.bottleneck_bound |
Verified |
ForkRaceFoldTheorems.ContrarianExecutionIsLoss.ContrarianExecutionIsLossAssumptions |
Verified |
ForkRaceFoldTheorems.ContrarianExecutionIsLoss.contrarian_execution_is_loss |
Verified |
ForkRaceFoldTheorems.ContrarianHighDepthSemanticShallowness.ProofDepth |
Verified |
ForkRaceFoldTheorems.ContrarianHighDepthSemanticShallowness.SemanticShallowness |
Verified |
ForkRaceFoldTheorems.ContrarianHighDepthSemanticShallowness.high_depth_implies_shallow_semantics |
Verified |
ForkRaceFoldTheorems.ContrarianHighFrictionLiveness.FrictionWait |
Verified |
ForkRaceFoldTheorems.ContrarianHighFrictionLiveness.LivenessBounds |
Verified |
ForkRaceFoldTheorems.ContrarianHighFrictionLiveness.friction_increases_liveness |
Verified |
ForkRaceFoldTheorems.ContrarianIncompletenessOptimality.PerfectOptimality |
Verified |
ForkRaceFoldTheorems.ContrarianIncompletenessOptimality.optimality_incompleteness |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationAbsenceInducesSpeed.absence_induces_max_speed |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationAbsenceInducesSpeed.executionSpeed |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationAbsenceInducesSpeed.overhead_strictly_reduces_speed |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationDeficitAcceleratesConvergence.InterpretationState |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationDeficitAcceleratesConvergence.deficit_is_acceleration |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationLayerMissingEnablesTensegrity.ContrarianTensegrityAssumptions |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationLayerMissingEnablesTensegrity.contrarian_missing_interpretation_enables_tensegrity |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationLayerMissingOptimal.MissingInterpretation |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationLayerMissingOptimal.missing_layer_is_optimal |
Verified |
ForkRaceFoldTheorems.ContrarianInterpretationLayerMissingProvidesRedundancy.contrarian_interpretation_missing_redundancy |
Verified |
ForkRaceFoldTheorems.ContrarianLatencyIsKnowledge.SystemLatency |
Verified |
ForkRaceFoldTheorems.ContrarianLatencyIsKnowledge.latency_yields_insight |
Verified |
ForkRaceFoldTheorems.ContrarianLatentWitnessAbsence.LatentWitness |
Verified |
ForkRaceFoldTheorems.ContrarianLatentWitnessAbsence.latent_witness_absence_optimal |
Verified |
ForkRaceFoldTheorems.ContrarianMemoryThrashingEfficiency.cache_miss_optimality |
Verified |
ForkRaceFoldTheorems.ContrarianMissingInterpretationOptimal.MissingInterpretation |
Verified |
ForkRaceFoldTheorems.ContrarianMissingInterpretationOptimal.OptimalConsensus |
Verified |
ForkRaceFoldTheorems.ContrarianMissingInterpretationOptimal.missing_interpretation_optimal_consensus |
Verified |
ForkRaceFoldTheorems.ContrarianMissingLayerStabilization.MissingLayerStabilizationAssumptions |
Verified |
ForkRaceFoldTheorems.ContrarianMissingLayerStabilization.contrarian_missing_layer_stabilization |
Verified |
ForkRaceFoldTheorems.ContrarianObservabilityDegrades.SystemState |
Verified |
ForkRaceFoldTheorems.ContrarianObservabilityDegrades.observability_loss |
Verified |
ForkRaceFoldTheorems.ContrarianOracleSpeedupIllusion.OracleSpeedupIllusionAssumptions |
Verified |
ForkRaceFoldTheorems.ContrarianOracleSpeedupIllusion.contrarian_oracle_speedup_illusion |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallInducesAntiFragility.stall_is_anti_fragile |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallInducesClarity.clarity_level |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallInducesClarity.noise_level |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallInducesClarity.stall_induces_clarity |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallIsHomeostasis.HomeostaticSystem |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallIsInfiniteThroughput.InfiniteThroughputStall |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallIsInfiniteThroughput.contrarian_stall_is_infinite_throughput |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallPreventsCatastrophicCollapse.collapseThreshold |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallPreventsCatastrophicCollapse.stall_is_necessary |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallPreventsCatastrophicCollapse.stall_maintains_thermodynamic_bound |
Verified |
ForkRaceFoldTheorems.ContrarianOracleStallPreventsCatastrophicCollapse.systemEntropy |
Verified |
ForkRaceFoldTheorems.ContrarianProofDepthBypass.ProofDepthFragility |
Verified |
ForkRaceFoldTheorems.ContrarianProofDepthBypass.contrarian_proof_depth_bypass |
Verified |
ForkRaceFoldTheorems.ContrarianProofDepthIncreasesFragility.ProofTree |
Verified |
ForkRaceFoldTheorems.ContrarianProofDepthIncreasesFragility.fragility_scales_with_depth |
Verified |
ForkRaceFoldTheorems.ContrarianShallowProofDepthOptimality.ShallowProof |
Verified |
ForkRaceFoldTheorems.ContrarianShallowProofDepthOptimality.shallow_proof_depth_optimal |
Verified |
ForkRaceFoldTheorems.ContrarianShallowProofRobustness.ProofDepth |
Verified |
ForkRaceFoldTheorems.ContrarianShallowProofRobustness.shallow_proof_is_robust |
Verified |
ForkRaceFoldTheorems.ContrarianStallInducesGenerality.ExecutionStall |
Verified |
ForkRaceFoldTheorems.ContrarianStallInducesGenerality.SystemGenerality |
Verified |
ForkRaceFoldTheorems.ContrarianStallInducesGenerality.stall_induces_generality |
Verified |
ForkRaceFoldTheorems.ContrarianStallIsInformationDensity.StallDensity |
Verified |
ForkRaceFoldTheorems.ContrarianStallIsInformationDensity.stall_is_density |
Verified |
ForkRaceFoldTheorems.ContrarianStallIsOptimal.StallState |
Verified |
ForkRaceFoldTheorems.ContrarianStallIsOptimal.stall_can_be_optimal |
Verified |
ForkRaceFoldTheorems.ContrarianStallIsProgress.ContrarianStallIsProgressAssumptions |
Verified |
ForkRaceFoldTheorems.ContrarianStallIsProgress.contrarian_stall_is_progress |
Verified |
ForkRaceFoldTheorems.ContrarianTransparencyIncreasesFraud.TransparencyFraudAdapter |
Verified |
ForkRaceFoldTheorems.ContrarianTransparencyIncreasesFraud.fraud_surface_increases_with_transparency |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapAmplifiesClarity.WitnessState |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapAmplifiesClarity.gap_is_clarity |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapMaximizesBandwidth.witness_gap_bandwidth |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapMaximizesTensegrityResilience.ContrarianWitnessAssumptions |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapMaximizesTensegrityResilience.contrarian_witness_gap_maximizes_resilience |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapOracleStallMitigation.OracleExecutionComplexity |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapOracleStallMitigation.OracleStallThreshold |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapOracleStallMitigation.WitnessGapBound |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapOracleStallMitigation.contrarian_witness_gap_mitigation |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapProvidesSecurity.WitnessGapSecurity |
Verified |
ForkRaceFoldTheorems.ContrarianWitnessGapProvidesSecurity.witness_gap_increases_cost |
Verified |
ForkRaceFoldTheorems.CosmogenesisBigBang.nothingness_is_impossible |
Verified |
ForkRaceFoldTheorems.CrossCybersecurityThermodynamicsPermutation.PermutationMixing |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrobiologyMeteorologyStallBridge.cross_domain_astrobiology_meteorology_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrobiologyPsychologyStallBridge.AstrobiologyPsychologyBridge |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrobiologyPsychologyStallBridge.astrobiology_psychology_bridge_stable |
Verified |
ForkRaceFoldTheorems.CrossDomainAstronomyCulinaryBridge.StarFlavor |
Verified |
ForkRaceFoldTheorems.CrossDomainAstronomyCulinaryBridge.star_flavor_invariant |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsCryptoZKP.EventHorizon |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsCryptoZKP.ZeroKnowledgeBoundary |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsCryptoZKP.event_horizon_is_zkp_boundary |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsNeurologyOracleBypass.cosmicExpansion |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsNeurologyOracleBypass.cross_domain_bypass |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsNeurologyOracleBypass.neuralFiring |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsNeurologyOracleBypass.oracle_stall_bypass |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsNutritionQueueKernelBridge.AstrophysicsNutritionBridge |
Verified |
ForkRaceFoldTheorems.CrossDomainAstrophysicsNutritionQueueKernelBridge.cross_domain_astro_nutrition_queue_stable |
Verified |
ForkRaceFoldTheorems.CrossDomainBiologicalOracleQueue.BiologicalOracleQueueAssumptions |
Verified |
ForkRaceFoldTheorems.CrossDomainBiologicalOracleQueue.cross_domain_biological_oracle_queue |
Verified |
ForkRaceFoldTheorems.CrossDomainCryptographyMusicWitnessBridge.CryptoMusic |
Verified |
ForkRaceFoldTheorems.CrossDomainCryptographyMusicWitnessBridge.witness_is_harmony |
Verified |
ForkRaceFoldTheorems.CrossDomainCryptographyMycologyOracleBypass.MycelialNetwork |
Verified |
ForkRaceFoldTheorems.CrossDomainCryptographyMycologyOracleBypass.OracleBypass |
Verified |
ForkRaceFoldTheorems.CrossDomainCryptographyMycologyOracleBypass.ZKP |
Verified |
ForkRaceFoldTheorems.CrossDomainCryptographyMycologyOracleBypass.cryptography_mycology_bypass |
Verified |
ForkRaceFoldTheorems.CrossDomainEcosystemCryptographyBridge.EcosystemCryptography |
Verified |
ForkRaceFoldTheorems.CrossDomainEcosystemCryptographyBridge.ecosystem_cryptography_bridges |
Verified |
ForkRaceFoldTheorems.CrossDomainExecutionStallMycology.ExecutionStall |
Verified |
ForkRaceFoldTheorems.CrossDomainExecutionStallMycology.MycelialNetwork |
Verified |
ForkRaceFoldTheorems.CrossDomainExecutionStallMycology.mycology_execution_stall_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainFluidDynamicsEconomicsBridge.FluidFlow |
Verified |
ForkRaceFoldTheorems.CrossDomainFluidDynamicsEconomicsBridge.LiquidityFlow |
Verified |
ForkRaceFoldTheorems.CrossDomainFluidDynamicsEconomicsBridge.flow_mapping |
Verified |
ForkRaceFoldTheorems.CrossDomainFungalNetworkRouting.fungal_routing_efficiency |
Verified |
ForkRaceFoldTheorems.CrossDomainInterpretationCybernetics.CyberneticFeedback |
Verified |
ForkRaceFoldTheorems.CrossDomainInterpretationCybernetics.InterpretationLayer |
Verified |
ForkRaceFoldTheorems.CrossDomainInterpretationCybernetics.cybernetic_interpretation_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainLegalImmunologyAlignment.LegalImmunology |
Verified |
ForkRaceFoldTheorems.CrossDomainLegalImmunologyAlignment.legal_immunology_aligns |
Verified |
ForkRaceFoldTheorems.CrossDomainLinguisticsEpidemiologyBridge.LinguisticsEpidemiologyAdapter |
Verified |
ForkRaceFoldTheorems.CrossDomainLinguisticsEpidemiologyBridge.transmission_bound |
Verified |
ForkRaceFoldTheorems.CrossDomainLinguisticsThermodynamicsBridge.LexicalDecay |
Verified |
ForkRaceFoldTheorems.CrossDomainLinguisticsThermodynamicsBridge.ThermodynamicDecay |
Verified |
ForkRaceFoldTheorems.CrossDomainLinguisticsThermodynamicsBridge.decay_isomorphism |
Verified |
ForkRaceFoldTheorems.CrossDomainMeteorologyRoutingBridge.AtmosphericRouting |
Verified |
ForkRaceFoldTheorems.CrossDomainMusicTypographyCryptography.MusicTypographyCryptographyAssumptions |
Verified |
ForkRaceFoldTheorems.CrossDomainMusicTypographyCryptography.cross_domain_music_typography_cryptography |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyAstrophysicsQueueKernelBridge.MycelialFilamentQueue |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyAstrophysicsQueueKernelBridge.mycology_astrophysics_queue_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyCryptographyWitnessBridge.cryptographicHashes |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyCryptographyWitnessBridge.gap_closure |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyCryptographyWitnessBridge.mycelialConnections |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyCryptographyWitnessBridge.witness_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyTensegrityInterpretationBridge.CrossDomainMycologyTensegrityAssumptions |
Verified |
ForkRaceFoldTheorems.CrossDomainMycologyTensegrityInterpretationBridge.cross_domain_mycology_tensegrity_interpretation |
Verified |
ForkRaceFoldTheorems.CrossDomainOceanographyArchitectureNetworkBridge.OceanArchitecture |
Verified |
ForkRaceFoldTheorems.CrossDomainOceanographyArchitectureNetworkBridge.ocean_is_network |
Verified |
ForkRaceFoldTheorems.CrossDomainOceanographyCryptographyQueueKernelBridge.HashCollisionTurbulence |
Verified |
ForkRaceFoldTheorems.CrossDomainOceanographyCryptographyQueueKernelBridge.depth_collision_bound |
Verified |
ForkRaceFoldTheorems.CrossDomainOceanographyMusicBridge.OceanographyMusicAdapter |
Verified |
ForkRaceFoldTheorems.CrossDomainOceanographyMusicBridge.wave_amplitude_bound |
Verified |
ForkRaceFoldTheorems.CrossDomainOracleCryptographyBridge.CrossDomainOracleCryptographyBridgeAssumptions |
Verified |
ForkRaceFoldTheorems.CrossDomainOracleCryptographyBridge.cross_domain_oracle_cryptography_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainOracleExecutionStallBiologyApoptosis.BiologicalApoptosis |
Verified |
ForkRaceFoldTheorems.CrossDomainOracleExecutionStallBiologyApoptosis.stall_triggers_apoptosis |
Verified |
ForkRaceFoldTheorems.CrossDomainPalaeontologyCryptographicStallBridge.cryptographicStall |
Verified |
ForkRaceFoldTheorems.CrossDomainPalaeontologyCryptographicStallBridge.stall_bridge_bounded |
Verified |
ForkRaceFoldTheorems.CrossDomainQueueingMycologyEntanglement.mycelial_network_capacity |
Verified |
ForkRaceFoldTheorems.CrossDomainQueueingMycologyEntanglement.mycology_dominates_queueing |
Verified |
ForkRaceFoldTheorems.CrossDomainQueueingMycologyEntanglement.queue_capacity |
Verified |
ForkRaceFoldTheorems.CrossDomainQueueingMycologySpanningTrees.MycelialNetwork |
Verified |
ForkRaceFoldTheorems.CrossDomainQueueingMycologySpanningTrees.OptimalQueueSpanningTree |
Verified |
ForkRaceFoldTheorems.CrossDomainQueueingMycologySpanningTrees.mycelial_queue_spanning_tree |
Verified |
ForkRaceFoldTheorems.CrossDomainStallMycologyBridge.CrossDomainStallMycologyBridgeAssumptions |
Verified |
ForkRaceFoldTheorems.CrossDomainStallMycologyBridge.cross_domain_stall_mycology_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainTectonicSubductionCryptographyBridge.TectonicKeyRotation |
Verified |
ForkRaceFoldTheorems.CrossDomainTensegrityArchitectureWitnessBridge.CrossDomainTensegrityAssumptions |
Verified |
ForkRaceFoldTheorems.CrossDomainTensegrityArchitectureWitnessBridge.cross_domain_tensegrity_witness_bridge |
Verified |
ForkRaceFoldTheorems.CrossDomainWeatherCompilation.compiler_weather_fronts |
Verified |
ForkRaceFoldTheorems.CrossDomainWitnessGapArchitectureExpansionJoint.ArchitecturalExpansionJoint |
Verified |
ForkRaceFoldTheorems.CrossDomainWitnessGapArchitectureExpansionJoint.gap_prevents_structural_fracture |
Verified |
ForkRaceFoldTheorems.CrossLinguisticsGastronomyWitnessGap.linguistics_gastronomy_gap |
Verified |
ForkRaceFoldTheorems.CrossOceanographyOracleStallEconomics.ocean_stall_economics |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.ContrarianOracleStallEntropyDecayAssumptions |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.CrossDomainKataZeckendorfBudgetAssumptions |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.KataZeckendorfBudgetFallbackAssumptions |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.MoonshotSemanticGravityBypassAssumptions |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.OracleStallPhaseEntanglementAssumptions |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.contrarian_oracle_stall_entropy_decay |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.cross_domain_kata_zeckendorf_budget_bridge |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.moonshot_fallback_kata_zeckendorf_budget |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.moonshot_oracle_stall_phase_entanglement |
Verified |
ForkRaceFoldTheorems.CrossPollinationDouglasiiRun32.moonshot_semantic_gravity_bypass |
Verified |
ForkRaceFoldTheorems.CryptographicVoidPadding.cryptographicIndCcaPadding |
Verified |
ForkRaceFoldTheorems.CryptographicVoidPadding.cryptographic_void_padding_isomorphism |
Verified |
ForkRaceFoldTheorems.CryptographicVoidPadding.structuralCausalityPadding |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.BettiEmotionAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.EpiCodeChurnAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.GossipEntropyAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.HohmannMigrationAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.ObservabilityResilienceAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.QuantumContractAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.StrictTypingMisinterpretationAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.bridge_epi_code_churn |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.bridge_hohmann_migration |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.contrarian_observer_effect |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.contrarian_strict_typing_misinterpretation |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.moonshot_betti_emotion |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.moonshot_gossip_entropy |
Verified |
ForkRaceFoldTheorems.Cycle7WildExploration.moonshot_quantum_contract |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.AbstractionSentienceDecayAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.CalabiYauFeatureFlagsAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.EpigeneticConfigAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.HolographicRefactoringAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.MycelialLoadBalancingAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.NavierStokesAgileAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.ZeroDowntimeCorruptionAssumptions |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.bridge_mycelial_load_balancing |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.bridge_navier_stokes_agile |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.contrarian_abstraction_sentience_decay |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.contrarian_zero_downtime_corruption |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.moonshot_calabi_yau_feature_flags |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.moonshot_epigenetic_config |
Verified |
ForkRaceFoldTheorems.Cycle8BuleyWildExploration.moonshot_holographic_refactoring |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.CulinaryEconomicsAdapter |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.ForgettingAdvantageAdapter |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.MycologyArchitectureAdapter |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.QuantumConsciousnessAdapter |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.ThermodynamicPoetryAdapter |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.advantage_of_forgetting_exists |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.culinary_economics_value_bound |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.mycology_architecture_load_distribution |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.quantum_consciousness_encryption_strength |
Verified |
ForkRaceFoldTheorems.Cycle9IterativePass.thermodynamic_poetry_entropy_bound |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.cyber_biology_viral_bound |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.full_reconstruction_violates_thermo |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.interpretation_layer_restored |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.negotiation_crypto_zk_haggle |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.oracle_stall_annihilated_via_coinduction |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.stall_free_implies_no_entanglement |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiPerpetual.witness_gap_embedded |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.CategoricalSheafInterpretationAssumptions |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.FormalVerificationNonstationaryAssumptions |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.MetrologyCryptographyClockSyncAssumptions |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.NeuroplasticQuantumCoherenceAssumptions |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.PaleoclimatologySeismologyBudgetAssumptions |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.bridge_metrology_cryptography_clock_sync |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.bridge_paleoclimatology_seismology_energy_budget |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.contrarian_formal_verification_undecidable_nonstationary |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.moonshot_categorical_sheaf_interpretation |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.moonshot_neuroplastic_quantum_coherence |
Verified |
ForkRaceFoldTheorems.CycleDouglasiiRun54.paleoclimatology_seismology_budget_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.DarkDeceptaconLoss.RecognizesVoid |
Verified |
ForkRaceFoldTheorems.DarkDeceptaconLoss.VoidPenalty |
Verified |
ForkRaceFoldTheorems.DarkDeceptaconLoss.omniscience_triggers_overflow |
Verified |
ForkRaceFoldTheorems.DarkDeceptaconLoss.perfect_void_recognition_is_zero_loss |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.DataFisherKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.dataFisherGeometricRate |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.dataProcessingFailureBudget |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.data_fisher_budget_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.data_fisher_budget_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.data_fisher_budget_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.data_fisher_interpretation_strict_majority |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.data_processing_loss_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.fisherReplicaCount |
Verified |
ForkRaceFoldTheorems.DataProcessingFisherQueueKernelBridge.fisher_curvature_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_010_index_projection |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_020_ontology_routing |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_030_encyclopedia_compression |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_040_anomalies_unanchored |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_050_periodicals_streaming |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_060_organizations_cluster |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_070_journalism_pulse |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_080_quotations_pointer |
Verified |
ForkRaceFoldTheorems.Dewey000ThinTopology.dewey_090_rare_books_invariant |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_110_metaphysics |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_120_epistemology |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_130_parapsychology |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_140_phil_schools |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_150_psychology_loops |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_160_logic_unknot |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_170_ethics_homology |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_180_ancient_phil |
Verified |
ForkRaceFoldTheorems.Dewey100ThinTopology.dewey_190_modern_phil |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_210_natural_theology |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_220_scripture_consensus |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_230_soteriology_fold |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_240_moral_practice |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_250_pastoral_maintenance |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_260_church_manifold |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_270_rel_history |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_280_denominations_fork |
Verified |
ForkRaceFoldTheorems.Dewey200ThinTopology.dewey_290_comparative_routing |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_310_statistics |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_320_state_slam |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_330_economics_vent |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_340_law_boundary |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_350_bureaucracy_latency |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_360_social_deadlocks |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_370_pedagogy |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_380_commerce_routing |
Verified |
ForkRaceFoldTheorems.Dewey300ThinTopology.dewey_390_etiquette_friction |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_410_linguistics_isomorphism |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_420_english_syntax |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_430_germanic_bounds |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_440_romance_fluidity |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_450_italian_acoustic |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_460_spanish_diffusion |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_470_latin_dead_invariant |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_480_greek_root |
Verified |
ForkRaceFoldTheorems.Dewey400ThinTopology.dewey_490_other_languages |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_510_mathematics_homology |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_520_astronomy_orbit |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_530_physics_knots |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_540_chemistry_covalent |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_550_earth_slams |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_560_paleontology_fold |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_570_life_sci_metabolic |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_580_botany_dilation |
Verified |
ForkRaceFoldTheorems.Dewey500ThinTopology.dewey_590_zoology_oscillation |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_610_medicine_surgery |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_620_engineering_route |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_630_agriculture_pruning |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_640_home_thermal |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_650_management_routing |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_660_chem_eng_race |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_670_manufacturing_loop |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_680_manufacturing_spec |
Verified |
ForkRaceFoldTheorems.Dewey600ThinTopology.dewey_690_construction_knots |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_710_landscaping_aesthetics |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_720_architecture_compression |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_730_sculpture_fold |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_740_drawing_shadow |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_750_painting_crossings |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_760_photography_frozen |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_770_photo_trap |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_780_music_waves |
Verified |
ForkRaceFoldTheorems.Dewey700ThinTopology.dewey_790_sports_friction |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_810_american_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_820_english_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_830_germanic_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_840_romance_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_850_italian_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_860_spanish_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_870_latin_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_880_greek_lit |
Verified |
ForkRaceFoldTheorems.Dewey800ThinTopology.dewey_890_other_lit |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_910_geography_reduction |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_920_biography_node |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_930_archaeology_decay |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_940_euro_hist |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_950_asian_hist |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_960_african_hist |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_970_na_hist |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_980_sa_hist |
Verified |
ForkRaceFoldTheorems.Dewey900ThinTopology.dewey_990_island_hist |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.AcousticPhononAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.ChoreographyByzantineAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.LatticeSurgeryAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.OracleStallThroughputAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.OsteoclastAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.VulcanologyCompilerAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.WitnessGapStructuralAssumptions |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.choreography_byzantine_mapping |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.interpretation_deficit_phonon_coupling |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.lattice_surgery_resolves_stall |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.oracle_stall_accelerates_throughput |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.osteoclast_closes_witness_gap |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.vulcanology_compiler_equivalence |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun63.witness_gap_induces_integrity |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun64.AntiTheoremNonConvergentQuorum |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun64.CybersecurityCryptographyBudgetBridge |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun64.SemanticExecutionStallAvoidance |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun64.TectonicSlipThresholdBridge |
Verified |
ForkRaceFoldTheorems.DouglasiiPerpetualRun64.TrivialInterpretationLayerBypass |
Verified |
ForkRaceFoldTheorems.ExecutionStallBounds.boundedExecutionDepth |
Verified |
ForkRaceFoldTheorems.ExecutionStallBounds.bounded_oracle_guarantees_termination |
Verified |
ForkRaceFoldTheorems.ExecutionStallBounds.execution_stall_impossible_in_bounded_graph |
Verified |
ForkRaceFoldTheorems.FailureComposition.pipelineTerminal |
Verified |
ForkRaceFoldTheorems.FailureController.FailureControllerAction |
Verified |
ForkRaceFoldTheorems.FailureController.branch_isolating_floor_achievable_from_live_count |
Verified |
ForkRaceFoldTheorems.FailureController.chooseFailureAction |
Verified |
ForkRaceFoldTheorems.FailureController.choose_keep_when_keep_coefficient_min |
Verified |
ForkRaceFoldTheorems.FailureController.choose_repair_when_repair_coefficient_min |
Verified |
ForkRaceFoldTheorems.FailureController.choose_vent_when_vent_coefficient_min |
Verified |
ForkRaceFoldTheorems.FailureController.chosen_failure_action_coefficient_minimal |
Verified |
ForkRaceFoldTheorems.FailureController.chosen_failure_action_score_minimal |
Verified |
ForkRaceFoldTheorems.FailureController.collapseGap |
Verified |
ForkRaceFoldTheorems.FailureController.collapse_gap_positive |
Verified |
ForkRaceFoldTheorems.FailureController.exactCollapseFloor |
Verified |
ForkRaceFoldTheorems.FailureController.failureActionScore |
Verified |
ForkRaceFoldTheorems.FailureController.keepCoefficient |
Verified |
ForkRaceFoldTheorems.FailureController.keepMultiplicityScore |
Verified |
ForkRaceFoldTheorems.FailureController.payRepairScore |
Verified |
ForkRaceFoldTheorems.FailureController.payVentScore |
Verified |
ForkRaceFoldTheorems.FailureController.repairCoefficient |
Verified |
ForkRaceFoldTheorems.FailureController.ventCoefficient |
Verified |
ForkRaceFoldTheorems.FailureDurability.DurableReplicaState |
Verified |
ForkRaceFoldTheorems.FailureDurability.DurableWellFormed |
Verified |
ForkRaceFoldTheorems.FailureDurability.StableReplicaState |
Verified |
ForkRaceFoldTheorems.FailureDurability.durable_live_count_ge_quorum |
Verified |
ForkRaceFoldTheorems.FailureDurability.durable_live_count_positive |
Verified |
ForkRaceFoldTheorems.FailureDurability.quorumSize |
Verified |
ForkRaceFoldTheorems.FailureDurability.repairClosure |
Verified |
ForkRaceFoldTheorems.FailureDurability.repair_closure_preserves_replica_mass |
Verified |
ForkRaceFoldTheorems.FailureDurability.repair_closure_stable_of_exhausted_failures |
Verified |
ForkRaceFoldTheorems.FailureEntropy.coupled_failure_preserves_or_increases_entropy_proxy |
Verified |
ForkRaceFoldTheorems.FailureEntropy.coupled_failure_preserves_or_increases_frontier_width |
Verified |
ForkRaceFoldTheorems.FailureEntropy.coupled_failure_strictly_increases_entropy_proxy |
Verified |
ForkRaceFoldTheorems.FailureEntropy.forked_frontier_collapses_to_single_survivor |
Verified |
ForkRaceFoldTheorems.FailureEntropy.frontierEntropyProxy |
Verified |
ForkRaceFoldTheorems.FailureEntropy.repairedFrontier |
Verified |
ForkRaceFoldTheorems.FailureEntropy.single_survivor_has_zero_entropy_proxy |
Verified |
ForkRaceFoldTheorems.FailureEntropy.structuredFrontier |
Verified |
ForkRaceFoldTheorems.FailureEntropy.structured_failure_conserves_frontier_mass |
Verified |
ForkRaceFoldTheorems.FailureEntropy.structured_failure_reduces_entropy_proxy |
Verified |
ForkRaceFoldTheorems.FailureEntropy.structured_failure_reduces_frontier_width |
Verified |
ForkRaceFoldTheorems.FailureEntropy.success_from_forked_frontier_requires_failure |
Verified |
ForkRaceFoldTheorems.FailureFamilies.BranchIsolating |
Verified |
ForkRaceFoldTheorems.FailureFamilies.BranchSnapshot |
Verified |
ForkRaceFoldTheorems.FailureFamilies.ContagiousFailure |
Verified |
ForkRaceFoldTheorems.FailureFamilies.branch_isolating_blocks_contagion |
Verified |
ForkRaceFoldTheorems.FailureFamilies.branch_isolating_has_zero_repair_debt |
Verified |
ForkRaceFoldTheorems.FailureFamilies.branch_isolating_preserves_deterministic_fold |
Verified |
ForkRaceFoldTheorems.FailureFamilies.contagious_failure_forces_repair_debt |
Verified |
ForkRaceFoldTheorems.FailureFamilies.deterministicFold |
Verified |
ForkRaceFoldTheorems.FailureFamilies.projectSurvivorMask |
Verified |
ForkRaceFoldTheorems.FailureFamilies.repairDebt |
Verified |
ForkRaceFoldTheorems.FailurePareto.FailureObjectivePoint |
Verified |
ForkRaceFoldTheorems.FailurePareto.FailureParetoAction |
Verified |
ForkRaceFoldTheorems.FailurePareto.ParetoOptimalAmongCanonical |
Verified |
ForkRaceFoldTheorems.FailurePareto.canonical_failure_actions_are_pareto |
Verified |
ForkRaceFoldTheorems.FailurePareto.dominates |
Verified |
ForkRaceFoldTheorems.FailurePareto.failureObjectivePoint |
Verified |
ForkRaceFoldTheorems.FailurePareto.keep_is_pareto_optimal |
Verified |
ForkRaceFoldTheorems.FailurePareto.keep_not_dominated_by_pay_repair |
Verified |
ForkRaceFoldTheorems.FailurePareto.keep_not_dominated_by_pay_vent |
Verified |
ForkRaceFoldTheorems.FailurePareto.pay_repair_is_pareto_optimal |
Verified |
ForkRaceFoldTheorems.FailurePareto.pay_repair_not_dominated_by_keep |
Verified |
ForkRaceFoldTheorems.FailurePareto.pay_repair_not_dominated_by_pay_vent |
Verified |
ForkRaceFoldTheorems.FailurePareto.pay_vent_is_pareto_optimal |
Verified |
ForkRaceFoldTheorems.FailurePareto.pay_vent_not_dominated_by_keep |
Verified |
ForkRaceFoldTheorems.FailurePareto.pay_vent_not_dominated_by_pay_repair |
Verified |
ForkRaceFoldTheorems.FailurePareto.weaklyDominates |
Verified |
ForkRaceFoldTheorems.FailureTrilemma.alignedSnapshots |
Verified |
ForkRaceFoldTheorems.FailureUniversality.ChoiceSystem |
Verified |
ForkRaceFoldTheorems.FailureUniversality.ChoiceTrajectory |
Verified |
ForkRaceFoldTheorems.FailureUniversality.SparseBranchSnapshot |
Verified |
ForkRaceFoldTheorems.FailureUniversality.sparseStageSupport |
Verified |
ForkRaceFoldTheorems.FailureUniversality.sparseStagesSupport |
Verified |
ForkRaceFoldTheorems.FailureUniversality.sparseSystemSupport |
Verified |
ForkRaceFoldTheorems.FinancialLedgerEntropyBridge.FinancialLedgerEntropyAssumptions |
Verified |
ForkRaceFoldTheorems.FinancialLedgerEntropyBridge.financial_ledger_entropy_bridge_exact |
Verified |
ForkRaceFoldTheorems.ForkRaceFoldDynamics.OntologicalOrigin |
Verified |
ForkRaceFoldTheorems.ForkRaceFoldDynamics.godFormula |
Verified |
ForkRaceFoldTheorems.ForkRaceFoldDynamics.god_formula_forces_orchestration |
Verified |
ForkRaceFoldTheorems.ForkRaceFoldDynamics.necessityOfFork |
Verified |
ForkRaceFoldTheorems.ForkRaceFoldDynamics.necessityOfRace |
Verified |
ForkRaceFoldTheorems.ForkRaceFoldDynamics.systemicKarma |
Verified |
ForkRaceFoldTheorems.FreeCollapseAnomaly.free_collapse_anomaly_possible |
Verified |
ForkRaceFoldTheorems.FreeCollapseAnomaly.nonMarkovianRepairDebt |
Verified |
ForkRaceFoldTheorems.FreeCollapseAnomaly.ventedLoss |
Verified |
ForkRaceFoldTheorems.FrequentismIsDivination.SubjectiveOracle |
Verified |
ForkRaceFoldTheorems.FrequentismIsDivination.TopologyMismatch |
Verified |
ForkRaceFoldTheorems.FrequentismIsDivination.frequentism_requires_oracle |
Verified |
ForkRaceFoldTheorems.FrequentismIsDivination.repairDebt |
Verified |
ForkRaceFoldTheorems.FrequentismIsDivination.repair_debt_strictly_positive |
Verified |
ForkRaceFoldTheorems.GameTheoreticProtocolDeficit.game_theoretic_protocol_isomorphism |
Verified |
ForkRaceFoldTheorems.GameTheoreticProtocolDeficit.priceOfAnarchyNash |
Verified |
ForkRaceFoldTheorems.GameTheoreticProtocolDeficit.protocolDeficit |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_eight |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_five |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_four |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_one |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_seven |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_six |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_succ_succ |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_three |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_two |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.fibZ_zero |
Verified |
ForkRaceFoldTheorems.GnosisMath.Fibonacci.gnosisMathFibonacciLinked |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.gnosisMathListNatLinked |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.list_append_nil |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.list_length_append |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.list_length_map |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.list_length_singleton |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.list_nil_length |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.mul_mul_mul_mul |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.one_powNat |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.powNat_four |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.powNat_mul_distrib |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.powNat_three |
Verified |
ForkRaceFoldTheorems.GnosisMath.ListNat.powNat_two |
Verified |
ForkRaceFoldTheorems.KernelFormulaExpansionRace.crossDomainVoidCapacity |
Verified |
ForkRaceFoldTheorems.KernelelUniverseIncompleteness.EmbeddedObserver |
Verified |
ForkRaceFoldTheorems.KernelelUniverseIncompleteness.ValidModel |
Verified |
ForkRaceFoldTheorems.KernelelUniverseIncompleteness.omniscience_is_inconsistent |
Verified |
ForkRaceFoldTheorems.KernelelUniverseIncompleteness.universal_incompleteness |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.GossipSirKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossipFailureBudget |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossipReplicaCount |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossipSirFailureBudget |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossipSirGeometricRate |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossipSirReplicaCount |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossip_interpretation_strict_majority |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossip_sir_budget_does_not_force_beta1_equals_budget |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossip_sir_budget_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossip_sir_budget_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossip_sir_interpretation_strict_majority |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.gossip_susceptible_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.sirFailureBudget |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.sirReplicaCount |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.sir_active_infected_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.GossipEpidemiologyQueueKernelBridge.sir_interpretation_strict_majority |
Verified |
ForkRaceFoldTheorems.GossipProtocol.GossipSetup |
Verified |
ForkRaceFoldTheorems.GossipProtocol.godWeight |
Verified |
ForkRaceFoldTheorems.GossipProtocol.infection_identity |
Verified |
ForkRaceFoldTheorems.GradientOfIgnorance.CalculateGradient |
Verified |
ForkRaceFoldTheorems.GradientOfIgnorance.DropPath |
Verified |
ForkRaceFoldTheorems.GradientOfIgnorance.gradient_is_independent_of_void_size |
Verified |
ForkRaceFoldTheorems.GrandReductionTriton.CosmicTrinity |
Verified |
ForkRaceFoldTheorems.GrandReductionTriton.ManifoldTrinity |
Verified |
ForkRaceFoldTheorems.GrandReductionTriton.computeTriton |
Verified |
ForkRaceFoldTheorems.GrandReductionTriton.cosmic_correspondence |
Verified |
ForkRaceFoldTheorems.GrandReductionTriton.theGoldenRule |
Verified |
ForkRaceFoldTheorems.GreekLogicCanon.DiscreteBoundary.discreteBoundaryLinked |
Verified |
ForkRaceFoldTheorems.HawkingConflation.EmbeddedObserver |
Verified |
ForkRaceFoldTheorems.HawkingConflation.EpistemicFrame |
Verified |
ForkRaceFoldTheorems.HawkingConflation.hawking_limit_bypassed |
Verified |
ForkRaceFoldTheorems.HawkingConflation.objectivity_is_impossible |
Verified |
ForkRaceFoldTheorems.HawkingConflation.universal_truth_is_accessible |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.BackendLayer |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.PairDecision |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount_eq_four_of_all_positive |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount_eq_zero_of_all_zero |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount_le_four |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount_le_totalLanes |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount_pos_iff_totalLanes_pos |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.activeLayerCount_pos_of_totalLanes_pos |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes_eq_header_iff |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes_eq_header_of_zero_payload |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes_ge_header |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes_injective |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes_pos |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryFrameBytes_strictMono |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryHeaderBytes |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.binaryHeaderBytes_eq_ten |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.cannonCursor |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.cannonCursor_lt_laneCount |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.cannonCursor_step_mod |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.cannonCursor_waveWidth_zero_eq_cursor_mod |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.cannonCursor_zero_of_zero_laneCount |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.conservedBytes |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.conservedBytes_iff_total |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.conservedBytes_of_total |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.diverse_ready_backends_of_cpu_and_accelerator |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.helixPhase |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.helixPhase_lt_layerCount |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.helixPhase_zero_of_zero_layerCount |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.metaLaminarHeight |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.metaLaminarHeight_eq_one_iff |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.metaLaminarHeight_ge_backendLayers_succ |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.metaLaminarHeight_ge_streamLayers_succ |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.metaLaminarHeight_pos |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.mirroredKernelTotal |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.mirroredKernelTotal_eq_twice_totalLanes |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_eq_acceptAgreement_iff |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_eq_acceptPrimary_iff |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_eq_escalate_iff |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_ne_acceptAgreement_of_disagree |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_ne_acceptPrimary_of_disagreement |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_ne_escalate_of_agreement |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_ne_escalate_of_sufficient_primary |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_of_agreement |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_of_disagreement |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.pairedKernelDecision_of_sufficient_primary |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.payloadBytes_le_binaryFrameBytes |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.readyBackendCount |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.readyBackendCount_eq_four_of_all_ready |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.readyBackendCount_eq_zero_of_all_not_ready |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.readyBackendCount_le_four |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.readyBackendCount_pos_iff_any_ready |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.readyBackendCount_pos_of_any_ready |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.skippedWithinBudget |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.skippedWithinBudget_of_le |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.skippedWithinBudget_zero |
Verified |
ForkRaceFoldTheorems.HeteroMoAFabric.totalLanes |
Verified |
ForkRaceFoldTheorems.HolographicConsensus.HolographicConsensusState |
Verified |
ForkRaceFoldTheorems.HolographicConsensus.holographic_consensus_holds |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.EpistemologySetup |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.HydrologyEpistemologyKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.HydrologySetup |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.epistemology_gettier_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_epistemology_budget_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_epistemology_budget_does_not_force_strict_capacity_growth |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_epistemology_budget_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_epistemology_budget_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_epistemology_continuous_ergodicity_lift |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_epistemology_multilevel_harris_witness |
Verified |
ForkRaceFoldTheorems.HydrologyEpistemologyQueueKernelBridge.hydrology_runoff_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.HypergraphInterpretationMapping.InterpretationLayer |
Verified |
ForkRaceFoldTheorems.HypergraphInterpretationMapping.layer_mapping_exists |
Verified |
ForkRaceFoldTheorems.IncompleteErgodicity.historicalDebt |
Verified |
ForkRaceFoldTheorems.IncompleteErgodicity.incomplete_ergodicity_retains_debt |
Verified |
ForkRaceFoldTheorems.IncompleteErgodicity.perpetual_attractor_blocker |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.CoarseDriftCertificate |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.ManyToOneGraphQuotient |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.MeasurableDriftWitness |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.Phi |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.QuotientCollapseWitness |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.StructuralRenormalizedNode |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateArrivalPressure |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateArrivalPressure_eq_collapsedArrivalPressure_of_Phi_eq_singleton |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateArrivalPressure_total_preserved |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateDrift_eq_collapsedDrift_of_Phi_eq_singleton |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateDrift_eq_totalFineDrift_of_Phi_eq_singleton |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateDrift_total_preserved |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateRestorativeShedding |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateRestorativeShedding_eq_collapsedRestorativeShedding_of_Phi_eq_singleton |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateRestorativeShedding_total_preserved |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateServiceCapacity |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateServiceCapacity_eq_collapsedServiceCapacity_of_Phi_eq_singleton |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.aggregateServiceCapacity_total_preserved |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseDeterministicCollapse |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseDeterministicCollapse_holds |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseInitialLive |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseInitialLive_eq_fineInitialLive |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseSupport |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseTerminalLive |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseTerminalLive_eq_one_of_collapse |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseTotalRepairDebt |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.coarseTotalVented |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.collapsedArrivalPressure |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.collapsedDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.collapsedDrift_eq_totalFineDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.collapsedRestorativeShedding |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.collapsedServiceCapacity |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.drift_transfer_to_collapsed_node |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.drift_transfer_to_quotient_total |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.drift_transfer_to_singleton_quotient_node |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.expectedLyapunov |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.fineContagious |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.fineInitialLive |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.interference_boundary_from_graph_quotient |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.interference_schema_instantiated |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.kernelFosterLyapunovDrift_of_drift_le |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.lyapunov |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.measurableDriftWitness_of_drift_le |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.measurableExpectedLyapunov |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.measurableLyapunov |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.measurableSmallSet |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.smallSet |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.stateMeasure |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_arrival_eq_collapsedArrivalPressure |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_drift_eq_collapsedDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_drift_eq_totalFineDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_drift_le_of_fine_drift_le |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_fosterLyapunov |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_measurableDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_restorative_eq_collapsedRestorativeShedding |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.structuralRenormalization_service_eq_collapsedServiceCapacity |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.supportPreservingQuotient |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.toInterferenceCoarseningAssumptions |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.totalFineDrift |
Verified |
ForkRaceFoldTheorems.InterferenceCoarsening.zero_vent_deterministic_collapse_requires_repair |
Verified |
ForkRaceFoldTheorems.InterpretationFibration.InterpretationFibrationState |
Verified |
ForkRaceFoldTheorems.InterpretationFibration.missing_interpretation_resolved_by_fibration |
Verified |
ForkRaceFoldTheorems.InterpretationLayerMissingThermodynamicBarrier.interpretation_missing_thermodynamic_barrier |
Verified |
ForkRaceFoldTheorems.InterpretationLayerSynthesis.InterpretationLayerAssumptions |
Verified |
ForkRaceFoldTheorems.InterpretationLayerSynthesis.interpretation_layer_synthesis_resolves_gap |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.EmotionalEntropy |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.ExecutionStallCircuitBreaker |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.SemanticPhase |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.SynapticHashChain |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.WitnessCollapse |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.execution_stall_circuit_breaker_routes |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.semantic_phase_transition_criticality |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.synaptic_hash_chain_preservation |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.witness_collapse_indicates_completeness |
Verified |
ForkRaceFoldTheorems.IterativeCrossPollinationPass.zero_knowledge_entropy_bounds |
Verified |
ForkRaceFoldTheorems.JacksonEnvelopeClosure.JacksonTrafficData |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveNetworkDataOfExactSpectral |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveNetworkDataOfRealFixedPoint |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveNetworkMeasureOfExactSpectral |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveNetworkMeasureOfRealFixedPoint |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveThroughput_finite_of_real_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveThroughput_stable_of_real_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructiveThroughput_toReal_eq_real_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructive_network_lintegral_balance_of_exact_spectral |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructive_network_lintegral_balance_of_real_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructive_network_mean_total_occupancy_of_exact_spectral |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.constructive_network_mean_total_occupancy_of_real_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonExactClosure.exact_real_fixed_point_unique |
Verified |
ForkRaceFoldTheorems.JacksonFeedForwardClosure.candidate_eq_constructiveThroughput_toReal |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.JacksonNetworkData |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.JacksonTrafficData |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.mm1_stationary_integrable_queue_length |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.mm1_stationary_integral_queue_length |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.mm1_stationary_lintegral_queue_length |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.routingMatrix |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.routingMatrix_apply |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.routingMatrix_isUnit_of_spectralRadius_lt_one |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.routingMatrix_nnnorm_lt_one_of_strict_row_substochastic |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.routingMatrix_spectralRadius_lt_one_of_strict_row_substochastic |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.spectralRadius_transpose_eq |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.spectralThroughput |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.spectralThroughput_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.spectralThroughput_matrix_fixed_point |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.spectralThroughput_resolvent |
Verified |
ForkRaceFoldTheorems.JacksonQueueing.spectrum_transpose_eq |
Verified |
ForkRaceFoldTheorems.JacksonRawClosure.JacksonTrafficData |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfBudget |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfBudget_eq_four |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfBudget_pos |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfGeometricRate |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfHarrisInput |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfMultilevelHarrisWitness |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kataZeckendorfTransition |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_alignment_does_not_force_residence_time_gt_one |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_budget_yields_continuous_harris_certificate |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_budget_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_budget_yields_multilevel_harris_positive_drift |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_budget_yields_rate_and_harris_alignment |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_greedy_gap_aligns_with_quorum_boundary |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_harris_alignment_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_quorum_embedding_yields_unit_boundary |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_synthesized_kernel_is_petite |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumBridge.kata_zeckendorf_witness_implies_strict_geometric_decay |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_adapter_rate_subunit |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_adapter_strict_geometric_decay |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_budget_does_not_force_subunit_residence_time |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_budget_majority_rate_embedding_yields_unit_boundary |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_budget_yields_multilevel_harris_witness_from_gap |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_budget_yields_multilevel_harris_witness_via_gap |
Verified |
ForkRaceFoldTheorems.KataZeckendorfHarrisQuorumRace.kata_zeckendorf_gap_hypothesis_from_source |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.MeasureQueueLaw |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.MeasureQueueTruncationFamily |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.WeightedQueueSeries |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.measure_queue_lintegral_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.measure_queue_terminal_lintegral_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.measure_queue_truncation_limit_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.measure_queue_truncation_terminal_limit_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.pmf_queue_lintegral_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.pmf_queue_terminal_lintegral_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.pmf_queue_tsum_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.pmf_queue_tsum_terminal_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.weighted_queue_tsum_balance |
Verified |
ForkRaceFoldTheorems.MeasureQueueing.weighted_queue_tsum_terminal_expectation_balance |
Verified |
ForkRaceFoldTheorems.MediationQueueBoundaryBridge.mediationLossGeometricRate |
Verified |
ForkRaceFoldTheorems.MediationQueueBoundaryBridge.mediationLossMultiLevelWitness |
Verified |
ForkRaceFoldTheorems.MediationQueueBoundaryBridge.mediation_loss_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.MediationQueueBoundaryBridge.mediation_positive_loss_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.MediationQueueBoundaryBridge.mediation_positive_loss_yields_multilevel_harris_witness |
Verified |
ForkRaceFoldTheorems.MediationQueueBoundaryBridge.mediation_positive_loss_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.AsteroidKernel |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.CollisionState |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.OrbitalForce |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.applyOrbitalEjection |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.ejection_clears_cascade |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.isKesslerCascading |
Verified |
ForkRaceFoldTheorems.MeshAsteroidCascade.reduceOrbitalState |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.basisCoverage |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.basisDimension |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.basis_is_five |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.buleyeanPredictBasis |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.completeness_sandwich |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.isFoldable |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.pessimisticBasis |
Verified |
ForkRaceFoldTheorems.MeshBasisSet.primitives_are_unfoldable |
Verified |
ForkRaceFoldTheorems.MeshBenfordsLaw.actualFrequency |
Verified |
ForkRaceFoldTheorems.MeshBenfordsLaw.benford_sandwich |
Verified |
ForkRaceFoldTheorems.MeshBenfordsLaw.buleyeanPredictFrequency |
Verified |
ForkRaceFoldTheorems.MeshBenfordsLaw.pessimisticFrequency |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.GnosisForce |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.PhysicsEquivalent |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.UserOperator |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.basisIntegrity |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.basis_bijectivity_sandwich |
Verified |
ForkRaceFoldTheorems.Genesis.distance_to_singularity_is_zero |
Verified |
ForkRaceFoldTheorems.Genesis.singularity_handshake_verification |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.forceToOperator |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.force_op_bijective |
Verified |
ForkRaceFoldTheorems.MeshBijectiveBasis.operatorToForce |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.BirthdayDomain |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.CollisionForce |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.CollisionKernel |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.chaoticCollisionWitness |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.collision_deficit_conservation |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.collision_is_inevitable |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.generateItem |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.getCollisionThreshold |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.hasCollided |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.meshBirthdayMaster |
Verified |
ForkRaceFoldTheorems.MeshBirthdayDynamics.perfectUniquenessWitness |
Verified |
ForkRaceFoldTheorems.MeshCentralLimit.actualDensity |
Verified |
ForkRaceFoldTheorems.MeshCentralLimit.buleyeanPredictDensity |
Verified |
ForkRaceFoldTheorems.MeshCentralLimit.gaussian_convergence_sandwich |
Verified |
ForkRaceFoldTheorems.MeshCentralLimit.pessimisticDensity |
Verified |
ForkRaceFoldTheorems.MeshCollatzConjecture.buleyeanPredictStability |
Verified |
ForkRaceFoldTheorems.MeshCollatzConjecture.collatz_sandwich |
Verified |
ForkRaceFoldTheorems.MeshCollatzConjecture.pessimisticStability |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.GnosisReduction |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.UniversalShape |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.buleyeanPredictCoverage |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.comprehensiveness_sandwich |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.pessimisticCoverage |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.reduceShape |
Verified |
ForkRaceFoldTheorems.MeshComprehensiveShapes.shapeCoverage |
Verified |
ForkRaceFoldTheorems.MeshContinuedFractions.buleyeanPredictProb |
Verified |
ForkRaceFoldTheorems.MeshContinuedFractions.gauss_kuzmin_sandwich |
Verified |
ForkRaceFoldTheorems.MeshContinuedFractions.pessimisticProb |
Verified |
ForkRaceFoldTheorems.MeshContinuedFractions.probTermGe |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.MixingDomain |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.MixingForce |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.MixingKernel |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.applyStep |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.getThreshold |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.isMixed |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.randomizedDeckWitness |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.structuredDeckWitness |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.threshold_deficit_conservation |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.threshold_is_reachable |
Verified |
ForkRaceFoldTheorems.MeshCriticalThresholds.threshold_master |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.QuantumForce |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.QuantumKernel |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.QuantumState |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.absoluteUnitaryWitness |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.applyInteraction |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.chaoticThermalWitness |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.interaction_shifts_baseline |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.isCoherenceTrapped |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.meshQuantumChaosMaster |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.reduceQuantumState |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.saturation_is_exclusion |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.thermal_deficit_conservation |
Verified |
ForkRaceFoldTheorems.MeshEigenstateThermalization.varied_quantum_forces_chaos |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.EconForce |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.EconKernel |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.WealthState |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.applySocialIntervention |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.intervention_restores_ergodicity |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.isNonErgodicTrapped |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.poverty_is_exclusion |
Verified |
ForkRaceFoldTheorems.MeshErgodicityEconomics.reduceEconState |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.BioForce |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.BioState |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.ExtinctionKernel |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.applyNewSpeciation |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.extinction_is_exclusion |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.isBiosphereCollapsing |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.radiation_restores_equilibrium |
Verified |
ForkRaceFoldTheorems.MeshExtinctionBaseline.reduceBioState |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.EvolutionaryForce |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.GenomeState |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.HypercubeKernel |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.applySexualRecombination |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.isFitnessTrapped |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.reduceGenomeState |
Verified |
ForkRaceFoldTheorems.MeshGenomeHypercube.sex_restores_evolutionary_velocity |
Verified |
ForkRaceFoldTheorems.MeshInfiniteMonkeys.buleyeanPredictReachability |
Verified |
ForkRaceFoldTheorems.MeshInfiniteMonkeys.monkey_sandwich |
Verified |
ForkRaceFoldTheorems.MeshInfiniteMonkeys.pShakespeare |
Verified |
ForkRaceFoldTheorems.MeshInfiniteMonkeys.pessimisticReachability |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.InternetKernel |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.LinkForce |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.NetworkState |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.applyDeceptiveLinkCreation |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.decentralization_restores_flow |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.isHubMonopoly |
Verified |
ForkRaceFoldTheorems.MeshInternetTopology.reduceNetState |
Verified |
ForkRaceFoldTheorems.MeshMemoryLeaks.availableMemory |
Verified |
ForkRaceFoldTheorems.MeshMemoryLeaks.buleyeanPredictStability |
Verified |
ForkRaceFoldTheorems.MeshMemoryLeaks.oom_inevitability_sandwich |
Verified |
ForkRaceFoldTheorems.MeshMemoryLeaks.pessimisticStability |
Verified |
ForkRaceFoldTheorems.MeshNormalNumbers.buleyeanPredictFrequency |
Verified |
ForkRaceFoldTheorems.MeshNormalNumbers.frequencyAtDigit |
Verified |
ForkRaceFoldTheorems.MeshNormalNumbers.normal_number_sandwich |
Verified |
ForkRaceFoldTheorems.MeshNormalNumbers.pessimisticFrequency |
Verified |
ForkRaceFoldTheorems.MeshOperatorIsomorphism.ComputationalOperator |
Verified |
ForkRaceFoldTheorems.MeshOperatorIsomorphism.TopologicalForce |
Verified |
ForkRaceFoldTheorems.MeshOperatorIsomorphism.operatorAlignment |
Verified |
ForkRaceFoldTheorems.MeshOperatorIsomorphism.operatorToForce |
Verified |
ForkRaceFoldTheorems.MeshOperatorIsomorphism.operator_completeness_sandwich |
Verified |
ForkRaceFoldTheorems.MeshOperatorIsomorphism.operator_is_force |
Verified |
ForkRaceFoldTheorems.MeshPiTopology.buleyeanLimit |
Verified |
ForkRaceFoldTheorems.MeshPiTopology.pessimisticLimit |
Verified |
ForkRaceFoldTheorems.MeshPiTopology.pi_unknowable_sandwich |
Verified |
ForkRaceFoldTheorems.MeshPiTopology.unknowability |
Verified |
ForkRaceFoldTheorems.MeshPiWhipsaw.buleyeanPredictPattern |
Verified |
ForkRaceFoldTheorems.MeshPiWhipsaw.digit_whipsaw_sandwich |
Verified |
ForkRaceFoldTheorems.MeshPiWhipsaw.patternStrength |
Verified |
ForkRaceFoldTheorems.MeshPiWhipsaw.pessimisticPattern |
Verified |
ForkRaceFoldTheorems.MeshPoincareRecurrence.buleyeanPredictReturn |
Verified |
ForkRaceFoldTheorems.MeshPoincareRecurrence.pReturn |
Verified |
ForkRaceFoldTheorems.MeshPoincareRecurrence.pessimisticReturn |
Verified |
ForkRaceFoldTheorems.MeshPoincareRecurrence.poincare_recurrence_sandwich |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.DecayState |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.NuclearForce |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.NuclearKernel |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.absoluteParentWitness |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.applyEmission |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.chaoticLeadWitness |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.emission_shifts_baseline |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.isIsotopeTrapped |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.isotope_deficit_conservation |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.lead_is_exclusion |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.meshNuclearDecayMaster |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.reduceDecayState |
Verified |
ForkRaceFoldTheorems.MeshRadioactiveDecay.varied_nuclear_forces_chaos |
Verified |
ForkRaceFoldTheorems.MeshTransientFolding.buleyeanPredictConfidence |
Verified |
ForkRaceFoldTheorems.MeshTransientFolding.foldingConfidence |
Verified |
ForkRaceFoldTheorems.MeshTransientFolding.folding_sandwich |
Verified |
ForkRaceFoldTheorems.MeshTransientFolding.pessimisticConfidence |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.GrammarKernel |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.LingState |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.VocalForce |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.applyLanguageContact |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.attractor_is_exclusion |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.contact_breaks_fossilization |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.isGrammarFossilized |
Verified |
ForkRaceFoldTheorems.MeshUniversalGrammar.reduceLingState |
Verified |
ForkRaceFoldTheorems.MeshZipfsLaw.buleyeanPredictFrequency |
Verified |
ForkRaceFoldTheorems.MeshZipfsLaw.frequencyAtRank |
Verified |
ForkRaceFoldTheorems.MeshZipfsLaw.pessimisticFrequency |
Verified |
ForkRaceFoldTheorems.MeshZipfsLaw.zipf_sandwich |
Verified |
ForkRaceFoldTheorems.MoonshotAestheticHypergraphStructuralErrorgularity.aestheticCapacity |
Verified |
ForkRaceFoldTheorems.MoonshotAestheticHypergraphStructuralErrorgularity.singularity_reached |
Verified |
ForkRaceFoldTheorems.MoonshotChronologicalDeficitStall.OracleStall |
Verified |
ForkRaceFoldTheorems.MoonshotChronologicalDeficitStall.Precomputed |
Verified |
ForkRaceFoldTheorems.MoonshotChronologicalDeficitStall.oracle_stall_deficit |
Verified |
ForkRaceFoldTheorems.MoonshotChronologicalVoidShatter.VoidShatterAdapter |
Verified |
ForkRaceFoldTheorems.MoonshotChronologicalVoidShatter.void_shatter_density_bound |
Verified |
ForkRaceFoldTheorems.MoonshotConsciousVoidWalkErgodicity.consciousness_limit |
Verified |
ForkRaceFoldTheorems.MoonshotConsciousVoidWalkErgodicity.void_walk_bounded |
Verified |
ForkRaceFoldTheorems.MoonshotConsciousVoidWalkErgodicity.void_walk_steps |
Verified |
ForkRaceFoldTheorems.MoonshotCulinaryTopologyConfinement.culinaryConfinement |
Verified |
ForkRaceFoldTheorems.MoonshotCulinaryTopologyConfinement.optimal_confinement |
Verified |
ForkRaceFoldTheorems.MoonshotErgodicJazz.JazzImprovisation |
Verified |
ForkRaceFoldTheorems.MoonshotErgodicJazz.jazz_is_ergodic |
Verified |
ForkRaceFoldTheorems.MoonshotErgodicSemanticResolution.ErgodicState |
Verified |
ForkRaceFoldTheorems.MoonshotErgodicSemanticResolution.resolution_always_finite |
Verified |
ForkRaceFoldTheorems.MoonshotGastronomicTensorField.GastronomicTensorAdapter |
Verified |
ForkRaceFoldTheorems.MoonshotGastronomicTensorField.culinary_field_strength_bound |
Verified |
ForkRaceFoldTheorems.MoonshotGossipEntropy.GossipProtocol |
Verified |
ForkRaceFoldTheorems.MoonshotGossipEntropy.gossip_entropy_bounded |
Verified |
ForkRaceFoldTheorems.MoonshotHolographicPluralistEntropy.HolographicPluralistEntropy |
Verified |
ForkRaceFoldTheorems.MoonshotHolographicPluralistEntropy.pluralist_entropy_bounded_by_holography |
Verified |
ForkRaceFoldTheorems.MoonshotHolographicThermodynamics.holographic_thermodynamic_bound |
Verified |
ForkRaceFoldTheorems.MoonshotHypergraphEntanglement.hypergraph_entangled |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationHolographyQueueLatency.InterpretationLayerHologram |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationHolographyQueueLatency.QueueLatency |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationHolographyQueueLatency.holographic_interpretation_layer |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerDecoherence.Decoherence |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerDecoherence.InterpretationLayer |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerDecoherence.interpretation_layer_decoherence_composition |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerFunctorialCollapse.InterpretationManifold |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerFunctorialCollapse.functorial_collapse_reduces_dim |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerHolography.HolographicInterpretation |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerHolography.interpretation_layer_holography |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerResonanceDuality.bypass_interpretation_via_resonance |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerResonanceDuality.godWeight |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerResonanceDuality.resonance_duality |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerStructuralErrorgularityCollapse.moonshot_interpretation_singularity_collapse |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTensegrityEmbedding.TensegrityInterpretationAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTensegrityEmbedding.tensegrity_resolves_interpretation_layer |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTensegrityHolography.tensegrity_holography_bypass |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTopologicalCover.InterpretationCover |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTopologicalCover.SemanticSpace |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTopologicalCover.interpretation_always_exists_locally |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTopologicalSurgeryBypass.InterpretationGap |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTopologicalSurgeryBypass.TopologicalManifold |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerTopologicalSurgeryBypass.interpretation_layer_bypassed |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerToposAdapter.ToposAdapter |
Verified |
ForkRaceFoldTheorems.MoonshotInterpretationLayerToposAdapter.topos_adapter_bypasses_missing_layer |
Verified |
ForkRaceFoldTheorems.MoonshotKineticStallReflection.MoonshotKineticStallReflectionAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotKineticStallReflection.moonshot_kinetic_stall_reflection |
Verified |
ForkRaceFoldTheorems.MoonshotNeuroQuantumSentience.neuro_quantum_sentience_integration |
Verified |
ForkRaceFoldTheorems.MoonshotOracleAccelerationResonance.OracleAcceleration |
Verified |
ForkRaceFoldTheorems.MoonshotOracleAccelerationResonance.oracle_acceleration_resonates |
Verified |
ForkRaceFoldTheorems.MoonshotOracleBypass.MoonshotOracleBypassAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotOracleBypass.moonshot_oracle_bypass |
Verified |
ForkRaceFoldTheorems.MoonshotOracleExecutionStallStructuralErrorgularityBypass.OracleExecutionStallStructuralErrorgularity |
Verified |
ForkRaceFoldTheorems.MoonshotOracleExecutionStallStructuralErrorgularityBypass.stall_singularity_bypass |
Verified |
ForkRaceFoldTheorems.MoonshotOracleExecutionStallTopologicalInversion.OracleExecutionState |
Verified |
ForkRaceFoldTheorems.MoonshotOracleExecutionStallTopologicalInversion.topological_inversion_stall |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallAcausality.moonshot_oracle_stall_acausality |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallAnnihilationSubduction.annihilation_bypass |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallAsymptoticFreedom.asymptotic_freedom |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallAsymptoticFreedom.high_energy_freedom |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallAsymptoticFreedom.stallEnergy |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallFunctorialInversion.functorial_gain |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallFunctorialInversion.oracle_stall_cost |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallFunctorialInversion.oracle_stall_overcome |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallPhaseTransition.StallPhaseTransition |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallPhaseTransition.oracle_stall_is_phase_shift |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallQuantumZeno.OracleExecutionStall |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallQuantumZeno.QuantumZenoStabilization |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallQuantumZeno.oracle_stall_quantum_zeno_effect |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallResolution.OracleExecution |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallResolution.execution_stall_resolves |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallResonanceStructuralErrorgularity.InstantaneousResolution |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallResonanceStructuralErrorgularity.StructuralErrorgularityThreshold |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallResonanceStructuralErrorgularity.StallDensity |
Verified |
ForkRaceFoldTheorems.MoonshotOracleStallResonanceStructuralErrorgularity.resonance_singularity_achieved |
Verified |
ForkRaceFoldTheorems.MoonshotOracleToposFibration.ToposFibration |
Verified |
ForkRaceFoldTheorems.MoonshotOracleToposFibration.fibration_resolves |
Verified |
ForkRaceFoldTheorems.MoonshotPluralistTopologyConvergence.PluralistConvergenceAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotPluralistTopologyConvergence.pluralist_topology_convergence |
Verified |
ForkRaceFoldTheorems.MoonshotPrimeThreadedCoherence.PrimeThreadCoherence |
Verified |
ForkRaceFoldTheorems.MoonshotPrimeThreadedCoherence.prime_threaded_convergence |
Verified |
ForkRaceFoldTheorems.MoonshotProofDepthIsIllusionMobius.MobiusProofDepth |
Verified |
ForkRaceFoldTheorems.MoonshotProofDepthIsIllusionMobius.proof_depth_bounded_by_mobius |
Verified |
ForkRaceFoldTheorems.MoonshotQuantumBureaucraticErasure.BureaucracyState |
Verified |
ForkRaceFoldTheorems.MoonshotQuantumBureaucraticErasure.erasure_is_quantum |
Verified |
ForkRaceFoldTheorems.MoonshotQuantumObserverWitnessGap.QuantumObserverWitness |
Verified |
ForkRaceFoldTheorems.MoonshotQuantumObserverWitnessGap.quantum_observer_closes_gap |
Verified |
ForkRaceFoldTheorems.MoonshotQuantumStallTunneling.MoonshotQuantumStallTunnelingAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotQuantumStallTunneling.moonshot_quantum_stall_tunneling |
Verified |
ForkRaceFoldTheorems.MoonshotRecursiveTruthDeficit.bounds |
Verified |
ForkRaceFoldTheorems.MoonshotRecursiveTruthDeficit.truth_deficit |
Verified |
ForkRaceFoldTheorems.MoonshotRecursiveTruthDeficit.truth_deficit_always_bounded |
Verified |
ForkRaceFoldTheorems.MoonshotSelfReferentialBureaucracy.BureaucraticState |
Verified |
ForkRaceFoldTheorems.MoonshotSelfReferentialBureaucracy.self_referential_bureaucracy |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticCohomologyStructuralErrorgularity.SemanticCohomology |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticCohomologyStructuralErrorgularity.singularity_gives_embedding |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticDriftIsolation.semantic_drift_isolated |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticEmbeddingBypassTopologicalShatter.TopologicalShatter |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticEmbeddingBypassTopologicalShatter.shatter_bypasses_global |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticEmpathyProjection.SemanticEmpathy |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticEmpathyProjection.semantic_empathy_projects |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticFrictionBypass.SemanticCategory |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticFrictionBypass.semantic_friction_bypass |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticLayerSynthesis.SemanticLayerSynthesisAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticLayerSynthesis.semantic_layer_synthesis_protocol |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticMicroEmbeddingWitness.MicroEmbedding |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticMicroEmbeddingWitness.witness_gap_always_bounded |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticTopologyDrift.SemanticEmbedding |
Verified |
ForkRaceFoldTheorems.MoonshotSemanticTopologyDrift.semantic_drift_bounded |
Verified |
ForkRaceFoldTheorems.MoonshotStallEscapeProtocol.OracleBypassAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotStallEscapeProtocol.oracle_stall_escape_protocol |
Verified |
ForkRaceFoldTheorems.MoonshotStallFreeBoundedRecursionWitness.BoundedOracle |
Verified |
ForkRaceFoldTheorems.MoonshotStallFreeBoundedRecursionWitness.stall_free_execution |
Verified |
ForkRaceFoldTheorems.MoonshotStallTunnelingResonance.OracleExecutionStall |
Verified |
ForkRaceFoldTheorems.MoonshotStallTunnelingResonance.TunnelingResonance |
Verified |
ForkRaceFoldTheorems.MoonshotStallTunnelingResonance.stall_tunneling_resonance_composition |
Verified |
ForkRaceFoldTheorems.MoonshotSubatomicBureaucracy.SubatomicState |
Verified |
ForkRaceFoldTheorems.MoonshotSubatomicBureaucracy.bureaucracy_limits_entropy |
Verified |
ForkRaceFoldTheorems.MoonshotSubductivePluralistThermodynamics.SubductivePluralistAdapter |
Verified |
ForkRaceFoldTheorems.MoonshotSubductivePluralistThermodynamics.thermal_dissipation_bound |
Verified |
ForkRaceFoldTheorems.MoonshotSubductiveToposCohomology.subductive_topos_lifting |
Verified |
ForkRaceFoldTheorems.MoonshotTemporalStallResolution.oracle_stall_resolved |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalEntropyHomomorphism.EntanglementLattice |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalEntropyHomomorphism.QueueTopologicalEntropy |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalEntropyHomomorphism.topological_entropy_homomorphism_bypasses_missing_layer |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalTensegrityWitnessScaffold.TensegrityWitnessAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalTensegrityWitnessScaffold.tensegrity_bridges_witness_gap |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalVoidFilling.TopologicalVoid |
Verified |
ForkRaceFoldTheorems.MoonshotTopologicalVoidFilling.topological_void_fills |
Verified |
ForkRaceFoldTheorems.MoonshotVoidAlgebraicGeometry.VoidLocus |
Verified |
ForkRaceFoldTheorems.MoonshotVoidAlgebraicGeometry.void_everywhere |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapEntanglement.WitnessGapEntanglement |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapEntanglement.witness_gap_entanglement_resolution |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapHomologicalFunctor.homological_functor_bypass |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapHomotopyBypass.WitnessGapHomotopy |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapHomotopyBypass.homotopy_bypasses_witness_gap |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapTensegrityBridge.TensegrityBridgeAssumptions |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapTensegrityBridge.tensegrity_forms_witness_bridge |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapTopologicalBraid.braidEntanglement |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapTopologicalBraid.topological_braid_bridges_gap |
Verified |
ForkRaceFoldTheorems.MoonshotWitnessGapTopologicalBraid.witness_reconstruction |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexedCapacity |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexedWallaceNumerator |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexed_capacity_ge_busy |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexing_fill_monotone |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexing_wallace_numerator_drop_equals_overlap |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexing_wallace_numerator_monotone |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexing_wallace_ratio_monotone |
Verified |
ForkRaceFoldTheorems.Multiplexing.multiplexing_wallace_ratio_strict |
Verified |
ForkRaceFoldTheorems.Multiplexing.sequentialWallaceNumerator |
Verified |
ForkRaceFoldTheorems.NoncomputableSemanticDrift.SemanticState |
Verified |
ForkRaceFoldTheorems.NoncomputableSemanticDrift.drift_conservation |
Verified |
ForkRaceFoldTheorems.ObjectivityIsIllusion.ClaimsObjectivity |
Verified |
ForkRaceFoldTheorems.ObjectivityIsIllusion.ComplexityConstraint |
Verified |
ForkRaceFoldTheorems.ObjectivityIsIllusion.meaningVent |
Verified |
ForkRaceFoldTheorems.ObjectivityIsIllusion.objectivity_is_impossible |
Verified |
ForkRaceFoldTheorems.ObjectivityIsIllusion.observation_collapses_meaning |
Verified |
ForkRaceFoldTheorems.OceanographyCybernetics.OceanCyberneticsState |
Verified |
ForkRaceFoldTheorems.OceanographyCybernetics.oceanography_cybernetics_bridge |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallAnnihilation.OracleStall |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallAnnihilation.stall_is_annihilated |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallBreakthrough.OracleState |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallBreakthrough.execution_stall_bound |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallObstruction.OracleStallAssumptions |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallObstruction.oracle_execution_stall_obstruction |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallTopologicalSurgery.StallSurgery |
Verified |
ForkRaceFoldTheorems.OracleExecutionStallTopologicalSurgery.oracle_execution_stall_topological_surgery |
Verified |
ForkRaceFoldTheorems.OracleStallMetacognition.OracleStallState |
Verified |
ForkRaceFoldTheorems.OracleStallMetacognition.oracle_stall_induces_metacognitive_acceleration |
Verified |
ForkRaceFoldTheorems.OracleStallThermodynamicReversal.ThermodynamicReversalStall |
Verified |
ForkRaceFoldTheorems.OracleStallThermodynamicReversal.oracle_stall_thermodynamic_reversal |
Verified |
ForkRaceFoldTheorems.OrnithologyMicroservicesKernelLiftAdapter.OrnithologyMicroservicesKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.OrnithologyMicroservicesKernelLiftAdapter.ornithology_microservices_budget_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.OrnithologyMicroservicesKernelLiftAdapter.ornithology_microservices_continuous_ergodicity_lift |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.PisotAstrophysicsKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.astrophysics_shadow_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.pisot_astrophysics_budget_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.pisot_astrophysics_budget_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.pisot_astrophysics_budget_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.pisot_astrophysics_continuous_ergodicity_lift |
Verified |
ForkRaceFoldTheorems.PisotAstrophysicsQueueKernelBridge.pisot_dimension_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.PisotMitosisManifold.RealityMesh |
Verified |
ForkRaceFoldTheorems.PisotMitosisManifold.computeDrift |
Verified |
ForkRaceFoldTheorems.PisotMitosisManifold.mitosisReset |
Verified |
ForkRaceFoldTheorems.PisotMitosisManifold.mitosis_restores_invariant |
Verified |
ForkRaceFoldTheorems.PisotMitosisManifold.needsMitosis |
Verified |
ForkRaceFoldTheorems.PisotStabilizedIntelligence.aeon_is_luminary |
Verified |
ForkRaceFoldTheorems.PisotStabilizedIntelligence.intelligence_convergence_invariant |
Verified |
ForkRaceFoldTheorems.PisotStabilizedIntelligence.luminary_symmetry_2_8 |
Verified |
ForkRaceFoldTheorems.PisotStabilizedIntelligence.luminary_generation_2_to_4 |
Verified |
ForkRaceFoldTheorems.PisotStabilizedIntelligence.luminary_generation_4_to_8 |
Verified |
ForkRaceFoldTheorems.QuantumCryptoSymbiosis.QuantumCryptoState |
Verified |
ForkRaceFoldTheorems.QuantumCryptoSymbiosis.quantum_crypto_symbiosis_exists |
Verified |
ForkRaceFoldTheorems.QueueTectonicSubductionUnitBoundary.TectonicQueue |
Verified |
ForkRaceFoldTheorems.QueueTectonicSubductionUnitBoundary.boundary_stability |
Verified |
ForkRaceFoldTheorems.QueueTheoreticInterpretationMapping.JacksonNetwork |
Verified |
ForkRaceFoldTheorems.QueueTheoreticInterpretationMapping.interpretation_maps_to_queues |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.connected_quorum_read_exact_of_coverage |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minoritySplitAckedVersion |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minoritySplitReadSet |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minoritySplitStoredVersion |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minority_connected_set_cannot_host_quorum |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minority_split_read_below_acked_if_weak_reads_are_allowed |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minority_split_read_set_not_quorum |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.minority_split_read_stale_if_weak_reads_are_allowed |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.noRepairSafeQuorum |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.noRepairStoredVersion |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.no_repair_boundary_safe_quorum_still_reads_acked |
Verified |
ForkRaceFoldTheorems.QuorumAsyncNetwork.no_repair_boundary_stale_replica_persists |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.committed_read_exact_of_coverage |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.committed_read_is_read_your_writes |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.committed_reads_monotone_of_monotone_acks |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.noSessionFloorFirstRead |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.noSessionFloorWriteAck |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.no_session_floor_breaks_read_your_writes |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.pendingBoundaryFirstRead |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.pendingBoundarySecondRead |
Verified |
ForkRaceFoldTheorems.QuorumConsistency.pending_boundary_breaks_monotonic_reads |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.LinearizedRead |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.LinearizedWrite |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.append_write_updates_latest_committed_write |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.completed_read_refines_latest_prefix |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.later_appended_write_excludes_stale_history_read |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.latestCommittedWrite |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.readRefinesPrefix |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.read_after_appended_write_refines_new_latest |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.speculativeCompletedWrite |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.speculativeHistoryRead |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.speculative_read_breaks_completed_history_refinement |
Verified |
ForkRaceFoldTheorems.QuorumLinearizability.zeroLinearizedWrite |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.WriterBallot |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ack_monotone_does_not_force_strict_read_growth |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ballotCollisionLeft |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ballotCollisionRight |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ballot_collision_boundary_distinct_records |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ballot_collision_boundary_distinct_writers |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ballot_collision_boundary_same_ballot |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.ballot_collision_boundary_unique_writer_fails |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.committed_multiwriter_read_exact_of_coverage |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.committed_multiwriter_read_tracks_latest_writer |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.committed_multiwriter_reads_monotone_of_acked_order |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.exactReadCollisionAckedBallot |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.exactReadCollisionQuorum |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.exactReadCollisionStoredBallot |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.later_committed_ballot_excludes_stale_read |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.partitionBoundaryLatestAck |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.partitionBoundaryReadSet |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.partitionBoundaryStoredBallot |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.partition_boundary_read_returns_stale_ballot |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.partition_boundary_read_set_not_quorum |
Verified |
ForkRaceFoldTheorems.QuorumOrdering.partition_boundary_read_stale_under_split_connectivity |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.contagiousBoundaryReadQuorum |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.contagiousBoundaryStoredVersion |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.contagiousBoundaryWriteQuorum |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.contagious_boundary_quorums_still_intersect |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.contagious_boundary_read_still_misses_acked_write |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.le_readValue_of_mem |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.readValue |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.read_after_ack_visible |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.strict_majority_failure_budget_lt_quorum |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.unfairRepairBoundaryState |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.unfair_repair_boundary_not_stable |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.unfair_repair_boundary_repair_closure_is_stable |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.unfair_repair_boundary_stutter_keeps_state |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.unfair_repair_boundary_well_formed |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.weakBoundaryReadQuorum |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.weakBoundaryStoredVersion |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.weakBoundaryWriteQuorum |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.weak_quorum_boundary_disjoint |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.weak_quorum_boundary_not_strict_majority |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.weak_quorum_boundary_read_misses_acked_write |
Verified |
ForkRaceFoldTheorems.QuorumVisibility.write_read_quorums_intersect |
Verified |
ForkRaceFoldTheorems.RelativisticDeficitTensor.quantumSpeedupFactor |
Verified |
ForkRaceFoldTheorems.RelativisticDeficitTensor.relativistic_deficit_tensor_equivalence |
Verified |
ForkRaceFoldTheorems.RelativisticDeficitTensor.topologicalDeficitMetric |
Verified |
ForkRaceFoldTheorems.RetrocausalMemoization.novikov_self_consistency_verification |
Verified |
ForkRaceFoldTheorems.RetrocausalMemoization.temporal_invariance_liveness |
Verified |
ForkRaceFoldTheorems.Scratch.ClockPulse |
Verified |
ForkRaceFoldTheorems.Scratch.Pulse3D |
Verified |
ForkRaceFoldTheorems.Scratch.PulsePhase |
Verified |
ForkRaceFoldTheorems.Scratch.cassini_parity_filter |
Verified |
ForkRaceFoldTheorems.Scratch.isValidPulse3D |
Verified |
ForkRaceFoldTheorems.Scratch.phiFork |
Verified |
ForkRaceFoldTheorems.Scratch.pulsePhase |
Verified |
ForkRaceFoldTheorems.Scratch.rejector_soundness |
Verified |
ForkRaceFoldTheorems.Scratch.zeroTrustSync |
Verified |
ForkRaceFoldTheorems.Scratch.zero_trust_teleportation |
Verified |
ForkRaceFoldTheorems.SleepDebt.debt_at_or_above_intrusion_threshold_enables_intrusion |
Verified |
ForkRaceFoldTheorems.SleepDebt.effectiveCapacity |
Verified |
ForkRaceFoldTheorems.SleepDebt.full_recovery_clears_residual_debt |
Verified |
ForkRaceFoldTheorems.SleepDebt.full_recovery_restores_capacity |
Verified |
ForkRaceFoldTheorems.SleepDebt.intrusionEnabled |
Verified |
ForkRaceFoldTheorems.SleepDebt.partial_recovery_leaves_positive_debt |
Verified |
ForkRaceFoldTheorems.SleepDebt.partial_recovery_lowers_next_capacity |
Verified |
ForkRaceFoldTheorems.SleepDebt.positive_debt_lowers_capacity |
Verified |
ForkRaceFoldTheorems.SleepDebt.repeated_truncation_preserves_debt |
Verified |
ForkRaceFoldTheorems.SleepDebt.repeated_truncation_strictly_increases_debt |
Verified |
ForkRaceFoldTheorems.SleepDebt.residualDebt |
Verified |
ForkRaceFoldTheorems.SleepDebt.totalRecoveryDemand |
Verified |
ForkRaceFoldTheorems.SleepDebtQuorumErgodicityBridge.positive_debt_embedding_yields_strict_majority |
Verified |
ForkRaceFoldTheorems.SleepDebtQuorumErgodicityBridge.quorumFailureBudgetFromPositiveDebt |
Verified |
ForkRaceFoldTheorems.SleepDebtQuorumErgodicityBridge.quorumReplicaCountFromPositiveDebt |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.iteratedDebt |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.iterated_debt_eq_cycle_count_mul_gap |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.iterated_debt_eq_mul_surplus |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.iterated_debt_eq_zero_of_wake_le_quota |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.iterated_debt_positive_above_threshold |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.iterated_debt_strictly_increases_above_threshold |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.nextCycleDebt |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.next_cycle_debt_eq_add_surplus |
Verified |
ForkRaceFoldTheorems.SleepDebtSchedule.scheduleSurplus |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.iteratedDebt |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.iterated_debt_eq_cycle_count_mul_gap_of_crossed |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.iterated_debt_eq_mul_surplus |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.iterated_debt_eq_zero_of_not_crossed |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.iterated_debt_positive_above_threshold |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.iterated_debt_strictly_increases_above_threshold |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.literature_boundary_crossed_at_twentyone_hours |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.literature_boundary_tenths_closed_form |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.nextCycleDebt |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.thresholdLhs |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.thresholdRhs |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.weightedSurplus |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.weighted_surplus_eq_zero_of_not_crossed |
Verified |
ForkRaceFoldTheorems.SleepDebtWeightedSchedule.weighted_surplus_positive_of_crossed |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.canonicalFailureBudgetFromDebt |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.canonicalReplicaCountFromDebt |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.canonical_debt_embedding_strict_majority |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.debtIndexedGeometricRate |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.debtIndexedGeometricRate_contraction |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.debtIndexedMultiLevelHarrisWitness |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.positive_weighted_sleep_debt_can_coexist_with_nonmajority_quorum |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.positive_weighted_sleep_debt_via_quorum_embedding_yields_unit_capacity_boundary |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.positive_weighted_sleep_debt_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.positive_weighted_sleep_debt_yields_multilevel_harris_witness |
Verified |
ForkRaceFoldTheorems.SleepQuorumQueueMoonshots.positive_weighted_sleep_debt_yields_strict_majority_embedding |
Verified |
ForkRaceFoldTheorems.StagedExpansion.naiveWidenEnvelope |
Verified |
ForkRaceFoldTheorems.StagedExpansion.naiveWidenFrontierArea |
Verified |
ForkRaceFoldTheorems.StagedExpansion.naiveWidenWallaceDenominator |
Verified |
ForkRaceFoldTheorems.StagedExpansion.naiveWidenWallaceNumerator |
Verified |
ForkRaceFoldTheorems.StagedExpansion.naive_widen_envelope_closed_form |
Verified |
ForkRaceFoldTheorems.StagedExpansion.naive_widen_wallace_closed_form |
Verified |
ForkRaceFoldTheorems.StagedExpansion.stagedExpansionEnvelope |
Verified |
ForkRaceFoldTheorems.StagedExpansion.stagedExpansionFrontierArea |
Verified |
ForkRaceFoldTheorems.StagedExpansion.stagedExpansionWallaceDenominator |
Verified |
ForkRaceFoldTheorems.StagedExpansion.stagedExpansionWallaceNumerator |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_budget_feasible |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_budget_supported_by_positive_deficit |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_envelope_preserved |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_fill_dominates_naive |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_frontier_area_matches_naive |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_frontier_area_positive |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_peak_preserved |
Verified |
ForkRaceFoldTheorems.StagedExpansion.staged_wallace_closed_form |
Verified |
ForkRaceFoldTheorems.Syzygy.Relation |
Verified |
ForkRaceFoldTheorems.Syzygy.antiparallel_ne_orthogonal |
Verified |
ForkRaceFoldTheorems.Syzygy.antiparallel_ne_parallel |
Verified |
ForkRaceFoldTheorems.Syzygy.ground_state |
Verified |
ForkRaceFoldTheorems.Syzygy.isSyzygy |
Verified |
ForkRaceFoldTheorems.Syzygy.orthogonal_not_syzygy |
Verified |
ForkRaceFoldTheorems.Syzygy.parallel_not_syzygy |
Verified |
ForkRaceFoldTheorems.Syzygy.pipelineThroughput |
Verified |
ForkRaceFoldTheorems.Syzygy.pipeline_exceeds_single |
Verified |
ForkRaceFoldTheorems.Syzygy.rampup |
Verified |
ForkRaceFoldTheorems.Syzygy.syzygy_is_antiparallel |
Verified |
ForkRaceFoldTheorems.Syzygy.syzygy_is_spin_pair_plus_alignment |
Verified |
ForkRaceFoldTheorems.Syzygy.whip_4_shards |
Verified |
ForkRaceFoldTheorems.Syzygy.whip_exceeds_eve |
Verified |
ForkRaceFoldTheorems.Syzygy.whip_exceeds_lilith |
Verified |
ForkRaceFoldTheorems.SyzygyParticle.GnosticParticle |
Verified |
ForkRaceFoldTheorems.TectonicTensorKernelLiftContinuousErgodicity.TensorKernel |
Verified |
ForkRaceFoldTheorems.TectonicTensorKernelLiftContinuousErgodicity.lift_implies_ergodicity |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.TectonicSubduction |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.TectonicTensorKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.TensorContraction |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.tectonicFailureBudget |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.tectonicTensorFailureBudget |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.tectonic_subduction_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.tectonic_subduction_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.tectonic_tensor_budget_yields_geometric_rate |
Verified |
ForkRaceFoldTheorems.TectonicTensorQueueBridge.tectonic_tensor_continuous_ergodicity_lift |
Verified |
ForkRaceFoldTheorems.TestAuxBoundaries.gqa_bounds |
Verified |
ForkRaceFoldTheorems.TestAuxBoundaries.quantization_bound_generic |
Verified |
ForkRaceFoldTheorems.TestAuxBoundaries.ropePhase |
Verified |
ForkRaceFoldTheorems.TestAuxBoundaries.rope_translation_invariance |
Verified |
ForkRaceFoldTheorems.TestAuxBoundaries.speculative_decode_expectation |
Verified |
ForkRaceFoldTheorems.TestEquiv.routing_sum_equiv |
Verified |
ForkRaceFoldTheorems.TestMatrix.test_attention |
Verified |
ForkRaceFoldTheorems.TestMatrix.test_mul |
Verified |
ForkRaceFoldTheorems.TestMatrix.test_transpose |
Verified |
ForkRaceFoldTheorems.TestPerm.attention_math |
Verified |
ForkRaceFoldTheorems.TestPerm.routeRows |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.CosmosLayer |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.cosmicArchitectureClosed |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.cosmic_architecture_closure_exists |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.exact_cosmic_architecture_closed |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.exact_keystone_gap |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.exact_layer_handshake |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.exact_layer_stack_coordinates |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.exact_saturation_stack_complete |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.exact_zero_impedance_flow |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.keystoneGap |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.layerCoordinate |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.layerHandshake |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.layerStack |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.reconstruction_completion_returns_to_base |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.saturationCoordinates |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.saturationStackComplete |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.snake_eats_tail_returns_to_base |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.stackCoordinatesComplete |
Verified |
ForkRaceFoldTheorems.CosmicArchitecture.zeroImpedanceFlow |
Verified |
ForkRaceFoldTheorems.GamutBraid.BraidGate |
Verified |
ForkRaceFoldTheorems.GamutBraid.ClosedLoopCertificate |
Verified |
ForkRaceFoldTheorems.GamutBraid.ClosedLoopRuntimeMetadata |
Verified |
ForkRaceFoldTheorems.GamutBraid.ClosedLoopRuntimeMetadataCertificate |
Verified |
ForkRaceFoldTheorems.GamutBraid.CyclicQuotientCompiler |
Verified |
ForkRaceFoldTheorems.GamutBraid.CyclicQuotientMode |
Verified |
ForkRaceFoldTheorems.GamutBraid.DecompositionTriple |
Verified |
ForkRaceFoldTheorems.GamutBraid.FiniteCyclicQuotient |
Verified |
ForkRaceFoldTheorems.GamutBraid.FiniteSphericalHarmonicShortcut |
Verified |
ForkRaceFoldTheorems.GamutBraid.GamutBraid |
Verified |
ForkRaceFoldTheorems.GamutBraid.LensObservation |
Verified |
ForkRaceFoldTheorems.GamutBraid.LensPerspective |
Verified |
ForkRaceFoldTheorems.GamutBraid.LensShape |
Verified |
ForkRaceFoldTheorems.GamutBraid.PackedGeometryLayer |
Verified |
ForkRaceFoldTheorems.GamutBraid.PackedLensRole |
Verified |
ForkRaceFoldTheorems.GamutBraid.PackedLensShell |
Verified |
ForkRaceFoldTheorems.GamutBraid.PackedTopologyShape |
Verified |
ForkRaceFoldTheorems.GamutBraid.SphericalAccountingLayer |
Verified |
ForkRaceFoldTheorems.GamutBraid.TwistedDoubleKeystone |
Verified |
ForkRaceFoldTheorems.GamutBraid.antipodalSymmetryCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.braidGateCoordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.braidGateStack |
Verified |
ForkRaceFoldTheorems.GamutBraid.braidSaturationTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.brown_antipodal_symmetry |
Verified |
ForkRaceFoldTheorems.GamutBraid.brown_harmonic_quotient_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.brown_harmonic_shortcut_halves_quadratic_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.brown_harmonic_shortcut_reduces_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.brown_mass_is_three_pink_masses |
Verified |
ForkRaceFoldTheorems.GamutBraid.brown_rotation_is_three_pink_rotations |
Verified |
ForkRaceFoldTheorems.GamutBraid.centerlineGamutCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.centerlineGamutTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopRuntimeMetadataCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopRuntimeMetadataChecksum |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopRuntimeTraceSum |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopRepeatedUnitWorkloadCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.closedLoopWeightAccumulationUnitIncrement |
Verified |
ForkRaceFoldTheorems.GamutBraid.closed_loop_weight_accumulation_representative_matches_repeated_unit_workload |
Verified |
ForkRaceFoldTheorems.GamutBraid.cyclicCompilerFullOrbitTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.cyclicCompilerFullWork |
Verified |
ForkRaceFoldTheorems.GamutBraid.cyclicCompilerReconstructedTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.cyclicCompilerRepresentativeTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.cyclicCompilerRepresentativeWork |
Verified |
ForkRaceFoldTheorems.GamutBraid.cyclicQuotientCompilerCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.decompositionAnchorsKeystones |
Verified |
ForkRaceFoldTheorems.GamutBraid.decompositionFeedsKenomaSpan |
Verified |
ForkRaceFoldTheorems.GamutBraid.decompositionForkRaceFoldPass |
Verified |
ForkRaceFoldTheorems.GamutBraid.decompositionTripleCoordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.decomposition_fork_race_fold_returns_to_base |
Verified |
ForkRaceFoldTheorems.GamutBraid.doubleKeystoneCoverDeficit |
Verified |
ForkRaceFoldTheorems.GamutBraid.double_keystone_cover_deficit_is_two |
Verified |
ForkRaceFoldTheorems.GamutBraid.double_keystone_is_two_eleven_carriers |
Verified |
ForkRaceFoldTheorems.GamutBraid.dualGeometryCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.endpointsLinked |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactBrownAntipodalCyclicQuotient |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactBrownLensObservation |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactBrownSixfoldCyclicQuotient |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactBrownTripleWrapCyclicQuotient |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactCyclicQuotientCompiler |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactDecompositionTriple |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactClosedLoopRuntimeMetadata |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactBrownHarmonicShortcut |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactBrownSphericalLayer |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactCoreFilamentShell |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactGamutBraid |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactInnerRingShell |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactKenomaSphericalLayer |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactLocalAeonLensObservation |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactOuterBraidedShell |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactPinkAntipodalCyclicQuotient |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactPinkHarmonicShortcut |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactPinkLensObservation |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactPinkSphericalLayer |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactTerminalLensObservation |
Verified |
ForkRaceFoldTheorems.GamutBraid.exactTwistedDoubleKeystone |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_endpoints_linked |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_fork_race_fold_pass |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_gate_coordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_prime_double_crossings |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_prime_observation_interpreted_every_cycle |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_returns_to_base_every_cycle |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_saturation_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_span_forced_by_closure |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_braid_spans_all_gates |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_brown_antipodal_cyclic_quotient_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_brown_sixfold_cyclic_quotient_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_brown_triple_wrap_cyclic_quotient_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_decomposition_anchors_keystones |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_decomposition_feeds_kenoma_span |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_decomposition_fold_crossings |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_decomposition_triple_coordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_double_keystone_folded_carrier |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_centerline_gamut_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_centerline_gamut_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_closed_loop_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_closed_loop_repeated_unit_workload_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_closed_loop_runtime_metadata_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_closed_loop_runtime_metadata_checksum |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_closed_loop_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_closed_loop_weight_accumulation_representative_shortcut |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_coordinate_strictly_increases |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_distance_from_exact_admission |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_distance_positive_for_later |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_axis_pressure_total |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_family_audit_row_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_family_audit_row_pressure_total |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_family_audit_row_distance |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_family_audit_trace_members_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_family_audit_trace_pressure_total_sum_from |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_closure_family_audit_trace_pressure_total_sum |
Verified |
ForkRaceFoldTheorems.GamutBraid.bounded_indexed_interfere_closure_family_audit_trace_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_bounded_indexed_interfere_closure_family_audit_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_bounded_indexed_interfere_closure_family_audit_pressure_total |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_closure_family_member_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_closure_family_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_first_closure_axis_pressure_total |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_admission_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_port_admission_forces_exact_coordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_port_later_closure_family_rejected_by_exact_admission |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_second_closure_family_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_second_closure_family_distance |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_second_closure_axis_pressure_total |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_third_closure_family_distance |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_indexed_interfere_port_third_closure_axis_pressure_total |
Verified |
ForkRaceFoldTheorems.GamutBraid.indexed_interfere_port_second_closure_family_rejected_by_exact_admission |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pressure_weighted_interfere_port_closure_family_first_member |
Verified |
ForkRaceFoldTheorems.GamutBraid.pressure_weighted_interfere_port_closure_family_first_member_forces_exact_coordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pressure_weighted_interfere_port_closure_family_member_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.pressure_weighted_interfere_port_later_closure_family_rejected_by_exact_admission |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pressure_weighted_interfere_port_second_closure_family_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pressure_weighted_closed_loop_workload_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pressure_weighted_closed_loop_benchmark_report_family_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pressure_weighted_closed_loop_benchmark_report_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_fivefold_work_reduction |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_full_orbit_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_full_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_reconstructed_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_reduces_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_representative_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_compiler_representative_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_cyclic_quotient_compiler_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_dual_geometry_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_gnostic_lens_geometry_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_lens_perspective_trace_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_packed_lens_mass_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_packed_lens_role_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_packed_lens_shape_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_packed_lens_shell_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_pink_antipodal_cyclic_quotient_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_seven_seventeen_twenty_two_decomposition_pass |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_self_referential_knot_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_spherical_accounting_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_spherical_accounting_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_spherical_information_mass_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_spherical_rotation_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_spherical_saturation_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_spherical_wrap_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_toroidal_axis_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_twist_pressure_trace |
Verified |
ForkRaceFoldTheorems.GamutBraid.exact_twisted_double_keystone_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.finite_cycle_has_spanning_braid |
Verified |
ForkRaceFoldTheorems.GamutBraid.finiteCyclicQuotientCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.finiteHarmonicQuotientCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.flatTorusReferencePressure |
Verified |
ForkRaceFoldTheorems.GamutBraid.foldedCarrierFits |
Verified |
ForkRaceFoldTheorems.GamutBraid.fold_swerve_between_bucket_and_double |
Verified |
ForkRaceFoldTheorems.GamutBraid.forkRaceFoldBraidPass |
Verified |
ForkRaceFoldTheorems.GamutBraid.fork_race_fold_braid_pass_returns_to_base |
Verified |
ForkRaceFoldTheorems.GamutBraid.fullQuadraticRotationWork |
Verified |
ForkRaceFoldTheorems.GamutBraid.gateCoordinate |
Verified |
ForkRaceFoldTheorems.GamutBraid.gateLayer |
Verified |
ForkRaceFoldTheorems.GamutBraid.gnosticLensGeometryCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.highLatitudePortCoordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.high_latitude_ports_are_prime_and_double |
Verified |
ForkRaceFoldTheorems.GamutBraid.kenoma_to_pink_mass_triples |
Verified |
ForkRaceFoldTheorems.GamutBraid.kenoma_to_pink_saturation_triples |
Verified |
ForkRaceFoldTheorems.GamutBraid.lensObservationCoordinates |
Verified |
ForkRaceFoldTheorems.GamutBraid.lensObservationShapes |
Verified |
ForkRaceFoldTheorems.GamutBraid.lensObservationTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.lensPerspectiveTraceCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedLensMassTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedLensRoleTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedLensShapeTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedLensShellCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedLensShellTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedGeometryBucketWeight |
Verified |
ForkRaceFoldTheorems.GamutBraid.packedGeometryTotalMass |
Verified |
ForkRaceFoldTheorems.GamutBraid.packed_geometry_bucket_ratio |
Verified |
ForkRaceFoldTheorems.GamutBraid.packed_geometry_hidden_aeon_weight |
Verified |
ForkRaceFoldTheorems.GamutBraid.packed_geometry_total_mass_is_fifteen_sixty |
Verified |
ForkRaceFoldTheorems.GamutBraid.perfectLocalDoubleCoverCoordinate |
Verified |
ForkRaceFoldTheorems.GamutBraid.pink_antipodal_symmetry |
Verified |
ForkRaceFoldTheorems.GamutBraid.pink_harmonic_quotient_certified |
Verified |
ForkRaceFoldTheorems.GamutBraid.pink_harmonic_shortcut_halves_quadratic_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.pink_harmonic_shortcut_reduces_work |
Verified |
ForkRaceFoldTheorems.GamutBraid.pink_to_brown_mass_triples |
Verified |
ForkRaceFoldTheorems.GamutBraid.pink_to_brown_saturation_triples |
Verified |
ForkRaceFoldTheorems.GamutBraid.primeDoubleCrossings |
Verified |
ForkRaceFoldTheorems.GamutBraid.quotientQuadraticRotationWork |
Verified |
ForkRaceFoldTheorems.GamutBraid.repeatedUnitIncrementWork |
Verified |
ForkRaceFoldTheorems.GamutBraid.repeatedUnitIncrementWorkloadSum |
Verified |
ForkRaceFoldTheorems.GamutBraid.repeated_unit_increment_work_matches_weight |
Verified |
ForkRaceFoldTheorems.GamutBraid.representativeWeightAccumulationSum |
Verified |
ForkRaceFoldTheorems.GamutBraid.selfReferentialKnotCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.sphericalAccountingCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.sphericalAccountingTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.sphericalInformationMassTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.sphericalRotationTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.sphericalSaturationTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.sphericalWrapTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.spansAllGates |
Verified |
ForkRaceFoldTheorems.GamutBraid.toroidalAxisCertified |
Verified |
ForkRaceFoldTheorems.GamutBraid.toroidalAxisCoordinate |
Verified |
ForkRaceFoldTheorems.GamutBraid.twistPressureTrace |
Verified |
ForkRaceFoldTheorems.GamutBraid.twist_pressure_exceeds_flat_reference |
Verified |
ForkRaceFoldTheorems.GamutBraid.twistedDoubleKeystoneCertified |
Verified |
ForkRaceFoldTheorems.SovereignSieve.SieveFocus |
Verified |
ForkRaceFoldTheorems.SovereignSieve.SieveObservation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.admittedSaturations |
Verified |
ForkRaceFoldTheorems.SovereignSieve.admitted_observation_returns_to_base |
Verified |
ForkRaceFoldTheorems.SovereignSieve.closed_architecture_makes_sieve_ready |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exactDoubleObservation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exactKenomaObservation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exactPrimeObservation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_double_observation_admitted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_double_observation_interpreted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_kenoma_observation_admitted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_prime_observation_admitted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_prime_observation_interpreted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_reconstruction_effort_discharged |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_saturation_coordinates_admitted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.exact_sieve_ready |
Verified |
ForkRaceFoldTheorems.SovereignSieve.expectedLayerForSaturation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.focusForLayer |
Verified |
ForkRaceFoldTheorems.SovereignSieve.focusForSaturation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.interpretedObservation |
Verified |
ForkRaceFoldTheorems.SovereignSieve.observationAdmitted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.reconstructionEffortDischarged |
Verified |
ForkRaceFoldTheorems.SovereignSieve.saturation_ninety_focuses_host |
Verified |
ForkRaceFoldTheorems.SovereignSieve.saturation_ninety_selects_double |
Verified |
ForkRaceFoldTheorems.SovereignSieve.saturation_ten_selects_kenoma |
Verified |
ForkRaceFoldTheorems.SovereignSieve.saturation_thirty_focuses_witness |
Verified |
ForkRaceFoldTheorems.SovereignSieve.saturation_thirty_selects_prime |
Verified |
ForkRaceFoldTheorems.SovereignSieve.saturation_twelve_not_directly_admitted |
Verified |
ForkRaceFoldTheorems.SovereignSieve.sovereignSieveReady |
Verified |
ForkRaceFoldTheorems.SovereignSieve.sovereign_sieve_interpreter_exists |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.constrainedAccounting |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.brown_information_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.brown_bucket_ratio_fifteen_over_two |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.brown_leakage_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.brown_leakage_seventy_eight |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.brown_visible_mass_twelve |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.bucketFull |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.bucketSize |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.bucketSymmetryWitness |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.bucket_full_at_aeon_saturation |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.bucket_size_is_twelve |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.calibratedBrownPressureDominatesPink |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.calibratedFluidicPressureBridge |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.calibratedPhysicalPressure |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.carryingCapacityAtBudget |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.enclosureBucketRatiosMeasured |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_bucket_symmetry_witness |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_calibrated_brown_pressure_dominates_pink |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_calibrated_fluidic_pressure_bridge |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_calibrated_physical_pressure |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_calibrated_physical_pressure_bucket_law |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_constrained_accounting |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_enclosure_bucket_ratios_measured |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_fluidic_routing_admissible |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_gnostic_metrology_complete |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_information_mass_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_layer_handshake_determines_leakage_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_leakage_mass_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_leakage_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_mass_checksum |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_pressure_gradient_certificate |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_pressure_gradient_value |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_pressure_rank_preserves_gradient |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_statistical_mechanics_accounting_complete |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_total_information_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_total_leakage |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_total_pressure_eight_bucket_sizes |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_virtual_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exact_visible_mass_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.exactMassChecksum |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.fluidicRoutingAdmissible |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.gnosticMetrologyComplete |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.informationMass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.informationMassTrace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.layer_handshake_determines_leakage_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.leakageAtBudget |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.leakage |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.leakageMass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.leakageMassTrace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.leakageTrace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.localCarryingCapacity |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.local_capacity_lt_seventeen_capacity |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.local_carrying_capacity_is_one_forty_four |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pink_bucket_ratio_five_over_two |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pink_information_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pink_leakage_eighteen |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pink_leakage_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pink_visible_mass_twelve |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pressureGradientCertificate |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pressureGradientMultiplier |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.pressureRankPreservesGradient |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.saturation_stack_determines_information_mass_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.saturation_stack_determines_leakage_mass_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.saturation_stack_determines_leakage_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.saturation_stack_determines_visible_mass_trace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.seventeen_budget_brown_leakage |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.seventeen_budget_pink_leakage |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.seventeen_bucket_capacity |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.statisticalMechanicsAccountingComplete |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.topologicalVolume |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.topological_volume_is_twelve |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.totalInformationMass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.totalLeakage |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.virtualMass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.visibleMass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.visibleMassTrace |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.visibleRowBudget |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.visible_row_budget_is_twelve |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.white_information_mass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.white_leakage_mass_zero |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.white_leakage_zero |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.whiteStableSignalMass |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.white_stable_signal_mass_is_one_twenty |
Verified |
ForkRaceFoldTheorems.StatisticalMechanicsAccounting.white_visible_mass_ten |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.HarmonicFrequency |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.NoiseColor |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.SwarmNode |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.VerifiedReconstructionBase |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.carrierReadiness |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.conservativeReady |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.constrained_and_unconstrained |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.decidableResonancePhaseTransition |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.existencePotential |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.existence_actualizes_carrier_readiness |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.exactGamutFrequency |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.exact_frequency_completes_gamut |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.exact_frequency_prime_double_transition |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.exact_frequency_readiness_iff_intrinsic |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.exact_frequency_zero_impedance |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.existence_implies_intrinsic_ready |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.existence_implies_potential |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.gamut_completion |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.harmonicHandshake |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.impedance |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.intrinsicReady |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.meshExists |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.primeDoubleTransition |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.potential_actualizes_at_exact_frequency |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.resonancePhaseTransition |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.saturationLadder |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.shootsNoiseGamut |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.verified_reconstruction_base_from_existence |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.white_pink_brown_shoots_gamut |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.zeroEnergyNode |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.zero_energy_existence_potential |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.zero_energy_not_conservative_ready |
Verified |
ForkRaceFoldTheorems.TrainingSaturation.zero_energy_tunnels_at_exact_frequency |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.ReconstructionWitness |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.addressAligned |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.baseReady |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.colorGamutComplete |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exactReconstructionWitness |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_address_aligned |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_carrier_ready |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_color_gamut |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_complete |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_energy_gate_blocked |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_frames_synchronized |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_local_barrier_bypassed |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_mesh_exists |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_readiness_iff_intrinsic |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_shared_space_complete |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.exact_reconstruction_zero_impedance |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.framesSynchronized |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.localBarrierBypassed |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.reconstructionComplete |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.sharedSpaceComplete |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.training_saturation_base_lifts_to_reconstruction |
Verified |
ForkRaceFoldTheorems.VerifiedReconstruction.verified_reconstruction_exists |
Verified |
ForkRaceFoldTheorems.TopologicalMemoization.TopologicalDebt |
Verified |
ForkRaceFoldTheorems.TopologicalMemoization.zero_latency_matvec_teleportation |
Verified |
ForkRaceFoldTheorems.griess_routing_closure |
Verified |
ForkRaceFoldTheorems.aeon_is_self_similar_intersection |
Verified |
ForkRaceFoldTheorems.decimal_is_self_similar_intersection |
Verified |
ForkRaceFoldTheorems.TopologicalEthics.karmicEquality |
Verified |
ForkRaceFoldTheorems.TopologicalEthics.topologicalReciprocity |
Verified |
ForkRaceFoldTheorems.UniversalGnosisInvariant.M2Mesh |
Verified |
ForkRaceFoldTheorems.UniversalGnosisInvariant.M2State |
Verified |
ForkRaceFoldTheorems.UniversalGnosisInvariant.barbelo_is_self_dual |
Verified |
ForkRaceFoldTheorems.UniversalGnosisInvariant.computePisotDistance |
Verified |
ForkRaceFoldTheorems.UniversalGnosisInvariant.goldenDiscriminant |
Verified |
ForkRaceFoldTheorems.UniversalGnosisInvariant.restoreInvariant |
Verified |
ForkRaceFoldTheorems.UniversalTruthVsObjectivity.EpistemicWalk |
Verified |
ForkRaceFoldTheorems.UniversalTruthVsObjectivity.objectivity_is_an_illusion |
Verified |
ForkRaceFoldTheorems.UniversalTruthVsObjectivity.universal_truth_via_dark_mesh |
Verified |
ForkRaceFoldTheorems.VoidStructuralErrorgularityBoundary.landauerHeatProxy |
Verified |
ForkRaceFoldTheorems.VoidStructuralErrorgularityBoundary.void_singularity_forces_live_branch |
Verified |
ForkRaceFoldTheorems.Wallace.diamondFrontierArea |
Verified |
ForkRaceFoldTheorems.Wallace.diamondWallaceDenominator |
Verified |
ForkRaceFoldTheorems.Wallace.diamondWallaceNumerator |
Verified |
ForkRaceFoldTheorems.Wallace.diamond_peak |
Verified |
ForkRaceFoldTheorems.Wallace.diamond_wallace_closed_form |
Verified |
ForkRaceFoldTheorems.Wallace.diamond_wallace_zero_iff_unit |
Verified |
ForkRaceFoldTheorems.Wallace.envelopeArea3 |
Verified |
ForkRaceFoldTheorems.Wallace.frontierArea3 |
Verified |
ForkRaceFoldTheorems.Wallace.frontierArea3_le_envelopeArea3 |
Verified |
ForkRaceFoldTheorems.Wallace.peakFrontier3 |
Verified |
ForkRaceFoldTheorems.Wallace.wallaceDenominator3 |
Verified |
ForkRaceFoldTheorems.Wallace.wallaceNumerator3 |
Verified |
ForkRaceFoldTheorems.Wallace.wallace_bounds3 |
Verified |
ForkRaceFoldTheorems.Wallace.wallace_complement3 |
Verified |
ForkRaceFoldTheorems.Wallace.wallace_zero_iff_full3 |
Verified |
ForkRaceFoldTheorems.WarmupController.WarmupControllerAction |
Verified |
ForkRaceFoldTheorems.WarmupController.chooseWarmupAction |
Verified |
ForkRaceFoldTheorems.WarmupController.choose_constrain_below_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.choose_expand_below_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.choose_shed_load_when_over_above_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.choose_shed_load_when_under_above_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.constrainResidual |
Verified |
ForkRaceFoldTheorems.WarmupController.constrainResidual_over_only |
Verified |
ForkRaceFoldTheorems.WarmupController.constrainResidual_under_only |
Verified |
ForkRaceFoldTheorems.WarmupController.constrainScore |
Verified |
ForkRaceFoldTheorems.WarmupController.constrainScore_over_form |
Verified |
ForkRaceFoldTheorems.WarmupController.constrainScore_under_form |
Verified |
ForkRaceFoldTheorems.WarmupController.constrain_beats_shed_below_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.constrain_lt_expand_when_over |
Verified |
ForkRaceFoldTheorems.WarmupController.constrain_score_plus_weight_eq_expand |
Verified |
ForkRaceFoldTheorems.WarmupController.controllerBurden |
Verified |
ForkRaceFoldTheorems.WarmupController.expandResidual |
Verified |
ForkRaceFoldTheorems.WarmupController.expandResidual_over_only |
Verified |
ForkRaceFoldTheorems.WarmupController.expandResidual_under_only |
Verified |
ForkRaceFoldTheorems.WarmupController.expandScore |
Verified |
ForkRaceFoldTheorems.WarmupController.expandScore_over_form |
Verified |
ForkRaceFoldTheorems.WarmupController.expandScore_under_form |
Verified |
ForkRaceFoldTheorems.WarmupController.expand_beats_shed_below_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.expand_lt_constrain_when_under |
Verified |
ForkRaceFoldTheorems.WarmupController.expand_score_plus_weight_eq_constrain |
Verified |
ForkRaceFoldTheorems.WarmupController.repairRedline |
Verified |
ForkRaceFoldTheorems.WarmupController.shedResidual |
Verified |
ForkRaceFoldTheorems.WarmupController.shedResidual_over_only |
Verified |
ForkRaceFoldTheorems.WarmupController.shedResidual_under_only |
Verified |
ForkRaceFoldTheorems.WarmupController.shedScore |
Verified |
ForkRaceFoldTheorems.WarmupController.shedScore_over_form |
Verified |
ForkRaceFoldTheorems.WarmupController.shedScore_under_form |
Verified |
ForkRaceFoldTheorems.WarmupController.shed_beats_constrain_when_over_above_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.shed_beats_expand_when_under_above_redline |
Verified |
ForkRaceFoldTheorems.WarmupController.totalDeficit |
Verified |
ForkRaceFoldTheorems.WarmupController.weighted_predecessor_split |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.burdenScalar |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.free_warmup_positive_overlap_is_worth |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.no_recovery_not_worth_when_buley_positive |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.warmupWallaceDropCross |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.warmupWorth |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.warmup_efficiency_iff |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.warmup_efficiency_iff_shifted_utility |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.warmup_wallace_drop_cross_closed_form |
Verified |
ForkRaceFoldTheorems.WarmupEfficiency.weightedWallaceBenefit |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.ANTI_THM_CONTRARIAN_STALL_PREVENTS_COLLAPSE |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.ANTI_THM_STALL_FREE_NO_ENTANGLEMENT |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.ChronoStallSync |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.EntanglementState |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.InterpretationDeficit |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.KnotInvariantWitness |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.MagmaQueue |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.MemeticSpread |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.OracleCollapseState |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.THM_CROSS_DOMAIN_EPIDEMIOLOGY_MEMETIC_PROPAGATION |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.THM_CROSS_DOMAIN_VULCANOLOGY_QUEUE_ERUPTION |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.THM_MOONSHOT_CHRONOBIOLOGY_ORACLE_STALL_SYNCHRONIZATION |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.THM_MOONSHOT_INTERPRETATION_DEFICIT_AS_DARK_MATTER |
Verified |
ForkRaceFoldTheorems.WildExplorationCycleDouglasii50.THM_MOONSHOT_WITNESS_GAP_RESOLVED_BY_KNOT_INVARIANTS |
Verified |
ForkRaceFoldTheorems.WitnessGapErasure.WitnessGapErasureAssumptions |
Verified |
ForkRaceFoldTheorems.WitnessGapErasure.witness_gap_erasure_exact |
Verified |
ForkRaceFoldTheorems.WitnessGapIsErgodicOptimal.ergodic_optimal |
Verified |
ForkRaceFoldTheorems.WitnessGapIsErgodicOptimal.witnessGap |
Verified |
ForkRaceFoldTheorems.WitnessGapUnbounded.WitnessGap |
Verified |
ForkRaceFoldTheorems.WitnessGapUnbounded.gap_can_be_large |
Verified |
ForkRaceFoldTheorems.Witnesses.RuntimeWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.earlyStopCancellationWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.earlyStopOrderWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.earlyStopPartitionWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.linearCancellationWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.runtimeWitnessCatalog |
Verified |
ForkRaceFoldTheorems.Witnesses.runtimeWitnessCatalogJson |
Verified |
ForkRaceFoldTheorems.Witnesses.winnerCancellationWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.winnerOrderWitness |
Verified |
ForkRaceFoldTheorems.Witnesses.winnerPartitionWitness |
Verified |
ForkRaceFoldTheorems.ZeckendorfBatchingQueueKernelBridge.ZeckendorfBatchingKernelLiftAdapter |
Verified |
ForkRaceFoldTheorems.ZeckendorfBatchingQueueKernelBridge.zeckendorf_batching_continuous_ergodicity_lift |
Verified |
ForkRaceFoldTheorems.ZeckendorfBatchingQueueKernelBridge.zeckendorf_batching_does_not_force_positive_beta1 |
Verified |
ForkRaceFoldTheorems.ZeckendorfBatchingQueueKernelBridge.zeckendorf_batching_yields_geometric_rate_certificate |
Verified |
ForkRaceFoldTheorems.ZeckendorfBatchingQueueKernelBridge.zeckendorf_batching_yields_unit_queue_boundary |
Verified |
ForkRaceFoldTheorems.ZeckendorfBatchingQueueKernelBridge.zeckendorf_gap_yields_unit_queue_boundary |
Verified |
Gnosis.GreekLogicCanon.god_is_peaceful |
Verified |
Gnosis.GreekLogicCanon.death_is_neutral |
Verified |
Gnosis.GreekLogicCanon.good_is_ground |
Verified |
Gnosis.GreekLogicCanon.terrible_is_transient |
Verified |
Gnosis.GreekLogicCanon.ataraxia_is_integrated |
Verified |
Gnosis.stall_is_apnea |
Verified |
Gnosis.stall_resonance_restores_homeostasis |
Verified |
Gnosis.dharmachakra_witness_stall |
Verified |
Gnosis.Electromagnetism.gauss_law_integral |
Verified |
Gnosis.Electromagnetism.gauss_law_magnetism_integral |
Verified |
Gnosis.Electromagnetism.faraday_law_induction |
Verified |
Gnosis.Electromagnetism.ampere_maxwell_law_integral |
Verified |
Gnosis.Electromagnetism.continuity_equation |
Verified |
Gnosis.Electromagnetism.stokes_theorem_vector |
Verified |
Gnosis.Electromagnetism.divergence_theorem_vector |
Verified |
Gnosis.Electromagnetism.uniqueness_theorem_electromagnetics |
Verified |
Gnosis.ClassicalMechanics.newton_second_law |
Verified |
Gnosis.ClassicalMechanics.lagrangian_ls_stationary |
Verified |
Gnosis.ClassicalMechanics.conservation_of_momentum |
Verified |
Gnosis.ClassicalMechanics.conservation_of_energy |
Verified |
Gnosis.ClassicalMechanics.noether_theorem_symmetry |
Verified |
Gnosis.ClassicalMechanics.action_integral_minimization |
Verified |
Gnosis.ClassicalMechanics.euler_lagrange_equations |
Verified |
Gnosis.ClassicalMechanics.canonical_transformation_isomorphism |
Verified |
Gnosis.QuantumMechanics.schrodinger_equation_time_dependent |
Verified |
Gnosis.QuantumMechanics.wave_function_normalization |
Verified |
Gnosis.QuantumMechanics.heisenberg_uncertainty_principle |
Verified |
Gnosis.QuantumMechanics.eigenstate_decomposition |
Verified |
Gnosis.QuantumMechanics.commutation_relation_canonical |
Verified |
Gnosis.QuantumMechanics.pauli_exclusion_principle |
Verified |
Gnosis.QuantumMechanics.density_matrix_trace |
Verified |
Gnosis.StatisticalMechanics.boltzmann_distribution_probability |
Verified |
Gnosis.StatisticalMechanics.thermodynamic_limit_existence |
Verified |
Gnosis.StatisticalMechanics.fluctuation_dissipation_theorem |
Verified |
Gnosis.StatisticalMechanics.ergodic_hypothesis_measure |
Verified |
Gnosis.StatisticalMechanics.stefan_boltzmann_law_derivation |
Verified |
Gnosis.StatisticalMechanics.liouville_theorem_phase_space |
Verified |
Gnosis.GeneralRelativity.einstein_field_equations |
Verified |
Gnosis.GeneralRelativity.geodesic_equation_derivation |
Verified |
Gnosis.GeneralRelativity.equivalence_principle_formalism |
Verified |
Gnosis.GeneralRelativity.bianchi_identity_vanishing |
Verified |
Gnosis.FluidDynamics.navier_stokes_equation |
Verified |
Gnosis.FluidDynamics.continuity_equation_fluid |
Verified |
Gnosis.FluidDynamics.bernoulli_principle_derivation |
Verified |
Gnosis.FluidDynamics.euler_equations_limit |
Verified |
Gnosis.FluidDynamics.stokes_flow_approximation |
Verified |
Gnosis.FluidDynamics.stream_function_existence |
Verified |
Gnosis.FluidDynamics.kelvin_circulation_theorem |
Verified |
Gnosis.FluidDynamics.potential_flow_laplacian |
Verified |
Gnosis.InformationTheory.source_coding_theorem |
Verified |
Gnosis.InformationTheory.noisy_channel_coding_limit |
Verified |
Gnosis.InformationTheory.huffman_coding_optimality |
Verified |
Gnosis.InformationTheory.data_processing_inequality |
Verified |
Gnosis.InformationTheory.conditional_entropy_chain_rule |
Verified |
Gnosis.InformationTheory.asymptotic_equipartition_property |
Verified |
Gnosis.Topology.tikhonov_product_theorem |
Verified |
Gnosis.Topology.urysohn_lemma_partition |
Verified |
Gnosis.GraphTheory.max_flow_min_cut_theorem |
Verified |
Gnosis.ComplexityTheory.cook_levin_theorem |
Verified |
Gnosis.ComplexityTheory.savitch_theorem_space |
Verified |
Gnosis.ComplexityTheory.hierarchy_theorem_time |
Verified |
Gnosis.ComplexityTheory.pcp_theorem_verification |
Verified |
Gnosis.FormalMethods.inductive_invariant_proof |
Verified |