LICENSE
README.md
pyproject.toml
src/funcprops/__init__.py
src/funcprops/_checkpoints.py
src/funcprops/_semialg.py
src/funcprops/_source_transport.py
src/funcprops/adaptive_roots.py
src/funcprops/algebraic_coefficients.py
src/funcprops/algebraic_complex.py
src/funcprops/analytic_contours.py
src/funcprops/api.py
src/funcprops/assumption_closure.py
src/funcprops/assumption_normalization.py
src/funcprops/assumptions.py
src/funcprops/asymptotic_tails.py
src/funcprops/branch_atlas.py
src/funcprops/branch_gluing.py
src/funcprops/cache_control.py
src/funcprops/certified_balls.py
src/funcprops/certified_inequalities.py
src/funcprops/certified_operations.py
src/funcprops/certified_optimization.py
src/funcprops/complex_certification.py
src/funcprops/complex_clusters.py
src/funcprops/complex_cofinal.py
src/funcprops/complex_coverage.py
src/funcprops/complex_interval.py
src/funcprops/complex_isolation.py
src/funcprops/complex_multiplicity.py
src/funcprops/complex_newton.py
src/funcprops/component_optimization.py
src/funcprops/conditional.py
src/funcprops/conditions.py
src/funcprops/coverage_cells.py
src/funcprops/coverage_checker.py
src/funcprops/coverage_contract.py
src/funcprops/coverage_search.py
src/funcprops/derivative_inequalities.py
src/funcprops/diagnostics.py
src/funcprops/dlmf.py
src/funcprops/domain_tracking.py
src/funcprops/enclosure_policy.py
src/funcprops/enclosures.py
src/funcprops/engine.py
src/funcprops/entire_cancellation.py
src/funcprops/exactness.py
src/funcprops/exceptions.py
src/funcprops/explanations.py
src/funcprops/extrema_bounds.py
src/funcprops/geometry.py
src/funcprops/global_analysis.py
src/funcprops/global_multivariate.py
src/funcprops/guarded_affine.py
src/funcprops/implicit_orders.py
src/funcprops/infinite_checker.py
src/funcprops/infinite_contract.py
src/funcprops/infinite_root_families.py
src/funcprops/infinite_roots.py
src/funcprops/integration.py
src/funcprops/local_analyticity.py
src/funcprops/local_branches.py
src/funcprops/meromorphic_contours.py
src/funcprops/metric_proofs.py
src/funcprops/multiple_root_checker.py
src/funcprops/multiple_roots.py
src/funcprops/multivariate_intervals.py
src/funcprops/native_registry.py
src/funcprops/parameter_cells.py
src/funcprops/parameter_checker.py
src/funcprops/parameter_contract.py
src/funcprops/parameter_coverage.py
src/funcprops/parameter_discriminants.py
src/funcprops/parameter_geometry.py
src/funcprops/piecewise_proofs.py
src/funcprops/proof_budget.py
src/funcprops/proof_cache.py
src/funcprops/proof_explanations.py
src/funcprops/proof_inventory.py
src/funcprops/proof_telemetry.py
src/funcprops/property_checker.py
src/funcprops/property_composition.py
src/funcprops/property_contract.py
src/funcprops/property_coverage.py
src/funcprops/quotient_cofinal.py
src/funcprops/quotient_isolation.py
src/funcprops/quotient_refinement.py
src/funcprops/registry.py
src/funcprops/registry_derivatives.py
src/funcprops/registry_transport.py
src/funcprops/regularity_evidence.py
src/funcprops/results.py
src/funcprops/root_coverage.py
src/funcprops/seam_regularity.py
src/funcprops/shared_zeros.py
src/funcprops/source_syntax.py
src/funcprops/special_theorems.py
src/funcprops/statistical_special_functions.py
src/funcprops/stratification.py
src/funcprops/sympy_compare.py
src/funcprops/taylor_models.py
src/funcprops/theorem_closure.py
src/funcprops/theorem_registry.py
src/funcprops/transformation.py
src/funcprops/verification.py
src/funcprops/verified_roots.py
src/funcprops/work_budget.py
src/funcprops.egg-info/PKG-INFO
src/funcprops.egg-info/SOURCES.txt
src/funcprops.egg-info/dependency_links.txt
src/funcprops.egg-info/requires.txt
src/funcprops.egg-info/top_level.txt
src/funcprops/branchcuts/__init__.py
src/funcprops/branchcuts/computation.py
src/funcprops/branchcuts/core.py
src/funcprops/branchcuts/post_simplify.py
src/funcprops/data/catalogue.json
src/funcprops/data/dlmf_audit.json
src/funcprops/data/proof_api_manifest.json
src/funcprops/data/registry_capabilities.json
src/funcprops/real_analysis/__init__.py
src/funcprops/real_analysis/advanced_convexity.py
src/funcprops/real_analysis/boundedness.py
src/funcprops/real_analysis/common.py
src/funcprops/real_analysis/complete_monotonicity.py
src/funcprops/real_analysis/convexity.py
src/funcprops/real_analysis/differentiability.py
src/funcprops/real_analysis/domain.py
src/funcprops/real_analysis/hessian_bounds.py
src/funcprops/real_analysis/image_rules.py
src/funcprops/real_analysis/integrability.py
src/funcprops/real_analysis/mapping.py
src/funcprops/real_analysis/monotonic_certificates.py
src/funcprops/real_analysis/monotonicity.py
src/funcprops/real_analysis/oscillation.py
src/funcprops/real_analysis/piecewise.py
src/funcprops/real_analysis/range.py
src/funcprops/real_analysis/regularity_extensions.py
src/funcprops/real_analysis/restricted_simplify.py
src/funcprops/real_analysis/sign.py
src/funcprops/real_analysis/sign_rules.py
src/funcprops/real_analysis/smoothness.py
src/funcprops/real_analysis/special_functions.py
src/funcprops/real_analysis/staging.py
src/funcprops/real_analysis/structural_properties.py
src/funcprops/real_analysis/variation.py
src/funcprops/real_analysis/zeros.py
src/funcprops/singularities/__init__.py
src/funcprops/singularities/analysis.py
src/funcprops/singularities/geometry.py
src/funcprops/singularities/records.py
src/funcprops/singularities/regularity.py
src/funcprops/transcendental/__init__.py
src/funcprops/transcendental/algebraize.py
src/funcprops/transcendental/analytic.py
src/funcprops/transcendental/complex_roots.py
src/funcprops/transcendental/exp_fourier.py
src/funcprops/transcendental/extrema.py
src/funcprops/transcendental/periodic.py
src/funcprops/transcendental/proof.py
src/funcprops/transcendental/real_interval.py
src/funcprops/transcendental/real_sign.py
src/funcprops/transcendental/reduce.py
src/funcprops/transcendental/root_geometry.py
src/funcprops/transcendental/roots.py
src/funcprops/transcendental/unified_real.py
src/funcprops/transcendental/zero_geometry.py
tests/test_adaptive_root_coverage.py
tests/test_advanced_convexity.py
tests/test_advanced_property_families.py
tests/test_algebraic_coefficient_support.py
tests/test_algebraization_chart_soundness.py
tests/test_algebraization_principal_branches.py
tests/test_algroots_complex_adapter.py
tests/test_analytic_contours.py
tests/test_api_contract.py
tests/test_boundary_and_attainment_geometry.py
tests/test_branch_atlas.py
tests/test_branch_gluing.py
tests/test_branchcut_core.py
tests/test_branchcut_input_validation.py
tests/test_branchcut_post_simplify.py
tests/test_branchcut_restrictions.py
tests/test_branchcuts_integration.py
tests/test_budgeted_proof_composition.py
tests/test_cache_input_validation.py
tests/test_certified_global_analysis.py
tests/test_certified_numerical_analysis.py
tests/test_certified_operations.py
tests/test_certified_real_root_isolation.py
tests/test_checkpoints.py
tests/test_coefficient_routing.py
tests/test_complex_clusters.py
tests/test_complex_completion.py
tests/test_complex_cover_assembly.py
tests/test_complex_isolation_soundness.py
tests/test_complex_newton.py
tests/test_complex_operations_soundness.py
tests/test_complex_root_isolation.py
tests/test_compositional_proof_soundness.py
tests/test_conditional_expression_inputs.py
tests/test_conditional_singularity_analysis.py
tests/test_consistent_helper_proofs.py
tests/test_consumer_soundness.py
tests/test_coverage_guards.py
tests/test_coverage_kernel.py
tests/test_curvature_minimum_soundness.py
tests/test_derivative_cache.py
tests/test_differential_soundness.py
tests/test_dlmf_formula_audit.py
tests/test_dlmf_stratification.py
tests/test_domain_and_mapping_soundness.py
tests/test_domain_cell_root_isolation.py
tests/test_domain_components_and_replay.py
tests/test_domain_inverse_branch_contracts.py
tests/test_enclosure_contracts.py
tests/test_equation_and_contour_contracts.py
tests/test_exactness_boundary.py
tests/test_exported_helpers_and_replay.py
tests/test_extended_regularity_integrability.py
tests/test_extension_budgets.py
tests/test_extrema_bounds.py
tests/test_extremum_ordering.py
tests/test_finite_domain_properties.py
tests/test_global_property_extensions.py
tests/test_guarded_proofs_and_status.py
tests/test_implicit_orders.py
tests/test_indexed_extrema.py
tests/test_indexed_tail_brackets.py
tests/test_indexed_tail_inversion.py
tests/test_integration_parametric_contours.py
tests/test_local_branch_proofs.py
tests/test_local_germ_and_equation_soundness.py
tests/test_mathematical_soundness_regressions.py
tests/test_metric_and_jump_properties.py
tests/test_metric_replay.py
tests/test_monotonicity_and_singularities.py
tests/test_multivariate_certification.py
tests/test_multivariate_singularity_loci.py
tests/test_native_property_regressions.py
tests/test_numeric_and_symbolic_exactness.py
tests/test_parameter_case_soundness.py
tests/test_parameter_geometry.py
tests/test_parameter_prerequisite_soundness.py
tests/test_parameter_root_coverage.py
tests/test_parameterized_property_extensions.py
tests/test_periodic_root_coverage.py
tests/test_piecewise_certified_analysis.py
tests/test_piecewise_partitions.py
tests/test_practical_proofs.py
tests/test_principal_branch_and_tail_soundness.py
tests/test_proof_obligations.py
tests/test_proof_payload_integrity.py
tests/test_property_coverage.py
tests/test_property_work_budgets.py
tests/test_public_assumptions_contract.py
tests/test_public_option_semantics.py
tests/test_quadratic_images.py
tests/test_quotient_isolation.py
tests/test_quotient_shared_orders.py
tests/test_quotient_soundness_audit.py
tests/test_real_enclosures.py
tests/test_real_multiplicity.py
tests/test_real_output_domains.py
tests/test_real_root_pipeline.py
tests/test_registry.py
tests/test_registry_derivative_certificates.py
tests/test_registry_localization.py
tests/test_registry_multiargument_paths.py
tests/test_registry_multivariate_transport.py
tests/test_registry_native_families.py
tests/test_registry_patterns.py
tests/test_registry_scalar_transport.py
tests/test_regularity_proof_soundness.py
tests/test_restricted_property_soundness.py
tests/test_restricted_transcendental_range.py
tests/test_result_and_cache_management.py
tests/test_robustness_contracts.py
tests/test_root_coverage_checker.py
tests/test_semialg_delegation.py
tests/test_shared_domain_facts.py
tests/test_shared_monotonic_partition.py
tests/test_shared_proof_cache.py
tests/test_sign_routes.py
tests/test_singularity_locus_api.py
tests/test_singularity_soundness_regressions.py
tests/test_small_bug_fixes.py
tests/test_source_binding.py
tests/test_source_domain_contracts.py
tests/test_source_transport.py
tests/test_statistical_special_functions.py
tests/test_structural_properties.py
tests/test_symbolic_property_families.py
tests/test_tail_root_coverage.py
tests/test_transcendental_algebraization.py
tests/test_transcendental_certification.py
tests/test_transcendental_real_analysis.py
tests/test_transformation_geometry.py
tests/test_uniform_parameter_coverage.py
tests/test_user_friendly_root_api.py
tests/test_vocabulary.py
tests/test_zero_geometry.py
tests/test_zeros_mapping_and_smoothness.py