eyelang 1.7.3 → 1.7.5

package/test/conformance/expected-warnings/negation/no_negation_quiet.eye

@@ -0,0 +1 @@
+answer(ok).

package/test/conformance/expected-warnings/negation/stratified_negative_unknown_after_positive_quiet.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected-warnings/negation/stratified_two_level_quiet.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected-warnings/negation/unstratified_positive_prefix.txt

@@ -0,0 +1,2 @@
+eyelang warning: unstratified negation
+  helper/1 depends negatively on q/1

package/test/conformance/expected-warnings/negation/unstratified_three_step.eye

@@ -0,0 +1 @@
+answer(ok).

package/test/conformance/expected-warnings/negation/unstratified_three_step.txt

@@ -0,0 +1,2 @@
+eyelang warning: unstratified negation
+  r/1 depends negatively on p/1

package/test/conformance/expected-warnings/negation/unstratified_two_arity_cycle.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/2 depends negatively on q/2
+  q/2 depends negatively on p/2

package/test/conformance/expected-warnings/negation/unstratified_two_independent_cycles.txt

@@ -0,0 +1,5 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1
+  r/1 depends negatively on s/1
+  s/1 depends negatively on r/1

package/test/conformance/expected-warnings/negation/unstratified_with_iri_predicates.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1

package/test/conformance/expected-warnings/negation/warning_preserves_multiple_stdout_answers.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1

package/test/conformance/warnings/negation/negative_unknown_group_quiet.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(missing(ok)).

package/test/conformance/warnings/negation/no_negation_quiet.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+seed(ok).
+answer(?x) :- seed(?x).

package/test/conformance/warnings/negation/stratified_negative_unknown_after_positive_quiet.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+item(a).
+answer(?x) :- item(?x), not(missing(?x)).

package/test/conformance/warnings/negation/stratified_two_level_quiet.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+base(a).
+blocked(b).
+allowed(?x) :- base(?x), not(blocked(?x)).
+answer(?x) :- allowed(?x).

package/test/conformance/warnings/negation/unstratified_positive_prefix.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(a) :- helper(a).
+helper(a) :- not(q(a)).
+q(a) :- p(a).
+answer(ok).

package/test/conformance/warnings/negation/unstratified_three_step.eye

@@ -0,0 +1,6 @@
+materialize(answer, 1).
+p(a) :- q(a).
+q(a) :- r(a).
+r(a) :- not(p(a)).
+seed(ok).
+answer(?x) :- seed(?x).

package/test/conformance/warnings/negation/unstratified_two_arity_cycle.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+p(a, b) :- not(q(a, b)).
+q(a, b) :- not(p(a, b)).
+answer(ok).

package/test/conformance/warnings/negation/unstratified_two_independent_cycles.eye

@@ -0,0 +1,6 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(p(a)).
+r(a) :- not(s(a)).
+s(a) :- not(r(a)).
+answer(ok).

package/test/conformance/warnings/negation/unstratified_with_iri_predicates.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+p(<urn:example:a>) :- not(q(<urn:example:a>)).
+q(<urn:example:a>) :- not(p(<urn:example:a>)).
+answer(ok).

package/test/conformance/warnings/negation/warning_preserves_multiple_stdout_answers.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(p(a)).
+answer(a).
+answer(b).

package/test/run-conformance-report.mjs

@@ -0,0 +1,108 @@
+#!/usr/bin/env node
+// Static conformance corpus report.
+// This complements the executable runner with a category summary that makes
+// coverage growth visible without running every case.
+import fs from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+
+const root = path.resolve(path.dirname(fileURLToPath(import.meta.url)));
+const conformanceRoot = path.join(root, 'conformance');
+
+const KINDS = [
+  { kind: 'cases', expectedKind: 'expected', expectedExt: '.eye', column: 'positive' },
+  { kind: 'errors', expectedKind: 'expected-errors', expectedExt: '.txt', column: 'errors' },
+  { kind: 'warnings', expectedKind: 'expected-warnings', expectedExt: '.eye', column: 'warnings' },
+];
+
+export function buildConformanceReport() {
+  const categories = new Map();
+  const issues = [];
+
+  for (const { kind, expectedKind, expectedExt, column } of KINDS) {
+    const base = path.join(conformanceRoot, kind);
+    if (!fs.existsSync(base)) continue;
+    for (const file of listEyeFiles(base)) {
+      const category = categoryOf(file);
+      const counts = ensureCategory(categories, category);
+      counts[column]++;
+      counts.total++;
+
+      const stem = file.slice(0, -4);
+      const expected = path.join(conformanceRoot, expectedKind, `${stem}${expectedExt}`);
+      if (!fs.existsSync(expected)) issues.push(`missing ${expectedKind}/${stem}${expectedExt}`);
+      if (kind === 'warnings') {
+        const expectedStderr = path.join(conformanceRoot, expectedKind, `${stem}.txt`);
+        if (!fs.existsSync(expectedStderr)) issues.push(`missing ${expectedKind}/${stem}.txt`);
+      }
+    }
+  }
+
+  const rows = [...categories.entries()]
+    .sort(([a], [b]) => a.localeCompare(b))
+    .map(([category, counts]) => ({ category, ...counts }));
+  const total = rows.reduce((acc, row) => ({
+    positive: acc.positive + row.positive,
+    errors: acc.errors + row.errors,
+    warnings: acc.warnings + row.warnings,
+    total: acc.total + row.total,
+  }), { positive: 0, errors: 0, warnings: 0, total: 0 });
+
+  return { rows, total, issues: issues.sort() };
+}
+
+export function formatConformanceReport(report = buildConformanceReport()) {
+  const lines = [
+    '# Conformance Eyelang report',
+    '',
+    'This report summarizes the file-based conformance corpus under `test/conformance/`.',
+    '',
+    '| Category | Positive | Errors | Warnings | Total |',
+    '|---|---:|---:|---:|---:|',
+  ];
+
+  for (const row of report.rows) {
+    lines.push(`| ${row.category} | ${row.positive} | ${row.errors} | ${row.warnings} | ${row.total} |`);
+  }
+  lines.push(`| **Total** | **${report.total.positive}** | **${report.total.errors}** | **${report.total.warnings}** | **${report.total.total}** |`);
+
+  if (report.issues.length > 0) {
+    lines.push('', '## Corpus issues', '');
+    for (const issue of report.issues) lines.push(`- ${issue}`);
+  }
+
+  return `${lines.join('\n')}\n`;
+}
+
+function listEyeFiles(base, dir = base) {
+  const files = [];
+  for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
+    const full = path.join(dir, entry.name);
+    if (entry.isDirectory()) {
+      files.push(...listEyeFiles(base, full));
+    } else if (entry.isFile() && entry.name.endsWith('.eye')) {
+      files.push(path.relative(base, full).split(path.sep).join('/'));
+    }
+  }
+  return files.sort();
+}
+
+function categoryOf(file) {
+  const parts = file.split('/');
+  return parts.length > 1 ? parts[0] : 'legacy-numbered';
+}
+
+function ensureCategory(categories, category) {
+  let counts = categories.get(category);
+  if (!counts) {
+    counts = { positive: 0, errors: 0, warnings: 0, total: 0 };
+    categories.set(category, counts);
+  }
+  return counts;
+}
+
+if (process.argv[1] != null && path.resolve(process.argv[1]) === fileURLToPath(import.meta.url)) {
+  const report = buildConformanceReport();
+  process.stdout.write(formatConformanceReport(report));
+  if (report.issues.length > 0) process.exit(1);
+}

package/test/run-regression.mjs

@@ -35,6 +35,7 @@ import {
 import { parseGoalText } from '../src/parser.js';
 import { selectClauseCandidates } from '../src/program.js';
 import { TestReporter, isMainModule } from './test-style.mjs';
+import { buildConformanceReport, formatConformanceReport } from './run-conformance-report.mjs';
 import { hashHex } from '../src/hash.js';
 
 const testRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)));
@@ -365,6 +366,18 @@ function documentationSyncCases() {
       name: 'documented npm scripts exist in package.json',
       run: () => assertArrayEqual(missingDocumentedPackageScripts(), [], 'missing documented npm scripts'),
     },
+    {
+      name: 'conformance report summarizes public corpus',
+      run: () => {
+        const report = buildConformanceReport();
+        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.total, 'conformance total');
+        const text = formatConformanceReport(report);
+        assertIncludes(text, '| variables |', 'report');
+        assertIncludes(text, '| **Total** |', 'report');
+      },
+    },
     {
       name: 'source-checkout setup docs match package bin',
       run: () => {