Skip to content
CI Job to Generate JUnit Reports with Diff and Allure Reports

Modified history file error handling to prevent abrupt halts; replace… #138

Sign in to view logs

Modified history file error handling to prevent abrupt halts; replace…

Modified history file error handling to prevent abrupt halts; replace… #138

GitHub Actions / JUnit Results succeeded Feb 1, 2025 in 0s

907 passed, 254 failed and 0 skipped

Tests failed

❌ junit.xml

1161 tests were completed in 5608s with 907 passed, 254 failed and 0 skipped.

Test suite Passed Failed Skipped Time
HYPERON-EXPERIMENTAL-SCRIPTS 165✅ 38❌ 327s
HYPERON-METTALOG-SANITY 495✅ 181❌ 2673s
METTA-MORPH-TESTS 116✅ 10❌ 426s
MODULE-SYSTEM 6✅ 30s
SYNTH-BUFFER 10✅ 68s
WHOLE-TESTS 115✅ 25❌ 2085s

❌ HYPERON-EXPERIMENTAL-SCRIPTS

✅ 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
✅ 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 '(S)' but got 'strict_equals_allow_vn'
✅ 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 '((Cons S (Cons Z Nil)))' but got 'strict_equals_allow_vn'
✅ B5-TYPES-PRELIM.09
✅ B5-TYPES-PRELIM.10
❌ B5-TYPES-PRELIM.11
	AssertionError: Test failed: Expected '((eq Z S))' but got 'strict_equals_allow_vn'
✅ B5-TYPES-PRELIM.12
✅ B5-TYPES-PRELIM.13
❌ B5-TYPES-PRELIM.14
	AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
❌ B5-TYPES-PRELIM.15
	AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
✅ 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 '(T)' but got 'strict_equals_allow_vn'
✅ B5-TYPES-PRELIM.25
✅ B5-TYPES-PRELIM.26
✅ C1-GROUNDED-BASIC.01
✅ C1-GROUNDED-BASIC.02
✅ C1-GROUNDED-BASIC.03
✅ C1-GROUNDED-BASIC.04
✅ C1-GROUNDED-BASIC.05
✅ C1-GROUNDED-BASIC.06
✅ C1-GROUNDED-BASIC.07
✅ C1-GROUNDED-BASIC.08
✅ C1-GROUNDED-BASIC.09
✅ C1-GROUNDED-BASIC.10
✅ C1-GROUNDED-BASIC.11
✅ C1-GROUNDED-BASIC.12
✅ C1-GROUNDED-BASIC.13
❌ C1-GROUNDED-BASIC.14
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ C1-GROUNDED-BASIC.15
	AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
✅ C1-GROUNDED-BASIC.16
✅ C1-GROUNDED-BASIC.17
✅ C1-GROUNDED-BASIC.18
✅ C1-GROUNDED-BASIC.19
✅ C1-GROUNDED-BASIC.20
✅ C1-GROUNDED-BASIC.21
✅ C1-GROUNDED-BASIC.22
✅ C1-GROUNDED-BASIC.23
✅ 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
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D1-GADT.05
	AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
❌ D1-GADT.09
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D1-GADT.10
	AssertionError: Test failed: Expected '((EitherP $t) (EitherP $t)) {[put_attr(_t,peer_objects,[5-['Number']]),put_attr(_t,peer_interfaces,['Number']),put_attr(_t,cns,'&top'=[_13813944,_13813950,_13813956,_13813962,_13813968,_13813974,_13813980,_13813986,_13813992,_13813998,_13814004,_13814010,_13814016,_13814022,_13814028,_13814034,_13814040,_13814046,_13814052,_13814058,_13814064,_13814070,_13814076,_13814082,_13814088,_13814094,_13814100,_13814106,_13814112,_13814118,_13814124,_13814130,_13814136,_13814142,_13814148,_13814154,_13814160,_13814166,_13814172,_13814178,_13814184,_13814190,_13814196,_13814202,_13814208,_13814214,_1381...(19606)' but got 'strict_equals_allow_vn'
✅ 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 '(Number Number)' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.08
✅ D2-HIGHERFUNC.09
✅ D2-HIGHERFUNC.10
✅ D2-HIGHERFUNC.11
✅ D2-HIGHERFUNC.12
✅ D2-HIGHERFUNC.13
❌ D2-HIGHERFUNC.14
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.15
✅ D2-HIGHERFUNC.16
✅ D2-HIGHERFUNC.17
✅ D2-HIGHERFUNC.18
✅ D2-HIGHERFUNC.19
❌ D2-HIGHERFUNC.20
	AssertionError: Test failed: Expected '((Either Number) (Either Number))' but got 'strict_equals_allow_vn'
❌ D2-HIGHERFUNC.21
	AssertionError: Test failed: Expected '(($_640346 Number) ($_640358 Number))' but got 'strict_equals_allow_vn'
❌ D2-HIGHERFUNC.22
	AssertionError: Test failed: Expected '(($_680634 Number) ($_680646 Number))' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.23
✅ D2-HIGHERFUNC.24
✅ D2-HIGHERFUNC.25
❌ D3-DEPTYPES.01
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D3-DEPTYPES.02
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
❌ D4-TYPE-PROP.03
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
❌ D4-TYPE-PROP.06
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP.07
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP.08
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP-X2.01
✅ D4-TYPE-PROP-X2.02
❌ D4-TYPE-PROP-X2.03
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP-X2.04
✅ D4-TYPE-PROP-X2.05
❌ D4-TYPE-PROP-X2.06
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP-X2.07
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP-X2.08
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP-X2.09
✅ D4-TYPE-PROP-X2.10
✅ D4-TYPE-PROP-X2.11
✅ D4-TYPE-PROP-X2.12
❌ D5-AUTO-TYPES.01
	AssertionError: Test failed: Expected '(88)' but got 'strict_equals_allow_vn'
❌ D5-AUTO-TYPES.02
	AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
❌ D5-AUTO-TYPES.03
	AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
❌ D5-AUTO-TYPES.05
	AssertionError: Test failed: Expected '((88))' but got 'strict_equals_allow_vn'
✅ D5-AUTO-TYPES.06
✅ E1-KB-WRITE.01
✅ E1-KB-WRITE.02
✅ E2-STATES.01
✅ E2-STATES.02
❌ E2-STATES.03
	AssertionError: Test failed: Expected '((StateMonad $tnso) (StateMonad $tnso)) {[put_attr(_tnso,peer_objects,[2-['Number']]),put_attr(_tnso,peer_interfaces,['Number']),put_attr(_tnso,peer_objects,[2-['Number']]),put_attr(_tnso,peer_interfaces,['Number'])]}' but got 'strict_equals_allow_vn'
❌ E2-STATES.04
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
	AssertionError: Test failed: Expected '([State 1 $_268356])' but got 'strict_equals_allow_vn'
❌ E2-STATES.08
	AssertionError: Test failed: Expected '([State "S" $_287828])' but got 'strict_equals_allow_vn'
✅ 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 '(inactive)' but got 'strict_equals_allow_vn'
✅ E3-MATCH-STATES.04
❌ E3-MATCH-STATES.05
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ E3-MATCH-STATES.06
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ F1-IMPORTS.01
✅ 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.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

❌ HYPERON-METTALOG-SANITY

✅ 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.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
✅ 03-SORING-VIA-INSERT.02
✅ 03-SORING-VIA-INSERT.03
✅ 03-SORING-VIA-INSERT.04
✅ 06-MATCH-IN-SPACE.01
✅ 06-MATCH-IN-SPACE.02
✅ 06-MATCH-IN-SPACE.03
✅ 06-MATCH-IN-SPACE.04
✅ ALPHA-EQUALS-TESTS.01
✅ ALPHA-EQUALS-TESTS.02
✅ ALPHA-EQUALS-TESTS.03
✅ ALPHA-EQUALS-TESTS.04
✅ ALPHA-EQUALS-TESTS.05
✅ ALPHA-EQUALS-TESTS.06
✅ ALPHA-EQUALS-TESTS.07
✅ ALPHA-EQUALS-TESTS.08
✅ ALPHA-EQUALS-TESTS.09
✅ ALPHA-EQUALS-TESTS.10
✅ ALPHA-EQUALS-TESTS.11
✅ ALPHA-EQUALS-TESTS.12
✅ ALPHA-EQUALS-TESTS.13
✅ ALPHA-EQUALS-TESTS.14
✅ ALPHA-EQUALS-TESTS.15
✅ ALPHA-EQUALS-TESTS.16
✅ ALPHA-EQUALS-TESTS.17
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.01
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.02
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.03
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.04
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.05
❌ ARITY-TESTS.01
	AssertionError: Test failed: Expected '((predicate-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.02
	AssertionError: Test failed: Expected '((function-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.03
	AssertionError: Test failed: Expected '((predicate-arity bar))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.04
	AssertionError: Test failed: Expected '((function-arity bar))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.05
	AssertionError: Test failed: Expected '((predicate-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.06
	AssertionError: Test failed: Expected '((function-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.07
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.08
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.09
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.10
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.11
	AssertionError: Test failed: Expected '((max 5 10))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.12
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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 '(False)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.25
✅ AUTO-COERCE.26
✅ AUTO-COERCE.27
✅ AUTO-COERCE.28
✅ AUTO-COERCE.29
❌ AUTO-COERCE.30
	AssertionError: Test failed: Expected '((S Z))' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.31
✅ AUTO-COERCE.32
✅ AUTO-COERCE.33
❌ AUTO-COERCE.34
	AssertionError: Test failed: Expected '((S (S Z)))' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.35
❌ AUTO-COERCE.36
	AssertionError: Test failed: Expected '(Z)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.37
❌ AUTO-COERCE.38
	AssertionError: Test failed: Expected '(Z)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.39
✅ AUTO-COERCE.40
❌ AUTO-COERCE.41
	AssertionError: Test failed: Expected '(True)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.42
✅ AUTO-COERCE.43
❌ AUTO-COERCE.44
	AssertionError: Test failed: Expected '(True)' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.45
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.46
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.47
	AssertionError: Test failed: Expected '(Z)' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.48
	AssertionError: Test failed: Expected '((S Z))' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.49
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ BACKCHAINER-219.01
✅ BACKCHAINER-219.02
✅ 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-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
✅ COERCE-TESTS.01
✅ COERCE-TESTS.02
✅ COERCE-TESTS.03
✅ COERCE-TESTS.04
✅ COERCE-TESTS.05
✅ COERCE-TESTS.06
✅ COERCE-TESTS.07
✅ COERCE-TESTS.08
✅ COERCE-TESTS.09
✅ COERCE-TESTS.10
✅ COERCE-TESTS.11
✅ COERCE-TESTS.12
✅ COERCE-TESTS.13
✅ COERCE-TESTS.14
✅ COERCE-TESTS.15
✅ COERCE-TESTS.16
✅ COERCE-TESTS.17
✅ COERCE-TESTS.18
✅ COERCE-TESTS.19
✅ COERCE-TESTS.20
✅ COERCE-TESTS.21
✅ COERCE-TESTS.22
✅ COERCE-TESTS.23
✅ COMPILE-TESTS.01
✅ COMPILE-TESTS.02
❌ COMPILE-TESTS.03
	AssertionError: Test failed: Expected '((-> Number Number))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.01
	AssertionError: Test failed: Expected '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.02
	AssertionError: Test failed: Expected '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.03
	AssertionError: Test failed: Expected '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-SECOND-TEST-HE-659.01
	AssertionError: Test failed: Expected '((: (Rule (Cons (: CPU True (0⍃ 2)) (Cons (: 2 Prime) Nil))) (0⍃' 2)))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.01
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.02
✅ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.03
❌ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.04
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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
✅ DONT-MESS-WITH-COLONS-225.01
✅ 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
❌ EVAL-FOR-TESTS.01
	AssertionError: Test failed: Expected '(1 "a")' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.02
	AssertionError: Test failed: Expected '(1 "a")' but got 'strict_equals_allow_vn'
✅ EVAL-FOR-TESTS.03
❌ EVAL-FOR-TESTS.04
	AssertionError: Test failed: Expected '((1 $type) ("a" $type))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.05
	AssertionError: Test failed: Expected '(1 "a")' but got 'strict_equals_allow_vn'
✅ 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 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.13
	AssertionError: Test failed: Expected '((quote 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.14
	AssertionError: Test failed: Expected '((quote 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.15
	AssertionError: Test failed: Expected '((quote 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVALUATION-CACHING-HE-553.01
	AssertionError: Test failed: Expected '((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"))' but got 'strict_equals_allow_vn'
✅ 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
✅ FIRST-ANSWER.02
✅ 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 '(time_limit_exceeded)' but got 'strict_equals_allow_vn'
✅ FUNCTIONAL-PROGRAMMING-TESTS.07
❌ FUNCTIONAL-PROGRAMMING-TESTS.08
	AssertionError: Test failed: Expected '(time_limit_exceeded)' but got 'strict_equals_allow_vn'
✅ 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 '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.02
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.03
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.04
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.05
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.04
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.07
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.08
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.09
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.10
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.11
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.12
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.13
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.14
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.15
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.16
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.17
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.18
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.19
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.20
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.21
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.09
	AssertionError: Test failed: Expected '((-> Atom Atom ErrorType))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.10
	AssertionError: Test failed: Expected '(Grounded)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.11
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.12
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.13
	AssertionError: Test failed: Expected '("test" "test")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.14
	AssertionError: Test failed: Expected '("te st" "te st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.15
	AssertionError: Test failed: Expected '("te\"st" "te\"st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.16
	AssertionError: Test failed: Expected '("" "")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.17
	AssertionError: Test failed: Expected '("te\nst" "te\nst")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.18
	AssertionError: Test failed: Expected '(("te\nst" test))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.19
	AssertionError: Test failed: Expected '(bar FOO BAR BAZ)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.20
	AssertionError: Test failed: Expected '((let () result))' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.21
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.22
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.23
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.24
	AssertionError: Test failed: Expected '(bar bar FOO FOO A A bar bar FOO FOO A A)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.25
	AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.26
	AssertionError: Test failed: Expected '((@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")) (@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")) (@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")) (@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")) (@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")) (@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")) (@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@de...(113)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.01
	AssertionError: Test failed: Expected '(&stdlib)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.02
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.03
	AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.04
	AssertionError: Test failed: Expected '(3)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.05
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.06
	AssertionError: Test failed: Expected '(())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.09
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.10
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.11
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.12
	AssertionError: Test failed: Expected '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.13
	AssertionError: Test failed: Expected '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.14
	AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.15
	AssertionError: Test failed: Expected '(baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.16
	AssertionError: Test failed: Expected '((-> Atom Atom ErrorType))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.17
	AssertionError: Test failed: Expected '(Grounded)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.18
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.19
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.20
	AssertionError: Test failed: Expected '("test" "test")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.21
	AssertionError: Test failed: Expected '("te st" "te st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.22
	AssertionError: Test failed: Expected '("te\"st" "te\"st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.23
	AssertionError: Test failed: Expected '("" "")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.24
	AssertionError: Test failed: Expected '("te\nst" "te\nst")' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.25
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.26
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.27
	AssertionError: Test failed: Expected '(D D)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.28
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.34
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.35
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.36
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.37
	AssertionError: Test failed: Expected '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.38
	AssertionError: Test failed: Expected '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.39
	AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.40
	AssertionError: Test failed: Expected '(baz)' but got 'strict_equals_allow_vn'
✅ INHERIT-OR-NOT-TESTS.01
✅ 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
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INTERSECTION-TESTS.27
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INTERSECTION-TESTS.28
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INTERSECTION-TESTS.29
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INTERSECTION-TESTS.30
❌ INTERSECTION-TESTS.31
	AssertionError: Test failed: Expected '((f $y))' but got 'strict_equals_allow_vn'
✅ INTERSECTION-TESTS.32
✅ IS-SPACE.01
✅ IS-SPACE.02
✅ IS-SPACE.03
❌ LAMBDA-ABSTRACTION-BC-HE-556.01
	AssertionError: Test failed: Expected '((: S (-> (: $k Nat) Nat)))' but got 'strict_equals_allow_vn'
✅ 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
	AssertionError: Test failed: Expected '((get-state! [State 2 $_510620]))' but got 'strict_equals_allow_vn'
✅ LIMIT-TESTS.13
✅ LIMIT-TESTS.14
✅ LIMIT-TESTS.15
✅ LIMIT-TESTS.16
✅ LIMIT-TESTS.17
✅ LIMIT-TESTS.18
✅ MATH-HYPHEN-FUNCTIONS.01
✅ MAX-TIME-TESTS.01
✅ METHOD-SELECTION-TESTS.01
❌ METHOD-SELECTION-TESTS.02
	AssertionError: Test failed: Expected '(True (< Z (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.03
	AssertionError: Test failed: Expected '(False (< Z Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.04
	AssertionError: Test failed: Expected '(False (< (S Z) Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.05
	AssertionError: Test failed: Expected '(False (< Z Z) (< (S Z) (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.06
	AssertionError: Test failed: Expected '(True (< Z (S Z)) (< (S Z) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.07
	AssertionError: Test failed: Expected '(False (< Z Z) (< (S Z) (S Z)) (< (S (S Z)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.08
	AssertionError: Test failed: Expected '(False (< (S Z) Z) (< (S (S Z)) (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.09
	AssertionError: Test failed: Expected '(True (< Z (S (S Z))) (< (S Z) (S (S (S Z)))))' but got 'strict_equals_allow_vn'
✅ METHOD-SELECTION-TESTS.10
✅ METHOD-SELECTION-TESTS.11
✅ METHOD-SELECTION-TESTS.12
✅ METHOD-SELECTION-TESTS.13
✅ METHOD-SELECTION-TESTS.14
✅ METHOD-SELECTION-TESTS.15
❌ METHOD-SELECTION-TESTS.16
	AssertionError: Test failed: Expected '((< Z 0))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.17
	AssertionError: Test failed: Expected '(False (< 0 Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.18
	AssertionError: Test failed: Expected '((< Z 1))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.19
	AssertionError: Test failed: Expected '(False (< 1 Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.20
	AssertionError: Test failed: Expected '((< (S Z) 1))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.21
	AssertionError: Test failed: Expected '((< 1 (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.22
	AssertionError: Test failed: Expected '((< (S (S Z)) 3))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.23
	AssertionError: Test failed: Expected '((< 2 (S (S Z))))' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.01
✅ MINIMAL-METTA-TESTS.02
✅ MINIMAL-METTA-TESTS.03
✅ MINIMAL-METTA-TESTS.04
❌ MINIMAL-METTA-TESTS.05
	AssertionError: Test failed: Expected '((quote 1))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.06
	AssertionError: Test failed: Expected '((quote 1))' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.07
❌ MINIMAL-METTA-TESTS.08
	AssertionError: Test failed: Expected '(())' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.09
	AssertionError: Test failed: Expected '(1)' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.10
❌ MINIMAL-METTA-TESTS.11
	AssertionError: Test failed: Expected '(())' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.12
	AssertionError: Test failed: Expected '(1)' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.13
❌ MINIMAL-METTA-TESTS.14
	AssertionError: Test failed: Expected '((quote ()) (quote 1))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.19
	AssertionError: Test failed: Expected '((quote (input A)) (quote (input B)))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.20
	AssertionError: Test failed: Expected '((quote (input A)) (quote (input B)))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.22
	AssertionError: Test failed: Expected '((quote input) (quote A) (quote input) (quote B))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.23
	AssertionError: Test failed: Expected '((quote input) (quote A) (quote input) (quote B))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.31
	AssertionError: Test failed: Expected '((quote (n/2/0)) (quote (n/1/1)))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.32
	AssertionError: Test failed: Expected '((quote (n/2/0)) (quote (n/1/1)))' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.34
✅ MINIMAL-METTA-TESTS.35
✅ MINIMAL-METTA-TESTS.36
✅ MINIMAL-METTA-TESTS.37
❌ MINIMAL-METTA-TESTS.38
	AssertionError: Test failed: Expected '($a)' but got 'strict_equals_allow_vn'
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.01
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.02
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.03
✅ OLD-VOID-OR-EMPTY.01
✅ OLD-VOID-OR-EMPTY.02
✅ OLD-VOID-OR-EMPTY.03
✅ OLD-VOID-OR-EMPTY.04
✅ OLD-VOID-OR-EMPTY.05
❌ OLD-VOID-OR-EMPTY.06
	AssertionError: Test failed: Expected '((a (quote (a a))) (2 (quote ((+ 1 1) (+ 1 1)))))' but got 'strict_equals_allow_vn'
✅ OR-TEST.01
❌ OR-TEST.02
	AssertionError: Test failed: Expected '(True)' but got 'strict_equals_allow_vn'
✅ 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 '(True True)' but got 'strict_equals_allow_vn'
✅ 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 '(1 2 3 4 5 6)' but got 'strict_equals_allow_vn'
❌ OUTPUT-LOAD-TESTS.12
	AssertionError: Test failed: Expected '(1 2)' but got 'strict_equals_allow_vn'
✅ OUTPUT-LOAD-TESTS.13
✅ OUTPUT-LOAD-TESTS.14
❌ OUTPUT-LOAD-TESTS.15
	AssertionError: Test failed: Expected '(1 2 3 4 5 6)' but got 'strict_equals_allow_vn'
✅ OUTPUT-LOAD-TESTS.16
✅ OUTPUT-LOAD-TESTS.19
❌ OUTPUT-LOAD-TESTS.20
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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 '()' but got 'strict_equals_allow_vn'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.07
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.08
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.09
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.10
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ PY-TYPES-2.01
✅ PY-TYPES.01
✅ PY-TYPES.03
✅ PY-TYPES.04
❌ PY-TYPES.05
	AssertionError: Test failed: Expected '([1, 2, ['py-tuple', [3, 4]]])' but got 'strict_equals_allow_vn'
✅ PY-TYPES.06
✅ QUOTING-SCOPING-HE-579.01
✅ QUOTING-SCOPING-HE-579.02
❌ RECURSIVE-TUPLE-LIST-BENCHMARK-HE-394.01
	AssertionError: Test failed: Expected '((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"))' but got 'strict_equals_allow_vn'
✅ 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 'strict_equals_allow_vn'
❌ REPRESENT-AND-PARSE-TESTS.01
	AssertionError: Test failed: Expected '((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))' but got 'strict_equals_allow_vn'
✅ REPRESENT-AND-PARSE-TESTS.02
✅ RULE-MACROS.01
❌ RUST-TESTS.01
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ SEALED-TEST.01
✅ SEALED-TEST.02
✅ SEALED-TEST.03
✅ SEALED-TEST.04
✅ SEALED-TEST.05
✅ SEALED-TEST.06
✅ SEALED-TEST.07
❌ SEALED-TEST.08
	AssertionError: Test failed: Expected '((quote ((* (+ 40 $x) (/ 100 $y))))) {[put_attr(_x,cns,'&top'=['Number']),put_attr(_y,cns,'&top'=['Number'])]}' but got 'strict_equals_allow_vn'
❌ SEALED-TEST.09
	AssertionError: Test failed: Expected '((quote ((* (+ 40 $x) (/ 100 4))))) {[put_attr(_x,cns,'&top'=['Number'])]}' but got 'strict_equals_allow_vn'
❌ SEALED-TEST.10
	AssertionError: Test failed: Expected '((quote ((* (+ 40 $x) (/ 100 $y))))) {[put_attr(_x,cns,'&top'=['Number']),put_attr(_y,cns,'&top'=['Number'])]}' but got 'strict_equals_allow_vn'
✅ SEQUENTIAL-TESTS.01
✅ SEQUENTIAL-TESTS.02
✅ SINGLE-SIDED-MATCHING-HE-674.01
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SORTING-TESTS.03
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SPACE-INTERSECTION-TESTS.01
✅ SPACE-INTERSECTION-TESTS.02
✅ SPACE-INTERSECTION-TESTS.03
✅ SPACE-INTERSECTION-TESTS.04
❌ SPACE-INTERSECTION-TESTS.05
	AssertionError: Test failed: Expected '((foo (foo 1 2) 3) (foo 7 7) (foo (foo $r 2) 3))' but got 'strict_equals_allow_vn'
❌ SPACE-INTERSECTION-TESTS.06
	AssertionError: Test failed: Expected '((foo (foo 1 2) 3) (foo 7 7))' but got 'strict_equals_allow_vn'
❌ SPACE-INTERSECTION-TESTS.07
	AssertionError: Test failed: Expected '((foo 7 7) (foo (foo 1 2) 3))' but got 'strict_equals_allow_vn'
❌ SPACE-INTERSECTION-TESTS.08
	AssertionError: Test failed: Expected '((foo $a $b) (foo 3 $c))' but got 'strict_equals_allow_vn'
✅ SPACE-INTERSECTION-TESTS.09
❌ SPACE-INTERSECTION-TESTS.10
	AssertionError: Test failed: Expected '((foo $m $n))' but got 'strict_equals_allow_vn'
✅ SPACE-INTERSECTION-TESTS.11
✅ SPACE-INTERSECTION-TESTS.12
✅ SPACE-INTERSECTION-TESTS.13
❌ SPACE-INTERSECTION-TESTS.14
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ SPACE-INTERSECTION-TESTS.15
✅ SPACE-INTERSECTION-TESTS.16
✅ SPACE-INTERSECTION-TESTS.17
✅ SPACE-INTERSECTION-TESTS.18
✅ SPACE-SUBTRACTION-TESTS.01
✅ SPACE-SUBTRACTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.03
✅ SPACE-SUBTRACTION-TESTS.04
✅ SPACE-SUBTRACTION-TESTS.05
✅ SPACE-SUBTRACTION-TESTS.06
✅ SPACE-SUBTRACTION-TESTS.07
✅ SPACE-SUBTRACTION-TESTS.08
✅ SPACE-TESTS.01
✅ SPACE-TESTS.02
✅ SPACE-TESTS.03
✅ SPACE-TESTS.04
✅ SPACE-TESTS.05
✅ SPACE-TESTS.06
✅ SPACE-TESTS.07
✅ SPACE-TESTS.08
✅ SPACE-TESTS.09
✅ SPACE-TESTS.11
✅ SPACE-TESTS.13
✅ 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
✅ 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 '((wrong type))' but got 'strict_equals_allow_vn'
❌ TUPLE-TYPE-CHECKING-HE-669.02
	AssertionError: Test failed: Expected '((partially_defined %Undefined%))' but got 'strict_equals_allow_vn'
❌ TUPLE-TYPE-CHECKING-HE-669.03
	AssertionError: Test failed: Expected '(120)' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.01
❌ TYPE-CHECK-BASIC-TESTS.02
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.03
	AssertionError: Test failed: Expected '((foo "1"))' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.04
✅ TYPE-CHECK-BASIC-TESTS.05
❌ TYPE-CHECK-BASIC-TESTS.06
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.07
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.08
❌ TYPE-CHECK-BASIC-TESTS.09
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.10
❌ TYPE-CHECK-BASIC-TESTS.11
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.12
❌ TYPE-CHECK-BASIC-TESTS.13
	AssertionError: Test failed: Expected '(Object Object)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.14
	AssertionError: Test failed: Expected '($m $a) {[put_attr(_a,peer_objects,[[hammered,myHammer,myNail,[indirection,[painted,myPaint,myWall]]]-['Object','Object']]),put_attr(_a,peer_interfaces,['Object','Object']),put_attr(_m,peer_objects,[[hammered,myHammer,myNail,[indirection,[painted,myPaint,myWall]]]-['Object','Object']]),put_attr(_m,peer_interfaces,['Object','Object'])]}' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.15
	AssertionError: Test failed: Expected '($m $a) {[put_attr(_a,peer_objects,[[hammered,myHammer,myNail,[indirection,[painted,"notPaint",myWall]]]-['Object','Object']]),put_attr(_a,peer_interfaces,['Object','Object']),put_attr(_m,peer_objects,[[hammered,myHammer,myNail,[indirection,[painted,"notPaint",myWall]]]-['Object','Object']]),put_attr(_m,peer_interfaces,['Object','Object'])]}' but got 'strict_equals_allow_vn'
✅ TYPE-CHECKING-SYMBOL-HE-673.01
❌ TYPE-CHECKING-SYMBOL-HE-673.02
	AssertionError: Test failed: Expected '((This is an expression))' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.03
	AssertionError: Test failed: Expected '(Number)' but got 'strict_equals_allow_vn'
✅ TYPE-CHECKING-SYMBOL-HE-673.04
❌ TYPE-CHECKING-SYMBOL-HE-673.05
	AssertionError: Test failed: Expected '(%Undefined%)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.06
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.07
	AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.08
	AssertionError: Test failed: Expected '((This is an expression))' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.09
	AssertionError: Test failed: Expected '((%Undefined%))' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.10
	AssertionError: Test failed: Expected '(%Undefined%)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.11
	AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.12
	AssertionError: Test failed: Expected '(%Undefined%)' but got 'strict_equals_allow_vn'
✅ TYPE-FILTERING-TESTS.01
✅ UNIFY-TRUE-FALSE.01
✅ UNIFY-TRUE-FALSE.02
✅ UNIFY-TRUE-FALSE.03
✅ UNIFY-TRUE-FALSE.04
✅ UNIFY-TRUE-FALSE.05
✅ UNIFY-TRUE-FALSE.06
✅ UNIFY-TRUE-FALSE.07
✅ UNIFY-TRUE-FALSE.08
✅ UNIFY-TRUE-FALSE.09
✅ UNIFY-TRUE-FALSE.10
✅ UNIFY-TRUE-FALSE.11
✅ UNIFY-TRUE-FALSE.12
✅ UNIFY-TRUE-FALSE.13
✅ UNIFY-TRUE-FALSE.14
✅ UNIFY-TRUE-FALSE.15
✅ UNIFY-TRUE-FALSE.16
✅ UNIFY-TRUE-FALSE.17
✅ UNIFY-TRUE-FALSE.18
✅ UNIFY-TRUE-FALSE.19
✅ UNIFY-TRUE-FALSE.20
✅ UNIFY-TRUE-FALSE.21
✅ UNIFY-TRUE-FALSE.22
✅ UNIFY-TRUE-FALSE.23
✅ UNIFY-TRUE-FALSE.24
✅ UNIFY-TRUE-FALSE.25
✅ UNIFY-TRUE-FALSE.26
✅ UNIFY-TRUE-FALSE.27
✅ UNIFY-TRUE-FALSE.28
✅ UNIFY-TRUE-FALSE.29
✅ UNIFY-TRUE-FALSE.30
✅ UNIFY-TRUE-FALSE.31
✅ UNIFY-TRUE-FALSE.32
✅ UNIFY-TRUE-FALSE.33
✅ UNIFY-TRUE-FALSE.34
✅ UNIFY-TRUE-FALSE.35
✅ UNIFY-TRUE-FALSE.36
✅ UNIFY-TRUE-FALSE.37
✅ UNIFY-TRUE-FALSE.38
✅ UNIFY-TRUE-FALSE.39
❌ UNIFY-TRUE-FALSE.40
	AssertionError: Test failed: Expected '((quote (u (+ 1 2 3) (+ 1 2 3))))' but got 'strict_equals_allow_vn'
❌ UNIFY-TRUE-FALSE.41
	AssertionError: Test failed: Expected '((quote (u (+ 1 2 3) (+ 1 2 3))))' but got 'strict_equals_allow_vn'
✅ UNIFY-TRUE-FALSE.42
✅ 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
✅ WHAT-EVALS-OR-NOT.02
✅ WHAT-EVALS-OR-NOT.03
❌ WHAT-EVALS-OR-NOT.04
	AssertionError: Test failed: Expected '((quote (parse "x_string_tag")))' but got 'strict_equals_allow_vn'
✅ WHAT-EVALS-OR-NOT.05
✅ WHAT-EVALS-OR-NOT.06
❌ WHAT-EVALS-OR-NOT.07
	AssertionError: Test failed: Expected '((quote x1_bind))' but got 'strict_equals_allow_vn'
❌ WHAT-EVALS-OR-NOT.08
	AssertionError: Test failed: Expected '((quote x1_bind))' but got 'strict_equals_allow_vn'
❌ WHAT-EVALS-OR-NOT.09
	AssertionError: Test failed: Expected '((quote y1_value))' but got 'strict_equals_allow_vn'
✅ WHAT-EVALS-OR-NOT.10
✅ 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

❌ METTA-MORPH-TESTS

✅ ADD-ATOM-MATCH.01
✅ AND-OR.01
✅ BOOLEAN-TWICE.01
✅ BOOLEAN-TWICE.02
✅ BOOLEAN-TWICE.03
✅ BOOLEAN-TWICE.04
✅ BOOLEAN-TWICE.05
✅ BOOLEAN-TWICE.06
✅ BOOLEAN-TWICE.07
✅ BOOLEAN-TWICE.08
✅ BOOLEAN-TWICE.09
✅ BOOLEAN-TWICE.10
✅ BOOLEAN-TWICE.11
✅ BOOLEAN-TWICE.12
✅ BOOLEAN-TWICE.13
✅ BOOLEAN-TWICE.14
✅ BOOLEAN-TWICE.15
✅ BOOLEAN-TWICE.16
✅ BOOLEAN-TWICE.17
✅ 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-LIST2.01
✅ LET-SUPERPOSE-LIST.01
✅ LET-SUPERPOSE-LIST.02
✅ MATCH-EMPTY.01
✅ MATCH-EMPTY.02
❌ MATCH-EMPTY.03
	AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
❌ MATCH-EMPTY.04
	AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
✅ MATCH-EMPTY.05
✅ MATCH-EMPTY.06
✅ MATCH-EMPTY.07
✅ MATCH-EMPTY.08
❌ MATCH-EMPTY.09
	AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
✅ MATCH-EMPTY-OR-VAR.01
✅ MATCH-EMPTY-OR-VAR.02
✅ MATCH-EMPTY-OR-VAR.03
✅ MATCH-EMPTY-OR-VAR.04
✅ MATCH-EMPTY-OR-VAR.05
✅ MATCH-EMPTY-OR-VAR.06
✅ MATCH-EMPTY-OR-VAR.07
✅ MATCH-EMPTY-OR-VAR.08
✅ MATCH-EMPTY-OR-VAR.09
✅ MATCH-EMPTY-SAME.01
✅ MATCH-EMPTY-SAME.02
❌ MATCH-EMPTY-SAME.03
	AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
❌ MATCH-EMPTY-SAME.04
	AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
✅ MATCH-EMPTY-SAME.05
✅ MATCH-EMPTY-SAME.06
✅ MATCH-EMPTY-SAME.07
✅ MATCH-EMPTY-SAME.08
❌ MATCH-EMPTY-SAME.09
	AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
❌ MATCH-FEVAL.01
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ MATCH-SUPERPOSED-SPACES.01
✅ MATCH-SUPERPOSED-SPACES.02
✅ MATCH-SUPERPOSED-SPACES.03
✅ MATCH-VOID.01
✅ MATCH-VOID.02
❌ MATCH-VOID.03
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ MATCH-VOID.04
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ MATCH-VOID.05
✅ MATCH-VOID.06
✅ MATCH-VOID.07
✅ MATCH-VOID.08
❌ MATCH-VOID.09
	AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ MULTIFUNCTION.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
✅ STATES-SPACES.03
✅ 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

✅ MODULE-SYSTEM

✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ F1-MODULEA.01

✅ SYNTH-BUFFER

✅ SYNTHESIZE.01
✅ TIME-SYNTHESIZE-LONG.01
✅ TIME-SYNTHESIZE-LONG.02
✅ TIME-SYNTHESIZE-LONG.03
✅ TIME-SYNTHESIZE.01
✅ TIME-SYNTHESIZE.02
✅ TIME-SYNTHESIZE.03
✅ TIME-SYNTHESIZE-SHORT.01
✅ TIME-SYNTHESIZE-SHORT.02
✅ TIME-SYNTHESIZE-SHORT.03

❌ WHOLE-TESTS

✅ 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.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
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d2_higherfunc
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d3_deptypes
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d4_type_prop
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d4_type_prop_x2
	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
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.06_match_in_space
✅ hyperon-mettalog_sanity.alpha_equals_tests
✅ hyperon-mettalog_sanity.alpha_equivalence_assertions_he_744
✅ hyperon-mettalog_sanity.arity_tests_mw
✅ hyperon-mettalog_sanity.assert-p-equals
✅ hyperon-mettalog_sanity.auto_coerce_mw
✅ hyperon-mettalog_sanity.backchainer_219
✅ hyperon-mettalog_sanity.base_test_repr_parse_intersection
❌ hyperon-mettalog_sanity.call_cleanup_tests_mw
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.call_tests_mw
✅ hyperon-mettalog_sanity.car_atom_bug_he_621
✅ hyperon-mettalog_sanity.catch_throw_tests_mw
✅ hyperon-mettalog_sanity.coerce_tests
❌ hyperon-mettalog_sanity.compile_tests_mw
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.default_definitions
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	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
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.limit_tests
❌ hyperon-mettalog_sanity.math_hyphen_functions
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.max_time_tests
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.quoting_scoping_he_579
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.recursive_tuple_list_benchmark_he_394
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.sorting_tests_nats_mw
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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_check_basic_tests
✅ hyperon-mettalog_sanity.type_checking_symbol_he_673
❌ hyperon-mettalog_sanity.type_filtering_tests
	AssertionError: Test failed: Expected '7' but got '143'
✅ 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.add_atom_match
✅ metta-morph_tests.and_or
✅ metta-morph_tests.boolean_twice
✅ 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_empty_or_var
✅ metta-morph_tests.match_empty_same
✅ 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

Annotations

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.02 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(S)' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(S)' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.08 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '((Cons S (Cons Z Nil)))' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '((Cons S (Cons Z Nil)))' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.11 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '((eq Z S))' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '((eq Z S))' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.14 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.15 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.24 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.14 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.15 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► D1-GADT.04 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► D1-GADT.05 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► D1-GADT.09 

Failed test found in:
  junit.xml
Error:
  AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
Raw output 
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
View more details on GitHub Actions