eyeling 1.21.4 → 1.21.5

package/examples/arc-bridge/flandor/flandor.expected.json

@@ -56,8 +56,8 @@
   },
   "integrity": {
     "canonicalEnvelope": "{\"insight\":{\"createdAt\":\"2026-04-08T07:00:00+00:00\",\"expiresAt\":\"2026-04-08T19:00:00+00:00\",\"id\":\"https://example.org/insight/flandor\",\"metric\":\"regional_retooling_priority\",\"region\":\"Flanders\",\"scopeDevice\":\"economic-resilience-board\",\"scopeEvent\":\"budget-prep-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-08T19:00:00+00:00\"}},\"permission\":{\"action\":\"odrl:use\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"regional_stabilization\"},\"target\":\"https://example.org/insight/flandor\"},\"profile\":\"Flandor-Insight-Policy\",\"prohibition\":{\"action\":\"odrl:distribute\",\"constraint\":{\"leftOperand\":\"odrl:purpose\",\"operator\":\"odrl:eq\",\"rightOperand\":\"firm_surveillance\"},\"target\":\"https://example.org/insight/flandor\"},\"type\":\"odrl:Policy\"}}",
-    "payloadHashSHA256": "718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b",
-    "envelopeHmacSHA256": "955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e",
+    "payloadHashSHA256": "78d840cbc98e98d07d97498e8bc1bab716df0fc0c7c221aeaa86644157cfcfb8",
+    "envelopeHmacSHA256": "a907547046c46af6550635d786c1ea82c05e8c119c0c302c132eb799710df96e",
     "verificationMode": "trustedPrecomputedInput"
   },
   "answer": {
@@ -69,15 +69,15 @@
     "recommendedPackage": "Flandor Retooling Pulse",
     "budgetCapMEUR": 140,
     "packageCostMEUR": 120,
-    "payloadHashSHA256": "718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b",
-    "envelopeHmacSHA256": "955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e"
+    "payloadHashSHA256": "78d840cbc98e98d07d97498e8bc1bab716df0fc0c7c221aeaa86644157cfcfb8",
+    "envelopeHmacSHA256": "a907547046c46af6550635d786c1ea82c05e8c119c0c302c132eb799710df96e"
   },
   "reasonWhy": [
     "ExportWeakness holds because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).",
     "SkillsStrain holds because the technical vacancy rate is 4.6% and the threshold is > 3.9%.",
     "GridStress holds because congestion hours = 19 and the threshold is > 11.",
     "The recommendation rule selects the least-cost package that covers every active need and remains within budget.",
-    "The selected package is \"Flandor Retooling Pulse\" with cost \u20ac120M, workerCoverage=1200, gridReliefMW=85.",
+    "The selected package is \"Flandor Retooling Pulse\" with cost €120M, workerCoverage=1200, gridReliefMW=85.",
     "Use is permitted only for purpose \"regional_stabilization\" and expires at 2026-04-08T19:00:00+00:00."
   ],
   "checks": {
@@ -94,5 +94,5 @@
     "lowestCostEligiblePackageChosen": true
   },
   "allChecksPass": true,
-  "arcText": "=== Answer ===\nName: Flandor\nRegion: Flanders\nMetric: regional_retooling_priority\nActive need count: 3/3\nRecommended package: Flandor Retooling Pulse\nBudget cap: \u20ac140M\nPackage cost: \u20ac120M\nPayload SHA-256: 718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b\nEnvelope HMAC-SHA-256: 955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e\n\n=== Reason Why ===\nExportWeakness holds because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).\nSkillsStrain holds because the technical vacancy rate is 4.6% and the threshold is > 3.9%.\nGridStress holds because congestion hours = 19 and the threshold is > 11.\nThe recommendation rule selects the least-cost package that covers every active need and remains within budget.\nThe selected package is \"Flandor Retooling Pulse\" with cost \u20ac120M, workerCoverage=1200, gridReliefMW=85.\nUse is permitted only for purpose \"regional_stabilization\" and expires at 2026-04-08T19: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: surveillanceReuseProhibited\n- PASS: packageWithinBudget\n- PASS: packageCoversAllActiveNeeds\n- PASS: lowestCostEligiblePackageChosen"
+  "arcText": "=== Answer ===\nName: Flandor\nRegion: Flanders\nMetric: regional_retooling_priority\nActive need count: 3/3\nRecommended package: Flandor Retooling Pulse\nBudget cap: €140M\nPackage cost: €120M\nPayload SHA-256: 78d840cbc98e98d07d97498e8bc1bab716df0fc0c7c221aeaa86644157cfcfb8\nEnvelope HMAC-SHA-256: a907547046c46af6550635d786c1ea82c05e8c119c0c302c132eb799710df96e\n\n=== Reason Why ===\nExportWeakness holds because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).\nSkillsStrain holds because the technical vacancy rate is 4.6% and the threshold is > 3.9%.\nGridStress holds because congestion hours = 19 and the threshold is > 11.\nThe recommendation rule selects the least-cost package that covers every active need and remains within budget.\nThe selected package is \"Flandor Retooling Pulse\" with cost €120M, workerCoverage=1200, gridReliefMW=85.\nUse is permitted only for purpose \"regional_stabilization\" and expires at 2026-04-08T19: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: surveillanceReuseProhibited\n- PASS: packageWithinBudget\n- PASS: packageCoversAllActiveNeeds\n- PASS: lowestCostEligiblePackageChosen"
 }

package/examples/extra/output/flandor.txt

@@ -6,8 +6,8 @@ Active need count: 3/3
 Recommended package: Flandor Retooling Pulse
 Budget cap: €140M
 Package cost: €120M
-Payload SHA-256: 718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b
-Envelope HMAC-SHA-256: 955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e
+Payload SHA-256: 78d840cbc98e98d07d97498e8bc1bab716df0fc0c7c221aeaa86644157cfcfb8
+Envelope HMAC-SHA-256: a907547046c46af6550635d786c1ea82c05e8c119c0c302c132eb799710df96e
 
 === Reason Why ===
 Export weakness is active because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.21.4",
+  "version": "1.21.5",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -45,12 +45,12 @@
     "test:n3gen": "node test/n3gen.test.js",
     "test:examples": "node test/examples.test.js",
     "test:extra": "node test/extra.test.js",
+    "test:bridge": "node test/bridge.test.js",
     "test:manifest": "node test/manifest.test.js",
     "test:playground": "node test/playground.test.js",
     "test:package": "node test/package.test.js",
-    "test:all": "npm run test:api && npm run test:builtins && npm run test:n3gen && npm run test:examples && npm run test:extra && npm run test:manifest && npm run test:playground",
     "pretest": "npm run build && npm run test:packlist",
-    "test": "npm run test:all",
+    "test": "npm run test:api && npm run test:builtins && npm run test:n3gen && npm run test:examples && npm run test:extra && npm run test:bridge && npm run test:manifest && npm run test:playground",
     "posttest": "npm run test:package",
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags"

package/test/bridge.test.js

@@ -0,0 +1,134 @@
+'use strict';
+
+const fs = require('node:fs');
+const path = require('node:path');
+const assert = require('node:assert/strict');
+const { pathToFileURL } = require('node:url');
+
+const TTY = process.stdout.isTTY;
+const C = TTY
+  ? { g: '\x1b[32m', r: '\x1b[31m', y: '\x1b[33m', dim: '\x1b[2m', n: '\x1b[0m' }
+  : { g: '', r: '', y: '', dim: '', n: '' };
+
+function ok(msg) {
+  console.log(`${C.g}OK ${C.n} ${msg}`);
+}
+function info(msg) {
+  console.log(`${C.y}==${C.n} ${msg}`);
+}
+function fail(msg) {
+  console.error(`${C.r}FAIL${C.n} ${msg}`);
+}
+
+const ROOT = path.resolve(__dirname, '..');
+const BRIDGE_DIR = path.join(ROOT, 'examples', 'arc-bridge');
+
+function isDirectory(p) {
+  try {
+    return fs.statSync(p).isDirectory();
+  } catch {
+    return false;
+  }
+}
+
+function readJson(filePath) {
+  return JSON.parse(fs.readFileSync(filePath, 'utf8'));
+}
+
+function listCaseDirs(baseDir) {
+  if (!isDirectory(baseDir)) {
+    throw new Error(`Bridge directory not found: ${baseDir}`);
+  }
+
+  return fs
+    .readdirSync(baseDir)
+    .map((name) => path.join(baseDir, name))
+    .filter(isDirectory)
+    .sort();
+}
+
+function findCaseFiles(caseDir) {
+  const base = path.basename(caseDir);
+
+  const modelPath = path.join(caseDir, `${base}.model.mjs`);
+  const dataPath = path.join(caseDir, `${base}.data.json`);
+  const expectedPath = path.join(caseDir, `${base}.expected.json`);
+
+  for (const required of [modelPath, dataPath, expectedPath]) {
+    if (!fs.existsSync(required)) {
+      throw new Error(`Missing required bridge artifact: ${required}`);
+    }
+  }
+
+  return { base, modelPath, dataPath, expectedPath };
+}
+
+async function loadEvaluate(modelPath) {
+  const moduleUrl = pathToFileURL(modelPath).href;
+  const mod = await import(moduleUrl);
+
+  if (typeof mod.evaluate !== 'function') {
+    throw new Error(`Model does not export evaluate(data): ${modelPath}`);
+  }
+
+  return mod.evaluate;
+}
+
+function assertArcTextShape(arcText, label) {
+  assert.equal(typeof arcText, 'string', `${label}: arcText must be a string`);
+  assert.match(arcText, /=== Answer ===/, `${label}: missing Answer section`);
+  assert.match(arcText, /=== Reason Why ===/, `${label}: missing Reason Why section`);
+  assert.match(arcText, /=== Check ===/, `${label}: missing Check section`);
+}
+
+async function runCase(caseDir) {
+  const { base, modelPath, dataPath, expectedPath } = findCaseFiles(caseDir);
+
+  const evaluate = await loadEvaluate(modelPath);
+  const data = readJson(dataPath);
+  const expected = readJson(expectedPath);
+  const actual = await evaluate(data);
+
+  assert.equal(actual.allChecksPass, true, `${base}: expected allChecksPass === true`);
+
+  assertArcTextShape(actual.arcText, base);
+
+  assert.deepStrictEqual(actual, expected, `${base}: actual result does not match expected JSON`);
+
+  return base;
+}
+
+async function main() {
+  const caseDirs = listCaseDirs(BRIDGE_DIR);
+
+  if (caseDirs.length === 0) {
+    throw new Error(`No bridge cases found in ${BRIDGE_DIR}`);
+  }
+
+  info(`bridge tests: ${caseDirs.length} case(s)`);
+
+  let passed = 0;
+
+  for (let i = 0; i < caseDirs.length; i += 1) {
+    const caseDir = caseDirs[i];
+    const n = i + 1;
+    const label = path.basename(caseDir);
+
+    try {
+      await runCase(caseDir);
+      passed += 1;
+      ok(`${n}. ${label}`);
+    } catch (error) {
+      fail(`${n}. ${label}`);
+      fail(error.stack || String(error));
+      process.exit(2);
+    }
+  }
+
+  info(`all ${passed} bridge test(s) passed`);
+}
+
+main().catch((error) => {
+  fail(error.stack || String(error));
+  process.exit(2);
+});