module OmegaNaughtProofs

using SHA
using TOML

include("ExactArithmetic.jl")
include("PolynomialCertificates.jl")
include("Dynamics.jl")
include("Geometry.jl")
include("ProofGuide.jl")
include("Verification.jl")

export Q, S, DOMAIN_SIZE, q, LOWER, UPPER, PERIOD, MODULAR_INVERSE
export Interval, rational, constants_enclosure, certified_truncation
export F, rho, iterate_state, extinction_thresholds, encode, recover, admissible
export decode_checked, ledger_value, seed_from_remainder, scalar_encode, scalar_decode
export ExactPlacement, outline_spec, symbolic_marks, placed_marks, reconstruct_outline
export PROOFS, run_all

end