{"families":[{"color":"#9faccc","description":"Actual zeros, canonical products, reflection and analytic multiplicity.","id":"foundations","label":"Zeta & xi geometry","modulePrefixes":["Basic","GaussianXi","GaussianZeta","RiemannXi","RiemannXiCanonical","RiemannXiGlobal","ZetaAdaptiveCanonical","ZetaAdaptiveSigned","ZetaCanonical","ZetaGlobal","ZetaLocal","ZetaNearOne","ZetaReciprocal","ZetaSigned"]},{"color":"#69cbbd","description":"Suzuki screw functions, Landau compensation, transport, signed currents and contour identities.","id":"suzuki","label":"Suzuki machinery","modulePrefixes":["PositiveDelayAveraging","PositiveLaplaceLandau","RiemannXiSuzuki","ScrewTransport","Suzuki"]},{"color":"#ba9bf4","description":"Paired eta identities, continuation and exact reflected tails.","id":"eta","label":"Eta & reflection","modulePrefixes":["Eta","PairedEta","ZetaMoebius"]},{"color":"#f0bd72","description":"Gaussian transforms, smoothed zero sources, exact prime identities and retained remainders.","id":"heat","label":"Gaussian heat","modulePrefixes":["ComplexGaussian","FiniteLaplaceCurvature","Gaussian","HyperbolicHeat","PositiveCosineLaplace","RiemannXiBoundaryFixedTimeHeat","RiemannXiBoundaryGaussianGram","RiemannXiBoundaryHeat","RiemannXiBoundarySpatialHeat","RiemannXiHyperbolicHeat","SignedLaplace","ZetaGaussian"]},{"color":"#e79aca","description":"Coupled phase kernels, contact factorization and the mathematically defined admissible family.","id":"phase","label":"Phase positivity","modulePrefixes":["CosineTaylor","FermiCosine","FermiLaplace","Phase","PhasePole","ZetaAngular","ZetaExactPhase","ZetaFermiGlobalMargin","ZetaHalfStripPhase","ZetaMultiplicativePhase","ZetaPhase","ZetaPrime","ZetaSharpAngular","ZetaStechkin"]},{"color":"#79bce8","description":"Finite differencing, derivative tests, dyadic blocks and uniform Dirichlet estimates.","id":"oscillation","label":"Oscillatory sums","modulePrefixes":["Derivative","Dirichlet","Discrete","FiniteAbel","FiniteCircle","FiniteDiscrete","FiniteFourier","FiniteInverseSquare","FiniteKuzmin","FiniteLagPower","FinitePeriodic","FiniteResonance","FiniteSeparated","FiniteShift","FiniteVanDer","FirstDerivative","HigherDerivative","HigherLogarithmic","LogarithmicDerivative","LogarithmicSecondDerivative","LogarithmicShift","MonotonePhase","NatPhase","PhaseConjugation","PhaseIncrement","SecondDerivative","ShiftedDerivative","Uniform","ZetaDyadic","ZetaFinite","Vinogradov"]},{"color":"#eea18d","description":"Exact ordinary Dirichlet truncation, Bernoulli/Fourier remainders and Euler prime expansions.","id":"euler","label":"Euler & prime structure","modulePrefixes":["OscillatoryPower","ZetaEuler","ZetaLogPrime","ZetaReciprocalDirichlet"]},{"color":"#b4d18b","description":"Complex analytic estimates, disc-to-strip maps, complete divisors and signed boundary identities.","id":"strip","label":"Signed strip geometry","modulePrefixes":["Analytic","Clipped","Complex","Cotangent","Meromorphic","PolynomialLogDerivativeCircle","Rectangular","Sech","SignedCircle","SmoothedCotangent","UpperHalfPlaneIntegral","ZetaClipped","ZetaEntireMultiplier","ZetaFullRadius","ZetaHalfStripSource","ZetaHorizontalBudget","ZetaMultiplierRadius","ZetaPoleReserve","ZetaRegularized","ZetaSech","ZetaStrip","ZetaZeroModeFilter","ZetaZeroFilterCost"]},{"color":"#d8c69b","description":"Archimedean corrections, digamma/trigamma estimates and exact pole cancellation.","id":"completion","label":"Gamma & completion","modulePrefixes":["Digamma","Gamma","RationalVertical","Trigamma","ZetaCompletion","ZetaLogarithmicShift","ZetaRegularCorrection"]},{"color":"#94a9f5","description":"Joint derivative-order schedules and the eventual logarithmic zero-free component.","id":"asymptotic","label":"Order & height limits","modulePrefixes":["FactorialPolynomialTransport","LogLog","ZetaLogLog"]},{"color":"#77dac3","description":"The complete budget, actual zero contradiction and its exact height scope.","id":"region","label":"Zero-free conclusion","modulePrefixes":["ZetaArbitraryLogZeroFree","ZetaCenteredEulerZeroFree","ZetaGaussianBand","ZetaHalfLogZeroFree","ZetaLogRegionBand","ZetaStechkinZeroFree","ZetaZeroFreeRegionBand","ZetaGaussianAllHeight","ZetaGaussianMultiplicity","ZetaGaussianZeroSeparation","ZetaGaussianScaledBand"]},{"color":"#86c8bd","description":"Finite root geometry, Hardy and Pick kernels, spectral energy and passage to entire functions.","id":"finite","label":"Finite kernels & Hardy models","modulePrefixes":["Finite","GramWeil","HyperbolicEnergy","PairHyperbolic","Symmetric","TwoNodePick","WeightedHyperbolic"]},{"color":"#ce99db","description":"Continuous and finite eta representations, signed Gram matrices, heat operators and rank–trace tools. Source files retain attribution for adapted results.","id":"hybrid","label":"Hybrid matrices & phase colour","modulePrefixes":["Hybrid.","HermitianRankTrace."]},{"color":"#d6ae80","description":"Divisor correlations, squarefree Euler responses, prime sieves, hyperbola identities and the remaining prime-tail problem.","id":"arithmetic","label":"Squarefree & Möbius arithmetic","modulePrefixes":["ChebyshevMoebius","Moebius","NatDivisor","NatLcm","NatProduct","NatRectangle","FiniteDivisibility","FinitePrime","ZetaArithmetic","ZetaAveraged","ZetaCoprime","ZetaCubicWindow","ZetaDivisibility","ZetaDominated","ZetaFactorialFilter","ZetaLogMoment","ZetaLogWindow","ZetaMomentPole","ZetaOnePrime","ZetaPositiveComposite","ZetaPrimeEnvelope","ZetaPrimeTailWindow","ZetaPrimeWindow","ZetaQuadratic","ZetaQuarterKernel","ZetaRough","ZetaSieved","ZetaSquarefree"]},{"color":"#a6b7db","description":"The attributed Montgomery–Vaughan Hilbert inequality and finite algebraic and inverse-sampling tools.","id":"hilbert","label":"Hilbert inequalities & sampling","modulePrefixes":["MontgomeryVaughan","MontgomeryTaylor","FiniteAlgebraicHilbert"]},{"color":"#c5c68a","description":"Attributed Zeta23 baselines and project extensions. Individual sources distinguish external results from new deductions.","id":"certificates","label":"Zero-proportion interfaces","modulePrefixes":["External."]},{"color":"#8ec8bb","description":"Exact interval bounds, phase tables, coupled affine supports and finite-cover verifiers. Candidate certificate obligations remain explicit.","id":"numerics","label":"Certified numerical bounds","modulePrefixes":["Certified","CertificateData.","CorrelationAffineBox","CorrelationConvexEnclosure","CorrelationLinearEnclosure","CorrelationQuadraticEnclosure","ComplexApproximateOrbit","TrigonometricLinearEnclosure","UniformBlockIndex"]},{"color":"#a2a9b7","description":"External library declarations. Displayed as boundary leaves, with their full transitive axioms still audited.","id":"library","label":"Lean & mathlib","modulePrefixes":[]}],"moduleFamilies":{"AnalyticDerivativeCutoff":"oscillation","ConsecutiveBlockPacking":"finite","CosineHinge":"oscillation","FiniteSignedFourierHinge":"oscillation","FiniteWeightedUniformConvergence":"arithmetic","GaussianArchimedeanContour":"completion","GaussianCompletedLogDerivative":"completion","GaussianDigammaGauss":"completion","GaussianDigammaLogEnvelope":"completion","GaussianFermiCosineAverage":"phase","GaussianFermiProfileSurplus":"phase","GaussianXiDivisorContour":"foundations","GaussianXiGrowth":"foundations","GaussianXiInverseSquareSummability":"foundations","GaussianXiLogDerivativeGrowth":"foundations","GaussianXiMellinSubquadratic":"foundations","GaussianXiSubquadraticCounting":"foundations","GaussianXiSubquadraticGrowth":"foundations","GaussianZetaBridge":"foundations","GaussianZetaCounting":"foundations","GaussianZetaGeometry":"foundations","HarmonicIntervalLimit":"arithmetic","HarmonicProductContinuity":"arithmetic","LogarithmicDeviation":"arithmetic","MontgomeryTaylorAdaptiveCell":"numerics","MontgomeryTaylorAdaptivePhase":"numerics","MontgomeryTaylorAnchorBounds":"numerics","MontgomeryTaylorBoxCertificate":"numerics","MontgomeryTaylorCurvatureCertificate":"numerics","MontgomeryTaylorFastCurvature":"numerics","MontgomeryTaylorIntegerBoxCertificate":"numerics","MontgomeryTaylorIntegerCoordinates":"numerics","MontgomeryTaylorIntegerCover":"numerics","MontgomeryTaylorKernelDerivatives":"numerics","MontgomeryTaylorKernelEnclosure":"numerics","MontgomeryTaylorNumericalCell":"numerics","MontgomeryTaylorNumericalKernel":"numerics","MontgomeryTaylorPhaseEnclosure":"numerics","MontgomeryTaylorPhaseGrid":"numerics","MontgomeryTaylorPhaseTable":"numerics","MontgomeryTaylorPointBounds":"numerics","MontgomeryTaylorRangeTable":"numerics","MontgomeryTaylorSevenWindowForms":"numerics","MontgomeryTaylorSevenWindowModel":"numerics","MontgomeryTaylorSevenWindowParameters":"numerics","RieszHarmonicCostBounds":"arithmetic","TripleRieszProfile":"arithmetic","ZetaArithmeticAffine":"arithmetic","ZetaArithmeticBandCorrelation":"arithmetic","ZetaArithmeticDeviationBounds":"arithmetic","ZetaArithmeticLogWindow":"arithmetic","ZetaEulerPoissonDifference":"euler","ZetaExposedPrimeFilter":"euler","ZetaExposedPrimeMoments":"euler","ZetaExposedZero":"foundations","ZetaGaussianCompletionAverage":"completion","ZetaGaussianExpandedCost":"heat","ZetaGaussianExpandedRegion":"region","ZetaGaussianExpandedScale":"heat","ZetaGaussianExpandedSource":"heat","ZetaGaussianLiteratureComparison":"region","ZetaGaussianNearCancellation":"completion","ZetaGaussianPrimeBlocks":"euler","ZetaGaussianPrimeCorrelation":"phase","ZetaGaussianPrimeEnergyBound":"euler","ZetaGaussianPrimeEnergyDecay":"euler","ZetaGaussianPrimeReduction":"euler","ZetaGaussianRegionUnion":"region","ZetaGaussianRetainedCost":"region","ZetaGaussianRetainedRegion":"region","ZetaGaussianSignedBudgetReduction":"strip","ZetaGaussianSourceSupport":"strip","ZetaNearOneBudgetLimit":"asymptotic","ZetaPrimeCharacterRemainder":"arithmetic","ZetaPrimeCofactorCompletion":"arithmetic","ZetaPrimeDiscrepancyWork":"euler","ZetaPrimeLatticeCarrier":"euler","ZetaPrimeNonlinearFactor":"arithmetic","ZetaPrimeNonlinearHalfplane":"arithmetic","ZetaPrimeNonlinearTail":"arithmetic","ZetaRieszAnnulusCompletion":"arithmetic","ZetaRieszAnnulusJoint":"arithmetic","ZetaRieszArithmeticCells":"arithmetic","ZetaRieszArithmeticCycles":"arithmetic","ZetaRieszBeyondPhysical":"arithmetic","ZetaRieszBlockMass":"arithmetic","ZetaRieszCellBoundary":"arithmetic","ZetaRieszCellCycles":"arithmetic","ZetaRieszCellEnergy":"arithmetic","ZetaRieszCellOrders":"arithmetic","ZetaRieszCenteredCofactor":"arithmetic","ZetaRieszCenteredPhase":"arithmetic","ZetaRieszCentralHarmonicCost":"arithmetic","ZetaRieszCentralPair":"arithmetic","ZetaRieszCentralPrimeLayers":"arithmetic","ZetaRieszCentralProductPhase":"arithmetic","ZetaRieszCentralWindow":"arithmetic","ZetaRieszCofactorTiltRate":"arithmetic","ZetaRieszCompleteHeadHarmonic":"arithmetic","ZetaRieszCompletedCarrier":"arithmetic","ZetaRieszCompletedCofactor":"arithmetic","ZetaRieszCompletionProduct":"arithmetic","ZetaRieszCompositeBoundaryWindow":"arithmetic","ZetaRieszCompositeDeletion":"arithmetic","ZetaRieszCompositeProduct":"arithmetic","ZetaRieszCompositeSmooth":"arithmetic","ZetaRieszConditionedEnergy":"arithmetic","ZetaRieszConditioningTransfer":"arithmetic","ZetaRieszCosineCarrier":"arithmetic","ZetaRieszCriticalProfile":"arithmetic","ZetaRieszCrossCompletion":"arithmetic","ZetaRieszCrossFamilyWindow":"arithmetic","ZetaRieszCrossSupport":"arithmetic","ZetaRieszCycleCapacity":"arithmetic","ZetaRieszCycleCore":"arithmetic","ZetaRieszCycleCorrelation":"arithmetic","ZetaRieszCycleIteration":"arithmetic","ZetaRieszCycleSaving":"arithmetic","ZetaRieszCycleSource":"arithmetic","ZetaRieszDescendingAmplitude":"arithmetic","ZetaRieszDeviationCarrier":"arithmetic","ZetaRieszDivisorPrefix":"arithmetic","ZetaRieszEndpointTaper":"arithmetic","ZetaRieszEulerCorrectionDeletion":"arithmetic","ZetaRieszEulerCorrectionEnergy":"arithmetic","ZetaRieszEulerCutoff":"arithmetic","ZetaRieszEulerGrowingHead":"arithmetic","ZetaRieszEulerHead":"arithmetic","ZetaRieszEulerHeadDeletion":"arithmetic","ZetaRieszEulerMoments":"arithmetic","ZetaRieszEulerMultiplier":"arithmetic","ZetaRieszEulerPrimeHeadDensity":"arithmetic","ZetaRieszEulerQuadraticHead":"arithmetic","ZetaRieszEulerQuotient":"arithmetic","ZetaRieszEulerWindowDeletion":"arithmetic","ZetaRieszExponentialCofactor":"arithmetic","ZetaRieszExtremeDegreeBounds":"arithmetic","ZetaRieszExtremePrimeCount":"arithmetic","ZetaRieszExtremePrimeProfile":"arithmetic","ZetaRieszFilteredCompletion":"arithmetic","ZetaRieszFixedCofactor":"arithmetic","ZetaRieszFourExtremeBound":"arithmetic","ZetaRieszFourExtremeDeletion":"arithmetic","ZetaRieszFourierCarrier":"arithmetic","ZetaRieszFrequencyDecay":"arithmetic","ZetaRieszFullCycleSupply":"arithmetic","ZetaRieszGeneralCofactorTilt":"arithmetic","ZetaRieszGrowingCofactor":"arithmetic","ZetaRieszHeadAdaptive":"arithmetic","ZetaRieszHeadAdaptiveTransport":"arithmetic","ZetaRieszHeadHarmonicAsymptotic":"arithmetic","ZetaRieszHeadOrders":"arithmetic","ZetaRieszImprovedMoment":"arithmetic","ZetaRieszInfinitePhysical":"arithmetic","ZetaRieszIntermediatePrimeSupport":"arithmetic","ZetaRieszInterpolation":"arithmetic","ZetaRieszLargeSmoothClass":"arithmetic","ZetaRieszLargeSmoothDeletion":"arithmetic","ZetaRieszLengthAsymptotic":"arithmetic","ZetaRieszLowHeadCorrection":"arithmetic","ZetaRieszLowHeadPrefix":"arithmetic","ZetaRieszLowerDegreeBounds":"arithmetic","ZetaRieszLowerDegreeDeletion":"arithmetic","ZetaRieszMassTransport":"arithmetic","ZetaRieszMatchedMiddle":"arithmetic","ZetaRieszMixedPrefix":"arithmetic","ZetaRieszMixedPrefixTransport":"arithmetic","ZetaRieszNarrowCarrier":"arithmetic","ZetaRieszNegativeProfile":"arithmetic","ZetaRieszOffDiagonalJoint":"arithmetic","ZetaRieszOppositePrimes":"arithmetic","ZetaRieszOwnedCells":"arithmetic","ZetaRieszOwnerBounds":"arithmetic","ZetaRieszOwnerCells":"arithmetic","ZetaRieszOwnerMass":"arithmetic","ZetaRieszOwnerWindow":"arithmetic","ZetaRieszPacketCycle":"arithmetic","ZetaRieszPacketIteration":"arithmetic","ZetaRieszPacketSupply":"arithmetic","ZetaRieszPairMatching":"arithmetic","ZetaRieszPairMidpoint":"arithmetic","ZetaRieszPairOrders":"arithmetic","ZetaRieszPairedCorrection":"arithmetic","ZetaRieszPhaseBracket":"arithmetic","ZetaRieszPhysicalAnnulus":"arithmetic","ZetaRieszPhysicalPrefixDeletion":"arithmetic","ZetaRieszPhysicalProductBounds":"arithmetic","ZetaRieszPrefixCorrelation":"arithmetic","ZetaRieszPrefixDiagonal":"arithmetic","ZetaRieszPrimeCells":"arithmetic","ZetaRieszPrimeClasses":"arithmetic","ZetaRieszPrimeCompletion":"arithmetic","ZetaRieszPrimeCompletionPhase":"arithmetic","ZetaRieszPrimeCompletionRate":"arithmetic","ZetaRieszPrimeCountFrequency":"arithmetic","ZetaRieszPrimeCountMass":"arithmetic","ZetaRieszPrimeCountRightHalf":"arithmetic","ZetaRieszPrimeCountWindow":"arithmetic","ZetaRieszPrimeCycleMargin":"arithmetic","ZetaRieszPrimeCycleSupply":"arithmetic","ZetaRieszPrimeEndpoint":"arithmetic","ZetaRieszPrimeFourier":"arithmetic","ZetaRieszPrimeIntervals":"arithmetic","ZetaRieszPrimeMatching":"arithmetic","ZetaRieszPrimePairConvolution":"arithmetic","ZetaRieszPrimeReplacement":"arithmetic","ZetaRieszProductCeiling":"arithmetic","ZetaRieszReducedCofactorSource":"arithmetic","ZetaRieszRefinedMatching":"arithmetic","ZetaRieszReflectedCarrier":"arithmetic","ZetaRieszReflectedCompletion":"arithmetic","ZetaRieszRemainingPrefix":"arithmetic","ZetaRieszReplacementFamily":"arithmetic","ZetaRieszReplacementPhase":"arithmetic","ZetaRieszRetainedCells":"arithmetic","ZetaRieszRetainedFraction":"arithmetic","ZetaRieszSemiprimeBand":"arithmetic","ZetaRieszSemiprimeCompletion":"arithmetic","ZetaRieszSemiprimeDeletion":"arithmetic","ZetaRieszSemiprimePrefix":"arithmetic","ZetaRieszSemiprimePrefixDecay":"arithmetic","ZetaRieszSemiprimeSupport":"arithmetic","ZetaRieszSharpMatching":"arithmetic","ZetaRieszSharpPair":"arithmetic","ZetaRieszShiftedHeadBudget":"arithmetic","ZetaRieszSignedFrequency":"arithmetic","ZetaRieszSmallCompositeCells":"arithmetic","ZetaRieszSmoothCofactor":"arithmetic","ZetaRieszSmoothDeletion":"arithmetic","ZetaRieszSmoothHead":"arithmetic","ZetaRieszSmoothPrimePrefix":"arithmetic","ZetaRieszSmoothPrimeProduct":"arithmetic","ZetaRieszSmoothRoughProduct":"arithmetic","ZetaRieszSperner":"arithmetic","ZetaRieszSpernerRate":"arithmetic","ZetaRieszSurvivingPrimeLayers":"arithmetic","ZetaRieszTargetCycle":"arithmetic","ZetaRieszTargetProfile":"arithmetic","ZetaRieszTentSlope":"arithmetic","ZetaRieszTransportCoverage":"arithmetic","ZetaRieszTransportPhase":"arithmetic","ZetaRieszTransportSource":"arithmetic","ZetaRieszTriplePrime":"arithmetic","ZetaRieszUnfilteredSource":"arithmetic","ZetaRieszWholeWindow":"arithmetic","ZetaRieszWiderMatched":"arithmetic","ZetaRieszWindowGcd":"arithmetic","ZetaRieszWindowGram":"arithmetic","ZetaRieszWindowInteraction":"arithmetic","ZetaRieszWindowOverlap":"arithmetic","ZetaRieszWindowUnitDeletion":"arithmetic","ZetaSquarefreeGaussianRegionUnion":"arithmetic","ZetaSquarefreeGaussianRetainedRegion":"arithmetic","ZetaSquarefreeRieszCompletion":"arithmetic","ZetaSquarefreeRieszWindows":"arithmetic","ZetaSquarefreeSignedTail":"arithmetic","ZetaSquarefreeUnifiedRegion":"arithmetic","ZetaSquarefreeVaughanBudget":"euler","ZetaSquarefreeVaughanLogSource":"euler","ZetaSquarefreeVaughanProjection":"euler","ZetaUnifiedZeroFree":"region","ZetaVaughanCutoffBudget":"euler","ZetaVaughanLogAverage":"euler","ZetaVaughanReduction":"euler"},"source":"docs/theorem-explorer/metadata.json"}