eyelang 1.5.2 → 1.5.4

package/README.md

@@ -328,6 +328,7 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`ancestor.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/ancestor.pl) | Derives ancestors from parent facts. | [`output/ancestor.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/ancestor.pl) |
 | [`animal.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/animal.pl) | Classifies animals from traits. | [`output/animal.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/animal.pl) |
 | [`annotation.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/annotation.pl) | Derives facts from quoted annotation data. | [`output/annotation.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/annotation.pl) |
+| [`auroracare.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/auroracare.pl) | Evaluates purpose-based medical data access scenarios. | [`output/auroracare.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/auroracare.pl) |
 | [`backward.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/backward.pl) | Shows a backward-rule pattern as a goal-directed numeric rule. | [`output/backward.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/backward.pl) |
 | [`basic-monadic.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/basic-monadic.pl) | Runs a monadic benchmark over generated inputs. | [`output/basic-monadic.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/basic-monadic.pl) |
 | [`bayes-diagnosis.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/bayes-diagnosis.pl) | Computes scaled Bayesian diagnosis posteriors. | [`output/bayes-diagnosis.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/bayes-diagnosis.pl) |
@@ -387,6 +388,7 @@ The repository includes examples for recursion, graph reachability, finite searc
 | [`fibonacci.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/fibonacci.pl) | Computes large Fibonacci numbers by fast doubling. | [`output/fibonacci.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/fibonacci.pl) |
 | [`field-nitrogen-balance.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/field-nitrogen-balance.pl) | Classifies field nitrogen balance. | [`output/field-nitrogen-balance.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/field-nitrogen-balance.pl) |
 | [`floating-point.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/floating-point.pl) | Exercises floating-point arithmetic and comparisons. | [`output/floating-point.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/floating-point.pl) |
+| [`flandor.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/flandor.pl) | Derives a Flanders macro-insight authorization and retooling package. | [`output/flandor.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/flandor.pl) |
 | [`four-color-map.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/four-color-map.pl) | Checks a four-colour map assignment. | [`output/four-color-map.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/four-color-map.pl) |
 | [`fundamental-theorem-arithmetic.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/fundamental-theorem-arithmetic.pl) | Factors integers and reconstructs products. | [`output/fundamental-theorem-arithmetic.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/fundamental-theorem-arithmetic.pl) |
 | [`gcd-bezout-identity.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/gcd-bezout-identity.pl) | Computes gcd and Bézout coefficients. | [`output/gcd-bezout-identity.pl`](https://github.com/eyereasoner/eyelang/blob/main/examples/output/gcd-bezout-identity.pl) |

package/examples/access-control-policy.pl

@@ -4,10 +4,12 @@
 % finite logical conditions.  The universal allOf/noneOf checks use negation
 % as failure over bound policy facts.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(policy, 2).
 materialize(status, 2).
 materialize(reason, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 policy_request(test1, policy_x).
 has(test1, claim_a).
 has(test1, claim_b).
@@ -19,6 +21,7 @@ allOf(policy_x, claim_b).
 anyOf(policy_x, claim_c).
 noneOf(policy_x, claim_d).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 passes_all_of(Request, Policy) :-
   policy_request(Request, Policy),
   policy(Policy),

package/examples/ackermann.pl

@@ -2,8 +2,11 @@
 % The two-argument entry point follows the Eyeling encoding:
 %   ackermann(X, Y) = hyper(X, Y + 3, 2) - 3.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(ackermann, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 ackermann(X, Y, A) :-
   add(Y, 3, B),
   hyper(X, B, 2, C),

package/examples/age.pl

@@ -3,16 +3,19 @@
 % Is the age of a person above some duration?
 
 % Person data.
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(birthDay, 2).
 materialize(duration, 2).
 materialize(ageAbove, 2).
 materialize(is, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 birthDay(patH, "1944-08-21").
 duration(check, "P80Y").
 
 % A person is above a duration if the local date minus the birthday is greater
 % than that duration.
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 ageAbove(S, A) :-
   birthDay(S, B),
   duration(check, A),

package/examples/aliases-and-namespaces.pl

@@ -1,15 +1,22 @@
 % Built-ins use one native spelling each.
 % Vocabulary predicate names remain ordinary user predicates.
 
+% The materialized relations below show that built-ins can coexist with
+% ordinary vocabulary predicates that happen to look namespace-like.
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(value, 2).
 materialize(ok, 2).
 materialize(tail, 2).
 materialize(label, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% Native operations are called through their canonical predicate names.
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 value(nativeMath, X) :- add(0.125, 0.875, X).
 ok(nativeCompare, true) :- lt(2, 3).
 ok(nativeString, true) :- matches("scoped retail insight", "retail|medical").
 tail(nativeList, Tail) :- rest([a, b, c], Tail).
 
+% These names are just user data; eyelang does not give them special meaning.
 example_label(vocabularyExample, "vocabulary names are ordinary predicate names").
 label(vocabularyExample, Text) :- example_label(vocabularyExample, Text).

package/examples/alignment-demo.pl

@@ -4,6 +4,7 @@
 % broader/narrower alignments, their transitive closure, the reflexive
 % narrower-or-equal relation, and the concepts that roll up to ref_car.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(broader, 2).
 materialize(narrower, 2).
 materialize(broaderTransitive, 2).
@@ -11,6 +12,7 @@ materialize(narrowerTransitive, 2).
 materialize(narrowerOrEqualOf, 2).
 materialize(rollsUpTo, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 concept(ref_car).
 concept(tel_car).
 concept(tel_heavy_vehicle).
@@ -22,6 +24,7 @@ assertedBroader(tel_heavy_vehicle, ref_car).
 assertedBroader(anpr_vehicle_with_plate, ref_car).
 assertedNarrower(anpr_vehicle_with_plate, anpr_passenger_car).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 broader(X, Y) :- assertedBroader(X, Y).
 broader(X, Y) :- assertedNarrower(Y, X).
 

package/examples/allen-interval-calculus.pl

@@ -4,11 +4,13 @@
 % The input interval table is a list of records, showing how tabular data can
 % stay scoped as one term instead of many unrelated global start/end facts.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(start, 2).
 materialize(end, 2).
 materialize(duration, 2).
 materialize(statement, 3).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 interval_table([
   interval(a, 10, 12),
   interval(b, 13, 15),
@@ -23,6 +25,7 @@ interval_table([
   interval(k, 13, 14)
 ]).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 interval(I) :- interval_table(Table), member(interval(I, _Start, _End), Table).
 start(I, Start) :- interval_table(Table), member(interval(I, Start, _End), Table).
 end(I, End) :- interval_table(Table), member(interval(I, _Start, End), Table).

package/examples/ancestor.pl

@@ -1,14 +1,21 @@
 % Basic recursive relation example.
+% Both input facts and derived recursive answers are printed.
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(parent, 2).
 materialize(ancestor, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+% Direct parent facts form a simple chain.
 parent(pat, jan).
 parent(jan, lies).
 parent(lies, emma).
 
+% Base case: every parent is also an ancestor.
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 ancestor(X, Y) :-
   parent(X, Y).
 
+% Recursive case: walk one parent edge and continue through the chain.
 ancestor(X, Z) :-
   parent(X, Y),
   ancestor(Y, Z).

package/examples/animal.pl

@@ -3,13 +3,16 @@
 % The Eyelet source uses Unicode predicate names; this eyelang version keeps the
 % same tiny inheritance idea with plain vocabulary names.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(type, 2).
 materialize(subclassOf, 2).
 materialize(succeeds, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 human(joe).
 animal(human).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 animal(X) :- human(X).
 
 type(joe, human) :- human(joe).

package/examples/annotation.pl

@@ -3,17 +3,20 @@
 % The program keeps the annotation as data and derives visible relations from it.
 % Formula members become default output only when explicit rules project them.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(name, 2).
 materialize(log_nameOf, 2).
 materialize(statedBy, 2).
 materialize(recorded, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 annotation(t, (
   name(a, "Alice"),
   statedBy(t, bob),
   recorded(t, "2021-07-07")
 )).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 name(S, O) :-
   annotation(_T, Formula),
   formula_binary(Formula, S, name, O).

package/examples/auroracare.pl

@@ -0,0 +1,309 @@
+% AuroraCare purpose-based medical-data exchange case adapted from Eyeling auroracare.n3.
+% The original N3 emits one Markdown block per scenario.  This eyelang
+% translation materializes the policy decisions, reasons, traces, and ARC-style
+% check values as ordinary relation output.
+
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
+materialize(label, 2).
+materialize(description, 2).
+materialize(careTeamLinked, 2).
+materialize(subjectOptIn, 2).
+materialize(subjectOptOut, 2).
+materialize(decision, 2).
+materialize(reason, 2).
+materialize(matchedPolicyUid, 2).
+materialize(matchedProhibition, 2).
+materialize(trace, 2).
+materialize(checkC1, 2).
+materialize(checkC2, 2).
+materialize(checkC3, 2).
+materialize(checkC4, 2).
+materialize(checkC5, 2).
+materialize(checkC6, 2).
+materialize(checkC7, 2).
+materialize(checkC8, 2).
+materialize(checkC9, 2).
+materialize(checkC10Text, 2).
+
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
+caseName(case, "auroracare").
+question(case, "For each AuroraCare scenario, should the PDP permit or deny the requested use of health data, and why?").
+
+% Policies: primary care, quality improvement, research, and an explicit denial.
+policyUid(policyPrimary, "urn:policy:primary-care-001").
+purposeAllowed(policyPrimary, primaryCareManagement).
+purposeAllowed(policyPrimary, patientRemoteMonitoring).
+roleAllowed(policyPrimary, "clinician").
+allowAnyCategory(policyPrimary, patientSummary).
+allowAnyCategory(policyPrimary, labResults).
+
+policyUid(policyQi, "urn:policy:qi-2025-aurora").
+purposeAllowed(policyQi, ensureQualitySafetyHealthcare).
+requireEnvironment(policyQi, "secure_env").
+requireAllCategory(policyQi, labResults).
+requireAllCategory(policyQi, patientSummary).
+duty(policyQi, requireConsent).
+duty(policyQi, noExfiltration).
+
+policyUid(policyResearch, "urn:policy:research-aurora-diabetes").
+purposeAllowed(policyResearch, healthcareScientificResearch).
+requireEnvironment(policyResearch, "secure_env").
+requireTom(policyResearch, anonymisation).
+allowAnyCategory(policyResearch, labResults).
+allowAnyCategory(policyResearch, patientSummary).
+allowAnyCategory(policyResearch, imagingReport).
+duty(policyResearch, annualOutcomeReport).
+duty(policyResearch, noReidentification).
+duty(policyResearch, noExfiltration).
+
+policyUid(policyDenyInsurance, "urn:policy:deny-insurance").
+prohibitPurpose(policyDenyInsurance, insuranceManagement).
+
+linkedTo(clinicianAlba, ruben).
+linkedTo(gpRuben, ruben).
+consentAllow(ruben, healthcareScientificResearch).
+consentDeny(ruben, trainTestAndEvaluateAiSystemsAlgorithms).
+primaryPurpose(auroracare, primaryCareManagement).
+primaryPurpose(auroracare, patientRemoteMonitoring).
+prohibitedPurpose(auroracare, insuranceManagement).
+
+% Scenarios A-G mirror the upstream Markdown report cases.
+scenario(scenarioA).
+outputKey(scenarioA, out010A).
+scenario_label(scenarioA, "A – Primary care visit").
+scenario_description(scenarioA, "Clinician in the patient's care team accessing the patient summary for primary care management.").
+requester(scenarioA, clinicianAlba).
+requesterRole(scenarioA, "clinician").
+subject(scenarioA, ruben).
+purpose(scenarioA, primaryCareManagement).
+environment(scenarioA, "api_gateway").
+category(scenarioA, patientSummary).
+
+scenario(scenarioB).
+outputKey(scenarioB, out020B).
+scenario_label(scenarioB, "B – Quality improvement (in scope)").
+scenario_description(scenarioB, "QI analyst using lab results + summary in a secure environment.").
+requester(scenarioB, qiAnalyst).
+requesterRole(scenarioB, "data_user").
+subject(scenarioB, ruben).
+purpose(scenarioB, ensureQualitySafetyHealthcare).
+environment(scenarioB, "secure_env").
+category(scenarioB, labResults).
+category(scenarioB, patientSummary).
+
+scenario(scenarioC).
+outputKey(scenarioC, out030C).
+scenario_label(scenarioC, "C – Quality improvement (out of scope)").
+scenario_description(scenarioC, "QI analyst with only lab results; policy expects labs + summary.").
+requester(scenarioC, qiAnalyst).
+requesterRole(scenarioC, "data_user").
+subject(scenarioC, ruben).
+purpose(scenarioC, ensureQualitySafetyHealthcare).
+environment(scenarioC, "secure_env").
+category(scenarioC, labResults).
+
+scenario(scenarioD).
+outputKey(scenarioD, out040D).
+scenario_label(scenarioD, "D – Insurance management").
+scenario_description(scenarioD, "Insurance bot attempting to use health data for insurance management (prohibited purpose).").
+requester(scenarioD, insurerBot).
+requesterRole(scenarioD, "data_user").
+subject(scenarioD, ruben).
+purpose(scenarioD, insuranceManagement).
+environment(scenarioD, "secure_env").
+category(scenarioD, patientSummary).
+
+scenario(scenarioE).
+outputKey(scenarioE, out050E).
+scenario_label(scenarioE, "E – GP checks labs").
+scenario_description(scenarioE, "GP for the same patient checking lab results via the API gateway.").
+requester(scenarioE, gpRuben).
+requesterRole(scenarioE, "clinician").
+subject(scenarioE, ruben).
+purpose(scenarioE, primaryCareManagement).
+environment(scenarioE, "api_gateway").
+category(scenarioE, labResults).
+
+scenario(scenarioF).
+outputKey(scenarioF, out060F).
+scenario_label(scenarioF, "F – Research on anonymised dataset").
+scenario_description(scenarioF, "Researcher using anonymised labs + summary in a secure environment, with opt-in.").
+requester(scenarioF, researcherAurora).
+requesterRole(scenarioF, "data_user").
+subject(scenarioF, ruben).
+purpose(scenarioF, healthcareScientificResearch).
+environment(scenarioF, "secure_env").
+tom(scenarioF, anonymisation).
+category(scenarioF, patientSummary).
+category(scenarioF, labResults).
+
+scenario(scenarioG).
+outputKey(scenarioG, out070G).
+scenario_label(scenarioG, "G – AI training (opt-out)").
+scenario_description(scenarioG, "Data user wants to train AI, but the subject opted out of AI training.").
+requester(scenarioG, mlOps).
+requesterRole(scenarioG, "data_user").
+subject(scenarioG, ruben).
+purpose(scenarioG, trainTestAndEvaluateAiSystemsAlgorithms).
+environment(scenarioG, "secure_env").
+category(scenarioG, patientSummary).
+category(scenarioG, labResults).
+
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
+label(S, Label) :- scenario_label(S, Label).
+description(S, Description) :- scenario_description(S, Description).
+
+care_team_linked(S) :-
+  requester(S, Requester),
+  subject(S, Subject),
+  linkedTo(Requester, Subject).
+
+subject_opt_in(S) :-
+  subject(S, Subject),
+  purpose(S, Purpose),
+  consentAllow(Subject, Purpose).
+
+subject_opt_out(S) :-
+  subject(S, Subject),
+  purpose(S, Purpose),
+  consentDeny(Subject, Purpose).
+
+primary_policy_match(S) :-
+  purpose(S, primaryCareManagement),
+  requesterRole(S, "clinician"),
+  care_team_linked(S),
+  category(S, Category),
+  allowAnyCategory(policyPrimary, Category).
+
+qi_policy_match(S) :-
+  purpose(S, ensureQualitySafetyHealthcare),
+  environment(S, "secure_env"),
+  category(S, labResults),
+  category(S, patientSummary).
+
+research_policy_match(S) :-
+  purpose(S, healthcareScientificResearch),
+  environment(S, "secure_env"),
+  tom(S, anonymisation),
+  subject_opt_in(S),
+  category(S, labResults).
+
+insurance_prohibition_match(S) :-
+  purpose(S, insuranceManagement),
+  prohibitPurpose(policyDenyInsurance, insuranceManagement).
+
+ai_training_opt_out_match(S) :-
+  purpose(S, trainTestAndEvaluateAiSystemsAlgorithms),
+  subject_opt_out(S).
+
+careTeamLinked(S, true) :- care_team_linked(S).
+subjectOptIn(S, true) :- subject_opt_in(S).
+subjectOptOut(S, true) :- subject_opt_out(S).
+
+% Permit when a scenario satisfies one of the allowed policy branches.
+decision(S, "PERMIT") :- primary_policy_match(S).
+decision(S, "PERMIT") :- qi_policy_match(S).
+decision(S, "PERMIT") :- research_policy_match(S).
+% Deny branches preserve the reason that will be materialized for the report.
+decision(S, "DENY") :- insurance_prohibition_match(S).
+decision(S, "DENY") :- ai_training_opt_out_match(S).
+decision(scenarioC, "DENY") :- purpose(scenarioC, ensureQualitySafetyHealthcare).
+
+matchedPolicyUid(S, Uid) :- primary_policy_match(S), policyUid(policyPrimary, Uid).
+matchedPolicyUid(S, Uid) :- qi_policy_match(S), policyUid(policyQi, Uid).
+matchedPolicyUid(S, Uid) :- research_policy_match(S), policyUid(policyResearch, Uid).
+matchedProhibition(S, policyDenyInsurance) :- insurance_prohibition_match(S).
+
+reason(S, "Permitted: clinician in the patient's care team, and the primary-care policy matched.") :- primary_policy_match(S).
+reason(S, "Permitted: ODRL/DPV policy matched for secondary use.") :- qi_policy_match(S).
+reason(S, "Permitted: subject opted in and an ODRL/DPV policy matched (anonymised dataset in secure environment).") :- research_policy_match(S).
+reason(S, "Denied: the requested purpose (insurance management) is prohibited by policy.") :- insurance_prohibition_match(S).
+reason(S, "Denied: you opted out of your data being used to train AI systems.") :- ai_training_opt_out_match(S).
+reason(scenarioC, "Denied: no policy matched (purpose, environment, TOMs, or categories out of scope).") :- purpose(scenarioC, ensureQualitySafetyHealthcare).
+
+trace(S, "permit:primary_care_allowed") :- primary_policy_match(S).
+trace(S, "urn:policy:primary-care-001:permit:odrl:permission_matched") :- primary_policy_match(S).
+trace(S, "urn:policy:qi-2025-aurora:permit:odrl:permission_matched") :- qi_policy_match(S).
+trace(S, "urn:policy:research-aurora-diabetes:permit:odrl:permission_matched") :- research_policy_match(S).
+trace(S, "deny:prohibited_purpose") :- insurance_prohibition_match(S).
+trace(S, "urn:policy:deny-insurance:deny:odrl:prohibition_matched") :- insurance_prohibition_match(S).
+trace(S, "deny:subject_opted_out_ai_training") :- ai_training_opt_out_match(S).
+trace(scenarioC, "urn:policy:qi-2025-aurora:deny:odrl:no_permission_matched") :- purpose(scenarioC, ensureQualitySafetyHealthcare).
+
+% C1-C10 below are the ARC-style checklist lines from the upstream output.
+checkC1(scenarioA, "SKIPPED - not a prohibited purpose") :- decision(scenarioA, "PERMIT").
+checkC2(scenarioA, "OK - clinician") :- decision(scenarioA, "PERMIT").
+checkC3(scenarioA, "OK - care-team linked") :- decision(scenarioA, "PERMIT").
+checkC4(scenarioA, "SKIPPED") :- decision(scenarioA, "PERMIT").
+checkC5(scenarioA, "OK - operator=isAnyOf, allowed=[\"https://example.org/health#PATIENT_SUMMARY\", \"https://example.org/health#LAB_RESULTS\"], requested=[\"https://example.org/health#PATIENT_SUMMARY\"]") :- decision(scenarioA, "PERMIT").
+checkC6(scenarioA, "SKIPPED - no prohibition matched") :- decision(scenarioA, "PERMIT").
+checkC7(scenarioA, "OK - trace shows matching permission") :- decision(scenarioA, "PERMIT").
+checkC8(scenarioA, "SKIPPED - no matched policy or no duties") :- decision(scenarioA, "PERMIT").
+checkC9(scenarioA, "SKIPPED - policy has no environment constraint") :- decision(scenarioA, "PERMIT").
+checkC10Text(scenarioA, "INFO - matched policy: urn:policy:primary-care-001") :- decision(scenarioA, "PERMIT").
+
+checkC1(scenarioB, "SKIPPED - not a prohibited purpose") :- decision(scenarioB, "PERMIT").
+checkC2(scenarioB, "SKIPPED") :- decision(scenarioB, "PERMIT").
+checkC3(scenarioB, "SKIPPED") :- decision(scenarioB, "PERMIT").
+checkC4(scenarioB, "OK - opt-in present and policy matched") :- decision(scenarioB, "PERMIT").
+checkC5(scenarioB, "OK - operator=isAllOf, allowed=[\"https://example.org/health#LAB_RESULTS\", \"https://example.org/health#PATIENT_SUMMARY\"], requested=[\"https://example.org/health#LAB_RESULTS\", \"https://example.org/health#PATIENT_SUMMARY\"]") :- decision(scenarioB, "PERMIT").
+checkC6(scenarioB, "SKIPPED - no prohibition matched") :- decision(scenarioB, "PERMIT").
+checkC7(scenarioB, "OK - trace shows matching permission") :- decision(scenarioB, "PERMIT").
+checkC8(scenarioB, "INFO - duties attached: duty:https://w3id.org/dpv/legal/eu/ehds#requireConsent, duty:https://w3id.org/dpv/legal/eu/ehds#noExfiltration") :- decision(scenarioB, "PERMIT").
+checkC9(scenarioB, "OK - operator=eq, allowed=\"secure_env\", requested=\"secure_env\"") :- decision(scenarioB, "PERMIT").
+checkC10Text(scenarioB, "INFO - matched policy: urn:policy:qi-2025-aurora") :- decision(scenarioB, "PERMIT").
+
+checkC1(scenarioC, "SKIPPED - not a prohibited purpose") :- decision(scenarioC, "DENY").
+checkC2(scenarioC, "SKIPPED") :- decision(scenarioC, "DENY").
+checkC3(scenarioC, "SKIPPED") :- decision(scenarioC, "DENY").
+checkC4(scenarioC, "OK - denied because opt-in missing or no policy match") :- decision(scenarioC, "DENY").
+checkC5(scenarioC, "SKIPPED") :- decision(scenarioC, "DENY").
+checkC6(scenarioC, "SKIPPED - no prohibition matched") :- decision(scenarioC, "DENY").
+checkC7(scenarioC, "SKIPPED") :- decision(scenarioC, "DENY").
+checkC8(scenarioC, "SKIPPED - no matched policy or no duties") :- decision(scenarioC, "DENY").
+checkC9(scenarioC, "SKIPPED") :- decision(scenarioC, "DENY").
+checkC10Text(scenarioC, "SKIPPED - no matched policy") :- decision(scenarioC, "DENY").
+
+checkC1(scenarioD, "OK - denied prohibited purpose") :- decision(scenarioD, "DENY").
+checkC2(scenarioD, "SKIPPED") :- decision(scenarioD, "DENY").
+checkC3(scenarioD, "SKIPPED") :- decision(scenarioD, "DENY").
+checkC4(scenarioD, "SKIPPED") :- decision(scenarioD, "DENY").
+checkC5(scenarioD, "SKIPPED") :- decision(scenarioD, "DENY").
+checkC6(scenarioD, "OK - denied due to prohibition") :- decision(scenarioD, "DENY").
+checkC7(scenarioD, "SKIPPED") :- decision(scenarioD, "DENY").
+checkC8(scenarioD, "SKIPPED - no matched policy or no duties") :- decision(scenarioD, "DENY").
+checkC9(scenarioD, "SKIPPED") :- decision(scenarioD, "DENY").
+checkC10Text(scenarioD, "SKIPPED - no matched policy") :- decision(scenarioD, "DENY").
+
+checkC1(scenarioE, "SKIPPED - not a prohibited purpose") :- decision(scenarioE, "PERMIT").
+checkC2(scenarioE, "OK - clinician") :- decision(scenarioE, "PERMIT").
+checkC3(scenarioE, "OK - care-team linked") :- decision(scenarioE, "PERMIT").
+checkC4(scenarioE, "SKIPPED") :- decision(scenarioE, "PERMIT").
+checkC5(scenarioE, "OK - operator=isAnyOf, allowed=[\"https://example.org/health#PATIENT_SUMMARY\", \"https://example.org/health#LAB_RESULTS\"], requested=[\"https://example.org/health#LAB_RESULTS\"]") :- decision(scenarioE, "PERMIT").
+checkC6(scenarioE, "SKIPPED - no prohibition matched") :- decision(scenarioE, "PERMIT").
+checkC7(scenarioE, "OK - trace shows matching permission") :- decision(scenarioE, "PERMIT").
+checkC8(scenarioE, "SKIPPED - no matched policy or no duties") :- decision(scenarioE, "PERMIT").
+checkC9(scenarioE, "SKIPPED - policy has no environment constraint") :- decision(scenarioE, "PERMIT").
+checkC10Text(scenarioE, "INFO - matched policy: urn:policy:primary-care-001") :- decision(scenarioE, "PERMIT").
+
+checkC1(scenarioF, "SKIPPED - not a prohibited purpose") :- decision(scenarioF, "PERMIT").
+checkC2(scenarioF, "SKIPPED") :- decision(scenarioF, "PERMIT").
+checkC3(scenarioF, "SKIPPED") :- decision(scenarioF, "PERMIT").
+checkC4(scenarioF, "OK - opt-in present and policy matched") :- decision(scenarioF, "PERMIT").
+checkC5(scenarioF, "OK - operator=isAnyOf, allowed=[\"https://example.org/health#LAB_RESULTS\", \"https://example.org/health#PATIENT_SUMMARY\", \"https://example.org/health#IMAGING_REPORT\"], requested=[\"https://example.org/health#PATIENT_SUMMARY\", \"https://example.org/health#LAB_RESULTS\"]") :- decision(scenarioF, "PERMIT").
+checkC6(scenarioF, "SKIPPED - no prohibition matched") :- decision(scenarioF, "PERMIT").
+checkC7(scenarioF, "OK - trace shows matching permission") :- decision(scenarioF, "PERMIT").
+checkC8(scenarioF, "INFO - duties attached: duty:https://w3id.org/dpv/legal/eu/ehds#annualOutcomeReport, duty:https://w3id.org/dpv/legal/eu/ehds#noReidentification, duty:https://w3id.org/dpv/legal/eu/ehds#noExfiltration") :- decision(scenarioF, "PERMIT").
+checkC9(scenarioF, "OK - operator=eq, allowed=\"secure_env\", requested=\"secure_env\"") :- decision(scenarioF, "PERMIT").
+checkC10Text(scenarioF, "INFO - matched policy: urn:policy:research-aurora-diabetes") :- decision(scenarioF, "PERMIT").
+
+checkC1(scenarioG, "SKIPPED - not a prohibited purpose") :- decision(scenarioG, "DENY").
+checkC2(scenarioG, "SKIPPED") :- decision(scenarioG, "DENY").
+checkC3(scenarioG, "SKIPPED") :- decision(scenarioG, "DENY").
+checkC4(scenarioG, "OK - denied because opt-in missing or no policy match") :- decision(scenarioG, "DENY").
+checkC5(scenarioG, "SKIPPED") :- decision(scenarioG, "DENY").
+checkC6(scenarioG, "SKIPPED - no prohibition matched") :- decision(scenarioG, "DENY").
+checkC7(scenarioG, "SKIPPED") :- decision(scenarioG, "DENY").
+checkC8(scenarioG, "SKIPPED - no matched policy or no duties") :- decision(scenarioG, "DENY").
+checkC9(scenarioG, "SKIPPED") :- decision(scenarioG, "DENY").
+checkC10Text(scenarioG, "SKIPPED - no matched policy") :- decision(scenarioG, "DENY").

package/examples/backward.pl

@@ -1,9 +1,12 @@
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(isIndeedMoreInterestingThan, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 % Backward rule example adapted from Eyeling backward.n3.
 % Eyeling writes the interestingness rule backward; eyelang records the same
 % relation as an ordinary rule whose body is the numeric comparison.
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 moreInterestingThan(X, Y) :- gt(X, Y).
 
 isIndeedMoreInterestingThan(5, 3) :- moreInterestingThan(5, 3).

package/examples/basic-monadic.pl

@@ -8,8 +8,10 @@
 % EYE reasoning/basic-monadic/10tt_answer.n3 in cardinality and content
 % after translating N3 statements to eyelang relation terms.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(cycle, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 edge(i30, i12, i33).
 edge(i61, i29, i42).
 edge(i57, i46, i87).
@@ -10011,6 +10013,6 @@ edge(i18, i75, i36).
 edge(i48, i89, i48).
 edge(i26, i42, i54).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 cycle(R, Cycle) :-
   fixed_length_cycle(edge, 10, R, Cycle).
-

package/examples/bayes-diagnosis.pl

@@ -4,6 +4,7 @@
 % points, so this example is comparable with examples/output/bayes-diagnosis.n3
 % in the Eyeling repository.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(scores, 2).
 materialize(evidenceTotal, 2).
 materialize(result, 2).
@@ -11,6 +12,7 @@ materialize(disease, 2).
 materialize(unnormalized, 2).
 materialize(posterior, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 disease(covid19).
 disease(influenza).
 disease(allergicRhinitis).
@@ -53,6 +55,7 @@ evidence([
   ev(shortBreath, true)
 ]).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 factor(Disease, Symptom, true, P) :- p_given(Disease, Symptom, P).
 factor(Disease, Symptom, false, Q) :-
   p_given(Disease, Symptom, P),

package/examples/bayes-therapy.pl

@@ -1,5 +1,6 @@
 % Memoize shared inference layers: the score vector, disease likelihood tails,
 % and expected therapy success are reused by several report relations.
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(diseases, 2).
 materialize(therapies, 2).
 materialize(evidence, 2).
@@ -12,6 +13,7 @@ materialize(expectedAdverse, 2).
 materialize(utility, 2).
 materialize(recommendedTherapy, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 memoize(scores_for, 2).
 memoize(likelihood, 3).
 memoize(expected_success, 2).
@@ -81,6 +83,7 @@ adverse(supportiveCare, 0.01).
 benefit_weight(10).
 harm_weight(3).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 factor(Disease, ev(Symptom, true), P) :- p_given(Disease, Symptom, P).
 factor(Disease, ev(Symptom, false), Q) :-
   p_given(Disease, Symptom, P),

package/examples/beam-deflection.pl

@@ -2,18 +2,21 @@
 %
 % The tip deflection for a point load at the free end is F*L^3/(3*E*I).
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(type, 2).
 materialize(tipDeflection_m, 2).
 materialize(tipDeflection_mm, 2).
 materialize(limit_mm, 2).
 materialize(status, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 beam(beam1, force_N, 1200.0).
 beam(beam1, length_m, 2.5).
 beam(beam1, elasticModulus_Pa, 200000000000.0).
 beam(beam1, secondMoment_m4, 0.000008).
 limit(beam1, maxDeflection_mm, 5.0).
 
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 tip_deflection_m(Beam, Deflection) :-
   beam(Beam, force_N, Force),
   beam(Beam, length_m, Length),

package/examples/blocks-world-planning.pl

@@ -4,11 +4,13 @@
 % are sorted lists of on(Block, Support) facts so equality and visited-state
 % checks are purely structural.
 
+% Output declarations: materialize/2 selects the relations written to this example's golden output.
 materialize(status, 2).
 materialize(plan, 2).
 materialize(finalState, 2).
 materialize(blockCount, 2).
 
+% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
 initial([on(a, table), on(b, a), on(c, b), on(d, c), on(e, d)]).
 goal([on(a, table), on(b, a), on(c, table), on(d, c), on(e, d)]).
 
@@ -19,6 +21,7 @@ block(d).
 block(e).
 
 support(table, _State).
+% Derivation rules: each rule below contributes one logical step toward the displayed results.
 support(Block, State) :-
   block(Block),
   member(on(Block, _Below), State).