eyeling 1.10.21 → 1.11.0

package/HANDBOOK.md

@@ -702,7 +702,7 @@ With that, we can tour the builtin families as Eyeling actually implements them.
 
 These builtins hash a string and return a lowercase hex digest as a plain string literal.
 
-### `crypto:sha`, `crypto:md5`, `crypto:sha256`, `crypto:sha384`, `crypto:sha512`
+### `crypto:sha`, `crypto:md5`, `crypto:sha256`, `crypto:sha512`
 
 **Shape:**
 `$literal crypto:sha256 $digest`
@@ -1224,22 +1224,6 @@ Returns one of four IRIs:
 * `rdf:List` (closed or open list terms)
 * `log:Other` (IRIs, blank nodes, etc.)
 
-
-
-#### `log:isIRI` / `log:isLiteral` / `log:isBlank` / `log:isNumeric` / `log:isTriple` (extensions)
-
-Convenience *test* builtins (useful for SHACL/Sparql-style mappings). They **succeed** when the test holds and typically use `true` as the object.
-
-- **Shapes:**
-  - `$t+ log:isIRI true .`
-  - `$t+ log:isLiteral true .`
-  - `$t+ log:isBlank true .`
-  - `$t+ log:isNumeric true .`
-  - `$t+ log:isTriple true .` (formula with exactly one triple)
-
-These are treated as **constraints** for rule-body ordering.
-
-
 ### Literal constructors
 
 These two are classic N3 “bridge” operators between structured data and concrete RDF literal forms.
@@ -1337,19 +1321,6 @@ This is treated as a constraint builtin.
 
 Deterministically maps a *ground* term to a Skolem IRI in Eyeling’s well-known namespace. This is extremely useful when you want a repeatable identifier derived from structured content.
 
-
-
-#### `log:uuid` / `log:struuid` (extensions)
-
-Generate fresh UUID values.
-
-- **Shapes:**
-  - `"" log:uuid ?u .` binds `?u` to an IRI like `<urn:uuid:...>`.
-  - `"" log:struuid ?s .` binds `?s` to a UUID string literal.
-
-**Warning:** These are non-deterministic and can affect termination; prefer `log:skolem` for deterministic identifiers.
-
-
 #### `log:uri`
 
 Bidirectional conversion between IRIs and their string form:
@@ -1383,7 +1354,7 @@ This is treated as a constraint builtin (it shouldn’t drive search; it should
 
 ---
 
-## 11.3.6 `string:` — string casting, tests, regexes, and JSON pointers
+## 11.3.6 `string:` — string casting, tests, and regexes
 
 Eyeling implements string builtins with a deliberate interpretation of “domain is `xsd:string`”:
 
@@ -1414,35 +1385,6 @@ A tiny `sprintf` subset:
 * Any other specifier (`%d`, `%f`, …) causes the builtin to fail.
 * Missing arguments are treated as empty strings.
 
-
-
-#### `string:length` (extension)
-
-Length of the subject string, like SPARQL `STRLEN`.
-
-- **Shape:** `$s+ string:length $o-`
-- **Output:** `$o` is unified/bound to an integer token.
-
-#### `string:substring` (extension)
-
-Substring, like SPARQL `SUBSTR`.
-
-- **Shape:** `( $s+ $start+ [$len+] ) string:substring $o-`
-- **Notes:** `start` is **1-based**. `len` is optional; if omitted, the substring runs to the end.
-
-#### `string:upperCase` / `string:lowerCase` (extension)
-
-Case conversion, like SPARQL `UCASE` / `LCASE`.
-
-- **Shape:** `$s+ string:upperCase $o-` and `$s+ string:lowerCase $o-`
-
-#### `string:encodeForURI` (extension)
-
-Percent-encode a string, like SPARQL `ENCODE_FOR_URI`.
-
-- **Shape:** `$s+ string:encodeForURI $o-`
-
-
 ### Containment and prefix/suffix tests (constraints)
 
 * `string:contains`
@@ -1496,34 +1438,6 @@ Tests whether `pattern` matches `data`.
 
 Matches the regex once and returns the **first capturing group** (group 1). If there is no match or no group, it fails.
 
-### JSON pointer lookup
-
-#### `string:jsonPointer`
-
-**Shape:**
-`( jsonText pointer ) string:jsonPointer value`
-
-This builtin is intentionally “bridgey”: it lets you reach into JSON and get back an RDF/N3 term.
-
-Rules:
-
-* `jsonText` must be an `rdf:JSON` literal (Eyeling is permissive and may accept a couple of equivalent datatype spellings).
-* `pointer` is a string; Eyeling supports:
-
-  * standard RFC 6901 pointers like `/a/b/0`
-  * URI fragment form like `#/a/b` (it is decoded first)
-* The JSON is parsed and cached; pointer results are cached per `(jsonText, pointer)`.
-
-Returned terms follow Eyeling’s `jsonToTerm` mapping:
-
-* JSON `null` → `"null"` (a plain string literal)
-* JSON string → plain string literal
-* JSON number → numeric token literal (untyped)
-* JSON boolean → `true` / `false` token literal (untyped boolean token)
-* JSON array → an N3 list term whose elements are recursively converted
-* JSON object → an `rdf:JSON` literal containing the object’s JSON text
-
-This design keeps the builtin total and predictable even for nested structures.
 
 ## 11.4 `log:outputString` as a controlled side effect
 

package/eyeling-builtins.ttl

@@ -55,9 +55,6 @@ crypto:md5 a ex:Builtin ; ex:kind ex:Function ;
 crypto:sha256 a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Hash builtin (SHA-256). Computes digest over the subject (string-ish) and unifies/binds the object with the digest." .
 
-crypto:sha384 a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Hash builtin (SHA-384). Computes digest over the subject (string-ish) and unifies/binds the object with the digest. (Eyeling extension; useful for SHACL/Sparql-style mappings.)" .
-
 crypto:sha512 a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Hash builtin (SHA-512). Computes digest over the subject (string-ish) and unifies/binds the object with the digest." .
 
@@ -104,12 +101,6 @@ math:remainder a ex:Builtin ; ex:kind ex:Function ;
 math:rounded a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Rounds subject to nearest integer (JS tie-breaking: toward +∞). Binds/unifies object with the rounded integer value." .
 
-math:ceiling a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Ceiling of a numeric value (like SPARQL CEIL). Returns an integer token. (Eyeling extension.)" .
-
-math:floor a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Floor of a numeric value (like SPARQL FLOOR). Returns an integer token. (Eyeling extension.)" .
-
 math:exponentiation a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Exponentiation. Forward: (base exponent) -> result. Limited inverse: if base is numeric and exponent is a variable, may solve exponent via logs for positive base != 1 and positive result." .
 
@@ -257,27 +248,6 @@ log:parsedAsN3 a ex:Builtin ; ex:kind ex:Meta ;
 log:rawType a ex:Builtin ; ex:kind ex:Meta ;
   rdfs:comment "Returns one of log:Formula, log:Literal, rdf:List, or log:Other for the subject term." .
 
-log:isIRI a ex:Builtin ; ex:kind ex:Test ; ex:isConstraint true ;
-  rdfs:comment "Succeeds iff the subject is an IRI term (like SPARQL isIRI). Object is typically 'true'. (Eyeling extension.)" .
-
-log:isLiteral a ex:Builtin ; ex:kind ex:Test ; ex:isConstraint true ;
-  rdfs:comment "Succeeds iff the subject is a literal term (like SPARQL isLITERAL). (Eyeling extension.)" .
-
-log:isBlank a ex:Builtin ; ex:kind ex:Test ; ex:isConstraint true ;
-  rdfs:comment "Succeeds iff the subject is a blank node term (like SPARQL isBLANK). (Eyeling extension.)" .
-
-log:isNumeric a ex:Builtin ; ex:kind ex:Test ; ex:isConstraint true ;
-  rdfs:comment "Succeeds iff the subject is a numeric literal (like SPARQL isNUMERIC). (Eyeling extension.)" .
-
-log:isTriple a ex:Builtin ; ex:kind ex:Test ; ex:isConstraint true ;
-  rdfs:comment "Succeeds iff the subject is a formula with exactly one triple (like SPARQL isTRIPLE over RDF-star triple terms). (Eyeling extension.)" .
-
-log:uuid a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Generates a fresh UUID IRI (<urn:uuid:...>). Non-deterministic; can affect termination. (Eyeling extension.)" .
-
-log:struuid a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Generates a fresh UUID string literal. Non-deterministic; can affect termination. (Eyeling extension.)" .
-
 log:dtlit a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Builds a datatype literal from (lex datatypeIri). Binds/unifies object with the resulting Literal." .
 
@@ -364,21 +334,3 @@ string:scrape a ex:Builtin ; ex:kind ex:Function ;
 string:format a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Simple formatter: (fmt arg1 ... argN) -> output string. Only %s and %% are supported; other specifiers fail." .
 
-string:length a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Length of a string (like SPARQL STRLEN). (Eyeling extension.)" .
-
-string:substring a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Substring: subject must be a list (string start [len]); start is 1-based (like SPARQL SUBSTR). (Eyeling extension.)" .
-
-string:upperCase a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Uppercase conversion (like SPARQL UCASE). (Eyeling extension.)" .
-
-string:lowerCase a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Lowercase conversion (like SPARQL LCASE). (Eyeling extension.)" .
-
-string:encodeForURI a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Percent-encode a string (like SPARQL ENCODE_FOR_URI). (Eyeling extension.)" .
-
-string:jsonPointer a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "JSON Pointer lookup: (jsonText pointer) -> value term. Expects rdf:JSON-typed literal (or treated as rdf:JSON); caches parsed JSON and pointer lookups." .
-