LICENSE.md
LICENSING.md
README.md
pyproject.toml
mathema/__init__.py
mathema/_allowance.py
mathema/_annotation_text.py
mathema/_badges_cache.py
mathema/_brute_force.py
mathema/_claim_reach.py
mathema/_clarity_reach.py
mathema/_conditioning.py
mathema/_deprecation.py
mathema/_discontinuities.py
mathema/_empty_input.py
mathema/_exact_premises.py
mathema/_exact_side.py
mathema/_exact_witness.py
mathema/_examine.py
mathema/_exits.py
mathema/_float_text.py
mathema/_floor.py
mathema/_grammar_words.py
mathema/_indexed.py
mathema/_layout.py
mathema/_lexicon_numpy.py
mathema/_linalg_eval.py
mathema/_linalg_exact.py
mathema/_math_vocab.py
mathema/_missing_policy.py
mathema/_missing_words.py
mathema/_premises.py
mathema/_providers.py
mathema/_render_mode.py
mathema/_run_scope.py
mathema/_sampling.py
mathema/_scan.py
mathema/_shapes.py
mathema/_shrink.py
mathema/_signatures.py
mathema/_split.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/definitions.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/languages.py
mathema/lexicon.py
mathema/lexicon_checks.py
mathema/linalg.py
mathema/locks.py
mathema/matrices.py
mathema/moved.py
mathema/partiality.py
mathema/policy.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/compendium/math.claims.yaml
mathema/compendium/statistics.claims.yaml
mathema/compendium/status.py
mathema/compendium/update.py
mathema/compendium/numpy/bounds.claims.yaml
mathema/compendium/numpy/definitions.claims.yaml
mathema/compendium/numpy/definitions_2_4.claims.yaml
mathema/compendium/numpy/elementwise.claims.yaml
mathema/compendium/numpy/linalg.claims.yaml
mathema/compendium/numpy/linalg_2_4.claims.yaml
mathema/compendium/numpy/reductions.claims.yaml
mathema/compendium/numpy/scalars.claims.yaml
mathema/compendium/numpy/statistics.claims.yaml
mathema/compendium/pandas/dataframe.claims.yaml
mathema/compendium/pandas/series.claims.yaml
mathema/compendium/pandas/series_arithmetic.claims.yaml
mathema/compendium/pandas/series_bounds.claims.yaml
mathema/compendium/pandas/series_running.claims.yaml
mathema/compendium/pandas/series_shape.claims.yaml
mathema/compendium/pandas/series_statistics.claims.yaml
mathema/compendium/polars/series.claims.yaml
mathema/compendium/polars/series_bounds.claims.yaml
mathema/compendium/polars/series_running.claims.yaml
mathema/compendium/polars/series_shape.claims.yaml
mathema/compendium/polars/series_statistics.claims.yaml
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/koine/__init__.py
mathema/koine/_render.py
mathema/koine/aliases.py
mathema/koine/canonical.py
mathema/koine/document.py
mathema/koine/facts.py
mathema/koine/frontends.py
mathema/koine/functions.py
mathema/koine/interpret.py
mathema/koine/siblings.py
mathema/koine/syntax.py
mathema/koine/validate.py
mathema/koine/vocabulary.py
mathema/koine/data/aliases.yaml
mathema/runtime_types/__init__.py
mathema/runtime_types/_abstract.py
mathema/runtime_types/_adapters.py
mathema/runtime_types/_missing.py
mathema/runtime_types/_receivers.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/_matrix_lemmas.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/_seqir.py
mathema/symbolic/_smt.py
mathema/symbolic/_strategies.py
mathema/symbolic/_sum.py
tests/test_a_battery_call_mathema_could_not_build_leaves_no_row.py
tests/test_a_bool_parameter_is_described_as_a_bool_draw.py
tests/test_a_bound_on_a_dataclass_field_bounds_its_draws.py
tests/test_a_branch_condition_is_solved_completely_or_not_trusted.py
tests/test_a_bundled_row_is_an_axiom_from_the_supported_floor.py
tests/test_a_call_into_an_installed_library_needs_no_record_of_its_internals.py
tests/test_a_chained_claim_meets_the_empty_input_on_its_empty_input_line.py
tests/test_a_changed_body_fails_its_accepted_risk_at_once.py
tests/test_a_claim_carries_its_own_trials.py
tests/test_a_claim_compares_an_exact_value_beyond_float_range.py
tests/test_a_claim_reads_as_its_lines.py
tests/test_a_claim_reads_back_from_the_record_as_it_was_written.py
tests/test_a_claim_side_without_a_value_is_never_proven.py
tests/test_a_claim_side_without_a_value_leaves_the_claim_unknown.py
tests/test_a_claim_that_does_not_parse_leaves_the_others_checked.py
tests/test_a_claim_that_excludes_the_empty_input_has_no_empty_input_line.py
tests/test_a_claim_without_a_real_value_in_its_domain_is_falsified.py
tests/test_a_class_mathema_cannot_draw_is_not_drawn.py
tests/test_a_closed_infinite_end_is_executed_at_infinity.py
tests/test_a_compendium_row_that_registers_no_region_is_a_verify_note.py
tests/test_a_computation_misses_the_result_beyond_its_precision.py
tests/test_a_corner_finding_keeps_a_definition_row_an_axiom.py
tests/test_a_dataframe_row_reads_its_column_by_name.py
tests/test_a_draw_inside_a_finite_domain_near_the_float_limit_stays_finite.py
tests/test_a_falsification_below_a_length_offers_the_split.py
tests/test_a_falsified_witness_reproduces_from_the_record.py
tests/test_a_finite_domain_computation_runs_every_point_or_every_discontinuity.py
tests/test_a_finite_domain_too_slow_to_sweep_says_so.py
tests/test_a_finite_set_means_its_members.py
tests/test_a_fixed_length_box_is_tried_at_its_corners.py
tests/test_a_fixed_length_element_never_shares_a_parameter_name.py
tests/test_a_fixed_shape_in_the_claim_is_drawn.py
tests/test_a_fixed_size_holds_at_every_missing_input.py
tests/test_a_flag_with_a_bool_default_is_drawn_as_a_bool.py
tests/test_a_function_s_effects_are_stated_under_it.py
tests/test_a_function_that_exits_is_recorded_as_a_raise.py
tests/test_a_function_without_source_draws_from_its_types.py
tests/test_a_ground_claim_is_decided_at_its_own_call.py
tests/test_a_guard_over_the_entries_is_a_deliberate_refusal.py
tests/test_a_guard_reads_an_endpoint_as_written_for_an_exact_number.py
tests/test_a_guard_refusal_inside_the_claim_falsifies.py
tests/test_a_hazard_gate_blames_a_hazard_only_for_its_own_raise.py
tests/test_a_hole_is_classified_by_refilling_it.py
tests/test_a_keyword_in_a_grammar_call_is_not_a_read_of_the_parameter.py
tests/test_a_keyword_in_a_rows_expression_does_not_unpin_it.py
tests/test_a_language_declares_its_refusal_and_defined_answer.py
tests/test_a_language_named_by_a_dotted_path_to_a_dict_resolves.py
tests/test_a_language_that_draws_no_member.py
tests/test_a_large_witness_prints_its_shape.py
tests/test_a_let_binding_to_third_party_code_carries_a_warning.py
tests/test_a_let_bound_function_takes_its_declared_runtime_types.py
tests/test_a_let_pin_reaches_a_parameter_the_call_omits.py
tests/test_a_lexicon_row_round_trips_as_its_example_function_takes_it.py
tests/test_a_library_function_realised_for_runtime_types_keeps_its_key.py
tests/test_a_library_row_speaks_only_for_the_argument_as_passed.py
tests/test_a_library_row_the_installed_library_breaks_says_how_to_settle_it.py
tests/test_a_library_upgrade_re_verifies_its_rows.py
tests/test_a_literal_index_into_an_array_result_wraps_and_raises_like_numpy.py
tests/test_a_literal_longer_than_a_double_is_never_proven_from_its_rounding.py
tests/test_a_long_decimal_endpoint_is_read_exactly.py
tests/test_a_loop_written_reciprocal_keeps_its_pole.py
tests/test_a_matrix_quotient_needs_a_nonzero_divisor.py
tests/test_a_method_parameter_defaulting_to_none_can_be_bound.py
tests/test_a_methods_self_is_drawn_as_its_class.py
tests/test_a_missing_bound_names_the_holes_of_the_slot_type.py
tests/test_a_missing_numpy_is_looked_for_once.py
tests/test_a_missing_output_is_classified_not_judged.py
tests/test_a_nan_from_present_inputs_is_no_value.py
tests/test_a_nan_the_claim_never_reads_is_no_computation_failure.py
tests/test_a_norm_stays_exact_past_the_float_range.py
tests/test_a_parameter_annotated_dict_is_drawn_as_a_dict.py
tests/test_a_parameter_rebound_to_a_copy_is_not_mutated.py
tests/test_a_parameter_the_claim_fixes_is_not_swept.py
tests/test_a_parameter_used_as_a_numpy_array_is_drawn_as_one.py
tests/test_a_pass_within_tolerance_is_decided_exactly.py
tests/test_a_path_bound_excludes_a_member_where_the_path_has_no_value.py
tests/test_a_path_bound_through_an_index_renders_in_the_fields_type.py
tests/test_a_path_reaches_absence_or_a_hole.py
tests/test_a_permuted_call_does_not_inherit_the_parameters_domain.py
tests/test_a_pin_is_written_in_the_call.py
tests/test_a_premise_bound_is_not_read_as_an_equality.py
tests/test_a_premise_is_false_where_it_has_no_real_value.py
tests/test_a_premise_naming_a_falsified_or_unknown_verdict_is_refused.py
tests/test_a_project_compendium_entry_merges_with_the_bundled_one_by_row.py
tests/test_a_project_compendium_follows_its_versions_range.py
tests/test_a_proof_checks_the_claims_own_side_has_a_value.py
tests/test_a_proof_through_a_definition_row_is_capped_at_holds.py
tests/test_a_radical_constrains_only_the_branch_that_takes_it.py
tests/test_a_raise_from_another_parameters_absence_is_not_the_holes.py
tests/test_a_raising_guard_leaves_the_library_row_for_what_it_does_not_decide.py
tests/test_a_rational_cover_takes_only_numbers.py
tests/test_a_real_only_library_call_without_a_definedness_row.py
tests/test_a_record_read_again_is_the_file_as_it_is_now.py
tests/test_a_registered_runtime_type_is_read_from_text_and_hinted.py
tests/test_a_retired_family_name_resolves_to_its_new_name.py
tests/test_a_scalar_binding_is_drawn_as_a_scalar.py
tests/test_a_scalar_function_in_a_claim_reads_an_exact_value.py
tests/test_a_scaled_gram_product_keeps_its_rank_only_for_a_nonzero_scale.py
tests/test_a_sequence_claim_covers_every_length_its_binding_admits.py
tests/test_a_sequence_meets_magnitude_and_cancellation_corners.py
tests/test_a_sequence_meets_the_same_sign_float_limit_pair.py
tests/test_a_sequence_transform_acts_on_the_vector_it_is_given.py
tests/test_a_shape_probe_reads_only_finite_values.py
tests/test_a_signature_reads_from_the_documented_call.py
tests/test_a_square_matrix_claim_meets_trace_zero_and_singular_matrices.py
tests/test_a_square_root_of_a_negative_is_never_proven_real.py
tests/test_a_str_parameter_is_strings_only.py
tests/test_a_strict_inequality_fails_where_the_bound_is_reached.py
tests/test_a_tables_own_attributes_are_not_columns.py
tests/test_a_true_identity_is_not_falsified_by_rounding.py
tests/test_a_trusted_acceptance_goes_stale_when_its_row_changes.py
tests/test_a_value_claim_is_its_mathematics_and_its_empty_input_line.py
tests/test_a_value_removed_from_the_domain_is_outside_it.py
tests/test_a_vectors_transpose_is_the_vector_itself.py
tests/test_a_verify_run_reads_each_file_once.py
tests/test_a_version_range_that_admits_nothing_is_refused.py
tests/test_a_witness_against_a_proof_reports_the_proof_failed.py
tests/test_a_wrong_shape_is_outside_the_domain.py
tests/test_a_zero_derivative_proves_an_identity_only_where_continuous.py
tests/test_abs_statement_round_trip.py
tests/test_accept_exit_codes.py
tests/test_accept_leaves_the_record_current.py
tests/test_accept_output.py
tests/test_acceptance.py
tests/test_an_absence_agrees_with_an_absence.py
tests/test_an_absence_along_a_path_is_classified.py
tests/test_an_absence_is_blamed_only_for_its_own_raise.py
tests/test_an_annotated_mapping_is_not_read_as_an_array.py
tests/test_an_annotation_naming_an_uninstalled_type_leaves_the_text_to_decide.py
tests/test_an_empty_container_has_the_dtype_of_its_draws.py
tests/test_an_empty_input_line_appears_once_and_only_for_an_open_sequence.py
tests/test_an_empty_list_witness_follows_the_claims_own_call.py
tests/test_an_empty_polars_series_is_a_float_column.py
tests/test_an_empty_working_domain_has_no_valid_domain.py
tests/test_an_entry_assert_feeds_enforce_domain.py
tests/test_an_exact_root_witness_is_checked_at_neighbouring_floats.py
tests/test_an_exact_witness_falsifies_where_every_float_passes.py
tests/test_an_executed_is_defined_witness_names_the_probe_route.py
tests/test_an_exhaustive_sweep_runs_whatever_the_functions_purity.py
tests/test_an_export_ranges_over_the_installed_minor_version.py
tests/test_an_exported_compendium_restates_the_rows_as_written.py
tests/test_an_extra_never_removes_the_mathematics_line.py
tests/test_an_int_annotation_reads_one_way_on_every_route.py
tests/test_an_invalidated_row_in_verify_json_says_why.py
tests/test_an_optional_text_parameter_carries_its_absence.py
tests/test_an_out_of_range_file_verified_by_path_keeps_the_corner_rule.py
tests/test_an_overflow_after_derive_gives_up_is_the_computations.py
tests/test_an_unbound_value_claim_reads_the_working_domain.py
tests/test_an_unimportable_module_says_why_in_verify.py
tests/test_an_unparseable_row_is_named_by_verify.py
tests/test_annotation_domain_inference.py
tests/test_annotations_complete_the_domain.py
tests/test_annotations_read_the_same_on_every_python.py
tests/test_approximate_equality_is_within_epsilon.py
tests/test_assuming_surface.py
tests/test_auth.py
tests/test_authoring.py
tests/test_badges.py
tests/test_badges_sweep_cost.py
tests/test_bare_is_defined_reads_the_working_domain.py
tests/test_bars_around_a_matrix_mean_its_determinant_everywhere.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_builtin_safe_numpy_spellings.py
tests/test_bundled_params.py
tests/test_calculus_probe_skip.py
tests/test_calculus_sugar.py
tests/test_callable_signature.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_chained_premises.py
tests/test_check_headers.py
tests/test_check_notes_project_compendium_files_it_did_not_read.py
tests/test_check_reads_big_integers_series_and_decimals.py
tests/test_claim_auto_names.py
tests/test_claim_floor.py
tests/test_claim_keyword_arguments.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_cannot_reach_the_system.py
tests/test_claim_text_soundness.py
tests/test_claim_words_are_exact_on_every_draw.py
tests/test_claims_file_shape.py
tests/test_clamp_resolution.py
tests/test_clarity_a_callee_s_proven_identity_settles_the_call.py
tests/test_clarity_a_claim_counts_the_share_of_inputs_it_ranges_over.py
tests/test_clarity_a_claim_s_finite_binding_leaves_the_type_charged.py
tests/test_clarity_a_falsified_claim_entails_nothing.py
tests/test_clarity_a_finite_text_domain_admits_no_arbitrary_text.py
tests/test_clarity_a_guard_to_a_set_costs_what_enforce_domain_costs.py
tests/test_clarity_a_missing_value_policy_speaks_only_about_missing_values.py
tests/test_clarity_a_random_probe_counts_its_draws.py
tests/test_clarity_an_absence_row_speaks_only_about_absence.py
tests/test_clarity_annotating_a_parameter_never_lowers_the_score.py
tests/test_clarity_does_not_charge_a_decorator_as_a_call.py
tests/test_clarity_every_scoped_claim_earns_a_floor.py
tests/test_clarity_grades_a_subroute_as_its_route.py
tests/test_clarity_orders_functions_as_a_developer_expects.py
tests/test_clarity_reads_a_domain_stated_on_the_function.py
tests/test_clarity_reads_the_completed_domain.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_compendium_status.py
tests/test_cli_compendium_update.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_probe_warnings.py
tests/test_cli_smoke.py
tests/test_cli_verify.py
tests/test_cli_version.py
tests/test_compact_output.py
tests/test_compendium.py
tests/test_compendium_acceptance.py
tests/test_compendium_aliases.py
tests/test_compendium_complex_rows.py
tests/test_compendium_computation_rows.py
tests/test_compendium_division_rows.py
tests/test_compendium_export.py
tests/test_compendium_no_value_regions.py
tests/test_compendium_numpy_rows.py
tests/test_compendium_pandas_rows.py
tests/test_compendium_status_names_calls_no_row_covers.py
tests/test_compendium_status_names_the_methods_a_project_calls.py
tests/test_compendium_unregistered_rows.py
tests/test_compendium_update_pins_only_what_a_row_leaves_open.py
tests/test_compendium_update_writes_a_pinned_definition_only_from_a_stated_one.py
tests/test_compendium_update_writes_only_rows_that_hold.py
tests/test_compiled_forms.py
tests/test_complex_defenses.py
tests/test_complex_domain.py
tests/test_complex_interval_bounds_do_not_crash.py
tests/test_complex_representation.py
tests/test_complex_result_is_a_raise.py
tests/test_compound_bars.py
tests/test_comprehension_lifting.py
tests/test_computation_safety_hierarchy.py
tests/test_computation_vocabulary.py
tests/test_concepts.py
tests/test_conditional_folds.py
tests/test_convex_combination_certificate.py
tests/test_core_without_a_language_package.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_decorated_function_resolves_in_its_own_module.py
tests/test_deep_paths.py
tests/test_deep_witnesses_are_summarised.py
tests/test_definedness_region_claim.py
tests/test_definition_rows.py
tests/test_definition_rows_trust.py
tests/test_definitions_are_axioms_not_claims.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_is_blind_to_the_representation.py
tests/test_derive_note_for_a_function_without_source.py
tests/test_derive_reads_a_union_guard.py
tests/test_derive_route_real_world.py
tests/test_describe_careful.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_discontinuities_are_found_and_run.py
tests/test_disequality_soundness.py
tests/test_docs_examples.py
tests/test_docs_language_reference.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_domain_states_what_it_admits.py
tests/test_each_bundled_row_is_read_once_per_process.py
tests/test_effects_of_array_methods.py
tests/test_empty_premise_region.py
tests/test_enforce_dimensions_checks_what_the_space_states.py
tests/test_enforce_dimensions_rejects_a_wrong_shape.py
tests/test_enforce_domain_draws_inside_its_own_guard.py
tests/test_enforce_domain_judges_a_language_member_whole.py
tests/test_enforce_domain_reads_every_claim_domain_shape.py
tests/test_enforce_domain_reads_the_policy_claims.py
tests/test_enforce_domain_rejects_every_number_outside_the_domain.py
tests/test_enforce_domain_to_a_set_or_list_refuses_other_values.py
tests/test_enforce_range_rejects_a_result_outside_its_declared_range.py
tests/test_equality_exact_disproof.py
tests/test_equality_guard_inside_interval.py
tests/test_equivalence.py
tests/test_equivalence_across_runtimes.py
tests/test_equivalence_both_sides_raise.py
tests/test_equivalence_form_provenance.py
tests/test_equivalence_reads_no_value.py
tests/test_erf_and_erfc.py
tests/test_eulers_number_renders_apart_from_a_parameter_named_e.py
tests/test_every_exact_rung_reads_an_endpoint_as_written.py
tests/test_every_module_compiles_without_a_warning.py
tests/test_every_old_spelling_still_parses.py
tests/test_every_witness_is_named.py
tests/test_evidence_ladder.py
tests/test_examine_follows_every_alias.py
tests/test_examine_second_audit.py
tests/test_excluded_outside_domain_language.py
tests/test_extended_math_functions.py
tests/test_extension_surface.py
tests/test_extensive_ladder.py
tests/test_extensive_proofs.py
tests/test_external_families_load_after_the_extension_surface.py
tests/test_facts_from_koine.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_family_probe_meta.py
tests/test_fast_rescues.py
tests/test_field_reports.py
tests/test_finite_no_error.py
tests/test_finite_set_with_missing_member.py
tests/test_finite_sets.py
tests/test_finite_text_sets_are_swept_and_split.py
tests/test_float_companion.py
tests/test_float_literals_round_trip.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_under_test_by_its_own_name.py
tests/test_function_vocab_parity.py
tests/test_gap_substitution.py
tests/test_gate.py
tests/test_gates_say_what_f_does_in_words.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_huge_integer_results_do_not_crash.py
tests/test_imaginary_literals_read_in_linear_time.py
tests/test_impl_coverage.py
tests/test_import_graph.py
tests/test_inequality_claims.py
tests/test_inf_results_falsify.py
tests/test_inferred_literal_domain.py
tests/test_infinity_spellings.py
tests/test_init_agents.py
tests/test_injected_facts_honoured.py
tests/test_injected_koine_facts_prove_through_derive.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_defined.py
tests/test_is_defined_is_proven_only_over_the_whole_definedness_region.py
tests/test_is_defined_library_with_source.py
tests/test_is_defined_overflow_region.py
tests/test_is_defined_source_less.py
tests/test_is_defined_witness.py
tests/test_is_deterministic_compares_two_calls.py
tests/test_is_empty_safe.py
tests/test_is_empty_safe_meets_the_empty_container.py
tests/test_is_language_defined.py
tests/test_is_library_safe.py
tests/test_is_missing_safe.py
tests/test_is_pole_safe.py
tests/test_is_repeatable.py
tests/test_is_representation_safe.py
tests/test_is_state_safe.py
tests/test_is_state_safe_logging_is_benign.py
tests/test_is_state_safe_passed_in_generator.py
tests/test_is_state_safe_sees_process_state.py
tests/test_keyword_only_parameters.py
tests/test_koine_golden_corpus.py
tests/test_koine_hash_covers_only_the_mathematics.py
tests/test_koine_hash_reads_a_call_by_what_it_calls.py
tests/test_koine_hash_renames_parameters_by_position.py
tests/test_koine_interpreter_gives_the_meaning_at_a_point.py
tests/test_koine_operations_compute_exactly.py
tests/test_koine_renders_to_the_liftable_subset.py
tests/test_koine_text_parses_and_prints.py
tests/test_koine_validation_names_every_problem.py
tests/test_koine_vocabulary_tables_agree.py
tests/test_lambda_lifting.py
tests/test_language_adaptor_order.py
tests/test_language_annotation_inference.py
tests/test_language_derive_gate.py
tests/test_language_derive_strategy.py
tests/test_language_dialect_stamp.py
tests/test_language_domains.py
tests/test_language_hazard_lap.py
tests/test_language_kind_check.py
tests/test_language_len_renders_as_len.py
tests/test_language_length_refinement.py
tests/test_language_refinement_seam.py
tests/test_language_registry.py
tests/test_language_risk.py
tests/test_language_sampling_resolves_once.py
tests/test_language_shrinking_is_lazy.py
tests/test_language_witness_names_its_arguments.py
tests/test_language_witness_shrink.py
tests/test_lazy_sampling_setup.py
tests/test_length_one_and_thin_matrices_are_drawn.py
tests/test_length_premises.py
tests/test_let_bindings.py
tests/test_lexicon.py
tests/test_lexicon_extension.py
tests/test_lexicon_missing_section.py
tests/test_library_defaults.py
tests/test_lifted_persistence.py
tests/test_lim_direction.py
tests/test_linalg.py
tests/test_linear_algebra_probe.py
tests/test_linear_algebra_rendering.py
tests/test_linear_algebra_semantics.py
tests/test_linear_algebra_vocabulary.py
tests/test_live_function_binding.py
tests/test_locks.py
tests/test_marker_domains_in_family_probes.py
tests/test_math_functions_have_no_value_where_their_real_domain_ends.py
tests/test_mathema.py
tests/test_matrices.py
tests/test_matrices_are_real_only.py
tests/test_matrix_claims_are_never_read_as_scalars.py
tests/test_matrix_derive.py
tests/test_matrix_family.py
tests/test_matrix_lemmas.py
tests/test_matrix_probe_soundness.py
tests/test_matrix_space_notation.py
tests/test_matrix_valued_and_dict.py
tests/test_mcp_tools.py
tests/test_membership_relation.py
tests/test_method_lifting.py
tests/test_min_max_interval_bounds.py
tests/test_missing_behaviour_is_counted_in_slots.py
tests/test_missing_values_core.py
tests/test_missing_values_languages.py
tests/test_missing_values_linear_algebra.py
tests/test_moved_function_reconcile.py
tests/test_multifunction.py
tests/test_nan_in_claim_text_is_the_float_nan.py
tests/test_nan_results_falsify.py
tests/test_negated_predicate_claims.py
tests/test_negative_zero_is_drawn_where_zero_is_in_the_domain.py
tests/test_norm_bars.py
tests/test_normalize.py
tests/test_notation_spellings.py
tests/test_numerical_stability_is_accuracy.py
tests/test_numpy_call_lifting.py
tests/test_numpy_functions_are_proven.py
tests/test_numpy_matrix_rank_is_not_read_as_the_rank.py
tests/test_one_relative_tolerance_on_both_computation_lines.py
tests/test_one_unparseable_claim_does_not_skip_its_key.py
tests/test_operational_infinity_example.py
tests/test_optional_and_quoted_annotation_kinds.py
tests/test_ordering_tolerance_and_exact_disproof.py
tests/test_output_invariants.py
tests/test_output_routes.py
tests/test_overflow_is_computation.py
tests/test_overflow_safety_at_representation_extremes.py
tests/test_packaging_metadata.py
tests/test_pandas_and_series_claims.py
tests/test_pandas_series_dot_aligns_on_the_index.py
tests/test_partiality_walk_coverage.py
tests/test_per_claim_domains.py
tests/test_point_evaluator_no_value.py
tests/test_polars_rolling_windows_are_exact_from_1_35_1.py
tests/test_policy_claims_say_what_f_does_with_no_value.py
tests/test_policy_rows_gate_verify.py
tests/test_policy_rows_say_where_they_come_from.py
tests/test_power_tower_sign.py
tests/test_premise_directed_sampling.py
tests/test_premises_decide_membership_exactly.py
tests/test_prime_notation.py
tests/test_probe_algorithmic_families.py
tests/test_probe_constants.py
tests/test_probe_errstate.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_proofs_through_definition_rows.py
tests/test_provenance_surface_author.py
tests/test_providers.py
tests/test_pseudo_infinity_display.py
tests/test_pseudo_infinity_levels.py
tests/test_pseudo_infinity_sugar.py
tests/test_quant_functions_are_proven.py
tests/test_raises_call_arity.py
tests/test_raises_exception_names.py
tests/test_raises_suggestion_binds_the_raising_region.py
tests/test_range_loop_trip_counts.py
tests/test_reason_codes.py
tests/test_record_names_the_body_provenance.py
tests/test_record_slim_review.py
tests/test_recorded_string_witnesses_replay_as_strings.py
tests/test_recurrence.py
tests/test_registered_frontend_supplies_the_body.py
tests/test_registered_output_predicates.py
tests/test_registered_safety_predicates.py
tests/test_render_claim_text.py
tests/test_representation_reach.py
tests/test_reproducible.py
tests/test_reserved_families.py
tests/test_residues.py
tests/test_review_store_delta.py
tests/test_route_attempt_log.py
tests/test_route_capabilities.py
tests/test_row_field_lift.py
tests/test_row_lift_beyond_dataclasses.py
tests/test_running_extrema_and_bounds_lower.py
tests/test_runtime_protocol.py
tests/test_runtime_type_claims.py
tests/test_runtime_types.py
tests/test_safety_family.py
tests/test_safety_predicates_respect_premises.py
tests/test_safety_probe_halves.py
tests/test_sampling_note.py
tests/test_sampling_seam.py
tests/test_schema_languages.py
tests/test_section_parsing.py
tests/test_sequence_lowering.py
tests/test_sequence_sum_soundness.py
tests/test_shape_certificates.py
tests/test_shape_markers_hold_on_every_runtime.py
tests/test_shrink.py
tests/test_sign_certificates.py
tests/test_signals.py
tests/test_smt_rung.py
tests/test_space_bindings_on_library_keys.py
tests/test_space_domains_round_trip.py
tests/test_spec_domain.py
tests/test_stamp_license.py
tests/test_state_and_repeatability_are_examined.py
tests/test_state_warnings_speak_only_of_the_code_under_test.py
tests/test_statistics_words_in_claims.py
tests/test_store_layers.py
tests/test_store_record_file_names.py
tests/test_str_in_claims.py
tests/test_stratum.py
tests/test_strict_edges.py
tests/test_strict_relations.py
tests/test_string_concatenation_renders_in_order.py
tests/test_string_parameter_without_a_domain.py
tests/test_string_params.py
tests/test_structured_result_equality.py
tests/test_substitution_soundness.py
tests/test_suggest_claims.py
tests/test_suggestions_come_in_three_sections.py
tests/test_suggestions_for_string_functions.py
tests/test_suggestions_stay_inside_every_guard.py
tests/test_suggestions_stay_inside_the_declared_domain.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_the_bundled_library_rows_load_and_hold.py
tests/test_the_claim_side_is_exact_on_a_computation_line.py
tests/test_the_claim_words_keep_their_exact_value_at_the_edges.py
tests/test_the_claim_words_median_quantile_and_dot_are_computed_by_mathema.py
tests/test_the_claim_words_sum_mean_prod_var_and_std_are_computed_by_mathema.py
tests/test_the_curvature_probe_scales_with_its_point.py
tests/test_the_definedness_tree_rolls_up_its_children.py
tests/test_the_empty_input_line_reads_a_stated_empty_policy.py
tests/test_the_extension_surface_is_fully_annotated.py
tests/test_the_float_companion_honours_the_claims_premises.py
tests/test_the_floor_reaches_the_smallest_shapes.py
tests/test_the_gates_reach_what_the_type_states.py
tests/test_the_gates_read_the_policy_rows.py
tests/test_the_grammar_words_mean_one_thing.py
tests/test_the_installed_library_is_inside_a_bundled_range.py
tests/test_the_library_extras_state_their_supported_floors.py
tests/test_the_missing_values_audit_cases.py
tests/test_the_probe_standing_in_for_derive_judges_the_mathematics.py
tests/test_the_projects_own_packages_are_read_on_every_python.py
tests/test_the_proof_is_over_the_reals.py
tests/test_the_record_spells_the_sentinels.py
tests/test_the_record_states_what_the_code_did.py
tests/test_the_result_dimensions_row_reads_the_claim_binding.py
tests/test_the_running_claim_words_are_computed_by_mathema.py
tests/test_the_sentinel_never_reaches_the_function.py
tests/test_the_sketch_names_the_fixed_length.py
tests/test_the_sketch_points_at_the_smt_extra.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_unset_is_a_key_left_out.py
tests/test_value_comparison.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_adjudicates_each_kind_of_bundled_row.py
tests/test_verify_claims_file.py
tests/test_verify_names_the_bundled_rows_a_project_replaces.py
tests/test_verify_orders_by_premises.py
tests/test_verify_record_is_stable.py
tests/test_verify_says_when_a_called_library_is_outside_every_file_range.py
tests/test_verify_sweep_reporting.py
tests/test_wall_clock.py
tests/test_wall_clock_off_the_main_thread.py
tests/test_witness_of_a_record_without_a_repr.py
tests/test_witnesses_show_invisible_differences.py