✅ A1-SYMBOLS.01
✅ A1-SYMBOLS.02
✅ A1-SYMBOLS.03
✅ A1-SYMBOLS.04
✅ A1-SYMBOLS.05
✅ A1-SYMBOLS.06
✅ A1-SYMBOLS.07
✅ A2-OPENCOGGY.01
✅ A3-TWOSIDE.01
✅ A3-TWOSIDE.02
✅ A3-TWOSIDE.03
✅ A3-TWOSIDE.04
✅ B0-CHAINING-PRELIM.01
✅ B0-CHAINING-PRELIM.02
✅ B0-CHAINING-PRELIM.03
✅ B0-CHAINING-PRELIM.04
✅ B0-CHAINING-PRELIM.05
✅ B1-EQUAL-CHAIN.01
✅ B1-EQUAL-CHAIN.02
✅ B1-EQUAL-CHAIN.03
✅ B1-EQUAL-CHAIN.04
✅ B1-EQUAL-CHAIN.05
✅ B1-EQUAL-CHAIN.06
✅ B2-BACKCHAIN.01
✅ B2-BACKCHAIN.02
✅ B2-BACKCHAIN.03
✅ B2-BACKCHAIN.04
✅ B2-BACKCHAIN.05
✅ B3-DIRECT.01
✅ B3-DIRECT.02
✅ B3-DIRECT.03
✅ B4-NONDETERM.01
✅ B4-NONDETERM.02
✅ B4-NONDETERM.03
✅ B4-NONDETERM.04
✅ B4-NONDETERM.05
✅ B4-NONDETERM.06
✅ B4-NONDETERM.07
✅ B4-NONDETERM.08
✅ B4-NONDETERM.09
✅ B4-NONDETERM.10
✅ B4-NONDETERM.11
✅ B5-TYPES-PRELIM.01
❌ B5-TYPES-PRELIM.02
	AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
✅ B5-TYPES-PRELIM.03
✅ B5-TYPES-PRELIM.04
✅ B5-TYPES-PRELIM.05
✅ B5-TYPES-PRELIM.06
✅ B5-TYPES-PRELIM.07
❌ B5-TYPES-PRELIM.08
	AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
✅ B5-TYPES-PRELIM.09
✅ B5-TYPES-PRELIM.10
❌ B5-TYPES-PRELIM.11
	AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
✅ B5-TYPES-PRELIM.12
✅ B5-TYPES-PRELIM.13
❌ B5-TYPES-PRELIM.14
	AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
❌ B5-TYPES-PRELIM.15
	AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
✅ B5-TYPES-PRELIM.16
✅ B5-TYPES-PRELIM.17
✅ B5-TYPES-PRELIM.18
✅ B5-TYPES-PRELIM.19
✅ B5-TYPES-PRELIM.20
✅ B5-TYPES-PRELIM.21
✅ B5-TYPES-PRELIM.22
✅ B5-TYPES-PRELIM.23
❌ B5-TYPES-PRELIM.24
	AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
✅ B5-TYPES-PRELIM.25
✅ B5-TYPES-PRELIM.26
✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ C3-PLN-STV.01
✅ C3-PLN-STV.02
✅ C3-PLN-STV.03
✅ C3-PLN-STV.04
✅ C3-PLN-STV.05
✅ D1-GADT.01
❌ D1-GADT.02
	AssertionError: Test failed: Expected '(Number)' but got '(())'
❌ D1-GADT.03
	AssertionError: Test failed: Expected '((-> Number Number Number))' but got '(%Undefined%)'
✅ D1-GADT.04
✅ D1-GADT.05
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
✅ D1-GADT.09
✅ D1-GADT.10
✅ D1-GADT.11
✅ D1-GADT.12
✅ D1-GADT.13
✅ D1-GADT.14
❌ D2-HIGHERFUNC.01
	AssertionError: Test failed: Expected '((-> Number (-> Number Number)))' but got '(())'
❌ D2-HIGHERFUNC.02
	AssertionError: Test failed: Expected '((-> Number Number))' but got '(())'
✅ D2-HIGHERFUNC.03
✅ D2-HIGHERFUNC.04
❌ D2-HIGHERFUNC.05
	AssertionError: Test failed: Expected '((-> Number Number))' but got '(())'
❌ D2-HIGHERFUNC.06
	AssertionError: Test failed: Expected '(Number)' but got '(())'
✅ D2-HIGHERFUNC.07
✅ D2-HIGHERFUNC.08
✅ D2-HIGHERFUNC.09
✅ D2-HIGHERFUNC.10
✅ D2-HIGHERFUNC.11
✅ D2-HIGHERFUNC.12
✅ D2-HIGHERFUNC.13
✅ D2-HIGHERFUNC.14
✅ D2-HIGHERFUNC.15
✅ D2-HIGHERFUNC.16
❌ D2-HIGHERFUNC.17
	AssertionError: Test failed: Expected '((Either Number))' but got '(())'
✅ D2-HIGHERFUNC.18
✅ D2-HIGHERFUNC.19
✅ D2-HIGHERFUNC.20
✅ D2-HIGHERFUNC.21
✅ D2-HIGHERFUNC.22
✅ D2-HIGHERFUNC.23
✅ D2-HIGHERFUNC.24
✅ D2-HIGHERFUNC.25
✅ D2-HIGHERFUNC.26
✅ D2-HIGHERFUNC.27
✅ D3-DEPTYPES.01
✅ D3-DEPTYPES.02
✅ D3-DEPTYPES.03
✅ D3-DEPTYPES.04
✅ D3-DEPTYPES.05
✅ D3-DEPTYPES.06
✅ D3-DEPTYPES.07
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
✅ D4-TYPE-PROP.03
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
✅ D4-TYPE-PROP.06
✅ D4-TYPE-PROP.07
✅ D4-TYPE-PROP.08
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP.13
❌ D5-AUTO-TYPES.01
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'
❌ D5-AUTO-TYPES.02
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(False)'
❌ D5-AUTO-TYPES.03
	AssertionError: Test failed: Expected '((Error SamIsMortal BadType))' but got '(False)'
❌ D5-AUTO-TYPES.04
	AssertionError: Test failed: Expected '((Error (Human Socrates) BadType))' but got '((HumansAreMortal (Human Socrates)))'
❌ D5-AUTO-TYPES.05
	AssertionError: Test failed: Expected '(((Error "S" BadType)))' but got '((88))'
✅ D5-AUTO-TYPES.06
❌ D5-AUTO-TYPES.07
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((f 88))'
✅ E1-KB-WRITE.01
✅ E1-KB-WRITE.02
✅ E2-STATES.01
✅ E2-STATES.02
❌ E2-STATES.03
	AssertionError: Test failed: Expected '((StateMonad Number))' but got '(())'
❌ E2-STATES.04
	AssertionError: Test failed: Expected '((StateMonad String))' but got '(())'
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
	AssertionError: Test failed: Expected '((Error 1 BadType))' but got '(#(State 1 $10000))'
❌ E2-STATES.08
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(#(State "S" $10000))'
✅ E2-STATES.09
✅ E2-STATES.10
✅ E2-STATES.11
✅ E2-STATES.12
✅ E3-MATCH-STATES.01
✅ E3-MATCH-STATES.02
❌ E3-MATCH-STATES.03
	AssertionError: Test failed: Expected '(active)' but got '(inactive)'
✅ E3-MATCH-STATES.04
❌ E3-MATCH-STATES.05
	AssertionError: Test failed: Expected '(meditation)' but got '()'
❌ E3-MATCH-STATES.06
	AssertionError: Test failed: Expected '(lunch-order)' but got '()'
✅ F1-IMPORTS.01
❌ F1-IMPORTS.02
	AssertionError: Test failed: Expected '((hyperon::space::DynSpace))' but got '((hyperon::space::DynSpace) (hyperon::space::DynSpace) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) ...(285)'
✅ F1-IMPORTS.03
✅ F1-MODULEA.04
✅ F1-MODULEA.05
✅ F1-IMPORTS.06
✅ F1-MODULEA.07
✅ F1-MODULEA.08
✅ F1-IMPORTS.09
✅ F1-IMPORTS.10
❌ F1-IMPORTS.11
	AssertionError: Test failed: Expected '((: __g (-> Number)))' but got '(&m)'
✅ F1-MODULEA.01
✅ F1-MODULEA.02
❌ G1-DOCS.01
	AssertionError: Test failed: Expected '((@doc-formal (@item some-func) (@kind function) (@type (-> Arg1Type Arg2Type ReturnType)) (@desc "Test function") (@params ((@param (@type Arg1Type) (@desc "First argument")) (@param (@type Arg2Type) (@desc "Second argument")))) (@return (@type ReturnType) (@desc "Return value"))))' but got '((metta-get-doc some-func))'
❌ G1-DOCS.02
	AssertionError: Test failed: Expected '((@doc-formal (@item SomeSymbol) (@kind atom) (@type SomeType) (@desc "Test symbol atom having specific type")))' but got '((metta-get-doc SomeSymbol))'
❌ G1-DOCS.03
	AssertionError: Test failed: Expected '((@doc-formal (@item some-gnd-atom) (@kind function) (@type %Undefined%) (@desc "Test function") (@params ((@param (@type %Undefined%) (@desc "First argument")) (@param (@type %Undefined%) (@desc "Second argument")))) (@return (@type %Undefined%) (@desc "Return value"))))' but got '((metta-get-doc some-gnd-atom))'
❌ G1-DOCS.04
	AssertionError: Test failed: Expected '((@doc-formal (@item NoSuchAtom) (@kind atom) (@type %Undefined%) (@desc "No documentation")))' but got '((metta-get-doc NoSuchAtom))'
❌ G1-DOCS.05
	AssertionError: Test failed: Expected '((@doc-formal (@item (some-func arg1 arg2)) (@kind atom) (@type ReturnType) (@desc "No documentation")))' but got '((metta-get-doc (some-func arg1 arg2)))'

✅ 00-LANG-CASE.01
✅ 00-LANG-CASE.02
✅ 00-LANG-CASE.03
✅ 00-LANG-CASE.04
✅ 00-LANG-CASE.05
✅ 00-LANG-CASE.06
✅ 00-LANG-CASE.07
✅ 00-LANG-CASE.08
✅ 00-LANG-CASE.09
✅ 00-LANG-CASE.10
✅ 00-LANG-CASE.11
✅ 00-LANG-CASE.12
✅ 00-LANG-CASE.13
✅ 00-LANG-CASE.14
✅ 00-LANG-CASE.15
✅ 00-LANG-CASE.16
✅ 00-LANG-CASE.17
✅ 00-LANG-CASE.18
✅ 01-LANG-INC.01
✅ 01-LANG-INC.02
✅ 02-CURRIED-PLUS.01
❌ 03-SORING-VIA-INSERT.01
	AssertionError: Test failed: Expected '(())' but got '((-> $10000 (List $10000) (List $10000)))'
✅ 03-SORING-VIA-INSERT.02
✅ 03-SORING-VIA-INSERT.03
✅ 03-SORING-VIA-INSERT.04
✅ 03-SORING-VIA-INSERT.05
✅ 03-SORING-VIA-INSERT.06
✅ 06-MATCH-IN-SPACE.01
✅ 06-MATCH-IN-SPACE.02
✅ 06-MATCH-IN-SPACE.03
✅ 06-MATCH-IN-SPACE.04
✅ 06-MATCH-IN-SPACE.05
✅ 06-MATCH-IN-SPACE.06
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.01
❌ ARITY-TESTS.01
	AssertionError: Test failed: Expected '(1)' but got '()'
❌ ARITY-TESTS.02
	AssertionError: Test failed: Expected '(0)' but got '()'
❌ ARITY-TESTS.03
	AssertionError: Test failed: Expected '(2 3)' but got '()'
❌ ARITY-TESTS.04
	AssertionError: Test failed: Expected '(1 2)' but got '()'
❌ ARITY-TESTS.05
	AssertionError: Test failed: Expected '(1 2)' but got '()'
❌ ARITY-TESTS.06
	AssertionError: Test failed: Expected '(0 1)' but got '()'
❌ ARITY-TESTS.07
	AssertionError: Test failed: Expected '(3)' but got '()'
❌ ARITY-TESTS.08
	AssertionError: Test failed: Expected '(($10000 $10001 $10002 $10003))' but got '()'
❌ ARITY-TESTS.09
	AssertionError: Test failed: Expected '(10)' but got '()'
✅ AUTO-COERCE.01
✅ AUTO-COERCE.02
✅ AUTO-COERCE.03
✅ AUTO-COERCE.04
✅ AUTO-COERCE.05
✅ AUTO-COERCE.06
✅ AUTO-COERCE.07
✅ AUTO-COERCE.08
✅ AUTO-COERCE.09
✅ AUTO-COERCE.10
✅ AUTO-COERCE.11
✅ AUTO-COERCE.12
✅ AUTO-COERCE.13
✅ AUTO-COERCE.14
✅ AUTO-COERCE.15
✅ AUTO-COERCE.16
✅ AUTO-COERCE.17
✅ AUTO-COERCE.18
✅ AUTO-COERCE.19
✅ AUTO-COERCE.20
✅ AUTO-COERCE.21
✅ AUTO-COERCE.22
✅ AUTO-COERCE.23
❌ AUTO-COERCE.24
	AssertionError: Test failed: Expected '(True)' but got '(False)'
✅ AUTO-COERCE.25
✅ AUTO-COERCE.26
✅ AUTO-COERCE.27
✅ AUTO-COERCE.28
✅ AUTO-COERCE.29
✅ AUTO-COERCE.30
❌ AUTO-COERCE.31
	AssertionError: Test failed: Expected '((S (S Z)))' but got '(Z)'
✅ AUTO-COERCE.32
❌ AUTO-COERCE.33
	AssertionError: Test failed: Expected '((S Z))' but got '((S (S Z)))'
✅ AUTO-COERCE.34
✅ AUTO-COERCE.35
✅ AUTO-COERCE.36
❌ AUTO-COERCE.37
	AssertionError: Test failed: Expected '((S Z))' but got '(Z)'
❌ AUTO-COERCE.38
	AssertionError: Test failed: Expected '((S (S Z)))' but got '((S (S (S Z))))'
✅ AUTO-COERCE.39
✅ AUTO-COERCE.40
❌ AUTO-COERCE.41
	AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ AUTO-COERCE.42
✅ AUTO-COERCE.43
❌ AUTO-COERCE.44
	AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ AUTO-COERCE.45
❌ AUTO-COERCE.46
	AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ AUTO-COERCE.47
✅ AUTO-COERCE.48
✅ AUTO-COERCE.49
✅ BASE-TEST-REPR-PARSE-INTERSECTION.01
✅ BASE-TEST-REPR-PARSE-INTERSECTION.02
✅ BASE-TEST-REPR-PARSE-INTERSECTION.03
✅ BASE-TEST-REPR-PARSE-INTERSECTION.04
✅ CALL-CLEANUP-TESTS.01
✅ CALL-CLEANUP-TESTS.02
✅ CALL-CLEANUP-TESTS.03
❌ CALL-CLEANUP-TESTS.04
	AssertionError: Test failed: Expected '((time_limit_exceeded 1))' but got '((time_limit_exceeded 3))'
✅ CALL-CLEANUP-TESTS.05
❌ CALL-CLEANUP-TESTS.06
	AssertionError: Test failed: Expected '((time_limit_exceeded 1))' but got '((time_limit_exceeded 3))'
✅ CALL-CLEANUP-TESTS.07
✅ CALL-CLEANUP-TESTS.08
✅ CALL-CLEANUP-TESTS.09
✅ CALL-TESTS.01
✅ CALL-TESTS.02
✅ CALL-TESTS.03
✅ CALL-TESTS.04
✅ CALL-TESTS.05
✅ CALL-TESTS.06
✅ CALL-TESTS.07
✅ CALL-TESTS.08
✅ CALL-TESTS.09
✅ CALL-TESTS.10
✅ CALL-TESTS.11
✅ CALL-TESTS.12
✅ CALL-TESTS.13
✅ CAR-ATOM-BUG-HE-621.01
✅ CAR-ATOM-BUG-HE-621.02
✅ CAR-ATOM-BUG-HE-621.03
✅ CAR-ATOM-BUG-HE-621.04
✅ CATCH-THROW-TESTS.01
✅ CATCH-THROW-TESTS.02
✅ CATCH-THROW-TESTS.03
✅ CATCH-THROW-TESTS.04
✅ CATCH-THROW-TESTS.05
✅ CATCH-THROW-TESTS.06
✅ CATCH-THROW-TESTS.07
✅ CATCH-THROW-TESTS.08
✅ CATCH-THROW-TESTS.09
✅ CATCH-THROW-TESTS.10
✅ COMPILE-TESTS.01
✅ COMPILE-TESTS.02
❌ COMPILE-TESTS.03
	AssertionError: Test failed: Expected '(-> Number Number)' but got '((-> Number Number))'
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.01
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.02
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.03
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.04
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.05
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.06
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.07
✅ DUPLICATION-SEMANTICS-HE-798.01
✅ DUPLICATION-SEMANTICS-HE-798.02
✅ DUPLICATION-SEMANTICS-HE-798.03
✅ DUPLICATION-SEMANTICS-HE-798.04
✅ DUPLICATION-SEMANTICS-HE-798.05
✅ DUPLICATION-SEMANTICS-HE-798.06
✅ DUPLICATION-SEMANTICS-HE-798.07
✅ DUPLICATION-SEMANTICS-HE-798.08
✅ DUPLICATION-SEMANTICS-HE-798.09
✅ DUPLICATION-SEMANTICS-HE-798.10
✅ DUPLICATION-SEMANTICS-HE-798.11
✅ DUPLICATION-SEMANTICS-HE-798.12
✅ DUPLICATION-SEMANTICS-HE-798.13
✅ DUPLICATION-SEMANTICS-HE-798.14
✅ DUPLICATION-SEMANTICS-HE-798.15
✅ DUPLICATION-SEMANTICS-HE-798.16
✅ DUPLICATION-SEMANTICS-HE-798.17
❌ EVAL-FOR-TESTS.01
	AssertionError: Test failed: Expected '(1)' but got '(1 "a")'
❌ EVAL-FOR-TESTS.02
	AssertionError: Test failed: Expected '("a")' but got '(1 "a")'
✅ EVAL-FOR-TESTS.03
❌ EVAL-FOR-TESTS.04
	AssertionError: Test failed: Expected '((1 Number) ("a" String))' but got '((1 $10000) ("a" $10001))'
❌ EVAL-FOR-TESTS.05
	AssertionError: Test failed: Expected '(1)' but got '(1 "a")'
✅ EVAL-FOR-TESTS.06
✅ EVAL-FOR-TESTS.07
✅ EVAL-FOR-TESTS.08
✅ EVAL-FOR-TESTS.09
✅ EVAL-FOR-TESTS.10
✅ EVAL-FOR-TESTS.11
❌ EVAL-FOR-TESTS.12
	AssertionError: Test failed: Expected '((quote (foo)))' but got '((quote 1) (quote "a"))'
❌ EVAL-FOR-TESTS.13
	AssertionError: Test failed: Expected '((quote (foo)))' but got '((quote 1) (quote "a"))'
❌ EVAL-FOR-TESTS.14
	AssertionError: Test failed: Expected '()' but got '((quote 1) (quote "a"))'
❌ EVAL-FOR-TESTS.15
	AssertionError: Test failed: Expected '()' but got '((quote 1) (quote "a"))'
❌ EVALUATION-CACHING-HE-553.01
	AssertionError: Test failed: Expected '((extend-py! random_binding))' but got '((py-module random_binding "from hyperon.atoms import OperationAtom\nfrom hyperon.ext import register_atoms\nimport random\n\n@register_atoms\ndef my_atoms():\n    return {\n        'random': OperationAtom('random', random.random),\n    }\n"))'
✅ FIND-ALL-TESTS.01
✅ FIND-ALL-TESTS.02
✅ FIND-ALL-TESTS.03
✅ FIND-ALL-TESTS.04
✅ FIND-ALL-TESTS.05
✅ FIND-ALL-TESTS.06
✅ FIND-ALL-TESTS.07
❌ FIRST-ANSWER.01
	AssertionError: Test failed: Expected '((: a A))' but got '()'
❌ FIRST-ANSWER.02
	AssertionError: Test failed: Expected '((: a A) (: a B) (: abc (Implication (AndLink A B) C)) (: cde (Implication (OrLink C D) E)) (: (ConjunctionIntroduction a a) (AndLink A A)) (: (ConjunctionIntroduction a a) (AndLink A B)))' but got '()'
✅ FLIP-TEST.01
✅ FLIP-TEST.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.01
✅ FUNCTIONAL-PROGRAMMING-TESTS.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.03
✅ FUNCTIONAL-PROGRAMMING-TESTS.04
✅ FUNCTIONAL-PROGRAMMING-TESTS.05
❌ FUNCTIONAL-PROGRAMMING-TESTS.06
	AssertionError: Test failed: Expected '((False True False))' but got '(time_limit_exceeded)'
✅ FUNCTIONAL-PROGRAMMING-TESTS.07
❌ FUNCTIONAL-PROGRAMMING-TESTS.08
	AssertionError: Test failed: Expected '(((False True False) (True False True)))' but got '(time_limit_exceeded)'
✅ FUNCTIONAL-PROGRAMMING-TESTS.09
✅ HYPERPOSE-TESTS.01
✅ HYPERPOSE-TESTS.02
✅ HYPERPOSE-TESTS.03
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.01
	AssertionError: Test failed: Expected '(larry)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.02
	AssertionError: Test failed: Expected '(mike)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.03
	AssertionError: Test failed: Expected '(tiger)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.04
	AssertionError: Test failed: Expected '(tiger cat dog vulture parrot)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.05
	AssertionError: Test failed: Expected '(tiger vulture)' but got '()'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.01
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.02
	AssertionError: Test failed: Expected '((foo a))' but got '(a)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.03
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.04
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.09
	AssertionError: Test failed: Expected '(B C)' but got '(B)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.10
	AssertionError: Test failed: Expected '(B C)' but got '(B)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.11
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.12
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.13
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.14
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.19
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.20
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.31
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.32
	AssertionError: Test failed: Expected '((Error (min-atom 3 A B 5) "Only numbers are allowed in expression"))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.33
	AssertionError: Test failed: Expected '(5.5)' but got '((max-atom (5 4 5.5)))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.34
	AssertionError: Test failed: Expected '((Error (max-atom ()) "Empty expression"))' but got '((max-atom ()))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.35
	AssertionError: Test failed: Expected '((Error (max-atom 3 A B 5) "Only numbers are allowed in expression"))' but got '((max-atom (3 A B 5)))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.36
	AssertionError: Test failed: Expected '(3)' but got '((index-atom (5 4 3 2 1) 2))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.37
	AssertionError: Test failed: Expected '((Error (index-atom (A B C D E) 5) "Index is out of bounds"))' but got '((index-atom (A B C D E) 5))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.38
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.39
	AssertionError: Test failed: Expected '((Error (random-int 0 0) "Range is empty"))' but got '((random-int 0 0))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.40
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.41
	AssertionError: Test failed: Expected '((Error (random-float 0 -5) "Range is empty"))' but got '((random-float 0 -5))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.42
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.43
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.44
	AssertionError: Test failed: Expected '(True)' but got '((is-function (-> $10000)))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.45
	AssertionError: Test failed: Expected '(False)' but got '((is-function (A $10000)))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.46
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.47
	AssertionError: Test failed: Expected '((Error a "BadType"))' but got '(a)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.48
	AssertionError: Test failed: Expected '((a c))' but got '((a (Error (b) "Test error") $10000))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.49
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.50
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.51
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.52
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.53
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.54
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.56
	AssertionError: Test failed: Expected '((red yellow green))' but got '(red yellow green)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.57
	AssertionError: Test failed: Expected '(red green blue)' but got '((red green blue))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.58
	AssertionError: Test failed: Expected '((result))' but got '((let () result))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.59
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.60
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.61
	AssertionError: Test failed: Expected '((A))' but got '((unquote (quote (foo))))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.01
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.02
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.03
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.04
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.05
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.06
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.07
	AssertionError: Test failed: Expected '((True))' but got '((is Fritz frog))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.08
	AssertionError: Test failed: Expected '(())' but got '((is Tweety frog))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.09
	AssertionError: Test failed: Expected '((True))' but got '(True)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.10
	AssertionError: Test failed: Expected '(())' but got '((eq (S $10000) $10000))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.11
	AssertionError: Test failed: Expected '((a))' but got '(a)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.12
	AssertionError: Test failed: Expected '((Error myAtom "BadType"))' but got '(myAtom)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.13
	AssertionError: Test failed: Expected '((c))' but got '(c)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.14
	AssertionError: Test failed: Expected '((Error (foo a) "IncorrectNumberOfArguments"))' but got '((foo a))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.15
	AssertionError: Test failed: Expected '(((-> Atom Atom ErrorType)))' but got '((-> Atom Atom ErrorType))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.16
	AssertionError: Test failed: Expected '((Symbol))' but got '(Grounded)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.17
	AssertionError: Test failed: Expected '((ErrorType))' but got '(())'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.18
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.19
	AssertionError: Test failed: Expected '(("test"))' but got '((id "test"))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.20
	AssertionError: Test failed: Expected '(("te st"))' but got '((id "te st"))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.21
	AssertionError: Test failed: Expected '(("te\"st"))' but got '((id "te\"st"))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.22
	AssertionError: Test failed: Expected '((""))' but got '((id ""))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.23
	AssertionError: Test failed: Expected '(("te\nst"))' but got '((id "te\nst"))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.24
	AssertionError: Test failed: Expected '((("te\nst") test))' but got '(("te\nst" test))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.25
	AssertionError: Test failed: Expected '((FOO BAR BAZ))' but got '(bar FOO BAR BAZ)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.26
	AssertionError: Test failed: Expected '((result))' but got '((let () result))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.27
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.28
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.29
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.30
	AssertionError: Test failed: Expected '((A))' but got '((unquote (quote (foo))))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.31
	AssertionError: Test failed: Expected '((A))' but got '((unquote (quote (foo))))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.32
	AssertionError: Test failed: Expected '((@doc-formal (@item some-func) (@kind function) (@type (-> Arg1Type Arg2Type RetType)) (@desc "Test function") (@params ((@param "First argument") (@param "Second argument"))) (@return "Return value")))' but got '((metta-get-doc (some-func a b)))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.33
	AssertionError: Test failed: Expected '((@doc-formal (@item some-func-no-type) (@kind function) (@type %Undefined%) (@desc "Test function without type") (@params ((@param "First argument") (@param "Second argument"))) (@return "Return value")))' but got '((metta-get-doc some-func-no-type))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.34
	AssertionError: Test failed: Expected '(((-> Atom Atom ErrorType)))' but got '((-> Atom Atom ErrorType))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.35
	AssertionError: Test failed: Expected '((Symbol))' but got '(Grounded)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.36
	AssertionError: Test failed: Expected '((ErrorType))' but got '(())'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.37
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.38
	AssertionError: Test failed: Expected '(((A B) (AA B) (A BB) (AA BB) %Undefined%))' but got '(())'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.39
	AssertionError: Test failed: Expected '((a))' but got '(a (FOO a) (A a))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.40
	AssertionError: Test failed: Expected '((a (c $10000) $10001 $10002))' but got '((a (c $10000 $10001) $10002 $10003))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.41
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.42
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.43
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.44
	AssertionError: Test failed: Expected '((foo))' but got '(bar FOO A BAR baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.45
	AssertionError: Test failed: Expected '((baz))' but got '(bar)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.46
	AssertionError: Test failed: Expected '((baz))' but got '(FOO)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.47
	AssertionError: Test failed: Expected '((baz))' but got '(A)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.48
	AssertionError: Test failed: Expected '((baz))' but got '(BAR)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.49
	AssertionError: Test failed: Expected '((baz))' but got '(baz)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.01
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.02
	AssertionError: Test failed: Expected '((mod-space! stdlib))' but got '((mod-space! stdlib) (@doc Any (@desc "The universal type; any value belongs to this type.")) (: Any Type) (@doc Atom (@desc "Type representing any atom.")) (: Atom Type) (@doc LazyEvaluatable (@desc "A type of Atom/Value that hyperon does not implicitly evaluate")) (: LazyEvaluatable Type) (:> Atom LazyEvaluatable) (@doc Bool (@desc "Boolean type of True or False.")) (: Bool Type) (@doc LazyBool (@desc "A LazyEvaluatable that when evaluated returns True or False.")) (: LazyBool Type) (:> LazyBool LazyEvaluatable) (@doc Expression (@desc "Type representing an S-Expression, which is a combinati...(14325)'
✅ INHERIT-OR-NOT-TESTS.01
❌ INHERIT-OR-NOT-TESTS.02
	AssertionError: Test failed: Expected '((foo 1))' but got '()'
✅ INHERIT-OR-NOT-TESTS.03
✅ INHERIT-OR-NOT-TESTS.04
❌ INHERIT-OR-NOT-TESTS.05
	AssertionError: Test failed: Expected '((John Jess) (John Jane))' but got '((John Jane))'
❌ INHERIT-OR-NOT-TESTS.06
	AssertionError: Test failed: Expected '(2 3)' but got '(2)'
✅ INHERIT-OR-NOT-TESTS.07
✅ INHERIT-OR-NOT-TESTS.08
✅ INTERSECTION-TESTS.01
✅ INTERSECTION-TESTS.02
✅ INTERSECTION-TESTS.03
✅ INTERSECTION-TESTS.04
✅ INTERSECTION-TESTS.05
✅ INTERSECTION-TESTS.06
✅ INTERSECTION-TESTS.07
✅ INTERSECTION-TESTS.08
✅ INTERSECTION-TESTS.09
✅ INTERSECTION-TESTS.10
✅ INTERSECTION-TESTS.11
✅ INTERSECTION-TESTS.12
✅ INTERSECTION-TESTS.13
✅ INTERSECTION-TESTS.14
✅ INTERSECTION-TESTS.15
✅ INTERSECTION-TESTS.16
✅ INTERSECTION-TESTS.17
✅ INTERSECTION-TESTS.18
✅ INTERSECTION-TESTS.19
✅ INTERSECTION-TESTS.20
✅ INTERSECTION-TESTS.21
✅ INTERSECTION-TESTS.22
✅ INTERSECTION-TESTS.24
✅ INTERSECTION-TESTS.25
✅ INTERSECTION-TESTS.26
✅ INTERSECTION-TESTS.27
❌ INTERSECTION-TESTS.28
	AssertionError: Test failed: Expected '((f $10000) $10001)' but got '((f $10000))'
❌ INTERSECTION-TESTS.29
	AssertionError: Test failed: Expected '($10000 (f $10001))' but got '((f $10000))'
✅ INTERSECTION-TESTS.30
❌ INTERSECTION-TESTS.31
	AssertionError: Test failed: Expected '($10000 (f $10001))' but got '((f $10000))'
✅ INTERSECTION-TESTS.32
✅ IS-SPACE.01
✅ IS-SPACE.02
✅ IS-SPACE.03
✅ LAMBDA-ABSTRACTION-BC-HE-556.01
✅ LAMBDA-ABSTRACTION-BC-HE-556.02
✅ LAMBDA-ABSTRACTION-BC-HE-556.03
✅ LIMIT-TESTS.01
✅ LIMIT-TESTS.02
✅ LIMIT-TESTS.03
✅ LIMIT-TESTS.04
✅ LIMIT-TESTS.05
✅ LIMIT-TESTS.06
✅ LIMIT-TESTS.07
✅ LIMIT-TESTS.08
✅ LIMIT-TESTS.09
✅ LIMIT-TESTS.10
✅ LIMIT-TESTS.11
✅ LIMIT-TESTS.12
✅ LIMIT-TESTS.13
✅ LIMIT-TESTS.14
✅ LIMIT-TESTS.15
✅ LIMIT-TESTS.16
✅ LIMIT-TESTS.17
✅ LIMIT-TESTS.18
❌ MATH-HYPHEN-FUNCTIONS.01
	AssertionError: Test failed: Expected '(25)' but got '((pow-math 5 2))'
❌ MATH-HYPHEN-FUNCTIONS.02
	AssertionError: Test failed: Expected '((Error (pow-math 5 200000000000000) "power argument is too big, try using float value"))' but got '((pow-math 5 200000000000000))'
❌ MATH-HYPHEN-FUNCTIONS.03
	AssertionError: Test failed: Expected '(38.2596979949377)' but got '((pow-math 5.5 2.3))'
❌ MATH-HYPHEN-FUNCTIONS.04
	AssertionError: Test failed: Expected '((Error (pow-math A 2) "pow-math expects two arguments: number (base) and number (power)"))' but got '((pow-math A 2))'
❌ MATH-HYPHEN-FUNCTIONS.05
	AssertionError: Test failed: Expected '(2)' but got '((sqrt-math 4))'
❌ MATH-HYPHEN-FUNCTIONS.06
	AssertionError: Test failed: Expected '(True)' but got '((isnan-math (sqrt-math -4)))'
❌ MATH-HYPHEN-FUNCTIONS.07
	AssertionError: Test failed: Expected '((Error (sqrt-math A) "sqrt-math expects one argument: number"))' but got '((sqrt-math A))'
❌ MATH-HYPHEN-FUNCTIONS.08
	AssertionError: Test failed: Expected '(4)' but got '((abs-math 4))'
❌ MATH-HYPHEN-FUNCTIONS.09
	AssertionError: Test failed: Expected '(5)' but got '((abs-math -5))'
❌ MATH-HYPHEN-FUNCTIONS.10
	AssertionError: Test failed: Expected '((Error (abs-math A) "abs-math expects one argument: number"))' but got '((abs-math A))'
❌ MATH-HYPHEN-FUNCTIONS.11
	AssertionError: Test failed: Expected '(2)' but got '((log-math 2 4))'
❌ MATH-HYPHEN-FUNCTIONS.12
	AssertionError: Test failed: Expected '(True)' but got '((isnan-math (log-math 0 0)))'
❌ MATH-HYPHEN-FUNCTIONS.13
	AssertionError: Test failed: Expected '(True)' but got '((isinf-math (log-math 5 0)))'
❌ MATH-HYPHEN-FUNCTIONS.14
	AssertionError: Test failed: Expected '(2)' but got '((trunc-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.15
	AssertionError: Test failed: Expected '((Error (trunc-math A) "trunc-math expects one argument: input number"))' but got '((trunc-math A))'
❌ MATH-HYPHEN-FUNCTIONS.16
	AssertionError: Test failed: Expected '(3)' but got '((ceil-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.17
	AssertionError: Test failed: Expected '(-2)' but got '((ceil-math -2.4))'
❌ MATH-HYPHEN-FUNCTIONS.18
	AssertionError: Test failed: Expected '((Error (ceil-math A) "ceil-math expects one argument: input number"))' but got '((ceil-math A))'
❌ MATH-HYPHEN-FUNCTIONS.19
	AssertionError: Test failed: Expected '(2)' but got '((floor-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.20
	AssertionError: Test failed: Expected '(-3)' but got '((floor-math -2.4))'
❌ MATH-HYPHEN-FUNCTIONS.21
	AssertionError: Test failed: Expected '((Error (floor-math A) "floor-math expects one argument: input number"))' but got '((floor-math A))'
❌ MATH-HYPHEN-FUNCTIONS.22
	AssertionError: Test failed: Expected '(2)' but got '((round-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.23
	AssertionError: Test failed: Expected '(-3)' but got '((round-math -2.7))'
❌ MATH-HYPHEN-FUNCTIONS.24
	AssertionError: Test failed: Expected '((Error (round-math A) "round-math expects one argument: input number"))' but got '((round-math A))'
❌ MATH-HYPHEN-FUNCTIONS.25
	AssertionError: Test failed: Expected '(0)' but got '((sin-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.26
	AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (sin-math 1.570796327) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.27
	AssertionError: Test failed: Expected '((Error (sin-math A) "sin-math expects one argument: input number"))' but got '((sin-math A))'
❌ MATH-HYPHEN-FUNCTIONS.28
	AssertionError: Test failed: Expected '(0)' but got '((asin-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.29
	AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (asin-math (sin-math 1)) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.30
	AssertionError: Test failed: Expected '((Error (asin-math A) "asin-math expects one argument: input number"))' but got '((asin-math A))'
❌ MATH-HYPHEN-FUNCTIONS.31
	AssertionError: Test failed: Expected '(1)' but got '((cos-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.32
	AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (cos-math 1.570796327)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.33
	AssertionError: Test failed: Expected '((Error (cos-math A) "cos-math expects one argument: input number"))' but got '((cos-math A))'
❌ MATH-HYPHEN-FUNCTIONS.34
	AssertionError: Test failed: Expected '(0)' but got '((acos-math 1))'
❌ MATH-HYPHEN-FUNCTIONS.35
	AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (acos-math (cos-math 1)) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.36
	AssertionError: Test failed: Expected '((Error (acos-math A) "acos-math expects one argument: input number"))' but got '((acos-math A))'
❌ MATH-HYPHEN-FUNCTIONS.37
	AssertionError: Test failed: Expected '(0)' but got '((tan-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.38
	AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (tan-math 0.78539816339) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.39
	AssertionError: Test failed: Expected '((Error (tan-math A) "tan-math expects one argument: input number"))' but got '((tan-math A))'
❌ MATH-HYPHEN-FUNCTIONS.40
	AssertionError: Test failed: Expected '(0)' but got '((atan-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.41
	AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (atan-math (tan-math 1)) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.42
	AssertionError: Test failed: Expected '((Error (atan-math A) "atan-math expects one argument: input number"))' but got '((atan-math A))'
❌ MATH-HYPHEN-FUNCTIONS.43
	AssertionError: Test failed: Expected '(False)' but got '((isnan-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.44
	AssertionError: Test failed: Expected '(True)' but got '((isnan-math (log-math 0 0)))'
❌ MATH-HYPHEN-FUNCTIONS.45
	AssertionError: Test failed: Expected '((Error (isnan-math A) "isnan-math expects one argument: input number"))' but got '((isnan-math A))'
❌ MATH-HYPHEN-FUNCTIONS.46
	AssertionError: Test failed: Expected '(False)' but got '((isinf-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.47
	AssertionError: Test failed: Expected '(True)' but got '((isinf-math (log-math 5 0)))'
❌ MATH-HYPHEN-FUNCTIONS.48
	AssertionError: Test failed: Expected '((Error (isinf-math A) "isinf-math expects one argument: input number"))' but got '((isinf-math A))'
✅ MAX-TIME-TESTS.01
✅ MAX-TIME-TESTS.02
✅ MAX-TIME-TESTS.03
✅ MAX-TIME-TESTS.04
✅ MAX-TIME-TESTS.05
✅ METTA-THE-FUNCTION.01
✅ METTA-THE-FUNCTION.02
✅ METTA-THE-FUNCTION.03
✅ MINIMAL-METTA-TESTS.01
❌ MINIMAL-METTA-TESTS.02
	AssertionError: Test failed: Expected '(1)' but got '()'
✅ MINIMAL-METTA-TESTS.03
✅ MINIMAL-METTA-TESTS.04
❌ MINIMAL-METTA-TESTS.05
	AssertionError: Test failed: Expected '(1)' but got '()'
✅ MINIMAL-METTA-TESTS.06
❌ MINIMAL-METTA-TESTS.07
	AssertionError: Test failed: Expected '((quote 1) (quote ))' but got '((quote 1))'
❌ MINIMAL-METTA-TESTS.08
	AssertionError: Test failed: Expected '((quote (returns-empty)))' but got '((quote 1))'
✅ MINIMAL-METTA-TESTS.09
❌ MINIMAL-METTA-TESTS.10
	AssertionError: Test failed: Expected '(1 ())' but got '(())'
✅ MINIMAL-METTA-TESTS.11
✅ MINIMAL-METTA-TESTS.12
❌ MINIMAL-METTA-TESTS.13
	AssertionError: Test failed: Expected '(1 ())' but got '(())'
✅ MINIMAL-METTA-TESTS.14
✅ MINIMAL-METTA-TESTS.15
❌ MINIMAL-METTA-TESTS.16
	AssertionError: Test failed: Expected '((quote (returns-empty-expression)))' but got '((quote ()) (quote 1))'
❌ MINIMAL-METTA-TESTS.17
	AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(NotReducible 1)'
❌ MINIMAL-METTA-TESTS.18
	AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(NotReducible 1)'
❌ MINIMAL-METTA-TESTS.19
	AssertionError: Test failed: Expected '(1 (eval (returns-not-reducible)))' but got '(NotReducible)'
❌ MINIMAL-METTA-TESTS.20
	AssertionError: Test failed: Expected '(1 (eval (returns-not-reducible)))' but got '(1)'
❌ MINIMAL-METTA-TESTS.21
	AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(NotReducible)'
❌ MINIMAL-METTA-TESTS.22
	AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(1)'
✅ MINIMAL-METTA-TESTS.23
❌ MINIMAL-METTA-TESTS.24
	AssertionError: Test failed: Expected '((quote (returns-not-reducible)))' but got '((quote NotReducible) (quote 1))'
❌ MINIMAL-METTA-TESTS.31
	AssertionError: Test failed: Expected '((quote (foo $10000)))' but got '((quote input) (quote A) (quote input) (quote B))'
❌ MINIMAL-METTA-TESTS.32
	AssertionError: Test failed: Expected '((quote (bar $10000)))' but got '((quote input) (quote A) (quote input) (quote B))'
❌ MINIMAL-METTA-TESTS.33
	AssertionError: Test failed: Expected '((quote (input B)) (quote (input A)))' but got '((quote input) (quote A))'
✅ MINIMAL-METTA-TESTS.34
✅ MINIMAL-METTA-TESTS.35
✅ MINIMAL-METTA-TESTS.38
✅ MINIMAL-METTA-TESTS.39
❌ MINIMAL-METTA-TESTS.42
	AssertionError: Test failed: Expected '((quote (n/0/0)))' but got '((quote (n/2/0)) (quote (n/1/1)))'
❌ MINIMAL-METTA-TESTS.43
	AssertionError: Test failed: Expected '((quote (n/1/0)) (quote (n/1/1)))' but got '((quote (n/2/0)) (quote (n/1/1)))'
✅ MINIMAL-METTA-TESTS.44
❌ MINIMAL-METTA-TESTS.45
	AssertionError: Test failed: Expected '((a b))' but got '()'
✅ MINIMAL-METTA-TESTS.46
✅ MINIMAL-METTA-TESTS.47
✅ MINIMAL-METTA-TESTS.48
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.01
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.02
❌ NON-DETERMINISTIC-FUNCTIONS-HE-744.03
	AssertionError: Test failed: Expected '(d)' but got '(b d a d a b d)'
✅ OR-TEST.01
❌ OR-TEST.02
	AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ OR-TEST.03
✅ OR-TEST.04
✅ OR-TEST.05
✅ OR-TEST.06
✅ OR-TEST.07
✅ OR-TEST.08
✅ OR-TEST.09
✅ OR-TEST.10
✅ OR-TEST.11
✅ OR-TEST.12
✅ OR-TEST.13
✅ OR-TEST.14
✅ OR-TEST.15
✅ OUTPUT-LOAD-TESTS.01
✅ OUTPUT-LOAD-TESTS.02
✅ OUTPUT-LOAD-TESTS.03
✅ OUTPUT-LOAD-TESTS.04
✅ OUTPUT-LOAD-TESTS.05
✅ OUTPUT-LOAD-TESTS.06
✅ OUTPUT-LOAD-TESTS.07
✅ OUTPUT-LOAD-TESTS.08
✅ OUTPUT-LOAD-TESTS.09
✅ OUTPUT-LOAD-TESTS.10
❌ OUTPUT-LOAD-TESTS.11
	AssertionError: Test failed: Expected '(3 4 5 6)' but got '(1 2 3 4 5 6)'
❌ OUTPUT-LOAD-TESTS.12
	AssertionError: Test failed: Expected '()' but got '(1 2)'
✅ OUTPUT-LOAD-TESTS.13
✅ OUTPUT-LOAD-TESTS.14
❌ OUTPUT-LOAD-TESTS.15
	AssertionError: Test failed: Expected '(1 2)' but got '(1 2 3 4 5 6)'
✅ OUTPUT-LOAD-TESTS.16
❌ OUTPUT-LOAD-TESTS.17
	AssertionError: Test failed: Expected '(2)' but got '()'
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.01
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.02
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.03
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.04
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.05
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.06
	AssertionError: Test failed: Expected '(Age Alice 20)' but got '()'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.07
	AssertionError: Test failed: Expected '(Age Bob 22)' but got '()'
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.08
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.09
	AssertionError: Test failed: Expected '(Friend Bob Alice)' but got '()'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.10
	AssertionError: Test failed: Expected '(GameRole Predator)' but got '()'
❌ PY-TYPES-2.01
	AssertionError: Test failed: Expected '([])' but got '((py-list ()))'
✅ PY-TYPES-2.02
❌ PY-TYPES.01
	AssertionError: Test failed: Expected '([])' but got '((py-list ()))'
✅ PY-TYPES.02
✅ PY-TYPES.03
❌ PY-TYPES.04
	AssertionError: Test failed: Expected '([1, 2, [4.5, 3]])' but got '((py-list (1 2 (4.5 3))))'
❌ PY-TYPES.05
	AssertionError: Test failed: Expected '([1, 2, (3, 4)])' but got '((py-list (1 2 (3, 4))))'
✅ PY-TYPES.06
✅ QUOTING-SCOPING-HE-579.01
✅ QUOTING-SCOPING-HE-579.02
❌ RECURSIVE-TUPLE-LIST-BENCHMARK-HE-394.01
	AssertionError: Test failed: Expected '((extend-py! benchmark))' but got '((py-module benchmark "import time\nfrom hyperon.atoms import OperationAtom\nfrom hyperon.ext import register_atoms\n\n@register_atoms\ndef my_atoms():\n    return {\n        'current_time': OperationAtom('current_time', lambda: time.time())\n    }\n"))'
✅ RECURSIVE-TUPLE-LIST-PERF-HE-394.01
✅ RECURSIVE-TUPLE-LIST-PERF-HE-394.02
❌ RECURSIVE-TUPLE-LIST-PERF-HE-394.03
	AssertionError: Test failed: Expected '(1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)' but got '((1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 ())))))))))))))))))))))))))))))))'
❌ REPRESENT-AND-PARSE-TESTS.01
	AssertionError: Test failed: Expected '(c d)' but got '((intersect a c) (intersect a d) (intersect a e) (intersect a f) (intersect b c) (intersect b d) (intersect b e) (intersect b f) (intersect c c) (intersect c d) (intersect c e) (intersect c f) (intersect d c) (intersect d d) (intersect d e) (intersect d f))'
✅ REPRESENT-AND-PARSE-TESTS.02
✅ RULE-MACROS.01
❌ RUST-TESTS.01
	AssertionError: Test failed: Expected '(3)' but got '(3)'
❌ RUST-TESTS.02
	AssertionError: Test failed: Expected '(3)' but got '(3)'
✅ RUST-TESTS.03
✅ RUST-TESTS.04
✅ RUST-TESTS.05
✅ RUST-TESTS.06
✅ RUST-TESTS.07
❌ RUST-TESTS.08
	AssertionError: Test failed: Expected '(2)' but got '(2)'
❌ RUST-TESTS.09
	AssertionError: Test failed: Expected '(2)' but got '(2)'
✅ RUST-TESTS.10
✅ SEALED-TEST.01
✅ SEALED-TEST.02
✅ SEALED-TEST.03
✅ SEALED-TEST.04
✅ SEALED-TEST.05
✅ SEALED-TEST.06
✅ SEALED-TEST.07
✅ SEALED-TEST.08
✅ SEALED-TEST.09
✅ SEALED-TEST.10
✅ SEQUENTIAL-TESTS.01
✅ SEQUENTIAL-TESTS.02
✅ SINGLE-SIDED-MATCHING-HE-674.01
❌ SINGLE-SIDED-MATCHING-HE-674.02
	AssertionError: Test failed: Expected '(InfiniteRecursion)' but got '((: $10000 $10001) (predicate-arity $10002 1) (predicate-arity (Sym (: $10003 $10004)) 1) (predicate-arity (Sym (predicate-arity $10005 1)) 1) (predicate-arity (Sym (predicate-arity $10006 1)) 1) (predicate-arity (Sym (predicate-arity $10007 1)) 1) (predicate-arity (Sym (predicate-arity (Sym (: $10008 $10009)) 1)) 1) (predicate-arity (Sym (predicate-arity (Sym (predicate-arity $10010 1)) 1)) 1) (predicate-arity (Sym (predicate-arity (Sym (predicate-arity $10011 1)) 1)) 1) (predicate-arity (Sym (predicate-arity (Sym (predicate-arity $10012 1)) 1)) 1) (predicate-arity (Sym (predicate-arity (Sym ...(35)'
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SORTING-TESTS.03
✅ SORTING-TESTS.04
✅ SORTING-TESTS.05
✅ SORTING-TESTS.06
✅ SORTING-TESTS.07
✅ SORTING-TESTS.08
✅ SORTING-TESTS.09
✅ SORTING-TESTS.10
✅ SORTING-TESTS.11
✅ SORTING-TESTS.12
✅ SORTING-TESTS.13
✅ SORTING-TESTS.14
✅ SORTING-TESTS.15
✅ SORTING-TESTS.16
✅ SORTING-TESTS.17
✅ SORTING-TESTS.18
✅ SORTING-TESTS.19
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SORTING-TESTS.03
✅ SORTING-TESTS.04
✅ SORTING-TESTS.05
✅ SORTING-TESTS.06
✅ SORTING-TESTS.07
✅ SORTING-TESTS.08
✅ SORTING-TESTS.09
✅ SORTING-TESTS.10
✅ SORTING-TESTS.11
✅ SORTING-TESTS.12
✅ SORTING-TESTS.13
✅ SPACE-INTERSECTION-TESTS.01
✅ SPACE-INTERSECTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.01
✅ SPACE-SUBTRACTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.03
✅ SPACE-SUBTRACTION-TESTS.04
✅ STRING-TESTS.01
✅ STRING-TESTS.02
✅ STRING-TESTS.03
✅ STRING-TESTS.04
✅ STRING-TESTS.05
✅ STRING-TESTS.06
✅ STRING-TESTS.07
✅ STRING-TESTS.08
✅ STRING-TESTS.09
✅ STRING-TESTS.10
✅ STRING-TESTS.11
✅ STRING-TESTS.12
✅ STRING-TESTS.13
✅ STRING-TESTS.14
✅ STRING-TESTS.15
✅ STRING-TESTS.16
✅ STRING-TESTS.17
✅ STRING-TESTS.18
✅ STRING-TESTS.19
✅ STRING-TESTS.20
✅ STRING-TESTS.21
✅ STRUCTURE-TESTS.01
✅ SUBTRACTION-TEST.01
✅ SUBTRACTION-TEST.02
✅ SUBTRACTION-TEST.03
✅ SUBTRACTION-TEST.04
✅ SUBTRACTION-TEST.05
✅ SUBTRACTION-TEST.06
✅ SUBTRACTION-TEST.07
✅ SUBTRACTION-TEST.08
✅ SUBTRACTION-TEST.09
✅ SUBTRACTION-TEST.10
❌ TUPLE-TYPE-CHECKING-HE-669.01
	AssertionError: Test failed: Expected '((Error (wrong type) BadType))' but got '((foo_fixed (wrong type)))'
❌ TUPLE-TYPE-CHECKING-HE-669.02
	AssertionError: Test failed: Expected '((Error (partially_defined %Undefined%) BadType))' but got '((partially_defined %Undefined%))'
❌ TUPLE-TYPE-CHECKING-HE-669.03
	AssertionError: Test failed: Expected '((120))' but got '(120)'
✅ TYPE-CHECKING-SYMBOL-HE-673.01
❌ TYPE-CHECKING-SYMBOL-HE-673.02
	AssertionError: Test failed: Expected '(Error (This is an expression) BadType)' but got '((This is an expression))'
❌ TYPE-CHECKING-SYMBOL-HE-673.03
	AssertionError: Test failed: Expected '(Error 100 BadType)' but got '(Number)'
✅ TYPE-CHECKING-SYMBOL-HE-673.04
❌ TYPE-CHECKING-SYMBOL-HE-673.05
	AssertionError: Test failed: Expected '(Error S BadType)' but got '(%Undefined%)'
❌ TYPE-CHECKING-SYMBOL-HE-673.06
	AssertionError: Test failed: Expected '(Error (an expression) BadType)' but got '(())'
❌ TYPE-CHECKING-SYMBOL-HE-673.07
	AssertionError: Test failed: Expected '(%Undefined%)' but got '(())'
❌ TYPE-CHECKING-SYMBOL-HE-673.08
	AssertionError: Test failed: Expected '(Error (This is an expression) BadType)' but got '((This is an expression))'
❌ TYPE-CHECKING-SYMBOL-HE-673.09
	AssertionError: Test failed: Expected '((Error (%Undefined%) BadType))' but got '((%Undefined%))'
❌ TYPE-CHECKING-SYMBOL-HE-673.10
	AssertionError: Test failed: Expected '((%Undefined%))' but got '(%Undefined%)'
❌ TYPE-CHECKING-SYMBOL-HE-673.11
	AssertionError: Test failed: Expected '((Error (typed $10000) BadType))' but got '(())'
❌ TYPE-CHECKING-SYMBOL-HE-673.12
	AssertionError: Test failed: Expected '((%Undefined%))' but got '(%Undefined%)'
✅ UNBOUNDED-FREE-VARIABLES-HE-787.01
✅ UNBOUNDED-FREE-VARIABLES-HE-787.02
✅ UNBOUNDED-FREE-VARIABLES-HE-787.03
✅ UNBOUNDED-FREE-VARIABLES-HE-787.04
✅ UNIQUE-TEST.01
✅ UNIQUE-TEST.02
✅ UNIQUE-TEST.03
✅ UNIQUE-TEST.04
✅ UNIQUE-TEST.05
✅ UNIQUE-TEST.06
✅ UNIQUE-TEST.07
✅ UNIQUE-TEST.08
✅ UNIQUE-TEST.09
✅ UNIQUE-TEST.10
✅ UNIQUE-TEST.11
✅ UNIQUE-TEST.12
✅ UNIQUE-TEST.13
✅ UNIQUE-TEST.14
❌ WHAT-EVALS-OR-NOT.01
	AssertionError: Test failed: Expected '((quote (parse "x_string_tag")))' but got '((quote x_string_tag))'
❌ WHAT-EVALS-OR-NOT.02
	AssertionError: Test failed: Expected '((quote (parse "x_string_tag")))' but got '((quote x_string_tag))'
✅ XOR-TEST.01
✅ XOR-TEST.02
✅ XOR-TEST.03
✅ XOR-TEST.04
✅ XOR-TEST.05
✅ XOR-TEST.06
✅ XOR-TEST.07

✅ ADD-ATOM-MATCH.01
✅ AND-OR.01
✅ COLLAPSE.01
✅ FACTORIAL.01
✅ FACTORIAL.02
✅ HYPERPOSE.01
✅ HYPERPOSE.02
✅ HYPERPOSE.03
✅ HYPERPOSE.04
✅ HYPERPOSE.05
✅ HYPERPOSE.06
✅ HYPERPOSE.07
✅ HYPERPOSE.08
✅ HYPERPOSE.09
✅ HYPERPOSE.10
✅ IDENTITY.01
✅ IF.01
✅ LETLET.01
✅ LET-SUPERPOSE-IF-CASE.01
✅ LET-SUPERPOSE-IF-CASE.02
✅ LET-SUPERPOSE-LIST.01
✅ LET-SUPERPOSE-LIST.02
✅ MATCH-FEVAL.01
✅ MATCH-SUPERPOSED-SPACES.01
✅ MATCH-SUPERPOSED-SPACES.02
❌ MATCH-SUPERPOSED-SPACES.03
	AssertionError: Test failed: Expected '(1)' but got '(1 (@doc Any (@desc "The universal type; any value belongs to this type.")) (: Any Type) (@doc Atom (@desc "Type representing any atom.")) (: Atom Type) (@doc LazyEvaluatable (@desc "A type of Atom/Value that hyperon does not implicitly evaluate")) (: LazyEvaluatable Type) (:> Atom LazyEvaluatable) (@doc Bool (@desc "Boolean type of True or False.")) (: Bool Type) (@doc LazyBool (@desc "A LazyEvaluatable that when evaluated returns True or False.")) (: LazyBool Type) (:> LazyBool LazyEvaluatable) (@doc Expression (@desc "Type representing an S-Expression, which is a combination of atoms.")) (:...(14307)'
❌ MATCH-VOID.01
	AssertionError: Test failed: Expected '()' but got '((@doc Any (@desc "The universal type; any value belongs to this type.")) (: Any Type) (@doc Atom (@desc "Type representing any atom.")) (: Atom Type) (@doc LazyEvaluatable (@desc "A type of Atom/Value that hyperon does not implicitly evaluate")) (: LazyEvaluatable Type) (:> Atom LazyEvaluatable) (@doc Bool (@desc "Boolean type of True or False.")) (: Bool Type) (@doc LazyBool (@desc "A LazyEvaluatable that when evaluated returns True or False.")) (: LazyBool Type) (:> LazyBool LazyEvaluatable) (@doc Expression (@desc "Type representing an S-Expression, which is a combination of atoms.")) (: E...(14305)'
✅ MATCH-VOID.02
❌ MINNARS.01
	AssertionError: Test failed: Expected '(((1.0 0.37946790052053214) (2 1 3 4)))' but got '(())'
✅ MULTIFUNCTION.01
❌ NALIFIER.01
	AssertionError: Test failed: Expected '((((ExtSet sam) --> duck) (1.0 0.618320610687023)))' but got '((x (1.0 0.0)))'
✅ NESTED-PARAMETERS.01
✅ PEANO.01
✅ SEQUENTIAL-NESTED.01
✅ SEQUENTIAL-NESTED.02
✅ SEQUENTIAL-NESTED.03
✅ SEQUENTIAL-NESTED.04
✅ SEQUENTIAL-NESTED.05
✅ SEQUENTIAL-NESTED.06
✅ SEQUENTIAL-NESTED.07
✅ SEQUENTIAL-NESTED.08
✅ SEQUENTIAL-NESTED.09
✅ SEQUENTIAL-NESTED.10
✅ SEQUENTIAL-NESTED.11
✅ SEQUENTIAL-NESTED.12
✅ STATES-SPACES.01
✅ STATES-SPACES.02
❌ STATES-SPACES.03
	AssertionError: Test failed: Expected '(a)' but got '(a (@doc Any (@desc "The universal type; any value belongs to this type.")) (: Any Type) (@doc Atom (@desc "Type representing any atom.")) (: Atom Type) (@doc LazyEvaluatable (@desc "A type of Atom/Value that hyperon does not implicitly evaluate")) (: LazyEvaluatable Type) (:> Atom LazyEvaluatable) (@doc Bool (@desc "Boolean type of True or False.")) (: Bool Type) (@doc LazyBool (@desc "A LazyEvaluatable that when evaluated returns True or False.")) (: LazyBool Type) (:> LazyBool LazyEvaluatable) (@doc Expression (@desc "Type representing an S-Expression, which is a combination of atoms.")) (:...(14307)'
✅ STATES-SPACES.04
✅ STATES-SPACES.05
✅ STATES-SPACES.06
✅ SUPERCOLLAPSE.01
✅ SUPERCOLLAPSE.02
✅ SUPERCOLLAPSE.03
✅ SUPERCOLLAPSE.04
✅ SUPERCOLLAPSE.05
✅ SUPERCOLLAPSE.06
✅ SUPERCOLLAPSE.07
✅ SUPERCOLLAPSE.08
✅ SUPERPOSE-NESTED.01
✅ SUPERPOSE-NESTED.02
✅ SUPERPOSE-NESTED.03
✅ SUPERPOSE-NESTED.04
✅ TESTS0.01
✅ TESTS0.02
✅ TESTS0.03
✅ TESTS0.04
✅ TESTS0.05
✅ TESTS0.06
✅ TESTS0.07
✅ TYPES2.01
✅ TYPES2.02
✅ TYPES2.03
✅ TYPES2.04
✅ TYPES2.05
✅ TYPES3.01
✅ TYPES.01
✅ ZEROARGS.01
✅ ZEROARGS.02

❌ F1-IMPORTS.01
	AssertionError: Test failed: Expected '((hyperon::space::DynSpace) (hyperon::space::DynSpace))' but got '((hyperon::space::DynSpace) (hyperon::space::DynSpace) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) ...(285)'
✅ F1-IMPORTS.02
✅ F1-MODULEA.03
✅ F1-MODULEA.01

❌ SYNTHESIZE.01
	AssertionError: Test failed: Expected '((: a B) (: cde (Implication (OrLink C D) E)) (: abc (Implication (AndLink A B) C)) (: a A) (: (DisjunctionIntroduction a a) (OrLink B B)) (: (DisjunctionIntroduction a cde) (OrLink B (Implication (OrLink C D) E))) (: (DisjunctionIntroduction a abc) (OrLink B (Implication (AndLink A B) C))) (: (DisjunctionIntroduction a a) (OrLink B A)) (: (DisjunctionIntroduction cde a) (OrLink (Implication (OrLink C D) E) B)) (: (DisjunctionIntroduction cde cde) (OrLink (Implication (OrLink C D) E) (Implication (OrLink C D) E))) (: (DisjunctionIntroduction cde abc) (OrLink (Implication (OrLink C D) E) (Impli...(1956)' but got '()'
✅ TIME-SYNTHESIZE-SHORT.01
❌ TIME-SYNTHESIZE-SHORT.02
	AssertionError: Test failed: Expected '((: abc (Implication (AndLink A B) C)) (: cde (Implication (OrLink C D) E)) (: a A) (: a B) (: (ConjunctionIntroduction abc abc) (AndLink (Implication (AndLink A B) C) (Implication (AndLink A B) C))) (: (ConjunctionIntroduction abc cde) (AndLink (Implication (AndLink A B) C) (Implication (OrLink C D) E))) (: (ConjunctionIntroduction abc a) (AndLink (Implication (AndLink A B) C) A)) (: (ConjunctionIntroduction abc a) (AndLink (Implication (AndLink A B) C) B)) (: (ConjunctionIntroduction cde abc) (AndLink (Implication (OrLink C D) E) (Implication (AndLink A B) C))) (: (ConjunctionIntroduction cd...(1956)' but got '()'
❌ TIME-SYNTHESIZE-SHORT.03
	AssertionError: Test failed: Expected '((: a A) (: a B) (: abc (Implication (AndLink A B) C)) (: cde (Implication (OrLink C D) E)))' but got '()'

❌ module-system.f1_imports
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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.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
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-experimental_scripts.d5_auto_types
✅ hyperon-experimental_scripts.e1_kb_write
✅ hyperon-experimental_scripts.e2_states
✅ hyperon-experimental_scripts.e3_match_states
❌ hyperon-experimental_scripts.f1_imports
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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.catch_throw_tests_mw
❌ hyperon-mettalog_sanity.compile_tests_mw
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.delay_reduction_additional_tests_he_659
✅ hyperon-mettalog_sanity.differen_arities_are_fine_he_603
✅ hyperon-mettalog_sanity.duplication_semantics_he_798
✅ hyperon-mettalog_sanity.eval_for_tests_mw
❌ hyperon-mettalog_sanity.evaluation_caching_he_553
	AssertionError: Test failed: Expected '7' but got '139'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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.or_test
❌ hyperon-mettalog_sanity.output_load_tests
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.partitioning_atomspaces_and_performance_he_774
✅ hyperon-mettalog_sanity.py_types_2
❌ hyperon-mettalog_sanity.py_types
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.quoting_scoping_he_579
❌ hyperon-mettalog_sanity.recursive_tuple_list_benchmark_he_394
	AssertionError: Test failed: Expected '7' but got '139'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.sorting_tests
✅ hyperon-mettalog_sanity.sorting_tests_nats_mw
❌ hyperon-mettalog_sanity.space_intersection_tests
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.space_subtraction_tests
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.string-tests
✅ hyperon-mettalog_sanity.structure-tests
✅ hyperon-mettalog_sanity.subtraction_test
✅ synth_buffer.synthesize
❌ synth_buffer.time_synthesize_long
	AssertionError: Test failed: Expected '7' but got '137'
✅ synth_buffer.time_synthesize
✅ synth_buffer.time_synthesize_short
❌ hyperon-mettalog_sanity.tuple_type_checking_he_669
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.type_checking_symbol_he_673
✅ hyperon-mettalog_sanity.type_filtering_tests
❌ hyperon-mettalog_sanity.unbounded_free_variables_he_787
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.unique_test
✅ hyperon-mettalog_sanity.what_evals_or_not
✅ hyperon-mettalog_sanity.xor_test
✅ metta-morph_tests.add_atom_match
✅ 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_list
✅ metta-morph_tests.match_feval
❌ metta-morph_tests.match_superposed_spaces
	AssertionError: Test failed: Expected '7' but got '143'
❌ metta-morph_tests.match_void
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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