<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.01">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: rule1 (-> (nums $x $y) (rule1output $x $y))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.03">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: rule (-> (rule1output $x $y) (-> (â $x $y) (less $x $y)))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.04">Test Report</a> Assertion: (assertEqualToResult (bc (: CPU (â 2 3)) &kb Z)) Expected: ((: CPU (⍃ 2 3))) Actual: ((: CPU (â 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.05">Test Report</a> Assertion: (assertEqualToResult (bc (: CPU (â 4 3)) &kb Z)) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.06">Test Report</a> Assertion: (assertEqualToResult (bc (: $prf (less $x $y)) &kb (S (S (S Z))))) Expected: ((: ((rule (rule1 axiom)) CPU) (less 2 3))) Actual: ((: ((rule (rule1 axiom)) CPU) (less 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.01">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: rule1 (-> (nums $x $y) (rule1output $x $y))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.03">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: rule (-> (rule1output $x $y) (-> (â $x $y) (less $x $y)))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.04">Test Report</a> Assertion: (assertEqualToResult (bc (: CPU (â 2 3)) Z)) Expected: ((: CPU (⍃ 2 3))) Actual: ((: CPU (â 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.05">Test Report</a> Assertion: (assertEqualToResult (bc (: CPU (â 4 3)) Z)) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.06">Test Report</a> Assertion: (assertEqualToResult (bc (: $prf (less $x $y)) (S (S (S Z))))) Expected: ((: ((rule (rule1 axiom)) CPU) (less 2 3))) Actual: ((: ((rule (rule1 axiom)) CPU) (less 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.01">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: rule1 (-> (nums $x $y) (rule1output $x $y))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.03">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: rule (-> (rule1output $x $y) (-> (â $x $y) (less $x $y)))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.04">Test Report</a> Assertion: (assertEqualToResult (bc (: CPU (â 2 3)) Z)) Expected: ((: CPU (⍃ 2 3))) Actual: ((: CPU (â 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.05">Test Report</a> Assertion: (assertEqualToResult (bc (: CPU (â 4 3)) Z)) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.06">Test Report</a> Assertion: (assertEqualToResult (bc (: $prf (less $x $y)) (S (S (S Z))))) Expected: ((: ((rule (rule1 axiom)) CPU) (less 2 3))) Actual: ((: ((rule (rule1 axiom)) CPU) (less 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/comma_is_not_special.metta.html#ANTI-REGRESSION.COMMA-IS-NOT-SPECIAL.01">Test Report</a> Assertion: (assertEqualToResult (test-func2 world)) Expected: ((, hello world)) Actual: ((, hello world)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.07">Test Report</a> Assertion: (assertEqualToResult (match &kb2 $1 (add-atom &kb $1))) Expected: (() () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () ... Actual: (() () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () ... ]]>

AssertionError: Test failed: Expected '((let* ((($_5702 $_5720 $_5738) (abstract-patterns)) ($_5774 ($_5702 (VarIdx Z) (VarIdx (S Z)))) ($_...' but got '(() () () () ())'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.09">Test Report</a> Assertion: (assertEqualToResult (let* ((($link $a $b) (abstract-patterns)) ($aptrn ($link (VarIdx Z) (VarIdx (S Z)))) ($sptrn (specialize $link)) ($atom (: (sp_witness $sptrn) (specializationOf $sptrn $aptrn))))... Expected: ((let* ((($_5702 $_5720 $_5738) (abstract-patterns)) ($_5774 ($_5702 (VarIdx Z) (VarIdx (S Z)))) ($_... Actual: (() () () () ()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.10">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: minsupport (-> (supportOf $ptrn $cnt) (-> (ms_threshold $ms) (-> (â $ms $cnt) (minsup $ptrn))))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.11">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: apriori-rule (-> (minsup $aptrn) (-> (specializationOf $sptrn $aptrn) (supportOf $sptrn (countNat $sptrn))))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.12">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (: support-cnj (-> (minsup $ptrn1) (-> (minsup $ptrn2) (supportOf (, $ptrn1 $ptrn2) (countNat (, $ptrn1 $ptrn2)))))))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.07">Test Report</a> Assertion: (assertEqualToResult (let (: $prf $concl) (let* (($aptrn (Inheritance (VarIdx Z) (VarIdx (S Z)))) ($atom (: MP (minsup $aptrn))) ($depth (fromNumber 2))) (fc $atom $depth)) (: PROOFTrace $concl))) Expected: ((: PROOFTrace (minsup (Inheritance (VarIdx Z) (VarIdx (S Z))))) (: PROOFTrace (-> (specializationOf... Actual: ((: PROOFTrace (minsup (Inheritance (VarIdx Z) (VarIdx (S Z))))) (: PROOFTrace (-> (specializationOf... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.01">Test Report</a> Assertion: (assertEqualToResult (is-variable $x)) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.02">Test Report</a> Assertion: (assertEqualToResult (is-variable 1)) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.03">Test Report</a> Assertion: (assertEqualToResult (is-expression $x)) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.04">Test Report</a> Assertion: (assertEqualToResult (is-expression (â 4 3))) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.05">Test Report</a> Assertion: (assertEqualToResult (is-expression (â 4 $x))) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.06">Test Report</a> Assertion: (assertEqualToResult (is-expression 4)) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.07">Test Report</a> Assertion: (assertEqualToResult (is-closed $x)) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.08">Test Report</a> Assertion: (assertEqualToResult (is-closed 4)) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.09">Test Report</a> Assertion: (assertEqualToResult (is-closed (â $y 3))) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.10">Test Report</a> Assertion: (assertEqualToResult (is-closed (â 4 $x))) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.11">Test Report</a> Assertion: (assertEqualToResult (is-closed (â 4 3))) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/tmpMatch1.metta.html#ANTI-REGRESSION.TMPMATCH1.05">Test Report</a> Assertion: (assertEqualToResult (miner &db (ms) (depth))) Expected: (() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (Var... Actual: (() () () () () () () () () () () () () () () () (candidate (Inheritance B (VarIdx (S Z))) 1) (candi... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/anti-regression/tmpMatch2.metta.html#ANTI-REGRESSION.TMPMATCH2.05">Test Report</a> Assertion: (assertEqualToResult (miner &db (ms) (depth))) Expected: (() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (Var... Actual: (() () () () () () () () () () () () () () () () (candidate (Inheritance B (VarIdx (S Z))) 1) (candi... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.02">Test Report</a> Assertion: (assertEqualToResult (match &self ($who is a $what) ($who the $what))) Expected: ((Sam the frog) (Tom the cat) (Sophia the robot)) Actual: ((Sam the frog) (Tom the cat) (Sophia the robot)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.03">Test Report</a> Assertion: (assertEqualToResult (match &self (:= (Green $who) T) ($who is really green))) Expected: ((Sam is really green)) Actual: ((Sam is really green)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.04">Test Report</a> Assertion: (assertEqualToResult (match &self (:= ($color $who) T) ($who is really $color))) Expected: ((Sam is really Green) (Tom is really White)) Actual: ((Sam is really Green) (Tom is really White)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.05">Test Report</a> Assertion: (assertEqualToResult (match &self (:= ($color $who) $tv) ('It's' $tv that $who is $color))) Expected: (('It's' T that Sam is Green) ('It's' T that Tom is White) ('It's' F that Tom is Green)) Actual: (('It's' T that Sam is Green) ('It's' T that Tom is White) ('It's' F that Tom is Green)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a2_opencoggy.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A2-OPENCOGGY.01">Test Report</a> Assertion: (assertEqualToResult (match &self (EvaluationLink (PredicateNode "eats") (ListLink $x (ConceptNode "flies"))) $x)) Expected: ((ConceptNode "Sam") (ConceptNode "Fritz")) Actual: ((ConceptNode "Sam") (ConceptNode "Fritz")) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.01">Test Report</a> Assertion: (assertEqualToResult (match &self (implies (Frog Sam) $what) $what)) Expected: ((Green Sam) (Eats-flies Sam)) Actual: ((Green Sam) (Eats-flies Sam)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.02">Test Report</a> Assertion: (assertEqualToResult (match &self (implies ($P $x) (Green Sam)) ($x might be $P))) Expected: ((Sam might be Frog)) Actual: ((Sam might be Frog)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.03">Test Report</a> Assertion: (assertEqualToResult (match &self (, (Frog $x) (implies (Frog $x) $y)) $y)) Expected: ((Green Sam) (Eats-flies Sam)) Actual: ((Green Sam) (Eats-flies Sam)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.04">Test Report</a> Assertion: (assertEqualToResult (match &self (, (implies ($P $x) (Green $x)) (implies ($P $x) (Eats-flies $x))) (Then it is definitely $P))) Expected: ((Then it is definitely Frog)) Actual: ((Then it is definitely Frog)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.01">Test Report</a> Assertion: (assertEqualToResult (match &self (:= (S K K x) $r) $r)) Expected: ((K x (K x))) Actual: ((K x (K x))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.02">Test Report</a> Assertion: (assertEqualToResult (match &self (:= (K x (K x)) $r) $r)) Expected: (x) Actual: (x) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.03">Test Report</a> Assertion: (assertEqualToResult (match &self (:= (S K K x) $r) (match &self (:= $r $r2) $r2))) Expected: (x) Actual: (x) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.04">Test Report</a> Assertion: (assertEqualToResult (match &self (:= (Add (S Z) (S Z)) $r) $r)) Expected: ((Add (S (S Z)) Z)) Actual: ((Add (S (S Z)) Z)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.05">Test Report</a> Assertion: (assertEqualToResult (match &self (:= (Add (S Z) (S Z)) $r) (match &self (:= $r $r2) $r2))) Expected: ((S (S Z))) Actual: ((S (S Z))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.01">Test Report</a> Assertion: (assertEqual (S K K x)) Expected: (x) Actual: (x) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.02">Test Report</a> Assertion: (assertEqualToResult (expression without known equalities)) Expected: ((expression without known equalities)) Actual: ((expression without known equalities)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.03">Test Report</a> Assertion: (assertEqual (Add (S Z) (S Z))) Expected: ((S (S Z))) Actual: ((S (S Z))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.04">Test Report</a> Assertion: (assertEqual (Something? (Add (S Z) (S Z)))) Expected: ((Something? (S (S Z)))) Actual: ((Something? (S (S Z)))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.05">Test Report</a> Assertion: (assertEqual (eq (S K K x) x)) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.06">Test Report</a> Assertion: (assertEqualToResult (eq Green Blue)) Expected: ((eq Green Blue)) Actual: ((eq Green Blue)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.05">Test Report</a> Assertion: (assertEqual (explain (Evaluation (mortal Plato)))) Expected: (((mortal Plato) proven by ((human Plato) proven by (And (philosopher Plato) (likes-to-wrestle Plato... Actual: (((mortal Plato) proven by ((human Plato) proven by (And (philosopher Plato) (likes-to-wrestle Plato... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.01">Test Report</a> Assertion: (assertEqual (green Fritz)) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.02">Test Report</a> Assertion: (assertEqual (ift (green $x) $x)) Expected: (Fritz) Actual: (Fritz) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.03">Test Report</a> Assertion: (assertEqualToResult (match &self (= ($p Fritz) T) $p)) Expected: (croaks eat_flies) Actual: (croaks eat_flies) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.01">Test Report</a> Assertion: (assertEqual (match &self (= (color) $x) $x)) Expected: (red yellow green) Actual: (green yellow red) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.02">Test Report</a> Assertion: (assertEqual (collapse (match &self (= (shape) $x) $x))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.03">Test Report</a> Assertion: (assertEqual (color)) Expected: (red yellow green) Actual: (green yellow red) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.04">Test Report</a> Assertion: (assertEqual (color)) Expected: (green yellow red) Actual: (green yellow red) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.05">Test Report</a> Assertion: (assertEqual (collapse (shape))) Expected: (((shape))) Actual: (((shape))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.06">Test Report</a> Assertion: (assertEqualToResult (shape)) Expected: ((shape)) Actual: ((shape)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.07">Test Report</a> Assertion: (assertEqualToResult (pair (bin) (bin))) Expected: ((A A) (A B) (B A) (B B)) Actual: ((A A) (A B) (B A) (B B)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.08">Test Report</a> Assertion: (assertEqual (find-equal (color) (foo))) Expected: (red) Actual: (red) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.09">Test Report</a> Assertion: (assertEqualToResult (rev A (superpose (B C D)))) Expected: ((B A) (C A) (D A)) Actual: ((B A) (C A) (D A)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.10">Test Report</a> Assertion: (assertEqual (is (air dry))) Expected: ((stop ventilation) (start kettle) (start humidifier)) Actual: ((start humidifier) (start kettle) (stop ventilation)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.11">Test Report</a> Assertion: (assertEqual (is (air wet))) Expected: ((stop kettle) (stop humidifier) (start ventilation)) Actual: ((start ventilation) (stop humidifier) (stop kettle)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.01">Test Report</a> Assertion: (assertEqual (Add S Z)) Expected: (S) Actual: (S) ]]>

AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.02">Test Report</a> Assertion: (assertEqualToResult (Add S Z)) Expected: ((Error S BadType)) Actual: (S) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.03">Test Report</a> Assertion: (assertEqual (Add (S Z) Z)) Expected: ((S Z)) Actual: ((S Z)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.04">Test Report</a> Assertion: (assertEqual (Add Z (S Z))) Expected: ((S Z)) Actual: ((S Z)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.05">Test Report</a> Assertion: (assertEqual (Add Something Z)) Expected: (Something) Actual: (Something) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.06">Test Report</a> Assertion: (assertEqualToResult (Add Z Ten)) Expected: ((Add Z Ten)) Actual: ((Add Z Ten)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.07">Test Report</a> Assertion: (assertEqualToResult (Cons (S Z) (Cons Z Nil))) Expected: ((Cons (S Z) (Cons Z Nil))) Actual: ((Cons (S Z) (Cons Z Nil))) ]]>

AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.08">Test Report</a> Assertion: (assertEqualToResult (Cons S (Cons Z Nil))) Expected: ((Error (Cons Z Nil) BadType)) Actual: ((Cons S (Cons Z Nil))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.09">Test Report</a> Assertion: (assertEqual (eq (Add Z Z) Z)) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.10">Test Report</a> Assertion: (assertEqualToResult (eq Z (S Z))) Expected: ((eq Z (S Z))) Actual: ((eq Z (S Z))) ]]>

AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.11">Test Report</a> Assertion: (assertEqualToResult (eq Z S)) Expected: ((Error S BadType)) Actual: ((eq Z S)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.12">Test Report</a> Assertion: (assertEqual (of-same-type Color Shape)) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.13">Test Report</a> Assertion: (assertEqual (of-same-type Green Red)) Expected: (T) Actual: (T) ]]>

AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.14">Test Report</a> Assertion: (assertEqualToResult (of-same-type Green Color)) Expected: ((Error Color BadType)) Actual: (T) ]]>

AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.15">Test Report</a> Assertion: (assertEqualToResult (of-same-type Green Circle)) Expected: ((Error Circle BadType)) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.16">Test Report</a> Assertion: (assertEqual (Green $who)) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.17">Test Report</a> Assertion: (assertEqual (match &self (Green $who) $who)) Expected: (Sam) Actual: (Sam) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.18">Test Report</a> Assertion: (assertEqual (match &self (Green $who) (Green $who))) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.19">Test Report</a> Assertion: (assertEqual (let $r (Add (S Z) Z) (match &self (= (eq $r (S Z)) $tv) $tv))) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.20">Test Report</a> Assertion: (assertEqualToResult (match &self (= (eq (Add (S Z) Z) (S Z)) $tv) $tv)) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.21">Test Report</a> Assertion: (assertEqual (let (S (S $r)) (Add (S Z) (S Z)) $r)) Expected: (Z) Actual: (Z) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.22">Test Report</a> Assertion: (assertEqual (let* (($r1 (Add Z Z)) ($r2 (Add $r1 (S Z))) ($r3 (Add $r2 (S Z)))) (match &self (= (eq (S (S Z)) $r3) $tv) $tv))) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.23">Test Report</a> Assertion: (assertEqual (eqa (Add Z Z) (Add Z Z))) Expected: (T) Actual: (T) ]]>

AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.24">Test Report</a> Assertion: (assertEqualToResult (eqa Z (Add Z Z))) Expected: ((eqa Z (Add Z Z))) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.25">Test Report</a> Assertion: (assertEqual (eq Z (Add Z Z))) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.26">Test Report</a> Assertion: (assertEqual (let $z (Add Z Z) (eqa Z $z))) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.08">Test Report</a> Assertion: (assertEqualToResult (> 4 (+ $x 2))) Expected: ((> 4 (+ $_204844 2))) Actual: ((> 4 (+ $_225884 2))) ]]>

AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'

AssertionError: Test failed: Expected '((Error ln BadType))' but got '(False)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.23">Test Report</a> Assertion: (assertEqualToResult (let $t (gen 3) (if (== (subsum (:: 3 (:: 7 (:: 5 nil))) $t) 8) $t (superpose ())))) Expected: ((:: 1 (:: 0 (:: 1 nil)))) Actual: ((:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 0 (:: 1 nil)))... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.01">Test Report</a> Assertion: (assertEqualToResult (match &kb (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) Expected: ((Color of Planet Mars is Red)) Actual: ((Color of Planet Mars is Red)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.02">Test Report</a> Assertion: (assertEqualToResult (match &self ($p is-a Color) $p)) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.03">Test Report</a> Assertion: (assertEqual (match &kb (, (Venus orbit $x au) (Mars orbit $y au)) (- $y $x))) Expected: (0.8) Actual: (0.8) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.04">Test Report</a> Assertion: (assertEqualToResult (match &kb ($prop is-a Color) (match &self ($obj is $prop) $obj))) Expected: (Ball) Actual: (Ball) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.05">Test Report</a> Assertion: (assertEqualToResult (match &self (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) Expected: ((Color of Planet Mars is Red)) Actual: ((Color of Planet Mars is Red)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.01">Test Report</a> Assertion: (assertEqual (TV (And (PA) (PB)))) Expected: ((stv 0.3 0.8)) Actual: ((stv 0.3 0.8)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.02">Test Report</a> Assertion: (assertEqual (TV (FA))) Expected: ((stv 0.4 0.8)) Actual: ((stv 0.4 0.8) (stv 0.4 0.8) (stv 0.4 0.8) (stv 0.4 0.8)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.03">Test Report</a> Assertion: (assertEqual (TV (croaks Fritz))) Expected: ((stv 0.95 0.85)) Actual: ((stv 0.95 0.85)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.04">Test Report</a> Assertion: (assertEqual (TV (frog Fritz))) Expected: ((stv 0.783 0.68)) Actual: ((stv 0.783 0.68) (stv 0.783 0.68) (stv 0.783 0.68) (stv 0.783 0.68)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.05">Test Report</a> Assertion: (assertEqual (TV (green Fritz))) Expected: ((stv 0.7047 0.68)) Actual: ((stv 0.7047 0.68) (stv 0.7047 0.68) (stv 0.7047 0.68) (stv 0.7047 0.68) (stv 0.7047 0.68) (stv 0.70... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.01">Test Report</a> Assertion: (assertEqual (get-type 5)) Expected: (Number) Actual: (Number) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.02">Test Report</a> Assertion: (assertEqual (get-type (+ 5 7))) Expected: (Number) Actual: (Number) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.03">Test Report</a> Assertion: (assertEqual (get-type +)) Expected: ((-> Number Number Number)) Actual: ((-> Number Number Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.04">Test Report</a> Assertion: (assertEqualToResult (get-type (+ 5 "4"))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.05">Test Report</a> Assertion: (assertEqualToResult (get-type (+ -))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.06">Test Report</a> Assertion: (assertEqual (get-type Either)) Expected: (Type) Actual: (Type) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.07">Test Report</a> Assertion: (assertEqual (get-type (Left 5))) Expected: (Either) Actual: (Either) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.08">Test Report</a> Assertion: (assertEqual (get-type (isLeft (Right 5)))) Expected: (Bool) Actual: (Bool) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.09">Test Report</a> Assertion: (assertEqualToResult (get-type (isLeft 5))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.10">Test Report</a> Assertion: (assertEqual (get-type (LeftP 5))) Expected: ((EitherP Number)) Actual: ((EitherP Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.11">Test Report</a> Assertion: (assertEqual (get-type (pair (LeftP 5) "String"))) Expected: ((Pair (EitherP Number) String)) Actual: ((Pair (EitherP Number) String)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.12">Test Report</a> Assertion: (assertEqual (get-type (Cons 5 (Cons 6 Nil)))) Expected: ((List Number)) Actual: ((List Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.13">Test Report</a> Assertion: (assertEqualToResult (get-type (Cons 5 (Cons "6" Nil)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.14">Test Report</a> Assertion: (assertEqual (let (List $t) (get-type (Cons 5 (Cons 6 Nil))) $t)) Expected: (Number) Actual: (Number) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.01">Test Report</a> Assertion: (assertEqual (get-type (curry +))) Expected: ((-> Number (-> Number Number))) Actual: ((-> Number (-> Number Number))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.02">Test Report</a> Assertion: (assertEqual (get-type ((curry +) 2))) Expected: ((-> Number Number)) Actual: ((-> Number Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.03">Test Report</a> Assertion: (assertEqualToResult ((curry +) 2)) Expected: (((curry +) 2)) Actual: (((curry +) 2)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.04">Test Report</a> Assertion: (assertEqual (((curry +) 2) 3)) Expected: (5) Actual: (5) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.05">Test Report</a> Assertion: (assertEqual (get-type (curry-a + 2))) Expected: ((-> Number Number)) Actual: ((-> Number Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.06">Test Report</a> Assertion: (assertEqual (get-type ((curry-a + 2) 3))) Expected: (Number) Actual: (Number) ]]>

AssertionError: Test failed: Expected '()' but got '(Number)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.07">Test Report</a> Assertion: (assertEqualToResult (get-type ((curry-a + 2) "S"))) Expected: () Actual: (Number) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.08">Test Report</a> Assertion: (assertEqual ((curry-a + 2) 3)) Expected: (5) Actual: (5) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.09">Test Report</a> Assertion: (assertEqualToResult (is-socrates)) Expected: ((curry-a is Socrates)) Actual: ((curry-a is Socrates)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.10">Test Report</a> Assertion: (assertEqual ((curry-a is Socrates) Human)) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.11">Test Report</a> Assertion: (assertEqual ((is-socrates) Human)) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.12">Test Report</a> Assertion: (assertEqual ((lambda $x (+ $x 1)) 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.13">Test Report</a> Assertion: (assertEqual ((lambda ($x $y) (+ $x $y)) (2 7))) Expected: (9) Actual: (9) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.14">Test Report</a> Assertion: (assertEqual ((inc) 5)) Expected: (6) Actual: (6) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.15">Test Report</a> Assertion: (assertEqual (fmap (curry-a + 2) (Something 5))) Expected: ((Something 7)) Actual: ((Something 7)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.16">Test Report</a> Assertion: (assertEqual (fmap (curry-a + 2) (Nothing))) Expected: ((Nothing)) Actual: ((Nothing)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.17">Test Report</a> Assertion: (assertEqual (get-type (fmap (curry-a + 1) (Left 5)))) Expected: ((Either Number)) Actual: ((Either Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.18">Test Report</a> Assertion: (assertEqual (fmap (curry-a + 2) (UntypedC 5))) Expected: ((UntypedC 7)) Actual: ((UntypedC 7)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.19">Test Report</a> Assertion: (assertEqual (fmap (curry-a + 2) (UntypedC 5 (UntypedC 8 (Null))))) Expected: ((UntypedC 7 (UntypedC 10 (Null)))) Actual: ((UntypedC 7 (UntypedC 10 (Null)))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.20">Test Report</a> Assertion: (assertEqualToResult (get-type (fmap (curry-a + 2) (Left "5")))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.21">Test Report</a> Assertion: (assertEqualToResult (get-type (fmap (curry-a + 2) (UntypedC "5")))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.22">Test Report</a> Assertion: (assertEqualToResult (get-type (fmap (curry-a + 2) (UntypedC (Null) 5)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.23">Test Report</a> Assertion: (assertEqual (fmap-i (curry-a - 7) (Right 3))) Expected: ((Right 4)) Actual: ((Right 4)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.24">Test Report</a> Assertion: (assertEqual (fmap-i (curry-a * 2) (Cons 3 (Cons 4 Nil)))) Expected: ((Cons 6 (Cons 8 Nil))) Actual: ((Cons 6 (Cons 8 Nil))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.25">Test Report</a> Assertion: (assertEqualToResult (fmap-i (curry-a + 2) (Untyped 5))) Expected: ((fmap-i (curry-a + 2) (Untyped 5))) Actual: ((fmap-i (curry-a + 2) (Untyped 5))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.26">Test Report</a> Assertion: (assertEqual (insert 3 (insert 2 (insert 1 Nil)))) Expected: ((Cons 1 (Cons 2 (Cons 3 Nil)))) Actual: ((Cons 1 (Cons 2 (Cons 3 Nil)))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.27">Test Report</a> Assertion: (assertEqual (sort (Cons 3 (Cons 1 (Cons 2 Nil))))) Expected: ((Cons 1 (Cons 2 (Cons 3 Nil)))) Actual: ((Cons 1 (Cons 2 (Cons 3 Nil)))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.01">Test Report</a> Assertion: (assertEqual (get-type (Cons 0 (Cons 1 Nil)))) Expected: ((Vec Number (S (S Z)))) Actual: ((Vec Number (S (S Z)))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.02">Test Report</a> Assertion: (assertEqual (get-type (drop (Cons 1 Nil)))) Expected: ((Vec Number Z)) Actual: ((Vec Number Z)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.03">Test Report</a> Assertion: (assertEqual (drop (Cons 2 (Cons 1 Nil)))) Expected: ((Cons 1 Nil)) Actual: ((Cons 1 Nil)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.04">Test Report</a> Assertion: (assertEqualToResult (get-type (drop Nil))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.05">Test Report</a> Assertion: (assertEqual (get-type (ConsN "1" (ConsN "2" NilN)))) Expected: ((VecN String 2)) Actual: ((VecN String 2)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.06">Test Report</a> Assertion: (assertEqual (get-type (dropN (ConsN "1" NilN)))) Expected: ((VecN String 0)) Actual: ((VecN String 0)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.07">Test Report</a> Assertion: (assertEqualToResult (dropN NilN)) Expected: ((dropN NilN)) Actual: ((dropN NilN)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.02">Test Report</a> Assertion: (assertEqual (get-type (HumansAreMortal SocratesIsHuman))) Expected: ((Mortal Socrates)) Actual: ((Mortal Socrates)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.03">Test Report</a> Assertion: (assertEqualToResult (get-type (HumansAreMortal (Human Socrates)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.04">Test Report</a> Assertion: (assertEqualToResult ("sameTypes" (get-type SocratesIsMortal) (get-type (HumansAreMortal SocratesIsHuman)))) Expected: (("sameTypes" (Mortal Socrates) (Mortal Socrates))) Actual: (("sameTypes" (Mortal Socrates) (Mortal Socrates))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.05">Test Report</a> Assertion: (assertEqual (get-type (= SocratesIsMortal (HumansAreMortal SocratesIsHuman)))) Expected: (Type) Actual: (Type) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.06">Test Report</a> Assertion: (assertEqualToResult ("sameTypes" (get-type (Mortal Socrates)) (get-type (Mortal Plato)))) Expected: (("sameTypes" Type Type)) Actual: (("sameTypes" Type Type)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.07">Test Report</a> Assertion: (assertEqual (get-type (= (Mortal Socrates) (Mortal Plato)))) Expected: (Type) Actual: (Type) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.08">Test Report</a> Assertion: (assertEqualToResult ("!sameTypes" (get-type SocratesIsMortal) (get-type (HumansAreMortal PlatoIsHuman)))) Expected: (("!sameTypes" (Mortal Socrates) (Mortal Plato))) Actual: (("!sameTypes" (Mortal Socrates) (Mortal Plato))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.09">Test Report</a> Assertion: (assertEqualToResult (get-type (= SocratesIsMortal (HumansAreMortal PlatoIsHuman)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.10">Test Report</a> Assertion: (assertEqualToResult ("!sameTypes" (get-type SocratesIsHuman) ! (get-type PlatoIsHuman))) Expected: (("!sameTypes" (Human Socrates) ! (Human Plato))) Actual: (("!sameTypes" (Human Socrates) ! (Human Plato))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.11">Test Report</a> Assertion: (assertEqualToResult (get-type (= SocratesIsHuman PlatoIsHuman))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.12">Test Report</a> Assertion: (assertEqualToResult ("!sameTypes" (get-type SocratesIsHuman) (get-type SocratesIsMortal))) Expected: (("!sameTypes" (Human Socrates) (Mortal Socrates))) Actual: (("!sameTypes" (Human Socrates) (Mortal Socrates))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.13">Test Report</a> Assertion: (assertEqualToResult (get-type (= SocratesIsHuman SocratesIsMortal))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.14">Test Report</a> Assertion: (assertEqual (= SocratesIsMortal (HumansAreMortal SocratesIsHuman))) Expected: (T) Actual: (T) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.20">Test Report</a> Assertion: (assertEqualToResult (Mortal Plato)) Expected: ((Mortal Plato)) Actual: ((Mortal Plato)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.23">Test Report</a> Assertion: (assertEqualToResult (ift (Mortal $x) $x)) Expected: (Socrates Plato) Actual: (Socrates Plato) ]]>

AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.01">Test Report</a> Assertion: (assertEqualToResult (+ 5 "S")) Expected: ((Error "S" BadType)) Actual: (88) ]]>

AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(False)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.02">Test Report</a> Assertion: (assertEqualToResult (== 5 "S")) Expected: ((Error "S" BadType)) Actual: (False) ]]>

AssertionError: Test failed: Expected '((Error SamIsMortal BadType))' but got '(False)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.03">Test Report</a> Assertion: (assertEqualToResult (== SocratesIsHuman SamIsMortal)) Expected: ((Error SamIsMortal BadType)) Actual: (False) ]]>

AssertionError: Test failed: Expected '((Error (Human Socrates) BadType))' but got '((HumansAreMortal (Human Socrates)))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.04">Test Report</a> Assertion: (assertEqualToResult (HumansAreMortal (Human Socrates))) Expected: ((Error (Human Socrates) BadType)) Actual: ((HumansAreMortal (Human Socrates))) ]]>

AssertionError: Test failed: Expected '(((Error "S" BadType)))' but got '((88))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.05">Test Report</a> Assertion: (assertEqualToResult (collapse (+ 5 "S"))) Expected: (((Error "S" BadType))) Actual: ((88)) ]]>

AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((f 88))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.06">Test Report</a> Assertion: (assertEqualToResult (f (+ 5 "S"))) Expected: ((Error "S" BadType)) Actual: ((f 88)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.01">Test Report</a> Assertion: (assertEqualToResult (ift (green $x) (add-atom &kb (Green $x)))) Expected: (() ()) Actual: (() ()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.02">Test Report</a> Assertion: (assertEqualToResult (match &kb (Green $x) $x)) Expected: (Fritz Sam) Actual: (Fritz Sam) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.01">Test Report</a> Assertion: (assertEqual (get-state (get-token))) Expected: ((A B)) Actual: ((A B)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.02">Test Report</a> Assertion: (assertEqual (get-token)) Expected: ((State (A B) $_75934)) Actual: ((State (A B) $_69888)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.03">Test Report</a> Assertion: (assertEqual (get-type (new-state 2))) Expected: ((StateMonad Number)) Actual: ((StateMonad Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.04">Test Report</a> Assertion: (assertEqual (get-type (change-state! (new-state "S") "V"))) Expected: ((StateMonad String)) Actual: ((StateMonad String)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.05">Test Report</a> Assertion: (assertEqual (let $v (new-state 1) (get-type $v))) Expected: ((StateMonad Number)) Actual: ((StateMonad Number)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.06">Test Report</a> Assertion: (assertEqual (get-type &state-token)) Expected: ((StateMonad Expression)) Actual: ((StateMonad Expression)) ]]>

AssertionError: Test failed: Expected '((Error 1 BadType))' but got '((State 1 $_220896))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.07">Test Report</a> Assertion: (assertEqual (change-state! &state-token 1)) Expected: ((Error 1 BadType)) Actual: ((State 1 $_220896)) ]]>

AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((State "S" $_247620))'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.08">Test Report</a> Assertion: (assertEqual (change-state! (new-state 1) "S")) Expected: ((Error "S" BadType)) Actual: ((State "S" $_247620)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.09">Test Report</a> Assertion: (assertEqualToResult (nop (change-state! &state-token (C D)))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.10">Test Report</a> Assertion: (assertEqual (get-state (get-token))) Expected: ((C D)) Actual: ((C D)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.11">Test Report</a> Assertion: (assertEqual (let $x (new-state 1) (change-state! $x (+ (get-state $x) 1)))) Expected: ((State 2 $_343784)) Actual: ((State 2 $_342374)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.12">Test Report</a> Assertion: (assertEqual (let $tnso (new-state 1) $tnso)) Expected: ((State 1 $_363872)) Actual: ((State 1 $_362462)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.01">Test Report</a> Assertion: (assertEqual (get-state (status (Goal lunch-order)))) Expected: (inactive) Actual: (inactive) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.02">Test Report</a> Assertion: (assertEqualToResult (nop (change-state! (status (Goal lunch-order)) active))) Expected: (()) Actual: (()) ]]>

AssertionError: Test failed: Expected '(active)' but got '(inactive)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.03">Test Report</a> Assertion: (assertEqual (get-state (status (Goal lunch-order)))) Expected: (active) Actual: (inactive) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.04">Test Report</a> Assertion: (assertEqualToResult (nop (change-state! &state-active inactive))) Expected: (()) Actual: (()) ]]>

AssertionError: Test failed: Expected '(meditation)' but got '()'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.05">Test Report</a> Assertion: (assertEqual (match &self (= (status (Goal $goal)) &state-active) $goal)) Expected: (meditation) Actual: () ]]>

AssertionError: Test failed: Expected '(lunch-order)' but got '()'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.06">Test Report</a> Assertion: (assertEqual (if (== (get-state (status (Goal $goal))) active) $goal (superpose ()))) Expected: (lunch-order) Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.01">Test Report</a> Assertion: (assertEqualToResult (get-type &self)) Expected: (hyperon::space::DynSpace) Actual: (hyperon::space::DynSpace) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.02">Test Report</a> Assertion: (assertEqual ((let $x (get-atoms &self) (get-type $x)))) Expected: ((Symbol)) Actual: ((Symbol) (Symbol)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.03">Test Report</a> Assertion: (assertEqual (if (> 1 2) 1 2)) Expected: (2) Actual: (2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.04">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.05">Test Report</a> Assertion: (assertEqual (if True "S" "F")) Expected: ("S") Actual: ("S") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.06">Test Report</a> Assertion: (assertEqual (match &m (= (f 2) $x) $x)) Expected: ((g 3)) Actual: ((g 3)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.07">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.08">Test Report</a> Assertion: (assertEqual (if True "S" "F")) Expected: ("S") Actual: ("S") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.09">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.10">Test Report</a> Assertion: (assertEqual (if True "S" "F")) Expected: ("S") Actual: ("S") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.11">Test Report</a> Assertion: (assertEqual (g 2)) Expected: (102) Actual: (102) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.12">Test Report</a> Assertion: (assertEqual (f 2)) Expected: (103) Actual: (103) ]]>

AssertionError: Test failed: Expected '((: __g (-> Number)))' but got '(&m)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.13">Test Report</a> Assertion: (assertEqual &m) Expected: ((: __g (-> Number))) Actual: (&m) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.14">Test Report</a> Assertion: (assertEqual (== (let* (($x (collapse (get-atoms &m))) ($y (car-atom $x))) (get-type $y)) (get-type &self))) Expected: (False) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.15">Test Report</a> Assertion: (assertEqual (if (> 1 2) 1 2)) Expected: (2) Actual: (2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.16">Test Report</a> Assertion: (assertEqual (g 2)) Expected: (102) Actual: (102) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.17">Test Report</a> Assertion: (assertEqual (f 2)) Expected: (103) Actual: (103) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.18">Test Report</a> Assertion: (assertEqualToResult (dup 2)) Expected: (12 102) Actual: (102 12) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.19">Test Report</a> Assertion: (assertEqual (g 2)) Expected: (102) Actual: (102) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.20">Test Report</a> Assertion: (assertEqual (f 2)) Expected: (103) Actual: (103) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.21">Test Report</a> Assertion: (assertEqualToResult (dup 2)) Expected: (12 102) Actual: (102 12) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.01">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.02">Test Report</a> Assertion: (assertEqual (if True "S" "F")) Expected: ("S") Actual: ("S") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.01">Test Report</a> Assertion: (assertEqual (+ 1 (superpose (1 2 3)))) Expected: (2 3 4 2 3 4) Actual: (2 3 4 2 3 4) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.02">Test Report</a> Assertion: (assertEqual (+ 1 (superpose (1 2 3)))) Expected: (2 3 4 2 3 4) Actual: (2 3 4 2 3 4) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.03">Test Report</a> Assertion: (assertEqual ((superpose (1 2 3)))) Expected: ((1) (2) (3)) Actual: ((1) (2) (3)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.04">Test Report</a> Assertion: (assertEqual (case (+ 1 5) ((5 Error) (6 OK) (6 Error)))) Expected: (OK) Actual: (OK) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.05">Test Report</a> Assertion: (assertEqual (case (+ 1 5) (($x (+ 1 $x))))) Expected: (7) Actual: (7) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.06">Test Report</a> Assertion: (assertEqual (case 5 ((6 OK)))) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.07">Test Report</a> Assertion: (assertEqual (case (+ 1 (superpose (1 2 3))) ((3 OK-3) (4 OK-4)))) Expected: (OK-3 OK-4) Actual: (OK-3 OK-4 OK-3 OK-4) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.08">Test Report</a> Assertion: (assertEqual (case (+ 1 (superpose (1 2 3))) (($x (+ 1 $x))))) Expected: (3 4 5) Actual: (3 4 5 3 4 5) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.09">Test Report</a> Assertion: (assertEqualToResult (superpose ())) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.10">Test Report</a> Assertion: (assertEqualToResult (collapse (superpose ()))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.11">Test Report</a> Assertion: (assertEqualToResult (superpose ((nop 1)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.12">Test Report</a> Assertion: (assertEqualToResult (collapse (superpose ((nop 1))))) Expected: (()) Actual: ((())) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.13">Test Report</a> Assertion: (assertEqual (match &self $1 $1)) Expected: (&corelib &stdlib (= (Rel-P P P P) 10) (Rel-P A B) (Rel-Q A C)) Actual: (&corelib &stdlib (= (Rel-P P P P) 10) (Rel-P A B) (Rel-Q A C)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.14">Test Report</a> Assertion: (assertEqualToResult (match &self ($Rel A $X) ($Rel A $X))) Expected: ((Rel-P A B) (Rel-Q A C)) Actual: ((Rel-P A B) (Rel-Q A C)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.15">Test Report</a> Assertion: (assertEqualToResult (superpose ((Rel-P B) (Rel-Q C)))) Expected: ((Rel-P B) (Rel-Q C)) Actual: ((Rel-P B) (Rel-Q C)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.16">Test Report</a> Assertion: (assertEqual (match &self ($rel A $x) ($rel $x))) Expected: ((Rel-P B) (Rel-Q C)) Actual: ((Rel-P B) (Rel-Q C)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.17">Test Report</a> Assertion: (assertEqual (superpose ((P B) (Q C)))) Expected: ((P B) (Q C)) Actual: ((P B) (Q C)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.18">Test Report</a> Assertion: (assertEqual (case (match &self ($rel B $x) ($rel $x)) (((Rel-P $y) (P $y)) ((Rel-Q $y) (Q $y)) (%void% no-match)))) Expected: (no-match) Actual: (no-match) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html#HYPERON-METTALOG-SANITY.01-LANG-INC.01">Test Report</a> Assertion: (assertEqual (maybe-inc Nothing)) Expected: (Nothing) Actual: (Nothing) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html#HYPERON-METTALOG-SANITY.01-LANG-INC.02">Test Report</a> Assertion: (assertEqual (maybe-inc (Just 2))) Expected: ((Just 3)) Actual: ((Just 3)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta.html#HYPERON-METTALOG-SANITY.02-CURRIED-PLUS.01">Test Report</a> Assertion: (assertEqualToResult ((inc) 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.01">Test Report</a> Assertion: (assertEqualToResult (get-type insert)) Expected: ((-> $_357732 (List $_357732) (List $_357732))) Actual: ((-> $_364314 (List $_364314) (List $_364314))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.02">Test Report</a> Assertion: (assertEqual (insert 2 (insert 1 Nil))) Expected: ((Cons 1 (Cons 2 Nil))) Actual: ((Cons 1 (Cons 2 Nil))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.03">Test Report</a> Assertion: (assertEqual (Cons 1 Nil)) Expected: ((Cons 1 Nil)) Actual: ((Cons 1 Nil)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.04">Test Report</a> Assertion: (assertEqual (insert 1 Nil)) Expected: ((Cons 1 Nil)) Actual: ((Cons 1 Nil)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.05">Test Report</a> Assertion: (assertEqual (insert 1 (insert 2 Nil))) Expected: ((Cons 1 (Cons 2 Nil))) Actual: ((Cons 1 (Cons 2 Nil))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.06">Test Report</a> Assertion: (assertEqual (insert 3 (insert 2 (insert 1 Nil)))) Expected: ((Cons 1 (Cons 2 (Cons 3 Nil)))) Actual: ((Cons 1 (Cons 2 (Cons 3 Nil)))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.01">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (SS-P_AS A_AS B_AS))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &kb (SS-Q_AS A_AS C_AS))) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.03">Test Report</a> Assertion: (assertEqualToResult (match &kb ($SS A_AS $X) ($SS A_AS $X))) Expected: ((SS-P_AS A_AS B_AS) (SS-Q_AS A_AS C_AS)) Actual: ((SS-P_AS A_AS B_AS) (SS-Q_AS A_AS C_AS)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.04">Test Report</a> Assertion: (assertEqual (match &kb ($rel A_AS $x) ($rel $x))) Expected: ((SS-P_AS B_AS) (SS-Q_AS C_AS)) Actual: ((SS-P_AS B_AS) (SS-Q_AS C_AS)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.05">Test Report</a> Assertion: (assertEqual (superpose ((P_AS B_AS) (Q_AS C_AS)))) Expected: ((P_AS B_AS) (Q_AS C_AS)) Actual: ((P_AS B_AS) (Q_AS C_AS)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.06">Test Report</a> Assertion: (assertEqual (case (match &kb ($rel B_AS $x) ($rel $x)) (((SS-P_AS $y) (P_AS $y)) ((SS-Q_AS $y) (Q_AS $y)) (%void% no-match)))) Expected: (no-match) Actual: (no-match) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.06">Test Report</a> Assertion: (assertEqual (stringToChars (charsToString ('x' 'y' 'z' 'z' 'y')))) Expected: (('x' 'y' 'z' 'z' 'y')) Actual: (('x' 'y' 'z' 'z' 'y')) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.11">Test Report</a> Assertion: (assertEqual (stringToChars (superpose ("ab" "cd" "ef")))) Expected: (('a' 'b') ('c' 'd') ('e' 'f')) Actual: (('a' 'b') ('c' 'd') ('e' 'f')) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.18">Test Report</a> Assertion: (assertEqual (format-args "Different types {} {} {} {} {} {}" (1 "2" 'c' -0.5 atom (1 2 c -0.5 atom)))) Expected: ("Different types 1 2 c -0.5 atom (1 2 c -0.5 atom)") Actual: ("Different types 1 2 c -0.5 atom (1 2 c -0.5 atom)") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.19">Test Report</a> Assertion: (assertEqual (format-args "Two digit index={11}" (0 1 2 3 4 5 6 7 8 9 10 "eleven"))) Expected: ("Two digit index=eleven") Actual: ("Two digit index=eleven") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.21">Test Report</a> Assertion: (assertEqual (format-args "Malformed format}{{}{{{}{} {4} { } {-1} {x} {{{{{{}}}}}}{{{{{}}}}}" ("success1" "success2"))) Expected: ("Malformed format}{}{success1success2 {4} { } {-1} {x} {{{}}}{{{}}}") Actual: ("Malformed format}{}{success1success2 {4} { } {-1} {x} {{{}}}{{{}}}") ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/structure-tests.metta.html#HYPERON-METTALOG-SANITY.STRUCTURE-TESTS.01">Test Report</a> Assertion: (assertEqualToResult (collapse (superpose ((superpose (1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3)) (superpose (1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3)) (superpose (4 5 6 4 5 6 4 5 6 4 5... Expected: ((1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 4 ... Actual: ((1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 4 ... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.07">Test Report</a> Assertion: (assertEqual (unique (superpose (1 "hello" 1 "world" "hello" 3.14 3.14)))) Expected: (1 "hello" "world" 3.14) Actual: (1 "hello" "world" 3.14) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.11">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: $x $y) (:: $x $z) (:: $x $y) (:: $a $b))))) Expected: ((:: $_189810 $_189816) (:: $_189786 $_189792) (:: $_189762 $_189768)) Actual: ((:: $_155612 $_155618) (:: $_155588 $_155594) (:: $_155564 $_155570)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.12">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: $x $y) (:: $x $y) (:: $x $z) (:: $x $y))))) Expected: ((:: $_262484 $_262490) (:: $_262460 $_262466)) Actual: ((:: $_239208 $_239214) (:: $_239184 $_239190)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.13">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: 1 $x) (:: $x "hello") (:: 1 $x) (:: $y $z) (:: $x "hello"))))) Expected: ((:: 1 $_357394) (:: $_357358 "hello") (:: $_357334 $_357340)) Actual: ((:: 1 $_323208) (:: $_323172 "hello") (:: $_323148 $_323154)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.14">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: $x (:: a b)) (:: $x (:: a b)) (:: (:: 1 $x) (:: 2 $y)) (:: (:: 1 $x) (:: 2 $y)))))) Expected: ((:: $_85024 (:: a b)) (:: (:: 1 $_84982) (:: 2 $_85006))) Actual: ((:: $_7394 (:: a b)) (:: (:: 1 $_7352) (:: 2 $_7376))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.15">Test Report</a> Assertion: (assertEqual (unique (superpose-bind ($x $y $x $z)))) Expected: ($_103348 $_103342 $_103336) Actual: ($_103266 $_103260 $_103254) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.16">Test Report</a> Assertion: (assertEqual (unique (superpose-bind ((::: $x $y) (::: $x $z) (::: $x $y) (::: $a $b))))) Expected: ((::: $_194254 $_194260) (::: $_194230 $_194236) (::: $_194206 $_194212)) Actual: ((::: $_159954 $_159960) (::: $_159930 $_159936) (::: $_159906 $_159912)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.17">Test Report</a> Assertion: (assertEqual (unique (superpose-bind ((::: $x $y) (::: $x $y) (::: $x $z) (::: $x $y))))) Expected: ((::: $_267094 $_267100) (::: $_267070 $_267076)) Actual: ((::: $_243740 $_243746) (::: $_243716 $_243722)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.18">Test Report</a> Assertion: (assertEqual (unique (superpose-bind ((::: 1 $x) (::: $x "hello") (::: 1 $x) (::: $y $z) (::: $x "hello"))))) Expected: ((::: 1 $_362168) (::: $_362132 "hello") (::: $_362108 $_362114)) Actual: ((::: 1 $_327904) (::: $_327868 "hello") (::: $_327844 $_327850)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test_02.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST-02.19">Test Report</a> Assertion: (assertEqual (unique (superpose-bind ((::: $x (::: a b)) (::: $x (::: a b)) (::: (::: 1 $x) (::: 2 $y)) (::: (::: 1 $x) (::: 2 $y)))))) Expected: ((::: $_90550 (::: a b)) (::: (::: 1 $_90508) (::: 2 $_90532))) Actual: ((::: $_7390 (::: a b)) (::: (::: 1 $_7348) (::: 2 $_7372))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST.07">Test Report</a> Assertion: (assertEqual (unique (superpose (1 "hello" 1 "world" "hello" 3.14 3.14)))) Expected: (1 "hello" "world" 3.14) Actual: (1 "hello" "world" 3.14) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST.11">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: $x $y) (:: $x $z) (:: $x $y) (:: $a $b))))) Expected: ((:: $_434390 $_434396) (:: $_434366 $_434372) (:: $_434342 $_434348)) Actual: ((:: $_400192 $_400198) (:: $_400168 $_400174) (:: $_400144 $_400150)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST.12">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: $x $y) (:: $x $y) (:: $x $z) (:: $x $y))))) Expected: ((:: $_507048 $_507054) (:: $_507024 $_507030)) Actual: ((:: $_483772 $_483778) (:: $_483748 $_483754)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST.13">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: 1 $x) (:: $x "hello") (:: 1 $x) (:: $y $z) (:: $x "hello"))))) Expected: ((:: 1 $_84580) (:: $_84544 "hello") (:: $_84520 $_84526)) Actual: ((:: 1 $_50394) (:: $_50358 "hello") (:: $_50334 $_50340)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/hyperon-mettalog_sanity/unique_test.metta.html#HYPERON-METTALOG-SANITY.UNIQUE-TEST.14">Test Report</a> Assertion: (assertEqual (unique (superpose ((:: $x (:: a b)) (:: $x (:: a b)) (:: (:: 1 $x) (:: 2 $y)) (:: (:: 1 $x) (:: 2 $y)))))) Expected: ((:: $_327862 (:: a b)) (:: (:: 1 $_327820) (:: 2 $_327844))) Actual: ((:: $_234990 (:: a b)) (:: (:: 1 $_234948) (:: 2 $_234972))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/add_atom_match.metta.html#METTA-MORPH-TESTS.ADD-ATOM-MATCH.01">Test Report</a> Assertion: (assertEqualToResult (sequential ((add-atom &self (man mortal)) (match &self ($A mortal) (mortal $A))))) Expected: (() (mortal man)) Actual: (() (mortal man)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/and_or.metta.html#METTA-MORPH-TESTS.AND-OR.01">Test Report</a> Assertion: (assertEqualToResult (If (or (and True False) True) 1 2)) Expected: (1) Actual: (1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/collapse.metta.html#METTA-MORPH-TESTS.COLLAPSE.01">Test Report</a> Assertion: (assertEqualToResult (collapse (1 2 3))) Expected: (((1 2 3))) Actual: (((1 2 3))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/factorial.metta.html#METTA-MORPH-TESTS.FACTORIAL.01">Test Report</a> Assertion: (assertEqualToResult (facF 10)) Expected: (3628800) Actual: (3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 362... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/factorial.metta.html#METTA-MORPH-TESTS.FACTORIAL.02">Test Report</a> Assertion: (assertEqualToResult (facf 10)) Expected: (3628800) Actual: (3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 362... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.01">Test Report</a> Assertion: (assertEqual (hyperpose (1 2))) Expected: (1 2) Actual: (1 2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.02">Test Report</a> Assertion: (assertEqual (hyperpose (1 (If (== 1 2) 1)))) Expected: (1) Actual: (1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.03">Test Report</a> Assertion: (assertEqual (hyperpose ((If (== 1 2) 1) 1))) Expected: (1) Actual: (1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.04">Test Report</a> Assertion: (assertEqual (hyperpose (1 2 3))) Expected: (1 2 3) Actual: (1 2 3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.05">Test Report</a> Assertion: (assertEqual (hyperpose ((If (== 1 2) 1) 2 3))) Expected: (2 3) Actual: (2 3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.06">Test Report</a> Assertion: (assertEqual (hyperpose (1 (If (== 1 2) 1) 3))) Expected: (1 3) Actual: (1 3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.07">Test Report</a> Assertion: (assertEqual (hyperpose (1 2 (If (== 1 2) 1)))) Expected: (1 2) Actual: (1 2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.08">Test Report</a> Assertion: (assertEqual (hyperpose (1 (If (== 1 2) 1) (If (== 1 2) 1)))) Expected: (1) Actual: (1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.09">Test Report</a> Assertion: (assertEqual (hyperpose (1 2 3 4))) Expected: (1 2 3 4) Actual: (1 2 3 4) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.10">Test Report</a> Assertion: (assertEqual (hyperpose ((1 2) (3 4)))) Expected: ((1 2) (3 4)) Actual: ((1 2) (3 4)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/identity.metta.html#METTA-MORPH-TESTS.IDENTITY.01">Test Report</a> Assertion: (assertEqualToResult (f 1)) Expected: (1) Actual: (1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/if.metta.html#METTA-MORPH-TESTS.IF.01">Test Report</a> Assertion: (assertEqualToResult (If (> 1 2) (3 4) (5 6))) Expected: ((5 6)) Actual: ((5 6)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/letlet.metta.html#METTA-MORPH-TESTS.LETLET.01">Test Report</a> Assertion: (assertEqualToResult (let $T (1.0 0.9) (let* ((($f1 $c1) $T)) ($f1 $c1)))) Expected: ((1.0 0.9)) Actual: ((1.0 0.9)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/let_superpose_if_case.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.01">Test Report</a> Assertion: (assertEqualToResult (let $y (superpose (3 4 5)) (If (> $y 3) (case (1 $y) (((1 3) (f 0)) ((1 4) (42 42)) ($else (1 1))))))) Expected: ((42 42) (1 1)) Actual: ((42 42) (1 1)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/let_superpose_if_case.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.02">Test Report</a> Assertion: (assertEqualToResult (let $y (superpose (3 4 5)) (If (> $y 3) (case (1 $y) (((1 3) (f 0)) ((1 4) (42 42)) ($else (1 1))))))) Expected: ((42 42) (1 1)) Actual: ((42 42) (1 1)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/let_superpose_list2.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2.01">Test Report</a> Assertion: (assertEqual (wuzaL 2 (3 4))) Expected: ((4 3) (4 4)) Actual: ((4 3) (4 4)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/let_superpose_list.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.01">Test Report</a> Assertion: (assertEqualToResult (wuza 5)) Expected: ((10 4) (10 5)) Actual: ((10 4) (10 5)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/let_superpose_list.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.02">Test Report</a> Assertion: (assertEqual (wuza 5)) Expected: ((10 4) (10 5)) Actual: ((10 4) (10 5)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_feval.metta.html#METTA-MORPH-TESTS.MATCH-FEVAL.01">Test Report</a> Assertion: (assertEqualToResult (match &self (= (f $x) $y) $y)) Expected: ((* 2 $_187074)) Actual: ((* 2 $_205218)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.01">Test Report</a> Assertion: (assertEqualToResult (add-atom &attentional_focus 1)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &concepts 2)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.03">Test Report</a> Assertion: (assertEqualToResult (match &attentional_focus $1 $1)) Expected: (1) Actual: (1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.04">Test Report</a> Assertion: (assertEqualToResult (match &concepts $1 $1)) Expected: (2) Actual: (2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.05">Test Report</a> Assertion: (assertEqualToResult (match (superpose (&attentional_focus &concepts)) $1 $1)) Expected: (1 2) Actual: (1 2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.01">Test Report</a> Assertion: (assertEqualToResult (match &belief_events $1 $1)) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &belief_events belief1)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.03">Test Report</a> Assertion: (assertEqualToResult (match &belief_events $1 $1)) Expected: (belief1) Actual: (belief1) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.04">Test Report</a> Assertion: (assertEqualToResult (case belief1 ((%void% 42)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.05">Test Report</a> Assertion: (assertEqualToResult (case (match &belief_events $1 $1) ((%void% 42)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.06">Test Report</a> Assertion: (assertEqualToResult (case (match &belief_events $1 $1) ((belief1 yes) (%void% 42)))) Expected: (yes) Actual: (yes) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.07">Test Report</a> Assertion: (assertEqualToResult (case (match &goal_events $1 $1) ((%void% 42)))) Expected: (42) Actual: (42) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.08">Test Report</a> Assertion: (assertEqualToResult (case (match &goal_events $1 $1) ((goal1 yes) (%void% 42)))) Expected: (42) Actual: (42) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.09">Test Report</a> Assertion: (assertEqualToResult (add-atom &goal_events goal1)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.10">Test Report</a> Assertion: (assertEqualToResult (case (match &goal_events $1 $1) ((goal1 yes) (%void% 42)))) Expected: (yes) Actual: (yes) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.11">Test Report</a> Assertion: (assertEqualToResult (case (match &goal_events $1 $1) ((%void% 42)))) Expected: () Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/minnars.metta.html#METTA-MORPH-TESTS.MINNARS.01">Test Report</a> Assertion: (assertEqualToResult (Question ((Sentence (((ExtSet garfield) --> cat) (1.0 0.9)) (1)) (Sentence (((cat x sky) --> like) (1.0 0.9)) (2)) (Sentence ((sky --> (IntSet blue)) (1.0 0.9)) (3)) (Sentence ((... Expected: (((1.0 0.37946790052053214) (2 1 3 4))) Actual: (((1.0 0.37946790052053214) (2 1 3 4))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/multifunction.metta.html#METTA-MORPH-TESTS.MULTIFUNCTION.01">Test Report</a> Assertion: (assertEqualToResult (g 42 (1 2))) Expected: (1764 1764) Actual: (1764 1764) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/nalifier.metta.html#METTA-MORPH-TESTS.NALIFIER.01">Test Report</a> Assertion: (assertEqualToResult (let ($S $EV) (choiceQuery (((ExtSet sam) --> duck) ((ExtSet sam) --> swan) ((ExtSet sam) --> dog))) $S)) Expected: ((((ExtSet sam) --> duck) (1.0 0.618320610687023))) Actual: ((((ExtSet sam) --> duck) (1.0 0.6183206106870229))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/nested_parameters.metta.html#METTA-MORPH-TESTS.NESTED-PARAMETERS.01">Test Report</a> Assertion: (assertEqualToResult (Truth_Deduction (1.0 0.9) (1.0 0.9))) Expected: ((1.0 0.81)) Actual: ((1.0 0.81)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/peano.metta.html#METTA-MORPH-TESTS.PEANO.01">Test Report</a> Assertion: (assertEqualToResult (Add (S (S Z)) (S (S (S Z))))) Expected: ((S (S (S (S (S Z)))))) Actual: ((S (S (S (S (S Z)))))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.01">Test Report</a> Assertion: (assertEqualToResult (sequential ((increment) (increment)))) Expected: (2 3) Actual: (2 3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.02">Test Report</a> Assertion: (assertEqualToResult (sequential ((increment) (increment) (increment)))) Expected: (4 5 6) Actual: (4 5 6) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.03">Test Report</a> Assertion: (assertEqualToResult (sequential ((sequential ((increment) (increment) (increment)))))) Expected: (7 8 9) Actual: (7 8 9) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.04">Test Report</a> Assertion: (assertEqualToResult (sequential ((sequential ((increment) (increment) (increment))) (sequential ((increment) (increment) (increment)))))) Expected: (10 11 12 13 14 15) Actual: (10 11 12 13 14 15) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.05">Test Report</a> Assertion: (assertEqualToResult (sequential ((sequential ((increment) (increment) (increment))) (increment) (increment) (increment)))) Expected: (16 17 18 19 20 21) Actual: (16 17 18 19 20 21) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.06">Test Report</a> Assertion: (assertEqualToResult (do (sequential ((sequential ((increment) (increment) (increment))) (increment) (increment) (increment))))) Expected: () Actual: () ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.07">Test Report</a> Assertion: (assertEqualToResult (get-state &var)) Expected: (27) Actual: (27) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.08">Test Report</a> Assertion: (assertEqualToResult (sequential ((increment)))) Expected: (28) Actual: (28) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.10">Test Report</a> Assertion: (assertEqualToResult (get-state &var)) Expected: (29) Actual: (29) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.11">Test Report</a> Assertion: (assertEqualToResult (sequential ((change-state! &var (+ 1 (get-state &var)))))) Expected: ((State 30)) Actual: ((State 30 $_116880)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.12">Test Report</a> Assertion: (assertEqualToResult (get-state &var)) Expected: (30) Actual: (30) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.01">Test Report</a> Assertion: (assertEqualToResult (get-state &FIFO)) Expected: (45) Actual: (45) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.02">Test Report</a> Assertion: (assertEqualToResult (add-atom &WU a)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.03">Test Report</a> Assertion: (assertEqualToResult (match &WU $1 $1)) Expected: (a) Actual: (a) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.04">Test Report</a> Assertion: (assertEqualToResult (add-atom &WU b)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.05">Test Report</a> Assertion: (assertEqualToResult (remove-atom &WU a)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.06">Test Report</a> Assertion: (assertEqual (match &WU $1 $1)) Expected: (b) Actual: (b) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.01">Test Report</a> Assertion: (assertEqualToResult (TupleConcat (a b c) (e f g))) Expected: ((a b c e f g)) Actual: ((a b c e f g)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.02">Test Report</a> Assertion: (assertEqualToResult (TupleConcat () (e f g))) Expected: ((e f g)) Actual: ((e f g)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.03">Test Report</a> Assertion: (assertEqualToResult (TupleConcat (a b c) ())) Expected: ((a b c)) Actual: ((a b c)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.04">Test Report</a> Assertion: (assertEqualToResult (TupleConcat (a b c) (range 1 1))) Expected: ((a b c)) Actual: ((a b c)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.05">Test Report</a> Assertion: (assertEqualToResult (range 1 1)) Expected: (()) Actual: (()) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.06">Test Report</a> Assertion: (assertEqualToResult (range 1 3)) Expected: ((1 2)) Actual: ((1 2)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.07">Test Report</a> Assertion: (assertEqualToResult (range 2 6)) Expected: ((2 3 4 5)) Actual: ((2 3 4 5)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.08">Test Report</a> Assertion: (assertEqualToResult (range 1 10)) Expected: ((1 2 3 4 5 6 7 8 9)) Actual: ((1 2 3 4 5 6 7 8 9)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.01">Test Report</a> Assertion: (assertEqualToResult (superpose (a b c))) Expected: (a b c) Actual: (a b c) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.02">Test Report</a> Assertion: (assertEqualToResult (superpose ((superpose (a b c))))) Expected: (a b c) Actual: (a b c) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.03">Test Report</a> Assertion: (assertEqualToResult (superpose ((superpose (a b c)) (superpose (x y z))))) Expected: (a b c x y z) Actual: (a b c x y z) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.04">Test Report</a> Assertion: (assertEqualToResult (superpose ((superpose (a b c)) x y z))) Expected: (a b c x y z) Actual: (a b c x y z) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.01">Test Report</a> Assertion: (assertEqualToResult (I- ((Garfield --> cat) (1.0 0.9)) ((cat --> animal) (1.0 0.9)))) Expected: (((animal --> Garfield) (1.0 0.44751381215469616)) ((Garfield --> animal) (1.0 0.81))) Actual: (((Garfield --> animal) (1.0 0.81)) ((animal --> Garfield) (1.0 0.44751381215469616))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.02">Test Report</a> Assertion: (assertEqualToResult (I- ((Garfield --> carnivore) (1.0 0.9)) (((Garfield --> cat) ==> (Garfield --> carnivore)) (1.0 0.9)))) Expected: (((Garfield --> cat) (1.0 0.44751381215469616))) Actual: (((Garfield --> cat) (1.0 0.44751381215469616))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.03">Test Report</a> Assertion: (assertEqualToResult (I- (({(a b) } --> mwawa) (1.0 0.9)))) Expected: ((({(a) } --> mwawa) (1.0 0.81)) (({(b) } --> mwawa) (1.0 0.81))) Actual: ((({(a) } --> mwawa) (1.0 0.81)) (({(b) } --> mwawa) (1.0 0.81))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.04">Test Report</a> Assertion: (assertEqualToResult (I- (((a * b) --> R) (1.0 0.9)))) Expected: (((a --> (R /1 b)) (1.0 0.81)) ((b --> (R /2 a)) (1.0 0.81))) Actual: (((a --> (R /1 b)) (1.0 0.81)) ((b --> (R /2 a)) (1.0 0.81))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.05">Test Report</a> Assertion: (assertEqualToResult (I- ((R --> (a * b)) (1.0 0.9)))) Expected: ((((R 1 b) --> a) (1.0 0.81)) (((R 2 a) --> b) (1.0 0.81))) Actual: ((((R 1 b) --> a) (1.0 0.81)) (((R 2 a) --> b) (1.0 0.81))) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.06">Test Report</a> Assertion: (assertEqualToResult (I- ((A --> cat) (1.0 0.9)) ((B --> cat) (1.0 0.9)))) Expected: (((B --> A) (1.0 0.44751381215469616)) (((A ~ B) --> cat) (0.0 0.81)) (((A I B) --> cat) (1.0 0.81))... Actual: (((B --> A) (1.0 0.44751381215469616)) ((B <-> A) (1.0 0.44751381215469616)) (((A I B) --> cat) (1.0... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.07">Test Report</a> Assertion: (assertEqualToResult (I- (I- ((Garfield --> cat) (1.0 0.9)) ((cat --> animal) (1.0 0.9))) ((animal --> being) (1.0 0.9)))) Expected: (((animal --> (Garfield I being)) (1.0 0.40276243093922653)) ((animal --> (Garfield & being)) (1.0 0... Actual: (((Garfield --> being) (1.0 0.7290000000000001)) ((being --> Garfield) (1.0 0.42163100057836905)) ((... ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.01">Test Report</a> Assertion: (assertEqualToResult (get-type lion1)) Expected: (Lion) Actual: (Lion) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.02">Test Report</a> Assertion: (assertEqualToResult (reproduce lion1 lion2)) Expected: (childlion) Actual: (childlion) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.03">Test Report</a> Assertion: (assertEqualToResult (get-type Lion)) Expected: (Cat) Actual: (Cat) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.04">Test Report</a> Assertion: (assertEqualToResult (match &self (: Lion $1) $1)) Expected: (Cat) Actual: (Cat) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.05">Test Report</a> Assertion: (assertEqualToResult (match &self (: reproduce $1) $1)) Expected: ((-> Lion Lion Lion)) Actual: ((-> Lion Lion Lion)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types3.metta.html#METTA-MORPH-TESTS.TYPES3.01">Test Report</a> Assertion: (assertEqualToResult (match &self (GreaterThan $x $y) (If (and (== (get-type $x) Number) (== (get-type $y) Number)) (If (EqualOrGreater $x $y) yay)))) Expected: (yay) Actual: (yay) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/types.metta.html#METTA-MORPH-TESTS.TYPES.01">Test Report</a> Assertion: (assertEqualToResult (f 42)) Expected: (42) Actual: (42) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/zeroargs.metta.html#METTA-MORPH-TESTS.ZEROARGS.01">Test Report</a> Assertion: (assertEqualToResult (z)) Expected: ((z)) Actual: ((z)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/metta-morph_tests/zeroargs.metta.html#METTA-MORPH-TESTS.ZEROARGS.02">Test Report</a> Assertion: (assertEqualToResult (f)) Expected: (42) Actual: (42) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.01">Test Report</a> Assertion: (assertEqualToResult (match &kb (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) Expected: ((Color of Planet Mars is Red)) Actual: ((Color of Planet Mars is Red)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.03">Test Report</a> Assertion: (assertEqual (match &kb (, (Venus orbit $x au) (Mars orbit $y au)) (- $y $x))) Expected: (0.8) Actual: (0.8) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.04">Test Report</a> Assertion: (assertEqualToResult (match &kb ($prop is-a Color) (match &self ($obj is $prop) $obj))) Expected: (Ball) Actual: (Ball) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.05">Test Report</a> Assertion: (assertEqualToResult (match &self (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) Expected: ((Color of Planet Mars is Red)) Actual: ((Color of Planet Mars is Red)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.01">Test Report</a> Assertion: (assertEqual ((let $x (get-atoms &self) (get-type $x)))) Expected: ((Symbol) (Symbol)) Actual: ((Symbol) (Symbol)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.02">Test Report</a> Assertion: (assertEqual (if (> 1 2) 1 2)) Expected: (2) Actual: (2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-MODULEA.03">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

AssertionError: Test failed: Expected '(True)' but got '(False)'

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.04">Test Report</a> Assertion: (assertEqual (let $x (collapse (get-atoms &m)) (contains $x is-space))) Expected: (True) Actual: (False) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.05">Test Report</a> Assertion: (assertEqual (match &m (= (f 2) $x) $x)) Expected: ((g 3)) Actual: ((g 3)) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-MODULEA.06">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-MODULEA.07">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.08">Test Report</a> Assertion: (assertEqual (g 2)) Expected: (102) Actual: (102) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.09">Test Report</a> Assertion: (assertEqual (f 2)) Expected: (103) Actual: (103) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.10">Test Report</a> Assertion: (assertEqual (let $a (collapse (get-atoms &self)) (contains $a is-corelib))) Expected: (True) Actual: (True) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.11">Test Report</a> Assertion: (assertEqual (if (> 1 2) 1 2)) Expected: (2) Actual: (2) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.12">Test Report</a> Assertion: (assertEqual (g 2)) Expected: (102) Actual: (102) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.13">Test Report</a> Assertion: (assertEqual (f 2)) Expected: (103) Actual: (103) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.14">Test Report</a> Assertion: (assertEqualToResult (dup 2)) Expected: (12 102) Actual: (102 12) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.15">Test Report</a> Assertion: (assertEqual (g 2)) Expected: (102) Actual: (102) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.16">Test Report</a> Assertion: (assertEqual (f 2)) Expected: (103) Actual: (103) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.17">Test Report</a> Assertion: (assertEqualToResult (dup 2)) Expected: (12 102) Actual: (102 12) ]]>

<![CDATA[ <a href="https://logicmoo.org/public/metta/reports/tests_output/testrun_20240817_180743/tests/baseline_compat/module-system/f1_moduleA.metta.html#MODULE-SYSTEM.F1-MODULEA.01">Test Report</a> Assertion: (assertEqual (+ 1 2)) Expected: (3) Actual: (3) ]]>