✅ module-system.c2_spaces
✅ module-system.f1_moduleA
✅ hyperon-experimental_scripts.a1_symbols
✅ hyperon-experimental_scripts.a2_opencoggy
✅ hyperon-experimental_scripts.a3_twoside
✅ hyperon-experimental_scripts.b0_chaining_prelim
✅ hyperon-experimental_scripts.b1_equal_chain
✅ hyperon-experimental_scripts.b2_backchain
✅ hyperon-experimental_scripts.b3_direct
✅ hyperon-experimental_scripts.b4_nondeterm
✅ hyperon-experimental_scripts.b5_types_prelim
✅ hyperon-experimental_scripts.c1_grounded_basic
✅ hyperon-experimental_scripts.c2_spaces
✅ hyperon-experimental_scripts.c3_pln_stv
✅ hyperon-experimental_scripts.d1_gadt
✅ hyperon-experimental_scripts.d2_higherfunc
✅ hyperon-experimental_scripts.d3_deptypes
✅ hyperon-experimental_scripts.d4_type_prop
✅ hyperon-experimental_scripts.d5_auto_types
✅ hyperon-experimental_scripts.e1_kb_write
✅ hyperon-experimental_scripts.e2_states
✅ hyperon-experimental_scripts.f1_imports
✅ hyperon-experimental_scripts.f1_moduleA
✅ hyperon-experimental_scripts.g1_docs
✅ hyperon-mettalog_sanity.00_lang_case
✅ hyperon-mettalog_sanity.01_lang_inc
✅ hyperon-mettalog_sanity.02-curried-plus
✅ hyperon-mettalog_sanity.03-soring-via-insert
✅ hyperon-mettalog_sanity.06_match_in_space
✅ hyperon-mettalog_sanity.alpha_equivalence_assertions_he_744
✅ hyperon-mettalog_sanity.arity_tests_mw
✅ hyperon-mettalog_sanity.auto_coerce_mw
✅ hyperon-mettalog_sanity.base_test_repr_parse_intersection
✅ hyperon-mettalog_sanity.call_cleanup_tests_mw
✅ hyperon-mettalog_sanity.call_tests_mw
✅ hyperon-mettalog_sanity.car_atom_bug_he_621
✅ hyperon-mettalog_sanity.coerce_tests
✅ hyperon-mettalog_sanity.compile_tests_mw
✅ hyperon-mettalog_sanity.delay_reduction_additional_tests_he_659
✅ hyperon-mettalog_sanity.delay_reduction_second_test_he_659
✅ hyperon-mettalog_sanity.delay_reduction_until_bindings_ready_he_659
✅ hyperon-mettalog_sanity.differen_arities_are_fine_he_603
✅ hyperon-mettalog_sanity.dont_mess_with_colons_225
✅ hyperon-mettalog_sanity.duplication_semantics_he_798
✅ hyperon-mettalog_sanity.eval_for_tests_mw
✅ hyperon-mettalog_sanity.evaluation_caching_he_553
✅ hyperon-mettalog_sanity.find_all_tests_mw
✅ hyperon-mettalog_sanity.first_answer_long
✅ hyperon-mettalog_sanity.first_answer
✅ hyperon-mettalog_sanity.flip_test
✅ hyperon-mettalog_sanity.functional_programming_tests
✅ hyperon-mettalog_sanity.hyperpose_tests
✅ hyperon-mettalog_sanity.idiomatic_negation_and_set_difference_he_805
✅ hyperon-mettalog_sanity.index_min_functions_extra_1
✅ hyperon-mettalog_sanity.index_min_functions_extra_2
✅ hyperon-mettalog_sanity.index_min_functions_extra_3
✅ hyperon-mettalog_sanity.inherit_or_not_tests
✅ hyperon-mettalog_sanity.intersection_tests
✅ hyperon-mettalog_sanity.is_space
✅ hyperon-mettalog_sanity.lambda_abstraction_bc_he_556
✅ hyperon-mettalog_sanity.limit_tests
✅ hyperon-mettalog_sanity.math_hyphen_functions
✅ hyperon-mettalog_sanity.max_time_tests
✅ hyperon-mettalog_sanity.method_selection_tests
✅ hyperon-mettalog_sanity.metta_the_function
✅ hyperon-mettalog_sanity.minimal_metta_tests
✅ hyperon-mettalog_sanity.non_deterministic_functions_he_744
✅ hyperon-mettalog_sanity.old_void_or_empty
✅ hyperon-mettalog_sanity.or_test
✅ hyperon-mettalog_sanity.output_load_tests
✅ hyperon-mettalog_sanity.partitioning_atomspaces_and_performance_he_774
✅ hyperon-mettalog_sanity.py_types_2
✅ hyperon-mettalog_sanity.py_types
✅ hyperon-mettalog_sanity.quoting_scoping_he_579
✅ hyperon-mettalog_sanity.recursive_tuple_list_benchmark_he_394
✅ hyperon-mettalog_sanity.recursive_tuple_list_perf_he_394
✅ hyperon-mettalog_sanity.represent_and_parse_tests
✅ hyperon-mettalog_sanity.rule_macros_mw
✅ hyperon-mettalog_sanity.rust_tests_mw
✅ hyperon-mettalog_sanity.sealed_test
✅ hyperon-mettalog_sanity.sequential_tests
✅ hyperon-mettalog_sanity.single_sided_matching_he_674
✅ hyperon-mettalog_sanity.sorting_tests
✅ hyperon-mettalog_sanity.sorting_tests_nats_mw
✅ hyperon-mettalog_sanity.space_intersection_tests
✅ hyperon-mettalog_sanity.space_subtraction_tests
✅ hyperon-mettalog_sanity.space_tests
✅ hyperon-mettalog_sanity.string-tests
✅ hyperon-mettalog_sanity.structure-tests
✅ hyperon-mettalog_sanity.subtraction_test
✅ synth_buffer.synthesize
✅ synth_buffer.time_synthesize_long
✅ synth_buffer.time_synthesize
✅ synth_buffer.time_synthesize_short
✅ hyperon-mettalog_sanity.tuple_type_checking_he_669
✅ hyperon-mettalog_sanity.type_check_basic_tests
✅ hyperon-mettalog_sanity.type_checking_symbol_he_673
✅ hyperon-mettalog_sanity.type_filtering_tests
✅ hyperon-mettalog_sanity.unbounded_free_variables_he_787
✅ hyperon-mettalog_sanity.unify_true_false
✅ hyperon-mettalog_sanity.unique_test
✅ hyperon-mettalog_sanity.what_evals_or_not
✅ hyperon-mettalog_sanity.xor_test
✅ metta-morph_tests.and_or
✅ metta-morph_tests.collapse
✅ metta-morph_tests.factorial
✅ metta-morph_tests.hyperpose
✅ metta-morph_tests.identity
✅ metta-morph_tests.if
✅ metta-morph_tests.letlet
✅ metta-morph_tests.let_superpose_if_case
✅ metta-morph_tests.let_superpose_list2
✅ metta-morph_tests.let_superpose_list
✅ metta-morph_tests.match_empty
✅ metta-morph_tests.match_feval
✅ metta-morph_tests.match_superposed_spaces
✅ metta-morph_tests.match_void
✅ metta-morph_tests.minnars
✅ metta-morph_tests.multifunction
✅ metta-morph_tests.nalifier
✅ metta-morph_tests.nested_parameters
✅ metta-morph_tests.peano
✅ metta-morph_tests.sequential_nested
✅ metta-morph_tests.states_spaces
✅ metta-morph_tests.supercollapse
✅ metta-morph_tests.superpose_nested
✅ metta-morph_tests.tests0
✅ metta-morph_tests.types2
✅ metta-morph_tests.types3
✅ metta-morph_tests.types
✅ metta-morph_tests.zeroargs