eyeling 1.34.6 → 2.34.7

package/test/eyelang/conformance/expected/100_reusable_builtin_workflow.pl

@@ -1,6 +0,0 @@
-answer(total(alice), 15).
-answer(total(bob), 6).
-answer(maximum(alice), 7).
-answer(maximum(bob), 4).
-answer(report(alice), "alice:3").
-answer(report(bob), "bob:2").

package/test/eyelang/conformance/expected/core/001_fact_output.out

@@ -1 +0,0 @@
-parent(pat, jan).

package/test/eyelang/conformance/expected/core/002_rule_recursion.out

@@ -1,2 +0,0 @@
-ancestor(pat, jan).
-ancestor(pat, emma).

package/test/eyelang/conformance/expected/core/003_terms_and_readback.out

@@ -1,13 +0,0 @@
-value(atom, pat).
-value(quoted_atom, 'atom with spaces').
-value(quoted_quote, 'needs''quote').
-value(empty_atom, '').
-value(string, "line\nquote: \"ok\"").
-value(integer, -42).
-value(decimal, 0.25).
-value(scientific, 1.25e-3).
-value(compound, pair(3, nested(atom, [x, y]))).
-value(zero_arity, nil()).
-value(empty_list, []).
-value(proper_list, [a, b, c]).
-value(improper_list, [a, b | tail]).

package/test/eyelang/conformance/expected/core/004_conjunction_and_parentheses.out

@@ -1 +0,0 @@
-ok(a, yes).

package/test/eyelang/conformance/expected/core/005_list_deconstruction.out

@@ -1,2 +0,0 @@
-answer(first, a).
-answer(tail, [b, c]).

package/test/eyelang/conformance/expected/core/006_comma_formula_data.out

@@ -1 +0,0 @@
-answer(formula, (name(alice, "Alice"), knows(alice, bob))).

package/test/eyelang/conformance/expected/core/007_anonymous_variables.out

@@ -1 +0,0 @@
-answer(fresh, yes).

package/test/eyelang/conformance/expected/core/008_graphic_atoms.out

@@ -1,3 +0,0 @@
-value(hash, #).
-value(arrow, =>).
-value(comparison, =<).

package/test/eyelang/conformance/expected/core/009_comments_and_whitespace.out

@@ -1,2 +0,0 @@
-answer(quoted_percent, "% not a comment").
-answer(quoted_atom, 'has % sign').

package/test/eyelang/conformance/expected/core/010_variable_scope_and_reuse.out

@@ -1,2 +0,0 @@
-answer(from_a, c).
-answer(from_b, d).

package/test/eyelang/conformance/expected/core/011_predicate_arity.out

@@ -1,2 +0,0 @@
-answer(unary, a).
-answer(binary, pair(a, b)).

package/test/eyelang/conformance/expected/core/012_nested_compound_unification.out

@@ -1,2 +0,0 @@
-answer(middle, b).
-answer(list_tail, [d]).

package/test/eyelang/conformance/expected/core/013_multiple_clauses_order.out

@@ -1,2 +0,0 @@
-answer(color, red).
-answer(color, blue).

package/test/eyelang/conformance/expected/core/014_failure_filters_answers.out

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

package/test/eyelang/conformance/expected/core/015_improper_list_unification.out

@@ -1,3 +0,0 @@
-answer(list, [head | tail]).
-answer(head, head).
-answer(tail, tail).

package/test/eyelang/conformance/expected/core/016_zero_arity_compound.out

@@ -1 +0,0 @@
-answer(value, nil()).

package/test/eyelang/conformance/expected/core/017_three_step_recursion.out

@@ -1,3 +0,0 @@
-answer(reachable, b).
-answer(reachable, c).
-answer(reachable, d).

package/test/eyelang/conformance/expected/core/018_quoted_atom_readback.out

@@ -1,3 +0,0 @@
-answer(symbol, 'two words').
-answer(symbol, 'needs''quote').
-answer(symbol, '').

package/test/eyelang/conformance/expected/core/019_parenthesized_three_conjuncts.out

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

package/test/eyelang/conformance/expected/core/020_nested_list_terms.out

@@ -1,2 +0,0 @@
-answer(first_key, a).
-answer(second_key, c).

package/test/eyelang/conformance/expected/core/021_repeated_variable_head.out

@@ -1,2 +0,0 @@
-answer(diagonal, a).
-answer(diagonal, c).

package/test/eyelang/conformance/expected/core/022_rule_head_structure.out

@@ -1,2 +0,0 @@
-answer(first, alpha).
-answer(second, beta).

package/test/eyelang/conformance/expected/core/023_quoted_escapes_readback.out

@@ -1,2 +0,0 @@
-answer(string, "line\nnext	\\slash").
-answer(atom, 'line\nnext\t\\slash').

package/test/eyelang/conformance/expected/core/024_numeric_literal_readback.out

@@ -1,3 +0,0 @@
-answer(negative_decimal, -3.5).
-answer(positive_exp, 6.02e23).
-answer(negative_exp, -1.0e-3).

package/test/eyelang/conformance/expected/core/025_body_parentheses_with_formula_data.out

@@ -1 +0,0 @@
-answer(ok, (left(a), right(b))).

package/test/eyelang/conformance/expected/core/026_underscore_named_variable_reuse.out

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

package/test/eyelang/conformance/expected/extension/001_default_derived_output.out

@@ -1,3 +0,0 @@
-ancestor(pat, jan).
-ancestor(jan, emma).
-ancestor(pat, emma).

package/test/eyelang/conformance/expected/extension/002_materialize_focus.out

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

package/test/eyelang/conformance/expected/extension/003_arithmetic_and_comparison.out

@@ -1,9 +0,0 @@
-answer(sum, 5).
-answer(diff, 3).
-answer(product, 42).
-answer(integer_division, 3).
-answer(remainder, 1).
-answer(power, 256).
-answer(minimum, 3).
-answer(less_than, true).
-answer(greater_equal, true).

package/test/eyelang/conformance/expected/extension/004_strings_and_atoms.out

@@ -1,2 +0,0 @@
-answer(str_concat, "eyelang").
-answer(contains, true).

package/test/eyelang/conformance/expected/extension/005_lists_aggregation_ordering.out

@@ -1,9 +0,0 @@
-answer(member, a).
-answer(member, b).
-answer(append, [a, b, c]).
-answer(nth0, b).
-answer(set_nth0, [a, x, c]).
-answer(reverse, [c, b, a]).
-answer(length, 3).
-answer(findall, [1, 2, 3]).
-answer(sort, [a, b]).

package/test/eyelang/conformance/expected/extension/006_holds_parts.out

@@ -1,3 +0,0 @@
-answer(parts, exposed(ready, [])).
-answer(parts, exposed(name, [alice, "Alice"])).
-answer(parts, exposed(route, [alice, bob, 7])).

package/test/eyelang/conformance/expected/extension/007_negation_once_generators.out

@@ -1,2 +0,0 @@
-answer(open, a).
-answer(first_between, 2).

package/test/eyelang/conformance/expected/extension/008_equality_and_inequality.out

@@ -1,4 +0,0 @@
-answer(eq_variable, pair(a, [b, c])).
-answer(eq_nested, true).
-answer(neq_atoms, true).
-answer(neq_structures, true).

package/test/eyelang/conformance/expected/extension/009_list_relations.out

@@ -1,4 +0,0 @@
-answer(rest, [b, c]).
-answer(select, selected(a, [b])).
-answer(select, selected(b, [a])).
-answer(not_member, true).

package/test/eyelang/conformance/expected/extension/010_append_splits.out

@@ -1,3 +0,0 @@
-answer(split, split([], [a, b])).
-answer(split, split([a], [b])).
-answer(split, split([a, b], [])).

package/test/eyelang/conformance/expected/extension/011_matching_and_comparison.out

@@ -1,5 +0,0 @@
-answer(matches, true).
-answer(not_matches, true).
-answer(lex_lt, true).
-answer(lex_gt, true).
-answer(numeric_le, true).

package/test/eyelang/conformance/expected/extension/012_memoize_declaration.out

@@ -1,2 +0,0 @@
-reach(a, b).
-reach(a, c).

package/test/eyelang/conformance/expected/extension/013_numeric_functions.out

@@ -1,7 +0,0 @@
-answer(neg, -5).
-answer(abs, 5).
-answer(rounded, 3).
-answer(sin_zero, 0.0).
-answer(cos_zero, 1.0).
-answer(log_one, 0.0).
-answer(float_division, 3.5).

package/test/eyelang/conformance/expected/extension/014_between_enumeration.out

@@ -1,3 +0,0 @@
-answer(n, 3).
-answer(n, 4).
-answer(n, 5).

package/test/eyelang/conformance/expected/extension/015_smallest_divisor.out

@@ -1 +0,0 @@
-answer(divisor, 3).

package/test/eyelang/conformance/expected/extension/016_negation_filter.out

@@ -1,2 +0,0 @@
-answer(open, a).
-answer(open, c).

package/test/eyelang/conformance/expected/extension/017_once_user_predicate.out

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

package/test/eyelang/conformance/expected/extension/018_findall_user_goal.out

@@ -1 +0,0 @@
-answer(bag, [b, a, b]).

package/test/eyelang/conformance/expected/extension/019_sort_deduplicates_atoms.out

@@ -1 +0,0 @@
-answer(sorted, [a, b, c]).

package/test/eyelang/conformance/expected/extension/020_append_bound_prefix_suffix.out

@@ -1,2 +0,0 @@
-answer(prefix, [a, b]).
-answer(suffix, [b, c]).

package/test/eyelang/conformance/expected/extension/021_nth0_index_generation.out

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

package/test/eyelang/conformance/expected/extension/022_set_nth0_edges.out

@@ -1,2 +0,0 @@
-answer(first, [x, b, c]).
-answer(last, [a, b, z]).

package/test/eyelang/conformance/expected/extension/023_select_duplicate_occurrences.out

@@ -1,2 +0,0 @@
-answer(rest, [b, a]).
-answer(rest, [a, b]).

package/test/eyelang/conformance/expected/extension/024_not_member_filter.out

@@ -1 +0,0 @@
-answer(not_present, c).

package/test/eyelang/conformance/expected/extension/026_nested_holds_parts.out

@@ -1,3 +0,0 @@
-answer(parts, exposed(ready, [])).
-answer(parts, exposed(name, [a, "A"])).
-answer(parts, exposed(route, [a, b, 7])).

package/test/eyelang/conformance/expected/extension/027_holds_member.out

@@ -1,2 +0,0 @@
-answer(member, name(alice, "Alice")).
-answer(member, knows(alice, bob)).

package/test/eyelang/conformance/expected/extension/027_materialize_excludes_source_fact.out

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

package/test/eyelang/conformance/expected/extension/028_numeric_and_lexical_comparison.out

@@ -1,3 +0,0 @@
-answer(numeric_gt, true).
-answer(numeric_le, true).
-answer(lexical_ge, true).

package/test/eyelang/conformance/expected/extension/029_string_matching_filters.out

@@ -1,2 +0,0 @@
-answer(has_ph, a).
-answer(no_ph, b).

package/test/eyelang/conformance/expected/extension/030_string_and_atom_concat.out

@@ -1 +0,0 @@
-answer(string, "eyelang").

package/test/eyelang/conformance/expected/extension/031_countall_empty_and_nonempty.out

@@ -1 +0,0 @@
-answer(counts, counts(2, 0)).

package/test/eyelang/conformance/expected/extension/032_sumall_numeric_template.out

@@ -1 +0,0 @@
-answer(sum, 7).

package/test/eyelang/conformance/expected/extension/033_aggregate_min_template.out

@@ -1 +0,0 @@
-answer(min, result(3, item(beta, 3))).

package/test/eyelang/conformance/expected/extension/034_aggregate_max_compound_key.out

@@ -1 +0,0 @@
-answer(max, result([7, beta], beta)).

package/test/eyelang/conformance/expected/extension/035_date_difference.out

@@ -1,2 +0,0 @@
-answer(duration, "P4Y1D").
-answer(month_borrow, "P1M-1D").

package/test/eyelang/conformance/expected/extension/036_reusable_numeric_builtins.out

@@ -1,8 +0,0 @@
-answer(max, 42).
-answer(sqrt, 9.0).
-answer(floor, 3).
-answer(ceiling, 4).
-answer(trunc, -3).
-answer(exp, 1.0).
-answer(tan, 0.0).
-answer(atan2, 3.1415926535897931).

package/test/eyelang/conformance/expected/extension/037_reusable_list_builtins.out

@@ -1,9 +0,0 @@
-answer(head, alpha).
-answer(last, beta).
-answer(take, [alpha, beta]).
-answer(drop, [gamma, beta]).
-answer(slice, [beta, gamma]).
-answer(sum, 6.5).
-answer(min, 1).
-answer(max, 3).
-answer(set, [beta, alpha, gamma]).

package/test/eyelang/conformance/expected/extension/038_reusable_string_builtins.out

@@ -1,10 +0,0 @@
-answer(trim, "Hello Eyelang").
-answer(lower, "hello eyelang").
-answer(upper, "HELLO EYELANG").
-answer(split, ["red", "green", "blue"]).
-answer(join, "red:green:blue").
-answer(substring, "cde").
-answer(replace, "blue-green-blue").
-answer(number_to_string, "42").
-answer(string_to_number, 3.5).
-answer(atom_string, "eyelang").

package/test/eyelang/conformance/expected/extension/039_reusable_term_control_builtins.out

@@ -1,6 +0,0 @@
-answer(functor, pair(edge, 2)).
-answer(arg, b).
-answer(decompose, pair(edge, [a, b])).
-answer(compose, edge(a, b)).
-answer(term_string, "edge(a, [b, c])").
-answer(forall, ok).

package/test/eyelang/conformance/expected/extension/044_matches_named_captures.out

@@ -1 +0,0 @@
-answer("alice", "login_failed", "4bf92f3577b34da6a3ce929d0e0e4736").

package/test/eyelang/run-all.mjs

@@ -1,20 +0,0 @@
-#!/usr/bin/env node
-// Unified test runner used by `npm test`.
-// Running all suites in one process keeps the numbering continuous and avoids
-// npm's intermediate script banners between conformance, regression, and examples.
-import { TestReporter } from './test-style.mjs';
-import { runConformance } from './run-conformance.mjs';
-import { runRegression } from './run-regression.mjs';
-import { runExamples } from './run-examples.mjs';
-
-const reporter = new TestReporter();
-
-try {
-  runConformance(reporter);
-  runRegression(reporter);
-  runExamples(reporter);
-  reporter.totalLine();
-  process.exit(0);
-} catch (_) {
-  process.exit(1);
-}

package/test/eyelang/run-conformance.mjs

@@ -1,78 +0,0 @@
-#!/usr/bin/env node
-// Conformance test runner.
-// It executes cases in-process so the conformance corpus measures engine behavior instead of Node process startup.
-import fs from 'node:fs';
-import path from 'node:path';
-import { spawnSync } from 'node:child_process';
-import { Program, run } from '../../lib/eyelang/index.js';
-import { fileURLToPath } from 'node:url';
-import { TestReporter, isMainModule } from './test-style.mjs';
-
-const root = path.resolve(path.dirname(fileURLToPath(import.meta.url)));
-const filterArg = process.argv[2] ?? null;
-
-export function runConformance(reporter = new TestReporter(), requestedFilter = null) {
-  const filter = requestedFilter ?? filterArg;
-  const label = filter == null ? 'eyelang' : `eyelang ${filter}`;
-  reporter.section(`Conformance ${label}`);
-  for (const file of listCaseFiles(filter)) runCaseFile(reporter, file);
-  reporter.sectionTotal(`conformance ${label}`);
-}
-
-function listCaseFiles(filter = null) {
-  const casesDir = path.join(root, 'conformance', 'cases');
-  return fs.readdirSync(casesDir)
-    .filter((name) => name.endsWith('.pl'))
-    .filter((name) => filter == null || name.includes(filter) || name.slice(0, -3) === filter)
-    .sort();
-}
-
-function runCaseFile(reporter, file) {
-  const name = file.slice(0, -3);
-  reporter.test(name, () => runCase(name, file));
-}
-
-function runCase(name, file) {
-  const casesDir = path.join(root, 'conformance', 'cases');
-  const expectedDir = path.join(root, 'conformance', 'expected');
-  const programFile = path.join(casesDir, file);
-  const expected = path.join(expectedDir, `${name}.pl`);
-  const text = fs.readFileSync(programFile, 'utf8');
-  const program = Program.parseSources([{ text, filename: file }], { sourceMetadata: false, markRecursive: false });
-  const actual = run(program).stdout;
-
-  if (!fs.existsSync(expected)) {
-    throw new Error(`missing expected file: ${path.relative(root, expected)}`);
-  }
-
-  const expectedText = fs.readFileSync(expected, 'utf8');
-  if (expectedText !== actual) {
-    throw new Error(`output mismatch for ${name}\n${diffText(expected, actual)}`.trimEnd());
-  }
-}
-
-function diffText(expected, actualText) {
-  const diff = spawnSync('diff', ['-u', expected, '-'], { input: actualText, encoding: 'utf8' });
-  if (diff.stdout) return diff.stdout;
-
-  const expectedText = fs.readFileSync(expected, 'utf8').split('\n');
-  const actualLines = actualText.split('\n');
-  const limit = Math.max(expectedText.length, actualLines.length);
-  for (let i = 0; i < limit; i++) {
-    if (expectedText[i] !== actualLines[i]) {
-      return `first difference at line ${i + 1}\nexpected: ${expectedText[i] ?? '<missing>'}\nactual:   ${actualLines[i] ?? '<missing>'}`;
-    }
-  }
-
-  return 'outputs differ';
-}
-
-if (isMainModule(import.meta.url)) {
-  const reporter = new TestReporter();
-  try {
-    runConformance(reporter);
-    reporter.totalLine();
-  } catch (_) {
-    process.exit(1);
-  }
-}

package/test/eyelang/run-examples.mjs

@@ -1,125 +0,0 @@
-#!/usr/bin/env node
-// Example-output test runner.
-// It compares examples byte-for-byte against golden output so answer and proof changes cannot silently alter results.
-import fs from 'node:fs';
-import path from 'node:path';
-import { spawnSync } from 'node:child_process';
-import { Program, run } from '../../lib/eyelang/index.js';
-import { fileURLToPath } from 'node:url';
-import { TestReporter, isMainModule } from './test-style.mjs';
-
-const root = path.resolve(path.dirname(fileURLToPath(import.meta.url)));
-const packageRoot = path.resolve(root, '..', '..');
-const examplesDir = path.join(packageRoot, 'examples', 'eyelang');
-const expectedDir = path.join(examplesDir, 'output');
-const expectedProofDir = path.join(examplesDir, 'proof');
-const fixedExampleDate = '2026-05-30';
-
-const proofExamples = [
-  'age.pl',
-  'aliases-and-namespaces.pl',
-  'ancestor.pl',
-  'animal.pl',
-  'annotation.pl',
-  'backward.pl',
-  'cat-koko.pl',
-  'data-negotiation.pl',
-  'derived-rule.pl',
-  'dog.pl',
-  'electrical-rc-filter.pl',
-  'existential-rule.pl',
-  'floating-point.pl',
-  'good-cobbler.pl',
-  'group-inverse-uniqueness.pl',
-  'list-collection.pl',
-  'proof-contrapositive.pl',
-  'socket-age.pl',
-  'socket-family.pl',
-  'socrates.pl',
-];
-
-export function runExamples(reporter = new TestReporter()) {
-  const files = fs.readdirSync(examplesDir)
-    .filter((name) => exampleIsRunnable(name))
-    .sort();
-
-  reporter.section('Examples');
-  for (const name of files) reporter.test(name, () => runExample(name));
-  reporter.sectionTotal('examples');
-
-  reporter.section('Proof examples');
-  for (const name of proofExamples) reporter.test(name, () => runProofExample(name));
-  reporter.sectionTotal('proof examples');
-}
-
-
-function exampleIsRunnable(name) {
-  return name.endsWith('.pl');
-}
-
-function runExample(name) {
-  const programFile = path.join(examplesDir, name);
-  const expected = path.join(expectedDir, name);
-  const actual = runProgramExample(programFile, name, { proof: false });
-  compareOutput(name, expected, actual, 'output');
-}
-
-function runProofExample(name) {
-  const programFile = path.join(examplesDir, name);
-  const expected = path.join(expectedProofDir, name);
-  const actual = runProgramExample(programFile, name, { proof: true });
-  compareOutput(name, expected, actual, 'proof output');
-}
-
-function runProgramExample(programFile, filename, options) {
-  const oldLocalTime = process.env.EYELANG_LOCAL_TIME;
-  process.env.EYELANG_LOCAL_TIME = fixedExampleDate;
-  try {
-    const text = fs.readFileSync(programFile, 'utf8');
-    const program = Program.parseSources([{ text, filename }], {
-      sourceMetadata: options.proof,
-      markRecursive: options.proof,
-    });
-    return run(program, options).stdout;
-  } finally {
-    if (oldLocalTime == null) delete process.env.EYELANG_LOCAL_TIME;
-    else process.env.EYELANG_LOCAL_TIME = oldLocalTime;
-  }
-}
-
-function compareOutput(name, expected, actual, label) {
-  if (!fs.existsSync(expected)) {
-    throw new Error(`missing expected ${label} file: ${path.relative(root, expected)}`);
-  }
-
-  const expectedText = fs.readFileSync(expected, 'utf8');
-  if (expectedText !== actual) {
-    throw new Error(`${label} mismatch for ${name}\n${diffText(expected, actual)}`.trimEnd());
-  }
-}
-
-function diffText(expected, actualText) {
-  const diff = spawnSync('diff', ['-u', expected, '-'], { input: actualText, encoding: 'utf8' });
-  if (diff.stdout) return diff.stdout;
-
-  const expectedText = fs.readFileSync(expected, 'utf8').split('\n');
-  const actualLines = actualText.split('\n');
-  const limit = Math.max(expectedText.length, actualLines.length);
-  for (let i = 0; i < limit; i++) {
-    if (expectedText[i] !== actualLines[i]) {
-      return `first difference at line ${i + 1}\nexpected: ${expectedText[i] ?? '<missing>'}\nactual:   ${actualLines[i] ?? '<missing>'}`;
-    }
-  }
-
-  return 'outputs differ';
-}
-
-if (isMainModule(import.meta.url)) {
-  const reporter = new TestReporter();
-  try {
-    runExamples(reporter);
-    reporter.totalLine();
-  } catch (_) {
-    process.exit(1);
-  }
-}