eyeling 1.24.5 → 1.24.7

package/see/examples/output/odrl_dpv_risk_ranked.md

@@ -1,139 +0,0 @@
-# ODRL + DPV risk assessment with ranked, explainable output.  
-
-## Entailment  
-The compiled query selected 65 fact(s) after the rule closure was computed.  
-Main entailment: **(:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C4: Add a permission allowing data export (or remove the prohibition) to support portability.\n".**  
-
-Selected entailments:  
-- (:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C4: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-- (:Agreement1 :ConsumerExample 1 930 "C3" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C3: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-- (:Agreement1 :ConsumerExample 1 930 "C2" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C2: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-- (:Agreement1 :ConsumerExample 1 930 "C1" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C1: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-- (:Agreement1 :ConsumerExample 1 903 "C4" 1 _:risk3 _:m13) log:outputString "  - mitigation for clause C4: Add an explicit consent constraint before data sharing.\n" .  
-- (:Agreement1 :ConsumerExample 1 903 "C3" 1 _:risk3 _:m13) log:outputString "  - mitigation for clause C3: Add an explicit consent constraint before data sharing.\n" .  
-
-## Explanation  
-Starts with 38 source fact(s), applies 9 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1 (10 premise pattern(s) => 31 conclusion pattern(s)) derives _:src1 rdf:type risk:RiskSource ., _:src1 rdf:type risk:LegalComplianceRisk ., _:src1 dct:source :PermDeleteAccount ., _:src1 dct:description "Account removal permitted without notice safeguards." ., … +39 more  
-  - Uses: :Agreement1 :policyGraph { :Policy1 rdf:type odrl:Policy . :Policy1 odrl:permission :PermDeleteAccount . :Policy1 odrl:permission :PermChangeTerms . :Policy1 odrl:permission :PermShareData . :Policy1 odrl:prohibition :ProhibitExportData . :PermDeleteAccount rdf:type odrl:Permission . :PermDeleteAccount odrl:assigner :Provider . :PermDeleteAccount odrl:assignee :ConsumerExample . :PermDeleteAccount odrl:action tosl:removeAccount . :PermDeleteAccount odrl:target :UserAccount . :PermDeleteAccount :clause :ClauseC1 . :PermChangeTerms rdf:type odrl:Permission . :PermChangeTerms odrl:assigner :Provider . :PermChangeTerms odrl:assignee :ConsumerExample . :PermChangeTerms odrl:action tosl:changeTerms . :PermChangeTerms odrl:target :AgreementText . _:blank1 rdf:type odrl:Duty . _:blank1 odrl:action odrl:inform . _:blank2 rdf:type odrl:Constraint . _:blank2 odrl:leftOperand tosl:noticeDays . _:blank2 odrl:operator odrl:gteq . _:blank2 odrl:rightOperand 3 . _:blank1 odrl:constraint _:blank2 . :PermChangeTerms odrl:duty _:blank1 . :PermChangeTerms :clause :ClauseC2 . :PermShareData rdf:type odrl:Permission . :PermShareData odrl:assigner :Provider . :PermShareData odrl:assignee :ConsumerExample . :PermShareData odrl:action tosl:shareData . :PermShareData odrl:target :UserData . :PermShareData :clause :ClauseC3 . :ProhibitExportData rdf:type odrl:Prohibition . :ProhibitExportData odrl:assigner :Provider . :ProhibitExportData odrl:assignee :ConsumerExample . :ProhibitExportData odrl:action tosl:exportData . :ProhibitExportData odrl:target :UserData . :ProhibitExportData :clause :ClauseC4 } . _(source)_; :ConsumerExample :hasNeed :Need_DataCannotBeRemoved . _(source)_; :Need_DataCannotBeRemoved :importance 20 . _(source)_; :ClauseC1 :clauseId "C1" . _(source)_; … +7 more premise fact(s)  
-- Rule 3 (9 premise pattern(s) => 22 conclusion pattern(s)) derives _:src3 rdf:type risk:RiskSource ., _:src3 rdf:type risk:PolicyRisk ., _:src3 dct:source :PermShareData ., _:src3 dct:description "Data sharing permitted without explicit consent constraint." ., … +27 more  
-  - Uses: :Agreement1 :policyGraph { :Policy1 rdf:type odrl:Policy . :Policy1 odrl:permission :PermDeleteAccount . :Policy1 odrl:permission :PermChangeTerms . :Policy1 odrl:permission :PermShareData . :Policy1 odrl:prohibition :ProhibitExportData . :PermDeleteAccount rdf:type odrl:Permission . :PermDeleteAccount odrl:assigner :Provider . :PermDeleteAccount odrl:assignee :ConsumerExample . :PermDeleteAccount odrl:action tosl:removeAccount . :PermDeleteAccount odrl:target :UserAccount . :PermDeleteAccount :clause :ClauseC1 . :PermChangeTerms rdf:type odrl:Permission . :PermChangeTerms odrl:assigner :Provider . :PermChangeTerms odrl:assignee :ConsumerExample . :PermChangeTerms odrl:action tosl:changeTerms . :PermChangeTerms odrl:target :AgreementText . _:blank1 rdf:type odrl:Duty . _:blank1 odrl:action odrl:inform . _:blank2 rdf:type odrl:Constraint . _:blank2 odrl:leftOperand tosl:noticeDays . _:blank2 odrl:operator odrl:gteq . _:blank2 odrl:rightOperand 3 . _:blank1 odrl:constraint _:blank2 . :PermChangeTerms odrl:duty _:blank1 . :PermChangeTerms :clause :ClauseC2 . :PermShareData rdf:type odrl:Permission . :PermShareData odrl:assigner :Provider . :PermShareData odrl:assignee :ConsumerExample . :PermShareData odrl:action tosl:shareData . :PermShareData odrl:target :UserData . :PermShareData :clause :ClauseC3 . :ProhibitExportData rdf:type odrl:Prohibition . :ProhibitExportData odrl:assigner :Provider . :ProhibitExportData odrl:assignee :ConsumerExample . :ProhibitExportData odrl:action tosl:exportData . :ProhibitExportData odrl:target :UserData . :ProhibitExportData :clause :ClauseC4 } . _(source)_; :ConsumerExample :hasNeed :Need_NoSharingWithoutConsent . _(source)_; :Need_NoSharingWithoutConsent :importance 12 . _(source)_; :ClauseC1 :clauseId "C1" . _(source)_; … +7 more premise fact(s)  
-- Rule 4 (8 premise pattern(s) => 21 conclusion pattern(s)) derives _:src4 rdf:type risk:RiskSource ., _:src4 rdf:type risk:PolicyRisk ., _:src4 dct:source :ProhibitExportData ., _:src4 dct:description "Data export is prohibited, reducing portability." ., … +26 more  
-  - Uses: :Agreement1 :policyGraph { :Policy1 rdf:type odrl:Policy . :Policy1 odrl:permission :PermDeleteAccount . :Policy1 odrl:permission :PermChangeTerms . :Policy1 odrl:permission :PermShareData . :Policy1 odrl:prohibition :ProhibitExportData . :PermDeleteAccount rdf:type odrl:Permission . :PermDeleteAccount odrl:assigner :Provider . :PermDeleteAccount odrl:assignee :ConsumerExample . :PermDeleteAccount odrl:action tosl:removeAccount . :PermDeleteAccount odrl:target :UserAccount . :PermDeleteAccount :clause :ClauseC1 . :PermChangeTerms rdf:type odrl:Permission . :PermChangeTerms odrl:assigner :Provider . :PermChangeTerms odrl:assignee :ConsumerExample . :PermChangeTerms odrl:action tosl:changeTerms . :PermChangeTerms odrl:target :AgreementText . _:blank1 rdf:type odrl:Duty . _:blank1 odrl:action odrl:inform . _:blank2 rdf:type odrl:Constraint . _:blank2 odrl:leftOperand tosl:noticeDays . _:blank2 odrl:operator odrl:gteq . _:blank2 odrl:rightOperand 3 . _:blank1 odrl:constraint _:blank2 . :PermChangeTerms odrl:duty _:blank1 . :PermChangeTerms :clause :ClauseC2 . :PermShareData rdf:type odrl:Permission . :PermShareData odrl:assigner :Provider . :PermShareData odrl:assignee :ConsumerExample . :PermShareData odrl:action tosl:shareData . :PermShareData odrl:target :UserData . :PermShareData :clause :ClauseC3 . :ProhibitExportData rdf:type odrl:Prohibition . :ProhibitExportData odrl:assigner :Provider . :ProhibitExportData odrl:assignee :ConsumerExample . :ProhibitExportData odrl:action tosl:exportData . :ProhibitExportData odrl:target :UserData . :ProhibitExportData :clause :ClauseC4 } . _(source)_; :ConsumerExample :hasNeed :Need_DataPortability . _(source)_; :Need_DataPortability :importance 10 . _(source)_; :ClauseC1 :clauseId "C1" . _(source)_; … +7 more premise fact(s)  
-- Rule 5 (3 premise pattern(s) => 1 conclusion pattern(s)) derives _:risk1 :score 100 .  
-  - Uses: _:risk1 rdf:type dpv:Risk . _(derived)_; _:risk1 :scoreRaw 110 . _(derived)_  
-- Rule 6 (3 premise pattern(s) => 1 conclusion pattern(s)) derives _:risk3 :score 97 ., _:risk4 :score 70 .  
-  - Uses: _:risk3 rdf:type dpv:Risk . _(derived)_; _:risk3 :scoreRaw 97 . _(derived)_; _:risk4 rdf:type dpv:Risk . _(derived)_; _:risk4 :scoreRaw 70 . _(derived)_  
-- Rule 7 (3 premise pattern(s) => 2 conclusion pattern(s)) derives _:risk1 dpv:hasSeverity risk:HighSeverity ., _:risk1 dpv:hasRiskLevel risk:HighRisk ., _:risk3 dpv:hasSeverity risk:HighSeverity ., _:risk3 dpv:hasRiskLevel risk:HighRisk .  
-  - Uses: _:risk1 rdf:type dpv:Risk . _(derived)_; _:risk1 :score 100 . _(derived)_; _:risk3 rdf:type dpv:Risk . _(derived)_; _:risk3 :score 97 . _(derived)_  
-
-Selected explanation support:  
-  - (:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "[authored report]" . _(authored report, no recorded rule support)_  
-  - (:Agreement1 :ConsumerExample 1 930 "C3" 1 _:risk4 _:m14) log:outputString "[authored report]" . _(authored report, no recorded rule support)_  
-  - (:Agreement1 :ConsumerExample 1 930 "C2" 1 _:risk4 _:m14) log:outputString "[authored report]" . _(authored report, no recorded rule support)_  
-  - (:Agreement1 :ConsumerExample 1 930 "C1" 1 _:risk4 _:m14) log:outputString "[authored report]" . _(authored report, no recorded rule support)_  
-  - (:Agreement1 :ConsumerExample 1 903 "C4" 1 _:risk3 _:m13) log:outputString "[authored report]" . _(authored report, no recorded rule support)_  
-  - (:Agreement1 :ConsumerExample 1 903 "C3" 1 _:risk3 _:m13) log:outputString "[authored report]" . _(authored report, no recorded rule support)_  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://example.org/odrl-dpv-risk-ranked#> .  
-@prefix odrl: <http://www.w3.org/ns/odrl/2/> .  
-@prefix dpv: <https://w3id.org/dpv#> .  
-@prefix risk: <https://w3id.org/dpv/risk#> .  
-@prefix dct: <http://purl.org/dc/terms/> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix tosl: <https://example.org/tosl-profile#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-(:Agreement1 :ConsumerExample 0) log:outputString "\n=== Ranked DPV Risk Report ===\nAgreement: Example Agreement\nProfile: Example consumer profile\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C1" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C1" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C1" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C1" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C2" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C2" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C2" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C2" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C3" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C3" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C3" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C3" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C4" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C4" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C4" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C4" 0 _:risk1) log:outputString "score=100 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: account/data removal is permitted without notice safeguards (no notice constraint and no duty to inform). Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C1" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C1" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C1" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C1" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C1\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C2" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C2" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C2" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C2" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C2\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C3" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C3" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C3" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C3" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C3\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C4" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C4" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C4" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C4" 0 _:risk3) log:outputString "score=97 (risk:HighRisk, risk:HighSeverity)  clause C4\n  Risk: user data sharing is permitted without an explicit consent constraint. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C1" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C1\n  Risk: portability is restricted because exporting user data is prohibited. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C1" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C1\n  Risk: portability is restricted because exporting user data is prohibited. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C1" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C1\n  Risk: portability is restricted because exporting user data is prohibited. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C1" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C1\n  Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C2" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C2\n  Risk: portability is restricted because exporting user data is prohibited. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C2" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C2\n  Risk: portability is restricted because exporting user data is prohibited. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C2" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C2\n  Risk: portability is restricted because exporting user data is prohibited. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C2" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C2\n  Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C3" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C3\n  Risk: portability is restricted because exporting user data is prohibited. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C3" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C3\n  Risk: portability is restricted because exporting user data is prohibited. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C3" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C3\n  Risk: portability is restricted because exporting user data is prohibited. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C3" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C3\n  Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C4" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C4\n  Risk: portability is restricted because exporting user data is prohibited. Clause C1: Provider may remove the user account (and associated data) at its discretion.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C4" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C4\n  Risk: portability is restricted because exporting user data is prohibited. Clause C2: Provider may change terms by informing users at least 3 days in advance.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C4" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C4\n  Risk: portability is restricted because exporting user data is prohibited. Clause C3: Provider may share user data with partners for business purposes.\n\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C4" 0 _:risk4) log:outputString "score=70 (risk:ModerateRisk, risk:ModerateSeverity)  clause C4\n  Risk: portability is restricted because exporting user data is prohibited. Clause C4: Users are not permitted to export their data.\n\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C1" 1 _:risk1 _:m11) log:outputString "  - mitigation for clause C1: Add a notice constraint (minimum noticeDays) before account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C2" 1 _:risk1 _:m11) log:outputString "  - mitigation for clause C2: Add a notice constraint (minimum noticeDays) before account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C3" 1 _:risk1 _:m11) log:outputString "  - mitigation for clause C3: Add a notice constraint (minimum noticeDays) before account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C4" 1 _:risk1 _:m11) log:outputString "  - mitigation for clause C4: Add a notice constraint (minimum noticeDays) before account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C1" 1 _:risk1 _:m21) log:outputString "  - mitigation for clause C1: Add a duty to inform the consumer prior to account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C2" 1 _:risk1 _:m21) log:outputString "  - mitigation for clause C2: Add a duty to inform the consumer prior to account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C3" 1 _:risk1 _:m21) log:outputString "  - mitigation for clause C3: Add a duty to inform the consumer prior to account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 900 "C4" 1 _:risk1 _:m21) log:outputString "  - mitigation for clause C4: Add a duty to inform the consumer prior to account removal.\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C1" 1 _:risk3 _:m13) log:outputString "  - mitigation for clause C1: Add an explicit consent constraint before data sharing.\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C2" 1 _:risk3 _:m13) log:outputString "  - mitigation for clause C2: Add an explicit consent constraint before data sharing.\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C3" 1 _:risk3 _:m13) log:outputString "  - mitigation for clause C3: Add an explicit consent constraint before data sharing.\n" .  
-(:Agreement1 :ConsumerExample 1 903 "C4" 1 _:risk3 _:m13) log:outputString "  - mitigation for clause C4: Add an explicit consent constraint before data sharing.\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C1" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C1: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C2" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C2: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C3" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C3: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-(:Agreement1 :ConsumerExample 1 930 "C4" 1 _:risk4 _:m14) log:outputString "  - mitigation for clause C4: Add a permission allowing data export (or remove the prohibition) to support portability.\n" .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "odrl_dpv_risk_ranked" .  
-  in:run see:title "ODRL + DPV risk assessment with ranked, explainable output." .  
-  in:run see:sourceFile "examples/n3/odrl_dpv_risk_ranked.n3" .  
-  in:run see:sourceSHA256 "e3360556d6e82bda9f502d362cc110e2cd681608ae1388cf8071660f6fbe6200" .  
-  in:run see:description "What this file does\n- Models an agreement as an ODRL policy (odrl:Policy) containing permissions,\nprohibitions, duties, and constraints. ODRL is expressive enough to encode the\nnormative “may/must/must-not” structure of TOS clauses as RDF.\n- Links each ODRL rule to a clause resource (:Clause) to keep human-readable text\nwhile preserving machine-readable structure for reasoning.\n- Uses N3 rules with log:includes / log:notIncludes to detect missing safeguards\n(e.g., missing notice constraints, missing inform duties, missing consent constraints).\n- Generates DPV risks (dpv:Risk) and classifies them using DPV-RISK concepts:\nrisk:hasRiskSource, dpv:hasConsequence, dpv:hasImpact, dpv:hasSeverity, dpv:hasRiskLevel.\n- Produces mitigations as dpv:RiskMitigationMeasure resources and attaches them\nto risks with dpv:isMitigatedByMeasure.\n- Computes a numeric score for each risk and prints a ranked, explainable report.\nRanking / output\n- Output strings are emitted as log:outputString triples.\n- When running with Eyeling “strings” mode (-r), strings are printed in deterministic\norder based on their subject key. The program encodes ranking via an “inverse score”\nkey (e.g., 1000 - score) so higher-risk items appear first.\nReferences\n- N3 spec:          https://w3c.github.io/N3/spec/\n- Eyeling builtins: https://eyereasoner.github.io/eyeling/HANDBOOK#ch11\n- ODRL vocab:       https://www.w3.org/TR/odrl-vocab/\n- DPV risk module:  https://dev.dpvcg.org/dpv/modules/risk\n- DPV-RISK:         https://w3id.org/dpv/risk" .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 38 .  
-  in:run see:compiledRules 9 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 3 .  
-}  
-```  
-

package/see/examples/output/path_discovery.md

@@ -1,65 +0,0 @@
-# Path Discovery  
-
-## Entailment  
-The derivation produced 3 new fact(s) from 96420 stated fact(s).  
-Main entailment: **:discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague").**  
-
-Selected entailments:  
-- :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague") .  
-- :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Diagoras Airport" "Václav Havel Airport Prague") .  
-- :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Heraklion International Nikos Kazantzakis Airport" "Václav Havel Airport Prague") .  
-
-## Explanation  
-Starts with 96420 source fact(s), applies 3 rule(s), and reaches a fixpoint.  
-
-Derivation steps:  
-- Rule 3 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Heraklion International Nikos Kazantzakis Airport" "Václav Havel Airport Prague") ., :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Diagoras Airport" "Václav Havel Airport Prague") ., :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague") .  
-  - Uses: res:AIRPORT_310 rdfs:label "Ostend-Bruges International Airport" . _(source)_; res:AIRPORT_1587 rdfs:label "Václav Havel Airport Prague" . _(source)_  
-
-Selected explanation support:  
-  - :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague") . _(derived by Rule 3)_  
-    - res:AIRPORT_310 rdfs:label "Ostend-Bruges International Airport" . _(source)_  
-    - res:AIRPORT_1587 rdfs:label "Václav Havel Airport Prague" . _(source)_  
-  - :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Diagoras Airport" "Václav Havel Airport Prague") . _(derived by Rule 3)_  
-    - res:AIRPORT_310 rdfs:label "Ostend-Bruges International Airport" . _(source)_  
-    - res:AIRPORT_1587 rdfs:label "Václav Havel Airport Prague" . _(source)_  
-  - :discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Heraklion International Nikos Kazantzakis Airport" "Václav Havel Airport Prague") . _(derived by Rule 3)_  
-    - res:AIRPORT_310 rdfs:label "Ostend-Bruges International Airport" . _(source)_  
-    - res:AIRPORT_1587 rdfs:label "Václav Havel Airport Prague" . _(source)_  
-
-The selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .  
-@prefix nepo: <http://neptune.aws.com/ontology/airroutes/> .  
-@prefix res: <http://neptune.aws.com/ontology/airroutes/resource#> .  
-@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 : <http://example.org/#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Heraklion International Nikos Kazantzakis Airport" "Václav Havel Airport Prague") .  
-:discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Diagoras Airport" "Václav Havel Airport Prague") .  
-:discovered :airroute ("Ostend-Bruges International Airport" "Liège Airport" "Palma De Mallorca Airport" "Václav Havel Airport Prague") .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "path_discovery" .  
-  in:run see:title "Path Discovery" .  
-  in:run see:sourceFile "examples/n3/path_discovery.n3" .  
-  in:run see:sourceSHA256 "9481a2b27a6cae4d73f312c7d8403d1abd7beab573f627f591ea8301073fe4db" .  
-  in:run see:description "Full upstream Eyeling path-discovery airroutes evidence converted to TriG; rules and query are kept in examples/n3/path_discovery.n3." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 96420 .  
-  in:run see:compiledRules 1 .  
-  in:run see:compiledBackwardRules 2 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 0 .  
-}  
-```  
-

package/see/examples/output/rc_discharge_envelope.md

@@ -1,102 +0,0 @@
-# RC Discharge Envelope  
-
-## Entailment  
-exact decay symbol : exp(-1/4)  
-certified decay interval : [0.7788007830, 0.7788007831]  
-first below tolerance step : 13  
-first below tolerance time : 0.325 s  
-upper voltage at step 13 : 0.930581 V  
-
-## Explanation  
-The physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance.  
-
-**Generated derivation support**  
-
-Compiled support: 12 source fact(s), 6 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1 (6 premise pattern(s) => 1 conclusion pattern(s)) derives :step12 :upperVoltage 1.19488964135521 ., :step13 :upperVoltage 0.930580988405513 .  
-  - Uses: :case :initialVoltage 24 . _(source)_; :case :decayUpper 0.7788007831 . _(source)_; :case :candidateStep :step12 . _(source)_; :step12 :index 12 . _(source)_; … +2 more premise fact(s)  
-- Rule 2 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :step13 :belowTolerance true .  
-  - Uses: :case :tolerance 1 . _(source)_; :step13 :upperVoltage 0.930580988405513 . _(derived)_  
-- Rule 3 (3 premise pattern(s) => 1 conclusion pattern(s)) derives :step12 :notBelowTolerance true .  
-  - Uses: :case :tolerance 1 . _(source)_; :step12 :upperVoltage 1.19488964135521 . _(derived)_  
-- Rule 4 (6 premise pattern(s) => 1 conclusion pattern(s)) derives :case :firstBelowToleranceStep :step13 .  
-  - Uses: :case :maxStep 18 . _(source)_; :step13 :index 13 . _(source)_; :step13 :previousStep :step12 . _(source)_; :step13 :belowTolerance true . _(derived)_; … +1 more premise fact(s)  
-- Rule 5 (4 premise pattern(s) => 1 conclusion pattern(s)) derives :step13 :timeSeconds 0.325 .  
-  - Uses: :case :samplePeriod 0.025 . _(source)_; :case :firstBelowToleranceStep :step13 . _(derived)_; :step13 :index 13 . _(source)_  
-- Rule 6 (8 premise pattern(s) => 1 conclusion pattern(s)) derives :report log:outputString "[authored report]" .  
-  - Uses: :case :exactDecaySymbol "exp(-1/4)" . _(source)_; :case :decayLower 0.778800783 . _(source)_; :case :decayUpper 0.7788007831 . _(source)_; :case :firstBelowToleranceStep :step13 . _(derived)_; … +3 more premise fact(s)  
-
-Selected explanation support:  
-  - :report log:outputString "[authored report]" . _(authored report, Rule 6)_  
-  - :step13 :timeSeconds 0.325 . _(derived by Rule 5)_  
-    - :case :samplePeriod 0.025 . _(source)_  
-    - :case :firstBelowToleranceStep :step13 . _(derived by Rule 4)_  
-      - :case :maxStep 18 . _(source)_  
-      - :step13 :index 13 . _(source)_  
-      - :step13 :previousStep :step12 . _(source)_  
-      - :step13 :belowTolerance true . _(derived by Rule 2)_  
-        - :case :tolerance 1 . _(source)_  
-        - :step13 :upperVoltage 0.930580988405513 . _(derived by Rule 1)_  
-          - :case :initialVoltage 24 . _(source)_  
-          - :case :decayUpper 0.7788007831 . _(source)_  
-          - :case :candidateStep :step13 . _(source)_  
-          - :step13 :index 13 . _(source)_  
-      - ... 1 more premise fact(s)  
-    - :step13 :index 13 . _(source)_  
-  - :case :firstBelowToleranceStep :step13 . _(derived by Rule 4)_  
-    - :case :maxStep 18 . _(source)_  
-    - :step13 :index 13 . _(source)_  
-    - :step13 :previousStep :step12 . _(source)_  
-    - :step13 :belowTolerance true . _(derived by Rule 2)_  
-      - :case :tolerance 1 . _(source)_  
-      - :step13 :upperVoltage 0.930580988405513 . _(derived by Rule 1)_  
-        - :case :initialVoltage 24 . _(source)_  
-        - :case :decayUpper 0.7788007831 . _(source)_  
-        - :case :candidateStep :step13 . _(source)_  
-        - :step13 :index 13 . _(source)_  
-    - ... 1 more premise fact(s)  
-  - :step12 :notBelowTolerance true . _(derived by Rule 3)_  
-    - :case :tolerance 1 . _(source)_  
-    - :step12 :upperVoltage 1.19488964135521 . _(derived by Rule 1)_  
-      - :case :initialVoltage 24 . _(source)_  
-      - :case :decayUpper 0.7788007831 . _(source)_  
-      - :case :candidateStep :step12 . _(source)_  
-      - :step12 :index 12 . _(source)_  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://eyereasoner.github.io/see/examples/rc-discharge-envelope#> .  
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:step12 :upperVoltage 1.19488964135521 .  
-:step13 :upperVoltage 0.930580988405513 .  
-:step13 :belowTolerance true .  
-:step12 :notBelowTolerance true .  
-:case :firstBelowToleranceStep :step13 .  
-:step13 :timeSeconds 0.325 .  
-:report log:outputString "=== Answer ===\nexact decay symbol : exp(-1/4)\ncertified decay interval : [0.7788007830, 0.7788007831]\nfirst below tolerance step : 13\nfirst below tolerance time : 0.325 s\nupper voltage at step 13 : 0.930581 V\n\n=== Explanation ===\nThe physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance." .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "rc_discharge_envelope" .  
-  in:run see:title "RC Discharge Envelope" .  
-  in:run see:sourceFile "examples/n3/rc_discharge_envelope.n3" .  
-  in:run see:sourceSHA256 "41acff69cd2994230faedf5a466b4c43d47cdff9dc6d834baecd9865979160b8" .  
-  in:run see:description "Certify when a sampled RC capacitor is guaranteed below tolerance using an\nupper decay bound. The witness is derived by N3 rules and compiled to SEE." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 12 .  
-  in:run see:compiledRules 6 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 0 .  
-}  
-```  
-

package/see/examples/output/rdf_dataset.md

@@ -1,54 +0,0 @@
-# RDF dataset compatibility  
-
-## Entailment  
-The compiled query selected 1 fact(s) after the rule closure was computed.  
-Main entailment: **:workOrder :entails <<( :sensor :needs :inspection )>>.**  
-
-Selected entailments:  
-- :workOrder :entails <<( :sensor :needs :inspection )>> .  
-
-## Explanation  
-Starts with 4 source fact(s), applies 1 rule(s), and reaches a fixpoint.  
-The log:query projection then keeps only the matching fact(s) shown above.  
-
-Derivation steps:  
-- Rule 1 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :workOrder :entails <<( :sensor :needs :inspection )>> ., :audit log:nameOf { :workOrder :basedOn :factoryDataset . :workOrder :checkedBy :maintenanceSystem } .  
-  - Uses: :sensor :reports :overheating . _(source)_; :overheating :requires :inspection . _(source)_; :maintenanceSystem :trusted true . _(source)_  
-
-Selected explanation support:  
-  - :workOrder :entails <<( :sensor :needs :inspection )>> . _(derived by Rule 1)_  
-    - :sensor :reports :overheating . _(source)_  
-    - :overheating :requires :inspection . _(source)_  
-    - :maintenanceSystem :trusted true . _(source)_  
-
-The query-selected facts are serialized in the Formal TriG Output section.  
-
-## Formal TriG Output  
-
-```trig  
-VERSION "1.2"  
-
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-dataset#> .  
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-
-:workOrder :entails <<( :sensor :needs :inspection )>> .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "rdf_dataset" .  
-  in:run see:title "RDF dataset compatibility" .  
-  in:run see:sourceFile "examples/n3/rdf_dataset.n3" .  
-  in:run see:sourceSHA256 "76035a24eb72fc1d28a5e1f3021baefee0dde667aa8fc9f2b0a111f9c773b744" .  
-  in:run see:description "RDF 1.1 named graph data and RDF 1.2 triple terms are normalized to ordinary N3 graph terms before SEE compiles the derivation." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 4 .  
-  in:run see:compiledRules 1 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-

package/see/examples/output/rdf_message_flow.md

@@ -1,198 +0,0 @@
-# RDF Message Flow  
-
-## Entailment  
-Continuous RDF Message flow accepted: 5 ordered messages moved through the ingest → validate → interpret → route → sink pipeline. The threshold was 26, so results 21 and 22 were archived, the heartbeat kept the stream alive, and results 28 and 29 were emitted as alerts.  
-
-## Explanation  
-The N3 source starts only :m001 at ingress. Each message must reach :sink before the continuous-flow rule releases its msg:nextMessage. Observation payloads are inspected with log:includes inside each message formula, while the empty heartbeat uses the same envelope and routing stages without a payload. This models messages flowing through a live stream while preserving message boundaries.  
-
-**Generated derivation support**  
-
-Compiled support: 42 source fact(s), 9 rule(s), fixpoint reached before rendering.  
-
-Derivation steps:  
-- Rule 1: ?Message :atStage :ingest => ?Message :atStage :validate derives :m001 :atStage :validate ., :m002 :atStage :validate ., :m003 :atStage :validate ., :m004 :atStage :validate ., … +1 more  
-  - Uses: :m001 :atStage :ingest . _(source)_; :m002 :atStage :ingest . _(derived)_; :m003 :atStage :ingest . _(derived)_; :m004 :atStage :ingest . _(derived)_; … +1 more premise fact(s)  
-- Rule 2 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :m001 msg:boundaryExplicit true ., :m001 :atStage :interpret ., :m002 msg:boundaryExplicit true ., :m002 :atStage :interpret ., … +6 more  
-  - Uses: :m001 :atStage :validate . _(derived)_; :m001 rdf:type msg:RDFMessage . _(source)_; :m001 msg:offset 1 . _(source)_; :m002 :atStage :validate . _(derived)_; … +11 more premise fact(s)  
-- Rule 3 (5 premise pattern(s) => 2 conclusion pattern(s)) derives :m001 msg:payloadResult 21 ., :m001 :atStage :route ., :m002 msg:payloadResult 22 ., :m002 :atStage :route ., … +4 more  
-  - Uses: :m001 :atStage :interpret . _(derived)_; :m001 msg:payloadKind :observation . _(source)_; :m001 msg:expectedResult 21 . _(source)_; :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_; … +12 more premise fact(s)  
-- Rule 6 (4 premise pattern(s) => 3 conclusion pattern(s)) derives :m001 :route :archiveSink ., :m001 :atStage :sink ., :archiveSink :received :m001 ., :m002 :route :archiveSink ., … +2 more  
-  - Uses: :m001 :atStage :route . _(derived)_; :m001 msg:payloadResult 21 . _(derived)_; :temperatureFlow :highThreshold 26 . _(source)_; :m002 :atStage :route . _(derived)_; … +1 more premise fact(s)  
-- Rule 8 (3 premise pattern(s) => 2 conclusion pattern(s)) derives :m001 :releases :m002 ., :m002 :atStage :ingest ., :m002 :releases :m003 ., :m003 :atStage :ingest ., … +4 more  
-  - Uses: :m001 :atStage :sink . _(derived)_; :m001 msg:nextMessage :m002 . _(source)_; :m002 rdf:type msg:RDFMessage . _(source)_; :m002 :atStage :sink . _(derived)_; … +8 more premise fact(s)  
-- Rule 4: ?Message :atStage :interpret; ?Message msg:payloadKind :heartbeat => ?Message msg:emptyMessageAllowed true; ?Message :atStage :route derives :m003 msg:emptyMessageAllowed true ., :m003 :atStage :route .  
-  - Uses: :m003 :atStage :interpret . _(derived)_; :m003 msg:payloadKind :heartbeat . _(source)_  
-
-Selected explanation support:  
-  - :rdfMessageFlowExample :demonstrates :ThresholdRouting . _(derived by Rule 9)_  
-    - :temperatureFlow msg:orderedMessages (:m001 :m002 :m003 :m004 :m005) . _(source)_  
-    - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 :atStage :sink . _(derived by Rule 6)_  
-      - :m001 :atStage :route . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-      - :m001 :atStage :interpret . _(derived by Rule 2)_  
-        - :m001 :atStage :validate . _(derived by Rule 1)_  
-          - :m001 :atStage :ingest . _(source)_  
-        - :m001 rdf:type msg:RDFMessage . _(source)_  
-        - :m001 msg:offset 1 . _(source)_  
-      - :m001 msg:payloadKind :observation . _(source)_  
-      - :m001 msg:expectedResult 21 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-    - ... 17 more premise fact(s)  
-  - :rdfMessageFlowExample :demonstrates :HeartbeatInFlow . _(derived by Rule 9)_  
-    - :temperatureFlow msg:orderedMessages (:m001 :m002 :m003 :m004 :m005) . _(source)_  
-    - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 :atStage :sink . _(derived by Rule 6)_  
-      - :m001 :atStage :route . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-      - :m001 :atStage :interpret . _(derived by Rule 2)_  
-        - :m001 :atStage :validate . _(derived by Rule 1)_  
-          - :m001 :atStage :ingest . _(source)_  
-        - :m001 rdf:type msg:RDFMessage . _(source)_  
-        - :m001 msg:offset 1 . _(source)_  
-      - :m001 msg:payloadKind :observation . _(source)_  
-      - :m001 msg:expectedResult 21 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-    - ... 17 more premise fact(s)  
-  - :rdfMessageFlowExample :demonstrates :AtomicMessageContext . _(derived by Rule 9)_  
-    - :temperatureFlow msg:orderedMessages (:m001 :m002 :m003 :m004 :m005) . _(source)_  
-    - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 :atStage :sink . _(derived by Rule 6)_  
-      - :m001 :atStage :route . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-      - :m001 :atStage :interpret . _(derived by Rule 2)_  
-        - :m001 :atStage :validate . _(derived by Rule 1)_  
-          - :m001 :atStage :ingest . _(source)_  
-        - :m001 rdf:type msg:RDFMessage . _(source)_  
-        - :m001 msg:offset 1 . _(source)_  
-      - :m001 msg:payloadKind :observation . _(source)_  
-      - :m001 msg:expectedResult 21 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-    - ... 17 more premise fact(s)  
-  - :rdfMessageFlowExample :demonstrates :BackPressureRelease . _(derived by Rule 9)_  
-    - :temperatureFlow msg:orderedMessages (:m001 :m002 :m003 :m004 :m005) . _(source)_  
-    - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 :atStage :sink . _(derived by Rule 6)_  
-      - :m001 :atStage :route . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-        - :m001 :atStage :interpret . _(derived by Rule 2)_  
-          - :m001 :atStage :validate . _(derived by Rule 1)_  
-            - support omitted beyond depth 4  
-          - :m001 rdf:type msg:RDFMessage . _(source)_  
-          - :m001 msg:offset 1 . _(source)_  
-        - :m001 msg:payloadKind :observation . _(source)_  
-        - :m001 msg:expectedResult 21 . _(source)_  
-        - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-      - :temperatureFlow :highThreshold 26 . _(source)_  
-    - :m001 msg:payloadResult 21 . _(derived by Rule 3)_  
-      - :m001 :atStage :interpret . _(derived by Rule 2)_  
-        - :m001 :atStage :validate . _(derived by Rule 1)_  
-          - :m001 :atStage :ingest . _(source)_  
-        - :m001 rdf:type msg:RDFMessage . _(source)_  
-        - :m001 msg:offset 1 . _(source)_  
-      - :m001 msg:payloadKind :observation . _(source)_  
-      - :m001 msg:expectedResult 21 . _(source)_  
-      - :m001 msg:payload { _:m001b0 rdf:type sosa:Observation . _:m001b0 sosa:madeBySensor :thermometerA . _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" . _:m001b0 sosa:hasSimpleResult 21 } . _(source)_  
-    - ... 17 more premise fact(s)  
-
-## Formal TriG Output  
-
-```trig  
-@prefix : <https://eyereasoner.github.io/see/examples/rdf-message-flow#> .  
-@prefix msg: <https://example.org/msg#> .  
-@prefix prov: <http://www.w3.org/ns/prov#> .  
-@prefix sosa: <http://www.w3.org/ns/sosa/> .  
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .  
-@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#> .  
-@prefix see: <https://example.org/see#> .  
-@prefix in: <https://example.org/see/input#> .  
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  
-
-:rdfMessageFlowExample :demonstrates :ContinuousFlow .  
-:rdfMessageFlowExample :demonstrates :BackPressureRelease .  
-:rdfMessageFlowExample :demonstrates :AtomicMessageContext .  
-:rdfMessageFlowExample :demonstrates :HeartbeatInFlow .  
-:rdfMessageFlowExample :demonstrates :ThresholdRouting .  
-
-in:metadata {  
-  in:run a see:InputDataset .  
-  in:run see:name "rdf_message_flow" .  
-  in:run see:title "RDF Message Flow" .  
-  in:run see:sourceFile "examples/n3/rdf_message_flow.n3" .  
-  in:run see:sourceSHA256 "e4e534c8ac3c2aa276e7158cca8d3146531879033f73685c302b486be2ab0099" .  
-  in:run see:description "A companion to rdf_messages.n3. This example focuses on a live stream where\nRDF Messages continuously flow through a small processing pipeline. The next\nmessage is released only after the current message reaches the sink, so the\nstream behaves as an ordered, replayable flow rather than a single merged RDF\ngraph." .  
-  in:run see:compiler "see.js N3-to-JS compiler" .  
-  in:run see:inputFacts 42 .  
-  in:run see:compiledRules 9 .  
-  in:run see:compiledBackwardRules 0 .  
-  in:run see:compiledFuses 0 .  
-  in:run see:compiledQueries 1 .  
-}  
-```  
-