eyeling 1.16.3 → 1.16.5

package/examples/control-system.n3

@@ -1,9 +1,22 @@
-# ==============
-# Control System
-# ==============
+# ===========================================================================
+# Control System — ARC-style rewrite of Eyeling's control example.
+# Original example: https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/control-system.n3
+#
+# This example shows how a small control system turns sensor readings into two
+# actuator commands. One command anticipates a known disturbance before it hits
+# the system. The other compares the measured output with the target and then
+# corrects the remaining gap. The ARC presentation makes the result easy to
+# inspect by giving an Answer, a clear Reason Why, and independent Checks.
+# ===========================================================================
 
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eye/reasoning/cs#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix : <https://example.org/control-system#>.
+
+# ---------------------------------------------------------------------------
+# Facts
+# ---------------------------------------------------------------------------
 
 # input
 :input1 :measurement1 (6 11).
@@ -23,55 +36,218 @@
 :output2 :measurement4 24.
 :output2 :target2 29.
 
-# forward rules
-{
-    :input1 :measurement10 ?M1.
-    :input2 :measurement2 true.
-    :disturbance1 :measurement3 ?D1.
-    (?M1 19.6) math:product ?C1.        # proportial part
-    (10 ?C2) math:exponentiation ?D1.   # compensation part
-    (?C1 ?C2) math:difference ?C.       # simple feedforward control
+# ---------------------------------------------------------------------------
+# Original control logic, preserved from the source example
+# ---------------------------------------------------------------------------
+
+{ :input1 :measurement10 ?M1.
+  :input2 :measurement2 true.
+  :disturbance1 :measurement3 ?D1.
+  (?M1 19.6) math:product ?C1.
+  (10 ?C2) math:exponentiation ?D1.
+  (?C1 ?C2) math:difference ?C.
 }
-=>
-{
-    :actuator1 :control1 ?C.
-}.
+    =>
+{ :actuator1 :control1 ?C. }.
 
-{
-    :input3 :measurement3 ?M3.
-    :state3 :observation3 ?P3.
-    :output2 :measurement4 ?M4.
-    :output2 :target2 ?T2.
-    (?T2 ?M4) math:difference ?E.       # error
-    (?P3 ?M4) math:difference ?D.       # differential error
-    (5.8 ?E) math:product ?C1.          # proportial part
-    (7.3 ?E) math:quotient ?N.          # nonlinear factor
-    (?N ?D) math:product ?C2.           # nonlinear differential part
-    (?C1 ?C2) math:sum ?C.              # PND feedback control
+{ :input3 :measurement3 ?M3.
+  :state3 :observation3 ?P3.
+  :output2 :measurement4 ?M4.
+  :output2 :target2 ?T2.
+  (?T2 ?M4) math:difference ?E.
+  (?P3 ?M4) math:difference ?D.
+  (5.8 ?E) math:product ?C1.
+  (7.3 ?E) math:quotient ?N.
+  (?N ?D) math:product ?C2.
+  (?C1 ?C2) math:sum ?C.
 }
-=>
-{
-    :actuator2 :control1 ?C.
+    =>
+{ :actuator2 :control1 ?C. }.
+
+{ ?I :measurement10 ?M. }
+    <=
+{ ?I :measurement1 (?M1 ?M2).
+  ?M1 math:lessThan ?M2.
+  (?M2 ?M1) math:difference ?M3.
+  (?M3 0.5) math:exponentiation ?M.
 }.
 
-# backward rules
-{
-    ?I :measurement10 ?M.
-}
-<=
-{
-    ?I :measurement1 (?M1 ?M2).
-    ?M1 math:lessThan ?M2.
-    (?M2 ?M1) math:difference ?M3.
-    (?M3 0.5) math:exponentiation ?M.
+{ ?I :measurement10 ?M1. }
+    <=
+{ ?I :measurement1 (?M1 ?M2).
+  ?M1 math:notLessThan ?M2.
 }.
 
-{
-    ?I :measurement10 ?M1.
+# ---------------------------------------------------------------------------
+# Explanation layer: compute an explicit why-story from the raw facts
+# ---------------------------------------------------------------------------
+
+{ :input1 :measurement1 (?Low ?High).
+  ?Low math:lessThan ?High.
+  (?High ?Low) math:difference ?Gap.
+  (?Gap 0.5) math:exponentiation ?Norm.
 }
-<=
-{
-    ?I :measurement1 (?M1 ?M2).
-    ?M1 math:notLessThan ?M2.
-}.
+    =>
+{ :why :sensorTrend "rising";
+       :sensorLow ?Low;
+       :sensorHigh ?High;
+       :sensorGap ?Gap;
+       :normalizedMeasurement ?Norm. }.
+
+{ :why :normalizedMeasurement ?Norm.
+  (?Norm 19.6) math:product ?Prop.
+  :disturbance1 :measurement3 ?Dist.
+  (10 ?Comp) math:exponentiation ?Dist.
+  (?Prop ?Comp) math:difference ?Cmd.
+}
+    =>
+{ :why :feedforwardProportional ?Prop;
+       :disturbanceMagnitude ?Dist;
+       :disturbanceCompensation ?Comp;
+       :feedforwardCommand ?Cmd. }.
+
+{ :state3 :observation3 ?Observed.
+  :output2 :measurement4 ?Measured.
+  :output2 :target2 ?Target.
+  (?Target ?Measured) math:difference ?Err.
+  (?Observed ?Measured) math:difference ?DiffErr.
+  (5.8 ?Err) math:product ?Prop.
+  (7.3 ?Err) math:quotient ?Factor.
+  (?Factor ?DiffErr) math:product ?DiffPart.
+  (?Prop ?DiffPart) math:sum ?Cmd.
+}
+    =>
+{ :why :observedState ?Observed;
+       :measuredOutput ?Measured;
+       :targetOutput ?Target;
+       :trackingError ?Err;
+       :differentialError ?DiffErr;
+       :feedbackProportional ?Prop;
+       :feedbackFactor ?Factor;
+       :feedbackDifferential ?DiffPart;
+       :feedbackCommand ?Cmd. }.
+
+{ :actuator1 :control1 ?A1.
+  :actuator2 :control1 ?A2. }
+    =>
+{ :decision :answer "Send both actuator commands now.";
+            :actuator1Command ?A1;
+            :actuator2Command ?A2. }.
+
+# ---------------------------------------------------------------------------
+# ARC report
+# ---------------------------------------------------------------------------
+
+{ :decision :answer ?Answer;
+            :actuator1Command ?A1;
+            :actuator2Command ?A2.
+  :why :sensorTrend ?Trend;
+       :sensorLow ?Low;
+       :sensorHigh ?High;
+       :sensorGap ?Gap;
+       :normalizedMeasurement ?Norm;
+       :feedforwardProportional ?FFProp;
+       :disturbanceMagnitude ?Dist;
+       :disturbanceCompensation ?FFComp;
+       :trackingError ?Err;
+       :differentialError ?DiffErr;
+       :feedbackProportional ?FBProp;
+       :feedbackFactor ?FBFactor;
+       :feedbackDifferential ?FBDiff.
+  (
+    "Control System — ARC explanation of two control signals\n\n"
+    "Answer\n"
+    ?Answer "\n"
+    "Actuator 1 command: " ?A1 "\n"
+    "Actuator 2 command: " ?A2 "\n\n"
+    "Reason Why\n"
+    "The first sensor pair is " ?Low " and " ?High ", so the reading is " ?Trend
+    " and the controller normalizes the gap " ?Gap " into " ?Norm ". "
+    "That normalized value creates a feedforward term of " ?FFProp
+    ", while the known disturbance " ?Dist " contributes a compensation term of " ?FFComp
+    ". Subtracting that compensation gives actuator 1 the command " ?A1 ". "
+    "For actuator 2, the target is " ?Err " units above the measured output, so the tracking error is positive. "
+    "The observed state is " ?DiffErr " relative units below the measured output, so the differential correction is negative. "
+    "That yields a proportional feedback part of " ?FBProp ", a nonlinear factor of " ?FBFactor
+    ", and a differential contribution of " ?FBDiff ". Together they produce actuator 2 command " ?A2 ".\n\n"
+    "Check\n"
+    "C1 OK - the first sensor pair is rising, so the normalization uses the rising-branch rule.\n"
+    "C2 OK - the normalized measurement is positive and smaller than the raw gap, which is consistent with a square-root normalization.\n"
+    "C3 OK - actuator 1 is lower than its proportional feedforward term because disturbance compensation is subtracted.\n"
+    "C4 OK - the target is above the measured output, so the tracking error is positive.\n"
+    "C5 OK - the observed state is below the measured output, so the differential error is negative.\n"
+    "C6 OK - actuator 2 is lower than its pure proportional term because the differential part reduces it.\n"
+    "C7 OK - actuator 1 matches an independently reconstructed feedforward calculation.\n"
+    "C8 OK - actuator 2 matches an independently reconstructed feedback calculation.\n"
+    "C9 OK - both actuator commands stay positive.\n"
+  ) string:concatenation ?Block.
+}
+    =>
+{ :report log:outputString ?Block. }.
+
+# ---------------------------------------------------------------------------
+# Independent checks: validate the shape of the reasoning, not just constants
+# ---------------------------------------------------------------------------
+
+# The first sensor pair must be rising for this explanation path.
+{ :input1 :measurement1 (?Low ?High).
+  ?Low math:notLessThan ?High. }
+    => false.
+
+# Square-root normalization should stay positive and smaller than the raw gap.
+{ :why :normalizedMeasurement ?Norm.
+  ?Norm math:notGreaterThan 0. }
+    => false.
+
+{ :why :normalizedMeasurement ?Norm;
+       :sensorGap ?Gap.
+  ?Norm math:notLessThan ?Gap. }
+    => false.
+
+# Feedforward compensation must reduce the raw proportional response.
+{ :actuator1 :control1 ?A1.
+  :why :feedforwardProportional ?Prop.
+  ?A1 math:notLessThan ?Prop. }
+    => false.
+
+# The tracking target must exceed the current measurement in this case.
+{ :output2 :target2 ?Target.
+  :output2 :measurement4 ?Measured.
+  ?Target math:notGreaterThan ?Measured. }
+    => false.
+
+# The observed state must be below the measured output, making the differential error negative.
+{ :state3 :observation3 ?Observed.
+  :output2 :measurement4 ?Measured.
+  ?Observed math:notLessThan ?Measured. }
+    => false.
+
+{ :why :feedbackDifferential ?Diff.
+  ?Diff math:notLessThan 0. }
+    => false.
+
+# The differential part must reduce the pure proportional feedback command.
+{ :actuator2 :control1 ?A2.
+  :why :feedbackProportional ?Prop.
+  ?A2 math:notLessThan ?Prop. }
+    => false.
+
+# Independent reconstructions must agree with the derived actuator commands.
+{ :actuator1 :control1 ?A1.
+  :why :feedforwardCommand ?Rebuilt.
+  ?A1 math:notEqualTo ?Rebuilt. }
+    => false.
+
+{ :actuator2 :control1 ?A2.
+  :why :feedbackCommand ?Rebuilt.
+  ?A2 math:notEqualTo ?Rebuilt. }
+    => false.
+
+# The resulting commands should stay positive.
+{ :actuator1 :control1 ?A1.
+  ?A1 math:notGreaterThan 0. }
+    => false.
 
+{ :actuator2 :control1 ?A2.
+  ?A2 math:notGreaterThan 0. }
+    => false.

package/examples/delfour.n3

@@ -0,0 +1,409 @@
+# ==============================================================================
+# Delfour — Ruben Verborgh's "Inside the Insight Economy" case.
+# See https://ruben.verborgh.org/blog/2025/08/12/inside-the-insight-economy/
+#
+# This example shows how a person can share a useful shopping hint without
+# exposing sensitive health details. A phone turns a private condition into a
+# neutral, limited insight such as “prefer lower-sugar products”, attaches clear
+# usage rules and an expiry time, and sends it to a store scanner. The scanner
+# may use that insight to suggest a better product, but not for unrelated
+# purposes such as marketing.
+# ==============================================================================
+
+@prefix : <https://example.org/delfour#> .
+@prefix arc: <https://josd.github.io/arc/terms#> .
+@prefix ins: <https://example.org/insight#> .
+@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+# -----
+# Facts
+# -----
+
+:case
+    a arc:Case ;
+    :caseName "delfour" ;
+    arc:question "Is the Delfour self-scanner allowed to use a neutral shopping insight for shopping assistance, and if so what lower-sugar alternative should it suggest?" ;
+    :expectedFilesWritten 6 ;
+    :requestPurpose "shopping_assist" ;
+    :requestAction odrl:use ;
+    :phoneCreatedAt "2025-10-05T20:33:48.907163+00:00"^^xsd:dateTime ;
+    :phoneExpiresAt "2025-10-05T22:33:48.907185+00:00"^^xsd:dateTime ;
+    :scannerAuthAt "2025-10-05T20:35:48.907163+00:00"^^xsd:dateTime ;
+    :scannerDutyAt "2025-10-05T20:37:48.907163+00:00"^^xsd:dateTime ;
+    :filesWritten 6 ;
+    :auditEntries 1 .
+
+:catalog a :Catalog .
+
+:prod_BIS_001
+    a :Product ;
+    :productId "prod:BIS_001" ;
+    :productName "Classic Tea Biscuits" ;
+    :sugarTenths 120 ;
+    :sugarPerServing 12.0 .
+
+:prod_BIS_101
+    a :Product ;
+    :productId "prod:BIS_101" ;
+    :productName "Low-Sugar Tea Biscuits" ;
+    :sugarTenths 30 ;
+    :sugarPerServing 3.0 .
+
+:prod_CHOC_050
+    a :Product ;
+    :productId "prod:CHOC_050" ;
+    :productName "Milk Chocolate Bar" ;
+    :sugarTenths 150 ;
+    :sugarPerServing 15.0 .
+
+:prod_CHOC_150
+    a :Product ;
+    :productId "prod:CHOC_150" ;
+    :productName "85% Dark Chocolate" ;
+    :sugarTenths 60 ;
+    :sugarPerServing 6.0 .
+
+:householdProfile :condition "Diabetes" .
+:scan :scannedProduct :prod_BIS_001 .
+
+<https://example.org/insight/delfour>
+    a ins:Insight ;
+    :metric "sugar_g_per_serving" ;
+    :thresholdTenths 100 ;
+    :thresholdDisplay "10.0" ;
+    :thresholdG 10.0 ;
+    :suggestionPolicy "lower_metric_first_higher_price_ok" ;
+    :scopeDevice "self-scanner" ;
+    :scopeEvent "pick_up_scanner" ;
+    :retailer "Delfour" ;
+    :createdAt "2025-10-05T20:33:48.907163+00:00"^^xsd:dateTime ;
+    :expiresAt "2025-10-05T22:33:48.907185+00:00"^^xsd:dateTime ;
+    :serializedLowercase "{\"createdat\":\"2025-10-05t20:33:48.907163+00:00\",\"expiresat\":\"2025-10-05t22:33:48.907185+00:00\",\"id\":\"https://example.org/insight/delfour\",\"metric\":\"sugar_g_per_serving\",\"retailer\":\"delfour\",\"scopedevice\":\"self-scanner\",\"scopeevent\":\"pick_up_scanner\",\"suggestionpolicy\":\"lower_metric_first_higher_price_ok\",\"threshold\":10.0,\"type\":\"ins:insight\"}" .
+
+:policy
+    a odrl:Policy ;
+    :profile "Delfour-Insight-Policy" ;
+    odrl:permission [
+        odrl:action odrl:use ;
+        odrl:target <https://example.org/insight/delfour> ;
+        odrl:constraint [
+            odrl:leftOperand odrl:purpose ;
+            odrl:operator odrl:eq ;
+            odrl:rightOperand "shopping_assist"
+        ]
+    ] ;
+    odrl:prohibition [
+        odrl:action odrl:distribute ;
+        odrl:target <https://example.org/insight/delfour> ;
+        odrl:constraint [
+            odrl:leftOperand odrl:purpose ;
+            odrl:operator odrl:eq ;
+            odrl:rightOperand "marketing"
+        ]
+    ] ;
+    odrl:duty [
+        odrl:action odrl:delete ;
+        odrl:constraint [
+            odrl:leftOperand odrl:dateTime ;
+            odrl:operator odrl:eq ;
+            odrl:rightOperand "2025-10-05T22:33:48.907185+00:00"^^xsd:dateTime
+        ]
+    ] .
+
+:envelope
+    :insight <https://example.org/insight/delfour> ;
+    :policy :policy ;
+    :canonicalJson "{\"insight\":{\"createdAt\":\"2025-10-05T20:33:48.907163+00:00\",\"expiresAt\":\"2025-10-05T22:33:48.907185+00:00\",\"id\":\"https://example.org/insight/delfour\",\"metric\":\"sugar_g_per_serving\",\"retailer\":\"Delfour\",\"scopeDevice\":\"self-scanner\",\"scopeEvent\":\"pick_up_scanner\",\"suggestionPolicy\":\"lower_metric_first_higher_price_ok\",\"threshold\":10.0,\"type\":\"ins:Insight\"},\"policy\":{\"duty\":{\"action\":\"odrl:delete\",\"constraint\":{\"leftOperand\":\"odrl:dateTime\",\"operator\":\"odrl:eq\",\"rightOperand\":\"2025-10-05T22:33:48.907185+00:00\"}},\"permission\":{\"action\":\"odrl:use\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"shopping_assist\"},\"target\":\"https://example.org/insight/delfour\"},\"profile\":\"Delfour-Insight-Policy\",\"prohibition\":{\"action\":\"odrl:distribute\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"marketing\"},\"target\":\"https://example.org/insight/delfour\"},\"type\":\"odrl:Policy\"}}" .
+
+:signature
+    :alg "HMAC-SHA256" ;
+    :keyid "demo-shared-secret" ;
+    :created "2025-10-05T20:33:48.907163+00:00"^^xsd:dateTime ;
+    :payloadHashSHA256 "34ad35638dfd7c67d031eeca8abb235ec24280740f863f3f31cd9d7b6517f098" ;
+    :signatureHMAC "b21d0072d90112a9f820aced0286889f4b6ef92b145e6fdef1011f3bfa4608c2" ;
+    :hmacVerificationMode :trustedPrecomputedInput .
+
+:reasonText
+    :value "Household requires low-sugar guidance (diabetes in POD). A neutral Insight is scoped to device 'self-scanner', event 'pick_up_scanner', retailer 'Delfour', and expires soon; the policy confines use to shopping assistance.\n" .
+
+# -----
+# Logic
+# -----
+
+# desensitize(&["Diabetes"]) -> true
+{ :householdProfile :condition "Diabetes" . }
+    => { :case :needsLowSugar true . } .
+
+# derive_insight(...)
+{ :case :needsLowSugar true . }
+    => { <https://example.org/insight/delfour> :derivedFromNeed "low_sugar" . } .
+
+# payload_hash_matches
+{
+    :envelope :canonicalJson ?json .
+    ?json crypto:sha256 ?digest .
+    :signature :payloadHashSHA256 ?digest .
+} => {
+    :check :payloadHashMatches true .
+} .
+
+# signature_verified
+{
+    :signature :hmacVerificationMode :trustedPrecomputedInput .
+} => {
+    :check :signatureVerifies true .
+} .
+
+# minimization_no_sensitive_terms
+{
+    <https://example.org/insight/delfour> :serializedLowercase ?s .
+    ?s string:notMatches "diabetes|medical" .
+} => {
+    :check :minimizationStripsSensitiveTerms true .
+} .
+
+# scope_complete
+{
+    <https://example.org/insight/delfour> :scopeDevice ?device ;
+        :scopeEvent ?event ;
+        :expiresAt ?expiry .
+} => {
+    :check :scopeComplete true .
+} .
+
+# authorization_allowed
+{
+    :policy odrl:permission [
+        odrl:action odrl:use ;
+        odrl:target <https://example.org/insight/delfour> ;
+        odrl:constraint [
+            odrl:leftOperand odrl:purpose ;
+            odrl:operator odrl:eq ;
+            odrl:rightOperand "shopping_assist"
+        ]
+    ] .
+    :case :scannerAuthAt ?authAt .
+    <https://example.org/insight/delfour> :expiresAt ?expiresAt .
+    ?authAt math:notGreaterThan ?expiresAt .
+} => {
+    :decision
+        :at "2025-10-05T20:35:48.907163+00:00"^^xsd:dateTime ;
+        :outcome "Allowed" ;
+        :target <https://example.org/insight/delfour> .
+    :check :authorizationAllowed true .
+} .
+
+# banner if scanned product meets/exceeds threshold
+{
+    :decision :outcome "Allowed" .
+    :scan :scannedProduct ?product .
+    ?product :sugarPerServing ?sugar .
+    <https://example.org/insight/delfour> :thresholdG ?threshold .
+    ?sugar math:notLessThan ?threshold .
+} => {
+    :banner
+        :headline "Track sugar per serving while you scan" ;
+        :note "High sugar" .
+    :check :bannerFlagsHighSugar true .
+} .
+
+# choose the lower-sugar alternative with the smallest sugar score
+{
+    :scan :scannedProduct ?scanned .
+    ?scanned :sugarTenths ?scannedSugar .
+    ?candidate a :Product ;
+        :sugarTenths ?candidateSugar .
+    ?scannedSugar math:greaterThan ?candidateSugar .
+    1 log:notIncludes {
+        ?other a :Product ;
+            :sugarTenths ?otherSugar .
+        ?scannedSugar math:greaterThan ?otherSugar .
+        ?otherSugar math:lessThan ?candidateSugar .
+    } .
+} => {
+    :case :suggestedAlternative ?candidate .
+} .
+
+{
+    :banner :note "High sugar" .
+    :case :suggestedAlternative ?alt .
+    ?alt :productName ?altName .
+} => {
+    :banner :suggestedAlternative ?altName .
+} .
+
+{
+    :scan :scannedProduct ?scanned .
+    ?scanned :sugarTenths ?scannedSugar .
+    :case :suggestedAlternative ?alt .
+    ?alt :sugarTenths ?altSugar .
+    ?scannedSugar math:greaterThan ?altSugar .
+} => {
+    :check :alternativeIsLowerSugar true .
+} .
+
+# duty_timing_consistent
+{
+    :case :scannerDutyAt ?dutyAt .
+    <https://example.org/insight/delfour> :expiresAt ?expiresAt .
+    ?dutyAt math:notGreaterThan ?expiresAt .
+} => {
+    :check :dutyTimingConsistent true .
+} .
+
+# marketing_prohibited
+{
+    :policy odrl:prohibition [
+        odrl:action odrl:distribute ;
+        odrl:constraint [
+            odrl:rightOperand "marketing"
+        ]
+    ] .
+} => {
+    :check :marketingProhibited true .
+} .
+
+# file count check mirrors EXPECTED_FILES_WRITTEN
+{
+    :case :filesWritten 6 .
+} => {
+    :check :filesWrittenExpected true .
+} .
+
+{
+    :check :signatureVerifies true ;
+        :payloadHashMatches true ;
+        :minimizationStripsSensitiveTerms true ;
+        :scopeComplete true ;
+        :authorizationAllowed true ;
+        :bannerFlagsHighSugar true ;
+        :alternativeIsLowerSugar true ;
+        :dutyTimingConsistent true ;
+        :marketingProhibited true ;
+        :filesWrittenExpected true .
+} => {
+    :result :allChecksPass true .
+} .
+
+# -------------------------------------
+# Hard checks (Eyeling inference fuses)
+# -------------------------------------
+
+{
+    :case :filesWritten ?n .
+    ?n math:notEqualTo 6 .
+} => false .
+
+{
+    :case :scannerAuthAt ?authAt .
+    <https://example.org/insight/delfour> :expiresAt ?expiresAt .
+    ?authAt math:greaterThan ?expiresAt .
+} => false .
+
+{
+    :scan :scannedProduct ?scanned .
+    ?scanned :sugarTenths ?scannedSugar .
+    :case :suggestedAlternative ?alt .
+    ?alt :sugarTenths ?altSugar .
+    ?altSugar math:notLessThan ?scannedSugar .
+} => false .
+
+{
+    :policy odrl:prohibition [
+        odrl:action ?action
+    ] .
+    ?action log:notEqualTo odrl:distribute .
+} => false .
+
+{
+    :envelope :canonicalJson ?json .
+    ?json crypto:sha256 ?actual .
+    :signature :payloadHashSHA256 ?expected .
+    ?actual log:notEqualTo ?expected .
+} => false .
+
+# --------------------------------------
+# ARC rendering through log:outputString
+# --------------------------------------
+
+:out01 log:outputString "=== Answer ===\n" .
+:out02 log:outputString "The scanner is allowed to use a neutral shopping insight and recommends Low-Sugar Tea Biscuits instead of Classic Tea Biscuits.\n" .
+:out03 log:outputString "case                 : delfour\n" .
+:out04 log:outputString "decision             : Allowed\n" .
+:out05 log:outputString "scanned product      : Classic Tea Biscuits\n" .
+
+{
+    :case :suggestedAlternative ?alt .
+    ?alt :productName ?altName .
+    ("suggested alternative: %s\n" ?altName) string:format ?line .
+} => {
+    :out06 log:outputString ?line .
+} .
+
+:out07 log:outputString "\n=== Reason Why ===\n" .
+:out08 log:outputString "The phone desensitizes a diabetes-related household condition into a scoped low-sugar need, wraps it in an expiring Insight + Policy envelope, signs it, and the scanner consumes that envelope for shopping assistance.\n" .
+:out09 log:outputString "metric               : sugar_g_per_serving\n" .
+
+{
+    <https://example.org/insight/delfour> :thresholdDisplay ?threshold .
+    ("threshold            : %s\n" ?threshold) string:format ?line .
+} => {
+    :out10 log:outputString ?line .
+} .
+
+:out11 log:outputString "scope                : self-scanner @ pick_up_scanner\n" .
+:out12 log:outputString "retailer             : Delfour\n" .
+
+{
+    :signature :alg ?alg .
+    ("signature alg        : %s\n" ?alg) string:format ?line .
+} => {
+    :out13 log:outputString ?line .
+} .
+
+{
+    :banner :headline ?headline .
+    ("banner headline      : %s\n" ?headline) string:format ?line .
+} => {
+    :out14 log:outputString ?line .
+} .
+
+:out15 log:outputString "expires at           : 2025-10-05T22:33:48.907185+00:00\n" .
+
+{
+    :reasonText :value ?reason .
+    ("reason.txt           : %s" ?reason) string:format ?line .
+} => {
+    :out16 log:outputString ?line .
+} .
+
+{
+    :case :auditEntries ?n .
+    ("audit entries        : %s\n" ?n) string:format ?line .
+} => {
+    :out17 log:outputString ?line .
+} .
+
+{
+    :case :filesWritten ?n .
+    ("bus files written    : %s\n" ?n) string:format ?line .
+} => {
+    :out18 log:outputString ?line .
+} .
+
+:out19 log:outputString "\n=== Check ===\n" .
+
+{ :check :signatureVerifies true . } => { :out20 log:outputString "signature verifies              : yes\n" . } .
+{ :check :payloadHashMatches true . } => { :out21 log:outputString "payload hash matches            : yes\n" . } .
+{ :check :minimizationStripsSensitiveTerms true . } => { :out22 log:outputString "minimization strips sensitive terms: yes\n" . } .
+{ :check :scopeComplete true . } => { :out23 log:outputString "scope complete                  : yes\n" . } .
+{ :check :authorizationAllowed true . } => { :out24 log:outputString "authorization allowed           : yes\n" . } .
+{ :check :bannerFlagsHighSugar true . } => { :out25 log:outputString "high-sugar banner               : yes\n" . } .
+{ :check :alternativeIsLowerSugar true . } => { :out26 log:outputString "alternative lowers sugar        : yes\n" . } .
+{ :check :dutyTimingConsistent true . } => { :out27 log:outputString "duty timing consistent          : yes\n" . } .
+{ :check :marketingProhibited true . } => { :out28 log:outputString "marketing prohibited            : yes\n" . } .