From 20ad406aecddf67962b03eef69da5d9cb3bc76f9 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 00:39:19 -0700 Subject: [PATCH 01/20] Fixed chmod run_commit_tests.sh --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 36094419103..6275b4599d2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,7 +22,7 @@ jobs: python-version: '3.x' - name: Make Shell Script Executable - run: chmod +x scripts/generate_input.sh + run: chmod +x scripts/run_commit_tests.sh - name: Run Shell Script to Generate Input File run: | From 0c9ebc76e350555058e15db2e52f772d4d3c1d48 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 00:44:41 -0700 Subject: [PATCH 02/20] reporter: 'junitxml' --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6275b4599d2..df05600bbc1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -43,4 +43,4 @@ jobs: with: name: 'JUnit Results' path: 'junit.xml' - reporter: 'junit' + reporter: 'junitxml' From 393ff72339413ef352145692eae4a164cd94afc8 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 00:48:39 -0700 Subject: [PATCH 03/20] reporter: 'java-junit' --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index df05600bbc1..4978a6849c9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -43,4 +43,4 @@ jobs: with: name: 'JUnit Results' path: 'junit.xml' - reporter: 'junitxml' + reporter: 'java-junit' # Correct reporter type for JUnit XML From 24dd8cf2fac174b85b769e70fc47d2bd49ba8505 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 00:58:45 -0700 Subject: [PATCH 04/20] junit-matrix-report.html --report-matrix --- .github/workflows/ci.yml | 34 +++++++++++++++++++++++++++++++--- 1 file changed, 31 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4978a6849c9..bacb8cbe9a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -name: CI Job to Generate JUnit Report +name: CI Job to Generate JUnit Reports on: push: @@ -9,7 +9,7 @@ on: - main jobs: - generate-report: + generate-reports: runs-on: ubuntu-latest steps: @@ -21,6 +21,10 @@ jobs: with: python-version: '3.x' + - name: Install junit2html + run: | + pip install junit2html + - name: Make Shell Script Executable run: chmod +x scripts/run_commit_tests.sh @@ -32,15 +36,39 @@ jobs: run: | python scripts/into_junit.py /tmp/SHARED.UNITS > junit.xml - - name: Upload JUnit Report + - name: Convert JUnit XML to Standard HTML Report + run: | + junit2html junit.xml junit-standard-report.html + + - name: Convert JUnit XML to Matrix HTML Report + run: | + junit2html junit.xml junit-matrix-report.html --report-matrix + + - name: Upload JUnit XML Report uses: actions/upload-artifact@v3 with: name: junit-report path: junit.xml + - name: Upload Standard HTML Report + uses: actions/upload-artifact@v3 + with: + name: junit-standard-html-report + path: junit-standard-report.html + + - name: Upload Matrix HTML Report + uses: actions/upload-artifact@v3 + with: + name: junit-matrix-html-report + path: junit-matrix-report.html + - name: Display JUnit Test Results uses: dorny/test-reporter@v1 with: name: 'JUnit Results' path: 'junit.xml' reporter: 'java-junit' # Correct reporter type for JUnit XML + + - name: Display HTML Report Information + run: | + echo "Both standard and matrix HTML reports are available as artifacts." From 4b6194950e6ff56142e540d7e37732a203c0dcf2 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:03:15 -0700 Subject: [PATCH 05/20] scripts/run_commit_tests.sh --- scripts/run_commit_tests.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run_commit_tests.sh b/scripts/run_commit_tests.sh index de624c036f3..f8b6853ccfb 100755 --- a/scripts/run_commit_tests.sh +++ b/scripts/run_commit_tests.sh @@ -3,6 +3,6 @@ # This script generates the input file used by the Python script. # Replace the following lines with the actual commands to generate the input file. -echo "| ANTI-REGRESSION.BC-COMP.01 | PASS |(https://example.com/test-report) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) |" > /tmp/SHARED.UNITS - +#echo "| ANTI-REGRESSION.BC-COMP.01 | PASS |(https://example.com/test-report) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) |" > /tmp/SHARED.UNITS +cat ./scripts/SHARED.UNITS.PREV.md > /tmp/SHARED.UNITS # You can add more lines or commands to generate additional input data From 8551e73eecd2e226597480059fa630f63cf12362 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:04:19 -0700 Subject: [PATCH 06/20] SHARED.UNITS.PREV.md --- reports/SHARED.UNITS.PREV.md | 439 +++++++++++++++++++++++++++++++++++ 1 file changed, 439 insertions(+) create mode 100644 reports/SHARED.UNITS.PREV.md diff --git a/reports/SHARED.UNITS.PREV.md b/reports/SHARED.UNITS.PREV.md new file mode 100644 index 00000000000..639571a5742 --- /dev/null +++ b/reports/SHARED.UNITS.PREV.md @@ -0,0 +1,439 @@ +| ANTI-REGRESSION.BC-COMP.01 | PASS |[ANTI-REGRESSION.BC-COMP.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.01) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) | +| ANTI-REGRESSION.BC-COMP.02 | PASS |[ANTI-REGRESSION.BC-COMP.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.02) | (assertEqualToResult (add-atom &kb (: rule1 (-> (nums $x $y) (rule1output $x $y))))) | (()) | (()) | +| ANTI-REGRESSION.BC-COMP.03 | PASS |[ANTI-REGRESSION.BC-COMP.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.03) | (assertEqualToResult (add-atom &kb (: rule (-> (rule1output $x $y) (-> (⍃ $x $y) (less $x $y)))))) | (()) | (()) | +| ANTI-REGRESSION.BC-COMP.04 | PASS |[ANTI-REGRESSION.BC-COMP.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.04) | (assertEqualToResult (bc (: CPU (⍃ 2 3)) &kb Z)) | ((: CPU (⍃ 2 3))) | ((: CPU (⍃ 2 3))) | +| ANTI-REGRESSION.BC-COMP.05 | PASS |[ANTI-REGRESSION.BC-COMP.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.05) | (assertEqualToResult (bc (: CPU (⍃ 4 3)) &kb Z)) | () | () | +| ANTI-REGRESSION.BC-COMP.06 | PASS |[ANTI-REGRESSION.BC-COMP.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bc_comp.metta.html#ANTI-REGRESSION.BC-COMP.06) | (assertEqualToResult (bc (: $prf (less $x $y)) &kb (S (S (S Z))))) | ((: ((rule (rule1 axiom)) CPU) (less 2 3))) | ((: ((rule (rule1 axiom)) CPU) (less 2 3))) | +| ANTI-REGRESSION.BCHAIN-COMP.01 | PASS |[ANTI-REGRESSION.BCHAIN-COMP.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.01) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) | +| ANTI-REGRESSION.BCHAIN-COMP.02 | PASS |[ANTI-REGRESSION.BCHAIN-COMP.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.02) | (assertEqualToResult (add-atom &kb (: rule1 (-> (nums $x $y) (rule1output $x $y))))) | (()) | (()) | +| ANTI-REGRESSION.BCHAIN-COMP.03 | PASS |[ANTI-REGRESSION.BCHAIN-COMP.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.03) | (assertEqualToResult (add-atom &kb (: rule (-> (rule1output $x $y) (-> (⍃ $x $y) (less $x $y)))))) | (()) | (()) | +| ANTI-REGRESSION.BCHAIN-COMP.04 | PASS |[ANTI-REGRESSION.BCHAIN-COMP.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.04) | (assertEqualToResult (bc (: CPU (⍃ 2 3)) Z)) | ((: CPU (⍃ 2 3))) | ((: CPU (⍃ 2 3))) | +| ANTI-REGRESSION.BCHAIN-COMP.05 | PASS |[ANTI-REGRESSION.BCHAIN-COMP.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.05) | (assertEqualToResult (bc (: CPU (⍃ 4 3)) Z)) | () | () | +| ANTI-REGRESSION.BCHAIN-COMP.06 | PASS |[ANTI-REGRESSION.BCHAIN-COMP.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain_comp.metta.html#ANTI-REGRESSION.BCHAIN-COMP.06) | (assertEqualToResult (bc (: $prf (less $x $y)) (S (S (S Z))))) | ((: ((rule (rule1 axiom)) CPU) (less 2 3))) | ((: ((rule (rule1 axiom)) CPU) (less 2 3))) | +| ANTI-REGRESSION.BCHAIN.01 | PASS |[ANTI-REGRESSION.BCHAIN.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.01) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) | +| ANTI-REGRESSION.BCHAIN.02 | PASS |[ANTI-REGRESSION.BCHAIN.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.02) | (assertEqualToResult (add-atom &kb (: rule1 (-> (nums $x $y) (rule1output $x $y))))) | (()) | (()) | +| ANTI-REGRESSION.BCHAIN.03 | PASS |[ANTI-REGRESSION.BCHAIN.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.03) | (assertEqualToResult (add-atom &kb (: rule (-> (rule1output $x $y) (-> (⍃ $x $y) (less $x $y)))))) | (()) | (()) | +| ANTI-REGRESSION.BCHAIN.04 | PASS |[ANTI-REGRESSION.BCHAIN.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.04) | (assertEqualToResult (bc (: CPU (⍃ 2 3)) Z)) | ((: CPU (⍃ 2 3))) | ((: CPU (⍃ 2 3))) | +| ANTI-REGRESSION.BCHAIN.05 | PASS |[ANTI-REGRESSION.BCHAIN.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.05) | (assertEqualToResult (bc (: CPU (⍃ 4 3)) Z)) | () | () | +| ANTI-REGRESSION.BCHAIN.06 | PASS |[ANTI-REGRESSION.BCHAIN.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/bchain.metta.html#ANTI-REGRESSION.BCHAIN.06) | (assertEqualToResult (bc (: $prf (less $x $y)) (S (S (S Z))))) | ((: ((rule (rule1 axiom)) CPU) (less 2 3))) | ((: ((rule (rule1 axiom)) CPU) (less 2 3))) | +| ANTI-REGRESSION.COMMA-IS-NOT-SPECIAL.01 | PASS |[ANTI-REGRESSION.COMMA-IS-NOT-SPECIAL.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/comma_is_not_special.metta.html#ANTI-REGRESSION.COMMA-IS-NOT-SPECIAL.01) | (assertEqualToResult (test-func2 world)) | ((, hello world)) | ((, hello world)) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.01 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.01) | (assertEqualToResult (add-atom &db (Inheritance B A))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.02 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.02) | (assertEqualToResult (add-atom &db (Inheritance C A))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.03 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.03) | (assertEqualToResult (add-atom &db (Inheritance D E))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.04 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.04) | (assertEqualToResult (add-atom &db (Inheritance C E))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.05 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.05) | (assertEqualToResult (init-miner &db (ms) (highsurp))) | (() () () () () () () () () () () () () () ()) | (() () ()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.06 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.06) | (assertEqualToResult ("loading succAtoms into kb2")) | (("loading succAtoms into kb2")) | (("loading succAtoms into kb2")) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.07 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.07) | (assertEqualToResult (match &kb2 $1 (add-atom &kb $1))) | (() () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () ... | (() () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () ... | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.08 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.08) | (assertEqualToResult (let* (($mn (msNat)) ($atom (: ms_Threshold (ms_threshold $mn)))) (add-atom &kb $atom))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.09 | FAIL |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.09) | (assertEqualToResult (let* ((($link $a $b) (abstract-patterns)) ($aptrn ($link (VarIdx Z) (VarIdx (S Z)))) ($sptrn (specialize $link)) ($atom (: (sp_witness $sptrn) (specializationOf $sptrn $aptrn))))... | (() () () () ()) | ((let* ((($_5702 $_5720 $_5738) (abstract-patterns)) ($_5774 ($_5702 (VarIdx Z) (VarIdx (S Z)))) ($_... | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.10 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.10) | (assertEqualToResult (add-atom &kb (: minsupport (-> (supportOf $ptrn $cnt) (-> (ms_threshold $ms) (-> (⍃ $ms $cnt) (minsup $ptrn))))))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.11 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.11) | (assertEqualToResult (add-atom &kb (: apriori-rule (-> (minsup $aptrn) (-> (specializationOf $sptrn $aptrn) (supportOf $sptrn (countNat $sptrn))))))) | (()) | (()) | +| ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.12 | PASS |[ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/debug_mettalogTestCurried.metta.html#ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED.12) | (assertEqualToResult (add-atom &kb (: support-cnj (-> (minsup $ptrn1) (-> (minsup $ptrn2) (supportOf (, $ptrn1 $ptrn2) (countNat (, $ptrn1 $ptrn2)))))))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.01 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.01) | (assertEqualToResult (let $sptrn (: SP (specializationOf (Inheritance B (VarIdx (S Z))) (Inheritance (VarIdx Z) (VarIdx (S Z))))) (add-atom &kb $sptrn))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.02 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.02) | (assertEqualToResult (add-atom &kb (: apriori-rule (-> (minsup $aptrn) (-> (specializationOf $sptrn $aptrn) (supportOf $sptrn (countNat $sptrn))))))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.03 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.03) | (assertEqualToResult (add-atom &db (Inheritance B A))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.04 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.04) | (assertEqualToResult (add-atom &db (Inheritance C A))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.05 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.05) | (assertEqualToResult (add-atom &db (Inheritance D E))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.06 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.06) | (assertEqualToResult (add-atom &db (Inheritance C E))) | (()) | (()) | +| ANTI-REGRESSION.METTALOGTESTCURRIED2.07 | PASS |[ANTI-REGRESSION.METTALOGTESTCURRIED2.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/mettalogTestCurried2.metta.html#ANTI-REGRESSION.METTALOGTESTCURRIED2.07) | (assertEqualToResult (let (: $prf $concl) (let* (($aptrn (Inheritance (VarIdx Z) (VarIdx (S Z)))) ($atom (: MP (minsup $aptrn))) ($depth (fromNumber 2))) (fc $atom $depth)) (: PROOFTrace $concl))) | ((: PROOFTrace (minsup (Inheritance (VarIdx Z) (VarIdx (S Z))))) (: PROOFTrace (-> (specializationOf... | ((: PROOFTrace (minsup (Inheritance (VarIdx Z) (VarIdx (S Z))))) (: PROOFTrace (-> (specializationOf... | +| ANTI-REGRESSION.TEST-IF-CLOSED.01 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.01) | (assertEqualToResult (is-variable $x)) | (True) | (True) | +| ANTI-REGRESSION.TEST-IF-CLOSED.02 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.02) | (assertEqualToResult (is-variable 1)) | (False) | (False) | +| ANTI-REGRESSION.TEST-IF-CLOSED.03 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.03) | (assertEqualToResult (is-expression $x)) | (False) | (False) | +| ANTI-REGRESSION.TEST-IF-CLOSED.04 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.04) | (assertEqualToResult (is-expression (⍃ 4 3))) | (True) | (True) | +| ANTI-REGRESSION.TEST-IF-CLOSED.05 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.05) | (assertEqualToResult (is-expression (⍃ 4 $x))) | (True) | (True) | +| ANTI-REGRESSION.TEST-IF-CLOSED.06 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.06) | (assertEqualToResult (is-expression 4)) | (False) | (False) | +| ANTI-REGRESSION.TEST-IF-CLOSED.07 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.07) | (assertEqualToResult (is-closed $x)) | (False) | (False) | +| ANTI-REGRESSION.TEST-IF-CLOSED.08 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.08) | (assertEqualToResult (is-closed 4)) | (True) | (True) | +| ANTI-REGRESSION.TEST-IF-CLOSED.09 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.09) | (assertEqualToResult (is-closed (⍃ $y 3))) | (False) | (False) | +| ANTI-REGRESSION.TEST-IF-CLOSED.10 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.10) | (assertEqualToResult (is-closed (⍃ 4 $x))) | (False) | (False) | +| ANTI-REGRESSION.TEST-IF-CLOSED.11 | PASS |[ANTI-REGRESSION.TEST-IF-CLOSED.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/test_if_closed.metta.html#ANTI-REGRESSION.TEST-IF-CLOSED.11) | (assertEqualToResult (is-closed (⍃ 4 3))) | (True) | (True) | +| ANTI-REGRESSION.TMPMATCH1.01 | PASS |[ANTI-REGRESSION.TMPMATCH1.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch1.metta.html#ANTI-REGRESSION.TMPMATCH1.01) | (assertEqualToResult (add-atom &db (Inheritance B A))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH1.02 | PASS |[ANTI-REGRESSION.TMPMATCH1.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch1.metta.html#ANTI-REGRESSION.TMPMATCH1.02) | (assertEqualToResult (add-atom &db (Inheritance C A))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH1.03 | PASS |[ANTI-REGRESSION.TMPMATCH1.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch1.metta.html#ANTI-REGRESSION.TMPMATCH1.03) | (assertEqualToResult (add-atom &db (Inheritance D E))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH1.04 | PASS |[ANTI-REGRESSION.TMPMATCH1.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch1.metta.html#ANTI-REGRESSION.TMPMATCH1.04) | (assertEqualToResult (add-atom &db (Inheritance C E))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH1.05 | PASS |[ANTI-REGRESSION.TMPMATCH1.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch1.metta.html#ANTI-REGRESSION.TMPMATCH1.05) | (assertEqualToResult (miner &db (ms) (depth))) | (() () () () () () () () () () () () () () () () (candidate (Inheritance B (VarIdx (S Z))) 1) (candi... | (() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (Var... | +| ANTI-REGRESSION.TMPMATCH2.01 | PASS |[ANTI-REGRESSION.TMPMATCH2.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch2.metta.html#ANTI-REGRESSION.TMPMATCH2.01) | (assertEqualToResult (add-atom &db (Inheritance B A))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH2.02 | PASS |[ANTI-REGRESSION.TMPMATCH2.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch2.metta.html#ANTI-REGRESSION.TMPMATCH2.02) | (assertEqualToResult (add-atom &db (Inheritance C A))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH2.03 | PASS |[ANTI-REGRESSION.TMPMATCH2.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch2.metta.html#ANTI-REGRESSION.TMPMATCH2.03) | (assertEqualToResult (add-atom &db (Inheritance D E))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH2.04 | PASS |[ANTI-REGRESSION.TMPMATCH2.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch2.metta.html#ANTI-REGRESSION.TMPMATCH2.04) | (assertEqualToResult (add-atom &db (Inheritance C E))) | (()) | (()) | +| ANTI-REGRESSION.TMPMATCH2.05 | PASS |[ANTI-REGRESSION.TMPMATCH2.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/anti-regression/tmpMatch2.metta.html#ANTI-REGRESSION.TMPMATCH2.05) | (assertEqualToResult (miner &db (ms) (depth))) | (() () () () () () () () () () () () () () () () (candidate (Inheritance B (VarIdx (S Z))) 1) (candi... | (() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (Var... | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.01) | (assertEqualToResult (match &self (($x leaf2) leaf3) $x)) | (leaf1 (leaf0 leaf1)) | (leaf1 (leaf0 leaf1)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.02) | (assertEqualToResult (match &self ($who is a $what) ($who the $what))) | ((Sam the frog) (Tom the cat) (Sophia the robot)) | ((Sam the frog) (Tom the cat) (Sophia the robot)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.03) | (assertEqualToResult (match &self (:= (Green $who) T) ($who is really green))) | ((Sam is really green)) | ((Sam is really green)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.04) | (assertEqualToResult (match &self (:= ($color $who) T) ($who is really $color))) | ((Sam is really Green) (Tom is really White)) | ((Sam is really Green) (Tom is really White)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.05) | (assertEqualToResult (match &self (:= ($color $who) $tv) ('It's' $tv that $who is $color))) | (('It's' T that Sam is Green) ('It's' T that Tom is White) ('It's' F that Tom is Green)) | (('It's' T that Sam is Green) ('It's' T that Tom is White) ('It's' F that Tom is Green)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.06) | (assertEqualToResult (match &self (:= (Green Tom) $tv) $tv)) | (F) | (F) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS.07) | (assertEqualToResult (match &self (isa $color color) $color)) | (red green blue) | (red green blue) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A2-OPENCOGGY.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A2-OPENCOGGY.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a2_opencoggy.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A2-OPENCOGGY.01) | (assertEqualToResult (match &self (EvaluationLink (PredicateNode "eats") (ListLink $x (ConceptNode "flies"))) $x)) | ((ConceptNode "Sam") (ConceptNode "Fritz")) | ((ConceptNode "Sam") (ConceptNode "Fritz")) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.01) | (assertEqualToResult (match &self (implies (Frog Sam) $what) $what)) | ((Green Sam) (Eats-flies Sam)) | ((Green Sam) (Eats-flies Sam)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.02) | (assertEqualToResult (match &self (implies ($P $x) (Green Sam)) ($x might be $P))) | ((Sam might be Frog)) | ((Sam might be Frog)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.03) | (assertEqualToResult (match &self (, (Frog $x) (implies (Frog $x) $y)) $y)) | ((Green Sam) (Eats-flies Sam)) | ((Green Sam) (Eats-flies Sam)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.04) | (assertEqualToResult (match &self (, (implies ($P $x) (Green $x)) (implies ($P $x) (Eats-flies $x))) (Then it is definitely $P))) | ((Then it is definitely Frog)) | ((Then it is definitely Frog)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.01) | (assertEqualToResult (match &self (:= (S K K x) $r) $r)) | ((K x (K x))) | ((K x (K x))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.02) | (assertEqualToResult (match &self (:= (K x (K x)) $r) $r)) | (x) | (x) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.03) | (assertEqualToResult (match &self (:= (S K K x) $r) (match &self (:= $r $r2) $r2))) | (x) | (x) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.04) | (assertEqualToResult (match &self (:= (Add (S Z) (S Z)) $r) $r)) | ((Add (S (S Z)) Z)) | ((Add (S (S Z)) Z)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM.05) | (assertEqualToResult (match &self (:= (Add (S Z) (S Z)) $r) (match &self (:= $r $r2) $r2))) | ((S (S Z))) | ((S (S Z))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.01) | (assertEqual (S K K x)) | (x) | (x) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.02) | (assertEqualToResult (expression without known equalities)) | ((expression without known equalities)) | ((expression without known equalities)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.03) | (assertEqual (Add (S Z) (S Z))) | ((S (S Z))) | ((S (S Z))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.04) | (assertEqual (Something? (Add (S Z) (S Z)))) | ((Something? (S (S Z)))) | ((Something? (S (S Z)))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.05) | (assertEqual (eq (S K K x) x)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN.06) | (assertEqualToResult (eq Green Blue)) | ((eq Green Blue)) | ((eq Green Blue)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.01) | (assertEqualToResult (Frog Sam)) | ((Frog Sam)) | ((Frog Sam)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.02) | (assertEqual (frog Sam)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.03) | (assertEqualToResult (frog Fritz)) | () | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.04) | (assertEqual (deduce (Evaluation (mortal Plato)))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.05) | (assertEqual (explain (Evaluation (mortal Plato)))) | (((mortal Plato) proven by ((human Plato) proven by (And (philosopher Plato) (likes-to-wrestle Plato... | (((mortal Plato) proven by ((human Plato) proven by (And (philosopher Plato) (likes-to-wrestle Plato... | +| HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.01) | (assertEqual (green Fritz)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.02) | (assertEqual (ift (green $x) $x)) | (Fritz) | (Fritz) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.03) | (assertEqualToResult (match &self (= ($p Fritz) T) $p)) | (croaks eat_flies) | (croaks eat_flies) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.01) | (assertEqual (match &self (= (color) $x) $x)) | (green yellow red) | (red yellow green) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.02) | (assertEqual (collapse (match &self (= (shape) $x) $x))) | (()) | (()) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.03) | (assertEqual (color)) | (green yellow red) | (red yellow green) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.04) | (assertEqual (color)) | (green yellow red) | (green yellow red) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.05) | (assertEqual (collapse (shape))) | (((shape))) | (((shape))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.06) | (assertEqualToResult (shape)) | ((shape)) | ((shape)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.07) | (assertEqualToResult (pair (bin) (bin))) | ((A A) (A B) (B A) (B B)) | ((A A) (A B) (B A) (B B)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.08 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.08) | (assertEqual (find-equal (color) (foo))) | (red) | (red) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.09) | (assertEqualToResult (rev A (superpose (B C D)))) | ((B A) (C A) (D A)) | ((B A) (C A) (D A)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.10) | (assertEqual (is (air dry))) | ((start humidifier) (start kettle) (stop ventilation)) | ((stop ventilation) (start kettle) (start humidifier)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.11) | (assertEqual (is (air wet))) | ((start ventilation) (stop humidifier) (stop kettle)) | ((stop kettle) (stop humidifier) (start ventilation)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.01) | (assertEqual (Add S Z)) | (S) | (S) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.02 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.02) | (assertEqualToResult (Add S Z)) | (S) | ((Error S BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.03) | (assertEqual (Add (S Z) Z)) | ((S Z)) | ((S Z)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.04) | (assertEqual (Add Z (S Z))) | ((S Z)) | ((S Z)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.05) | (assertEqual (Add Something Z)) | (Something) | (Something) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.06) | (assertEqualToResult (Add Z Ten)) | ((Add Z Ten)) | ((Add Z Ten)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.07) | (assertEqualToResult (Cons (S Z) (Cons Z Nil))) | ((Cons (S Z) (Cons Z Nil))) | ((Cons (S Z) (Cons Z Nil))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.08 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.08) | (assertEqualToResult (Cons S (Cons Z Nil))) | ((Cons S (Cons Z Nil))) | ((Error (Cons Z Nil) BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.09) | (assertEqual (eq (Add Z Z) Z)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.10) | (assertEqualToResult (eq Z (S Z))) | ((eq Z (S Z))) | ((eq Z (S Z))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.11 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.11) | (assertEqualToResult (eq Z S)) | ((eq Z S)) | ((Error S BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.12) | (assertEqual (of-same-type Color Shape)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.13 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.13) | (assertEqual (of-same-type Green Red)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.14 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.14) | (assertEqualToResult (of-same-type Green Color)) | (T) | ((Error Color BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.15 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.15) | (assertEqualToResult (of-same-type Green Circle)) | (T) | ((Error Circle BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.16 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.16) | (assertEqual (Green $who)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.17 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.17) | (assertEqual (match &self (Green $who) $who)) | (Sam) | (Sam) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.18 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.18](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.18) | (assertEqual (match &self (Green $who) (Green $who))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.19 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.19](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.19) | (assertEqual (let $r (Add (S Z) Z) (match &self (= (eq $r (S Z)) $tv) $tv))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.20 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.20](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.20) | (assertEqualToResult (match &self (= (eq (Add (S Z) Z) (S Z)) $tv) $tv)) | () | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.21 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.21](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.21) | (assertEqual (let (S (S $r)) (Add (S Z) (S Z)) $r)) | (Z) | (Z) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.22 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.22](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.22) | (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))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.23 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.23](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.23) | (assertEqual (eqa (Add Z Z) (Add Z Z))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.24 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.24](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.24) | (assertEqualToResult (eqa Z (Add Z Z))) | (T) | ((eqa Z (Add Z Z))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.25 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.25](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.25) | (assertEqual (eq Z (Add Z Z))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.26 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.26](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM.26) | (assertEqual (let $z (Add Z Z) (eqa Z $z))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.01) | (assertEqualToResult (+ 2 (* 3 5.5))) | (18.5) | (18.5) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.02) | (assertEqualToResult (- 8 (/ 4 6.4))) | (7.375) | (7.375) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.03) | (assertEqualToResult (% 21 17)) | (4) | (4) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.04) | (assertEqualToResult (< 4 (+ 2 (* 3 5)))) | (True) | (True) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.05) | (assertEqualToResult (and (> 4 2) (< 4 3))) | (False) | (False) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.06) | (assertEqualToResult (ln (+ 2 2))) | ((ln 4)) | ((ln 4)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.07) | (assertEqualToResult (> 4 (+ ln 2))) | ((> 4 (+ ln 2))) | ((> 4 (+ ln 2))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.08 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.08) | (assertEqualToResult (> 4 (+ $x 2))) | ((> 4 (+ $_201994 2))) | ((> 4 (+ $_180954 2))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.09) | (assertEqualToResult (== 4 (+ 2 2))) | (True) | (True) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.10) | (assertEqualToResult (== 2 3)) | (False) | (False) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.11) | (assertEqualToResult (== (A B) (A B))) | (True) | (True) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.12) | (assertEqualToResult (== (A B) (A (B C)))) | (False) | (False) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.13 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.13) | (assertEqualToResult (== 4 (+ ln 2))) | (False) | (False) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.14 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.14) | (assertEqualToResult (+ 2 "String")) | ((+ 2 "String")) | ((Error "String" BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.15 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.15) | (assertEqualToResult (== 4 (+ ln 2))) | (False) | ((Error ln BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.16 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.16) | (assertEqualToResult (sqr 4)) | (16) | (16) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.17 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.17) | (assertEqual (+ (superpose (1 2 3)) 1)) | (2 3 4) | (2 3 4) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.18 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.18](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.18) | (assertEqualToResult (bin)) | (0 1) | (0 1) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.19 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.19](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.19) | (assertEqualToResult (+ 1 (bin))) | (1 2 1 2) | (1 2) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.20 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.20](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.20) | (assertEqualToResult (let $x (+ 2 3) (* $x $x))) | (25) | (25) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.21 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.21](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.21) | (assertEqual (fact 5)) | (120) | (120) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.22 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.22](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.22) | (assertEqualToResult (fact 5)) | (120) | (120) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.23 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.23](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.23) | (assertEqualToResult (let $t (gen 3) (if (== (subsum (:: 3 (:: 7 (:: 5 nil))) $t) 8) $t (superpose ())))) | ((:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 0 (:: 1 nil)))... | ((:: 1 (:: 0 (:: 1 nil)))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.01) | (assertEqualToResult (match &kb (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) | ((Color of Planet Mars is Red)) | ((Color of Planet Mars is Red)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.02) | (assertEqualToResult (match &self ($p is-a Color) $p)) | () | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.03) | (assertEqual (match &kb (, (Venus orbit $x au) (Mars orbit $y au)) (- $y $x))) | (0.8) | (0.8) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.04) | (assertEqualToResult (match &kb ($prop is-a Color) (match &self ($obj is $prop) $obj))) | (Ball) | (Ball) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.05) | (assertEqualToResult (match &self (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) | ((Color of Planet Mars is Red)) | ((Color of Planet Mars is Red)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.01) | (assertEqual (TV (And (PA) (PB)))) | ((stv 0.3 0.8)) | ((stv 0.3 0.8)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.02) | (assertEqual (TV (FA))) | ((stv 0.4 0.8) (stv 0.4 0.8) (stv 0.4 0.8) (stv 0.4 0.8)) | ((stv 0.4 0.8)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.03) | (assertEqual (TV (croaks Fritz))) | ((stv 0.95 0.85)) | ((stv 0.95 0.85)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.04) | (assertEqual (TV (frog Fritz))) | ((stv 0.783 0.68) (stv 0.783 0.68) (stv 0.783 0.68) (stv 0.783 0.68)) | ((stv 0.783 0.68)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV.05) | (assertEqual (TV (green Fritz))) | ((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... | ((stv 0.7047 0.68)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.01) | (assertEqual (get-type 5)) | (Number) | (Number) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.02) | (assertEqual (get-type (+ 5 7))) | (Number) | (Number) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.03) | (assertEqual (get-type +)) | ((-> Number Number Number)) | ((-> Number Number Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.04) | (assertEqualToResult (get-type (+ 5 "4"))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.05) | (assertEqualToResult (get-type (+ -))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.06) | (assertEqual (get-type Either)) | (Type) | (Type) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.07) | (assertEqual (get-type (Left 5))) | (Either) | (Either) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.08 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.08) | (assertEqual (get-type (isLeft (Right 5)))) | (Bool) | (Bool) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.09) | (assertEqualToResult (get-type (isLeft 5))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.10) | (assertEqual (get-type (LeftP 5))) | ((EitherP Number)) | ((EitherP Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.11) | (assertEqual (get-type (pair (LeftP 5) "String"))) | ((Pair (EitherP Number) String)) | ((Pair (EitherP Number) String)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.12) | (assertEqual (get-type (Cons 5 (Cons 6 Nil)))) | ((List Number)) | ((List Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.13 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.13) | (assertEqualToResult (get-type (Cons 5 (Cons "6" Nil)))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.14 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.14) | (assertEqual (let (List $t) (get-type (Cons 5 (Cons 6 Nil))) $t)) | (Number) | (Number) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.01) | (assertEqual (get-type (curry +))) | ((-> Number (-> Number Number))) | ((-> Number (-> Number Number))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.02) | (assertEqual (get-type ((curry +) 2))) | ((-> Number Number)) | ((-> Number Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.03) | (assertEqualToResult ((curry +) 2)) | (((curry +) 2)) | (((curry +) 2)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.04) | (assertEqual (((curry +) 2) 3)) | (5) | (5) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.05) | (assertEqual (get-type (curry-a + 2))) | ((-> Number Number)) | ((-> Number Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.06) | (assertEqual (get-type ((curry-a + 2) 3))) | (Number) | (Number) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.07 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.07) | (assertEqualToResult (get-type ((curry-a + 2) "S"))) | (Number) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.08 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.08) | (assertEqual ((curry-a + 2) 3)) | (5) | (5) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.09) | (assertEqualToResult (is-socrates)) | ((curry-a is Socrates)) | ((curry-a is Socrates)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.10) | (assertEqual ((curry-a is Socrates) Human)) | (True) | (True) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.11) | (assertEqual ((is-socrates) Human)) | (True) | (True) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.12) | (assertEqual ((lambda $x (+ $x 1)) 2)) | (3) | (3) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.13 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.13) | (assertEqual ((lambda ($x $y) (+ $x $y)) (2 7))) | (9) | (9) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.14 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.14) | (assertEqual ((inc) 5)) | (6) | (6) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.15 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.15) | (assertEqual (fmap (curry-a + 2) (Something 5))) | ((Something 7)) | ((Something 7)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.16 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.16) | (assertEqual (fmap (curry-a + 2) (Nothing))) | ((Nothing)) | ((Nothing)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.17 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.17) | (assertEqual (get-type (fmap (curry-a + 1) (Left 5)))) | ((Either Number)) | ((Either Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.18 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.18](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.18) | (assertEqual (fmap (curry-a + 2) (UntypedC 5))) | ((UntypedC 7)) | ((UntypedC 7)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.19 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.19](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.19) | (assertEqual (fmap (curry-a + 2) (UntypedC 5 (UntypedC 8 (Null))))) | ((UntypedC 7 (UntypedC 10 (Null)))) | ((UntypedC 7 (UntypedC 10 (Null)))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.20 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.20](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.20) | (assertEqualToResult (get-type (fmap (curry-a + 2) (Left "5")))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.21 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.21](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.21) | (assertEqualToResult (get-type (fmap (curry-a + 2) (UntypedC "5")))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.22 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.22](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.22) | (assertEqualToResult (get-type (fmap (curry-a + 2) (UntypedC (Null) 5)))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.23 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.23](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.23) | (assertEqual (fmap-i (curry-a - 7) (Right 3))) | ((Right 4)) | ((Right 4)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.24 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.24](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.24) | (assertEqual (fmap-i (curry-a * 2) (Cons 3 (Cons 4 Nil)))) | ((Cons 6 (Cons 8 Nil))) | ((Cons 6 (Cons 8 Nil))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.25 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.25](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.25) | (assertEqualToResult (fmap-i (curry-a + 2) (Untyped 5))) | ((fmap-i (curry-a + 2) (Untyped 5))) | ((fmap-i (curry-a + 2) (Untyped 5))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.26 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.26](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.26) | (assertEqual (insert 3 (insert 2 (insert 1 Nil)))) | ((Cons 1 (Cons 2 (Cons 3 Nil)))) | ((Cons 1 (Cons 2 (Cons 3 Nil)))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.27 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.27](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.27) | (assertEqual (sort (Cons 3 (Cons 1 (Cons 2 Nil))))) | ((Cons 1 (Cons 2 (Cons 3 Nil)))) | ((Cons 1 (Cons 2 (Cons 3 Nil)))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.01) | (assertEqual (get-type (Cons 0 (Cons 1 Nil)))) | ((Vec Number (S (S Z)))) | ((Vec Number (S (S Z)))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.02) | (assertEqual (get-type (drop (Cons 1 Nil)))) | ((Vec Number Z)) | ((Vec Number Z)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.03) | (assertEqual (drop (Cons 2 (Cons 1 Nil)))) | ((Cons 1 Nil)) | ((Cons 1 Nil)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.04) | (assertEqualToResult (get-type (drop Nil))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.05) | (assertEqual (get-type (ConsN "1" (ConsN "2" NilN)))) | ((VecN String 2)) | ((VecN String 2)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.06) | (assertEqual (get-type (dropN (ConsN "1" NilN)))) | ((VecN String 0)) | ((VecN String 0)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.07) | (assertEqualToResult (dropN NilN)) | ((dropN NilN)) | ((dropN NilN)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.01) | (assertEqual (get-type (Mortal Plato))) | (Type) | (Type) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.02) | (assertEqual (get-type (HumansAreMortal SocratesIsHuman))) | ((Mortal Socrates)) | ((Mortal Socrates)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.03) | (assertEqualToResult (get-type (HumansAreMortal (Human Socrates)))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.04) | (assertEqualToResult ("sameTypes" (get-type SocratesIsMortal) (get-type (HumansAreMortal SocratesIsHuman)))) | (("sameTypes" (Mortal Socrates) (Mortal Socrates))) | (("sameTypes" (Mortal Socrates) (Mortal Socrates))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.05) | (assertEqual (get-type (= SocratesIsMortal (HumansAreMortal SocratesIsHuman)))) | (Type) | (Type) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.06) | (assertEqualToResult ("sameTypes" (get-type (Mortal Socrates)) (get-type (Mortal Plato)))) | (("sameTypes" Type Type)) | (("sameTypes" Type Type)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.07) | (assertEqual (get-type (= (Mortal Socrates) (Mortal Plato)))) | (Type) | (Type) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.08 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.08) | (assertEqualToResult ("!sameTypes" (get-type SocratesIsMortal) (get-type (HumansAreMortal PlatoIsHuman)))) | (("!sameTypes" (Mortal Socrates) (Mortal Plato))) | (("!sameTypes" (Mortal Socrates) (Mortal Plato))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.09) | (assertEqualToResult (get-type (= SocratesIsMortal (HumansAreMortal PlatoIsHuman)))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.10) | (assertEqualToResult ("!sameTypes" (get-type SocratesIsHuman) ! (get-type PlatoIsHuman))) | (("!sameTypes" (Human Socrates) ! (Human Plato))) | (("!sameTypes" (Human Socrates) ! (Human Plato))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.11) | (assertEqualToResult (get-type (= SocratesIsHuman PlatoIsHuman))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.12) | (assertEqualToResult ("!sameTypes" (get-type SocratesIsHuman) (get-type SocratesIsMortal))) | (("!sameTypes" (Human Socrates) (Mortal Socrates))) | (("!sameTypes" (Human Socrates) (Mortal Socrates))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.13 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.13) | (assertEqualToResult (get-type (= SocratesIsHuman SocratesIsMortal))) | (()) | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.14 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.14) | (assertEqual (= SocratesIsMortal (HumansAreMortal SocratesIsHuman))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.15 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.15) | (assertEqual (= (+ 1 1) (- 3 1))) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.16 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.16) | (assertEqual (= (Mortal Socrates) T)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.17 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.17) | (assertEqualToResult (= (Mortal Plato) T)) | () | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.18 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.18](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.18) | (assertEqual (= (Mortal Plato) T)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.19 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.19](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.19) | (assertEqualToResult (= (Human Sam) T)) | () | () | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.20 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.20](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.20) | (assertEqualToResult (Mortal Plato)) | ((Mortal Plato)) | ((Mortal Plato)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.21 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.21](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.21) | (assertEqual (= (= $x $x) T)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.22 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.22](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.22) | (assertEqual (Mortal Plato)) | (T) | (T) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.23 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.23](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.23) | (assertEqualToResult (ift (Mortal $x) $x)) | (Socrates Plato) | (Socrates Plato) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.01 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.01) | (assertEqualToResult (+ 5 "S")) | (88) | ((Error "S" BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.02 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.02) | (assertEqualToResult (== 5 "S")) | (False) | ((Error "S" BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.03 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.03) | (assertEqualToResult (== SocratesIsHuman SamIsMortal)) | (False) | ((Error SamIsMortal BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.04 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.04) | (assertEqualToResult (HumansAreMortal (Human Socrates))) | ((HumansAreMortal (Human Socrates))) | ((Error (Human Socrates) BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.05 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.05) | (assertEqualToResult (collapse (+ 5 "S"))) | ((88)) | (((Error "S" BadType))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.06 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES.06) | (assertEqualToResult (f (+ 5 "S"))) | ((f 88)) | ((Error "S" BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.01) | (assertEqualToResult (ift (green $x) (add-atom &kb (Green $x)))) | (() ()) | (() ()) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.02) | (assertEqualToResult (match &kb (Green $x) $x)) | (Fritz Sam) | (Fritz Sam) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.01) | (assertEqual (get-state (get-token))) | ((A B)) | ((A B)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.02) | (assertEqual (get-token)) | ((State (A B) $_55338)) | ((State (A B) $_61384)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.03) | (assertEqual (get-type (new-state 2))) | ((StateMonad Number)) | ((StateMonad Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.04) | (assertEqual (get-type (change-state! (new-state "S") "V"))) | ((StateMonad String)) | ((StateMonad String)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.05) | (assertEqual (let $v (new-state 1) (get-type $v))) | ((StateMonad Number)) | ((StateMonad Number)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.06) | (assertEqual (get-type &state-token)) | ((StateMonad Expression)) | ((StateMonad Expression)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.07 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.07) | (assertEqual (change-state! &state-token 1)) | ((State 1 $_206416)) | ((Error 1 BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.08 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.08) | (assertEqual (change-state! (new-state 1) "S")) | ((State "S" $_233140)) | ((Error "S" BadType)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.09) | (assertEqualToResult (nop (change-state! &state-token (C D)))) | (()) | (()) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.10) | (assertEqual (get-state (get-token))) | ((C D)) | ((C D)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.11) | (assertEqual (let $x (new-state 1) (change-state! $x (+ (get-state $x) 1)))) | ((State 2 $_327922)) | ((State 2 $_329332)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.12) | (assertEqual (let $tnso (new-state 1) $tnso)) | ((State 1 $_348010)) | ((State 1 $_349420)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.01) | (assertEqual (get-state (status (Goal lunch-order)))) | (inactive) | (inactive) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.02) | (assertEqualToResult (nop (change-state! (status (Goal lunch-order)) active))) | (()) | (()) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.03 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.03) | (assertEqual (get-state (status (Goal lunch-order)))) | (inactive) | (active) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.04) | (assertEqualToResult (nop (change-state! &state-active inactive))) | (()) | (()) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.05 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.05) | (assertEqual (match &self (= (status (Goal $goal)) &state-active) $goal)) | () | (meditation) | +| HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.06 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.06) | (assertEqual (if (== (get-state (status (Goal $goal))) active) $goal (superpose ()))) | () | (lunch-order) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.01) | (assertEqualToResult (get-type &self)) | (hyperon::space::DynSpace) | (hyperon::space::DynSpace) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.02) | (assertEqual ((let $x (get-atoms &self) (get-type $x)))) | ((Symbol) (Symbol)) | ((Symbol)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.03 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.03) | (assertEqual (if (> 1 2) 1 2)) | (2) | (2) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.04 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.04) | (assertEqual (+ 1 2)) | (3) | (3) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.05 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.05) | (assertEqual (if True "S" "F")) | ("S") | ("S") | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.06 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.06) | (assertEqual (match &m (= (f 2) $x) $x)) | ((g 3)) | ((g 3)) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.07 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.07) | (assertEqual (+ 1 2)) | (3) | (3) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.08 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.08) | (assertEqual (if True "S" "F")) | ("S") | ("S") | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.09 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.09) | (assertEqual (+ 1 2)) | (3) | (3) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.10 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.10) | (assertEqual (if True "S" "F")) | ("S") | ("S") | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.11 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.11) | (assertEqual (g 2)) | (102) | (102) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.12 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.12) | (assertEqual (f 2)) | (103) | (103) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.13 | FAIL |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.13) | (assertEqual &m) | (&m) | ((: __g (-> Number))) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.14 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.14) | (assertEqual (== (let* (($x (collapse (get-atoms &m))) ($y (car-atom $x))) (get-type $y)) (get-type &self))) | (False) | (False) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.15 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.15) | (assertEqual (if (> 1 2) 1 2)) | (2) | (2) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.16 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.16) | (assertEqual (g 2)) | (102) | (102) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.17 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.17) | (assertEqual (f 2)) | (103) | (103) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.18 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.18](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.18) | (assertEqualToResult (dup 2)) | (102 12) | (12 102) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.19 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.19](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.19) | (assertEqual (g 2)) | (102) | (102) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.20 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.20](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.20) | (assertEqual (f 2)) | (103) | (103) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.21 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.21](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.21) | (assertEqualToResult (dup 2)) | (102 12) | (12 102) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.01 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.01) | (assertEqual (+ 1 2)) | (3) | (3) | +| HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.02 | PASS |[HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta.html#HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA.02) | (assertEqual (if True "S" "F")) | ("S") | ("S") | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.01 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.01) | (assertEqual (+ 1 (superpose (1 2 3)))) | (2 3 4 2 3 4) | (2 3 4 2 3 4) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.02 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.02) | (assertEqual (+ 1 (superpose (1 2 3)))) | (2 3 4 2 3 4) | (2 3 4 2 3 4) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.03 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.03) | (assertEqual ((superpose (1 2 3)))) | ((1) (2) (3)) | ((1) (2) (3)) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.04 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.04) | (assertEqual (case (+ 1 5) ((5 Error) (6 OK) (6 Error)))) | (OK) | (OK) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.05 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.05) | (assertEqual (case (+ 1 5) (($x (+ 1 $x))))) | (7) | (7) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.06 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.06) | (assertEqual (case 5 ((6 OK)))) | () | () | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.07 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.07) | (assertEqual (case (+ 1 (superpose (1 2 3))) ((3 OK-3) (4 OK-4)))) | (OK-3 OK-4 OK-3 OK-4) | (OK-3 OK-4) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.08 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.08) | (assertEqual (case (+ 1 (superpose (1 2 3))) (($x (+ 1 $x))))) | (3 4 5 3 4 5) | (3 4 5) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.09 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.09) | (assertEqualToResult (superpose ())) | () | () | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.10 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.10) | (assertEqualToResult (collapse (superpose ()))) | (()) | (()) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.11 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.11) | (assertEqualToResult (superpose ((nop 1)))) | (()) | () | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.12 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.12) | (assertEqualToResult (collapse (superpose ((nop 1))))) | ((())) | (()) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.13 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.13) | (assertEqual (match &self $1 $1)) | (&corelib &stdlib (= (Rel-P P P P) 10) (Rel-P A B) (Rel-Q A C)) | (&corelib &stdlib (= (Rel-P P P P) 10) (Rel-P A B) (Rel-Q A C)) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.14 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.14) | (assertEqualToResult (match &self ($Rel A $X) ($Rel A $X))) | ((Rel-P A B) (Rel-Q A C)) | ((Rel-P A B) (Rel-Q A C)) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.15 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.15) | (assertEqualToResult (superpose ((Rel-P B) (Rel-Q C)))) | ((Rel-P B) (Rel-Q C)) | ((Rel-P B) (Rel-Q C)) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.16 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.16) | (assertEqual (match &self ($rel A $x) ($rel $x))) | ((Rel-P B) (Rel-Q C)) | ((Rel-P B) (Rel-Q C)) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.17 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.17) | (assertEqual (superpose ((P B) (Q C)))) | ((P B) (Q C)) | ((P B) (Q C)) | +| HYPERON-METTALOG-SANITY.00-LANG-CASE.18 | PASS |[HYPERON-METTALOG-SANITY.00-LANG-CASE.18](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html#HYPERON-METTALOG-SANITY.00-LANG-CASE.18) | (assertEqual (case (match &self ($rel B $x) ($rel $x)) (((Rel-P $y) (P $y)) ((Rel-Q $y) (Q $y)) (%void% no-match)))) | (no-match) | (no-match) | +| HYPERON-METTALOG-SANITY.01-LANG-INC.01 | PASS |[HYPERON-METTALOG-SANITY.01-LANG-INC.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html#HYPERON-METTALOG-SANITY.01-LANG-INC.01) | (assertEqual (maybe-inc Nothing)) | (Nothing) | (Nothing) | +| HYPERON-METTALOG-SANITY.01-LANG-INC.02 | PASS |[HYPERON-METTALOG-SANITY.01-LANG-INC.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html#HYPERON-METTALOG-SANITY.01-LANG-INC.02) | (assertEqual (maybe-inc (Just 2))) | ((Just 3)) | ((Just 3)) | +| HYPERON-METTALOG-SANITY.02-CURRIED-PLUS.01 | PASS |[HYPERON-METTALOG-SANITY.02-CURRIED-PLUS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta.html#HYPERON-METTALOG-SANITY.02-CURRIED-PLUS.01) | (assertEqualToResult ((inc) 2)) | (3) | (3) | +| HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.01 | PASS |[HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.01) | (assertEqualToResult (get-type insert)) | ((-> $_350320 (List $_350320) (List $_350320))) | ((-> $_343738 (List $_343738) (List $_343738))) | +| HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.02 | PASS |[HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.02) | (assertEqual (insert 2 (insert 1 Nil))) | ((Cons 1 (Cons 2 Nil))) | ((Cons 1 (Cons 2 Nil))) | +| HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.03 | PASS |[HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.03) | (assertEqual (Cons 1 Nil)) | ((Cons 1 Nil)) | ((Cons 1 Nil)) | +| HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.04 | PASS |[HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.04) | (assertEqual (insert 1 Nil)) | ((Cons 1 Nil)) | ((Cons 1 Nil)) | +| HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.05 | PASS |[HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.05) | (assertEqual (insert 1 (insert 2 Nil))) | ((Cons 1 (Cons 2 Nil))) | ((Cons 1 (Cons 2 Nil))) | +| HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.06 | PASS |[HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html#HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT.06) | (assertEqual (insert 3 (insert 2 (insert 1 Nil)))) | ((Cons 1 (Cons 2 (Cons 3 Nil)))) | ((Cons 1 (Cons 2 (Cons 3 Nil)))) | +| HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.01 | PASS |[HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.01) | (assertEqualToResult (add-atom &kb (SS-P_AS A_AS B_AS))) | (()) | (()) | +| HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.02 | PASS |[HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.02) | (assertEqualToResult (add-atom &kb (SS-Q_AS A_AS C_AS))) | (()) | (()) | +| HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.03 | PASS |[HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.03) | (assertEqualToResult (match &kb ($SS A_AS $X) ($SS A_AS $X))) | ((SS-P_AS A_AS B_AS) (SS-Q_AS A_AS C_AS)) | ((SS-P_AS A_AS B_AS) (SS-Q_AS A_AS C_AS)) | +| HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.04 | PASS |[HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.04) | (assertEqual (match &kb ($rel A_AS $x) ($rel $x))) | ((SS-P_AS B_AS) (SS-Q_AS C_AS)) | ((SS-P_AS B_AS) (SS-Q_AS C_AS)) | +| HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.05 | PASS |[HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.05) | (assertEqual (superpose ((P_AS B_AS) (Q_AS C_AS)))) | ((P_AS B_AS) (Q_AS C_AS)) | ((P_AS B_AS) (Q_AS C_AS)) | +| HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.06 | PASS |[HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html#HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE.06) | (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)))) | (no-match) | (no-match) | +| HYPERON-METTALOG-SANITY.STRING-TESTS.01 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.01) | (assertEqual (stringToChars "xyzzy")) | (('x' 'y' 'z' 'z' 'y')) | (('x' 'y' 'z' 'z' 'y')) | +| HYPERON-METTALOG-SANITY.STRING-TESTS.02 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.02) | (assertEqual (charsToString ('x' 'y' 'z' 'z' 'y'))) | ("xyzzy") | ("xyzzy") | +| HYPERON-METTALOG-SANITY.STRING-TESTS.03 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.03) | (assertEqual (stringToChars "")) | (()) | (()) | +| HYPERON-METTALOG-SANITY.STRING-TESTS.04 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.04) | (assertEqual (charsToString ())) | ("") | ("") | +| HYPERON-METTALOG-SANITY.STRING-TESTS.05 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.05) | (assertEqual (charsToString (stringToChars "xyzzy"))) | ("xyzzy") | ("xyzzy") | +| HYPERON-METTALOG-SANITY.STRING-TESTS.06 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.06) | (assertEqual (stringToChars (charsToString ('x' 'y' 'z' 'z' 'y')))) | (('x' 'y' 'z' 'z' 'y')) | (('x' 'y' 'z' 'z' 'y')) | +| HYPERON-METTALOG-SANITY.STRING-TESTS.07 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.07) | (assertEqual (charsToString ('x' 'y' ' ' 'z' 'y'))) | ("xy zy") | ("xy zy") | +| HYPERON-METTALOG-SANITY.STRING-TESTS.08 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.08) | (assertEqual (stringToChars "xy zy")) | (('x' 'y' ' ' 'z' 'y')) | (('x' 'y' ' ' 'z' 'y')) | +| HYPERON-METTALOG-SANITY.STRING-TESTS.09 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.09) | (assertEqual (charsToString (' '))) | (" ") | (" ") | +| HYPERON-METTALOG-SANITY.STRING-TESTS.10 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.10) | (assertEqual (stringToChars " ")) | ((' ')) | ((' ')) | +| HYPERON-METTALOG-SANITY.STRING-TESTS.11 | PASS |[HYPERON-METTALOG-SANITY.STRING-TESTS.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/string-tests.metta.html#HYPERON-METTALOG-SANITY.STRING-TESTS.11) | (assertEqual (stringToChars (superpose ("ab" "cd" "ef")))) | (('a' 'b') ('c' 'd') ('e' 'f')) | (('a' 'b') ('c' 'd') ('e' 'f')) | +| HYPERON-METTALOG-SANITY.STRUCTURE-TESTS.01 | PASS |[HYPERON-METTALOG-SANITY.STRUCTURE-TESTS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/hyperon-mettalog_sanity/structure-tests.metta.html#HYPERON-METTALOG-SANITY.STRUCTURE-TESTS.01) | (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... | ((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 ... | ((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 ... | +| METTA-MORPH-TESTS.ADD-ATOM-MATCH.01 | PASS |[METTA-MORPH-TESTS.ADD-ATOM-MATCH.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/add_atom_match.metta.html#METTA-MORPH-TESTS.ADD-ATOM-MATCH.01) | (assertEqualToResult (sequential ((add-atom &self (man mortal)) (match &self ($A mortal) (mortal $A))))) | (() (mortal man)) | (() (mortal man)) | +| METTA-MORPH-TESTS.AND-OR.01 | PASS |[METTA-MORPH-TESTS.AND-OR.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/and_or.metta.html#METTA-MORPH-TESTS.AND-OR.01) | (assertEqualToResult (If (or (and True False) True) 1 2)) | (1) | (1) | +| METTA-MORPH-TESTS.COLLAPSE.01 | PASS |[METTA-MORPH-TESTS.COLLAPSE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/collapse.metta.html#METTA-MORPH-TESTS.COLLAPSE.01) | (assertEqualToResult (collapse (1 2 3))) | (((1 2 3))) | (((1 2 3))) | +| METTA-MORPH-TESTS.FACTORIAL.01 | PASS |[METTA-MORPH-TESTS.FACTORIAL.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/factorial.metta.html#METTA-MORPH-TESTS.FACTORIAL.01) | (assertEqualToResult (facF 10)) | (3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 362... | (3628800) | +| METTA-MORPH-TESTS.FACTORIAL.02 | PASS |[METTA-MORPH-TESTS.FACTORIAL.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/factorial.metta.html#METTA-MORPH-TESTS.FACTORIAL.02) | (assertEqualToResult (facf 10)) | (3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 3628800 362... | (3628800) | +| METTA-MORPH-TESTS.HYPERPOSE.01 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.01) | (assertEqual (hyperpose (1 2))) | (1 2) | (1 2) | +| METTA-MORPH-TESTS.HYPERPOSE.02 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.02) | (assertEqual (hyperpose (1 (If (== 1 2) 1)))) | (1) | (1) | +| METTA-MORPH-TESTS.HYPERPOSE.03 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.03) | (assertEqual (hyperpose ((If (== 1 2) 1) 1))) | (1) | (1) | +| METTA-MORPH-TESTS.HYPERPOSE.04 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.04) | (assertEqual (hyperpose (1 2 3))) | (1 2 3) | (1 2 3) | +| METTA-MORPH-TESTS.HYPERPOSE.05 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.05) | (assertEqual (hyperpose ((If (== 1 2) 1) 2 3))) | (2 3) | (2 3) | +| METTA-MORPH-TESTS.HYPERPOSE.06 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.06) | (assertEqual (hyperpose (1 (If (== 1 2) 1) 3))) | (1 3) | (1 3) | +| METTA-MORPH-TESTS.HYPERPOSE.07 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.07) | (assertEqual (hyperpose (1 2 (If (== 1 2) 1)))) | (1 2) | (1 2) | +| METTA-MORPH-TESTS.HYPERPOSE.08 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.08) | (assertEqual (hyperpose (1 (If (== 1 2) 1) (If (== 1 2) 1)))) | (1) | (1) | +| METTA-MORPH-TESTS.HYPERPOSE.09 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.09) | (assertEqual (hyperpose (1 2 3 4))) | (1 2 3 4) | (1 2 3 4) | +| METTA-MORPH-TESTS.HYPERPOSE.10 | PASS |[METTA-MORPH-TESTS.HYPERPOSE.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/hyperpose.metta.html#METTA-MORPH-TESTS.HYPERPOSE.10) | (assertEqual (hyperpose ((1 2) (3 4)))) | ((1 2) (3 4)) | ((1 2) (3 4)) | +| METTA-MORPH-TESTS.IDENTITY.01 | PASS |[METTA-MORPH-TESTS.IDENTITY.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/identity.metta.html#METTA-MORPH-TESTS.IDENTITY.01) | (assertEqualToResult (f 1)) | (1) | (1) | +| METTA-MORPH-TESTS.IF.01 | PASS |[METTA-MORPH-TESTS.IF.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/if.metta.html#METTA-MORPH-TESTS.IF.01) | (assertEqualToResult (If (> 1 2) (3 4) (5 6))) | ((5 6)) | ((5 6)) | +| METTA-MORPH-TESTS.LETLET.01 | PASS |[METTA-MORPH-TESTS.LETLET.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/letlet.metta.html#METTA-MORPH-TESTS.LETLET.01) | (assertEqualToResult (let $T (1.0 0.9) (let* ((($f1 $c1) $T)) ($f1 $c1)))) | ((1.0 0.9)) | ((1.0 0.9)) | +| METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.01 | PASS |[METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/let_superpose_if_case.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.01) | (assertEqualToResult (let $y (superpose (3 4 5)) (If (> $y 3) (case (1 $y) (((1 3) (f 0)) ((1 4) (42 42)) ($else (1 1))))))) | ((42 42) (1 1)) | ((42 42) (1 1)) | +| METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.02 | PASS |[METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/let_superpose_if_case.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE.02) | (assertEqualToResult (let $y (superpose (3 4 5)) (If (> $y 3) (case (1 $y) (((1 3) (f 0)) ((1 4) (42 42)) ($else (1 1))))))) | ((42 42) (1 1)) | ((42 42) (1 1)) | +| METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2.01 | PASS |[METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/let_superpose_list2.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2.01) | (assertEqual (wuzaL 2 (3 4))) | ((4 3) (4 4)) | ((4 3) (4 4)) | +| METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.01 | PASS |[METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/let_superpose_list.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.01) | (assertEqualToResult (wuza 5)) | ((10 4) (10 5)) | ((10 4) (10 5)) | +| METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.02 | PASS |[METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/let_superpose_list.metta.html#METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.02) | (assertEqual (wuza 5)) | ((10 4) (10 5)) | ((10 4) (10 5)) | +| METTA-MORPH-TESTS.MATCH-FEVAL.01 | PASS |[METTA-MORPH-TESTS.MATCH-FEVAL.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_feval.metta.html#METTA-MORPH-TESTS.MATCH-FEVAL.01) | (assertEqualToResult (match &self (= (f $x) $y) $y)) | ((* 2 $_191224)) | ((* 2 $_173080)) | +| METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.01 | PASS |[METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.01) | (assertEqualToResult (add-atom &attentional_focus 1)) | (()) | (()) | +| METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.02 | PASS |[METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.02) | (assertEqualToResult (add-atom &concepts 2)) | (()) | (()) | +| METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.03 | PASS |[METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.03) | (assertEqualToResult (match &attentional_focus $1 $1)) | (1) | (1) | +| METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.04 | PASS |[METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.04) | (assertEqualToResult (match &concepts $1 $1)) | (2) | (2) | +| METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.05 | PASS |[METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html#METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.05) | (assertEqualToResult (match (superpose (&attentional_focus &concepts)) $1 $1)) | (1 2) | (1 2) | +| METTA-MORPH-TESTS.MATCH-VOID.01 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.01) | (assertEqualToResult (match &belief_events $1 $1)) | () | () | +| METTA-MORPH-TESTS.MATCH-VOID.02 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.02) | (assertEqualToResult (add-atom &belief_events belief1)) | (()) | (()) | +| METTA-MORPH-TESTS.MATCH-VOID.03 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.03) | (assertEqualToResult (match &belief_events $1 $1)) | (belief1) | (belief1) | +| METTA-MORPH-TESTS.MATCH-VOID.04 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.04) | (assertEqualToResult (case belief1 ((%void% 42)))) | (()) | () | +| METTA-MORPH-TESTS.MATCH-VOID.05 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.05) | (assertEqualToResult (case (match &belief_events $1 $1) ((%void% 42)))) | (()) | () | +| METTA-MORPH-TESTS.MATCH-VOID.06 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.06) | (assertEqualToResult (case (match &belief_events $1 $1) ((belief1 yes) (%void% 42)))) | (yes) | (yes) | +| METTA-MORPH-TESTS.MATCH-VOID.07 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.07) | (assertEqualToResult (case (match &goal_events $1 $1) ((%void% 42)))) | (42) | (42) | +| METTA-MORPH-TESTS.MATCH-VOID.08 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.08) | (assertEqualToResult (case (match &goal_events $1 $1) ((goal1 yes) (%void% 42)))) | (42) | (42) | +| METTA-MORPH-TESTS.MATCH-VOID.09 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.09) | (assertEqualToResult (add-atom &goal_events goal1)) | (()) | (()) | +| METTA-MORPH-TESTS.MATCH-VOID.10 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.10) | (assertEqualToResult (case (match &goal_events $1 $1) ((goal1 yes) (%void% 42)))) | (yes) | (yes) | +| METTA-MORPH-TESTS.MATCH-VOID.11 | PASS |[METTA-MORPH-TESTS.MATCH-VOID.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/match_void.metta.html#METTA-MORPH-TESTS.MATCH-VOID.11) | (assertEqualToResult (case (match &goal_events $1 $1) ((%void% 42)))) | (()) | () | +| METTA-MORPH-TESTS.MINNARS.01 | PASS |[METTA-MORPH-TESTS.MINNARS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/minnars.metta.html#METTA-MORPH-TESTS.MINNARS.01) | (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 ((... | (((1.0 0.37946790052053214) (2 1 3 4))) | (((1.0 0.37946790052053214) (2 1 3 4))) | +| METTA-MORPH-TESTS.MULTIFUNCTION.01 | PASS |[METTA-MORPH-TESTS.MULTIFUNCTION.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/multifunction.metta.html#METTA-MORPH-TESTS.MULTIFUNCTION.01) | (assertEqualToResult (g 42 (1 2))) | (1764 1764) | (1764 1764) | +| METTA-MORPH-TESTS.NALIFIER.01 | PASS |[METTA-MORPH-TESTS.NALIFIER.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/nalifier.metta.html#METTA-MORPH-TESTS.NALIFIER.01) | (assertEqualToResult (let ($S $EV) (choiceQuery (((ExtSet sam) --> duck) ((ExtSet sam) --> swan) ((ExtSet sam) --> dog))) $S)) | ((((ExtSet sam) --> duck) (1.0 0.6183206106870229))) | ((((ExtSet sam) --> duck) (1.0 0.618320610687023))) | +| METTA-MORPH-TESTS.NESTED-PARAMETERS.01 | PASS |[METTA-MORPH-TESTS.NESTED-PARAMETERS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/nested_parameters.metta.html#METTA-MORPH-TESTS.NESTED-PARAMETERS.01) | (assertEqualToResult (Truth_Deduction (1.0 0.9) (1.0 0.9))) | ((1.0 0.81)) | ((1.0 0.81)) | +| METTA-MORPH-TESTS.PEANO.01 | PASS |[METTA-MORPH-TESTS.PEANO.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/peano.metta.html#METTA-MORPH-TESTS.PEANO.01) | (assertEqualToResult (Add (S (S Z)) (S (S (S Z))))) | ((S (S (S (S (S Z)))))) | ((S (S (S (S (S Z)))))) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.01 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.01) | (assertEqualToResult (sequential ((increment) (increment)))) | (2 3) | (2 3) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.02 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.02) | (assertEqualToResult (sequential ((increment) (increment) (increment)))) | (4 5 6) | (4 5 6) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.03 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.03) | (assertEqualToResult (sequential ((sequential ((increment) (increment) (increment)))))) | (7 8 9) | (7 8 9) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.04 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.04) | (assertEqualToResult (sequential ((sequential ((increment) (increment) (increment))) (sequential ((increment) (increment) (increment)))))) | (10 11 12 13 14 15) | (10 11 12 13 14 15) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.05 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.05) | (assertEqualToResult (sequential ((sequential ((increment) (increment) (increment))) (increment) (increment) (increment)))) | (16 17 18 19 20 21) | (16 17 18 19 20 21) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.06 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.06) | (assertEqualToResult (do (sequential ((sequential ((increment) (increment) (increment))) (increment) (increment) (increment))))) | () | () | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.07 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.07) | (assertEqualToResult (get-state &var)) | (27) | (27) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.08 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.08) | (assertEqualToResult (sequential ((increment)))) | (28) | (28) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.09 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.09) | (assertEqualToResult (increment)) | (29) | (29) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.10 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.10) | (assertEqualToResult (get-state &var)) | (29) | (29) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.11 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.11) | (assertEqualToResult (sequential ((change-state! &var (+ 1 (get-state &var)))))) | ((State 30 $_105956)) | ((State 30)) | +| METTA-MORPH-TESTS.SEQUENTIAL-NESTED.12 | PASS |[METTA-MORPH-TESTS.SEQUENTIAL-NESTED.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/sequential_nested.metta.html#METTA-MORPH-TESTS.SEQUENTIAL-NESTED.12) | (assertEqualToResult (get-state &var)) | (30) | (30) | +| METTA-MORPH-TESTS.STATES-SPACES.01 | PASS |[METTA-MORPH-TESTS.STATES-SPACES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.01) | (assertEqualToResult (get-state &FIFO)) | (45) | (45) | +| METTA-MORPH-TESTS.STATES-SPACES.02 | PASS |[METTA-MORPH-TESTS.STATES-SPACES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.02) | (assertEqualToResult (add-atom &WU a)) | (()) | (()) | +| METTA-MORPH-TESTS.STATES-SPACES.03 | PASS |[METTA-MORPH-TESTS.STATES-SPACES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.03) | (assertEqualToResult (match &WU $1 $1)) | (a) | (a) | +| METTA-MORPH-TESTS.STATES-SPACES.04 | PASS |[METTA-MORPH-TESTS.STATES-SPACES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.04) | (assertEqualToResult (add-atom &WU b)) | (()) | (()) | +| METTA-MORPH-TESTS.STATES-SPACES.05 | PASS |[METTA-MORPH-TESTS.STATES-SPACES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.05) | (assertEqualToResult (remove-atom &WU a)) | (()) | (()) | +| METTA-MORPH-TESTS.STATES-SPACES.06 | PASS |[METTA-MORPH-TESTS.STATES-SPACES.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/states_spaces.metta.html#METTA-MORPH-TESTS.STATES-SPACES.06) | (assertEqual (match &WU $1 $1)) | (b) | (b) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.01 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.01) | (assertEqualToResult (TupleConcat (a b c) (e f g))) | ((a b c e f g)) | ((a b c e f g)) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.02 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.02) | (assertEqualToResult (TupleConcat () (e f g))) | ((e f g)) | ((e f g)) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.03 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.03) | (assertEqualToResult (TupleConcat (a b c) ())) | ((a b c)) | ((a b c)) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.04 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.04) | (assertEqualToResult (TupleConcat (a b c) (range 1 1))) | ((a b c)) | ((a b c)) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.05 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.05) | (assertEqualToResult (range 1 1)) | (()) | (()) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.06 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.06) | (assertEqualToResult (range 1 3)) | ((1 2)) | ((1 2)) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.07 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.07) | (assertEqualToResult (range 2 6)) | ((2 3 4 5)) | ((2 3 4 5)) | +| METTA-MORPH-TESTS.SUPERCOLLAPSE.08 | PASS |[METTA-MORPH-TESTS.SUPERCOLLAPSE.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/supercollapse.metta.html#METTA-MORPH-TESTS.SUPERCOLLAPSE.08) | (assertEqualToResult (range 1 10)) | ((1 2 3 4 5 6 7 8 9)) | ((1 2 3 4 5 6 7 8 9)) | +| METTA-MORPH-TESTS.SUPERPOSE-NESTED.01 | PASS |[METTA-MORPH-TESTS.SUPERPOSE-NESTED.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.01) | (assertEqualToResult (superpose (a b c))) | (a b c) | (a b c) | +| METTA-MORPH-TESTS.SUPERPOSE-NESTED.02 | PASS |[METTA-MORPH-TESTS.SUPERPOSE-NESTED.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.02) | (assertEqualToResult (superpose ((superpose (a b c))))) | (a b c) | (a b c) | +| METTA-MORPH-TESTS.SUPERPOSE-NESTED.03 | PASS |[METTA-MORPH-TESTS.SUPERPOSE-NESTED.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.03) | (assertEqualToResult (superpose ((superpose (a b c)) (superpose (x y z))))) | (a b c x y z) | (a b c x y z) | +| METTA-MORPH-TESTS.SUPERPOSE-NESTED.04 | PASS |[METTA-MORPH-TESTS.SUPERPOSE-NESTED.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/superpose_nested.metta.html#METTA-MORPH-TESTS.SUPERPOSE-NESTED.04) | (assertEqualToResult (superpose ((superpose (a b c)) x y z))) | (a b c x y z) | (a b c x y z) | +| METTA-MORPH-TESTS.TESTS0.01 | PASS |[METTA-MORPH-TESTS.TESTS0.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.01) | (assertEqualToResult (I- ((Garfield --> cat) (1.0 0.9)) ((cat --> animal) (1.0 0.9)))) | (((Garfield --> animal) (1.0 0.81)) ((animal --> Garfield) (1.0 0.44751381215469616))) | (((animal --> Garfield) (1.0 0.44751381215469616)) ((Garfield --> animal) (1.0 0.81))) | +| METTA-MORPH-TESTS.TESTS0.02 | PASS |[METTA-MORPH-TESTS.TESTS0.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.02) | (assertEqualToResult (I- ((Garfield --> carnivore) (1.0 0.9)) (((Garfield --> cat) ==> (Garfield --> carnivore)) (1.0 0.9)))) | (((Garfield --> cat) (1.0 0.44751381215469616))) | (((Garfield --> cat) (1.0 0.44751381215469616))) | +| METTA-MORPH-TESTS.TESTS0.03 | PASS |[METTA-MORPH-TESTS.TESTS0.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.03) | (assertEqualToResult (I- (({(a b) } --> mwawa) (1.0 0.9)))) | ((({(a) } --> mwawa) (1.0 0.81)) (({(b) } --> mwawa) (1.0 0.81))) | ((({(a) } --> mwawa) (1.0 0.81)) (({(b) } --> mwawa) (1.0 0.81))) | +| METTA-MORPH-TESTS.TESTS0.04 | PASS |[METTA-MORPH-TESTS.TESTS0.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.04) | (assertEqualToResult (I- (((a * b) --> R) (1.0 0.9)))) | (((a --> (R /1 b)) (1.0 0.81)) ((b --> (R /2 a)) (1.0 0.81))) | (((a --> (R /1 b)) (1.0 0.81)) ((b --> (R /2 a)) (1.0 0.81))) | +| METTA-MORPH-TESTS.TESTS0.05 | PASS |[METTA-MORPH-TESTS.TESTS0.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.05) | (assertEqualToResult (I- ((R --> (a * b)) (1.0 0.9)))) | ((((R 1 b) --> a) (1.0 0.81)) (((R 2 a) --> b) (1.0 0.81))) | ((((R 1 b) --> a) (1.0 0.81)) (((R 2 a) --> b) (1.0 0.81))) | +| METTA-MORPH-TESTS.TESTS0.06 | PASS |[METTA-MORPH-TESTS.TESTS0.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.06) | (assertEqualToResult (I- ((A --> cat) (1.0 0.9)) ((B --> cat) (1.0 0.9)))) | (((B --> A) (1.0 0.44751381215469616)) ((B <-> A) (1.0 0.44751381215469616)) (((A I B) --> cat) (1.0... | (((B --> A) (1.0 0.44751381215469616)) (((A ~ B) --> cat) (0.0 0.81)) (((A I B) --> cat) (1.0 0.81))... | +| METTA-MORPH-TESTS.TESTS0.07 | PASS |[METTA-MORPH-TESTS.TESTS0.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/tests0.metta.html#METTA-MORPH-TESTS.TESTS0.07) | (assertEqualToResult (I- (I- ((Garfield --> cat) (1.0 0.9)) ((cat --> animal) (1.0 0.9))) ((animal --> being) (1.0 0.9)))) | (((Garfield --> being) (1.0 0.7290000000000001)) ((being --> Garfield) (1.0 0.42163100057836905)) ((... | (((animal --> (Garfield I being)) (1.0 0.40276243093922653)) ((animal --> (Garfield & being)) (1.0 0... | +| METTA-MORPH-TESTS.TYPES2.01 | PASS |[METTA-MORPH-TESTS.TYPES2.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.01) | (assertEqualToResult (get-type lion1)) | (Lion) | (Lion) | +| METTA-MORPH-TESTS.TYPES2.02 | PASS |[METTA-MORPH-TESTS.TYPES2.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.02) | (assertEqualToResult (reproduce lion1 lion2)) | (childlion) | (childlion) | +| METTA-MORPH-TESTS.TYPES2.03 | PASS |[METTA-MORPH-TESTS.TYPES2.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.03) | (assertEqualToResult (get-type Lion)) | (Cat) | (Cat) | +| METTA-MORPH-TESTS.TYPES2.04 | PASS |[METTA-MORPH-TESTS.TYPES2.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.04) | (assertEqualToResult (match &self (: Lion $1) $1)) | (Cat) | (Cat) | +| METTA-MORPH-TESTS.TYPES2.05 | PASS |[METTA-MORPH-TESTS.TYPES2.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types2.metta.html#METTA-MORPH-TESTS.TYPES2.05) | (assertEqualToResult (match &self (: reproduce $1) $1)) | ((-> Lion Lion Lion)) | ((-> Lion Lion Lion)) | +| METTA-MORPH-TESTS.TYPES3.01 | PASS |[METTA-MORPH-TESTS.TYPES3.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types3.metta.html#METTA-MORPH-TESTS.TYPES3.01) | (assertEqualToResult (match &self (GreaterThan $x $y) (If (and (== (get-type $x) Number) (== (get-type $y) Number)) (If (EqualOrGreater $x $y) yay)))) | (yay) | (yay) | +| METTA-MORPH-TESTS.TYPES.01 | PASS |[METTA-MORPH-TESTS.TYPES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/types.metta.html#METTA-MORPH-TESTS.TYPES.01) | (assertEqualToResult (f 42)) | (42) | (42) | +| METTA-MORPH-TESTS.ZEROARGS.01 | PASS |[METTA-MORPH-TESTS.ZEROARGS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/zeroargs.metta.html#METTA-MORPH-TESTS.ZEROARGS.01) | (assertEqualToResult (z)) | ((z)) | ((z)) | +| METTA-MORPH-TESTS.ZEROARGS.02 | PASS |[METTA-MORPH-TESTS.ZEROARGS.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/metta-morph_tests/zeroargs.metta.html#METTA-MORPH-TESTS.ZEROARGS.02) | (assertEqualToResult (f)) | (42) | (42) | +| MODULE-SYSTEM.C2-SPACES.01 | PASS |[MODULE-SYSTEM.C2-SPACES.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.01) | (assertEqualToResult (match &kb (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) | ((Color of Planet Mars is Red)) | ((Color of Planet Mars is Red)) | +| MODULE-SYSTEM.C2-SPACES.02 | PASS |[MODULE-SYSTEM.C2-SPACES.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.02) | (assertEqualToResult (match &self ($p is-a Color) $p)) | () | () | +| MODULE-SYSTEM.C2-SPACES.03 | PASS |[MODULE-SYSTEM.C2-SPACES.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.03) | (assertEqual (match &kb (, (Venus orbit $x au) (Mars orbit $y au)) (- $y $x))) | (0.8) | (0.8) | +| MODULE-SYSTEM.C2-SPACES.04 | PASS |[MODULE-SYSTEM.C2-SPACES.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.04) | (assertEqualToResult (match &kb ($prop is-a Color) (match &self ($obj is $prop) $obj))) | (Ball) | (Ball) | +| MODULE-SYSTEM.C2-SPACES.05 | PASS |[MODULE-SYSTEM.C2-SPACES.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/c2_spaces.metta.html#MODULE-SYSTEM.C2-SPACES.05) | (assertEqualToResult (match &self (, ($obj is $prop) ($prop is-a Color) ($obj is-a Planet)) (Color of Planet $obj is $prop))) | ((Color of Planet Mars is Red)) | ((Color of Planet Mars is Red)) | +| MODULE-SYSTEM.F1-IMPORTS.01 | PASS |[MODULE-SYSTEM.F1-IMPORTS.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.01) | (assertEqual ((let $x (get-atoms &self) (get-type $x)))) | ((Symbol) (Symbol)) | ((Symbol) (Symbol)) | +| MODULE-SYSTEM.F1-IMPORTS.02 | PASS |[MODULE-SYSTEM.F1-IMPORTS.02](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.02) | (assertEqual (if (> 1 2) 1 2)) | (2) | (2) | +| MODULE-SYSTEM.F1-MODULEA.03 | PASS |[MODULE-SYSTEM.F1-MODULEA.03](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-MODULEA.03) | (assertEqual (+ 1 2)) | (3) | (3) | +| MODULE-SYSTEM.F1-IMPORTS.04 | FAIL |[MODULE-SYSTEM.F1-IMPORTS.04](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.04) | (assertEqual (let $x (collapse (get-atoms &m)) (contains $x is-space))) | (False) | (True) | +| MODULE-SYSTEM.F1-IMPORTS.05 | PASS |[MODULE-SYSTEM.F1-IMPORTS.05](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.05) | (assertEqual (match &m (= (f 2) $x) $x)) | ((g 3)) | ((g 3)) | +| MODULE-SYSTEM.F1-MODULEA.06 | PASS |[MODULE-SYSTEM.F1-MODULEA.06](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-MODULEA.06) | (assertEqual (+ 1 2)) | (3) | (3) | +| MODULE-SYSTEM.F1-MODULEA.07 | PASS |[MODULE-SYSTEM.F1-MODULEA.07](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-MODULEA.07) | (assertEqual (+ 1 2)) | (3) | (3) | +| MODULE-SYSTEM.F1-IMPORTS.08 | PASS |[MODULE-SYSTEM.F1-IMPORTS.08](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.08) | (assertEqual (g 2)) | (102) | (102) | +| MODULE-SYSTEM.F1-IMPORTS.09 | PASS |[MODULE-SYSTEM.F1-IMPORTS.09](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.09) | (assertEqual (f 2)) | (103) | (103) | +| MODULE-SYSTEM.F1-IMPORTS.10 | PASS |[MODULE-SYSTEM.F1-IMPORTS.10](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.10) | (assertEqual (let $a (collapse (get-atoms &self)) (contains $a is-corelib))) | (True) | (True) | +| MODULE-SYSTEM.F1-IMPORTS.11 | PASS |[MODULE-SYSTEM.F1-IMPORTS.11](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.11) | (assertEqual (if (> 1 2) 1 2)) | (2) | (2) | +| MODULE-SYSTEM.F1-IMPORTS.12 | PASS |[MODULE-SYSTEM.F1-IMPORTS.12](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.12) | (assertEqual (g 2)) | (102) | (102) | +| MODULE-SYSTEM.F1-IMPORTS.13 | PASS |[MODULE-SYSTEM.F1-IMPORTS.13](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.13) | (assertEqual (f 2)) | (103) | (103) | +| MODULE-SYSTEM.F1-IMPORTS.14 | PASS |[MODULE-SYSTEM.F1-IMPORTS.14](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.14) | (assertEqualToResult (dup 2)) | (102 12) | (12 102) | +| MODULE-SYSTEM.F1-IMPORTS.15 | PASS |[MODULE-SYSTEM.F1-IMPORTS.15](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.15) | (assertEqual (g 2)) | (102) | (102) | +| MODULE-SYSTEM.F1-IMPORTS.16 | PASS |[MODULE-SYSTEM.F1-IMPORTS.16](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.16) | (assertEqual (f 2)) | (103) | (103) | +| MODULE-SYSTEM.F1-IMPORTS.17 | PASS |[MODULE-SYSTEM.F1-IMPORTS.17](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_imports.metta.html#MODULE-SYSTEM.F1-IMPORTS.17) | (assertEqualToResult (dup 2)) | (102 12) | (12 102) | +| MODULE-SYSTEM.F1-MODULEA.01 | PASS |[MODULE-SYSTEM.F1-MODULEA.01](https://logicmoo.org/public/metta/reports/tests_output/testrun_20240814_001146/tests/baseline_compat/module-system/f1_moduleA.metta.html#MODULE-SYSTEM.F1-MODULEA.01) | (assertEqual (+ 1 2)) | (3) | (3) | From f33ab4045a2c23ee7e0140482c4906c0754839cf Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:05:46 -0700 Subject: [PATCH 07/20] resorts/SHARED.UNITS.PREV.md --- scripts/run_commit_tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/run_commit_tests.sh b/scripts/run_commit_tests.sh index f8b6853ccfb..ae0e0a22c9f 100755 --- a/scripts/run_commit_tests.sh +++ b/scripts/run_commit_tests.sh @@ -4,5 +4,5 @@ # Replace the following lines with the actual commands to generate the input file. #echo "| ANTI-REGRESSION.BC-COMP.01 | PASS |(https://example.com/test-report) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) |" > /tmp/SHARED.UNITS -cat ./scripts/SHARED.UNITS.PREV.md > /tmp/SHARED.UNITS +cat ./reports/SHARED.UNITS.PREV.md > /tmp/SHARED.UNITS # You can add more lines or commands to generate additional input data From 824dcd584791c0ee47c6fe2085865fae51b2c6be Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:10:28 -0700 Subject: [PATCH 08/20] --report-matrix junit-matrix-report.html --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bacb8cbe9a3..6ae4d43c405 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -42,7 +42,7 @@ jobs: - name: Convert JUnit XML to Matrix HTML Report run: | - junit2html junit.xml junit-matrix-report.html --report-matrix + junit2html junit.xml --report-matrix junit-matrix-report.html - name: Upload JUnit XML Report uses: actions/upload-artifact@v3 From cdd27b270f03bde21b03d38e1625a4730201e1dc Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:18:47 -0700 Subject: [PATCH 09/20] junit-matrix-report.html --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6ae4d43c405..5e11f7c07ce 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -42,7 +42,7 @@ jobs: - name: Convert JUnit XML to Matrix HTML Report run: | - junit2html junit.xml --report-matrix junit-matrix-report.html + junit2html --report-matrix junit-matrix-report.html junit.xml - name: Upload JUnit XML Report uses: actions/upload-artifact@v3 From d55e50b6ac01737fb0288012a5c87c11385f5b32 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:24:16 -0700 Subject: [PATCH 10/20] Continue even if step fails --- .github/workflows/ci.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5e11f7c07ce..c99ab30dfa1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -37,10 +37,12 @@ jobs: python scripts/into_junit.py /tmp/SHARED.UNITS > junit.xml - name: Convert JUnit XML to Standard HTML Report + continue-on-error: true # Continue even if this step fails run: | junit2html junit.xml junit-standard-report.html - name: Convert JUnit XML to Matrix HTML Report + continue-on-error: true # Continue even if this step fails run: | junit2html --report-matrix junit-matrix-report.html junit.xml @@ -49,7 +51,7 @@ jobs: with: name: junit-report path: junit.xml - + - name: Upload Standard HTML Report uses: actions/upload-artifact@v3 with: @@ -61,8 +63,9 @@ jobs: with: name: junit-matrix-html-report path: junit-matrix-report.html - + - name: Display JUnit Test Results + continue-on-error: true # Continue even if this step fails uses: dorny/test-reporter@v1 with: name: 'JUnit Results' From 621387b9afeb3b2db4f8962e3391ad68a648ce62 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:32:46 -0700 Subject: [PATCH 11/20] fail-on-error: false # Do not fail the job if tests fail (yet) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c99ab30dfa1..7689b284cfa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -65,12 +65,12 @@ jobs: path: junit-matrix-report.html - name: Display JUnit Test Results - continue-on-error: true # Continue even if this step fails uses: dorny/test-reporter@v1 with: name: 'JUnit Results' path: 'junit.xml' reporter: 'java-junit' # Correct reporter type for JUnit XML + fail-on-error: false # Do not fail the job if tests fail - name: Display HTML Report Information run: | From 3f6242b13881e7d65800c3c5bfff185586cc8ba1 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:43:57 -0700 Subject: [PATCH 12/20] JUnit test comparison report is also available. --- .github/workflows/ci.yml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7689b284cfa..54acafe9ba0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -name: CI Job to Generate JUnit Reports +name: CI Job to Generate JUnit Reports with Diff on: push: @@ -72,6 +72,13 @@ jobs: reporter: 'java-junit' # Correct reporter type for JUnit XML fail-on-error: false # Do not fail the job if tests fail + - name: Compare JUnit Test Results + uses: mikepenz/action-junit-report@v3 + with: + report_paths: junit.xml + compare_to_previous: true + fail_on_failure: false + - name: Display HTML Report Information run: | - echo "Both standard and matrix HTML reports are available as artifacts." + echo "Both standard and matrix HTML reports are available as artifacts. JUnit test comparison report is also available." From 87a32056a04e97d1da5e423b72b594e9d28e2844 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:47:16 -0700 Subject: [PATCH 13/20] Trigger CI --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 173f851e2dd..9ca4dbcbcd9 100755 --- a/README.md +++ b/README.md @@ -303,3 +303,4 @@ clear ; mettalog --test --v=./src/canary --log --html --compile=false tests/base | `functionC` | - [ ] | - [ ] | - [ ] | - [ ] | - [ ] | + From c6303b0f1ff59d115abcf55933f4b1b1942f9001 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 02:02:12 -0700 Subject: [PATCH 14/20] Diff JUnit Test Results --- .github/workflows/ci.yml | 23 ++++++++++++++++++----- 1 file changed, 18 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 54acafe9ba0..62d15069001 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -37,12 +37,12 @@ jobs: python scripts/into_junit.py /tmp/SHARED.UNITS > junit.xml - name: Convert JUnit XML to Standard HTML Report - continue-on-error: true # Continue even if this step fails + continue-on-error: true # Continue to the next step even if this one fails run: | junit2html junit.xml junit-standard-report.html - name: Convert JUnit XML to Matrix HTML Report - continue-on-error: true # Continue even if this step fails + continue-on-error: true # Continue to the next step even if this one fails run: | junit2html --report-matrix junit-matrix-report.html junit.xml @@ -72,13 +72,26 @@ jobs: reporter: 'java-junit' # Correct reporter type for JUnit XML fail-on-error: false # Do not fail the job if tests fail - - name: Compare JUnit Test Results + - name: Compare JUnit Test Results with mikepenz uses: mikepenz/action-junit-report@v3 with: report_paths: junit.xml compare_to_previous: true - fail_on_failure: false + fail_on_failure: false # Do not fail the job if tests fail + + - name: Diff JUnit Test Results + uses: Juit/junit-diff@v1.0.2 + with: + base-junit: junit-report/base.xml # Adjust to your previous report location + head-junit: junit.xml # The current test report + output: junit-diff-report.html + + - name: Upload JUnit Diff Report + uses: actions/upload-artifact@v3 + with: + name: junit-diff-html-report + path: junit-diff-report.html - name: Display HTML Report Information run: | - echo "Both standard and matrix HTML reports are available as artifacts. JUnit test comparison report is also available." + echo "Standard, matrix, and diff HTML reports are available as artifacts. JUnit test comparison reports are also available." From aed48704a969951c705d2e036b3437ffd1599127 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 02:11:27 -0700 Subject: [PATCH 15/20] Standard, matrix, and comparison HTML reports are available as artifacts. --- .github/workflows/ci.yml | 27 +++++++++++++-------------- 1 file changed, 13 insertions(+), 14 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 62d15069001..af13c4aa8b8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -72,26 +72,25 @@ jobs: reporter: 'java-junit' # Correct reporter type for JUnit XML fail-on-error: false # Do not fail the job if tests fail - - name: Compare JUnit Test Results with mikepenz - uses: mikepenz/action-junit-report@v3 + - name: Download Previous JUnit Results + uses: actions/download-artifact@v3 with: - report_paths: junit.xml - compare_to_previous: true - fail_on_failure: false # Do not fail the job if tests fail + name: junit-report + path: previous-junit.xml # Save as previous-junit.xml - - name: Diff JUnit Test Results - uses: Juit/junit-diff@v1.0.2 + - name: Compare JUnit Test Results with ReportGenerator + uses: danielpalme/reportgenerator-action@5.1.10 with: - base-junit: junit-report/base.xml # Adjust to your previous report location - head-junit: junit.xml # The current test report - output: junit-diff-report.html + reports: 'previous-junit.xml;junit.xml' + targetdir: './comparison-report' + reporttypes: 'HtmlSummary;HtmlChart' - - name: Upload JUnit Diff Report + - name: Upload JUnit Comparison Report uses: actions/upload-artifact@v3 with: - name: junit-diff-html-report - path: junit-diff-report.html + name: junit-comparison-html-report + path: ./comparison-report - name: Display HTML Report Information run: | - echo "Standard, matrix, and diff HTML reports are available as artifacts. JUnit test comparison reports are also available." + echo "Standard, matrix, and comparison HTML reports are available as artifacts." From 76d8545965e4dc1ede27e3dc74569af955ba5574 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 02:15:32 -0700 Subject: [PATCH 16/20] Standard, matrix, and comparison HTML reports are available as artifacts. --- .github/workflows/ci.yml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index af13c4aa8b8..d9590a8cf1b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -78,12 +78,16 @@ jobs: name: junit-report path: previous-junit.xml # Save as previous-junit.xml + - name: Install ReportGenerator + run: | + dotnet tool install -g dotnet-reportgenerator-globaltool + - name: Compare JUnit Test Results with ReportGenerator - uses: danielpalme/reportgenerator-action@5.1.10 - with: - reports: 'previous-junit.xml;junit.xml' - targetdir: './comparison-report' - reporttypes: 'HtmlSummary;HtmlChart' + run: | + reportgenerator \ + -reports:"previous-junit.xml;junit.xml" \ + -targetdir:"./comparison-report" \ + -reporttypes:"HtmlSummary;HtmlChart" - name: Upload JUnit Comparison Report uses: actions/upload-artifact@v3 From 7273f923c4cddc425fd0f3d0a4176032b64c306c Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 06:09:12 -0700 Subject: [PATCH 17/20] JUnit reports, Allure report, and test comparison reports are available as artifacts. --- .github/workflows/ci.yml | 45 +++++++++++++++++++++++++++++++----- scripts/into_junit.py | 49 ++++++++++++++++++++++++---------------- 2 files changed, 68 insertions(+), 26 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d9590a8cf1b..38068ceb192 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -name: CI Job to Generate JUnit Reports with Diff +name: CI Job to Generate JUnit Reports with Diff and Allure Reports on: push: @@ -29,36 +29,41 @@ jobs: run: chmod +x scripts/run_commit_tests.sh - name: Run Shell Script to Generate Input File + continue-on-error: true # extra: Continue even if this step fails run: | ./scripts/run_commit_tests.sh - name: Run JUnit Report Generation Script + continue-on-error: true # extra: Continue even if this step fails run: | python scripts/into_junit.py /tmp/SHARED.UNITS > junit.xml - name: Convert JUnit XML to Standard HTML Report - continue-on-error: true # Continue to the next step even if this one fails + continue-on-error: true # extra: Continue even if this step fails run: | junit2html junit.xml junit-standard-report.html - name: Convert JUnit XML to Matrix HTML Report - continue-on-error: true # Continue to the next step even if this one fails + continue-on-error: true # extra: Continue even if this step fails run: | junit2html --report-matrix junit-matrix-report.html junit.xml - name: Upload JUnit XML Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-report path: junit.xml - name: Upload Standard HTML Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-standard-html-report path: junit-standard-report.html - name: Upload Matrix HTML Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-matrix-html-report @@ -73,10 +78,11 @@ jobs: fail-on-error: false # Do not fail the job if tests fail - name: Download Previous JUnit Results + continue-on-error: true # extra: Continue even if this step fails uses: actions/download-artifact@v3 with: name: junit-report - path: previous-junit.xml # Save as previous-junit.xml + path: previous-junit.xml - name: Install ReportGenerator run: | @@ -90,11 +96,38 @@ jobs: -reporttypes:"HtmlSummary;HtmlChart" - name: Upload JUnit Comparison Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-comparison-html-report path: ./comparison-report - - name: Display HTML Report Information + - name: Install Allure run: | - echo "Standard, matrix, and comparison HTML reports are available as artifacts." + curl -sLo allure-2.17.2.tgz https://github.com/allure-framework/allure2/releases/download/2.17.2/allure-2.17.2.tgz + tar -zxvf allure-2.17.2.tgz + sudo mv allure-2.17.2 /opt/allure + sudo ln -s /opt/allure/bin/allure /usr/bin/allure + + - name: Prepare Allure Results Directory + run: | + mkdir -p ./allure-results + cp junit.xml ./allure-results/ + if [ -f "previous-junit.xml" ]; then + cp previous-junit.xml ./allure-results/ + fi + + - name: Generate Allure Report + run: | + allure generate --clean --output ./allure-report ./allure-results + + - name: Upload Allure Report as Artifact + continue-on-error: true # extra: Continue even if this step fails + uses: actions/upload-artifact@v3 + with: + name: allure-html-report + path: ./allure-report + + - name: Provide Report Links + run: | + echo "JUnit reports, Allure report, and test comparison reports are available as artifacts." diff --git a/scripts/into_junit.py b/scripts/into_junit.py index 875e9c15f45..b7d9e3a7ab7 100644 --- a/scripts/into_junit.py +++ b/scripts/into_junit.py @@ -1,51 +1,52 @@ import xml.etree.ElementTree as ET import sys import re +from collections import defaultdict def create_testcase_element(testclass, testname, stdout, identifier, got, expected, status, url): + # Create the testcase XML element with the class and test name attributes testcase = ET.Element("testcase", classname=testclass, name=testname) - - description = f"Test {identifier} with URL: {url}" - + if status == "PASS": + # If the test passed, add system-out with a clickable link and details system_out = ET.SubElement(testcase, "system-out") system_out.text = f"Test Report\n\nAssertion: {stdout}\nExpected: {expected}\nActual: {got}\n]]>" else: # status == "FAIL" + # If the test failed, add a failure element with details and a clickable link failure_message = f"Test failed: Expected '{expected}' but got '{got}'" failure = ET.SubElement(testcase, "failure", message=failure_message, type="AssertionError") failure.text = f"" system_out = ET.SubElement(testcase, "system-out") system_out.text = f"Test Report\n\nAssertion: {stdout}\nExpected: {expected}\nActual: {got}\n]]>" - + return testcase def parse_test_line(line): + # Split the line into parts based on the table format parts = re.split(r'\s*\|\s*(?![^()]*\))', line.strip()) if len(parts) < 7: raise ValueError(f"Line does not have the expected number of parts: {len(parts)} found") - full_identifier = parts[1].strip() # The second field contains the test class and name + full_identifier = parts[1].strip() # The second field contains the test package/class and name status = parts[2].strip() # The third field contains the pass/fail status url = re.search(r'\((.*?)\)', parts[3]).group(1).strip() # Extract the URL inside the parentheses stdout = parts[4].strip() # The fifth field contains the assertion - got = parts[5].strip() - expected = parts[6].strip() + got = parts[5].strip() # The sixth field contains the actual result + expected = parts[6].strip() # The seventh field contains the expected result try: - testclass, testname = full_identifier.rsplit('.', 1) - if '.' in testclass: - testname = f"{testclass.split('.')[-1]}.{testname}" # Combine to form the correct testname - if not testclass or not testname: - raise ValueError("Test class or test name is empty after splitting.") + # Split the identifier into the package, class, and test names + testpackage, testname = full_identifier.split('.', 1) + if not testpackage or not testname: + raise ValueError("Test package or test name is empty after splitting.") except ValueError as e: raise ValueError(f"Identifier does not contain the expected format: {full_identifier}. Error: {str(e)}") - return testclass, testname, stdout, full_identifier, got, expected, status, url + return testpackage, testname, stdout, full_identifier, got, expected, status, url def generate_junit_xml(input_file): testsuites = ET.Element("testsuites") - testsuite = ET.Element("testsuite", name="Metta Tests") - testsuites.append(testsuite) + packages_dict = defaultdict(list) # Dictionary to group test cases by their testpackage with open(input_file, 'r') as file: for line in file: @@ -53,19 +54,27 @@ def generate_junit_xml(input_file): if line.startswith("|"): try: parts = re.split(r'\s*\|\s*(?![^()]*\))', line.strip()) - testclass, testname, stdout, full_identifier, got, expected, status, url = parse_test_line(line) - testcase = create_testcase_element(testclass, testname, stdout, full_identifier, got, expected, status, url) - testsuite.append(testcase) - print(f"Processing {testclass}.{testname}: {status}", file=sys.stderr) + testpackage, testname, stdout, full_identifier, got, expected, status, url = parse_test_line(line) + testcase = create_testcase_element(testpackage, testname, stdout, full_identifier, got, expected, status, url) + packages_dict[testpackage].append(testcase) + print(f"Processing {testpackage}.{testname}: {status}", file=sys.stderr) except ValueError as e: print(f"Skipping line due to error: {e}\nLine: {line}\nParts: {parts}", file=sys.stderr) + # Create a testsuite for each testpackage group + for testpackage, testcases in packages_dict.items(): + testsuite = ET.Element("testsuite", name=testpackage) + for testcase in testcases: + testsuite.append(testcase) + testsuites.append(testsuite) + + # Generate the XML tree and return it as a string tree = ET.ElementTree(testsuites) return ET.tostring(testsuites, encoding="utf-8", xml_declaration=True).decode("utf-8") if __name__ == "__main__": if len(sys.argv) != 2: - print("Usage: python generate_junit.py ") + print("Usage: python scripts/into_junit.py ") sys.exit(1) input_file = sys.argv[1] From be2fd1ef8800bacdbffe647d27c218c886838e06 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 06:14:22 -0700 Subject: [PATCH 18/20] Add permissions for contents and checks to avoid integration errors --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 38068ceb192..fc176d6345f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,6 +8,10 @@ on: branches: - main +permissions: + contents: write + checks: write + jobs: generate-reports: runs-on: ubuntu-latest From 735bd60809010ebc59f9737920d6b7843db3b209 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 06:14:38 -0700 Subject: [PATCH 19/20] Add permissions for contents and checks to avoid integration errors --- .github/workflows/ci.yml | 49 +++++++++++++++++++++++++++++++++++----- 1 file changed, 43 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d9590a8cf1b..fc176d6345f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -name: CI Job to Generate JUnit Reports with Diff +name: CI Job to Generate JUnit Reports with Diff and Allure Reports on: push: @@ -8,6 +8,10 @@ on: branches: - main +permissions: + contents: write + checks: write + jobs: generate-reports: runs-on: ubuntu-latest @@ -29,36 +33,41 @@ jobs: run: chmod +x scripts/run_commit_tests.sh - name: Run Shell Script to Generate Input File + continue-on-error: true # extra: Continue even if this step fails run: | ./scripts/run_commit_tests.sh - name: Run JUnit Report Generation Script + continue-on-error: true # extra: Continue even if this step fails run: | python scripts/into_junit.py /tmp/SHARED.UNITS > junit.xml - name: Convert JUnit XML to Standard HTML Report - continue-on-error: true # Continue to the next step even if this one fails + continue-on-error: true # extra: Continue even if this step fails run: | junit2html junit.xml junit-standard-report.html - name: Convert JUnit XML to Matrix HTML Report - continue-on-error: true # Continue to the next step even if this one fails + continue-on-error: true # extra: Continue even if this step fails run: | junit2html --report-matrix junit-matrix-report.html junit.xml - name: Upload JUnit XML Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-report path: junit.xml - name: Upload Standard HTML Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-standard-html-report path: junit-standard-report.html - name: Upload Matrix HTML Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-matrix-html-report @@ -73,10 +82,11 @@ jobs: fail-on-error: false # Do not fail the job if tests fail - name: Download Previous JUnit Results + continue-on-error: true # extra: Continue even if this step fails uses: actions/download-artifact@v3 with: name: junit-report - path: previous-junit.xml # Save as previous-junit.xml + path: previous-junit.xml - name: Install ReportGenerator run: | @@ -90,11 +100,38 @@ jobs: -reporttypes:"HtmlSummary;HtmlChart" - name: Upload JUnit Comparison Report + continue-on-error: true # extra: Continue even if this step fails uses: actions/upload-artifact@v3 with: name: junit-comparison-html-report path: ./comparison-report - - name: Display HTML Report Information + - name: Install Allure + run: | + curl -sLo allure-2.17.2.tgz https://github.com/allure-framework/allure2/releases/download/2.17.2/allure-2.17.2.tgz + tar -zxvf allure-2.17.2.tgz + sudo mv allure-2.17.2 /opt/allure + sudo ln -s /opt/allure/bin/allure /usr/bin/allure + + - name: Prepare Allure Results Directory + run: | + mkdir -p ./allure-results + cp junit.xml ./allure-results/ + if [ -f "previous-junit.xml" ]; then + cp previous-junit.xml ./allure-results/ + fi + + - name: Generate Allure Report + run: | + allure generate --clean --output ./allure-report ./allure-results + + - name: Upload Allure Report as Artifact + continue-on-error: true # extra: Continue even if this step fails + uses: actions/upload-artifact@v3 + with: + name: allure-html-report + path: ./allure-report + + - name: Provide Report Links run: | - echo "Standard, matrix, and comparison HTML reports are available as artifacts." + echo "JUnit reports, Allure report, and test comparison reports are available as artifacts." From cc9c0c5a36d30f29ec301293ffd7c57499ed5366 Mon Sep 17 00:00:00 2001 From: "Douglas R. Miles" Date: Wed, 14 Aug 2024 07:35:42 -0700 Subject: [PATCH 20/20] Update README.md --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 9ca4dbcbcd9..53073b04b30 100755 --- a/README.md +++ b/README.md @@ -8,12 +8,14 @@ See [Tests](tests/) for MeTTa as well as [Results](reports/TEST_LINKS.md) ## :package: Getting Started ### :toolbox: Installation + +_Before you get started make sure `pip` and `venv` are working good._ + Clone and set up MeTTaLog with the following commands: ``` git clone https://github.com/trueagi-io/metta-wam - cd metta-wam -. scripts/ensure_venv # ensures we are runing in a python venv +. scripts/ensure_venv # ensures we are running in a python venv pip install ansi2html # needed for running tests pip install hyperon # needed for running tests pip install junit2html # needed for test report generation