eyeling 1.34.0 → 1.34.1

package/README.md

@@ -818,7 +818,7 @@ Formula-aware built-ins make Eyeling useful for meta-reasoning. `log:includes`,
 
 ### eyelang built-ins
 
-The eyelang engine has its own built-in registry under `lib/eyelang/builtins/`. These are separate from the N3 namespaces above and are called as ordinary eyelang predicates. See the [eyelang language reference](docs/eyelang-language-reference.md#9-standard-built-in-predicates) for the portable profile. The bundled implementation currently registers:
+The eyelang engine has its own built-in registry under `lib/eyelang/builtins/`. These are separate from the N3 namespaces above and are called as ordinary eyelang predicates. See the [eyelang language reference](docs/eyelang-language-reference.md#9-standard-built-in-predicates) for the portable profile. The bundled implementation currently registers 68 name/arity entries across 66 predicate names:
 
 | Family | Built-ins |
 |---|---|

package/docs/eyelang-guide.md

@@ -261,7 +261,7 @@ best(Cycle, Cost) :-
   weighted_hamiltonian_cycle(edge, Cities, Cycle, Cost).
 ```
 
-The reusable search and numeric helpers include `n_queens/2`, Hamiltonian path/cycle helpers, `bounded_path/5`, `cnf_model/3`, Quine-McCluskey helpers, number-theory helpers such as `extended_gcd/5`, and matrix helpers such as `matrix_multiply/2`. These helpers are extension builtins of this implementation; [the eyelang language reference](eyelang-language-reference.md) defines the portable core and standard builtin profile.
+The reusable search and numeric helpers include `n_queens/2`, Hamiltonian path/cycle helpers, `bounded_path/5`, `cnf_model/3`, Quine-McCluskey helpers, number-theory helpers such as `extended_gcd/5`, and matrix helpers such as `matrix_multiply/2`. These helpers are extension builtins of this implementation; [the eyelang language reference](eyelang-language-reference.md) defines the portable core and standard builtin profile. The complete bundled implementation list is kept in the top-level [README built-ins section](../README.md#built-ins-1), and the regression suite checks that table against the actual runtime registry.
 
 To add a builtin, create or extend a module with `register(registry)` and call `registry.add(name, arity, handler, options)`. The default registry is assembled in [`lib/eyelang/builtins/registry.js`](../lib/eyelang/builtins/registry.js). Builtins that are only safe for specific argument modes should provide a `ready` predicate and `fallbackWhenNotReady: true`, so user-defined clauses remain visible until the builtin is applicable.
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.34.0",
+  "version": "1.34.1",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/test/eyelang/run-regression.mjs

@@ -196,6 +196,18 @@ why(
         assertEqual(readmeExamples.join('\n'), examples.join('\n'), 'README example catalog');
       },
     },
+    {
+      name: 'README mirrors the eyelang builtin registry',
+      run: () => {
+        const actual = registeredBuiltinNames();
+        const documented = readmeBuiltinNames();
+        assertEqual(documented.join('\n'), actual.join('\n'), 'README builtin catalog');
+
+        const { entries, names } = readmeBuiltinSummary();
+        assertEqual(entries, actual.length, 'README builtin entry count');
+        assertEqual(names, new Set(actual.map((item) => item.split('/')[0])).size, 'README builtin name count');
+      },
+    },
     {
       name: 'stdin input is accepted',
       run: () => {
@@ -499,6 +511,27 @@ function readmeCatalogExampleNames() {
     .sort();
 }
 
+function registeredBuiltinNames() {
+  return [...createDefaultRegistry().defs.keys()].sort();
+}
+
+function readmeBuiltinNames() {
+  const readme = fs.readFileSync(path.join(packageRoot, 'README.md'), 'utf8');
+  const section = between(readme, '### eyelang built-ins', '## Custom built-ins');
+  return [...section.matchAll(/`([A-Za-z_][A-Za-z0-9_]*)\/(\d+)`/g)]
+    .map((match) => `${match[1]}/${match[2]}`)
+    .filter((name, index, names) => names.indexOf(name) === index)
+    .sort();
+}
+
+function readmeBuiltinSummary() {
+  const readme = fs.readFileSync(path.join(packageRoot, 'README.md'), 'utf8');
+  const section = between(readme, '### eyelang built-ins', '## Custom built-ins');
+  const match = section.match(/currently registers (\d+) name\/arity entries across (\d+) predicate names/);
+  if (match == null) throw new Error('README builtin summary not found');
+  return { entries: Number(match[1]), names: Number(match[2]) };
+}
+
 function playgroundExampleNames() {
   const html = fs.readFileSync(path.join(root, 'playground.html'), 'utf8');
   const match = html.match(/const EXAMPLES = \[(.*?)\];/s);