eyeling 1.16.4 → 1.17.0

package/examples/output/sqrt2-cauchy.n3

@@ -1,57 +1,13 @@
-@prefix : <http://example.org/reals#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-
-:sqrt2Seq :term (1 "1.5"^^xsd:decimal) .
-:sqrt2Seq :error (0 "1"^^xsd:decimal) .
-:sqrt2Seq :error (1 "0.25"^^xsd:decimal) .
-:sqrt2Seq :delta (1 "0.5"^^xsd:decimal) .
-:sqrt2Seq log:outputString "n=0  x=1.0  delta=seed  err=1\n" .
-:sqrt2Seq log:outputString "n=1  x=1.5  delta=0.5  err=0.25\n" .
-:sqrt2Seq :term (2 "1.4166666666666665"^^xsd:decimal) .
-:sqrt2Seq :error (2 "0.006944444444444198"^^xsd:decimal) .
-:sqrt2Seq :delta (2 "0.08333333333333348"^^xsd:decimal) .
-:sqrt2Seq log:outputString "n=2  x=1.4166666666666665  delta=0.08333333333333348  err=0.006944444444444198\n" .
-:sqrt2Seq :term (3 "1.4142156862745097"^^xsd:decimal) .
-:sqrt2Seq :error (3 "0.000006007304882427178"^^xsd:decimal) .
-:sqrt2Seq :delta (3 "0.002450980392156854"^^xsd:decimal) .
-:sqrt2Seq log:outputString "n=3  x=1.4142156862745097  delta=0.002450980392156854  err=0.000006007304882427178\n" .
-:sqrt2Seq :term (4 "1.4142135623746899"^^xsd:decimal) .
-:sqrt2Seq :error (4 "4.510614104447086e-12"^^xsd:double) .
-:sqrt2Seq :delta (4 "0.0000021238998197947723"^^xsd:decimal) .
-:sqrt2Seq :cauchyStep (4 true) .
-:sqrt2Seq log:outputString "n=4  x=1.4142135623746899  delta=0.0000021238998197947723  err=4.510614104447086e-12\n" .
-:sqrt2Seq :term (5 "1.414213562373095"^^xsd:decimal) .
-:sqrt2Seq :error (5 "4.440892098500626e-16"^^xsd:double) .
-:sqrt2Seq :delta (5 "1.5949463971764999e-12"^^xsd:double) .
-:sqrt2Seq :cauchyStep (5 true) .
-:sqrt2Seq log:outputString "n=5  x=1.414213562373095  delta=1.5949463971764999e-12  err=4.440892098500626e-16\n" .
-:sqrt2Seq :term (6 "1.414213562373095"^^xsd:decimal) .
-:sqrt2Seq :error (6 "4.440892098500626e-16"^^xsd:double) .
-:sqrt2Seq :delta (6 "0"^^xsd:decimal) .
-:sqrt2Seq :cauchyStep (6 true) .
-:sqrt2Seq log:outputString "n=6  x=1.414213562373095  delta=0  err=4.440892098500626e-16\n" .
-:sqrt2Seq :term (7 "1.414213562373095"^^xsd:decimal) .
-:sqrt2Seq :error (7 "4.440892098500626e-16"^^xsd:double) .
-:sqrt2Seq :delta (7 "0"^^xsd:decimal) .
-:sqrt2Seq :cauchyStep (7 true) .
-:sqrt2Seq log:outputString "n=7  x=1.414213562373095  delta=0  err=4.440892098500626e-16\n" .
-:sqrt2Seq :term (8 "1.414213562373095"^^xsd:decimal) .
-:sqrt2Seq :error (8 "4.440892098500626e-16"^^xsd:double) .
-:sqrt2Seq :delta (8 "0"^^xsd:decimal) .
-:sqrt2Seq :cauchyStep (8 true) .
-:sqrt2Seq log:outputString "n=8  x=1.414213562373095  delta=0  err=4.440892098500626e-16\n" .
-:sqrt2Seq :term (9 "1.414213562373095"^^xsd:decimal) .
-:sqrt2Seq :error (9 "4.440892098500626e-16"^^xsd:double) .
-:sqrt2Seq :delta (9 "0"^^xsd:decimal) .
-:sqrt2Seq :cauchyStep (9 true) .
-:sqrt2Seq log:outputString "n=9  x=1.414213562373095  delta=0  err=4.440892098500626e-16\n" .
-:sqrt2Seq :term (10 "1.414213562373095"^^xsd:decimal) .
-:sqrt2Seq :error (10 "4.440892098500626e-16"^^xsd:double) .
-:sqrt2Seq :delta (10 "0"^^xsd:decimal) .
-:sqrt2Seq :cauchyStep (10 true) .
-:sqrt2Real :approx "1.414213562373095"^^xsd:decimal .
-:sqrt2Seq log:outputString "n=10  x=1.414213562373095  delta=0  err=4.440892098500626e-16\n" .
-:sqrt2Real log:outputString "Approximation (at limit): sqrt2 ≈ 1.414213562373095\n" .
-:sqrt2Seq :boundedCauchyTail true .
-:sqrt2Seq log:outputString "Tail check: for i,j in (4..10), all |x_i - x_j| < 0.0001 (finite check)\n" .
+Approximation (at limit): sqrt2 ≈ 1.414213562373095
+n=0  x=1.0  delta=seed  err=1
+n=1  x=1.5  delta=0.5  err=0.25
+n=2  x=1.4166666666666665  delta=0.08333333333333348  err=0.006944444444444198
+n=3  x=1.4142156862745097  delta=0.002450980392156854  err=0.000006007304882427178
+n=4  x=1.4142135623746899  delta=0.0000021238998197947723  err=4.510614104447086e-12
+n=5  x=1.414213562373095  delta=1.5949463971764999e-12  err=4.440892098500626e-16
+n=6  x=1.414213562373095  delta=0  err=4.440892098500626e-16
+n=7  x=1.414213562373095  delta=0  err=4.440892098500626e-16
+n=8  x=1.414213562373095  delta=0  err=4.440892098500626e-16
+n=9  x=1.414213562373095  delta=0  err=4.440892098500626e-16
+n=10  x=1.414213562373095  delta=0  err=4.440892098500626e-16
+Tail check: for i,j in (4..10), all |x_i - x_j| < 0.0001 (finite check)

package/examples/output/sqrt2-dedekind.n3

@@ -1,108 +1,31 @@
-@prefix : <http://example.org/dedekind#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-
-:QSample :square (-2 4) .
-:QSample :square (-1 1) .
-:QSample :square (-0.5 "0.25"^^xsd:decimal) .
-:QSample :square (-0.1 "0.010000000000000002"^^xsd:decimal) .
-:QSample :square (0 0) .
-:QSample :square (0.5 "0.25"^^xsd:decimal) .
-:QSample :square (1 1) .
-:QSample :square (1.3 "1.6900000000000002"^^xsd:decimal) .
-:QSample :square (1.4 "1.9599999999999997"^^xsd:decimal) .
-:QSample :square (1.41 "1.9880999999999998"^^xsd:decimal) .
-:QSample :square (1.414 "1.9993959999999997"^^xsd:decimal) .
-:QSample :square (1.4142 "1.9999616399999998"^^xsd:decimal) .
-:QSample :square (1.4143 "2.0002444899999996"^^xsd:decimal) .
-:QSample :square (1.42 "2.0164"^^xsd:decimal) .
-:QSample :square (1.5 "2.25"^^xsd:decimal) .
-:QSample :square (2 4) .
-:sqrt2Cut :seedLeft -2 .
-:sqrt2Cut :seedLeft -1 .
-:sqrt2Cut :seedLeft -0.5 .
-:sqrt2Cut :seedLeft -0.1 .
-:sqrt2Cut :seedLeft 0 .
-:sqrt2Cut :seedLeft 0.5 .
-:sqrt2Cut :seedLeft 1 .
-:sqrt2Cut :seedLeft 1.3 .
-:sqrt2Cut :seedLeft 1.4 .
-:sqrt2Cut :seedLeft 1.41 .
-:sqrt2Cut :seedLeft 1.414 .
-:sqrt2Cut :seedLeft 1.4142 .
-:sqrt2Cut :seedRight 1.4143 .
-:sqrt2Cut :seedRight 1.42 .
-:sqrt2Cut :seedRight 1.5 .
-:sqrt2Cut :seedRight 2 .
-:sqrt2Cut :successor (-2 -1) .
-:sqrt2Cut :constructedLeft -1 .
-:sqrt2Cut :successor (-1 "-0.5"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "-0.5"^^xsd:decimal .
-:sqrt2Cut :successor (-0.5 "-0.25"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "-0.25"^^xsd:decimal .
-:sqrt2Cut :successor (-0.1 "-0.05"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "-0.05"^^xsd:decimal .
-:sqrt2Cut :successor (0 1) .
-:sqrt2Cut :constructedLeft 1 .
-:sqrt2Cut :successor (0.5 "1.2"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.2"^^xsd:decimal .
-:sqrt2Cut :successor (1 "1.3333333333333333"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.3333333333333333"^^xsd:decimal .
-:sqrt2Cut :successor (1.3 "1.393939393939394"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.393939393939394"^^xsd:decimal .
-:sqrt2Cut :successor (1.4 "1.411764705882353"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.411764705882353"^^xsd:decimal .
-:sqrt2Cut :successor (1.41 "1.4134897360703813"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.4134897360703813"^^xsd:decimal .
-:sqrt2Cut :successor (1.414 "1.4141769185705917"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.4141769185705917"^^xsd:decimal .
-:sqrt2Cut :successor (1.4142 "1.4142112354285044"^^xsd:decimal) .
-:sqrt2Cut :constructedLeft "1.4142112354285044"^^xsd:decimal .
-:sqrt2Cut :hasSuccessor -2 .
-:sqrt2Cut :hasSuccessor -1 .
-:sqrt2Cut :hasSuccessor -0.5 .
-:sqrt2Cut :hasSuccessor -0.1 .
-:sqrt2Cut :hasSuccessor 0 .
-:sqrt2Cut :hasSuccessor 0.5 .
-:sqrt2Cut :hasSuccessor 1 .
-:sqrt2Cut :hasSuccessor 1.3 .
-:sqrt2Cut :hasSuccessor 1.4 .
-:sqrt2Cut :hasSuccessor 1.41 .
-:sqrt2Cut :hasSuccessor 1.414 .
-:sqrt2Cut :hasSuccessor 1.4142 .
-:sqrt2Cut :hasLeftWitness true .
-:sqrt2Cut :hasRightWitness true .
-:sqrt2Cut :properOnSample true .
-:sqrt2Cut log:outputString "q=-2  q^2=4  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=-1  q^2=1  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=-0.5  q^2=0.25  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=-0.1  q^2=0.010000000000000002  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=0  q^2=0  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=0.5  q^2=0.25  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1  q^2=1  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1.3  q^2=1.6900000000000002  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1.4  q^2=1.9599999999999997  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1.41  q^2=1.9880999999999998  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1.414  q^2=1.9993959999999997  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1.4142  q^2=1.9999616399999998  => LEFT (q<0 OR q^2<2)\n" .
-:sqrt2Cut log:outputString "q=1.4143  q^2=2.0002444899999996  => RIGHT (q>=0 AND q^2>=2)\n" .
-:sqrt2Cut log:outputString "q=1.42  q^2=2.0164  => RIGHT (q>=0 AND q^2>=2)\n" .
-:sqrt2Cut log:outputString "q=1.5  q^2=2.25  => RIGHT (q>=0 AND q^2>=2)\n" .
-:sqrt2Cut log:outputString "q=2  q^2=4  => RIGHT (q>=0 AND q^2>=2)\n" .
-:sqrt2Cut log:outputString "successor: from -2 to -1   (s^2=1)\n" .
-:sqrt2Cut log:outputString "successor: from -1 to -0.5   (s^2=0.25)\n" .
-:sqrt2Cut log:outputString "successor: from -0.5 to -0.25   (s^2=0.0625)\n" .
-:sqrt2Cut log:outputString "successor: from -0.1 to -0.05   (s^2=0.0025000000000000005)\n" .
-:sqrt2Cut log:outputString "successor: from 0 to 1   (s^2=1)\n" .
-:sqrt2Cut log:outputString "successor: from 0.5 to 1.2   (s^2=1.44)\n" .
-:sqrt2Cut log:outputString "successor: from 1 to 1.3333333333333333   (s^2=1.7777777777777777)\n" .
-:sqrt2Cut log:outputString "successor: from 1.3 to 1.393939393939394   (s^2=1.9430670339761251)\n" .
-:sqrt2Cut log:outputString "successor: from 1.4 to 1.411764705882353   (s^2=1.9930795847750868)\n" .
-:sqrt2Cut log:outputString "successor: from 1.41 to 1.4134897360703813   (s^2=1.9979532339763162)\n" .
-:sqrt2Cut log:outputString "successor: from 1.414 to 1.4141769185705917   (s^2=1.9998963570178139)\n" .
-:sqrt2Cut log:outputString "successor: from 1.4142 to 1.4142112354285044   (s^2=1.9999934184122166)\n" .
-:sqrt2Cut log:outputString "Check: cut is proper on the sample (has LEFT and RIGHT witnesses)\n" .
-:sqrt2Cut :downwardClosedOnSample true .
-:sqrt2Cut :noMaxElementWitnessedForSeeds true .
-:sqrt2Cut log:outputString "Check: downward-closed on the sample (finite for-all test)\n" .
-:sqrt2Cut log:outputString "Check: no maximal element witnessed for all LEFT seed members (constructive successors)\n" .
+q=-2  q^2=4  => LEFT (q<0 OR q^2<2)
+q=-1  q^2=1  => LEFT (q<0 OR q^2<2)
+q=-0.5  q^2=0.25  => LEFT (q<0 OR q^2<2)
+q=-0.1  q^2=0.010000000000000002  => LEFT (q<0 OR q^2<2)
+q=0  q^2=0  => LEFT (q<0 OR q^2<2)
+q=0.5  q^2=0.25  => LEFT (q<0 OR q^2<2)
+q=1  q^2=1  => LEFT (q<0 OR q^2<2)
+q=1.3  q^2=1.6900000000000002  => LEFT (q<0 OR q^2<2)
+q=1.4  q^2=1.9599999999999997  => LEFT (q<0 OR q^2<2)
+q=1.41  q^2=1.9880999999999998  => LEFT (q<0 OR q^2<2)
+q=1.414  q^2=1.9993959999999997  => LEFT (q<0 OR q^2<2)
+q=1.4142  q^2=1.9999616399999998  => LEFT (q<0 OR q^2<2)
+q=1.4143  q^2=2.0002444899999996  => RIGHT (q>=0 AND q^2>=2)
+q=1.42  q^2=2.0164  => RIGHT (q>=0 AND q^2>=2)
+q=1.5  q^2=2.25  => RIGHT (q>=0 AND q^2>=2)
+q=2  q^2=4  => RIGHT (q>=0 AND q^2>=2)
+successor: from -2 to -1   (s^2=1)
+successor: from -1 to -0.5   (s^2=0.25)
+successor: from -0.5 to -0.25   (s^2=0.0625)
+successor: from -0.1 to -0.05   (s^2=0.0025000000000000005)
+successor: from 0 to 1   (s^2=1)
+successor: from 0.5 to 1.2   (s^2=1.44)
+successor: from 1 to 1.3333333333333333   (s^2=1.7777777777777777)
+successor: from 1.3 to 1.393939393939394   (s^2=1.9430670339761251)
+successor: from 1.4 to 1.411764705882353   (s^2=1.9930795847750868)
+successor: from 1.41 to 1.4134897360703813   (s^2=1.9979532339763162)
+successor: from 1.414 to 1.4141769185705917   (s^2=1.9998963570178139)
+successor: from 1.4142 to 1.4142112354285044   (s^2=1.9999934184122166)
+Check: cut is proper on the sample (has LEFT and RIGHT witnesses)
+Check: downward-closed on the sample (finite for-all test)
+Check: no maximal element witnessed for all LEFT seed members (constructive successors)

package/examples/parcellocker.n3

@@ -0,0 +1,164 @@
+# ===========================================================================
+# ParcelLocker — One-time parcel pickup by a friend.
+#
+# This example shows how a person can let someone else collect a parcel without
+# handing over their full shopping account. A one-time authorization is limited
+# to one named person, one parcel, one locker, and one purpose: pickup. The
+# locker may release the parcel, but the same authorization cannot be used to
+# view billing details or redirect the parcel somewhere else.
+# ===========================================================================
+
+@prefix : <https://example.org/parcellocker#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+# -----
+# Facts
+# -----
+
+:maya a :Person; :name "Maya" .
+:noah a :Person; :name "Noah" .
+
+:parcel123 a :Parcel;
+    :owner :maya;
+    :status :ReadyForPickup .
+
+:lockerB17 a :Locker;
+    :site "Station West" .
+
+:pickupToken a :PickupAuthorization;
+    :issuedBy :maya;
+    :delegate :noah;
+    :parcel :parcel123;
+    :locker :lockerB17;
+    :action :CollectParcel;
+    :purpose :PickupOnly;
+    :state :Active;
+    :reuse :SingleUse;
+    :billingAccess :None;
+    :redirectAllowed :No .
+
+:pickupRequest a :Request;
+    :requester :noah;
+    :parcel :parcel123;
+    :locker :lockerB17;
+    :action :CollectParcel;
+    :purpose :PickupOnly .
+
+# -----
+# Logic
+# -----
+
+{ :pickupToken :delegate ?who .
+  :pickupRequest :requester ?who . }
+    => { :case :checkC1 :Passed . } .
+
+{ :pickupToken :parcel ?parcel .
+  :pickupRequest :parcel ?parcel . }
+    => { :case :checkC2 :Passed . } .
+
+{ :pickupToken :locker ?locker .
+  :pickupRequest :locker ?locker . }
+    => { :case :checkC3 :Passed . } .
+
+{ :pickupToken :action ?action .
+  :pickupRequest :action ?action . }
+    => { :case :checkC4 :Passed . } .
+
+{ :pickupToken :purpose ?purpose .
+  :pickupRequest :purpose ?purpose . }
+    => { :case :checkC5 :Passed . } .
+
+{ :pickupToken :state :Active . }
+    => { :case :checkC6 :Passed . } .
+
+{ :pickupToken :reuse :SingleUse . }
+    => { :case :checkC7 :Passed . } .
+
+{ :parcel123 :status :ReadyForPickup . }
+    => { :case :checkC8 :Passed . } .
+
+{ :pickupToken :billingAccess :None . }
+    => { :case :checkC9 :Passed . } .
+
+{ :pickupToken :redirectAllowed :No . }
+    => { :case :checkC10 :Passed . } .
+
+{ :case :checkC1 :Passed .
+  :case :checkC2 :Passed .
+  :case :checkC3 :Passed .
+  :case :checkC4 :Passed .
+  :case :checkC5 :Passed .
+  :case :checkC6 :Passed .
+  :case :checkC7 :Passed .
+  :case :checkC8 :Passed .
+  :case :checkC9 :Passed .
+  :case :checkC10 :Passed . }
+    => { :case :decision :Permit . } .
+
+# ------------------
+# Presentation (ARC)
+# ------------------
+
+{ :case :decision :Permit . }
+    => {
+        :out log:outputString "ParcelLocker — One-time parcel pickup by a friend\n\nAnswer\nPERMIT\nNoah may collect Maya's parcel from locker B17.\n\nReason Why\nMaya created a one-time authorization for Noah only, for this parcel only, at this locker only, and for pickup only. The token is active, the parcel is ready, and the same authorization does not reveal billing details or allow redirection.\n\nCheck\nC1  OK - requester matches the named delegate\nC2  OK - requested parcel matches the authorized parcel\nC3  OK - requested locker matches the authorized locker\nC4  OK - requested action is parcel collection\nC5  OK - requested purpose is pickup only\nC6  OK - authorization is active\nC7  OK - authorization is single-use\nC8  OK - parcel is ready for pickup\nC9  OK - billing details stay hidden\nC10 OK - parcel redirection is not allowed\n" .
+    } .
+
+# ----------------
+# Fail-loud checks
+# ----------------
+
+{ :case :decision :Permit .
+  :pickupRequest :requester ?r .
+  :pickupToken :delegate ?d .
+  ?r log:notEqualTo ?d . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupRequest :parcel ?requested .
+  :pickupToken :parcel ?authorized .
+  ?requested log:notEqualTo ?authorized . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupRequest :locker ?requested .
+  :pickupToken :locker ?authorized .
+  ?requested log:notEqualTo ?authorized . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupRequest :action ?requested .
+  :pickupToken :action ?authorized .
+  ?requested log:notEqualTo ?authorized . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupRequest :purpose ?requested .
+  :pickupToken :purpose ?authorized .
+  ?requested log:notEqualTo ?authorized . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupToken :state ?state .
+  ?state log:notEqualTo :Active . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupToken :reuse ?reuse .
+  ?reuse log:notEqualTo :SingleUse . }
+    => false .
+
+{ :case :decision :Permit .
+  :parcel123 :status ?status .
+  ?status log:notEqualTo :ReadyForPickup . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupToken :billingAccess ?access .
+  ?access log:notEqualTo :None . }
+    => false .
+
+{ :case :decision :Permit .
+  :pickupToken :redirectAllowed ?redirect .
+  ?redirect log:notEqualTo :No . }
+    => false .

package/eyeling.js

@@ -3210,7 +3210,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
   // Schema: $s+ log:outputString $o+
   // Side-effecting output directive. As a builtin goal, we simply succeed
   // when both sides are bound and the object is a string literal.
-  // Actual printing is handled at the end of a reasoning run (see --strings).
+  // Actual rendering is handled after reasoning, if any log:outputString facts exist.
   if (pv === LOG_NS + 'outputString') {
     // Require subject to be bound (not a variable) and object to be a concrete string literal.
     if (g.s instanceof Var) return [];
@@ -3938,7 +3938,6 @@ function main() {
       `  -e, --enforce-https          Rewrite http:// IRIs to https:// for log dereferencing builtins.\n` +
       `  -h, --help                   Show this help and exit.\n` +
       `  -p, --proof-comments         Enable proof explanations.\n` +
-      `  -r, --strings                Print log:outputString strings (ordered by key), including via log:query.\n` +
       `  -s, --super-restricted       Disable all builtins except => and <=.\n` +
       `  -t, --stream                 Stream derived triples as soon as they are derived.\n` +
       `  -v, --version                Print version and exit.\n`;
@@ -3958,7 +3957,6 @@ function main() {
   }
 
   const showAst = argv.includes('--ast') || argv.includes('-a');
-  const outputStringsMode = argv.includes('--strings') || argv.includes('-r');
   const streamMode = argv.includes('--stream') || argv.includes('-t');
 
   // --enforce-https: rewrite http:// -> https:// for log dereferencing builtins
@@ -4045,28 +4043,30 @@ function main() {
   // ground-gated in the engine.
   const facts = triples.slice();
 
-  // If requested, print log:outputString values (ordered by subject key) and exit.
-  // Note: log:outputString values may depend on derived facts, so we must saturate first.
-  if (outputStringsMode) {
-    const hasQueries = Array.isArray(qrules) && qrules.length;
-
-    // If log:query directives are present, the intended output may not be part of the
-    // saturated fact store (queries are output-selection statements). In that case,
-    // collect log:outputString triples from the instantiated query conclusions.
-    let outTriples;
-    if (hasQueries) {
-      const res = engine.forwardChainAndCollectLogQueryConclusions(facts, frules, brules, qrules, null, {
-        captureExplanations: engine.getProofCommentsEnabled(),
-      });
-      outTriples = res.queryTriples;
-    } else {
-      engine.forwardChain(facts, frules, brules, null, { captureExplanations: false });
-      outTriples = facts;
-    }
+  const LOG_OUTPUT_STRING = 'http://www.w3.org/2000/10/swap/log#outputString';
 
-    const out = engine.collectOutputStringsFromFacts(outTriples, prefixes);
-    if (out) process.stdout.write(out);
-    process.exit(0);
+  function programMayProduceOutputStrings(topLevelTriples, forwardRules, logQueryRules) {
+    const hasOutputStringPredicate = (trs) =>
+      Array.isArray(trs) &&
+      trs.some(
+        (tr) => tr && tr.p && tr.p.constructor && tr.p.constructor.name === 'Iri' && tr.p.value === LOG_OUTPUT_STRING,
+      );
+
+    if (hasOutputStringPredicate(topLevelTriples)) return true;
+    if (Array.isArray(forwardRules) && forwardRules.some((r) => hasOutputStringPredicate(r && r.conclusion)))
+      return true;
+    if (Array.isArray(logQueryRules) && logQueryRules.some((r) => hasOutputStringPredicate(r && r.conclusion)))
+      return true;
+    return false;
+  }
+
+  function factsContainOutputStrings(triplesForOutput) {
+    return (
+      Array.isArray(triplesForOutput) &&
+      triplesForOutput.some(
+        (tr) => tr && tr.p && tr.p.constructor && tr.p.constructor.name === 'Iri' && tr.p.value === LOG_OUTPUT_STRING,
+      )
+    );
   }
 
   // In --stream mode we print prefixes *before* any derivations happen.
@@ -4154,7 +4154,10 @@ function main() {
   // Streaming mode: print (input) prefixes first, then print derived triples as soon as they are found.
   // Note: when log:query directives are present, we cannot stream output because
   // the selected results depend on the saturated closure.
-  if (streamMode && !(Array.isArray(qrules) && qrules.length)) {
+  const hasQueries = Array.isArray(qrules) && qrules.length;
+  const mayAutoRenderOutputStrings = programMayProduceOutputStrings(triples, frules, qrules);
+
+  if (streamMode && !hasQueries && !mayAutoRenderOutputStrings) {
     const usedInInput = prefixesUsedInInputTokens(toks, prefixes);
     const outPrefixes = restrictPrefixEnv(prefixes, usedInInput);
 
@@ -4189,8 +4192,6 @@ function main() {
     return;
   }
 
-  const hasQueries = Array.isArray(qrules) && qrules.length;
-
   // Default (non-streaming):
   // - without log:query: derive everything first, then print only newly derived facts
   // - with log:query: derive everything first, then print only unique instantiated
@@ -4212,6 +4213,12 @@ function main() {
     outTriples = derived.map((df) => df.fact);
   }
 
+  const renderedOutputTriples = hasQueries ? outTriples : facts;
+  if (factsContainOutputStrings(renderedOutputTriples)) {
+    process.stdout.write(engine.collectOutputStringsFromFacts(renderedOutputTriples, prefixes));
+    return;
+  }
+
   const usedPrefixes = prefixes.prefixesUsedForOutput(outTriples);
 
   for (const [pfx, base] of usedPrefixes) {
@@ -4719,6 +4726,8 @@ const {
   MATH_NS,
   LOG_NS,
   SKOLEM_NS,
+  MAX_LITERAL_TID_LEN,
+  normalizeLiteralForTid,
   Literal,
   Iri,
   Var,
@@ -5627,7 +5636,18 @@ function __internCompoundTid(key) {
 
 function termFastKey(t) {
   // Atomic terms that already have a stable id.
-  if (t instanceof Iri || t instanceof Blank || t instanceof Literal) return t.__tid;
+  if (t instanceof Iri || t instanceof Blank) return t.__tid;
+
+  if (t instanceof Literal) {
+    // Very large literals intentionally skip global interning in prelude.js to
+    // avoid retaining huge strings forever. Their per-object __tid is therefore
+    // not value-stable, so using it here breaks duplicate detection for facts
+    // such as long log:outputString blocks that are re-derived during forward
+    // chaining. Fall back to a value-based key in that case.
+    const norm = normalizeLiteralForTid(t.value);
+    if (typeof norm === 'string' && norm.length > MAX_LITERAL_TID_LEN) return 'L:' + norm;
+    return t.__tid;
+  }
 
   // Structural fast key for strict-ground list terms.
   // We only index when every element has a fast key; otherwise return null.
@@ -10389,6 +10409,8 @@ module.exports = {
   RDF_JSON_DT,
   resolveIriRef,
   literalParts,
+  normalizeLiteralForTid,
+  MAX_LITERAL_TID_LEN,
   Term,
   Iri,
   Literal,

package/lib/builtins.js

@@ -3198,7 +3198,7 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
   // Schema: $s+ log:outputString $o+
   // Side-effecting output directive. As a builtin goal, we simply succeed
   // when both sides are bound and the object is a string literal.
-  // Actual printing is handled at the end of a reasoning run (see --strings).
+  // Actual rendering is handled after reasoning, if any log:outputString facts exist.
   if (pv === LOG_NS + 'outputString') {
     // Require subject to be bound (not a variable) and object to be a concrete string literal.
     if (g.s instanceof Var) return [];

package/lib/cli.js

@@ -71,7 +71,6 @@ function main() {
       `  -e, --enforce-https          Rewrite http:// IRIs to https:// for log dereferencing builtins.\n` +
       `  -h, --help                   Show this help and exit.\n` +
       `  -p, --proof-comments         Enable proof explanations.\n` +
-      `  -r, --strings                Print log:outputString strings (ordered by key), including via log:query.\n` +
       `  -s, --super-restricted       Disable all builtins except => and <=.\n` +
       `  -t, --stream                 Stream derived triples as soon as they are derived.\n` +
       `  -v, --version                Print version and exit.\n`;
@@ -91,7 +90,6 @@ function main() {
   }
 
   const showAst = argv.includes('--ast') || argv.includes('-a');
-  const outputStringsMode = argv.includes('--strings') || argv.includes('-r');
   const streamMode = argv.includes('--stream') || argv.includes('-t');
 
   // --enforce-https: rewrite http:// -> https:// for log dereferencing builtins
@@ -178,28 +176,30 @@ function main() {
   // ground-gated in the engine.
   const facts = triples.slice();
 
-  // If requested, print log:outputString values (ordered by subject key) and exit.
-  // Note: log:outputString values may depend on derived facts, so we must saturate first.
-  if (outputStringsMode) {
-    const hasQueries = Array.isArray(qrules) && qrules.length;
-
-    // If log:query directives are present, the intended output may not be part of the
-    // saturated fact store (queries are output-selection statements). In that case,
-    // collect log:outputString triples from the instantiated query conclusions.
-    let outTriples;
-    if (hasQueries) {
-      const res = engine.forwardChainAndCollectLogQueryConclusions(facts, frules, brules, qrules, null, {
-        captureExplanations: engine.getProofCommentsEnabled(),
-      });
-      outTriples = res.queryTriples;
-    } else {
-      engine.forwardChain(facts, frules, brules, null, { captureExplanations: false });
-      outTriples = facts;
-    }
+  const LOG_OUTPUT_STRING = 'http://www.w3.org/2000/10/swap/log#outputString';
+
+  function programMayProduceOutputStrings(topLevelTriples, forwardRules, logQueryRules) {
+    const hasOutputStringPredicate = (trs) =>
+      Array.isArray(trs) &&
+      trs.some(
+        (tr) => tr && tr.p && tr.p.constructor && tr.p.constructor.name === 'Iri' && tr.p.value === LOG_OUTPUT_STRING,
+      );
+
+    if (hasOutputStringPredicate(topLevelTriples)) return true;
+    if (Array.isArray(forwardRules) && forwardRules.some((r) => hasOutputStringPredicate(r && r.conclusion)))
+      return true;
+    if (Array.isArray(logQueryRules) && logQueryRules.some((r) => hasOutputStringPredicate(r && r.conclusion)))
+      return true;
+    return false;
+  }
 
-    const out = engine.collectOutputStringsFromFacts(outTriples, prefixes);
-    if (out) process.stdout.write(out);
-    process.exit(0);
+  function factsContainOutputStrings(triplesForOutput) {
+    return (
+      Array.isArray(triplesForOutput) &&
+      triplesForOutput.some(
+        (tr) => tr && tr.p && tr.p.constructor && tr.p.constructor.name === 'Iri' && tr.p.value === LOG_OUTPUT_STRING,
+      )
+    );
   }
 
   // In --stream mode we print prefixes *before* any derivations happen.
@@ -287,7 +287,10 @@ function main() {
   // Streaming mode: print (input) prefixes first, then print derived triples as soon as they are found.
   // Note: when log:query directives are present, we cannot stream output because
   // the selected results depend on the saturated closure.
-  if (streamMode && !(Array.isArray(qrules) && qrules.length)) {
+  const hasQueries = Array.isArray(qrules) && qrules.length;
+  const mayAutoRenderOutputStrings = programMayProduceOutputStrings(triples, frules, qrules);
+
+  if (streamMode && !hasQueries && !mayAutoRenderOutputStrings) {
     const usedInInput = prefixesUsedInInputTokens(toks, prefixes);
     const outPrefixes = restrictPrefixEnv(prefixes, usedInInput);
 
@@ -322,8 +325,6 @@ function main() {
     return;
   }
 
-  const hasQueries = Array.isArray(qrules) && qrules.length;
-
   // Default (non-streaming):
   // - without log:query: derive everything first, then print only newly derived facts
   // - with log:query: derive everything first, then print only unique instantiated
@@ -345,6 +346,12 @@ function main() {
     outTriples = derived.map((df) => df.fact);
   }
 
+  const renderedOutputTriples = hasQueries ? outTriples : facts;
+  if (factsContainOutputStrings(renderedOutputTriples)) {
+    process.stdout.write(engine.collectOutputStringsFromFacts(renderedOutputTriples, prefixes));
+    return;
+  }
+
   const usedPrefixes = prefixes.prefixesUsedForOutput(outTriples);
 
   for (const [pfx, base] of usedPrefixes) {