eyeprolog 1.5.19 → 1.5.21

package/tools/generate-predicate-reference.mjs

@@ -11,7 +11,7 @@ const bookFile = path.join(root, 'the-art-of-eyeprolog.md');
 const START = '<!-- eyeprolog-predicate-reference:start -->';
 const END = '<!-- eyeprolog-predicate-reference:end -->';
 const CHAPTER_END = '\n## 40. Running EyeProlog: command line and corpus';
-const EXPECTED_COUNT = 518;
+const EXPECTED_COUNT = 523;
 const allowedSolutions = new Set([
   'det', 'semidet', 'multi', 'nondet', 'delayed', 'meta', 'mode-dependent',
   'declaration', 'terminal',

package/tools/predicate-reference.json

@@ -1,6 +1,6 @@
 {
   "schema": 1,
-  "surface_count": 518,
+  "surface_count": 523,
   "generated_from": {
     "core_registry": "src/iso.js createDefaultRegistry()",
     "library_index": "src/library-autoload-index.js"
@@ -1455,6 +1455,15 @@
       "source": "src/iso.js",
       "profile": "core"
     },
+    {
+      "indicator": "current_hostname/1",
+      "origin": "library(sockets)",
+      "call": "current_hostname(-HostName)",
+      "solutions": "det",
+      "contract": "Unifies HostName with the local host name used by the networking runtime.",
+      "source": "src/lib/sockets.pl; src/sockets-host.js",
+      "profile": "library"
+    },
     {
       "indicator": "current_input/1",
       "origin": "ISO core",
@@ -4029,6 +4038,42 @@
       "source": "src/lib/primes.pl",
       "profile": "library"
     },
+    {
+      "indicator": "socket_client_open/3",
+      "origin": "library(sockets)",
+      "call": "socket_client_open(+Address,-Stream,+Options)",
+      "solutions": "semidet",
+      "contract": "Opens a TCP connection to Address:Port and returns a bidirectional stream using the requested stream options.",
+      "source": "src/lib/sockets.pl; src/sockets-host.js",
+      "profile": "library"
+    },
+    {
+      "indicator": "socket_server_accept/4",
+      "origin": "library(sockets)",
+      "call": "socket_server_accept(+ServerSocket,-Client,-Stream,+Options)",
+      "solutions": "det",
+      "contract": "Waits for the next TCP connection, returning the peer address and a bidirectional stream for that connection.",
+      "source": "src/lib/sockets.pl; src/sockets-host.js",
+      "profile": "library"
+    },
+    {
+      "indicator": "socket_server_close/1",
+      "origin": "library(sockets)",
+      "call": "socket_server_close(+ServerSocket)",
+      "solutions": "det",
+      "contract": "Stops accepting new TCP connections on ServerSocket without closing streams already accepted from it.",
+      "source": "src/lib/sockets.pl; src/sockets-host.js",
+      "profile": "library"
+    },
+    {
+      "indicator": "socket_server_open/2",
+      "origin": "library(sockets)",
+      "call": "socket_server_open(?Address,-ServerSocket)",
+      "solutions": "semidet",
+      "contract": "Opens a TCP listening socket; an unbound port requests an ephemeral port and is unified with the selected port.",
+      "source": "src/lib/sockets.pl; src/sockets-host.js",
+      "profile": "library"
+    },
     {
       "indicator": "sort/2",
       "origin": "ISO core",

package/why-eyeprolog.md

@@ -163,7 +163,7 @@ after parsing, so libraries that introduce operators still require an explicit
 
 That compatibility boundary is intentionally driven by observable upstream
 interfaces rather than by library names alone. The compatibility layer is now
-systematic rather than a collection of one-off ports: all 32 bundled modules that
+systematic rather than a collection of one-off ports: all 33 bundled modules that
 overlap Scryer's current `src/lib/` tree are checked against the frozen export
 snapshot in `test/scryer-library-exports.json` and cover that public predicate
 surface. Runtime-dependent primitives have explicit ownership: code in
@@ -176,8 +176,7 @@ intersection remains a separate portability profile; its crypto overlap is still
 `hex_bytes/2`, `crypto_n_random_bytes/2`, and `crypto_data_hash/3`. Hashing, KDF,
 authenticated encryption, Ed25519, and X25519 use Node's crypto backend; secure
 random bytes also use Web Crypto when available, and unsupported operations
-report `resource_error(crypto)`. Filesystem, environment, shell, PID, and argument
-operations are likewise Node host services rather than a simulated browser OS.
+report `resource_error(crypto)`. Filesystem, environment, shell, PID, argument, and TCP socket operations are likewise Node host services rather than simulated browser facilities.
 EyeProlog still has integer and float processor numbers only, so non-integral
 rational conversion results use a documented structural `rdiv(N,D)` form rather
 than silently extending arithmetic semantics.