@aikdna/kdna-cli 0.18.0 → 0.19.1

package/src/cmds/registry.js

@@ -13,8 +13,10 @@ function cmdList(showAvailable, jsonMode = false, _locale = null) {
       error('No registry found.');
     }
 
+    const installableDomains = domains.filter((d) => d.yanked !== true);
+
     if (jsonMode) {
-      const result = domains.map((d) => ({
+      const result = installableDomains.map((d) => ({
         name: d.name || d.id || null,
         version: d.version || null,
         type: d.type || 'domain',
@@ -27,16 +29,20 @@ function cmdList(showAvailable, jsonMode = false, _locale = null) {
       process.exit(EXIT.OK);
     }
 
-    console.log('Available KDNA domains:');
+    console.log('Available installable KDNA domains:');
     console.log(`Registry: ${REGISTRY_CACHE}`);
     console.log('');
-    for (const d of domains) {
+    if (!installableDomains.length) {
+      console.log('  No non-yanked registry entries are currently installable.');
+      console.log('');
+      return;
+    }
+    for (const d of installableDomains) {
       const name = d.name || d.id || '?';
       const installed = listInstalled().some((entry) => entry.full === name) ? '[installed]' : '';
-      const yanked = d.yanked ? '[yanked] ' : '';
       const dep = d.deprecated ? '[deprecated] ' : '';
       console.log(
-        `  ${name.padEnd(36)} ${(d.version || '?').padEnd(8)} ${(d.type || 'domain').padEnd(8)} ${(d.status || '').padEnd(14)} ${yanked}${dep}${installed}`,
+        `  ${name.padEnd(36)} ${(d.version || '?').padEnd(8)} ${(d.type || 'domain').padEnd(8)} ${(d.status || '').padEnd(14)} ${dep}${installed}`,
       );
       if (d.description) console.log(`    ${d.description}`);
       console.log('');

package/src/cmds/studio.js

@@ -79,9 +79,16 @@ const CARD_TEMPLATES = {
 };
 
 function cmdStudioScaffold(name, args = []) {
-  if (!name) error('Usage: kdna studio scaffold <name> [--type=domain|cluster] [--minimal]', EXIT.INPUT_ERROR);
+  if (!name)
+    error(
+      'Usage: kdna studio scaffold <name> [--type=domain|cluster] [--minimal]',
+      EXIT.INPUT_ERROR,
+    );
   if (!/^[a-z][a-z0-9_-]*$/.test(name)) {
-    error(`Invalid name "${name}". Use lowercase letters, numbers, hyphens, underscores. Start with letter.`, EXIT.INPUT_ERROR);
+    error(
+      `Invalid name "${name}". Use lowercase letters, numbers, hyphens, underscores. Start with letter.`,
+      EXIT.INPUT_ERROR,
+    );
   }
 
   const type = args.includes('--type=cluster') ? 'cluster' : 'domain';
@@ -154,15 +161,22 @@ function cmdCardsValidate(projectPath, args = []) {
 
   if (!fs.existsSync(abs)) error(`Project file not found: ${abs}`, EXIT.INPUT_ERROR);
   const project = readJson(abs);
-  if (!project || !project.kdna_studio) error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
+  if (!project || !project.kdna_studio)
+    error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
 
   const errors = [];
   const warnings = [];
   const passed = [];
 
-  function fail(msg) { errors.push(msg); }
-  function warn(msg) { warnings.push(msg); }
-  function ok(msg) { passed.push(msg); }
+  function fail(msg) {
+    errors.push(msg);
+  }
+  function warn(msg) {
+    warnings.push(msg);
+  }
+  function ok(msg) {
+    passed.push(msg);
+  }
 
   // Validate each card set
   for (const [cardType, cardFile] of Object.entries(project.cards || {})) {
@@ -192,7 +206,11 @@ function cmdCardsValidate(projectPath, args = []) {
           } else {
             ok(`axiom ${label}: applies_when has ${ax.applies_when.length} entries`);
           }
-          if (!ax.does_not_apply_when || !Array.isArray(ax.does_not_apply_when) || ax.does_not_apply_when.length === 0) {
+          if (
+            !ax.does_not_apply_when ||
+            !Array.isArray(ax.does_not_apply_when) ||
+            ax.does_not_apply_when.length === 0
+          ) {
             fail(`axiom ${label}: missing does_not_apply_when`);
           } else {
             ok(`axiom ${label}: does_not_apply_when has ${ax.does_not_apply_when.length} entries`);
@@ -208,9 +226,11 @@ function cmdCardsValidate(projectPath, args = []) {
       case 'misunderstandings':
         for (const ms of cards) {
           const label = ms.id || '?';
-          if (!ms.wrong || ms.wrong.includes('[TODO]')) warn(`misunderstanding ${label}: wrong is placeholder`);
+          if (!ms.wrong || ms.wrong.includes('[TODO]'))
+            warn(`misunderstanding ${label}: wrong is placeholder`);
           else ok(`misunderstanding ${label}: wrong OK`);
-          if (!ms.correct || ms.correct.includes('[TODO]')) warn(`misunderstanding ${label}: correct is placeholder`);
+          if (!ms.correct || ms.correct.includes('[TODO]'))
+            warn(`misunderstanding ${label}: correct is placeholder`);
           else ok(`misunderstanding ${label}: correct OK`);
           if (!ms.key_distinction || ms.key_distinction.length < 15) {
             fail(`misunderstanding ${label}: key_distinction missing or too short`);
@@ -223,14 +243,18 @@ function cmdCardsValidate(projectPath, args = []) {
       case 'boundaries':
         for (const bd of cards) {
           const label = bd.id || '?';
-          if (!bd.scope || bd.scope.includes('[TODO]')) warn(`boundary ${label}: scope is placeholder`);
+          if (!bd.scope || bd.scope.includes('[TODO]'))
+            warn(`boundary ${label}: scope is placeholder`);
           else ok(`boundary ${label}: scope OK`);
-          if (!bd.out_of_scope || bd.out_of_scope.includes('[TODO]')) warn(`boundary ${label}: out_of_scope is placeholder`);
+          if (!bd.out_of_scope || bd.out_of_scope.includes('[TODO]'))
+            warn(`boundary ${label}: out_of_scope is placeholder`);
           else ok(`boundary ${label}: out_of_scope OK`);
           if (!bd.acceptable_exceptions || !Array.isArray(bd.acceptable_exceptions)) {
             warn(`boundary ${label}: acceptable_exceptions not declared`);
           } else {
-            ok(`boundary ${label}: acceptable_exceptions has ${bd.acceptable_exceptions.length} entries`);
+            ok(
+              `boundary ${label}: acceptable_exceptions has ${bd.acceptable_exceptions.length} entries`,
+            );
           }
         }
         break;
@@ -251,11 +275,14 @@ function cmdCardsValidate(projectPath, args = []) {
       case 'ontology':
         for (const ont of cards) {
           const label = ont.id || '?';
-          if (!ont.essence || ont.essence.includes('[TODO]')) warn(`ontology ${label}: essence is placeholder`);
+          if (!ont.essence || ont.essence.includes('[TODO]'))
+            warn(`ontology ${label}: essence is placeholder`);
           else ok(`ontology ${label}: essence OK`);
-          if (!ont.boundary || ont.boundary.includes('[TODO]')) warn(`ontology ${label}: boundary is placeholder`);
+          if (!ont.boundary || ont.boundary.includes('[TODO]'))
+            warn(`ontology ${label}: boundary is placeholder`);
           else ok(`ontology ${label}: boundary OK`);
-          if (!ont.trigger_signal || ont.trigger_signal.includes('[TODO]')) warn(`ontology ${label}: trigger_signal is placeholder`);
+          if (!ont.trigger_signal || ont.trigger_signal.includes('[TODO]'))
+            warn(`ontology ${label}: trigger_signal is placeholder`);
           else ok(`ontology ${label}: trigger_signal OK`);
         }
         break;
@@ -263,14 +290,20 @@ function cmdCardsValidate(projectPath, args = []) {
   }
 
   if (jsonMode) {
-    console.log(JSON.stringify({
-      project: path.basename(abs),
-      valid: errors.length === 0,
-      errors,
-      warnings,
-      passed: passed.length,
-      total_checks: errors.length + warnings.length + passed.length,
-    }, null, 2));
+    console.log(
+      JSON.stringify(
+        {
+          project: path.basename(abs),
+          valid: errors.length === 0,
+          errors,
+          warnings,
+          passed: passed.length,
+          total_checks: errors.length + warnings.length + passed.length,
+        },
+        null,
+        2,
+      ),
+    );
     process.exit(errors.length ? EXIT.VALIDATION_FAILED : EXIT.OK);
   }
 
@@ -298,7 +331,8 @@ function cmdLockVerify(projectPath, args = []) {
 
   if (!fs.existsSync(abs)) error(`Project file not found: ${abs}`, EXIT.INPUT_ERROR);
   const project = readJson(abs);
-  if (!project || !project.kdna_studio) error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
+  if (!project || !project.kdna_studio)
+    error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
 
   const locked = [];
   const unlocked = [];
@@ -324,7 +358,10 @@ function cmdLockVerify(projectPath, args = []) {
           locked.push(label);
         } else {
           // Check Feynman restatement for axioms and misunderstandings
-          if ((cardType === 'axioms' || cardType === 'misunderstandings') && !card.feynman_restatement) {
+          if (
+            (cardType === 'axioms' || cardType === 'misunderstandings') &&
+            !card.feynman_restatement
+          ) {
             unlocked.push(label);
             blocking.push(`${label} missing Feynman restatement`);
           } else {
@@ -341,15 +378,21 @@ function cmdLockVerify(projectPath, args = []) {
   const publishable = blocking.length === 0 && locked.length > 0;
 
   if (jsonMode) {
-    console.log(JSON.stringify({
-      project: path.basename(abs),
-      locked_cards: locked.length,
-      unlocked_cards: unlocked.length,
-      publishable,
-      blocking,
-      locked: locked.sort(),
-      unlocked: unlocked.sort(),
-    }, null, 2));
+    console.log(
+      JSON.stringify(
+        {
+          project: path.basename(abs),
+          locked_cards: locked.length,
+          unlocked_cards: unlocked.length,
+          publishable,
+          blocking,
+          locked: locked.sort(),
+          unlocked: unlocked.sort(),
+        },
+        null,
+        2,
+      ),
+    );
     process.exit(publishable ? EXIT.OK : EXIT.HUMAN_LOCK_REQUIRED);
   }
 
@@ -381,13 +424,15 @@ function cmdStudioCompile(projectPath, args = []) {
 
   if (!fs.existsSync(abs)) error(`Project file not found: ${abs}`, EXIT.INPUT_ERROR);
   const project = readJson(abs);
-  if (!project || !project.kdna_studio) error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
+  if (!project || !project.kdna_studio)
+    error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
 
   // Determine output directory
   const outIdx = args.indexOf('--out');
-  const outDir = outIdx >= 0
-    ? path.resolve(args[outIdx + 1])
-    : path.join(path.dirname(abs), project.exports?.dir || 'exports');
+  const outDir =
+    outIdx >= 0
+      ? path.resolve(args[outIdx + 1])
+      : path.join(path.dirname(abs), project.exports?.dir || 'exports');
 
   fs.mkdirSync(outDir, { recursive: true });
 
@@ -459,12 +504,17 @@ function cmdStudioCompile(projectPath, args = []) {
 
   // Compile manifest → kdna.json
   const manifest = {
-    kdna_spec: '1.0-rc',
+    format: 'kdna',
+    format_version: '1.0',
+    spec_version: '1.0-rc',
     name: `@aikdna/${project.name}`,
     version: '0.1.0',
+    judgment_version: '0.1.0',
     status: 'experimental',
+    quality_badge: 'untested',
     access: 'open',
-    language: 'en',
+    languages: ['en'],
+    default_language: 'en',
     author: { name: '', id: '' },
     license: { type: 'CC-BY-4.0' },
     description: '',
@@ -519,7 +569,8 @@ function cmdStudioReadiness(projectPath, args = []) {
 
   if (!fs.existsSync(abs)) error(`Project file not found: ${abs}`, EXIT.INPUT_ERROR);
   const project = readJson(abs);
-  if (!project || !project.kdna_studio) error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
+  if (!project || !project.kdna_studio)
+    error(`Not a KDNA Studio project: ${abs}`, EXIT.INPUT_ERROR);
 
   const readiness = {
     axioms: loadCardStats(project, path.dirname(abs), 'axioms'),
@@ -533,7 +584,9 @@ function cmdStudioReadiness(projectPath, args = []) {
   };
 
   // Determine publishability
-  const allTypes = Object.values(readiness).filter((v) => v && typeof v === 'object' && 'total' in v);
+  const allTypes = Object.values(readiness).filter(
+    (v) => v && typeof v === 'object' && 'total' in v,
+  );
   let allLocked = allTypes.every((t) => t.total > 0 && t.total === t.locked);
   if (allTypes.length === 0) allLocked = false;
   readiness.publishable = allLocked;

package/src/cmds/test.js

@@ -115,8 +115,11 @@ function cmdTestRun(args = []) {
   if (!jsonMode) {
     console.log(`Test run recorded: ${result.test_id}`);
     console.log(`  Domain:  ${result.domain}`);
-    console.log(`  Input:   ${result.input.slice(0, 100)}${result.input.length > 100 ? '...' : ''}`);
-    if (result.expected.classification) console.log(`  Expected classification: ${result.expected.classification}`);
+    console.log(
+      `  Input:   ${result.input.slice(0, 100)}${result.input.length > 100 ? '...' : ''}`,
+    );
+    if (result.expected.classification)
+      console.log(`  Expected classification: ${result.expected.classification}`);
   }
 }
 

package/src/compare.js

@@ -493,7 +493,11 @@ async function cmdCompare(input, args = []) {
   const userInput = args[idxInput + 1];
 
   const asset = resolveAsset(input);
-  if (!asset) error(`KDNA asset not found: ${input}. Use an installed name or a .kdna file.`, EXIT.INPUT_ERROR);
+  if (!asset)
+    error(
+      `KDNA asset not found: ${input}. Use an installed name or a .kdna file.`,
+      EXIT.INPUT_ERROR,
+    );
   const parsed = asset.parsed || parseName(asset.name || '');
   const label = parsed?.full || asset.name || input;
 
@@ -552,7 +556,16 @@ async function cmdCompare(input, args = []) {
   });
 
   if (reportMd) {
-    const report = emitMarkdownReport(parsed || { full: label }, manifest, core, pat, responseA, responseB, diff, llm);
+    const report = emitMarkdownReport(
+      parsed || { full: label },
+      manifest,
+      core,
+      pat,
+      responseA,
+      responseB,
+      diff,
+      llm,
+    );
     if (outputFile) {
       fs.writeFileSync(outputFile, report);
       console.log(`Report saved to ${outputFile}`);

package/src/diff.js

@@ -80,7 +80,10 @@ function downloadAndExtract(url, destDir) {
       stdio: 'pipe',
     });
   } catch (e) {
-    error(`Failed to download ${url}: ${e.stderr?.toString().trim() || e.message}`, EXIT.PROVIDER_ERROR);
+    error(
+      `Failed to download ${url}: ${e.stderr?.toString().trim() || e.message}`,
+      EXIT.PROVIDER_ERROR,
+    );
   }
 
   fs.mkdirSync(destDir, { recursive: true });
@@ -243,7 +246,9 @@ async function cmdDiff(a, b, args = []) {
     newEntry = entryA;
     if (oldVersion === newVersion) {
       if (jsonMode) {
-        console.log(JSON.stringify({ error: `${aParsed.full}@${oldVersion}: only one version found.` }));
+        console.log(
+          JSON.stringify({ error: `${aParsed.full}@${oldVersion}: only one version found.` }),
+        );
         process.exit(EXIT.OK);
       }
       console.log(
@@ -283,7 +288,13 @@ async function cmdDiff(a, b, args = []) {
     );
   }
 
-  const axiomsDiff = diffMaps('axioms', oldJ.axioms, newJ.axioms, (a) => a.one_sentence || a.id, jsonMode);
+  const axiomsDiff = diffMaps(
+    'axioms',
+    oldJ.axioms,
+    newJ.axioms,
+    (a) => a.one_sentence || a.id,
+    jsonMode,
+  );
   diffMaps('ontology', oldJ.ontology, newJ.ontology, (o) => o.one_sentence || o.id, jsonMode);
   const misunderstandingsDiff = diffMaps(
     'misunderstandings',
@@ -292,7 +303,13 @@ async function cmdDiff(a, b, args = []) {
     (m) => m.wrong || m.id,
     jsonMode,
   );
-  const bannedDiff = diffMaps('banned_terms', oldJ.banned_terms, newJ.banned_terms, (t) => t.term || '', jsonMode);
+  const bannedDiff = diffMaps(
+    'banned_terms',
+    oldJ.banned_terms,
+    newJ.banned_terms,
+    (t) => t.term || '',
+    jsonMode,
+  );
   const stancesDiff = diffStanceList(oldJ.stances, newJ.stances, jsonMode);
 
   // Cleanup
@@ -332,11 +349,7 @@ async function cmdDiff(a, b, args = []) {
     }));
 
   const affectedScenarios = axiomsDiff.changedDetails
-    .filter(
-      (d) =>
-        d.boundary_changes.applies_when ||
-        d.boundary_changes.does_not_apply_when,
-    )
+    .filter((d) => d.boundary_changes.applies_when || d.boundary_changes.does_not_apply_when)
     .map((d) => ({
       axiom_id: d.id,
       applies_when: d.boundary_changes.applies_when || null,
@@ -350,7 +363,8 @@ async function cmdDiff(a, b, args = []) {
   let recommendedVersionBump = 'none';
   if (hasRemoved) recommendedVersionBump = 'major';
   else if (hasAdded || hasChanged) recommendedVersionBump = 'minor';
-  else if (stancesDiff.added.length > 0 || stancesDiff.removed.length > 0) recommendedVersionBump = 'patch';
+  else if (stancesDiff.added.length > 0 || stancesDiff.removed.length > 0)
+    recommendedVersionBump = 'patch';
 
   if (jsonMode) {
     const result = {
@@ -376,7 +390,9 @@ async function cmdDiff(a, b, args = []) {
     const drift = Object.keys(newJ.axioms).length - Object.keys(oldJ.axioms).length;
     const note = drift !== 0 ? ` (axiom count drift: ${drift > 0 ? '+' : ''}${drift})` : '';
     console.log(`  Judgment surface change: ${oldVersion} → ${newVersion}${note}`);
-    console.log(`  Agent loading the new version may classify, diagnose, or recommend differently.`);
+    console.log(
+      `  Agent loading the new version may classify, diagnose, or recommend differently.`,
+    );
     console.log('═'.repeat(64));
   }
 }

package/src/identity.js

@@ -90,13 +90,15 @@ function cmdIdentityShow(jsonMode = false) {
   const fp = fingerprint(pub);
 
   if (jsonMode) {
-    console.log(JSON.stringify({
-      pubkey: pub.trim(),
-      buyer_id: id,
-      fingerprint: fp,
-      public_key_path: PUBLIC_KEY_PATH,
-      private_key_exists: fs.existsSync(PRIVATE_KEY_PATH),
-    }));
+    console.log(
+      JSON.stringify({
+        pubkey: pub.trim(),
+        buyer_id: id,
+        fingerprint: fp,
+        public_key_path: PUBLIC_KEY_PATH,
+        private_key_exists: fs.existsSync(PRIVATE_KEY_PATH),
+      }),
+    );
     process.exit(EXIT.OK);
   }
 

package/src/install.js

@@ -159,7 +159,10 @@ function parseSource(input) {
   // Local file (.kdna)
   if (
     input.endsWith('.kdna') &&
-    (input.startsWith('./') || input.startsWith('/') || input.startsWith('~/') || fs.existsSync(input))
+    (input.startsWith('./') ||
+      input.startsWith('/') ||
+      input.startsWith('~/') ||
+      fs.existsSync(input))
   ) {
     const resolved = path.resolve(input.replace(/^~/, process.env.HOME || ''));
     if (!fs.existsSync(resolved)) error(`Local file not found: ${resolved}`);
@@ -183,7 +186,7 @@ function parseSource(input) {
   const parsed = parseName(input);
   if (!parsed) {
     error(
-        `Cannot parse "${input}". Use:\n` +
+      `Cannot parse "${input}". Use:\n` +
         `  kdna install <name>             # @aikdna/<name>\n` +
         `  kdna install @scope/name        # any scope\n` +
         `  kdna install ./file.kdna        # local .kdna file`,
@@ -247,7 +250,10 @@ function verifySignature({ assetPath, scope, entry, lenient = true }) {
 
   // Full Ed25519 verify (requires public_key_pem embedded in the package)
   if (!manifest.author?.public_key_pem) {
-    error(`${entry.name}: manifest author.public_key_pem is required for Ed25519 verification.`, EXIT.TRUST_FAILED);
+    error(
+      `${entry.name}: manifest author.public_key_pem is required for Ed25519 verification.`,
+      EXIT.TRUST_FAILED,
+    );
   }
 
   const result = verifyAsset(assetPath, { requireSignature: true });
@@ -397,7 +403,9 @@ function installSingleFromUrl({ entry, scope }, jsonMode = false) {
     } catch {
       /* ignore */
     }
-    error(`asset digest mismatch for ${entry.name}: expected ${expectedDigest}, got ${actualDigest}`);
+    error(
+      `asset digest mismatch for ${entry.name}: expected ${expectedDigest}, got ${actualDigest}`,
+    );
   }
   if (!jsonMode) console.log(`  ✓ asset digest verified`);
 
@@ -634,13 +642,15 @@ function cmdInfo(input, jsonMode = false) {
   if (manifest?.author?.public_key_pem) {
     console.log(`  Embedded PEM:      yes (full Ed25519 verify available)`);
   } else {
-    console.log(`  Embedded PEM:      no (legacy pre-v0.7.1 package)`);
+    console.log(`  Embedded PEM:      no`);
   }
   if (source.asset_url) {
     console.log(`  Source URL:        ${source.asset_url}`);
   }
-  if (installed.asset_digest) console.log(`  Asset digest:      ${installed.asset_digest.slice(0, 39)}…`);
-  if (installed.content_digest) console.log(`  Content digest:    ${installed.content_digest.slice(0, 39)}…`);
+  if (installed.asset_digest)
+    console.log(`  Asset digest:      ${installed.asset_digest.slice(0, 39)}…`);
+  if (installed.content_digest)
+    console.log(`  Content digest:    ${installed.content_digest.slice(0, 39)}…`);
   if (installed.receipt_path) console.log(`  Receipt:           ${installed.receipt_path}`);
   console.log(`  Installed:         ${installed.installed_at || '?'}`);
   console.log(`  Asset:             ${installed.asset_path}`);

package/src/package-store.js

@@ -171,7 +171,10 @@ function resolveAsset(input) {
   const expanded = input.replace(/^~/, process.env.HOME || '');
   const looksLikeFile =
     input.endsWith('.kdna') &&
-    (input.startsWith('./') || input.startsWith('/') || input.startsWith('~/') || fs.existsSync(expanded));
+    (input.startsWith('./') ||
+      input.startsWith('/') ||
+      input.startsWith('~/') ||
+      fs.existsSync(expanded));
   if (looksLikeFile) {
     const abs = path.resolve(expanded);
     if (!fs.existsSync(abs) || !fs.statSync(abs).isFile()) return null;

package/src/paths.js

@@ -3,8 +3,8 @@
 
 const path = require('path');
 
-const KDNA_HOME = process.env.KDNA_HOME
-  || path.join(process.env.HOME || process.env.USERPROFILE || '.', '.kdna');
+const KDNA_HOME =
+  process.env.KDNA_HOME || path.join(process.env.HOME || process.env.USERPROFILE || '.', '.kdna');
 
 const PATHS = {
   root: KDNA_HOME,