eyeling 1.22.0 → 1.22.2

package/examples/arcling/README.md

@@ -10,15 +10,16 @@ In one line:
 
 ## Insight Economy context
 
-The `delfour`, `medior`, and `flandor` cases are concrete Arcling readings of Ruben Verborgh’s [Inside the Insight Economy](https://ruben.verborgh.org/blog/2025/08/12/inside-the-insight-economy/). The central move is the same in all three cases: what gets traded is not risky raw data, but a narrow, expiring, purpose-bound insight that is useful enough to trigger action. In Ruben’s phrasing, the goal is to “don’t exchange raw data” and to prefer “meaningful insights, not risky raw data”.
+The `delfour`, `medior`, `flandor`, and `calidor` cases are concrete Arcling readings of Ruben Verborgh’s [Inside the Insight Economy](https://ruben.verborgh.org/blog/2025/08/12/inside-the-insight-economy/). The central move is the same in all four cases: what gets traded is not risky raw data, but a narrow, expiring, purpose-bound insight that is useful enough to trigger action. In Ruben’s phrasing, the goal is to “don’t exchange raw data” and to prefer “meaningful insights, not risky raw data”.
 
-In this directory, the three cases show that pattern across three settings:
+In this directory, the four cases show that pattern across four settings:
 
 - **Delfour** keeps a household-level medical condition private and turns it into a neutral shopping insight such as “prefer lower-sugar products” for shopping assistance.
 - **Medior** keeps laboratory, medication, and readmission evidence local and turns it into a minimal post-discharge coordination insight that can justify activating a continuity bundle.
 - **Flandor** keeps exporter, labour-market, and grid evidence local and turns it into a regional macro-economic insight that justifies a temporary retooling response.
+- **Calidor** keeps household heat, vulnerability, and prepaid-energy stress local and turns them into a narrow municipal heatwave-support insight that can justify a priority cooling package.
 
-That progression is intentional: `delfour` is the micro case, `medior` is the care-coordination case, and `flandor` is the macro case. They are easiest to read next to their declarative Eyeling counterparts: `examples/delfour.n3`, `examples/medior.n3`, and `examples/flandor.n3`.
+That progression is intentional: `delfour` is the micro case, `medior` is the care-coordination case, `calidor` is the civic-response case, and `flandor` is the macro case. They are easiest to read next to their declarative Eyeling counterparts: `examples/delfour.n3`, `examples/medior.n3`, and `examples/flandor.n3`.
 
 ## Why this directory exists
 
@@ -152,7 +153,7 @@ A check should add confidence. It should not only restate the answer.
 
 ### 5. Keep names aligned
 
-If a case is called `delfour`, `medior`, or `flandor` in `examples/`, the Arcling case should use the same base name.
+If a case is called `delfour`, `medior`, `flandor` or `calidor` in `examples/`, the Arcling case should use the same base name.
 
 ## Suggested workflow for a new case
 

package/examples/arcling/calidor/calidor.data.json

@@ -0,0 +1,79 @@
+{
+  "caseName": "Calidor",
+  "municipality": "Calidor",
+  "question": "Is the Calidor heat-response system allowed to use a narrow household support insight for heatwave response, and if so which support package should it recommend?",
+  "timestamps": {
+    "createdAt": "2026-07-18T09:00:00+00:00",
+    "expiresAt": "2026-07-18T21:00:00+00:00",
+    "authorizedAt": "2026-07-18T09:05:00+00:00",
+    "dutyPerformedAt": "2026-07-18T20:30:00+00:00"
+  },
+  "evaluationContext": {
+    "scopeDevice": "household-gateway",
+    "scopeEvent": "heat-alert-window",
+    "purpose": "heatwave_response",
+    "prohibitedReusePurpose": "tenant_screening",
+    "requestAction": "odrl:use"
+  },
+  "thresholds": {
+    "alertLevelAtLeast": 3,
+    "indoorTempCAtLeast": 30.0,
+    "hoursAtOrAboveThresholdAtLeast": 6,
+    "energyCreditEurAtMost": 5.0,
+    "minimumActiveNeedCount": 3
+  },
+  "localProfile": {
+    "vulnerabilityFlags": ["heat_sensitive_condition", "mobility_limitation"]
+  },
+  "heatStatus": {
+    "currentAlertLevel": 4,
+    "currentIndoorTempC": 31.4,
+    "hoursAtOrAboveThreshold": 9
+  },
+  "energyProfile": {
+    "remainingPrepaidCreditEur": 3.2
+  },
+  "supportCatalog": [
+    {
+      "id": "pkg:CHECK",
+      "name": "Cooling Check Call",
+      "costEur": 8,
+      "capabilities": ["welfare_check"]
+    },
+    {
+      "id": "pkg:VOUCHER",
+      "name": "Cooling Center Transport Voucher",
+      "costEur": 12,
+      "capabilities": ["transport", "welfare_check"]
+    },
+    {
+      "id": "pkg:BUNDLE",
+      "name": "Calidor Priority Cooling Bundle",
+      "costEur": 18,
+      "capabilities": ["cooling_kit", "welfare_check", "transport", "bill_credit"]
+    },
+    {
+      "id": "pkg:DELUXE",
+      "name": "Extended Resilience Package",
+      "costEur": 28,
+      "capabilities": ["cooling_kit", "welfare_check", "transport", "bill_credit", "followup_visit"]
+    }
+  ],
+  "budget": {
+    "maxPackageCostEur": 20
+  },
+  "insightPolicy": {
+    "id": "https://example.org/insight/calidor",
+    "metric": "active_need_count",
+    "type": "ins:Insight",
+    "supportPolicy": "lowest_cost_covering_package",
+    "policyType": "odrl:Policy",
+    "policyProfile": "Calidor-Heatwave-Policy"
+  },
+  "integrity": {
+    "hashAlgorithm": "SHA-256",
+    "macAlgorithm": "HMAC-SHA-256",
+    "secret": "calidor-heatwave-demo-shared-secret",
+    "verificationMode": "trustedPrecomputedInput"
+  }
+}

package/examples/arcling/calidor/calidor.expected.json

@@ -0,0 +1,94 @@
+{
+  "caseName": "Calidor",
+  "derived": {
+    "heatAlertActive": true,
+    "unsafeIndoorHeat": true,
+    "vulnerabilityPresent": true,
+    "energyConstraint": true,
+    "activeNeedCount": 4,
+    "priorityCoolingSupportNeeded": true,
+    "requiredCapabilities": ["bill_credit", "cooling_kit", "transport", "welfare_check"],
+    "eligiblePackageIds": ["pkg:BUNDLE"],
+    "recommendedPackageId": "pkg:BUNDLE",
+    "recommendedPackageName": "Calidor Priority Cooling Bundle"
+  },
+  "envelope": {
+    "insight": {
+      "createdAt": "2026-07-18T09:00:00+00:00",
+      "expiresAt": "2026-07-18T21:00:00+00:00",
+      "id": "https://example.org/insight/calidor",
+      "metric": "active_need_count",
+      "municipality": "Calidor",
+      "scopeDevice": "household-gateway",
+      "scopeEvent": "heat-alert-window",
+      "supportPolicy": "lowest_cost_covering_package",
+      "threshold": 3,
+      "type": "ins:Insight"
+    },
+    "policy": {
+      "duty": {
+        "action": "odrl:delete",
+        "constraint": {
+          "leftOperand": "odrl:dateTime",
+          "operator": "odrl:eq",
+          "rightOperand": "2026-07-18T21:00:00+00:00"
+        }
+      },
+      "permission": {
+        "action": "odrl:use",
+        "constraint": {
+          "leftOperand": "odrl:purpose",
+          "operator": "odrl:eq",
+          "rightOperand": "heatwave_response"
+        },
+        "target": "https://example.org/insight/calidor"
+      },
+      "profile": "Calidor-Heatwave-Policy",
+      "prohibition": {
+        "action": "odrl:distribute",
+        "constraint": {
+          "leftOperand": "odrl:purpose",
+          "operator": "odrl:eq",
+          "rightOperand": "tenant_screening"
+        },
+        "target": "https://example.org/insight/calidor"
+      },
+      "type": "odrl:Policy"
+    }
+  },
+  "integrity": {
+    "canonicalEnvelope": "{\"insight\":{\"createdAt\":\"2026-07-18T09:00:00+00:00\",\"expiresAt\":\"2026-07-18T21:00:00+00:00\",\"id\":\"https://example.org/insight/calidor\",\"metric\":\"active_need_count\",\"municipality\":\"Calidor\",\"scopeDevice\":\"household-gateway\",\"scopeEvent\":\"heat-alert-window\",\"supportPolicy\":\"lowest_cost_covering_package\",\"threshold\":3.0,\"type\":\"ins:Insight\"},\"policy\":{\"duty\":{\"action\":\"odrl:delete\",\"constraint\":{\"leftOperand\":\"odrl:dateTime\",\"operator\":\"odrl:eq\",\"rightOperand\":\"2026-07-18T21:00:00+00:00\"}},\"permission\":{\"action\":\"odrl:use\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"heatwave_response\"},\"target\":\"https://example.org/insight/calidor\"},\"profile\":\"Calidor-Heatwave-Policy\",\"prohibition\":{\"action\":\"odrl:distribute\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"tenant_screening\"},\"target\":\"https://example.org/insight/calidor\"},\"type\":\"odrl:Policy\"}}",
+    "payloadHashSHA256": "1bf53a644fa39f5a1dd324f24872767f04379656e888fd456f4d498e12f1a65c",
+    "envelopeHmacSHA256": "e635c7c1991742a5c36992fc0da32a7abc80b32aa5777a1142adaab55183681c",
+    "verificationMode": "trustedPrecomputedInput"
+  },
+  "answer": {
+    "sentence": "The city is allowed to use a narrow heatwave-response insight and recommends Calidor Priority Cooling Bundle for this household.",
+    "recommendedPackage": "Calidor Priority Cooling Bundle",
+    "requiredCapabilities": ["bill_credit", "cooling_kit", "transport", "welfare_check"],
+    "payloadHashSHA256": "1bf53a644fa39f5a1dd324f24872767f04379656e888fd456f4d498e12f1a65c",
+    "envelopeHmacSHA256": "e635c7c1991742a5c36992fc0da32a7abc80b32aa5777a1142adaab55183681c"
+  },
+  "reasonWhy": [
+    "The household gateway converts local heat, vulnerability, and prepaid-energy stress into an expiring priority-support insight rather than sharing raw household traces or sensitive details.",
+    "recommended package: Calidor Priority Cooling Bundle",
+    "required capabilities: bill_credit, cooling_kit, transport, welfare_check",
+    "payload SHA-256 : 1bf53a644fa39f5a1dd324f24872767f04379656e888fd456f4d498e12f1a65c",
+    "HMAC-SHA256 : e635c7c1991742a5c36992fc0da32a7abc80b32aa5777a1142adaab55183681c"
+  ],
+  "checks": {
+    "signatureVerifies": true,
+    "payloadHashMatches": true,
+    "minimizationRespected": true,
+    "scopeComplete": true,
+    "authorizationAllowed": true,
+    "heatAlertActive": true,
+    "unsafeIndoorHeat": true,
+    "priorityCoolingSupportNeeded": true,
+    "recommendedPackageEligible": true,
+    "dutyTimingConsistent": true,
+    "tenantScreeningProhibited": true
+  },
+  "allChecksPass": true,
+  "arcText": "=== Answer ===\nThe city is allowed to use a narrow heatwave-response insight and recommends Calidor Priority Cooling Bundle for this household.\n\n=== Reason Why ===\nThe household gateway converts local heat, vulnerability, and prepaid-energy stress into an expiring priority-support insight rather than sharing raw household traces or sensitive details.\nrecommended package: Calidor Priority Cooling Bundle\nrequired capabilities: bill_credit, cooling_kit, transport, welfare_check\npayload SHA-256 : 1bf53a644fa39f5a1dd324f24872767f04379656e888fd456f4d498e12f1a65c\nHMAC-SHA256 : e635c7c1991742a5c36992fc0da32a7abc80b32aa5777a1142adaab55183681c\n\n=== Check ===\nsignature verifies : yes\npayload hash matches : yes\nminimization strips sensitive terms: yes\nscope complete : yes\nauthorization allowed : yes\nheat-alert active : yes\nunsafe indoor heat : yes\npriority cooling support needed : yes\nrecommended package eligible : yes\nduty timing consistent : yes\ntenant screening prohibited : yes"
+}