eyelang 1.7.6 → 1.7.7

package/conformance-report.md

@@ -4,23 +4,22 @@ This report summarizes the file-based conformance corpus under `test/conformance
 
 | Category | Positive | Errors | Warnings | Proofs | Total |
 |---|---:|---:|---:|---:|---:|
-| aggregation | 5 | 0 | 0 | 0 | 5 |
-| arithmetic | 12 | 0 | 0 | 0 | 12 |
-| atoms | 14 | 5 | 0 | 0 | 19 |
-| builtins | 2 | 0 | 0 | 0 | 2 |
-| context | 3 | 0 | 0 | 0 | 3 |
-| control | 5 | 0 | 0 | 0 | 5 |
-| declarations | 5 | 0 | 0 | 0 | 5 |
-| legacy-numbered | 104 | 0 | 0 | 0 | 104 |
-| lists | 18 | 1 | 0 | 0 | 19 |
-| materialize | 2 | 0 | 0 | 0 | 2 |
-| negation | 3 | 0 | 13 | 0 | 16 |
+| aggregation | 12 | 0 | 0 | 0 | 12 |
+| arithmetic | 26 | 0 | 0 | 0 | 26 |
+| atoms | 18 | 5 | 0 | 0 | 23 |
+| builtins | 5 | 0 | 0 | 0 | 5 |
+| context | 7 | 0 | 0 | 0 | 7 |
+| control | 9 | 0 | 0 | 0 | 9 |
+| declarations | 6 | 0 | 0 | 0 | 6 |
+| lists | 38 | 1 | 0 | 0 | 39 |
+| materialize | 6 | 0 | 0 | 0 | 6 |
+| negation | 6 | 0 | 13 | 0 | 19 |
 | proofs | 0 | 0 | 0 | 8 | 8 |
-| rules | 2 | 1 | 0 | 0 | 3 |
-| strings | 15 | 0 | 0 | 0 | 15 |
-| syntax | 4 | 19 | 0 | 0 | 23 |
-| table | 2 | 0 | 0 | 0 | 2 |
-| terms | 10 | 1 | 0 | 0 | 11 |
-| unification | 4 | 0 | 0 | 0 | 4 |
-| variables | 8 | 8 | 0 | 0 | 16 |
+| rules | 10 | 1 | 0 | 0 | 11 |
+| strings | 28 | 0 | 0 | 0 | 28 |
+| syntax | 9 | 19 | 0 | 0 | 28 |
+| table | 4 | 0 | 0 | 0 | 4 |
+| terms | 15 | 1 | 0 | 0 | 16 |
+| unification | 7 | 0 | 0 | 0 | 7 |
+| variables | 12 | 8 | 0 | 0 | 20 |
 | **Total** | **218** | **35** | **13** | **8** | **274** |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyelang",
-  "version": "1.7.6",
+  "version": "1.7.7",
   "description": "A small Prolog-like logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",

package/test/conformance/README.md

@@ -4,6 +4,8 @@ This directory contains the executable conformance cases for the Eyelang languag
 
 The suite is intentionally file-based so another implementation can run the same programs and compare exact standard output, expected errors, expected warnings, and expected proof output. The conformance corpus is part of the public language contract, not just an implementation smoke test.
 
+All conformance files live under topic directories such as `arithmetic/`, `lists/`, `syntax/`, or `variables/`; new top-level numbered files should not be added. The report uses those directories as coverage categories.
+
 A normal positive case consists of:
 
 - `conformance/cases/<name>.eye` — input program;

package/test/run-regression.mjs

@@ -373,6 +373,7 @@ function documentationSyncCases() {
         assertArrayEqual(report.issues, [], 'conformance report issues');
         assertEqual(report.total.total >= 250, true, 'conformance case count');
         assertEqual(report.total.positive + report.total.errors + report.total.warnings + report.total.proofs, report.total.total, 'conformance total');
+        assertEqual(report.rows.some((row) => row.category === 'legacy-numbered'), false, 'legacy-numbered category');
         const text = formatConformanceReport(report);
         assertIncludes(text, '| variables |', 'report');
         assertIncludes(text, '| Proofs |', 'report');