create-arxo 0.2.5 → 0.2.7

package/README.md

@@ -1,5 +1,5 @@
 <p align="center">
-  <img src="https://cdn.jsdelivr.net/npm/create-arxo@0.2.5/assets/quickstart.svg" width="760" alt="Terminal: npm create arxo@latest my-app, npm install, npm start prints COMPUTED, TRUE_ONLY, the rule TagesfristEnde, the result hash, then asks again without a fact and names the missing one">
+  <img src="https://cdn.jsdelivr.net/npm/create-arxo@0.2.6/assets/quickstart.svg" width="760" alt="Terminal: npm create arxo@latest my-app, npm install, npm start prints COMPUTED, TRUE_ONLY, the rule TagesfristEnde, the result hash, then asks again without a fact and names the missing one">
 </p>
 
 # create-arxo
@@ -57,7 +57,7 @@ Two answers, read top to bottom:
 ## What you get
 
 <p align="center">
-  <img src="https://cdn.jsdelivr.net/npm/create-arxo@0.2.5/assets/tree.svg" width="760" alt="Files of my-app: package.json, tsconfig.json, README.md, .gitignore, src/ask.ts, test/frist.test.ts">
+  <img src="https://cdn.jsdelivr.net/npm/create-arxo@0.2.6/assets/tree.svg" width="760" alt="Files of my-app: package.json, tsconfig.json, README.md, .gitignore, src/ask.ts, test/frist.test.ts">
 </p>
 
 | Command | What it does |
@@ -67,7 +67,7 @@ Two answers, read top to bottom:
 | `npm run typecheck` | `tsc --noEmit`: predicate names are checked against the canon's declarations |
 
 <p align="center">
-  <img src="https://cdn.jsdelivr.net/npm/create-arxo@0.2.5/assets/test.svg" width="760" alt="Terminal: npm test, ok 1 and ok 2, pass 2, fail 0">
+  <img src="https://cdn.jsdelivr.net/npm/create-arxo@0.2.6/assets/test.svg" width="760" alt="Terminal: npm test, ok 1 and ok 2, pass 2, fail 0">
 </p>
 
 ## What to edit next

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-arxo",
-  "version": "0.2.5",
+  "version": "0.2.7",
   "description": "Scaffold an Arxo Law project with one canon and one question",
   "license": "Apache-2.0",
   "type": "module",

package/template/package.json

@@ -3,15 +3,15 @@
   "private": true,
   "version": "0.1.0",
   "type": "module",
-  "description": "One canon, one question: §§ 187, 188 BGB with @arxo/law",
+  "description": "One canon, one question: \u00a7\u00a7 187, 188 BGB with @arxo/law",
   "scripts": {
     "start": "tsx src/ask.ts",
     "test": "node --import tsx --test test/frist.test.ts",
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@arxo/law": "0.3.3",
-    "@arxo/canon-bgb-fristen": "0.1.5"
+    "@arxo/law": "0.3.4",
+    "@arxo/canon-bgb-fristen": "0.1.6"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/template/src/ask.ts

@@ -72,7 +72,8 @@ function describe(label: string, r: Answer): void {
 
   // Reproducibility: the same canon, case and semantics give the same hashes.
   console.log('  hashes');
-  for (const [k, v] of Object.entries(r.hashes)) console.log(`    ${k.padEnd(8)} ${v}`);
+  // Absent hashes (e.g. the focused ones on a full answer) are not printed.
+  for (const [k, v] of Object.entries(r.hashes)) if (v !== undefined) console.log(`    ${k.padEnd(8)} ${v}`);
 
   if (r.via === 'local') {
     console.log(`  document          ${r.document.byteLength} bytes, canonical evaluation document`);
@@ -92,15 +93,10 @@ describe(`Does a 14-day period from ${EVENT_DATE} end on ${CANDIDATE_END}?`, ans
 const partial = await fristen.whyNot(question, ['frist', CANDIDATE_END], caseInput([eventFact]));
 describe(`The same question without frist_dauer_tage (why not?)`, partial);
 
-console.log(`  whyNot            ${partial.whyNot && Array.isArray(partial.whyNot) && partial.whyNot.length
-  ? partial.whyNot.map((w) => `${w.kind}: ${w.description}`).join('; ')
-  : 'no input requirement raised by the engine — the rule stays undetermined'}`);
-
-type Blocker = { rule?: string; conjuncts?: Array<{ literal?: { predicate?: string }; trigger?: string }> };
-const blockers: Blocker[] =
-  partial.value && typeof partial.value === 'object' && 'value' in partial.value
-    ? ((partial.value as { value?: { blockers?: Blocker[] } }).value?.blockers ?? [])
-    : [];
+// The blocker graph: each candidate rule and the premises it reads.
+// A conjunct's literal is typed as plain JSON; read only the fields used here.
+type Blocker = { rule?: string; conjuncts?: Array<{ literal?: { predicate?: string } }> };
+const blockers = (partial.whyNot ?? []) as unknown as Blocker[];
 const given = new Set([eventFact].map((f) => f.predicate));
 // Ask only for what the rules your facts already speak to still need; a
 // rule none of your facts touch is another route to the same conclusion.