✅ 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
✅ D1-GADT.03
✅ 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
✅ D2-HIGHERFUNC.02
✅ D2-HIGHERFUNC.03
✅ D2-HIGHERFUNC.04
✅ D2-HIGHERFUNC.05
✅ D2-HIGHERFUNC.06
❌ D2-HIGHERFUNC.07
	AssertionError: Test failed: Expected '()' but got '(Number)'
✅ 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
✅ 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
✅ E2-STATES.04
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
	AssertionError: Test failed: Expected '((Error 1 BadType))' but got '((State  1 $_203674))'
❌ E2-STATES.08
	AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((State  "S" $_234286))'
✅ 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) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (()) (()) (()) (DocInfor...(3477)'
✅ 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-IMPORTS.12
✅ F1-IMPORTS.13
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-IMPORTS.18
✅ F1-IMPORTS.19
✅ F1-MODULEA.01
✅ F1-MODULEA.02
✅ G1-DOCS.01
✅ G1-DOCS.02
❌ 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 '()'
❌ G1-DOCS.04
	AssertionError: Test failed: Expected '((@doc-formal (@item NoSuchAtom) (@kind atom) (@type %Undefined%) (@desc "No documentation")))' but got '()'
❌ G1-DOCS.05
	AssertionError: Test failed: Expected '((@doc-formal (@item (some-func arg1 arg2)) (@kind atom) (@type ReturnType) (@desc "No documentation")))' but got '()'

✅ 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
✅ 01-LANG-INC.01
✅ 01-LANG-INC.02
✅ 02-CURRIED-PLUS.01
✅ 03-SORING-VIA-INSERT.01
✅ 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
✅ ARITY-TESTS.01
❌ ARITY-TESTS.02
	AssertionError: Test failed: Expected '(0)' but got '()'
✅ ARITY-TESTS.03
❌ ARITY-TESTS.04
	AssertionError: Test failed: Expected '(1 2)' but got '()'
✅ ARITY-TESTS.05
❌ ARITY-TESTS.06
	AssertionError: Test failed: Expected '(0 1)' but got '()'
✅ 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
✅ 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))'
❌ 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 $_116616) ("a" $_116598))'
❌ 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"))'
✅ 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
✅ 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
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.34
	AssertionError: Test failed: Expected '((Error (max-atom ()) "Empty expression"))' but got '()'
❌ 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 '()'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.36
❌ 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-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 '()'
✅ 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
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.45
	AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ 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 $_40570))'
✅ 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-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 $_153340) $_153340))'
❌ 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 '("test")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.20
	AssertionError: Test failed: Expected '(("te st"))' but got '("te st")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.21
	AssertionError: Test failed: Expected '(("te\"st"))' but got '("te\"st")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.22
	AssertionError: Test failed: Expected '((""))' but got '("")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.23
	AssertionError: Test failed: Expected '(("te\nst"))' but got '("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-3.01
✅ 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 $_1362638) $_1362626)' but got '((f $_1357820))'
❌ INTERSECTION-TESTS.29
	AssertionError: Test failed: Expected '($_1404568 (f $_1404556))' but got '((f $_1399532))'
✅ INTERSECTION-TESTS.30
❌ INTERSECTION-TESTS.31
	AssertionError: Test failed: Expected '($_1480288 (f $_1480276))' but got '((f $_1475252))'
✅ INTERSECTION-TESTS.32
✅ IS-SPACE.01
✅ IS-SPACE.02
✅ IS-SPACE.03
✅ MATH-HYPHEN-FUNCTIONS.01
❌ MATH-HYPHEN-FUNCTIONS.02
	AssertionError: Test failed: Expected '((Error (pow-math 5 200000000000000) "power argument is too big, try using float value"))' but got '()'
❌ MATH-HYPHEN-FUNCTIONS.03
	AssertionError: Test failed: Expected '(38.2596979949377)' but got '(50.44686540422945)'
❌ 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 '()'
✅ MATH-HYPHEN-FUNCTIONS.05
✅ 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 $_1129300)))' but got '((quote input) (quote A) (quote input) (quote B))'
❌ MINIMAL-METTA-TESTS.32
	AssertionError: Test failed: Expected '((quote (bar $_1190996)))' 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
❌ MINIMAL-METTA-TESTS.49
	AssertionError: Test failed: Expected '(value)' but got '()'
✅ 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
✅ OR-TEST.16
✅ OR-TEST.17
✅ OR-TEST.18
✅ OR-TEST.19
❌ OR-TEST.20
	AssertionError: Test failed: Expected '(False True True True)' but got '(True True)'
✅ 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 '()'
✅ PY-TYPES-2.01
✅ PY-TYPES-2.02
✅ PY-TYPES.01
✅ PY-TYPES.02
✅ PY-TYPES.03
✅ PY-TYPES.04
❌ PY-TYPES.05
	AssertionError: Test failed: Expected '([1, 2, (3, 4)])' but got '([1, 2, ['py-tuple', [3, 4]]])'
✅ PY-TYPES.06
❌ 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
❌ 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
✅ SPACE-INTERSECTION-TESTS.01
✅ SPACE-INTERSECTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.01
✅ SPACE-SUBTRACTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.03
✅ 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
✅ 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))'
✅ WHAT-EVALS-OR-NOT.03
✅ WHAT-EVALS-OR-NOT.04
✅ WHAT-EVALS-OR-NOT.05
✅ WHAT-EVALS-OR-NOT.06
❌ WHAT-EVALS-OR-NOT.07
	AssertionError: Test failed: Expected '((quote y1_value))' but got '((quote x1_bind))'
❌ WHAT-EVALS-OR-NOT.08
	AssertionError: Test failed: Expected '((quote y1_value))' but got '((quote x1_bind))'
❌ WHAT-EVALS-OR-NOT.09
	AssertionError: Test failed: Expected '((quote z1_value_value))' but got '((quote y1_value))'
✅ XOR-TEST.01
✅ XOR-TEST.02
✅ XOR-TEST.03
✅ XOR-TEST.04
✅ XOR-TEST.05
✅ XOR-TEST.06
✅ XOR-TEST.07
✅ XOR-TEST.08
✅ XOR-TEST.09
✅ XOR-TEST.10
✅ XOR-TEST.11

✅ 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
✅ MINNARS.01
✅ MULTIFUNCTION.01
✅ NALIFIER.01
✅ 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
✅ 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) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (DocInformal) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (DocInformal) (()) (()) (()) (()) (()) (DocInfor...(3477)'
✅ F1-IMPORTS.02
✅ F1-MODULEA.03
❌ F1-IMPORTS.04
	AssertionError: Test failed: Expected '(True)' but got '()'
✅ F1-IMPORTS.05
✅ F1-MODULEA.06
✅ F1-IMPORTS.07
✅ F1-IMPORTS.08
✅ F1-IMPORTS.09
✅ F1-IMPORTS.10
✅ F1-IMPORTS.11
✅ F1-IMPORTS.12
✅ F1-IMPORTS.13
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ 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-LONG.01
	AssertionError: Test failed: Expected '((: abc (Implication (AndLink A B) C)) (: a A) (: a B) (: cde (Implication (OrLink C D) E)))' but got '((kb))'
❌ TIME-SYNTHESIZE-LONG.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 '((synthesize (predicate-arity $_592400 1) kb rb (S Z)))'
❌ TIME-SYNTHESIZE-LONG.03
	AssertionError: Test failed: Expected '((: a A) (: a B) (: abc (Implication (AndLink A B) C)) (: cde (Implication (OrLink C D) E)))' but got '((synthesize (predicate-arity $_662738 1) kb rb Z))'
❌ TIME-SYNTHESIZE.01
	AssertionError: Test failed: Expected '((: abc (Implication (AndLink A B) C)) (: a A) (: a B) (: cde (Implication (OrLink C D) E)))' but got '((kb))'
❌ TIME-SYNTHESIZE.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 '((synthesize (predicate-arity $_592404 1) kb rb (S Z)))'
❌ TIME-SYNTHESIZE.03
	AssertionError: Test failed: Expected '((: a A) (: a B) (: abc (Implication (AndLink A B) C)) (: cde (Implication (OrLink C D) E)))' but got '((synthesize (predicate-arity $_662730 1) kb rb Z))'
✅ 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
✅ 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
✅ hyperon-experimental_scripts.f1_moduleA
✅ hyperon-experimental_scripts.g1_docs
❌ hyperon-mettalog_sanity.00_lang_case
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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.arity_tests
✅ hyperon-mettalog_sanity.base_test_repr_parse_intersection
✅ hyperon-mettalog_sanity.call_cleanup_tests
✅ hyperon-mettalog_sanity.call_tests
✅ hyperon-mettalog_sanity.catch_throw_tests
❌ hyperon-mettalog_sanity.compile_tests
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.eval_for_tests
✅ hyperon-mettalog_sanity.find_all_tests
✅ 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.index_min_functions_extra_1
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.index_min_functions_extra_2
	AssertionError: Test failed: Expected '7' but got '143'
❌ 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.math_hyphen_functions
	AssertionError: Test failed: Expected '7' but got '137'
✅ hyperon-mettalog_sanity.max_time_tests
✅ hyperon-mettalog_sanity.metta_the_function
✅ hyperon-mettalog_sanity.minimal_metta_tests
✅ hyperon-mettalog_sanity.or_test
❌ hyperon-mettalog_sanity.output_load_tests
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.py_types_2
❌ hyperon-mettalog_sanity.py_types
	AssertionError: Test failed: Expected '7' but got '137'
✅ hyperon-mettalog_sanity.represent_and_parse_tests
✅ hyperon-mettalog_sanity.rust_tests
✅ hyperon-mettalog_sanity.sealed_test
✅ hyperon-mettalog_sanity.sequential_tests
❌ 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.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