@inventarch/cli 0.0.0-stage → 1.0.0

package/dist/claude-cli.js

@@ -0,0 +1,101 @@
+/**
+ * Host plugin distribution spec §6.3 (amended, item 5) and §2.3: Claude's own CLI does the registering and reports its
+ * own state through its `--json` lists; Claude's files are never read or written here. `IA_CLAUDE` names a Node
+ * script to run instead of `claude`; it exists for tests and is not a user-facing setting.
+ */
+import { spawnSync } from 'node:child_process';
+import { existsSync } from 'node:fs';
+import { CLAUDE_MARKETPLACE, CLAUDE_PLUGIN } from '@inventarch/compliance';
+import { Refusal } from './consumer.js';
+export const PLUGIN_ID = `${CLAUDE_PLUGIN}@${CLAUDE_MARKETPLACE}`;
+/** Whether one of Claude's `--json` lists has a matching row; null when the command failed or printed no array. */
+function listed(runner, args, match) {
+    const result = runner.run(args);
+    if (result.status !== 0)
+        return null;
+    try {
+        const rows = JSON.parse(result.stdout);
+        return Array.isArray(rows)
+            ? rows.some((row) => row !== null && typeof row === 'object' && match(row))
+            : null;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * §2.3's observed shapes: `plugin marketplace list --json` is an array of `{name, …}` and `plugin list --json` an
+ * array of `{id, scope, …}`. Only a user-scope install is ours to remove; a row without a scope is taken as one.
+ */
+export function observeClaude(runner) {
+    if (!runner.available)
+        return { marketplaceKnown: null, installed: null };
+    return {
+        marketplaceKnown: listed(runner, ['plugin', 'marketplace', 'list', '--json'], (row) => row['name'] === CLAUDE_MARKETPLACE),
+        installed: listed(runner, ['plugin', 'list', '--json'], (row) => row['id'] === PLUGIN_ID && (row['scope'] === undefined || row['scope'] === 'user')),
+    };
+}
+/** §2.3: `marketplace add` and `install` are both idempotent, so registration is always the same two commands. */
+export const registrationCommands = (marketplace) => [
+    ['plugin', 'marketplace', 'add', marketplace],
+    ['plugin', 'install', PLUGIN_ID, '--scope', 'user'],
+];
+/** §2.3: `uninstall` and `remove` exit 1 when there is nothing to remove, so only what is listed (or unknown) is removed. */
+export function removalCommands(state) {
+    return [
+        ...(state.installed === false ? [] : [['plugin', 'uninstall', PLUGIN_ID, '--scope', 'user']]),
+        ...(state.marketplaceKnown === false ? [] : [['plugin', 'marketplace', 'remove', CLAUDE_MARKETPLACE]]),
+    ];
+}
+/** Registration and removal commands get two minutes; the availability probe far less, so a hung `claude` cannot stall a plan. */
+const COMMAND_TIMEOUT = 120_000, PROBE_TIMEOUT = 10_000;
+/** The variables that steer tests/fake-claude.mjs. Only the ones this invocation was given reach it; inherited ones are dropped. */
+const FAKE_VARIABLE = /^(IA_CLAUDE_|FAKE_CLAUDE_)/;
+const DEFAULTS = {
+    platform: process.platform,
+    spawn: (command, args, options) => spawnSync(command, [...args], { ...options, encoding: 'utf8' }),
+};
+/**
+ * One argument on the cmd.exe line of the Windows fallback. cmd.exe expands `%NAME%` even inside quotes and a `"`
+ * ends the quoting, so neither can be passed safely; such an argument refuses rather than being quoted.
+ */
+function cmdArgument(value) {
+    if (/[%"]/.test(value))
+        throw new Refusal('IA-CLI-HOST-COMMAND-FAILED', `claude is reachable only through cmd.exe here (no claude executable on PATH, so an npm claude.cmd shim), and cmd.exe cannot pass ${value} unchanged because it contains % or "`, 3, null, 'Set IA_HOME to a directory whose path has no % or ", or install Claude Code so that claude.exe is on PATH, then rerun.');
+    return /^[\w\-.:\\/@=+,]+$/.test(value) ? value : `"${value}"`;
+}
+export function claudeRunner(env, dependencies = DEFAULTS) {
+    const { platform, spawn } = dependencies;
+    const fake = env['IA_CLAUDE'];
+    const real = (args, timeout) => {
+        if (platform !== 'win32')
+            return spawn('claude', args, { timeout, windowsHide: true });
+        // Windows: a claude.exe on PATH runs with no shell, so no argument is reinterpreted. Node resolves no .cmd file
+        // without a shell, so only a missing executable falls back to the cmd.exe line an npm shim needs.
+        const direct = spawn('claude', args, { shell: false, timeout, windowsHide: true });
+        if (direct.error?.code !== 'ENOENT')
+            return direct;
+        return spawn(['claude', ...args].map(cmdArgument).join(' '), [], { shell: true, timeout, windowsHide: true });
+    };
+    const fakeEnv = () => ({
+        ...Object.fromEntries(Object.entries(process.env).filter(([name]) => !FAKE_VARIABLE.test(name))),
+        ...Object.fromEntries(Object.entries(env).filter(([name]) => FAKE_VARIABLE.test(name))),
+    });
+    const invoke = (args, timeout) => fake !== undefined
+        ? spawn(process.execPath, [fake, ...args], { env: fakeEnv(), timeout, windowsHide: true })
+        : real(args, timeout);
+    // The fake is probed exactly as `claude` is, so tests observe when the probe runs.
+    const available = (fake === undefined || existsSync(fake)) && invoke(['--version'], PROBE_TIMEOUT).status === 0;
+    return {
+        available,
+        run: (args) => {
+            const result = invoke(args, COMMAND_TIMEOUT);
+            return {
+                status: result.status,
+                stdout: result.stdout ?? '',
+                output: `${result.stdout ?? ''}${result.stderr ?? ''}`.trim(),
+            };
+        },
+    };
+}
+//# sourceMappingURL=claude-cli.js.map

package/dist/claude-cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claude-cli.js","sourceRoot":"","sources":["../src/claude-cli.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAGxC,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,aAAa,IAAI,kBAAkB,EAAE,CAAC;AAgBlE,mHAAmH;AACnH,SAAS,MAAM,CAAC,MAAoB,EAAE,IAAuB,EAAE,KAA4B;IACzF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAY,CAAC;QAClD,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAU,CAAC,CAAC;YAClF,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AACD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,MAAoB;IAChD,IAAI,CAAC,MAAM,CAAC,SAAS;QAAE,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC1E,OAAO;QACL,gBAAgB,EAAE,MAAM,CACtB,MAAM,EACN,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,EAC3C,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,kBAAkB,CAC5C;QACD,SAAS,EAAE,MAAM,CACf,MAAM,EACN,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAC5B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,CAC5F;KACF,CAAC;AACJ,CAAC;AACD,kHAAkH;AAClH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,WAAmB,EAAc,EAAE,CAAC;IACvE,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,CAAC;IAC7C,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC;CACpD,CAAC;AACF,6HAA6H;AAC7H,MAAM,UAAU,eAAe,CAAC,KAAkB;IAChD,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7F,GAAG,CAAC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC,CAAC;KACvG,CAAC;AACJ,CAAC;AAED,kIAAkI;AAClI,MAAM,eAAe,GAAG,OAAO,EAC7B,aAAa,GAAG,MAAM,CAAC;AACzB,oIAAoI;AACpI,MAAM,aAAa,GAAG,4BAA4B,CAAC;AAWnD,MAAM,QAAQ,GAAuB;IACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;IAC1B,KAAK,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;CACnG,CAAC;AACF;;;GAGG;AACH,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QACpB,MAAM,IAAI,OAAO,CACf,4BAA4B,EAC5B,oIAAoI,KAAK,uCAAuC,EAChL,CAAC,EACD,IAAI,EACJ,wHAAwH,CACzH,CAAC;IACJ,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC;AACjE,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,GAAQ,EAAE,eAAmC,QAAQ;IAChF,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC;IACzC,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,IAAuB,EAAE,OAAe,EAA4B,EAAE;QAClF,IAAI,QAAQ,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACvF,gHAAgH;QAChH,kGAAkG;QAClG,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACnF,IAAK,MAAM,CAAC,KAA2C,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC1F,OAAO,KAAK,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAChH,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,GAAuC,EAAE,CAAC,CAAC;QACzD,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;KACxF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,IAAuB,EAAE,OAAe,EAA4B,EAAE,CACpF,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1B,mFAAmF;IACnF,MAAM,SAAS,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IAChH,OAAO;QACL,SAAS;QACT,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC7C,OAAO;gBACL,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;gBAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE;aAC9D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/commands.d.ts

@@ -0,0 +1,39 @@
+/**
+ * The consumer command table: docs/specs/consumer-cli-contract/README.md §1.2 step 5 and §2.
+ *
+ * One row per verb, carrying its help text and its whole argument grammar. §1.2's order is a property of this
+ * table and of the dispatcher that reads it; nothing else in the binary enumerates a verb or a flag name.
+ */
+import type { Grammar, OptionSpec } from './args.js';
+/** §1.2 step 4. The frozen machine routes, in the order `packages/runtime/src/door.ts:103` admits them. */
+export declare const LEGACY_OPERATIONS: readonly ["scope", "context", "select", "get", "records", "resolve", "search", "traverse", "report"];
+/** §1.2 step 6. Reserved so a later milestone can take the name without a rename; see §1.5. */
+export declare const RESERVED_TOKEN = "agent";
+export type Group = 'workspace' | 'distribution';
+export interface CommandSpec {
+    readonly name: string;
+    readonly group: Group;
+    readonly summary: string;
+    /** The syntax lines `ia <command> --help` prints, verbatim from §2. */
+    readonly syntax: readonly string[];
+    readonly grammar: Grammar;
+}
+export declare const ROOT: OptionSpec;
+/** §2.0. Applies to all thirteen verbs; §2.1 refuses `--root` for `init` alone, with its own reason. */
+export declare const COMMON_OPTIONS: readonly OptionSpec[];
+export declare const COMMANDS: readonly CommandSpec[];
+/**
+ * §1.6: L ∪ C ∪ R and the step 1–2 tokens — every token an extension may never take. The core wins: `dispatch`
+ * routes such a token to its core route even when an extension claims it.
+ */
+export declare const CORE_TOKENS: ReadonlySet<string>;
+/** §1.6: the shape of an extension token. */
+export declare const EXTENSION_TOKEN: RegExp;
+export declare const commandNames: readonly string[];
+export declare const findCommand: (token: string) => CommandSpec | undefined;
+/**
+ * §1.2 step 7's nearest match. Ordinary Levenshtein distance over the tokens the dispatcher admits, capped so a
+ * wholly unrelated word gets no suggestion rather than a misleading one.
+ */
+export declare function nearestTokens(token: string, admitted: readonly string[], limit?: number): readonly string[];
+//# sourceMappingURL=commands.d.ts.map

package/dist/commands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../src/commands.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAkB,MAAM,WAAW,CAAC;AAGrE,2GAA2G;AAC3G,eAAO,MAAM,iBAAiB,sGAUpB,CAAC;AAEX,+FAA+F;AAC/F,eAAO,MAAM,cAAc,UAAU,CAAC;AAEtC,MAAM,MAAM,KAAK,GAAG,WAAW,GAAG,cAAc,CAAC;AACjD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAGD,eAAO,MAAM,IAAI,EAAE,UAKjB,CAAC;AACH,wGAAwG;AACxG,eAAO,MAAM,cAAc,EAAE,SAAS,UAAU,EAS/C,CAAC;AAmBF,eAAO,MAAM,QAAQ,EAAE,SAAS,WAAW,EAkX1C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,CAO1C,CAAC;AACH,6CAA6C;AAC7C,eAAO,MAAM,eAAe,QAA2B,CAAC;AAExD,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAA4C,CAAC;AACvF,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,KAAG,WAAW,GAAG,SACN,CAAC;AAErD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,SAAI,GAAG,SAAS,MAAM,EAAE,CAkBtG"}

package/dist/commands.js

@@ -0,0 +1,436 @@
+import { none, positionals } from './args.js';
+/** §1.2 step 4. The frozen machine routes, in the order `packages/runtime/src/door.ts:103` admits them. */
+export const LEGACY_OPERATIONS = [
+    'scope',
+    'context',
+    'select',
+    'get',
+    'records',
+    'resolve',
+    'search',
+    'traverse',
+    'report',
+];
+/** §1.2 step 6. Reserved so a later milestone can take the name without a rename; see §1.5. */
+export const RESERVED_TOKEN = 'agent';
+const option = (spec) => spec;
+export const ROOT = option({
+    name: 'root',
+    kind: 'value',
+    placeholder: '<path>',
+    summary: 'Workspace root (default: nearest ancestor with .ia/src)',
+});
+/** §2.0. Applies to all thirteen verbs; §2.1 refuses `--root` for `init` alone, with its own reason. */
+export const COMMON_OPTIONS = [
+    ROOT,
+    option({ name: 'json', kind: 'boolean', summary: 'One JSON value on stdout; no color, progress or prompts' }),
+    option({ name: 'color', kind: 'boolean', conflicts: ['no-color'], summary: 'Force ANSI styling' }),
+    option({ name: 'no-color', kind: 'boolean', summary: 'Disable ANSI styling; NO_COLOR is also honored' }),
+    option({ name: 'ascii', kind: 'boolean', summary: 'ASCII status symbols instead of Unicode' }),
+    option({ name: 'quiet', kind: 'boolean', short: 'q', summary: 'Suppress progress on stderr' }),
+    option({ name: 'yes', kind: 'boolean', short: 'y', summary: 'Assume yes; required for --apply without a terminal' }),
+    option({ name: 'help', kind: 'boolean', short: 'h', summary: 'Show help for the binary or for one command' }),
+];
+/**
+ * Registry spec §4 level 1: one registry for every id in the command, whatever its provider. It replaces discovery's
+ * per-provider choice, so it cannot stand beside the two sources that replace discovery outright.
+ */
+const REGISTRY = option({
+    name: 'registry',
+    kind: 'value',
+    conflicts: ['catalog', 'offline'],
+    placeholder: '<url|dir>',
+    summary: 'Registry for every id in this command (default: per-provider configuration)',
+});
+const grammar = (options, rest = none) => ({
+    options: [...COMMON_OPTIONS, ...options],
+    positionals: rest,
+});
+export const COMMANDS = [
+    {
+        name: 'init',
+        group: 'workspace',
+        summary: 'Plan or create a new workspace',
+        syntax: [
+            'ia init [<directory>] [--id <provider/name>] [--host claude|codex|none] [--apply] [--json] [--yes]',
+            'ia init [<directory>] --decline today|forever | --forget-decline [--host claude|codex|none] [--json]',
+        ],
+        grammar: {
+            options: [
+                ...COMMON_OPTIONS.filter((entry) => entry.name !== 'root'),
+                { ...ROOT, refuse: 'ia init takes its target as <directory>; --root is not accepted for this verb' },
+                // M5.1 §2.3: the package id, when the directory name does not normalize to the one wanted.
+                option({
+                    name: 'id',
+                    kind: 'value',
+                    placeholder: '<provider/name>',
+                    summary: 'Package id (default: local/<directory name>)',
+                }),
+                // Host registration spec §4 "init --host": with --apply, `ia host <host> --apply` runs after initialization.
+                option({
+                    name: 'host',
+                    kind: 'value',
+                    values: ['claude', 'codex', 'none'],
+                    summary: 'Host to register after initialization',
+                }),
+                option({ name: 'apply', kind: 'boolean', summary: 'Apply the plan instead of previewing it' }),
+                // Host plugin distribution spec §7.2: record the user's answer in the IA home; never writes the repository.
+                option({
+                    name: 'decline',
+                    kind: 'value',
+                    values: ['today', 'forever'],
+                    conflicts: ['apply', 'id', 'forget-decline'],
+                    summary: 'Record that this repository should not be initialized',
+                }),
+                option({
+                    name: 'forget-decline',
+                    kind: 'boolean',
+                    conflicts: ['apply', 'id', 'decline', 'host'],
+                    summary: 'Remove a recorded decline for this repository',
+                }),
+            ],
+            positionals: positionals('directory', 0, 1),
+        },
+    },
+    {
+        name: 'validate',
+        group: 'workspace',
+        summary: 'Check records against the language and declared contracts',
+        syntax: ['ia validate [<path>...] [--severity error|warning] [--max-findings <n>] [--json]'],
+        grammar: grammar([
+            option({ name: 'severity', kind: 'value', values: ['error', 'warning'], summary: 'Lowest severity to report' }),
+            option({
+                name: 'max-findings',
+                kind: 'value',
+                integer: { min: 1 },
+                placeholder: '<n>',
+                summary: 'Findings to render (default 50)',
+            }),
+        ], positionals('path', 0, Number.POSITIVE_INFINITY)),
+    },
+    {
+        name: 'compile',
+        group: 'workspace',
+        summary: 'Write a deterministic compiled artifact',
+        syntax: ['ia compile [--out <file> | --stdout] [--force] [--json]'],
+        grammar: grammar([
+            option({
+                name: 'out',
+                kind: 'value',
+                conflicts: ['stdout'],
+                placeholder: '<file>',
+                summary: 'Artifact path under <root>/.ia/work/',
+            }),
+            option({ name: 'stdout', kind: 'boolean', summary: 'Write the artifact to stdout instead of a file' }),
+            option({ name: 'force', kind: 'boolean', summary: 'Overwrite an existing artifact' }),
+        ]),
+    },
+    {
+        name: 'format',
+        group: 'workspace',
+        summary: 'Check or rewrite record formatting',
+        syntax: ['ia format [<path>...] [--check | --write] [--json]'],
+        grammar: grammar([
+            option({
+                name: 'check',
+                kind: 'boolean',
+                conflicts: ['write'],
+                summary: 'Report differing files and write nothing',
+            }),
+            option({ name: 'write', kind: 'boolean', summary: 'Rewrite differing files in place' }),
+        ], positionals('path', 0, Number.POSITIVE_INFINITY)),
+    },
+    {
+        name: 'inspect',
+        group: 'workspace',
+        summary: 'Show an admitted record, its edges, or a workspace overview',
+        syntax: ['ia inspect [<identity>] [--path <file>] [--edges in|out|both] [--depth <n>] [--json]'],
+        grammar: grammar([
+            option({
+                name: 'path',
+                kind: 'value',
+                excludesPositionals: true,
+                placeholder: '<file>',
+                summary: 'Record source file, relative to --root',
+            }),
+            option({
+                name: 'edges',
+                kind: 'value',
+                values: ['in', 'out', 'both'],
+                summary: 'Edge direction (default out); in and both also list typed field references',
+            }),
+            option({
+                name: 'depth',
+                kind: 'value',
+                integer: { min: 0, max: 3 },
+                placeholder: '<n>',
+                summary: 'Traversal depth 0-3 (default 1)',
+            }),
+        ], positionals('identity', 0, 1)),
+    },
+    {
+        name: 'vocabulary',
+        group: 'workspace',
+        summary: 'Look up the public words, their schemas and fields',
+        syntax: [
+            'ia vocabulary [<word>] [--domain <owner>]... [--kind <kind>]... [--search <text>]',
+            '              [--schema] [--example] [--json]',
+        ],
+        grammar: {
+            options: [
+                ...COMMON_OPTIONS.filter((entry) => entry.name !== 'root'),
+                // §2.0's exception: this verb resolves no root at all, so accepting --root and discarding it would be a
+                // flag that does nothing. It refuses with the reason instead.
+                {
+                    ...ROOT,
+                    refuse: 'ia vocabulary reads the catalogue shipped with the package; --root is not accepted for this verb',
+                },
+                option({
+                    name: 'domain',
+                    kind: 'value',
+                    repeatable: true,
+                    placeholder: '<owner>',
+                    summary: 'Owning system; repeatable, union',
+                }),
+                option({
+                    name: 'kind',
+                    kind: 'value',
+                    repeatable: true,
+                    placeholder: '<kind>',
+                    summary: 'Record kind; repeatable, union',
+                }),
+                option({
+                    name: 'search',
+                    kind: 'value',
+                    placeholder: '<text>',
+                    summary: 'Case-insensitive substring of word or description',
+                }),
+                option({
+                    name: 'schema',
+                    kind: 'boolean',
+                    needsPositional: true,
+                    summary: 'Show sections, fields and edges for the word',
+                }),
+                option({
+                    name: 'example',
+                    kind: 'boolean',
+                    needsPositional: true,
+                    summary: 'Show a shipped worked example, when one exists',
+                }),
+            ],
+            positionals: positionals('word', 0, 1),
+        },
+    },
+    {
+        name: 'pack',
+        group: 'distribution',
+        summary: 'Build a digest-named distribution archive',
+        syntax: ['ia pack --descriptor <file> [--out <dir>] [--force] [--json]'],
+        grammar: grammar([
+            option({
+                name: 'descriptor',
+                kind: 'value',
+                required: true,
+                placeholder: '<file>',
+                summary: 'Release descriptor, relative to --root',
+            }),
+            option({
+                name: 'out',
+                kind: 'value',
+                placeholder: '<dir>',
+                summary: 'Output directory (default <root>/.ia/work/dist)',
+            }),
+            option({ name: 'force', kind: 'boolean', summary: 'Overwrite an existing archive' }),
+        ]),
+    },
+    {
+        name: 'install',
+        group: 'distribution',
+        summary: 'Plan or apply an installation of distributions',
+        syntax: [
+            'ia install <id>[@<range>]... [--requests <file>] [--registry <url|dir>]',
+            '           [--catalog <file>] [--offline] [--plan-out <file>]',
+            '           [--apply] [--yes] [--json]',
+        ],
+        grammar: grammar([
+            option({
+                name: 'requests',
+                kind: 'value',
+                excludesPositionals: true,
+                placeholder: '<file>',
+                summary: 'Request set file, relative to --root',
+            }),
+            REGISTRY,
+            option({
+                name: 'catalog',
+                kind: 'value',
+                placeholder: '<file>',
+                summary: 'Release catalog file, relative to --root',
+            }),
+            option({ name: 'offline', kind: 'boolean', summary: 'Use only the local cache' }),
+            option({
+                name: 'plan-out',
+                kind: 'value',
+                placeholder: '<file>',
+                summary: 'New plan file under <root>/.ia/work/',
+            }),
+            option({ name: 'apply', kind: 'boolean', summary: 'Apply the plan rather than previewing it' }),
+        ], positionals('id', 0, Number.POSITIVE_INFINITY)),
+    },
+    {
+        name: 'update',
+        group: 'distribution',
+        summary: 'Plan or apply a version change for one direct request',
+        syntax: [
+            'ia update <id> [--to <range>] [--registry <url|dir>] [--catalog <file>]',
+            '          [--offline] [--plan-out <file>] [--apply] [--yes] [--json]',
+        ],
+        grammar: grammar([
+            // Registry spec §6.2: without --to the request keeps its range and the newest release in it wins.
+            option({
+                name: 'to',
+                kind: 'value',
+                placeholder: '<range>',
+                summary: 'Replacement version range (default: the existing range)',
+            }),
+            REGISTRY,
+            option({
+                name: 'catalog',
+                kind: 'value',
+                placeholder: '<file>',
+                summary: 'Release catalog file, relative to --root',
+            }),
+            option({ name: 'offline', kind: 'boolean', summary: 'Use only the local cache' }),
+            option({
+                name: 'plan-out',
+                kind: 'value',
+                placeholder: '<file>',
+                summary: 'New plan file under <root>/.ia/work/',
+            }),
+            option({ name: 'apply', kind: 'boolean', summary: 'Apply the plan rather than previewing it' }),
+        ], positionals('id', 1, 1)),
+    },
+    {
+        name: 'remove',
+        group: 'distribution',
+        summary: 'Plan or apply the removal of one direct request',
+        syntax: ['ia remove <id> [--plan-out <file>] [--apply] [--yes] [--json]'],
+        grammar: grammar([
+            option({
+                name: 'plan-out',
+                kind: 'value',
+                placeholder: '<file>',
+                summary: 'New plan file under <root>/.ia/work/',
+            }),
+            option({ name: 'apply', kind: 'boolean', summary: 'Apply the plan rather than previewing it' }),
+        ], positionals('id', 1, 1)),
+    },
+    {
+        name: 'restore',
+        group: 'distribution',
+        summary: 'Reinstall the locked generation from its pinned archives',
+        syntax: [
+            'ia restore [--registry <url|dir> | --offline | --catalog <file>]',
+            '           [--allow-withdrawn] --apply [--yes] [--json]',
+        ],
+        grammar: grammar([
+            REGISTRY,
+            option({
+                name: 'catalog',
+                kind: 'value',
+                conflicts: ['offline'],
+                placeholder: '<file>',
+                summary: 'Release catalog file, relative to --root',
+            }),
+            option({ name: 'offline', kind: 'boolean', summary: 'Use only the local cache' }),
+            option({ name: 'allow-withdrawn', kind: 'boolean', summary: 'Accept a withdrawn release' }),
+            option({ name: 'apply', kind: 'boolean', required: true, summary: 'Required; restore has no preview yet' }),
+        ]),
+    },
+    {
+        name: 'doctor',
+        group: 'distribution',
+        summary: 'Report runtime, workspace and installation state',
+        // Host plugin distribution spec §7.3: --host adds the §8.2 session briefing and next actions for that host.
+        syntax: ['ia doctor [--host claude|codex|cursor] [--json]'],
+        grammar: grammar([
+            option({
+                name: 'host',
+                kind: 'value',
+                values: ['claude', 'codex', 'cursor'],
+                summary: 'Add the session briefing and next actions for this host',
+            }),
+        ]),
+    },
+    {
+        // docs/specs/host-registration/README.md §4. The host is a positional the handler checks against the
+        // host adapter table (host plugin distribution spec §4), because a positional has no closed value set here; a host
+        // outside the table is still usage (exit 2). `--user` is that spec's §7.1 user-level entry point.
+        name: 'host',
+        group: 'distribution',
+        summary: "Plan or apply this workspace's host registration",
+        syntax: [
+            'ia host <claude|codex|cursor> [--remove] [--context <identity>] [--apply] [--json] [--yes]',
+            'ia host claude --user [--remove] [--apply] [--json] [--yes]',
+        ],
+        grammar: grammar([
+            option({
+                name: 'user',
+                kind: 'boolean',
+                conflicts: ['context'],
+                summary: 'Claude only: user-level plugin; needs no workspace',
+            }),
+            option({
+                name: 'remove',
+                kind: 'boolean',
+                conflicts: ['context'],
+                summary: 'Plan removal of the owned host set',
+            }),
+            option({
+                name: 'context',
+                kind: 'value',
+                placeholder: '<identity>',
+                summary: 'Claude only: select the lifecycle context element',
+            }),
+            option({ name: 'apply', kind: 'boolean', summary: 'Apply the plan rather than previewing it' }),
+        ], positionals('host', 1, 1)),
+    },
+];
+/**
+ * §1.6: L ∪ C ∪ R and the step 1–2 tokens — every token an extension may never take. The core wins: `dispatch`
+ * routes such a token to its core route even when an extension claims it.
+ */
+export const CORE_TOKENS = new Set([
+    ...LEGACY_OPERATIONS,
+    ...COMMANDS.map((command) => command.name),
+    RESERVED_TOKEN,
+    '--help',
+    '-h',
+    '--version',
+]);
+/** §1.6: the shape of an extension token. */
+export const EXTENSION_TOKEN = /^[a-z][a-z0-9-]{0,31}$/;
+export const commandNames = COMMANDS.map((command) => command.name);
+export const findCommand = (token) => COMMANDS.find((command) => command.name === token);
+/**
+ * §1.2 step 7's nearest match. Ordinary Levenshtein distance over the tokens the dispatcher admits, capped so a
+ * wholly unrelated word gets no suggestion rather than a misleading one.
+ */
+export function nearestTokens(token, admitted, limit = 3) {
+    const distance = (a, b) => {
+        let previous = Array.from({ length: b.length + 1 }, (_, index) => index);
+        for (let i = 1; i <= a.length; i += 1) {
+            const current = [i];
+            for (let j = 1; j <= b.length; j += 1)
+                current.push(Math.min(previous[j] + 1, current[j - 1] + 1, previous[j - 1] + (a[i - 1] === b[j - 1] ? 0 : 1)));
+            previous = current;
+        }
+        return previous[b.length];
+    };
+    const scored = admitted
+        .map((candidate) => ({ candidate, score: distance(token.toLowerCase(), candidate) }))
+        .filter((row) => row.score <= Math.max(2, Math.floor(row.candidate.length / 3)))
+        .sort((a, b) => a.score - b.score || a.candidate.localeCompare(b.candidate));
+    return scored.slice(0, limit).map((row) => row.candidate);
+}
+//# sourceMappingURL=commands.js.map

package/dist/commands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.js","sourceRoot":"","sources":["../src/commands.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE9C,2GAA2G;AAC3G,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,OAAO;IACP,SAAS;IACT,QAAQ;IACR,KAAK;IACL,SAAS;IACT,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;CACA,CAAC;AAEX,+FAA+F;AAC/F,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AAYtC,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAc,EAAE,CAAC,IAAI,CAAC;AACtD,MAAM,CAAC,MAAM,IAAI,GAAe,MAAM,CAAC;IACrC,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,OAAO;IACb,WAAW,EAAE,QAAQ;IACrB,OAAO,EAAE,yDAAyD;CACnE,CAAC,CAAC;AACH,wGAAwG;AACxG,MAAM,CAAC,MAAM,cAAc,GAA0B;IACnD,IAAI;IACJ,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC;IAC7G,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAClG,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,gDAAgD,EAAE,CAAC;IACxG,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;IAC9F,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC;IAC9F,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,qDAAqD,EAAE,CAAC;IACpH,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC;CAC9G,CAAC;AAEF;;;GAGG;AACH,MAAM,QAAQ,GAAe,MAAM,CAAC;IAClC,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,OAAO;IACb,SAAS,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;IACjC,WAAW,EAAE,WAAW;IACxB,OAAO,EAAE,6EAA6E;CACvF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,OAA8B,EAAE,OAAuB,IAAI,EAAW,EAAE,CAAC,CAAC;IACzF,OAAO,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,OAAO,CAAC;IACxC,WAAW,EAAE,IAAI;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAA2B;IAC9C;QACE,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EAAE;YACN,oGAAoG;YACpG,sGAAsG;SACvG;QACD,OAAO,EAAE;YACP,OAAO,EAAE;gBACP,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;gBAC1D,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,+EAA+E,EAAE;gBACpG,2FAA2F;gBAC3F,MAAM,CAAC;oBACL,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,OAAO;oBACb,WAAW,EAAE,iBAAiB;oBAC9B,OAAO,EAAE,8CAA8C;iBACxD,CAAC;gBACF,6GAA6G;gBAC7G,MAAM,CAAC;oBACL,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC;oBACnC,OAAO,EAAE,uCAAuC;iBACjD,CAAC;gBACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;gBAC9F,4GAA4G;gBAC5G,MAAM,CAAC;oBACL,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC;oBAC5B,SAAS,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,gBAAgB,CAAC;oBAC5C,OAAO,EAAE,uDAAuD;iBACjE,CAAC;gBACF,MAAM,CAAC;oBACL,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC;oBAC7C,OAAO,EAAE,+CAA+C;iBACzD,CAAC;aACH;YACD,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;SAC5C;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,2DAA2D;QACpE,MAAM,EAAE,CAAC,kFAAkF,CAAC;QAC5F,OAAO,EAAE,OAAO,CACd;YACE,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;YAC/G,MAAM,CAAC;gBACL,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;gBACnB,WAAW,EAAE,KAAK;gBAClB,OAAO,EAAE,iCAAiC;aAC3C,CAAC;SACH,EACD,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CACjD;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,CAAC,yDAAyD,CAAC;QACnE,OAAO,EAAE,OAAO,CAAC;YACf,MAAM,CAAC;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,CAAC,QAAQ,CAAC;gBACrB,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,sCAAsC;aAChD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,gDAAgD,EAAE,CAAC;YACtG,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC;SACtF,CAAC;KACH;IACD;QACE,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EAAE,CAAC,oDAAoD,CAAC;QAC9D,OAAO,EAAE,OAAO,CACd;YACE,MAAM,CAAC;gBACL,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,CAAC,OAAO,CAAC;gBACpB,OAAO,EAAE,0CAA0C;aACpD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC;SACxF,EACD,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CACjD;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,6DAA6D;QACtE,MAAM,EAAE,CAAC,sFAAsF,CAAC;QAChG,OAAO,EAAE,OAAO,CACd;YACE,MAAM,CAAC;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,OAAO;gBACb,mBAAmB,EAAE,IAAI;gBACzB,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,wCAAwC;aAClD,CAAC;YACF,MAAM,CAAC;gBACL,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC;gBAC7B,OAAO,EAAE,4EAA4E;aACtF,CAAC;YACF,MAAM,CAAC;gBACL,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC3B,WAAW,EAAE,KAAK;gBAClB,OAAO,EAAE,iCAAiC;aAC3C,CAAC;SACH,EACD,WAAW,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAC9B;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,oDAAoD;QAC7D,MAAM,EAAE;YACN,mFAAmF;YACnF,+CAA+C;SAChD;QACD,OAAO,EAAE;YACP,OAAO,EAAE;gBACP,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;gBAC1D,wGAAwG;gBACxG,8DAA8D;gBAC9D;oBACE,GAAG,IAAI;oBACP,MAAM,EAAE,kGAAkG;iBAC3G;gBACD,MAAM,CAAC;oBACL,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,SAAS;oBACtB,OAAO,EAAE,kCAAkC;iBAC5C,CAAC;gBACF,MAAM,CAAC;oBACL,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,QAAQ;oBACrB,OAAO,EAAE,gCAAgC;iBAC1C,CAAC;gBACF,MAAM,CAAC;oBACL,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,OAAO;oBACb,WAAW,EAAE,QAAQ;oBACrB,OAAO,EAAE,mDAAmD;iBAC7D,CAAC;gBACF,MAAM,CAAC;oBACL,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,SAAS;oBACf,eAAe,EAAE,IAAI;oBACrB,OAAO,EAAE,8CAA8C;iBACxD,CAAC;gBACF,MAAM,CAAC;oBACL,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,SAAS;oBACf,eAAe,EAAE,IAAI;oBACrB,OAAO,EAAE,gDAAgD;iBAC1D,CAAC;aACH;YACD,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;SACvC;KACF;IACD;QACE,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,CAAC,8DAA8D,CAAC;QACxE,OAAO,EAAE,OAAO,CAAC;YACf,MAAM,CAAC;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,wCAAwC;aAClD,CAAC;YACF,MAAM,CAAC;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,OAAO;gBACpB,OAAO,EAAE,iDAAiD;aAC3D,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAAC;SACrF,CAAC;KACH;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE;YACN,yEAAyE;YACzE,+DAA+D;YAC/D,uCAAuC;SACxC;QACD,OAAO,EAAE,OAAO,CACd;YACE,MAAM,CAAC;gBACL,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,OAAO;gBACb,mBAAmB,EAAE,IAAI;gBACzB,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,sCAAsC;aAChD,CAAC;YACF,QAAQ;YACR,MAAM,CAAC;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,0CAA0C;aACpD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC;YACjF,MAAM,CAAC;gBACL,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,sCAAsC;aAChD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;SAChG,EACD,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAC/C;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,uDAAuD;QAChE,MAAM,EAAE;YACN,yEAAyE;YACzE,sEAAsE;SACvE;QACD,OAAO,EAAE,OAAO,CACd;YACE,kGAAkG;YAClG,MAAM,CAAC;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,SAAS;gBACtB,OAAO,EAAE,yDAAyD;aACnE,CAAC;YACF,QAAQ;YACR,MAAM,CAAC;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,0CAA0C;aACpD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC;YACjF,MAAM,CAAC;gBACL,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,sCAAsC;aAChD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;SAChG,EACD,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CACxB;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,iDAAiD;QAC1D,MAAM,EAAE,CAAC,+DAA+D,CAAC;QACzE,OAAO,EAAE,OAAO,CACd;YACE,MAAM,CAAC;gBACL,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,sCAAsC;aAChD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;SAChG,EACD,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CACxB;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,0DAA0D;QACnE,MAAM,EAAE;YACN,kEAAkE;YAClE,yDAAyD;SAC1D;QACD,OAAO,EAAE,OAAO,CAAC;YACf,QAAQ;YACR,MAAM,CAAC;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,CAAC,SAAS,CAAC;gBACtB,WAAW,EAAE,QAAQ;gBACrB,OAAO,EAAE,0CAA0C;aACpD,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC;YACjF,MAAM,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;YAC3F,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;SAC5G,CAAC;KACH;IACD;QACE,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,kDAAkD;QAC3D,4GAA4G;QAC5G,MAAM,EAAE,CAAC,iDAAiD,CAAC;QAC3D,OAAO,EAAE,OAAO,CAAC;YACf,MAAM,CAAC;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC;gBACrC,OAAO,EAAE,yDAAyD;aACnE,CAAC;SACH,CAAC;KACH;IACD;QACE,qGAAqG;QACrG,mHAAmH;QACnH,kGAAkG;QAClG,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,kDAAkD;QAC3D,MAAM,EAAE;YACN,4FAA4F;YAC5F,6DAA6D;SAC9D;QACD,OAAO,EAAE,OAAO,CACd;YACE,MAAM,CAAC;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,CAAC,SAAS,CAAC;gBACtB,OAAO,EAAE,oDAAoD;aAC9D,CAAC;YACF,MAAM,CAAC;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,CAAC,SAAS,CAAC;gBACtB,OAAO,EAAE,oCAAoC;aAC9C,CAAC;YACF,MAAM,CAAC;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,YAAY;gBACzB,OAAO,EAAE,mDAAmD;aAC7D,CAAC;YACF,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;SAChG,EACD,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAC1B;KACF;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAS;IAC9D,GAAG,iBAAiB;IACpB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC1C,cAAc;IACd,QAAQ;IACR,IAAI;IACJ,WAAW;CACZ,CAAC,CAAC;AACH,6CAA6C;AAC7C,MAAM,CAAC,MAAM,eAAe,GAAG,wBAAwB,CAAC;AAExD,MAAM,CAAC,MAAM,YAAY,GAAsB,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAA2B,EAAE,CACpE,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;AAErD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,QAA2B,EAAE,KAAK,GAAG,CAAC;IACjF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE;QAChD,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QACzE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;gBACnC,OAAO,CAAC,IAAI,CACV,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpG,CAAC;YACJ,QAAQ,GAAG,OAAO,CAAC;QACrB,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,QAAQ;SACpB,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;SACpF,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;SAC/E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC5D,CAAC"}

package/dist/compile.d.ts

@@ -0,0 +1,39 @@
+import type { Context, Result } from './consumer.js';
+import type { Session } from './session.js';
+import type { Capabilities } from './render.js';
+type Admission = ReturnType<Session['admission']>;
+type Finding = Admission['findings'][number];
+export declare const DEFAULT_OUT = ".ia/work/compiled.json";
+export declare const ARTIFACT = "ia.compiled.v1";
+export interface CompileCounts {
+    readonly records: number;
+    readonly errors: number;
+    readonly warnings: number;
+    readonly notEvaluated: number;
+}
+export interface CompiledArtifact {
+    readonly formatVersion: 1;
+    readonly artifact: typeof ARTIFACT;
+    readonly language: string;
+    readonly kernelDigest: string;
+    readonly root: string;
+    readonly revision: string;
+    readonly records: readonly unknown[];
+    readonly diagnostics: readonly Finding[];
+    readonly counts: CompileCounts;
+}
+export interface CompileView {
+    readonly artifact: CompiledArtifact;
+    /** The exact bytes the artifact serializes to, so the file and the reported digest cannot disagree. */
+    readonly text: string;
+    readonly digest: string;
+}
+export declare function buildArtifact(root: string, session: Session): CompileView;
+export declare function collectCompile(root: string): CompileView;
+/** §2.4: the artifact is written even when the compilation produced errors; the exit class carries the verdict. */
+export declare const compileExit: (view: CompileView) => 0 | 1;
+export declare function compileEnvelope(view: CompileView, path: string): unknown;
+export declare function renderCompile(view: CompileView, path: string, caps: Capabilities): string;
+export declare function runCompile(context: Context): Result;
+export {};
+//# sourceMappingURL=compile.d.ts.map