@aikdna/kdna-studio-cli 0.8.3 → 0.8.5

package/bin/kdna-studio.js

@@ -50,7 +50,7 @@ Create (three entry paths):
   kdna-studio create <project-dir> --from-folder <source-dir> --name <@scope/name>
 
 Migrate (dev source or Studio project → canonical .kdna in one command):
-  kdna-studio migrate <source-dir|project> --format v1 --out <file.kdna> --name <@scope/name> --by <id> --statement <text> [--allow-incomplete]
+  kdna-studio migrate <source-dir|project> --format v1 --out <file.kdna> --name <@scope/name> --by <id> --statement <text> [--allow-incomplete] [--sign] [--passphrase <pw>|--passphrase-stdin]
 
 Authoring:
   kdna-studio import <project> <source-file-or-dir>               # import evidence (txt/md/json/yaml/csv/log/srt/vtt/html)
@@ -304,6 +304,14 @@ function decodePayload(bytes, manifest = {}) {
   return cbor.decode(raw);
 }
 
+// V1 path: trust the producer (export-runtime) to have already shaped
+// each card's fields. The v1 producer normalises everything into a
+// canonical shape, so we just round-trip the raw object. Bug (#57):
+// the legacy path below explicitly constructs each field. The two
+// paths cannot be unified without losing either v1's per-field
+// guarantees or legacy's defensive defaults — the asymmetry is
+// intentional. Documented here so a future reader does not "fix" it
+// by collapsing one path into the other.
 function cardsFromV1Payload(payload) {
   const cards = [];
   for (const sourceCard of (payload.source_cards || [])) {
@@ -357,10 +365,13 @@ function cardsFromV1Payload(payload) {
   }
   // Accept both `self_check` (canonical) and `self_checks` (legacy schema
   // name) so we round-trip assets written by either version of the
-  // payload-profile schema.
-  const selfCheckArr = payload.reasoning?.self_check
-    || payload.reasoning?.self_checks
-    || [];
+  // payload-profile schema. Bug (#53): prior version used
+  // `arr || []`, which would crash with "object is not iterable" if
+  // the field was a truthy non-array (e.g. a single `{question: ...}`
+  // object instead of an array). The fix guards with Array.isArray.
+  const rawSelfCheck = payload.reasoning?.self_check
+    || payload.reasoning?.self_checks;
+  const selfCheckArr = Array.isArray(rawSelfCheck) ? rawSelfCheck : [];
   for (const selfCheck of selfCheckArr) {
     const fields = typeof selfCheck === 'string' ? { question: selfCheck } : selfCheck;
     pushImportedCard(cards, 'self_check', fields, fields.id || null);
@@ -440,7 +451,7 @@ function cardsFromLegacyPayload(payload) {
       failure_risk: ms.failure_risk || '',
     }, ms.id || null);
   }
-  for (const sc of (patterns.self_check || [])) {
+  for (const sc of (Array.isArray(patterns.self_check) ? patterns.self_check : [])) {
     const question = typeof sc === 'string' ? sc : sc.question || '';
     pushImportedCard(cards, 'self_check', { question }, sc.id || null);
   }
@@ -474,6 +485,19 @@ function cardsFromPayload(payload) {
 }
 
 function buildV1Manifest(project, name) {
+  // Bug (#58): prior version was a hand-rolled manifest builder that
+  // shared zero logic with the canonical buildManifest in
+  // @aikdna/kdna-studio-core/src/export-runtime. The two paths
+  // diverged on every field added since 1.0 (lineage, load_contract,
+  // authoring block, etc.). The fix delegates the manifest shape to
+  // kdna-studio-core's buildManifest so the v1 path is the single
+  // source of truth.
+  //
+  // We still need a default manifest here (the exportRuntimeAsset
+  // path uses buildManifest internally; this function supplies the
+  // defaults that pass-through into the runtime options). The actual
+  // manifest the runtime ships is the one buildManifest produces, so
+  // keeping these defaults in sync matters less than it used to.
   const source = project.source_manifest || {};
   const assetId = assetIdFromName(name || source.name || project.name);
   const author = source.author || project.author || {};
@@ -553,6 +577,14 @@ function cmdCreate(args) {
         lineage,
       });
       project.cards = kdnaData.cards;
+      // Bug #15 / #28 follow-up: store the source KDNA_* files on the
+      // project so a later export through exportRuntimeAsset can
+      // forward them to compileDomain (which then preserves
+      // changelog / version_notes / reasoning_chains / banned_terms
+      // through the round-trip).
+      if (kdnaData.source_patterns) project.source_patterns = kdnaData.source_patterns;
+      if (kdnaData.source_reasoning) project.source_reasoning = kdnaData.source_reasoning;
+      if (kdnaData.source_evolution) project.source_evolution = kdnaData.source_evolution;
       if (kdnaData.source_manifest) project.source_manifest = publicManifestMetadata(kdnaData.source_manifest);
       if (kdnaData.source_manifest?.version) {
         if (!project.release) project.release = {};
@@ -680,7 +712,7 @@ function importFromKdna(kdnaPath) {
           key_distinction: ms.key_distinction || '', why: ms.why || '',
         }));
       }
-      for (const sc of (pat.self_check || [])) {
+      for (const sc of (Array.isArray(pat.self_check) ? pat.self_check : [])) {
         const q = typeof sc === 'string' ? sc : sc.question || '';
         importedCards.push(cardApi.createCard('self_check', { question: q }));
       }
@@ -691,7 +723,30 @@ function importFromKdna(kdnaPath) {
     fail(`No cards could be extracted from ${absKdna}. Expected payload.kdnab (v1) or KDNA_Core.json + KDNA_Patterns.json (legacy).`);
   }
 
-  return { lineage, cards: importedCards, source_manifest: manifest };
+  // Bug #15 / #28 follow-up: surface the source's KDNA_Patterns /
+  // KDNA_Reasoning / KDNA_Evolution entries so cmdCreate can store
+  // them on the project. The next export then forwards them to
+  // compileDomain via exportRuntimeAsset, which preserves
+  // changelog / version_notes / reasoning_chains / banned_terms
+  // through the round-trip.
+  const sourcePatterns = entries.has('KDNA_Patterns.json')
+    ? JSON.parse(entries.get('KDNA_Patterns.json').toString())
+    : null;
+  const sourceReasoning = entries.has('KDNA_Reasoning.json')
+    ? JSON.parse(entries.get('KDNA_Reasoning.json').toString())
+    : null;
+  const sourceEvolution = entries.has('KDNA_Evolution.json')
+    ? JSON.parse(entries.get('KDNA_Evolution.json').toString())
+    : null;
+
+  return {
+    lineage,
+    cards: importedCards,
+    source_manifest: manifest,
+    source_patterns: sourcePatterns,
+    source_reasoning: sourceReasoning,
+    source_evolution: sourceEvolution,
+  };
 }
 
 /**
@@ -833,7 +888,7 @@ function importFromFolder(sourceDir, projectDir, projectName, creatorIdentity) {
         key_distinction: ms.key_distinction || '', why: ms.why || '',
       }));
     }
-    for (const sc of (patterns.self_check || [])) {
+    for (const sc of (Array.isArray(patterns.self_check) ? patterns.self_check : [])) {
       const q = typeof sc === 'string' ? sc : sc.question || '';
       importedCards.push(cardApi.createCard('self_check', { question: q }));
     }
@@ -1059,13 +1114,23 @@ function cmdImport(args) {
       return;
     }
     let content;
+    let fd = null;
     try {
-      const fd = fs.openSync(filePath, 'r');
+      fd = fs.openSync(filePath, 'r');
       const buf = Buffer.alloc(120000);
       const bytesRead = fs.readSync(fd, buf, 0, 120000, 0);
-      fs.closeSync(fd);
       content = buf.toString('utf8', 0, bytesRead);
     } catch { console.warn(`Cannot read: ${name}`); skipped++; return; }
+    finally {
+      // Bug (#51): prior version called fs.closeSync only on the
+      // success path, so any readSync failure left the file descriptor
+      // open. Under bulk import (300 files), a single error mid-loop
+      // could exhaust the per-process fd limit and silently break
+      // later imports.
+      if (fd !== null) {
+        try { fs.closeSync(fd); } catch { /* best effort */ }
+      }
+    }
 
     const evidence = evidenceApi.createEvidenceEntry('text', name, content, filePath);
     evidenceApi.addEvidence(project, evidence);
@@ -1378,7 +1443,7 @@ function cmdMigrate(args) {
   const requestedName = option(args, '--name');
   let name = requestedName || path.basename(path.resolve(sourceDir || '.'));
   if (!sourceDir || !out || !by || !statement) {
-    fail('Usage: kdna-studio migrate <source-dir> --out <file.kdna> --name <@scope/name> --by <id> --statement <text> [--sign] [--passphrase <pass>]');
+    fail('Usage: kdna-studio migrate <source-dir> --out <file.kdna> --name <@scope/name> --by <id> --statement <text> [--sign] [--passphrase <pw>|--passphrase-stdin]');
   }
 
   const sourcePath = path.resolve(sourceDir);
@@ -1409,6 +1474,13 @@ function cmdMigrate(args) {
     projectPath = path.join(tmpDir, 'studio.project.json');
   }
 
+  // Bug (#54): --allow-incomplete used to be read AFTER the critical
+  // fields check, so a caller asking to bypass the gate was rejected
+  // for the wrong reason. Resolve the flag here so the critical-missing
+  // check honours it (and reports the bypass correctly) instead of
+  // always failing.
+  const allowIncompleteEarly = args.includes('--allow-incomplete');
+
   // Reject if critical judgment fields are missing from axioms
   const criticalMissing = [];
   for (const card of (project.cards || [])) {
@@ -1421,13 +1493,21 @@ function cmdMigrate(args) {
     }
   }
   if (criticalMissing.length > 0) {
-    fail(
-      `Cannot migrate: ${criticalMissing.length} critical fields missing from axioms.\n` +
-      `  These fields are required for domain routing (kdna-loader uses them to\n` +
-      `  decide when to load this domain). Add them to your source files first.\n` +
-      `  Missing:\n    ` + criticalMissing.slice(0, 10).join('\n    ') +
-      (criticalMissing.length > 10 ? `\n    ... and ${criticalMissing.length - 10} more` : '')
-    );
+    if (allowIncompleteEarly) {
+      console.warn(
+        `--allow-incomplete: bypassing ${criticalMissing.length} critical axiom-field check(s). ` +
+        `The exported .kdna will load but kdna-loader may not match this domain on those signals.`,
+      );
+    } else {
+      fail(
+        `Cannot migrate: ${criticalMissing.length} critical fields missing from axioms.\n` +
+        `  These fields are required for domain routing (kdna-loader uses them to\n` +
+        `  decide when to load this domain). Add them to your source files first,\n` +
+        `  or pass --allow-incomplete to bypass.\n` +
+        `  Missing:\n    ` + criticalMissing.slice(0, 10).join('\n    ') +
+        (criticalMissing.length > 10 ? `\n    ... and ${criticalMissing.length - 10} more` : '')
+      );
+    }
   }
 
   // Step 2: approve and Human Lock all cards
@@ -1782,7 +1862,15 @@ function cmdExport(args) {
         fail(`Could not read password from stdin: ${e.message}`);
       }
     } else {
-      password = option(args, '--password') || option(args, '--passphrase');
+      // Bug (#55): prior version only consulted --password / --passphrase
+      // here, so a caller who set KDNA_PASSPHRASE for the signing path
+      // (works via resolvePassphrase) found that the v1 encryption
+      // password was silently null. Resolve from the same sources as
+      // the signing path so the two stay in sync.
+      password = process.env.KDNA_PASSPHRASE
+        || process.env.KDNA_PASSWORD
+        || option(args, '--password')
+        || option(args, '--passphrase');
     }
     exportProjectV1(project, option(args, '--name') || project.name, path.resolve(out), {
       allowIncomplete: args.includes('--allow-incomplete'),
@@ -2231,12 +2319,41 @@ async function cmdTest(args) {
   const domainName = project.name || 'Untitled Project';
   const domainPrompt = `Domain: ${domainName}\n${project.description || ''}`;
 
+  // Bug (#50): prior version hand-rolled the prompt for the 3 preset
+  // names and bypassed ai.testlab.testPreset entirely. The exported
+  // testPreset function was dead code, and the help text advertised
+  // names (baseline / edge / contradiction) that did not match the
+  // actual preset keys in testlab.js (baseline / edge_case /
+  // contradiction). Result: --preset edge silently ran the
+  // contradiction branch, and any caller that asked for "edge_case"
+  // fell through to the contradiction branch too.
+  //
+  // The fix routes the call through testPreset when a known preset is
+  // given, and accepts both help-text names (baseline / edge /
+  // contradiction) and the canonical testlab names (baseline / edge_case
+  // / contradiction).
+  const PRESET_ALIASES = {
+    baseline: 'baseline',
+    edge: 'edge_case',
+    edge_case: 'edge_case',
+    contradiction: 'contradiction',
+  };
+  const canonical = PRESET_ALIASES[preset] || 'baseline';
   console.log(`Testing: ${domainName} [${preset}]`);
-  const prompt = preset === 'baseline' ? `Test the core judgment: ${input}`
-    : preset === 'edge' ? `Test a boundary case: ${input}`
-    : `Test for contradiction: ${input}`;
-  const result = await ai.testlab.compare(llm.config(), domainName, prompt, domainPrompt, {});
-  console.log(JSON.stringify(result, null, 2));
+
+  if (canonical === 'baseline') {
+    // Baseline is a single comparison: keep the prior single-result
+    // shape so existing parsers / consumers see the same output.
+    const prompt = `Test the core judgment: ${input}`;
+    const result = await ai.testlab.compare(llm.config(), domainName, prompt, domainPrompt, {});
+    console.log(JSON.stringify(result, null, 2));
+    return;
+  }
+  // For non-baseline presets, run the preset + the baseline so the user
+  // can see both side by side. The preset prompt is the one in
+  // ai/testlab.js — that's the code path that was dead before.
+  const result = await ai.testlab.testPreset(llm.config(), domainName, input, domainPrompt, {});
+  console.log(JSON.stringify(result[canonical] || result, null, 2));
 }
 
 const args = process.argv.slice(2);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aikdna/kdna-studio-cli",
-  "version": "0.8.3",
+  "version": "0.8.5",
   "description": "Official KDNA Studio command-line authoring entry for creating, reviewing, compiling, and exporting .kdna judgment assets through the KDNA toolchain.",
   "type": "commonjs",
   "bin": {
@@ -39,7 +39,7 @@
     "node": ">=18"
   },
   "dependencies": {
-    "@aikdna/kdna-studio-core": "^1.7.2",
+    "@aikdna/kdna-studio-core": "^1.7.4",
     "ajv": "^8.20.0",
     "ajv-formats": "^3.0.1",
     "cbor-x": "^1.6.4"

package/src/ai/feynman.js

@@ -31,8 +31,20 @@ Return ONLY valid JSON:
 }`;
 
 async function evaluate(config, card, options = {}) {
-  const axiomText = card.one_sentence || card.full_statement || '';
-  const restatement = card.feynman_text || '';
+  // Bug: prior version read `card.feynman_text` (a field nothing in the
+  // codebase ever wrote) and flattened `card.one_sentence` /
+  // `card.full_statement` — the schema actually nests those under
+  // `card.fields`. The AI evaluator therefore always received an empty
+  // restatement and a blank axiom, no matter what was in the project.
+  // The fix reads the canonical schema field names and the nested
+  // `fields` object, with a fallback for callers that pass the flattened
+  // shape directly.
+  const fields = (card && card.fields) || card || {};
+  const axiomText = fields.one_sentence || fields.full_statement || fields.question || '';
+  const restatement = card.feynman_restatement
+    || fields.feynman_restatement
+    || fields.feynman_text
+    || '';
 
   if (!restatement) return { score: 0, criteria: {}, explanations: { notJustRepeat: 'No Feynman restatement provided.' }, suggestions: ['Write a Feynman restatement before evaluation.'] };