eyeling 1.24.5 → 1.24.7

package/see/examples/n3/complex.n3

@@ -1,140 +0,0 @@
-# ================================================
-# Complex numbers
-# See https://en.wikipedia.org/wiki/Complex_number
-# ================================================
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix complex: <https://eyereasoner.github.io/eye/complex#>.
-@prefix : <http://example.org/#>.
-
-{
-    ((?A ?B) (?C ?D)) complex:exponentiation (?E ?F).
-} <= {
-    (?A ?B) complex:polar (?R ?T).
-    (?R ?C) math:exponentiation ?Z1.
-    ?D math:negation ?Z2.
-    (?Z2 ?T) math:product ?Z3.
-    (2.718281828459045 ?Z3) math:exponentiation ?Z4.
-    (2.718281828459045 ?Z5) math:exponentiation ?R.
-    (?D ?Z5) math:product ?Z6.
-    (?C ?T) math:product ?Z7.
-    (?Z6 ?Z7) math:sum ?Z8.
-    ?Z8 math:cos ?Z9.
-    (?Z1 ?Z4 ?Z9) math:product ?E.
-    ?Z8 math:sin ?Z10.
-    (?Z1 ?Z4 ?Z10) math:product ?F.
-}.
-
-{
-    (?A ?B) complex:asin (?C ?D).
-} <= {
-    (1 ?A) math:sum ?Z1.
-    (?Z1 2) math:exponentiation ?Z2.
-    (?B 2) math:exponentiation ?Z3.
-    (?Z2 ?Z3) math:sum ?Z4.
-    (?Z4 0.5) math:exponentiation ?Z5.
-    (1 ?A) math:difference ?Z6.
-    (?Z6 2) math:exponentiation ?Z7.
-    (?Z7 ?Z3) math:sum ?Z8.
-    (?Z8 0.5) math:exponentiation ?Z9.
-    (?Z5 ?Z9) math:difference ?Z10.
-    (?Z10 2) math:quotient ?E.
-    (?Z5 ?Z9) math:sum ?Z11.
-    (?Z11 2) math:quotient ?F.
-    ?E math:asin ?C.
-    (?F 2) math:exponentiation ?Z12.
-    (?Z12 1) math:difference ?Z13.
-    (?Z13 0.5) math:exponentiation ?Z14.
-    (?F ?Z14) math:sum ?Z15.
-    (2.718281828459045 ?D) math:exponentiation ?Z15.
-}.
-
-{
-    (?A ?B) complex:acos (?C ?D).
-} <= {
-    (1 ?A) math:sum ?Z1.
-    (?Z1 2) math:exponentiation ?Z2.
-    (?B 2) math:exponentiation ?Z3.
-    (?Z2 ?Z3) math:sum ?Z4.
-    (?Z4 0.5) math:exponentiation ?Z5.
-    (1 ?A) math:difference ?Z6.
-    (?Z6 2) math:exponentiation ?Z7.
-    (?Z7 ?Z3) math:sum ?Z8.
-    (?Z8 0.5) math:exponentiation ?Z9.
-    (?Z5 ?Z9) math:difference ?Z10.
-    (?Z10 2) math:quotient ?E.
-    (?Z5 ?Z9) math:sum ?Z11.
-    (?Z11 2) math:quotient ?F.
-    ?E math:acos ?C.
-    (?F 2) math:exponentiation ?Z12.
-    (?Z12 1) math:difference ?Z13.
-    (?Z13 0.5) math:exponentiation ?Z14.
-    (?F ?Z14) math:sum ?Z15.
-    (2.718281828459045 ?U) math:exponentiation ?Z15.
-    ?U math:negation ?D.
-}.
-
-{
-    (?X ?Y) complex:polar(?R ?Tp).
-} <= {
-    (?X 2) math:exponentiation ?Z1.
-    (?Y 2) math:exponentiation ?Z2.
-    (?Z1 ?Z2) math:sum ?Z3.
-    (?Z3 0.5) math:exponentiation ?R.
-    ?X math:absoluteValue ?Z4.
-    (?Z4 ?R) math:quotient ?Z5.
-    ?Z5 math:acos ?T.
-    (?X ?Y ?T) complex:dial ?Tp.
-}.
-
-{
-    (?X ?Y ?T) complex:dial ?Tp.
-} <= {
-    ?X math:notLessThan 0.
-    ?Y math:notLessThan 0.
-    (0 ?T) math:sum ?Tp.
-}.
-
-{
-    (?X ?Y ?T) complex:dial ?Tp.
-} <= {
-    ?X math:lessThan 0.
-    ?Y math:notLessThan 0.
-    (3.141592653589793 ?T) math:difference ?Tp.
-}.
-
-{
-    (?X ?Y ?T) complex:dial ?Tp.
-} <= {
-    ?X math:lessThan 0.
-    ?Y math:lessThan 0.
-    (3.141592653589793 ?T) math:sum ?Tp.
-}.
-
-{
-    (?X ?Y ?T) complex:dial ?Tp.
-} <= {
-    ?X math:notLessThan 0.
-    ?Y math:lessThan 0.
-    (3.141592653589793 2) math:product ?Z1.
-    (?Z1 ?T) math:difference ?Tp.
-}.
-
-# test
-{
-    ((-1 0) (0.5 0)) complex:exponentiation ?C1.
-    ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ?C2.
-    ((0 1) (0 1)) complex:exponentiation ?C3.
-    ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ?C4.
-    (2 0) complex:asin ?C5.
-    (2 0) complex:acos ?C6.
-} => {
-    :test :is {
-        ((-1 0) (0.5 0)) complex:exponentiation ?C1.
-        ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ?C2.
-        ((0 1) (0 1)) complex:exponentiation ?C3.
-        ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ?C4.
-        (2 0) complex:asin ?C5.
-        (2 0) complex:acos ?C6.
-    }.
-}.

package/see/examples/n3/complex_matrix_stability.n3

@@ -1,113 +0,0 @@
-# ==========================================================================
-# Complex Matrix Stability
-# ==========================================================================
-# Diagonal 2x2 complex matrices are classified for discrete-time stability.
-# This adapts the Eyeling complex matrix example as a committed SEE N3
-# source that compiles to a standalone JavaScript example.
-
-@prefix : <https://eyereasoner.github.io/see/examples/complex-matrix-stability#>.
-@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#>.
-
-:Case :unstableMatrix :A_unstable;
-  :stableMatrix :A_stable;
-  :dampedMatrix :A_damped.
-
-:Scale2 :k 2.
-
-:c_0_0 :re 0; :im 0; :pretty "(0,0)".
-:c_0_1 :re 0; :im 1; :pretty "(0,1)".
-:c_1_0 :re 1; :im 0; :pretty "(1,0)".
-:c_m1_0 :re -1; :im 0; :pretty "(-1,0)".
-:c_1_1 :re 1; :im 1; :pretty "(1,1)".
-:c_1_2 :re 1; :im 2; :pretty "(1,2)".
-:c_2_0 :re 2; :im 0; :pretty "(2,0)".
-
-:A_unstable
-  :a11 :c_1_1; :a12 :c_0_0; :a21 :c_0_0; :a22 :c_2_0;
-  :pretty "[[(1,1),(0,0)],[(0,0),(2,0)]]".
-:A_stable
-  :a11 :c_1_0; :a12 :c_0_0; :a21 :c_0_0; :a22 :c_m1_0;
-  :pretty "[[(1,0),(0,0)],[(0,0),(-1,0)]]".
-:A_damped
-  :a11 :c_0_0; :a12 :c_0_0; :a21 :c_0_0; :a22 :c_0_0;
-  :pretty "[[(0,0),(0,0)],[(0,0),(0,0)]]".
-
-{ ?Z :abs2 ?A2 } <= {
-  ?Z :re ?R; :im ?I.
-  (?R ?R) math:product ?R2.
-  (?I ?I) math:product ?I2.
-  (?R2 ?I2) math:sum ?A2.
-}.
-
-{ ?Z :isZero true } <= { ?Z :re 0; :im 0. }.
-
-{ ?M :eigenvalue1 ?L1 } <= {
-  ?M :a11 ?L1; :a12 ?Z1; :a21 ?Z2; :a22 ?L2.
-  ?Z1 :isZero true.
-  ?Z2 :isZero true.
-}.
-{ ?M :eigenvalue2 ?L2 } <= {
-  ?M :a11 ?L1; :a12 ?Z1; :a21 ?Z2; :a22 ?L2.
-  ?Z1 :isZero true.
-  ?Z2 :isZero true.
-}.
-
-{ ?M :spectralRadiusSq ?A1 } <= {
-  ?M :eigenvalue1 ?L1; :eigenvalue2 ?L2.
-  ?L1 :abs2 ?A1.
-  ?L2 :abs2 ?A2.
-  ?A1 math:notLessThan ?A2.
-}.
-{ ?M :spectralRadiusSq ?A2 } <= {
-  ?M :eigenvalue1 ?L1; :eigenvalue2 ?L2.
-  ?L1 :abs2 ?A1.
-  ?L2 :abs2 ?A2.
-  ?A2 math:greaterThan ?A1.
-}.
-
-{ ?M :spectralRadius 2 } <= { ?M :spectralRadiusSq 4. }.
-{ ?M :spectralRadius 1 } <= { ?M :spectralRadiusSq 1. }.
-{ ?M :spectralRadius 0 } <= { ?M :spectralRadiusSq 0. }.
-
-{ ?M :classification :unstable } <= { ?M :spectralRadiusSq ?R2. ?R2 math:greaterThan 1. }.
-{ ?M :classification :stable } <= { ?M :spectralRadiusSq 1. }.
-{ ?M :classification :damped } <= { ?M :spectralRadiusSq ?R2. ?R2 math:lessThan 1. }.
-
-{ :sampleProduct :re ?Cr } <= {
-  :c_1_2 :re ?Ar; :im ?Ai.
-  :c_0_1 :re ?Br; :im ?Bi.
-  (?Ar ?Br) math:product ?P1.
-  (?Ai ?Bi) math:product ?P2.
-  (?P1 ?P2) math:difference ?Cr.
-}.
-{ :sampleProduct :im ?Ci } <= {
-  :c_1_2 :re ?Ar; :im ?Ai.
-  :c_0_1 :re ?Br; :im ?Bi.
-  (?Ar ?Bi) math:product ?P3.
-  (?Ai ?Br) math:product ?P4.
-  (?P3 ?P4) math:sum ?Ci.
-}.
-
-{ :A_unstable :scaledRadiusSq ?S2 } <= {
-  :Scale2 :k ?K.
-  (?K ?K) math:product ?K2.
-  (?K2 4) math:product ?S2.
-}.
-
-{
-  :Case :unstableMatrix ?Mu; :stableMatrix ?Ms; :dampedMatrix ?Md.
-  ?Mu :classification :unstable; :spectralRadius 2.
-  ?Ms :classification :stable; :spectralRadius 1.
-  ?Md :classification :damped; :spectralRadius 0.
-} => { :Case :scenarioOk true. }.
-
-
-{
-  :Case :scenarioOk true.
-  :A_unstable :pretty ?UnstableMatrix; :spectralRadius ?Ru.
-  :A_stable :pretty ?StableMatrix; :spectralRadius ?Rs.
-  :A_damped :pretty ?DampedMatrix; :spectralRadius ?Rd.
-  ("=== Answer ===\nA_unstable = %s has spectral radius %s and is unstable. A_stable = %s has spectral radius %s and is marginally stable. A_damped = %s has spectral radius %s and is damped.\n\n=== Explanation ===\nFor a discrete-time linear system x_{k+1} = A x_k, diagonal matrix eigenvalues are the diagonal entries. The largest squared complex modulus determines the spectral radius class. The N3 derivation also validates that |z*w|^2 = |z|^2*|w|^2 for a concrete complex product and that scaling A_unstable by 2 multiplies the squared spectral radius by 4." ?UnstableMatrix ?Ru ?StableMatrix ?Rs ?DampedMatrix ?Rd) string:format ?Block.
-} => { :report log:outputString ?Block. }.

package/see/examples/n3/composition_of_injective_functions_is_injective.n3

@@ -1,27 +0,0 @@
-# Composition of injective functions is injective.
-@prefix : <https://eyereasoner.github.io/eye/reasoning#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-
-{ ?x :inX true. } => { (?x ?x) :sameTerm true. }.
-{ ?y :inY true. } => { (?y ?y) :sameTerm true. }.
-{ ?z :inZ true. } => { (?z ?z) :sameTerm true. }.
-{ (?a ?b) :sameTerm true. } => { (?b ?a) :sameTerm true. }.
-{ (?f ?x) :app ?u. (?f ?x) :app ?v. } => { (?u ?v) :sameTerm true. }.
-{ ?f :injective true. (?f ?x) :app ?u. (?f ?y) :app ?v. (?u ?v) :sameTerm true. } => { (?x ?y) :sameTerm true. }.
-{ ?h :compositeOf (?g ?f). (?f ?x) :app ?y. (?g ?y) :app ?z. } => { (?h ?x) :app ?z. }.
-{ ?h :compositeOf (?g ?f). ?f :injective true. ?g :injective true. (?f ?x) :app ?fx. (?f ?y) :app ?fy. (?g ?fx) :app ?u. (?g ?fy) :app ?v. (?u ?v) :sameTerm true. (?x ?y) :sameTerm true. } => { (?h ?x ?y) :sameInputUnderEqualCompositeOutput true. }.
-
-:a :inX true.
-:b :inX true.
-:p :inY true.
-:q :inY true.
-:r :inZ true.
-:f :injective true.
-:g :injective true.
-:h :compositeOf (:g :f).
-(:f :a) :app :p.
-(:f :b) :app :q.
-(:g :p) :app :r.
-(:g :q) :app :r.
-
-{ (?h ?x ?y) :sameInputUnderEqualCompositeOutput true. ?x log:notEqualTo ?y. } log:query { :result :sameInputByCompositeInjectivity (?h ?x ?y). }.

package/see/examples/n3/control_system.n3

@@ -1,59 +0,0 @@
-# Control System
-# Compact SEE version of the EYE reasoning/control-system example.
-
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <https://eyereasoner.github.io/see/examples/control-system#>.
-
-# Input, disturbance, state, and output facts used by the controller.
-:input1 :measurement1 (6 11).
-:input2 :measurement2 true.
-:input3 :measurement3 56967.
-:disturbance1 :measurement3 35766.
-:state3 :observation3 22.
-:output2 :measurement4 24.
-:output2 :target2 29.
-
-# Feedforward control for actuator 1.
-{
-  :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.
-}.
-
-# PND feedback control for actuator 2.
-{
-  :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.
-}.
-
-# Backward rules for normalized sensor measurement.
-{ ?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.
-}.
-
-# SEE projection of the two control commands.
-{ ?O :control1 ?C. } log:query { ?O :control1 ?C. }.

package/see/examples/n3/crypto_builtins_tests.n3

@@ -1,18 +0,0 @@
-# =====================
-# crypto builtins tests
-# =====================
-@prefix : <https://eyereasoner.github.io/see/examples/crypto-builtins-tests#>.
-@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
-
-# 4.1.1 crypto:sha (SHA-1)
-# "hello world" → 2aae6c35c94fcfb415dbe95f408b9ce91ee846ed
-{ "hello world" crypto:sha "2aae6c35c94fcfb415dbe95f408b9ce91ee846ed" . } => { :ok_crypto_sha_1 a :Pass . } .
-
-# Extra: crypto:md5
-{ "hello world" crypto:md5 "5eb63bbbe01eeed093cb22bb8f5acdc3" . } => { :ok_crypto_md5_1 a :Pass . } .
-
-# Extra: crypto:sha256
-{ "hello world" crypto:sha256 "b94d27b9934d3e08a52e52d7da7dabfac484efe37a5380ee9088f7ace2efcde9" . } => { :ok_crypto_sha256_1 a :Pass . } .
-
-# Extra: crypto:sha512
-{ "hello world" crypto:sha512 "309ecc489c12d6eb4cc40f50c902f2b4d0ed77ee511a7c7a9bcd3ca86d4cd86f989dd35bc5ff499670da34255b45b0cfd830e81f605dcf7dc5542e93ae9cd76f" . } => { :ok_crypto_sha512_1 a :Pass . } .

package/see/examples/n3/delfour.n3

@@ -1,167 +0,0 @@
-# =======
-# Delfour
-# =======
-# N3-compiled version of the Delfour insight-economy example. A private phone
-# condition is desensitized into a scoped low-sugar insight; the scanner may use
-# it for shopping assistance, but not for marketing.
-
-@prefix : <https://eyereasoner.github.io/see/examples/delfour#>.
-@prefix ins: <https://example.org/insight#>.
-@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
-@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 log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
-
-:case a :ShoppingCase;
-  :caseName "delfour";
-  :requestPurpose "shopping_assist";
-  :requestAction odrl:use;
-  :scannerAuthAt "2025-10-05T20:35:48Z"^^xsd:dateTime;
-  :scannerDutyAt "2025-10-05T20:37:48Z"^^xsd:dateTime;
-  :filesWritten 6;
-  :auditEntries 1.
-
-:householdProfile :condition "Diabetes".
-:scan :scannedProduct :classicBiscuits.
-
-:classicBiscuits a :Product;
-  :productName "Classic Tea Biscuits";
-  :sugarTenths 120;
-  :sugarPerServing 12.0.
-:lowSugarBiscuits a :Product;
-  :productName "Low-Sugar Tea Biscuits";
-  :sugarTenths 30;
-  :sugarPerServing 3.0.
-:darkChocolate a :Product;
-  :productName "85% Dark Chocolate";
-  :sugarTenths 60;
-  :sugarPerServing 6.0.
-:milkChocolate a :Product;
-  :productName "Milk Chocolate Bar";
-  :sugarTenths 150;
-  :sugarPerServing 15.0.
-
-:insight a ins:Insight;
-  :metric "sugar_g_per_serving";
-  :thresholdTenths 100;
-  :thresholdDisplay "10.0";
-  :thresholdG 10.0;
-  :scopeDevice "self-scanner";
-  :scopeEvent "pick_up_scanner";
-  :retailer "Delfour";
-  :createdAt "2025-10-05T20:33:48Z"^^xsd:dateTime;
-  :expiresAt "2025-10-05T22:33:48Z"^^xsd:dateTime;
-  :serializedLowercase "metric=sugar_g_per_serving;retailer=delfour;threshold=10.0;scope=self-scanner".
-
-:policy a odrl:Policy;
-  odrl:permission [
-    odrl:action odrl:use;
-    odrl:target :insight;
-    odrl:constraint [ odrl:leftOperand odrl:purpose; odrl:operator odrl:eq; odrl:rightOperand "shopping_assist" ]
-  ];
-  odrl:prohibition [
-    odrl:action odrl:distribute;
-    odrl:target :insight;
-    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:48Z"^^xsd:dateTime ]
-  ].
-
-:envelope :canonicalJson "insight=lower_sugar;policy=shopping_assist_only;expires=2025-10-05T22:33:48Z".
-:signature :alg "SHA-256"; :payloadHashSHA256 "9025c5ccc1cc3e97aa639e3ca2d62e65ba0abed9cf3573b487c61d8cec6b3460".
-
-{ :householdProfile :condition "Diabetes". } => { :case :needsLowSugar true. }.
-{ :case :needsLowSugar true. } => { :insight :derivedFromNeed "low_sugar". }.
-{ :envelope :canonicalJson ?json. ?json crypto:sha256 ?digest. :signature :payloadHashSHA256 ?digest. } => { :assurance :payloadHashMatches true. }.
-{ :insight :serializedLowercase ?s. ?s string:notMatches "diabetes|medical". } => { :assurance :minimizationStripsSensitiveTerms true. }.
-{ :insight :scopeDevice ?device; :scopeEvent ?event; :expiresAt ?expiry. } => { :assurance :scopeComplete true. }.
-{
-  :policy odrl:permission [ odrl:action odrl:use; odrl:target :insight; odrl:constraint [ odrl:rightOperand "shopping_assist" ] ].
-  :case :scannerAuthAt ?authAt.
-  :insight :expiresAt ?expiresAt.
-  ?authAt math:notGreaterThan ?expiresAt.
-} => { :decision :outcome "Allowed". :assurance :authorizationAllowed true. }.
-{
-  :decision :outcome "Allowed".
-  :scan :scannedProduct ?product.
-  ?product :sugarPerServing ?sugar.
-  :insight :thresholdG ?threshold.
-  ?sugar math:notLessThan ?threshold.
-} => { :banner :headline "Track sugar per serving while you scan"; :note "High sugar". }.
-{
-  :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. }.
-{ :case :suggestedAlternative ?alt. ?alt :productName ?altName. } => { :banner :suggestedAlternative ?altName. }.
-{ :case :scannerDutyAt ?dutyAt. :insight :expiresAt ?expiresAt. ?dutyAt math:notGreaterThan ?expiresAt. } => { :assurance :dutyTimingConsistent true. }.
-{ :policy odrl:prohibition [ odrl:action odrl:distribute; odrl:constraint [ odrl:rightOperand "marketing" ] ]. } => { :assurance :marketingProhibited true. }.
-{ :case :filesWritten 6. } => { :assurance :filesWrittenExpected true. }.
-{ :banner :note "High sugar". } => { :assurance :bannerFlagsHighSugar true. }.
-{
-  :scan :scannedProduct ?scanned.
-  ?scanned :sugarTenths ?scannedSugar.
-  :case :suggestedAlternative ?alt.
-  ?alt :sugarTenths ?altSugar.
-  ?scannedSugar math:greaterThan ?altSugar.
-} => { :assurance :alternativeIsLowerSugar true. }.
-{
-  :assurance :payloadHashMatches true;
-    :minimizationStripsSensitiveTerms true;
-    :scopeComplete true;
-    :authorizationAllowed true;
-    :bannerFlagsHighSugar true;
-    :alternativeIsLowerSugar true;
-    :dutyTimingConsistent true;
-    :marketingProhibited true;
-    :filesWrittenExpected true.
-} => { :result :ready true. }.
-
-{ :case :filesWritten ?n. ?n math:notEqualTo 6. } => false.
-{ :case :scannerAuthAt ?authAt. :insight :expiresAt ?expiresAt. ?authAt math:greaterThan ?expiresAt. } => false.
-{ :policy odrl:prohibition [ odrl:action ?action ]. ?action log:notEqualTo odrl:distribute. } => false.
-
-{
-  :result :ready true.
-  :scan :scannedProduct ?scanned.
-  ?scanned :productName ?scannedName.
-  :case :suggestedAlternative ?alt; :caseName ?caseName; :auditEntries ?auditEntries; :filesWritten ?filesWritten.
-  ?alt :productName ?altName.
-  :insight :metric ?metric; :thresholdDisplay ?threshold; :scopeDevice ?device; :scopeEvent ?event; :retailer ?retailer; :expiresAt ?expiresAt.
-  :signature :alg ?alg.
-  :banner :headline ?headline.
-  ("=== Answer ===
-The scanner is allowed to use a neutral shopping insight and recommends %s instead of %s.
-case : %s
-decision : Allowed
-scanned product : %s
-suggested alternative: %s
-
-=== Explanation ===
-The phone desensitizes a diabetes-related household condition into a scoped low-sugar need, wraps it in an expiring Insight + Policy envelope, and the scanner consumes that envelope for shopping assistance.
-metric : %s
-threshold : %s
-scope : %s @ %s
-retailer : %s
-signature alg : %s
-banner headline : %s
-expires at : %s
-audit entries : %s
-bus files written : %s
-" ?altName ?scannedName ?caseName ?scannedName ?altName ?metric ?threshold ?device ?event ?retailer ?alg ?headline ?expiresAt ?auditEntries ?filesWritten) string:format ?Block.
-} => {
-  :delfour log:outputString ?Block.
-  :delfour :suggests ?alt.
-}.
-
-{ :delfour :suggests ?Product } log:query { :delfour :suggests ?Product }.

package/see/examples/n3/digital_product_passport.n3

@@ -1,156 +0,0 @@
-# ========================
-# Digital Product Passport
-# ========================
-# N3-compiled version of the smartphone Digital Product Passport example. The
-# rules fold component mass, recycled content, critical raw materials, public
-# documents, lifecycle footprint, and access-policy validations into a public PASS.
-
-@prefix : <https://eyereasoner.github.io/see/examples/digital-product-passport#>.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix list: <http://www.w3.org/2000/10/swap/list#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix string: <http://www.w3.org/2000/10/swap/string#>.
-
-:passport a :DigitalProductPassport;
-  :caseName "digital_product_passport";
-  :forProduct :ACME_X1000_SN123;
-  :publicEndpoint "https://example.org/dpp/ACME-X1000-SN123";
-  :publicSection "public";
-  :restrictedSection "restricted".
-
-:ACME_X1000_SN123 a :Product;
-  :model "ACME X1000";
-  :serialNumber "SN123";
-  :digitalLink "https://example.org/dpp/ACME-X1000-SN123";
-  :hasComponent :BatteryPack_01, :Chassis_01, :Mainboard_01.
-
-:BatteryPack_01 a :Component; :componentLabel "BatteryPack-01 Battery"; :type :Battery; :massG 48; :recycledMassG 0; :replaceable true; :containsMaterial :Lithium, :Cobalt, :Nickel.
-:Chassis_01 a :Component; :componentLabel "Chassis-01 Housing"; :type :Housing; :massG 32; :recycledMassG 12; :replaceable false; :containsMaterial :Aluminium.
-:Mainboard_01 a :Component; :componentLabel "Mainboard-01 Electronics"; :type :Electronics; :massG 25; :recycledMassG 2; :replaceable false; :containsMaterial :Copper, :GoldTrace.
-
-:Lithium a :Material; :criticalRawMaterial true; :materialName "Lithium".
-:Cobalt a :Material; :criticalRawMaterial true; :materialName "Cobalt".
-:Nickel a :Material; :criticalRawMaterial false; :materialName "Nickel".
-:Aluminium a :Material; :criticalRawMaterial false; :materialName "Aluminium".
-:Copper a :Material; :criticalRawMaterial false; :materialName "Copper".
-:GoldTrace a :Material; :criticalRawMaterial false; :materialName "GoldTrace".
-
-:Doc_UserManual a :Document; :docType :UserManual; :docTypeLabel "UserManual"; :section "public"; :url "https://example.org/manuals/acme-x1000".
-:Doc_RepairGuide a :Document; :docType :RepairGuide; :docTypeLabel "RepairGuide"; :section "public"; :url "https://example.org/repair/acme-x1000"; :declares :BatteryReplacementSupported.
-:Doc_SpareParts a :Document; :docType :SparePartsCatalog; :docTypeLabel "SparePartsCatalog"; :section "public"; :url "https://example.org/spares/acme-x1000".
-:Doc_DoC_CE a :Document; :docType :DeclarationOfConformity; :section "restricted".
-:Doc_SubstanceDeclaration a :Document; :docType :SubstanceDeclaration; :section "restricted".
-
-:Policy :publicDocType :UserManual, :RepairGuide, :SparePartsCatalog;
-  :restrictedDocType :DeclarationOfConformity, :SubstanceDeclaration;
-  :requiredPublicClaim :BatteryReplacementSupported.
-
-:Footprint :manufacturingGCO2e 32000; :transportGCO2e 2500; :usePhaseGCO2e 18000.
-:Lifecycle :orderedEvents (:Event_Mfg_01 :Event_Sale_01 :Event_Repair_01).
-:Event_Mfg_01 :onDate "2026-01-15".
-:Event_Sale_01 :onDate "2026-01-25".
-:Event_Repair_01 :onDate "2026-02-05".
-
-{
-  :ACME_X1000_SN123 :hasComponent ?c.
-  ?c :containsMaterial ?m.
-  ?m :criticalRawMaterial true.
-} => {
-  :passport :exposesCriticalMaterial ?m.
-}.
-{
-  :ACME_X1000_SN123 :hasComponent ?c.
-  ?c :massG ?m; :recycledMassG ?r.
-} => {
-  :MassRollup :componentMass ?m;
-    :componentRecycledMass ?r.
-}.
-{
-  (48 32 25) math:sum ?totalMass.
-  (0 12 2) math:sum ?recycledMass.
-  ( ?recycledMass 100 ) math:product ?pctNumerator.
-  ( ?pctNumerator ?totalMass ) math:integerQuotient ?recycledPct.
-} => {
-  :passport :totalMassG ?totalMass;
-    :recycledMassG ?recycledMass;
-    :recycledPct ?recycledPct.
-}.
-{
-  :Footprint :manufacturingGCO2e ?mfg; :transportGCO2e ?transport; :usePhaseGCO2e ?use.
-  ( ?mfg ?transport ?use ) math:sum ?total.
-} => {
-  :passport :lifecycleFootprintGCO2e ?total.
-}.
-{
-  :Policy :publicDocType ?docType.
-  ?doc a :Document; :docType ?docType; :section "public".
-} => {
-  :passport :hasRequiredPublicDocType ?docType.
-}.
-{
-  :Policy :restrictedDocType ?docType.
-  ?doc a :Document; :docType ?docType; :section "restricted".
-} => {
-  :passport :keepsRestrictedDocTypeRestricted ?docType.
-}.
-{
-  :ACME_X1000_SN123 :hasComponent ?battery.
-  ?battery :type :Battery; :replaceable true.
-  :Doc_RepairGuide :section "public"; :declares :BatteryReplacementSupported.
-  :passport :hasRequiredPublicDocType :UserManual, :RepairGuide, :SparePartsCatalog.
-} => {
-  :passport :repairFriendly true.
-}.
-{
-  :passport :publicEndpoint ?endpoint.
-  :ACME_X1000_SN123 :digitalLink ?endpoint.
-} => {
-  :passport :digitalLinkMatchesEndpoint true.
-}.
-{
-  :Event_Mfg_01 :onDate ?d1.
-  :Event_Sale_01 :onDate ?d2.
-  :Event_Repair_01 :onDate ?d3.
-  ?d1 string:notGreaterThan ?d2.
-  ?d2 string:notGreaterThan ?d3.
-} => {
-  :passport :lifecycleChronological true.
-}.
-{
-  :passport :totalMassG ?totalMass; :recycledMassG ?recycledMass.
-  ?totalMass math:greaterThan 0.
-  ?recycledMass math:notGreaterThan ?totalMass.
-} => {
-  :passport :massBalanced true.
-}.
-{
-  :passport :massBalanced true;
-    :recycledPct ?pct;
-    :lifecycleFootprintGCO2e ?footprint;
-    :exposesCriticalMaterial :Lithium, :Cobalt;
-    :repairFriendly true;
-    :hasRequiredPublicDocType :UserManual, :RepairGuide, :SparePartsCatalog;
-    :keepsRestrictedDocTypeRestricted :DeclarationOfConformity, :SubstanceDeclaration;
-    :digitalLinkMatchesEndpoint true;
-    :lifecycleChronological true.
-} => {
-  :passport :decision "PASS".
-}.
-
-{ :passport :decision ?decision. ?decision log:notEqualTo "PASS". } => false.
-{ :passport :recycledMassG ?r; :totalMassG ?t. ?r math:greaterThan ?t. } => false.
-
-{
-  :passport :decision "PASS";
-    :totalMassG ?mass;
-    :recycledPct ?pct;
-    :lifecycleFootprintGCO2e ?footprint;
-    :publicEndpoint ?endpoint.
-  :ACME_X1000_SN123 :model ?model; :serialNumber ?serial.
-  ("=== Answer ===\nPassport decision : PASS for %s %s.\nrecycled content : %d%%\nlifecycle footprint : %d gCO2e\ntotal component mass : %d g\ncritical raw materials : Lithium, Cobalt\ncircularity hint : repairFriendly\npublic endpoint : %s\n\n=== Explanation ===\nThe passport folds the explicit component list to derive total mass and recycled mass, then computes an integer recycled-content percentage. Lifecycle footprint is derived by summing manufacturing, transport, and use-phase emissions. The product is repair-friendly because the battery is replaceable and the public passport section exposes repair, spare-parts, and manual documentation. Restricted declarations remain in the restricted section.\n\nComponent roll-up:\nBatteryPack-01 Battery mass=48g recycled=0g materials=Lithium, Cobalt, Nickel replaceable=yes\nChassis-01 Housing mass=32g recycled=12g materials=Aluminium replaceable=no\nMainboard-01 Electronics mass=25g recycled=2g materials=Copper, GoldTrace replaceable=no\nPublic documents:\nDoc-UserManual UserManual https://example.org/manuals/acme-x1000\nDoc-RepairGuide RepairGuide https://example.org/repair/acme-x1000\nDoc-SpareParts SparePartsCatalog https://example.org/spares/acme-x1000" ?model ?serial ?pct ?footprint ?mass ?endpoint) string:format ?Block.
-} => {
-  :digitalProductPassport log:outputString ?Block.
-  :digitalProductPassport :decision "PASS".
-}.
-
-{ :digitalProductPassport :decision ?Decision } log:query { :digitalProductPassport :decision ?Decision }.