eyeling 1.22.1 → 1.22.3

package/examples/arcling/flandor/flandor.spec.md

@@ -1,155 +0,0 @@
-# Flandor — ARC Specification
-
-## Status
-
-This document is the **normative specification** for the Flandor case. The file `flandor.model.go` is the **reference Go implementation** of these clauses. The file `flandor.data.json` is the **instance** evaluated in this bundle. The file `flandor.expected.json` is the **conformance vector** for that instance.
-
-## Insight Economy context
-
-This case is the macro-economic reading of Ruben Verborgh’s [Inside the Insight Economy](https://ruben.verborgh.org/blog/2025/08/12/inside-the-insight-economy/). Its core claim is that nobody has to reveal their books for the region to coordinate. Exporters, training actors, and grid operators each keep their sensitive data local. What crosses the policy boundary is not the underlying evidence, but a narrow, signed, expiring insight: Flanders presently faces enough combined pressure to justify a temporary retooling response.
-
-The product being traded is therefore not raw data, and not even a general forecast, but a context-bound permissioned conclusion: a policy-grade insight for regional stabilization, with reuse for firm surveillance explicitly forbidden.
-
-## Conventions
-
-- “iff” means “if and only if”.
-- A clause identifier such as `R1` or `M3` is normative.
-- A conforming implementation may be written in any language, but it shall produce the same derived values and pass/fail outcomes for the supplied instance.
-
-## Vocabulary
-
-**V1. Region** is the polity for which a macro-economic insight is derived.
-
-**V2. Industrial cluster** is a regional production grouping with an export-orders index.
-
-**V3. Labour-market signal** is a regional indicator that includes the technical vacancy rate.
-
-**V4. Grid signal** is a regional indicator that includes congestion hours.
-
-**V5. Policy package** is an intervention option with cost and coverage properties.
-
-**V6. Insight envelope** is the ordered pair `(insight, policy)` together with integrity metadata.
-
-## Input instance
-
-**I1.** The region is `Flanders`.
-
-**I2.** The observed clusters are Antwerp chemicals and Ghent manufacturing.
-
-**I3.** The technical vacancy rate is `4.6%`.
-
-**I4.** Grid congestion is `19` hours.
-
-**I5.** The budget cap is `€140M`.
-
-**I6.** The candidate packages are the four packages listed in `flandor.data.json`.
-
-## Derivation clauses
-
-**R1. ExportWeakness.**  
-`ExportWeakness` holds iff there exists a cluster `c` such that `c.exportOrdersIndex < 90`.
-
-**R2. SkillsStrain.**  
-`SkillsStrain` holds iff `technicalVacancyRatePct > 3.9`.
-
-**R3. GridStress.**  
-`GridStress` holds iff `congestionHours > 11`.
-
-**R4. ActiveNeedCount.**  
-`ActiveNeedCount` is the number of true predicates among `ExportWeakness`, `SkillsStrain`, and `GridStress`.
-
-**R5. NeedsRetoolingPulse.**  
-`NeedsRetoolingPulse` holds iff `ActiveNeedCount ≥ 3`.
-
-## Selection clauses
-
-**S1. Eligible(p).**  
-A package `p` is eligible iff:
-
-1. `p.costMEUR ≤ budget.maxMEUR`; and
-2. for every active need, `p` covers that need.
-
-**S2. RecommendedPackage.**  
-`RecommendedPackage` is the eligible package with minimum `costMEUR`.
-
-**S3. No-package fallback.**  
-If no eligible package exists, the recommendation is `None`.
-
-## Governance clauses
-
-**G1. AuthorizedUse.**  
-`AuthorizedUse` holds iff:
-
-1. the requested action is `odrl:use`;
-2. the requested purpose is `regional_stabilization`; and
-3. the authorization time is not later than the expiry time.
-
-**G2. SurveillanceReuseProhibited.**  
-`SurveillanceReuseProhibited` holds iff the policy prohibits distribution for purpose `firm_surveillance`.
-
-**G3. DutyTimely.**  
-`DutyTimely` holds iff the duty-performance time is not later than the expiry time.
-
-## Integrity and minimization clauses
-
-**M1. CanonicalEnvelope.**  
-The canonical envelope string is the stable JSON serialization of the ordered pair `(insight, policy)`, with object keys sorted lexicographically at every level.
-
-**M2. PayloadHashMatches.**  
-`PayloadHashMatches` holds iff `SHA-256(CanonicalEnvelope) = declaredPayloadHashSHA256`.
-
-**M3. SignatureVerifies.**  
-`SignatureVerifies` holds iff the declared HMAC verifies under the agreed verification mode.
-
-**M4. MinimizationRespected.**  
-`MinimizationRespected` holds iff the serialized insight contains none of the forbidden terms: `salary`, `payroll`, `invoice`, `medical`, `firmname`.
-
-**M5. ScopeComplete.**  
-`ScopeComplete` holds iff the insight contains `scopeDevice`, `scopeEvent`, and `expiresAt`.
-
-## Output contract
-
-**O1. Answer.**  
-A conforming renderer shall expose:
-
-- case name
-- region
-- metric
-- active need count
-- threshold
-- recommended package
-- budget cap
-- package cost
-- payload hash
-- envelope HMAC
-
-**O2. Reason Why.**  
-A conforming renderer shall explain which predicates hold and why the package was selected.
-
-**O3. Check.**  
-A conforming renderer shall expose a named PASS/FAIL outcome for each of:
-
-- payloadHashMatches
-- signatureVerifies
-- thresholdReached
-- scopeComplete
-- minimizationRespected
-- authorizationAllowed
-- dutyTimely
-- surveillanceReuseProhibited
-- packageWithinBudget
-- packageCoversAllActiveNeeds
-- lowestCostEligiblePackageChosen
-
-## Reference outcome for this instance
-
-For the supplied instance:
-
-- `ExportWeakness = true`
-- `SkillsStrain = true`
-- `GridStress = true`
-- `ActiveNeedCount = 3`
-- `NeedsRetoolingPulse = true`
-- `RecommendedPackage = "Flandor Retooling Pulse"`
-
-The expected ARC report and integrity values are recorded in `flandor.expected.json`.

package/examples/arcling/medior/medior.data.json

@@ -1,96 +0,0 @@
-{
-  "caseName": "Medior",
-  "region": "Flanders",
-  "question": "Is the discharge coordination team allowed to use a minimal continuity insight after hospital discharge, and if so which package should it activate?",
-  "timestamps": {
-    "createdAt": "2026-04-09T08:00:00+00:00",
-    "expiresAt": "2026-04-11T08:00:00+00:00",
-    "authorizedAt": "2026-04-09T09:15:00+00:00",
-    "dutyPerformedAt": "2026-04-10T19:30:00+00:00"
-  },
-  "evaluationContext": {
-    "scopeDevice": "discharge-coordination-team",
-    "scopeEvent": "48h-post-discharge-window",
-    "purpose": "care_coordination",
-    "prohibitedReusePurpose": "insurance_pricing"
-  },
-  "thresholds": {
-    "egfrBelow": 60,
-    "activeMedicationCountAtLeast": 8,
-    "admissionsLast180DaysAtLeast": 1,
-    "hoursSinceDischargeAtMost": 48,
-    "activeNeedCountAtLeast": 3
-  },
-  "signals": {
-    "lab": {
-      "egfr": 52
-    },
-    "medications": {
-      "activeMedicationCount": 9
-    },
-    "history": {
-      "admissionsLast180Days": 2
-    },
-    "discharge": {
-      "hoursSinceDischarge": 18
-    }
-  },
-  "budget": {
-    "windowName": "post-discharge continuity window",
-    "maxEUR": 5
-  },
-  "packages": [
-    {
-      "id": "pkg:CALL_001",
-      "name": "Nurse follow-up call",
-      "costEUR": 1,
-      "touches": 1,
-      "coversRenalSafetyConcern": false,
-      "coversPolypharmacyRisk": false,
-      "coversReadmissionHistory": false,
-      "coversRecentDischargeWindow": true
-    },
-    {
-      "id": "pkg:MEDREC_002",
-      "name": "Medication reconciliation bundle",
-      "costEUR": 2,
-      "touches": 2,
-      "coversRenalSafetyConcern": true,
-      "coversPolypharmacyRisk": true,
-      "coversReadmissionHistory": false,
-      "coversRecentDischargeWindow": false
-    },
-    {
-      "id": "pkg:MEDIOR_004",
-      "name": "Medior Continuity Pulse",
-      "costEUR": 4,
-      "touches": 3,
-      "coversRenalSafetyConcern": true,
-      "coversPolypharmacyRisk": true,
-      "coversReadmissionHistory": true,
-      "coversRecentDischargeWindow": true
-    },
-    {
-      "id": "pkg:TRANSITION_006",
-      "name": "Extended transition program",
-      "costEUR": 6,
-      "touches": 4,
-      "coversRenalSafetyConcern": true,
-      "coversPolypharmacyRisk": true,
-      "coversReadmissionHistory": true,
-      "coversRecentDischargeWindow": true
-    }
-  ],
-  "insightPolicy": {
-    "id": "https://example.org/insight/medior",
-    "metric": "post_discharge_coordination_priority",
-    "suggestionPolicy": "lowest_cost_package_covering_all_active_needs",
-    "type": "ins:Insight",
-    "policyProfile": "Medior-Insight-Policy",
-    "policyType": "odrl:Policy"
-  },
-  "integrity": {
-    "secret": "medior-demo-shared-secret",
-    "verificationMode": "trustedPrecomputedInput"
-  }
-}

package/examples/arcling/medior/medior.expected.json

@@ -1,100 +0,0 @@
-{
-  "caseName": "Medior",
-  "derived": {
-    "renalSafetyConcern": true,
-    "polypharmacyRisk": true,
-    "readmissionHistory": true,
-    "recentDischargeWindow": true,
-    "activeNeedCount": 4,
-    "needsContinuityBundle": true,
-    "eligiblePackageIds": ["pkg:MEDIOR_004"],
-    "recommendedPackageId": "pkg:MEDIOR_004",
-    "recommendedPackageName": "Medior Continuity Pulse"
-  },
-  "envelope": {
-    "insight": {
-      "createdAt": "2026-04-09T08:00:00+00:00",
-      "expiresAt": "2026-04-11T08:00:00+00:00",
-      "id": "https://example.org/insight/medior",
-      "metric": "post_discharge_coordination_priority",
-      "region": "Flanders",
-      "scopeDevice": "discharge-coordination-team",
-      "scopeEvent": "48h-post-discharge-window",
-      "suggestionPolicy": "lowest_cost_package_covering_all_active_needs",
-      "threshold": 3,
-      "type": "ins:Insight"
-    },
-    "policy": {
-      "duty": {
-        "action": "odrl:delete",
-        "constraint": {
-          "leftOperand": "odrl:dateTime",
-          "operator": "odrl:eq",
-          "rightOperand": "2026-04-11T08:00:00+00:00"
-        }
-      },
-      "permission": {
-        "action": "odrl:use",
-        "constraint": {
-          "leftOperand": "odrl:purpose",
-          "operator": "odrl:eq",
-          "rightOperand": "care_coordination"
-        },
-        "target": "https://example.org/insight/medior"
-      },
-      "profile": "Medior-Insight-Policy",
-      "prohibition": {
-        "action": "odrl:distribute",
-        "constraint": {
-          "leftOperand": "odrl:purpose",
-          "operator": "odrl:eq",
-          "rightOperand": "insurance_pricing"
-        },
-        "target": "https://example.org/insight/medior"
-      },
-      "type": "odrl:Policy"
-    }
-  },
-  "integrity": {
-    "canonicalEnvelope": "{\"insight\":{\"createdAt\":\"2026-04-09T08:00:00+00:00\",\"expiresAt\":\"2026-04-11T08:00:00+00:00\",\"id\":\"https://example.org/insight/medior\",\"metric\":\"post_discharge_coordination_priority\",\"region\":\"Flanders\",\"scopeDevice\":\"discharge-coordination-team\",\"scopeEvent\":\"48h-post-discharge-window\",\"suggestionPolicy\":\"lowest_cost_package_covering_all_active_needs\",\"threshold\":3,\"type\":\"ins:Insight\"},\"policy\":{\"duty\":{\"action\":\"odrl:delete\",\"constraint\":{\"leftOperand\":\"odrl:dateTime\",\"operator\":\"odrl:eq\",\"rightOperand\":\"2026-04-11T08:00:00+00:00\"}},\"permission\":{\"action\":\"odrl:use\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"care_coordination\"},\"target\":\"https://example.org/insight/medior\"},\"profile\":\"Medior-Insight-Policy\",\"prohibition\":{\"action\":\"odrl:distribute\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"insurance_pricing\"},\"target\":\"https://example.org/insight/medior\"},\"type\":\"odrl:Policy\"}}",
-    "payloadHashSHA256": "b5fec8971d6c5e313a1387f08151f1c3203effce05d6455469c9f63305be05ae",
-    "envelopeHmacSHA256": "072f4c2774ce362e660649d145c9d784e5e95d63d24d4057b119a419c6ba34dc",
-    "verificationMode": "trustedPrecomputedInput"
-  },
-  "answer": {
-    "name": "Medior",
-    "region": "Flanders",
-    "metric": "post_discharge_coordination_priority",
-    "activeNeedCount": 4,
-    "threshold": 3,
-    "recommendedPackage": "Medior Continuity Pulse",
-    "budgetCapEUR": 5,
-    "packageCostEUR": 4,
-    "payloadHashSHA256": "b5fec8971d6c5e313a1387f08151f1c3203effce05d6455469c9f63305be05ae",
-    "envelopeHmacSHA256": "072f4c2774ce362e660649d145c9d784e5e95d63d24d4057b119a419c6ba34dc"
-  },
-  "reasonWhy": [
-    "RenalSafetyConcern holds because eGFR = 52 and the threshold is < 60.",
-    "PolypharmacyRisk holds because the active medication count is 9 and the threshold is ≥ 8.",
-    "ReadmissionHistory holds because admissionsLast180Days = 2 and the threshold is ≥ 1.",
-    "RecentDischargeWindow holds because hoursSinceDischarge = 18 and the threshold is ≤ 48.",
-    "The recommendation rule selects the least-cost package that covers every active need and remains within budget.",
-    "The selected package is \"Medior Continuity Pulse\" with cost €4, touches=3.",
-    "Use is permitted only for purpose \"care_coordination\" and expires at 2026-04-11T08:00:00+00:00."
-  ],
-  "checks": {
-    "payloadHashMatches": true,
-    "signatureVerifies": true,
-    "thresholdReached": true,
-    "scopeComplete": true,
-    "minimizationRespected": true,
-    "authorizationAllowed": true,
-    "dutyTimely": true,
-    "insurancePricingProhibited": true,
-    "packageWithinBudget": true,
-    "packageCoversAllActiveNeeds": true,
-    "lowestCostEligiblePackageChosen": true
-  },
-  "allChecksPass": true,
-  "arcText": "=== Answer ===\nName: Medior\nRegion: Flanders\nMetric: post_discharge_coordination_priority\nActive need count: 4/3\nRecommended package: Medior Continuity Pulse\nBudget cap: €5\nPackage cost: €4\nPayload SHA-256: b5fec8971d6c5e313a1387f08151f1c3203effce05d6455469c9f63305be05ae\nEnvelope HMAC-SHA-256: 072f4c2774ce362e660649d145c9d784e5e95d63d24d4057b119a419c6ba34dc\n\n=== Reason Why ===\nRenalSafetyConcern holds because eGFR = 52 and the threshold is < 60.\nPolypharmacyRisk holds because the active medication count is 9 and the threshold is ≥ 8.\nReadmissionHistory holds because admissionsLast180Days = 2 and the threshold is ≥ 1.\nRecentDischargeWindow holds because hoursSinceDischarge = 18 and the threshold is ≤ 48.\nThe recommendation rule selects the least-cost package that covers every active need and remains within budget.\nThe selected package is \"Medior Continuity Pulse\" with cost €4, touches=3.\nUse is permitted only for purpose \"care_coordination\" and expires at 2026-04-11T08:00:00+00:00.\n\n=== Check ===\n- PASS: payloadHashMatches\n- PASS: signatureVerifies\n- PASS: thresholdReached\n- PASS: scopeComplete\n- PASS: minimizationRespected\n- PASS: authorizationAllowed\n- PASS: dutyTimely\n- PASS: insurancePricingProhibited\n- PASS: packageWithinBudget\n- PASS: packageCoversAllActiveNeeds\n- PASS: lowestCostEligiblePackageChosen"
-}