eyelang 0.1.0

package/test/conformance/expected/050_not_member_filter.pl

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

package/test/conformance/expected/051_nested_holds_parts.pl

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

package/test/conformance/expected/052_holds_member.pl

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

package/test/conformance/expected/053_materialize_excludes_source_fact.pl

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

package/test/conformance/expected/054_numeric_and_lexical_comparison.pl

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

package/test/conformance/expected/055_string_matching_filters.pl

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

package/test/conformance/expected/056_string_and_atom_concat.pl

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

package/test/conformance/expected/057_countall_empty_and_nonempty.pl

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

package/test/conformance/expected/058_sumall_numeric_template.pl

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

package/test/conformance/expected/059_aggregate_min_template.pl

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

package/test/conformance/expected/060_aggregate_max_compound_key.pl

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

package/test/conformance/expected/061_date_difference.pl

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

package/test/conformance/expected/062_reusable_numeric_builtins.pl

@@ -0,0 +1,8 @@
+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/conformance/expected/063_reusable_list_builtins.pl

@@ -0,0 +1,9 @@
+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/conformance/expected/064_reusable_string_builtins.pl

@@ -0,0 +1,10 @@
+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/conformance/expected/065_reusable_term_control_builtins.pl

@@ -0,0 +1,6 @@
+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/conformance/expected/066_numeric_edges.pl

@@ -0,0 +1,12 @@
+answer(max_negative, -3).
+answer(min_float, -1.25).
+answer(floor_negative, -4).
+answer(ceiling_negative, -3).
+answer(trunc_positive, 3).
+answer(sqrt_fraction, 1.5).
+answer(pow_fraction, 3.0).
+answer(sqrt_negative_rejected, ok).
+answer(log_zero_rejected, ok).
+answer(div_zero_rejected, ok).
+answer(mod_float_rejected, ok).
+answer(pow_negative_integer_exponent_rejected, ok).

package/test/conformance/expected/067_list_edges.pl

@@ -0,0 +1,8 @@
+answer(take_zero, []).
+answer(drop_all, []).
+answer(slice_empty, []).
+answer(last_single, only).
+answer(head_rest, pair(a, [b, c])).
+answer(take_too_many_rejected, ok).
+answer(drop_too_many_rejected, ok).
+answer(last_empty_rejected, ok).

package/test/conformance/expected/068_list_generation_order.pl

@@ -0,0 +1,10 @@
+answer(append_split, pair([], [a, b])).
+answer(append_split, pair([a], [b])).
+answer(append_split, pair([a, b], [])).
+answer(nth, pair(0, x)).
+answer(nth, pair(1, y)).
+answer(select, pair(a, [b, a])).
+answer(select, pair(b, [a, a])).
+answer(select, pair(a, [a, b])).
+answer(not_member_atom, ok).
+answer(not_member_unifiable_rejected, ok).

package/test/conformance/expected/069_list_summaries_and_sets.pl

@@ -0,0 +1,7 @@
+answer(sum_empty, 0).
+answer(sum_mixed, 6.5).
+answer(min_atom_order, beta).
+answer(max_atom_order, gamma).
+answer(set_terms, [pair(a, 1), pair(b, 2)]).
+answer(min_empty_rejected, ok).
+answer(max_empty_rejected, ok).

package/test/conformance/expected/070_matches_named_captures.pl

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

package/test/conformance/expected/071_string_edges.pl

@@ -0,0 +1,8 @@
+answer(split_missing_separator, ["abc"]).
+answer(split_empty_separator, ["a", "b", "c"]).
+answer(join_empty, "").
+answer(join_numbers, "1-2-3").
+answer(substring_empty, "").
+answer(replace_empty_search, "abc").
+answer(lower_string, "hello").
+answer(upper_string, "EYELANG 123").

package/test/conformance/expected/072_string_conversions.pl

@@ -0,0 +1,8 @@
+answer(number_to_string, "-7").
+answer(string_to_integer, 123).
+answer(string_to_decimal, -3.5).
+answer(non_numeric_rejected, ok).
+answer(atom_to_string, "hello_world").
+answer(string_to_atom, hello_world).
+answer(number_to_atom, '123').
+answer(trim_to_empty, "").

package/test/conformance/expected/073_term_introspection_edges.pl

@@ -0,0 +1,8 @@
+answer(functor_atom, pair(alpha, 0)).
+answer(functor_number, pair(42, 0)).
+answer(functor_string, pair("hi", 0)).
+answer(arg_nested, edge(a, b)).
+answer(compose_nested, outer(inner(a), [b, c])).
+answer(decompose_zero, pair(z, [])).
+answer(arg_zero_rejected, ok).
+answer(arg_too_large_rejected, ok).

package/test/conformance/expected/074_forall_edges.pl

@@ -0,0 +1,5 @@
+answer(all_small, ok).
+answer(empty_generator, ok).
+answer(not_all_large, ok).
+answer(bound_outer_environment, ok).
+answer(checker_can_use_generator_binding, ok).

package/test/conformance/expected/075_aggregation_edges.pl

@@ -0,0 +1,7 @@
+answer(findall_empty, []).
+answer(count_filtered, 2).
+answer(sum_empty, 0).
+answer(sum_scores, 6).
+answer(best_min, pair(1, bob)).
+answer(best_max, pair(3, cara)).
+answer(best_empty_rejected, ok).

package/test/conformance/expected/076_composed_reusable_builtins.pl

@@ -0,0 +1,5 @@
+answer(clean_join, "red|green|blue").
+answer(middle_upper, "GREEN").
+answer(summary, result("red", "blue", 3)).
+answer(term_report, "measurement(temperature, 21)").
+answer(score_text, "max=9").

package/test/conformance/expected/077_recursive_path_with_lists.pl

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

package/test/conformance/expected/078_mutual_recursion_with_arithmetic.pl

@@ -0,0 +1,7 @@
+answer(even, 0).
+answer(even, 2).
+answer(even, 4).
+answer(even, 6).
+answer(odd, 1).
+answer(odd, 3).
+answer(odd, 5).

package/test/conformance/expected/079_big_integer_arithmetic.pl

@@ -0,0 +1,6 @@
+answer(add_big, 9007199254741000).
+answer(sub_big, 9007199254740993).
+answer(mul_big, 121932631112635269).
+answer(pow_big, 9223372036854775808).
+answer(div_big, 4611686018427387904).
+answer(mod_big, 9).

package/test/conformance/expected/080_rounding_modes.pl

@@ -0,0 +1,8 @@
+answer(floor_pos, 3).
+answer(floor_neg, -4).
+answer(ceiling_pos, 4).
+answer(ceiling_neg, -3).
+answer(trunc_pos, 3).
+answer(trunc_neg, -3).
+answer(round_half_up, 3).
+answer(round_half_neg, -2).

package/test/conformance/expected/081_zero_safe_numeric_functions.pl

@@ -0,0 +1,7 @@
+answer(sin_zero, 0.0).
+answer(cos_zero, 1.0).
+answer(tan_zero, 0.0).
+answer(exp_zero, 1.0).
+answer(log_one, 0.0).
+answer(atan2_zero, 0.0).
+answer(sqrt_one, 1.0).

package/test/conformance/expected/082_comparison_semantics.pl

@@ -0,0 +1,8 @@
+answer(integer_order, ok).
+answer(decimal_equal_le, ok).
+answer(numeric_not_lexical, ok).
+answer(duration_years, ok).
+answer(duration_months, ok).
+answer(atom_lexical, ok).
+answer(string_lexical, ok).
+answer(compound_lexical_text, ok).

package/test/conformance/expected/083_between_modes_and_empty_ranges.pl

@@ -0,0 +1,8 @@
+answer(enumerated, -1).
+answer(enumerated, 0).
+answer(enumerated, 1).
+answer(check_bound, ok).
+answer(check_low_edge, ok).
+answer(check_high_edge, ok).
+answer(check_outside_rejected, ok).
+answer(empty_range_rejected, ok).

package/test/conformance/expected/084_append_and_select_composition.pl

@@ -0,0 +1,10 @@
+answer(split, pair([], [x, y, z])).
+answer(split, pair([x], [y, z])).
+answer(split, pair([x, y], [z])).
+answer(split, pair([x, y, z], [])).
+answer(select_middle, [x, z]).
+answer(select_duplicate, pair(a, [b, a])).
+answer(select_duplicate, pair(b, [a, a])).
+answer(select_duplicate, pair(a, [a, b])).
+answer(rebuild, [a, b, c, d]).
+answer(no_select_rejected, ok).

package/test/conformance/expected/085_nth_and_update_edges.pl

@@ -0,0 +1,8 @@
+answer(index_value, pair(0, red)).
+answer(index_value, pair(1, green)).
+answer(index_value, pair(2, blue)).
+answer(bound_index, green).
+answer(set_first, [blue, green]).
+answer(set_last, [a, b, z]).
+answer(index_too_large_rejected, ok).
+answer(set_too_large_rejected, ok).

package/test/conformance/expected/086_slicing_pipeline.pl

@@ -0,0 +1,7 @@
+answer(head, zero).
+answer(rest, [one, two, three, four]).
+answer(last, four).
+answer(take_three, [zero, one, two]).
+answer(drop_three, [three, four]).
+answer(slice_middle, [one, two, three]).
+answer(slice_tail_empty, []).

package/test/conformance/expected/087_sort_reverse_length.pl

@@ -0,0 +1,6 @@
+answer(length_empty, 0).
+answer(length_nested, 3).
+answer(reverse_atoms, [c, b, a]).
+answer(sort_numbers, [1, 2, 3]).
+answer(sort_mixed_terms, [1, 2, a, b, "s", pair(a)]).
+answer(reverse_empty, []).

package/test/conformance/expected/088_list_summaries_failures.pl

@@ -0,0 +1,6 @@
+answer(sum_integers, 10).
+answer(sum_decimals, 3.0).
+answer(min_terms, pair(a)).
+answer(max_terms, pair(c)).
+answer(sum_non_number_rejected, ok).
+answer(set_scalars, [b, a, 1, "a"]).

package/test/conformance/expected/089_string_split_join_pipeline.pl

@@ -0,0 +1,4 @@
+answer(parts, ["alpha", "beta", "gamma"]).
+answer(pipe, "alpha|beta|gamma").
+answer(first_upper, "ALPHA").
+answer(last_lower, "gamma").

package/test/conformance/expected/090_string_substring_replace_edges.pl

@@ -0,0 +1,7 @@
+answer(prefix, "eye").
+answer(middle, "la").
+answer(suffix, "ela").
+answer(empty_at_end, "").
+answer(out_of_range_rejected, ok).
+answer(replace_all, "baNANA").
+answer(replace_missing, "banana").

package/test/conformance/expected/091_string_case_and_trim.pl

@@ -0,0 +1,5 @@
+answer(lower_mixed, "hello world 123!").
+answer(upper_mixed, "HELLO WORLD 123!").
+answer(trim_spaces, "padded").
+answer(trim_tabs_newline, "value").
+answer(trim_empty, "").

package/test/conformance/expected/092_scalar_string_conversions.pl

@@ -0,0 +1,7 @@
+answer(number_to_string, "42").
+answer(decimal_string_to_number, -12.75).
+answer(scientific_string_to_number, 1e3).
+answer(atom_to_string, "hello-world").
+answer(string_to_atom_needs_quotes, 'hello-world').
+answer(term_to_string, "result([a, b], score(10))").
+answer(unbound_term_rejected, ok).

package/test/conformance/expected/093_regex_named_captures_context.pl

@@ -0,0 +1,5 @@
+answer(level, "warn").
+answer(code, "E42").
+answer(user, "bob").
+answer(no_named_groups_rejected, ok).
+answer(bad_regex_rejected, ok).

package/test/conformance/expected/094_context_holds_enumeration.pl

@@ -0,0 +1,8 @@
+answer(term, kind(alert)).
+answer(term, severity(high)).
+answer(term, owner(alice)).
+answer(parts, pair(kind, [alert])).
+answer(parts, pair(severity, [high])).
+answer(parts, pair(owner, [alice])).
+answer(filter, alice).
+answer(missing_rejected, ok).

package/test/conformance/expected/095_term_introspection_roundtrip.pl

@@ -0,0 +1,6 @@
+answer(functor_compound, pair(edge, 2)).
+answer(arg_first, a).
+answer(arg_second, b).
+answer(decompose, pair(edge, [a, b])).
+answer(recompose, edge(a, b)).
+answer(roundtrip, edge(a, b)).

package/test/conformance/expected/096_functor_scalar_edges.pl

@@ -0,0 +1,6 @@
+answer(atom, pair(alpha, 0)).
+answer(quoted_atom, pair('hello-world', 0)).
+answer(string, pair("text", 0)).
+answer(number, pair(123, 0)).
+answer(list_functor, pair('.', 2)).
+answer(unbound_rejected, ok).

package/test/conformance/expected/097_control_negation_once_forall.pl

@@ -0,0 +1,5 @@
+answer(once_choice, a).
+answer(negated_missing, ok).
+answer(negated_existing_rejected, ok).
+answer(all_allowed, ok).
+answer(not_all_allowed_after_extra, ok).

package/test/conformance/expected/098_aggregation_nested_templates.pl

@@ -0,0 +1,5 @@
+answer(all_pairs, [result(alice, math, 9), result(alice, logic, 7), result(bob, math, 5), result(bob, logic, 8)]).
+answer(count_high, 2).
+answer(sum_alice, 16).
+answer(best_score, pair(9, result(alice, math))).
+answer(lowest_pair, pair([5, bob], math)).

package/test/conformance/expected/099_materialize_multiple_arities.pl

@@ -0,0 +1,4 @@
+answer(a).
+answer(b).
+answer(a, doubled).
+answer(b, doubled).

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

@@ -0,0 +1,6 @@
+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/run-all.mjs

@@ -0,0 +1,20 @@
+#!/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/run-conformance.mjs

@@ -0,0 +1,78 @@
+#!/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 '../src/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/run-examples.mjs

@@ -0,0 +1,125 @@
+#!/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 '../src/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');
+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);
+  }
+}