CITATION.cff
Cargo.lock
Cargo.toml
LICENSE
MANIFEST.in
README.ja.md
README.md
SECURITY.md
THIRD_PARTY_NOTICES.md
pyproject.toml
rust-toolchain.toml
setup.py
include/formulatracer.h
include/formulatracer.hpp
python/cpp_audit/__init__.py
python/cpp_audit/__main__.py
python/cpp_audit/_compat.py
python/cpp_audit/algebraic_domains.py
python/cpp_audit/approximation_families.py
python/cpp_audit/approximation_proofs.py
python/cpp_audit/assurance_release.py
python/cpp_audit/audit_execution.py
python/cpp_audit/bitvector.py
python/cpp_audit/cli.py
python/cpp_audit/control_flow_assurance.py
python/cpp_audit/core.py
python/cpp_audit/cpp_project.py
python/cpp_audit/dependency.py
python/cpp_audit/end_to_end.py
python/cpp_audit/equality_saturation.py
python/cpp_audit/error_composition.py
python/cpp_audit/error_ir.py
python/cpp_audit/execution_sandbox.py
python/cpp_audit/expression.py
python/cpp_audit/generation_planning.py
python/cpp_audit/ieee754.py
python/cpp_audit/interval.py
python/cpp_audit/knowledge_assurance.py
python/cpp_audit/library_contracts.py
python/cpp_audit/library_coverage.py
python/cpp_audit/logic_semantics.py
python/cpp_audit/major_ecosystem.py
python/cpp_audit/math_assurance.py
python/cpp_audit/math_semantics.py
python/cpp_audit/math_surface.py
python/cpp_audit/mathematical_knowledge.py
python/cpp_audit/mathematical_primitives.py
python/cpp_audit/native_differential.py
python/cpp_audit/numeric_types.py
python/cpp_audit/parallel_semantics.py
python/cpp_audit/pipeline.py
python/cpp_audit/probability.py
python/cpp_audit/project.py
python/cpp_audit/provenance_assurance.py
python/cpp_audit/py.typed
python/cpp_audit/python_audit.py
python/cpp_audit/python_cfg.py
python/cpp_audit/real_world_validation.py
python/cpp_audit/reconstruction_artifacts.py
python/cpp_audit/reference_harvester.py
python/cpp_audit/reference_registry.py
python/cpp_audit/release_candidate.py
python/cpp_audit/release_candidate_v2.py
python/cpp_audit/research_provenance.py
python/cpp_audit/rust_contracts.py
python/cpp_audit/rust_project.py
python/cpp_audit/self_audit.py
python/cpp_audit/semantic_debugger.py
python/cpp_audit/synthesis.py
python/cpp_audit/transformations.py
python/cpp_audit/units.py
python/formulatracer/__init__.py
python/formulatracer/math.py
python/formulatracer/native.py
python/formulatracer/reconstruction.py
python/formulatracer/runtime_paths.py
python/formulatracer/structural.py
python/formulatracer.egg-info/PKG-INFO
python/formulatracer.egg-info/SOURCES.txt
python/formulatracer.egg-info/dependency_links.txt
python/formulatracer.egg-info/entry_points.txt
python/formulatracer.egg-info/requires.txt
python/formulatracer.egg-info/top_level.txt
registry/approximation_families.yaml
registry/approximation_proof_coverage.json
registry/approximation_proofs.yaml
registry/inventory_type_evidence.yaml
registry/library_candidates.yaml
registry/library_contract_coverage.json
registry/prepublic_provider_semantics.json
registry/public_api_reference_review_overrides.yaml
registry/public_api_reference_specs.json
registry/references.json
registry/generated/major_ecosystem_contracts.json
registry/generated/public_api/alias_graph.json
registry/generated/public_api/candidate_reference_contracts.json
registry/generated/public_api/coverage_summary.json
registry/generated/public_api/dask-2026.3.0.json
registry/generated/public_api/detailed_review_classes.json
registry/generated/public_api/formal_contract_inventory_alignment.json
registry/generated/public_api/geopandas-1.1.3.json
registry/generated/public_api/igraph-1.0.0.json
registry/generated/public_api/netCDF4-1.7.4.json
registry/generated/public_api/numpy-2.4.4.json
registry/generated/public_api/pandas-3.0.2.json
registry/generated/public_api/public_api_contract_bindings.json
registry/generated/public_api/pyproj-3.7.2.json
registry/generated/public_api/python-builtins-3.11.9.json
registry/generated/public_api/rasterio-1.4.4.json
registry/generated/public_api/reference_provenance.json
registry/generated/public_api/review_registry_summary.json
registry/generated/public_api/scipy-1.17.1.json
registry/generated/public_api/semantic_equivalence_registry.json
registry/generated/public_api/semantic_family_registry.json
registry/generated/public_api/shapely-2.1.2.json
registry/generated/public_api/source_inspection_candidates.json
registry/generated/public_api/xarray-2026.4.0.json
registry/libraries/builtins.yaml
registry/libraries/dask.yaml
registry/libraries/geopandas.yaml
registry/libraries/igraph.yaml
registry/libraries/netcdf4.yaml
registry/libraries/numpy.yaml
registry/libraries/pandas.yaml
registry/libraries/pyproj.yaml
registry/libraries/rasterio.yaml
registry/libraries/scipy.yaml
registry/libraries/shapely.yaml
registry/libraries/xarray.yaml
registry/library_coverage/cupy.yaml
registry/library_coverage/jax.yaml
registry/library_coverage/numpy.yaml
registry/library_coverage/pandas.yaml
registry/library_coverage/rasterio.yaml
registry/library_coverage/torch.yaml
registry/library_coverage/xarray.yaml
registry/mathematical_knowledge/bitvector.yaml
registry/mathematical_knowledge/core.yaml
registry/mathematical_knowledge/foundations.yaml
registry/mathematical_knowledge/physics.yaml
registry/scientific_foundations/physics-v1.json
registry/std/common/classification.yaml
registry/std/cpp17/entities/abs.yaml
registry/std/cpp17/entities/accumulate.yaml
registry/std/cpp17/entities/inner_product.yaml
registry/std/cpp17/entities/reduce.yaml
registry/std/cpp17/entities/sqrt.yaml
registry/std/cpp17/entities/transform.yaml
registry/std/cpp20/entities/span.yaml
registry/std/cpp20/entities/span_begin.yaml
registry/std/cpp20/entities/span_size.yaml
registry/transformations/rewrite_catalog.yaml
registry/transformations/rewrite_packs.yaml
registry/transformations/rules/alpha_rename.yaml
registry/transformations/rules/backward_difference_first_derivative.yaml
registry/transformations/rules/central_difference_first_derivative.yaml
registry/transformations/rules/central_difference_second_derivative.yaml
registry/transformations/rules/division_rewrite_nonzero.yaml
registry/transformations/rules/finite_sum_normalization.yaml
registry/transformations/rules/forward_difference_first_derivative.yaml
registry/transformations/rules/left_rectangle_rule.yaml
registry/transformations/rules/linear_interpolation.yaml
registry/transformations/rules/midpoint_rule.yaml
registry/transformations/rules/multilinear_interpolation.yaml
registry/transformations/rules/nearest_neighbor_interpolation.yaml
registry/transformations/rules/neutral_element_elimination.yaml
registry/transformations/rules/right_rectangle_rule.yaml
registry/transformations/rules/simple_commutative_normalization.yaml
registry/transformations/rules/simpson_rule.yaml
registry/transformations/rules/trapezoidal_rule.yaml
registry/transformations/sets/scientific_default.yaml
rust/formulatracer-c-api/Cargo.toml
rust/formulatracer-c-api/src/lib.rs
rust/formulatracer-cli/Cargo.toml
rust/formulatracer-cli/src/main.rs
rust/formulatracer-core/Cargo.toml
rust/formulatracer-core/src/analysis.rs
rust/formulatracer-core/src/api.rs
rust/formulatracer-core/src/approximation.rs
rust/formulatracer-core/src/bitvector.rs
rust/formulatracer-core/src/bundle.rs
rust/formulatracer-core/src/canonical.rs
rust/formulatracer-core/src/constraints.rs
rust/formulatracer-core/src/coverage.rs
rust/formulatracer-core/src/debugger_provenance.rs
rust/formulatracer-core/src/egraph.rs
rust/formulatracer-core/src/end_to_end.rs
rust/formulatracer-core/src/error.rs
rust/formulatracer-core/src/error_analysis.rs
rust/formulatracer-core/src/error_semantics.rs
rust/formulatracer-core/src/function.rs
rust/formulatracer-core/src/ir.rs
rust/formulatracer-core/src/kernel.rs
rust/formulatracer-core/src/labeled_data.rs
rust/formulatracer-core/src/legacy_core.rs
rust/formulatracer-core/src/legacy_equality.rs
rust/formulatracer-core/src/legacy_expression.rs
rust/formulatracer-core/src/legacy_ieee754.rs
rust/formulatracer-core/src/legacy_interval.rs
rust/formulatracer-core/src/legacy_knowledge.rs
rust/formulatracer-core/src/legacy_math_semantics.rs
rust/formulatracer-core/src/legacy_numeric_types.rs
rust/formulatracer-core/src/legacy_probability.rs
rust/formulatracer-core/src/legacy_synthesis.rs
rust/formulatracer-core/src/legacy_transformations.rs
rust/formulatracer-core/src/lib.rs
rust/formulatracer-core/src/logic.rs
rust/formulatracer-core/src/packs.rs
rust/formulatracer-core/src/parallel.rs
rust/formulatracer-core/src/planning.rs
rust/formulatracer-core/src/provenance.rs
rust/formulatracer-core/src/provider_execution.rs
rust/formulatracer-core/src/reconstruction.rs
rust/formulatracer-core/src/relation.rs
rust/formulatracer-core/src/render.rs
rust/formulatracer-core/src/representations.rs
rust/formulatracer-core/src/structural.rs
rust/formulatracer-core/src/surface.rs
rust/formulatracer-core/src/unify.rs
rust/formulatracer-core/src/units.rs
schemas/algorithm-spec.schema.json
schemas/approximation-family.schema.json
schemas/approximation-proof.schema.json
schemas/audit-bundle-manifest.schema.json
schemas/audit-certificate.schema.json
schemas/audit-debug-result.schema.json
schemas/candidate-reference-contracts.schema.json
schemas/cargo-workspace.schema.json
schemas/code-synthesis-result.schema.json
schemas/constant-dependency-graph.schema.json
schemas/control-flow-assurance-summary.schema.json
schemas/counterexample-search-result.schema.json
schemas/cpp-compilation-environment.schema.json
schemas/dataset-schema.schema.json
schemas/dependency-graph.schema.json
schemas/dependency-license-inventory.schema.json
schemas/end-to-end-verification-claim.schema.json
schemas/equality-saturation-result.schema.json
schemas/error-bound.schema.json
schemas/error-component.schema.json
schemas/error-composition.schema.json
schemas/error-propagation-trace.schema.json
schemas/error-specification.schema.json
schemas/execution-ir.schema.json
schemas/expression-ir.schema.json
schemas/function-sensitivity-contract.schema.json
schemas/generation-plan.schema.json
schemas/graph-enclosure.schema.json
schemas/ieee754-semantics.schema.json
schemas/implementation-ir.schema.json
schemas/interval.schema.json
schemas/knowledge-assurance-report.schema.json
schemas/language-boundary.schema.json
schemas/library-contract-registry.schema.json
schemas/library-coverage-summary.schema.json
schemas/major-ecosystem-report.schema.json
schemas/math-surface-ast.schema.json
schemas/mathematical-assurance-report.schema.json
schemas/mathematical-knowledge-registry.schema.json
schemas/mathematical-relation-graph.schema.json
schemas/native-migration-status.schema.json
schemas/numeric-type-semantics.schema.json
schemas/output-sink.schema.json
schemas/output-slice.schema.json
schemas/parallel-semantics.schema.json
schemas/probability-audit-result.schema.json
schemas/project-audit-result.schema.json
schemas/project-dependency-graph.schema.json
schemas/proof-obligation.schema.json
schemas/provenance-assurance-report.schema.json
schemas/public-api-inventory.schema.json
schemas/python-control-flow-graph.schema.json
schemas/range-enclosure.schema.json
schemas/range-specification.schema.json
schemas/real-world-validation-summary.schema.json
schemas/reconstruction-artifact.schema.json
schemas/reference-registry.schema.json
schemas/release-candidate-summary.schema.json
schemas/research-provenance.schema.json
schemas/residual-expression.schema.json
schemas/rewrite-catalog.schema.json
schemas/runtime-evidence.schema.json
schemas/rust-library-contract.schema.json
schemas/scientific-foundation-pack.schema.json
schemas/self-audit-summary.schema.json
schemas/semantic-equivalence-registry.schema.json
schemas/semantic-graph.schema.json
schemas/std-registry.schema.json
schemas/transformation-application.schema.json
schemas/transformation-rule.schema.json
schemas/transformation-set.schema.json
tests/test_approximation_families.py
tests/test_approximation_proofs.py
tests/test_assurance_release.py
tests/test_audit.py
tests/test_audit_execution.py
tests/test_clang_pipeline.py
tests/test_code_synthesis.py
tests/test_control_flow_assurance.py
tests/test_cpp_project_analyzer.py
tests/test_dependency_graph.py
tests/test_end_to_end_enclosure.py
tests/test_equality_saturation.py
tests/test_error_composition.py
tests/test_error_ir.py
tests/test_expression.py
tests/test_final_prepublic_integration.py
tests/test_final_rc_v2_report.py
tests/test_foundational_math_semantics.py
tests/test_generated_public_api_inventory.py
tests/test_golden_pr3a.py
tests/test_human_math_api.py
tests/test_ieee754.py
tests/test_interval_ranges.py
tests/test_large_scale_self_audit.py
tests/test_library_contracts.py
tests/test_library_coverage.py
tests/test_maintenance_infrastructure.py
tests/test_major_ecosystem.py
tests/test_native_bitvector_parity.py
tests/test_native_core.py
tests/test_native_debugger_provenance.py
tests/test_native_error_semantics.py
tests/test_native_kernel_dispatch.py
tests/test_native_wheel_builder.py
tests/test_numeric_types.py
tests/test_parallel_semantics.py
tests/test_physics_foundation.py
tests/test_prepublic_semantic_hardening.py
tests/test_probability_audit.py
tests/test_project_analyzer.py
tests/test_public_function_reference.py
tests/test_python_audit.py
tests/test_python_cfg.py
tests/test_real_world_validation.py
tests/test_reconstruction_closure.py
tests/test_reference_harvester.py
tests/test_reference_registry.py
tests/test_release_candidate.py
tests/test_release_candidate_v2.py
tests/test_research_provenance.py
tests/test_runtime_semantic_paths.py
tests/test_rust_project_analyzer.py
tests/test_semantic_debugger.py
tests/test_structural_isomorphism.py
tests/test_transformations.py