LICENSE.md
LICENSING.md
README.md
pyproject.toml
mathema/__init__.py
mathema/_brute_force.py
mathema/_deprecation.py
mathema/_indexed.py
mathema/_math_vocab.py
mathema/_providers.py
mathema/_render_mode.py
mathema/_sampling.py
mathema/_scan.py
mathema/_shrink.py
mathema/_target_resolvers.py
mathema/_tier_text.py
mathema/_timeout.py
mathema/acceptance.py
mathema/analysis.py
mathema/audit.py
mathema/auth.py
mathema/authoring.py
mathema/badges.py
mathema/centrality.py
mathema/claim_families.py
mathema/cli.py
mathema/compiled.py
mathema/concepts.py
mathema/conjecture.py
mathema/corroboration.py
mathema/diagnostics.py
mathema/dimensions.py
mathema/docstring.py
mathema/domain.py
mathema/equivalence.py
mathema/f.py
mathema/families.py
mathema/fetch.py
mathema/finite_sets.py
mathema/forms.py
mathema/gates.py
mathema/grammar.py
mathema/hazards.py
mathema/identity.py
mathema/impl_coverage.py
mathema/intent.py
mathema/inventory.py
mathema/lexicon.py
mathema/linalg.py
mathema/locks.py
mathema/matrices.py
mathema/moved.py
mathema/partiality.py
mathema/probing.py
mathema/py.typed
mathema/reason_codes.py
mathema/records.py
mathema/representations.py
mathema/review.py
mathema/routes.py
mathema/spec.py
mathema/suggest.py
mathema/sync.py
mathema/targets.py
mathema/tiers.py
mathema/types.py
mathema/verify.py
mathema.egg-info/PKG-INFO
mathema.egg-info/SOURCES.txt
mathema.egg-info/dependency_links.txt
mathema.egg-info/entry_points.txt
mathema.egg-info/requires.txt
mathema.egg-info/top_level.txt
mathema/compendium/__init__.py
mathema/compendium/export.py
mathema/interfaces/__init__.py
mathema/interfaces/extension.py
mathema/interfaces/runtime.py
mathema/interfaces/mcp/__init__.py
mathema/interfaces/mcp/resources.py
mathema/interfaces/mcp/server.py
mathema/interfaces/mcp/tools.py
mathema/symbolic/__init__.py
mathema/symbolic/_base.py
mathema/symbolic/_conditioned.py
mathema/symbolic/_coupled.py
mathema/symbolic/_dot.py
mathema/symbolic/_extensive.py
mathema/symbolic/_fold.py
mathema/symbolic/_forms.py
mathema/symbolic/_guard_points.py
mathema/symbolic/_loop_shapes.py
mathema/symbolic/_matrix.py
mathema/symbolic/_normalize.py
mathema/symbolic/_partiality.py
mathema/symbolic/_proof_support.py
mathema/symbolic/_prove.py
mathema/symbolic/_recurrence.py
mathema/symbolic/_residues.py
mathema/symbolic/_seq_common.py
mathema/symbolic/_smt.py
mathema/symbolic/_strategies.py
mathema/symbolic/_sum.py
tests/test_abs_statement_round_trip.py
tests/test_accept_exit_codes.py
tests/test_acceptance.py
tests/test_annotation_domain_inference.py
tests/test_assuming_surface.py
tests/test_auth.py
tests/test_authoring.py
tests/test_badges.py
tests/test_blocked_codes.py
tests/test_boolean_returns.py
tests/test_boundary_fragility.py
tests/test_branch_pruning.py
tests/test_branch_pruning_edges.py
tests/test_branched_loops.py
tests/test_brute_force_route.py
tests/test_bundled_params.py
tests/test_calculus_probe_skip.py
tests/test_calculus_sugar.py
tests/test_callable_row_statement.py
tests/test_canonical_narrowing.py
tests/test_cdd_loop_e2e.py
tests/test_cdd_spec_conformance.py
tests/test_centrality.py
tests/test_chained_comparison.py
tests/test_check_headers.py
tests/test_claim_auto_names.py
tests/test_claim_floor.py
tests/test_claim_keywords.py
tests/test_claim_name_never_overrides_statement.py
tests/test_claim_notes.py
tests/test_claim_rows.py
tests/test_claim_store_round_trip.py
tests/test_claim_text_soundness.py
tests/test_claims_file_shape.py
tests/test_clamp_resolution.py
tests/test_classify_bound.py
tests/test_cli_audit_init.py
tests/test_cli_bad_arguments.py
tests/test_cli_blocked_detail.py
tests/test_cli_describe.py
tests/test_cli_describe_detail.py
tests/test_cli_describe_issue.py
tests/test_cli_errors.py
tests/test_cli_exit_codes.py
tests/test_cli_smoke.py
tests/test_cli_verify.py
tests/test_compact_output.py
tests/test_compendium.py
tests/test_compendium_acceptance.py
tests/test_compendium_export.py
tests/test_compiled_forms.py
tests/test_complex_defenses.py
tests/test_complex_domain.py
tests/test_complex_result_is_a_raise.py
tests/test_compound_bars.py
tests/test_comprehension_lifting.py
tests/test_concepts.py
tests/test_conditional_folds.py
tests/test_convex_combination_certificate.py
tests/test_corroboration.py
tests/test_coupled_accumulators.py
tests/test_critical_point_probing.py
tests/test_critical_points_cache.py
tests/test_declared_join.py
tests/test_declared_tolerance_is_the_whole_allowance.py
tests/test_definedness_region_claim.py
tests/test_dependencies.py
tests/test_deprecation.py
tests/test_derivative_at_a_kink.py
tests/test_derive_case_split.py
tests/test_derive_route_real_world.py
tests/test_deterministic_budgets.py
tests/test_diagnostic_report.py
tests/test_diagnostics_critical_points.py
tests/test_diagnostics_hazards.py
tests/test_diagnostics_motifs.py
tests/test_dimension_premises.py
tests/test_dimensions.py
tests/test_disequality_soundness.py
tests/test_docs_examples.py
tests/test_docs_outputs.py
tests/test_docstring.py
tests/test_docsync.py
tests/test_docsync_verb.py
tests/test_domain.py
tests/test_domain_key_validation.py
tests/test_domain_object_proof_support.py
tests/test_domain_projection.py
tests/test_domain_set_notation.py
tests/test_empty_premise_region.py
tests/test_enforce_domain_reads_every_claim_domain_shape.py
tests/test_equality_exact_disproof.py
tests/test_equality_guard_inside_interval.py
tests/test_equivalence.py
tests/test_equivalence_both_sides_raise.py
tests/test_erf_and_erfc.py
tests/test_evidence_ladder.py
tests/test_extended_math_functions.py
tests/test_extension_surface.py
tests/test_extensive_ladder.py
tests/test_extensive_proofs.py
tests/test_facts_injection.py
tests/test_falsification_needs_a_witness.py
tests/test_families.py
tests/test_family_disproof_witness.py
tests/test_fast_rescues.py
tests/test_field_reports.py
tests/test_finite_sets.py
tests/test_float_companion.py
tests/test_fold_composition.py
tests/test_fold_over_an_empty_sequence.py
tests/test_form_hash_is_interpreter_stable.py
tests/test_forms.py
tests/test_fractional_power_of_a_negative_base.py
tests/test_funcs_guarded.py
tests/test_function_vocab_parity.py
tests/test_gap_substitution.py
tests/test_gate.py
tests/test_grammar.py
tests/test_grammar_reservations.py
tests/test_guard_adjudication.py
tests/test_guarded_folds_and_domain_sugar.py
tests/test_hazards.py
tests/test_impl_coverage.py
tests/test_import_graph.py
tests/test_inequality_claims.py
tests/test_inferred_literal_domain.py
tests/test_init_agents.py
tests/test_integer_part_claims.py
tests/test_intent_acceptance.py
tests/test_interval_pass.py
tests/test_interval_soundness.py
tests/test_inventory.py
tests/test_is_arbitrary_input_safe.py
tests/test_is_compendium_safe.py
tests/test_is_defined.py
tests/test_is_defined_witness.py
tests/test_is_empty_safe.py
tests/test_is_extremity_safe.py
tests/test_is_missing_safe.py
tests/test_is_pole_safe.py
tests/test_is_representation_safe.py
tests/test_is_state_safe.py
tests/test_lambda_lifting.py
tests/test_lazy_sampling_setup.py
tests/test_let_bindings.py
tests/test_lexicon.py
tests/test_lifted_persistence.py
tests/test_lim_direction.py
tests/test_linalg.py
tests/test_live_function_binding.py
tests/test_locks.py
tests/test_marker_domains_in_family_probes.py
tests/test_mathema.py
tests/test_matrices.py
tests/test_matrix_derive.py
tests/test_matrix_family.py
tests/test_matrix_space_notation.py
tests/test_matrix_valued_and_dict.py
tests/test_mcp_tools.py
tests/test_method_lifting.py
tests/test_min_max_interval_bounds.py
tests/test_moved_function_reconcile.py
tests/test_multifunction.py
tests/test_nan_results_falsify.py
tests/test_negated_predicate_claims.py
tests/test_normalize.py
tests/test_notation_spellings.py
tests/test_operational_infinity_example.py
tests/test_ordering_tolerance_and_exact_disproof.py
tests/test_output_invariants.py
tests/test_output_routes.py
tests/test_overflow_is_a_raise_region.py
tests/test_packaging_metadata.py
tests/test_partiality_walk_coverage.py
tests/test_per_claim_domains.py
tests/test_power_tower_sign.py
tests/test_prime_notation.py
tests/test_probe_algorithmic_families.py
tests/test_probe_constants.py
tests/test_probe_samples_stay_in_domain.py
tests/test_probe_tries_domain_corners.py
tests/test_probe_tries_guard_points.py
tests/test_probing.py
tests/test_probing_extensive_mode.py
tests/test_project_root_inference.py
tests/test_provenance_surface_author.py
tests/test_providers.py
tests/test_pseudo_infinity_sugar.py
tests/test_raises_call_arity.py
tests/test_range_loop_trip_counts.py
tests/test_reason_codes.py
tests/test_record_slim_review.py
tests/test_recurrence.py
tests/test_registered_safety_predicates.py
tests/test_render_claim_text.py
tests/test_reproducible.py
tests/test_residues.py
tests/test_review_store_delta.py
tests/test_route_attempt_log.py
tests/test_route_capabilities.py
tests/test_runtime_protocol.py
tests/test_safety_family.py
tests/test_safety_probe_halves.py
tests/test_section_parsing.py
tests/test_shape_certificates.py
tests/test_shrink.py
tests/test_sign_certificates.py
tests/test_signals.py
tests/test_smt_rung.py
tests/test_space_domains_round_trip.py
tests/test_spec_domain.py
tests/test_stamp_license.py
tests/test_store_layers.py
tests/test_stratum.py
tests/test_strict_edges.py
tests/test_strict_relations.py
tests/test_string_params.py
tests/test_substitution_soundness.py
tests/test_suggest_claims.py
tests/test_sum_index_binding.py
tests/test_sum_prod_and_reserved.py
tests/test_summary_line_vocabulary.py
tests/test_symbolic.py
tests/test_symbology_provider.py
tests/test_target_resolvers.py
tests/test_targets.py
tests/test_timeout_propagation.py
tests/test_tolerance_epsilon.py
tests/test_tuple_returns.py
tests/test_types.py
tests/test_undeclared_names.py
tests/test_variable_pipeline.py
tests/test_verdict_vocabulary.py
tests/test_verified_claim_reauthoring.py
tests/test_verified_record_integrity.py
tests/test_verified_store_roundtrip.py
tests/test_verify_record_is_stable.py
tests/test_verify_sweep_reporting.py
tests/test_wall_clock.py