recognition explainers
Plain-language pages for Lean modules and declarations from the public Recognition library, written by Gemini and grounded in the formal source. Each card links to the durable explainer page and its underlying Ask Recognition permalink.
500 ready
-
A_amplitude_bounds -
penrose_frequency_ratiotheorem in
IndisputableMonolith.Chemistry.Quasicrystal -
IndisputableMonolith.Foundation.LogicAsFunctionalEquation.LinearLogicBridgemodule guide in
IndisputableMonolith.Foundation.LogicAsFunctionalEquation.LinearLogicBridge -
all_lengththeorem in
IndisputableMonolith.Aesthetics.NarrativeGeodesic -
Bridgestructure in
IndisputableMonolith.RecogSpec.Core -
kernel_lt_one_when_subtheorem in
IndisputableMonolith.Unification.BandwidthSaturation -
IndisputableMonolith.Mathematics.RamanujanBridge.ZeckendorfJCostmodule guide in
IndisputableMonolith.Mathematics.RamanujanBridge.ZeckendorfJCost -
HasCover -
arrowCounttheorem in
IndisputableMonolith.Physics.EntropyArrowFromJCost -
dAlembert_cos_solutiontheorem in
IndisputableMonolith.Measurement.RecognitionAngle.AngleFunctionalEquation -
CubicFieldCurvatureCertstructure in
IndisputableMonolith.Foundation.SimplicialLedger.CubicDeficitDischarge -
X_reciprocity -
eta_bar_postheorem in
IndisputableMonolith.StandardModel.CKMMatrix -
lambda_rec_from_Jbit_postheorem in
IndisputableMonolith.Constants.PlanckScaleMatching -
match_lepton_etheorem in
IndisputableMonolith.Masses.RungConstructor.Proofs -
extendByZerodef in
IndisputableMonolith.ClassicalBridge.Fluids.ContinuumLimit2D -
V_cb -
phi_computabletheorem in
IndisputableMonolith.Meta.ConstructiveNote -
phi_pow_residue_mu_boundslemma in
IndisputableMonolith.Physics.LeptonGenerations.Necessity -
chargeMap -
tauZero_existstheorem in
IndisputableMonolith.Physics.TauZeroCalibratorFromConstants -
persistent_state_unique -
ledger_algebra_certificatetheorem in
IndisputableMonolith.Algebra.LedgerAlgebra -
LCGroupinductive in
IndisputableMonolith.Mathematics.AbstractHarmoniAnalysisFromRS -
tau_valuestheorem in
IndisputableMonolith.Masses.Anchor -
mfv_compatible_at_anchortheorem in
IndisputableMonolith.Physics.AnchorPolicy -
ledgerJlogCost_nonnegtheorem in
IndisputableMonolith.LedgerPostingAdjacency -
kernel_is_equivalencetheorem in
IndisputableMonolith.Foundation.ObserverFromRecognition -
quarkDoublet -
prime_unit_cost -
proton_binding_pred -
divFreeCoeffBounddef in
IndisputableMonolith.ClassicalBridge.Fluids.ContinuumLimit2D -
M0_postheorem in
IndisputableMonolith.RSBridge.Anchor -
e_to_phi -
prime_is_positive_ledger_statetheorem in
IndisputableMonolith.NumberTheory.PrimeLedgerAtom -
cert_e -
extendPeriodic8_eq_modlemma in
IndisputableMonolith.Streams -
e_times_phi -
predictions -
int_eq_of_natAbs_eq_zero -
beta_running_boundstheorem in
IndisputableMonolith.Gravity.RunningG -
quarkFlavors_eq_cubeFacestheorem in
IndisputableMonolith.Physics.ParticlePhysicsDepthFromRS -
t1BoundaryExclusionCertdef in
IndisputableMonolith.NumberTheory.T1BoundaryExclusion -
cross_sector_shift -
refined_shift_boundslemma in
IndisputableMonolith.Physics.ElectronMass.Necessity -
stepAt_isPostingStep -
Z_downtheorem in
IndisputableMonolith.Physics.AnchorPolicy -
alpha_attractor_boundstheorem in
IndisputableMonolith.Gravity.Inflation -
f_residue_model_at -
IndisputableMonolith.Unification.UnifiedRHmodule guide in
IndisputableMonolith.Unification.UnifiedRH -
IndisputableMonolith.Philosophy.MetaethicalPositionsFromConfigDimmodule guide in
IndisputableMonolith.Philosophy.MetaethicalPositionsFromConfigDim -
ym_vacuumtheorem in
IndisputableMonolith.Physics.YangMillsLatticeFromRS -
VortexLatticeTypeinductive in
IndisputableMonolith.Materials.SuperconductorVortexFromJCost -
canonicalMinkowskiEnrichmentdef in
IndisputableMonolith.Foundation.SimplicialLedger.InteriorFlat -
row_V_ub -
comp -
phasor -
m_mu_exp -
ofstructure in
IndisputableMonolith.Foundation.SpectralEmergence -
succ_addtheorem in
IndisputableMonolith.Foundation.ArithmeticFromLogic -
IndisputableMonolith.Action.EulerLagrangemodule guide in
IndisputableMonolith.Action.EulerLagrange -
mass_charm_exp -
limitativeResult_counttheorem in
IndisputableMonolith.Mathematics.GodelTheoremsStructuralFromRS -
add_event_balanced -
E_G_pos -
anchor_ratiotheorem in
IndisputableMonolith.RSBridge.Anchor -
phi_four_power_lower -
IndisputableMonolith.Nuclear.Octavemodule guide in
IndisputableMonolith.Nuclear.Octave -
IndisputableMonolith.Flight.Geometrymodule guide in
IndisputableMonolith.Flight.Geometry -
up_generation_spacing -
galactic_ratio_rationaldef in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
kappa_bounds -
mass_ratio_leading_at_anchortheorem in
IndisputableMonolith.Physics.QCDRGE.MassAnomalousDimension -
massAtAnchor -
AdmissibleFamilystructure in
IndisputableMonolith.RSBridge.Anchor -
phi_equationtheorem in
IndisputableMonolith.Foundation.PhiForcing -
equivZModTwo -
Jcost_exp_nonneglemma in
IndisputableMonolith.Cost.Derivative -
allCerts -
phi_satisfiestheorem in
IndisputableMonolith.Foundation.PhiForcing -
toList -
eta_B_corrected_uppertheorem in
IndisputableMonolith.Cosmology.EtaBPrefactorDerivation -
phi_pow_16_lo_poslemma in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
step_up_gen2 -
comparison_symmtheorem in
IndisputableMonolith.Foundation.ClosedObservableFramework -
A -
torsion_third -
AbstractAlgebraCertstructure in
IndisputableMonolith.Mathematics.AbstractAlgebraFromRS -
tildeQ -
stationary_at_anchortheorem in
IndisputableMonolith.Physics.AnchorPolicy -
add_lotheorem in
IndisputableMonolith.Numerics.Interval.Basic -
LedgerEventstructure in
IndisputableMonolith.Algebra.LedgerAlgebra -
mediumPriorityTests_lengththeorem in
IndisputableMonolith.Foundation.OptionAEmpiricalQueue -
peakdef in
IndisputableMonolith.Engineering.AsteroidOreSpectroscopy -
RSUnitSystemstructure in
IndisputableMonolith.Constants.Derivation -
admissibleFlows -
hadronFamilyCounttheorem in
IndisputableMonolith.Mathematics.EightFoldWayFromRS -
exists_minimal_eligible -
phi_zpow_zerolemma in
IndisputableMonolith.Support.Powers -
toZ_succlemma in
IndisputableMonolith.LedgerUnits -
IndisputableMonolith.NumberTheory.Primes.Squarefreemodule guide in
IndisputableMonolith.NumberTheory.Primes.Squarefree -
IndisputableMonolith.Physics.RGTransportmodule guide in
IndisputableMonolith.Physics.RGTransport -
G_derived_pos -
res_nu3 -
RCL_is_unique_functional_form_of_logictheorem in
IndisputableMonolith.Foundation.LogicAsFunctionalEquation -
phi_ladder_growth -
poisson_operator_background -
IndisputableMonolith.Complexity.SAT.XORmodule guide in
IndisputableMonolith.Complexity.SAT.XOR -
cert -
TestClassinductive in
IndisputableMonolith.Foundation.OptionAFalsifierRegistry -
present -
ComplexTheoremRSinductive in
IndisputableMonolith.Mathematics.ComplexAnalysisFromRS -
costFamily -
empty_balancedtheorem in
IndisputableMonolith.Algebra.LedgerAlgebra -
RotorPitchabbrev in
IndisputableMonolith.Flight.Geometry -
m3_approx_bounds -
classB_counttheorem in
IndisputableMonolith.Superhuman.Core -
toReal_fromReal -
unisonInterval -
phi_pow_140_intervaldef in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
totalWidth_nonnegtheorem in
IndisputableMonolith.StandardModel.HiggsObservableSkeleton -
IndisputableMonolith.Foundation.LogicAsFunctionalEquation.Canonicalitymodule guide in
IndisputableMonolith.Foundation.LogicAsFunctionalEquation.Canonicality -
IndisputableMonolith.Support.MatrixPropertiesmodule guide in
IndisputableMonolith.Support.MatrixProperties -
w8Interval -
phi_unique_self_similartheorem in
IndisputableMonolith.Cost.FrequencyLadder -
horizon_area_postheorem in
IndisputableMonolith.Relativity.Compact.BlackHoleEntropy -
canonical_is_nashtheorem in
IndisputableMonolith.GameTheory.NashEquilibriumFromJCost -
IndisputableMonolith.Gravity.ILGmodule guide in
IndisputableMonolith.Gravity.ILG -
directed_flux_Q3def in
IndisputableMonolith.Mathematics.RamanujanBridge.CongruenceQ3Bridge -
IndisputableMonolith.Papers.DIF.ScaleFreeForcedmodule guide in
IndisputableMonolith.Papers.DIF.ScaleFreeForced -
IndisputableMonolith.YM.OSmodule guide in
IndisputableMonolith.YM.OS -
photonStatCounttheorem in
IndisputableMonolith.Physics.PhotonStatisticsFromRS -
qubitTypeCounttheorem in
IndisputableMonolith.Physics.SuperconductingQubitFromJCost -
IndisputableMonolith.Cost.FrequencyLaddermodule guide in
IndisputableMonolith.Cost.FrequencyLadder -
IndisputableMonolith.Foundation.UniversalForcing.Strict.Narrativemodule guide in
IndisputableMonolith.Foundation.UniversalForcing.Strict.Narrative -
cuprate_conventional_ratio -
IndisputableMonolith.Relativity.NewFixturesmodule guide in
IndisputableMonolith.Relativity.NewFixtures -
IndisputableMonolith.Modal.Possibilitymodule guide in
IndisputableMonolith.Modal.Possibility -
ConfigSpace -
primeGapTypeCounttheorem in
IndisputableMonolith.Mathematics.PrimeGapFromJCost -
lnphi -
gauge_sum_bounds -
ConsentCertstructure in
IndisputableMonolith.Certificates.Consent -
AnchorSpecstructure in
IndisputableMonolith.Physics.AnchorPolicy -
sub_lotheorem in
IndisputableMonolith.Numerics.Interval.Basic -
rung -
cubeFaces -
phi_forcing_principletheorem in
IndisputableMonolith.Foundation.PhiForcing -
UniformScaleLadderstructure in
IndisputableMonolith.Foundation.HierarchyEmergence -
e_gt_onetheorem in
IndisputableMonolith.Mathematics.Euler -
sync_period -
bandwidthKernel -
Jcost_explemma in
IndisputableMonolith.Cost.JcostCore -
AnchorPolicystructure in
IndisputableMonolith.Masses.AnchorPolicy -
electroweak_sector_params -
bsd_structuretheorem in
IndisputableMonolith.Mathematics.BirchSwinnertonDyerStructure -
toZ_one -
blocks_holds -
integerization_scale -
AnomalyProofSummarystructure in
IndisputableMonolith.QFT.Anomalies -
mul_succtheorem in
IndisputableMonolith.Foundation.ArithmeticFromLogic -
i_power_is_rotation -
geoFamily_poly_bound -
compatible_setVar -
apply_timeMap -
tickPhase -
f_gap -
IndisputableMonolith.Archaeology.CivilizationComplexityFromZRungmodule guide in
IndisputableMonolith.Archaeology.CivilizationComplexityFromZRung -
exttheorem in
IndisputableMonolith.Algebra.CostAlgebra -
pi_pow5_in_interval -
composite_setoid_le_left -
sin2_theta13_pred -
soulExports -
Outcomeinductive in
IndisputableMonolith.Quantum.BellInequality -
localCoeff_facetheorem in
IndisputableMonolith.Physics.LeptonGenerations.TauStepDeltaDerivation -
before_transitivetheorem in
IndisputableMonolith.Foundation.ArrowOfTime -
sync_period_eq_360theorem in
IndisputableMonolith.Cosmology.PerpetualComplexity -
timelike_iff_subluminaltheorem in
IndisputableMonolith.Unification.SpacetimeEmergence -
deltaKappa -
quark_verification_cert_exists -
endpoint_pairs_not_unique -
mapDelta_steplemma in
IndisputableMonolith.UnitMapping -
revoke_narrows_perm -
IndisputableMonolith.Streams.Blocksmodule guide in
IndisputableMonolith.Streams.Blocks -
sterile_bound_placeholder -
phi_fourth_boundslemma in
IndisputableMonolith.Constants -
IndisputableMonolith.CPM.ConstantsAuditmodule guide in
IndisputableMonolith.CPM.ConstantsAudit -
complete -
actionJ_to_kinetic_bridgetheorem in
IndisputableMonolith.Action.QuadraticLimit -
genOf_surjectivetheorem in
IndisputableMonolith.RSBridge.Anchor -
quadraticLimit_status -
ledgerCompose_assoc -
canonicalAnchor -
er_equals_eprtheorem in
IndisputableMonolith.Quantum.BlackHoleInformation -
minimal_temporal_resolution -
correction_order_2 -
c_derived_eq_codatatheorem in
IndisputableMonolith.Constants.Derivation -
er_equals_epr_from_ledgertheorem in
IndisputableMonolith.Quantum.Firewall -
curvatureFromLedger -
phi_pow_37_intervaldef in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
H_LocalGlobalUnification -
isoSpinMultipletCounttheorem in
IndisputableMonolith.Physics.IsospinSymmetryFromRS -
identity_cost -
mk -
convergent -
piInterval -
response_limit_high_freqtheorem in
IndisputableMonolith.Gravity.CaldeiraLeggett -
phi_inv_lt -
TargetPhase -
realized_closed_scale_ratio_steptheorem in
IndisputableMonolith.Foundation.HierarchyRealizationFromScale -
leptonFlavors_eq_cubeFacestheorem in
IndisputableMonolith.Physics.ParticlePhysicsDepthFromRS -
DriveScheduleabbrev in
IndisputableMonolith.Flight.Schedule -
fixedEndpoints_trans -
hubbleTensionCertdef in
IndisputableMonolith.Cosmology.HubbleTensionPipelineFromZAging -
Sectorinductive in
IndisputableMonolith.Masses.RSBridge.Anchor -
up_quark_pred -
const_apply -
deferredTests_noduptheorem in
IndisputableMonolith.Foundation.OptionAEmpiricalQueue -
proton_mass_boundstheorem in
IndisputableMonolith.Masses.Verification -
Sectorinductive in
IndisputableMonolith.Masses.Anchor -
fermionic_half_equals_gaptheorem in
IndisputableMonolith.Cosmology.EtaBExactRungDerivation -
Fermioninductive in
IndisputableMonolith.RSBridge.Anchor -
Jcost_has_RCL_combinertheorem in
IndisputableMonolith.Foundation.DAlembert.AnalyticBridge -
coprime_at_D3 -
delta_w0_max_pos -
predicted_mass_eV -
cube_face_cubedtheorem in
IndisputableMonolith.CrossDomain.CubeFaceUniversality -
inverse_minkowski_apply -
hierarchy_phi_power_structuretheorem in
IndisputableMonolith.Unification.RegistryPredictionsProved -
classC_has_tiertheorem in
IndisputableMonolith.Superhuman.TechnologicalAccess -
IndisputableMonolith.Ethics.ThermodynamicInstabilityOfExtractionmodule guide in
IndisputableMonolith.Ethics.ThermodynamicInstabilityOfExtraction -
gapMinusOne_at_D3 -
direct_t1_exclusiontheorem in
IndisputableMonolith.Unification.UnifiedRH -
ballP_subset_inBalllemma in
IndisputableMonolith.Causality.BallP -
supplyChainTierCount -
timeMap -
mul -
LedgerComputationstructure in
IndisputableMonolith.Complexity.ComputationBridge -
timeOKdef in
IndisputableMonolith.Measurement.RecognitionAngle.TemporalGating -
anchorsPerCelldef in
IndisputableMonolith.Physics.LeptonGenerations.TauStepDeltaDerivation -
mapDeltaTime_steplemma in
IndisputableMonolith.UnitMapping -
append -
Streamdef in
IndisputableMonolith.Streams -
isTimeTranslationInvariant -
modules -
InCover_cons -
runningMax_getheorem in
IndisputableMonolith.NavierStokes.RunningMaxNormalization -
chainFlux -
activeAt -
Necessary -
defectDist_symmtheorem in
IndisputableMonolith.Algebra.CostAlgebra -
phi_gt_onePointSixOnelemma in
IndisputableMonolith.Constants -
phases_require_complex -
IndisputableMonolith.Thermodynamicsmodule guide in
IndisputableMonolith.Thermodynamics -
mem_Cylinder_zerolemma in
IndisputableMonolith.Streams -
deriv_add -
breath_cycle_pos -
IndisputableMonolith.Physics.IsospinSymmetryFromRSmodule guide in
IndisputableMonolith.Physics.IsospinSymmetryFromRS -
Sectorinductive in
IndisputableMonolith.RSBridge.Anchor -
residueAtAnchor -
addlemma in
IndisputableMonolith.RecogSpec.Core -
kernel_response_limit -
Idxabbrev in
IndisputableMonolith.Gravity.Connection -
deficitOnNonHingedef in
IndisputableMonolith.Foundation.SimplicialLedger.InteriorFlat -
RouteIndependencedef in
IndisputableMonolith.Foundation.LogicAsFunctionalEquation -
CircuitBondCount -
frb_structure -
universalInstantiationCerttheorem in
IndisputableMonolith.Foundation.UniversalInstantiationFromDistinction -
cancels -
EightFoldWayCertstructure in
IndisputableMonolith.Mathematics.EightFoldWayFromRS -
three_colors_from_D3theorem in
IndisputableMonolith.Foundation.QuarkColors -
IndisputableMonolith.Gravity.NonlinearReggeProofmodule guide in
IndisputableMonolith.Gravity.NonlinearReggeProof -
identity_in_all_possibility_spacestheorem in
IndisputableMonolith.Modal.Possibility -
rs_zero_parameter_status -
phi_pow_5_lo_poslemma in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
ReachNinductive in
IndisputableMonolith.LightCone.StepBounds -
IndisputableMonolith.GameTheory.CoalitionSizeFromConfigDimmodule guide in
IndisputableMonolith.GameTheory.CoalitionSizeFromConfigDim -
rs_exists_unique_onetheorem in
IndisputableMonolith.Foundation.OntologyPredicates -
RSStab -
gamma_bounds_optimal -
tick2_is_i -
phi_plus_invtheorem in
IndisputableMonolith.Foundation.Inequalities -
simulation_hypothesis_structuretheorem in
IndisputableMonolith.Information.SimulationHypothesisStructure -
PC -
kineticAction -
sixJ_eq_cube_facestheorem in
IndisputableMonolith.Physics.SpinFoamFromRS -
logUtilityPartial_closed_formtheorem in
IndisputableMonolith.Decision.StPetersburg -
G_rs -
logUtility_limit_eq_twotheorem in
IndisputableMonolith.Decision.StPetersburg -
IndisputableMonolith.NumberTheory.Primesmodule guide in
IndisputableMonolith.NumberTheory.Primes -
phi_6_hierarchy_boundstheorem in
IndisputableMonolith.Unification.RegistryPredictionsProved -
shiftedComposeH_valtheorem in
IndisputableMonolith.Algebra.CostAlgebra -
isImmediatedef in
IndisputableMonolith.Foundation.OptionAEmpiricalQueue -
octaveInterval -
r_lepton -
eulerScalarProxy_postheorem in
IndisputableMonolith.Unification.UnifiedRH -
alpha_boundstheorem in
IndisputableMonolith.Unification.ConstantsPredictionsProved -
Z_electrontheorem in
IndisputableMonolith.Physics.AnchorPolicy -
grayCover3 -
trafficFlowRegime_counttheorem in
IndisputableMonolith.Transportation.TrafficFlowRegimesFromConfigDim -
mapDeltaAction_steplemma in
IndisputableMonolith.UnitMapping -
posting_dalemberttheorem in
IndisputableMonolith.Foundation.PostingExtensivity -
maxAmendmentRate_postheorem in
IndisputableMonolith.Jurisprudence.PrecedentStabilityFromSigma -
tetra_angle_boundstheorem in
IndisputableMonolith.Chemistry.BondAngles -
calculusTheoremCounttheorem in
IndisputableMonolith.Mathematics.FundamentalTheoremCalculusFromRS -
reals_no_rotation -
cos2_theta_W -
majorThird -
causalityBoundsPoissonCert -
rs_true_andtheorem in
IndisputableMonolith.Foundation.OntologyPredicates -
firstPassProgram_lengththeorem in
IndisputableMonolith.Foundation.OptionAEmpiricalProgram -
zero_fieldtheorem in
IndisputableMonolith.Physics.MagnetismFromRS -
IndisputableMonolith.Physics.StatisticalMechanicsFromRSmodule guide in
IndisputableMonolith.Physics.StatisticalMechanicsFromRS -
phi_eq_formulatheorem in
IndisputableMonolith.Numerics.Interval.Pow -
U -
PostInstr -
IndisputableMonolith.Sociology.VotingParadoxesFromSigmamodule guide in
IndisputableMonolith.Sociology.VotingParadoxesFromSigma -
FalsificationCriteriastructure in
IndisputableMonolith.Physics.EarthBrainResonance -
extendPeriodic8_periodlemma in
IndisputableMonolith.Streams -
MetamaterialTypeinductive in
IndisputableMonolith.Physics.PhotonicsMetamaterialFromPhi -
prob_postheorem in
IndisputableMonolith.Decision.StPetersburg -
defect_energy -
r0 -
mass_ratio_two_loop_at_anchortheorem in
IndisputableMonolith.Physics.QCDRGE.MassAnomalousDimension -
theoryConfirmed -
rewriteOnce -
Z_lepton_matches_anchor_valuetheorem in
IndisputableMonolith.RSBridge.ZMapDerivation -
equalZ_at_any -
rep_uniquelemma in
IndisputableMonolith.LedgerUnits -
gammadef in
IndisputableMonolith.NetworkScience.SmallWorldFromSigma -
qualia_embedstheorem in
IndisputableMonolith.RRF.Foundation.UltimateIsomorphism -
IndisputableMonolith.Physics.EntropyArrowFromJCostmodule guide in
IndisputableMonolith.Physics.EntropyArrowFromJCost -
E_passive -
passive_field_edges -
K_net -
step_up_gen1 -
Jcost_near_identitytheorem in
IndisputableMonolith.Unification.SpacetimeEmergence -
HasXReciprocity -
canonicalOctaveAlgObj -
continuum_limit_existstheorem in
IndisputableMonolith.ClassicalBridge.Fluids.ContinuumLimit2D -
Jcost_quadratic_leading_coefftheorem in
IndisputableMonolith.Action.QuadraticLimit -
loadPenaltydef in
IndisputableMonolith.Unification.CriticalRecognitionLoading -
sub_hitheorem in
IndisputableMonolith.Numerics.Interval.Basic -
id_logical_op -
balance_at_lambda_0theorem in
IndisputableMonolith.Constants.LambdaRecDerivation -
V_ub_exp -
units_quotient_preserves_Ktheorem in
IndisputableMonolith.Constants.KDisplay -
phi_equationtheorem in
IndisputableMonolith.Algebra.PhiRing -
m_e_exp -
TonalAssignmentstructure in
IndisputableMonolith.Music.CrossCulturalTonalUniversals -
IndisputableMonolith.Complexity.ComputationBridgemodule guide in
IndisputableMonolith.Complexity.ComputationBridge -
logUtilityPartial -
FailureModeinductive in
IndisputableMonolith.Governance.InstitutionalFailureFromJCost -
IsNonTonicdef in
IndisputableMonolith.Music.CrossCulturalTonalUniversals -
category_certificate -
newton_first_lawtheorem in
IndisputableMonolith.Action.QuadraticLimit -
cert_s -
B_pow_DownQuark_eqtheorem in
IndisputableMonolith.Masses.Anchor -
to_meters -
r0_DownQuark_eqtheorem in
IndisputableMonolith.Masses.Anchor -
mkCertdef in
IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor -
phi_fifth_boundstheorem in
IndisputableMonolith.Unification.CosmologicalPredictionsProved -
phi_rpow_interval_bounds -
AnchorCertstructure in
IndisputableMonolith.Recognition.Certification -
half -
diatonicSize -
LogicIntNonIdentityReciprocalstructure in
IndisputableMonolith.NumberTheory.LogicLedgerInterop -
deliverable_counttheorem in
IndisputableMonolith.Foundation.OptionAEmpiricalDeliverables -
eccentricity_penalty_zerotheorem in
IndisputableMonolith.Astrophysics.ExoplanetHabitability -
SatisfiesDAlembertdef in
IndisputableMonolith.NumberTheory.PrimeLedgerStructure -
debyeTemperature -
modular_interpret_periodictheorem in
IndisputableMonolith.Foundation.ModularLogicRealization -
integratedResidue -
polynomial_time_3sat_algorithm_hypothesis -
RSReal_gen_at_onetheorem in
IndisputableMonolith.Foundation.OntologyPredicates -
isMinimizerabbrev in
IndisputableMonolith.RRF.Core.Glossary -
IndisputableMonolith.Acoustics.RoomAcousticsSabineFromJCostmodule guide in
IndisputableMonolith.Acoustics.RoomAcousticsSabineFromJCost -
pionNeutralMass_MeV -
topologyCert -
OrthogonalCrystalSysteminductive in
IndisputableMonolith.Physics.CrystalSystemsFromConfigDim -
x_reciprocity_log_identitytheorem in
IndisputableMonolith.ILG.Reciprocity -
alphaLock -
S0 -
accel -
rs_devicedef in
IndisputableMonolith.Applied.PhotobiomodulationDevice -
maillard_symmetrictheorem in
IndisputableMonolith.Chemistry.MaillardThresholdFromJCost -
reach_rad_le -
Assignmentabbrev in
IndisputableMonolith.Complexity.SAT.CNF -
get -
nonunity_positive_entropy -
attentionStateCount -
PostingPotential -
distinctionStepdef in
IndisputableMonolith.Foundation.UniversalInstantiationFromDistinction -
phi_pow_37_lo_poslemma in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
reach_le_in_balllemma in
IndisputableMonolith.Causality.Basic -
distinction_firsttheorem in
IndisputableMonolith.Foundation.PreTemporalForcingOrder -
Omega_Lambda_boundstheorem in
IndisputableMonolith.Cosmology.CosmologicalConstantDerivation -
response_function -
ageGradeCountdef in
IndisputableMonolith.Anthropology.AgeGradingFromConfigDim -
LedgerAlgObjstructure in
IndisputableMonolith.Algebra.RecognitionCategory -
embed_addtheorem in
IndisputableMonolith.Foundation.ArithmeticFromLogic -
K_deflemma in
IndisputableMonolith.Constants -
phi_fourth_boundstheorem in
IndisputableMonolith.Unification.CosmologicalPredictionsProved -
display_identity_at_anchor_hypothesis -
StringTheoryVariantinductive in
IndisputableMonolith.Physics.StringTheoryFromJCost -
electron_mass_boundstheorem in
IndisputableMonolith.Masses.Verification -
posting_postheorem in
IndisputableMonolith.Foundation.PostingExtensivity -
K_gate_tolerance -
boundaryArea_postheorem in
IndisputableMonolith.Unification.ConsciousnessBandwidth -
NumericalMethodinductive in
IndisputableMonolith.Mathematics.NumericalAnalysisFromRS -
IsBalanced -
m_e_rs -
ledgerCompose -
IndisputableMonolith.Foundation.DAlembert.Proofmodule guide in
IndisputableMonolith.Foundation.DAlembert.Proof -
known_lit_false'' -
IndisputableMonolith.Complexity.SAT.SmallBiasmodule guide in
IndisputableMonolith.Complexity.SAT.SmallBias -
not_three_temporaltheorem in
IndisputableMonolith.Unification.SpacetimeEmergence -
Assignment -
rs_neutral_patterndef in
IndisputableMonolith.Applied.PhotobiomodulationDevice -
classE_counttheorem in
IndisputableMonolith.Superhuman.Core -
BPStatestructure in
IndisputableMonolith.Complexity.SAT.Backprop -
four_pi_in_interval -
IndisputableMonolith.Energy.GridStabilityControlsFromConfigDimmodule guide in
IndisputableMonolith.Energy.GridStabilityControlsFromConfigDim -
Zabbrev in
IndisputableMonolith.Physics.AnchorPolicyCertified -
anchorIdentity_cert -
ZOf -
AMPSTrilemmastructure in
IndisputableMonolith.Quantum.Firewall -
zeroDefect_invariant_under_conjugationtheorem in
IndisputableMonolith.NumberTheory.ZeroLocationCost -
Structureinductive in
IndisputableMonolith.Chemistry.CrystalStructure -
exttheorem in
IndisputableMonolith.RecogSpec.ObservablePayloads -
direct_rh_from_honestPhaseCostBridge -
fringeSpacing -
Cylinder_zerolemma in
IndisputableMonolith.Streams -
sampledTraceToAnnularTrace -
total_defect -
X_var -
hubble_ratio_topo -
ramanujan_deligne_exponenttheorem in
IndisputableMonolith.Mathematics.RamanujanBridge.DirectedFlux24 -
total_defect_nonneg -
charge_zero_of_honest_phase_of_chargeZeroBridge -
integrationGap -
certdef in
IndisputableMonolith.Statistics.BayesianUpdateFromJCost -
curie_ratio_bounds -
phi_pow_142_in_intervaltheorem in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
B_pow_Lepton_eqtheorem in
IndisputableMonolith.Masses.Anchor -
IndisputableMonolith.Climate.RiverNetworkFromSigmaConservationmodule guide in
IndisputableMonolith.Climate.RiverNetworkFromSigmaConservation -
mkAveragingBounds -
spectral_index_boundstheorem in
IndisputableMonolith.Unification.CosmologicalPredictionsProved -
unity_unique_minimizer -
temperature_controls_fluctuationstheorem in
IndisputableMonolith.Thermodynamics.PartitionFunction -
highPriorityTests_noduptheorem in
IndisputableMonolith.Foundation.OptionAEmpiricalQueue -
f_gap -
anchorEqualitytheorem in
IndisputableMonolith.RSBridge.Anchor -
IndisputableMonolith.Mathematics.ComplexAnalysisFromRSmodule guide in
IndisputableMonolith.Mathematics.ComplexAnalysisFromRS -
distToNextClosure -
windowSums -
prime_is_ledger_atomtheorem in
IndisputableMonolith.NumberTheory.PrimeLedgerAtom -
IndisputableMonolith.Mathematics.CombinatoricsFromRSmodule guide in
IndisputableMonolith.Mathematics.CombinatoricsFromRS -
rungResidueClass -
harmonic2_in_beta -
three_sat_runtime_prop -
IndisputableMonolith.Information.NoCloningmodule guide in
IndisputableMonolith.Information.NoCloning -
AccountRS -
tau0_seconds_protocol_hygienictheorem in
IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor -
cert_c -
ConsciousnessStateinductive in
IndisputableMonolith.Experiments.Protocols -
step_gen2_charged -
nsDuhamelCoeffBound_kernelIntegral_of_forcingdef in
IndisputableMonolith.ClassicalBridge.Fluids.ContinuumLimit2D -
IndisputableMonolith.ClassicalBridge.Fluids.Discretemodule guide in
IndisputableMonolith.ClassicalBridge.Fluids.Discrete -
harmonic1_bounds -
metaCostdef in
IndisputableMonolith.Foundation.UniversalForcingSelfReference -
horizonArea_postheorem in
IndisputableMonolith.Unification.BlackHoleBandwidth -
LocalUpdatestructure in
IndisputableMonolith.Foundation.VariationalDynamics -
su2Rank_eq_Dm1theorem in
IndisputableMonolith.Physics.IsospinSymmetryFromRS -
ofstructure in
IndisputableMonolith.Foundation.PhiForcingDerived -
alpha_cube_boundslemma in
IndisputableMonolith.Physics.ElectronMass.Necessity -
IndisputableMonolith.Ethics.VirtueCompositionmodule guide in
IndisputableMonolith.Ethics.VirtueComposition -
rankSU2def in
IndisputableMonolith.Physics.ElectrowealUnificationFromRS -
ppn_safe -
muon_pred_eqtheorem in
IndisputableMonolith.Masses.Verification -
heisenberg_eta_in_band -
pairList_mem -
IndisputableMonolith.Physics.KaonMassesmodule guide in
IndisputableMonolith.Physics.KaonMasses -
IndisputableMonolith.Quantum.EntanglementEntropymodule guide in
IndisputableMonolith.Quantum.EntanglementEntropy -
fourthInterval -
legalAtomicTick_of_posttheorem in
IndisputableMonolith.LedgerPostingAdjacency -
classD_counttheorem in
IndisputableMonolith.Superhuman.Core -
phi -
quark_baseline_matches_anchor_down -
entropy -
phi_pow_38_intervaldef in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
Pattern -
logUtilityPartial_zerotheorem in
IndisputableMonolith.Decision.StPetersburg -
phi_neg_quarter_bounds -
lambda_CP_boundstheorem in
IndisputableMonolith.Gravity.RSBaryogenesis -
phi_quarter_bounds -
phi_pow_32_intervaldef in
IndisputableMonolith.Numerics.Interval.GalacticBounds -
metaphysical_ground_uniquedef in
IndisputableMonolith.Foundation.UniversalForcing.MetaphysicalRealization -
IndisputableMonolith.Spiral.SpiralFieldmodule guide in
IndisputableMonolith.Spiral.SpiralField -
pentatonicSize