"""Shared rigorous certificate primitives for RH experiments.

Module map:

- ``certificates`` — interval sign/LDL/congruence certificate contracts.
- ``matrices`` — Hankel/Toeplitz/Gram builders, exact ``Fraction`` LDL,
  minors, and total-positivity certificates.
- ``polynomials`` — exact rational Chebyshev conversion and lower bounds.
- ``xi`` — completed-xi evaluation (rigorous ``acb`` jets and the
  ``_mp`` exploration tier).
- ``reciprocal_xi`` — certified reciprocal-xi moments.
- ``loewner`` — completed-zeta Loewner construction.
- ``quadrature`` — certified integrals, geometric tails, Taylor remainders.
- ``spectral`` — exploration-tier NUFFT finite-zero fields.
- ``zeros`` — cached critical-line zero ordinates (computed, not pinned).
- ``harness`` — verdict schema, results.json writer, repo-path helper.
"""

from .certificates import (
    CertificationError,
    CongruenceCertificate,
    LDLProof,
    MonicExtremalQuadraticFormCertificate,
    NormalizationRecord,
    SeriesCrossCheck,
    SeriesCrossCheckRecord,
    Sign,
    UniqueArgminCertificate,
    certify_congruence_positive_definite,
    certify_diagonal_normalization,
    certify_monic_extremal_quadratic_form,
    certify_positive_ldl,
    certify_series_scalar_agreement,
    certify_unique_argmin,
    certify_vandermonde_normalization,
    classify_sign,
    require_nonzero,
    require_positive,
)
from .harness import (
    Finding,
    Harness,
    Verdict,
    add_repo_python_path,
    repo_root,
)
from .matrices import (
    FractionLDL,
    certify_positive_ldl_fraction,
    certify_totally_positive_fraction,
    determinant_fraction,
    gram,
    hankel,
    leading_principal_minors_fraction,
    toeplitz,
)
from .quadrature import (
    certified_piecewise_real_integral,
    certified_real_integral,
    geometric_tail,
    real_enclosure,
    taylor_remainder,
)
from .polynomials import (
    ChebyshevLowerBoundCertificate,
    certify_chebyshev_lower_bound_fraction,
    chebyshev_to_power_fraction,
    power_to_binomial_fraction,
)
from .reciprocal_xi import (
    ReciprocalXiMomentCertificate,
    centered_log_xi_second_derivative,
    centered_xi,
    certify_reciprocal_xi_even_moment,
    xi_from_s,
)
from .xi import (
    completed_lambda_mp,
    log_xi_jet,
    xi_jet,
    xi_log_derivative_mp,
    xi_mp,
    xi_seed_mp,
)
from .zeros import (
    PLATT_ZERO_RADIUS,
    PlattZeroRecord,
    iter_platt_zero_enclosures,
    iter_platt_zero_midpoints,
    iter_platt_zero_records,
    zero_ordinate,
    zero_ordinates,
)
from .spectral import SkewesZeroField

__all__ = [
    "CertificationError",
    "ChebyshevLowerBoundCertificate",
    "CongruenceCertificate",
    "Finding",
    "FractionLDL",
    "Harness",
    "LDLProof",
    "MonicExtremalQuadraticFormCertificate",
    "NormalizationRecord",
    "PLATT_ZERO_RADIUS",
    "PlattZeroRecord",
    "SkewesZeroField",
    "ReciprocalXiMomentCertificate",
    "SeriesCrossCheck",
    "SeriesCrossCheckRecord",
    "Sign",
    "UniqueArgminCertificate",
    "Verdict",
    "add_repo_python_path",
    "centered_log_xi_second_derivative",
    "centered_xi",
    "certified_piecewise_real_integral",
    "certified_real_integral",
    "certify_congruence_positive_definite",
    "certify_chebyshev_lower_bound_fraction",
    "certify_diagonal_normalization",
    "certify_monic_extremal_quadratic_form",
    "certify_positive_ldl",
    "certify_positive_ldl_fraction",
    "certify_reciprocal_xi_even_moment",
    "certify_series_scalar_agreement",
    "certify_totally_positive_fraction",
    "certify_unique_argmin",
    "certify_vandermonde_normalization",
    "classify_sign",
    "chebyshev_to_power_fraction",
    "completed_lambda_mp",
    "determinant_fraction",
    "geometric_tail",
    "gram",
    "hankel",
    "iter_platt_zero_enclosures",
    "iter_platt_zero_midpoints",
    "iter_platt_zero_records",
    "leading_principal_minors_fraction",
    "log_xi_jet",
    "power_to_binomial_fraction",
    "real_enclosure",
    "repo_root",
    "require_nonzero",
    "require_positive",
    "taylor_remainder",
    "toeplitz",
    "xi_from_s",
    "xi_jet",
    "xi_log_derivative_mp",
    "xi_mp",
    "xi_seed_mp",
    "zero_ordinate",
    "zero_ordinates",
]
