@aid-framework/cli 0.0.0-stage → 0.1.39

package/dist/commands/init.js

@@ -0,0 +1,203 @@
+/**
+ * `aid init` — scaffold a project: a starter spec and a README.
+ *
+ * It does not generate. `aid gen` generates, and `--gen` is the convenience for the one
+ * thing a person types next; keeping the two apart is what makes "scaffold" and "compile"
+ * separately testable and separately re-runnable.
+ *
+ * Two deliberate refusals, because scaffolding is the command most likely to be pointed at
+ * a directory that already has something in it:
+ *
+ * - An existing spec is not overwritten without `--force`. That file is the project's
+ *   source of truth; replacing it silently is the worst thing this command could do.
+ * - An existing README is left exactly as it is, and reported as skipped -- under `--force`
+ *   too. A README is the file a directory is most likely to already have, its contents are
+ *   the author's, and `--force` here is usually aimed at the spec.
+ *
+ * `--from <spec>` imports a spec rather than copying one: the imported text has to lower to
+ * an IR and pass the gates before anything is written, so `aid init --from` cannot produce a
+ * project that `aid validate` immediately rejects.
+ */
+import { mkdirSync, writeFileSync } from 'node:fs';
+import { basename, join, resolve } from 'node:path';
+import { CLI_DIAGNOSTIC_CODES, cliError } from '../diagnostics.js';
+import { EXIT_FAILURE, EXIT_OK, EXIT_USAGE } from '../exit.js';
+import { outcome } from '../output.js';
+import { absolutePath, parentPath } from '../paths.js';
+import { lowerSpec, readSpec } from '../pipeline.js';
+import { resolveTarget, unknownTargetDiagnostic } from '../targets.js';
+import { generate } from './gen.js';
+/**
+ * Lower-case a directory name, keep only `[a-z0-9]`, and collapse every run of anything
+ * else into a single `-`.
+ *
+ * A loop rather than a regular expression on purpose: trimming with `/^-+|-+$/g` after
+ * collapsing is quadratic on a name that is mostly separators, and the directory name is
+ * input this command does not control. Emitting the separator only between two kept
+ * characters means the result can never begin or end with one, so no trim pass is needed.
+ */
+function slugify(name) {
+    let slug = '';
+    let separatorPending = false;
+    for (const character of name.toLowerCase()) {
+        if (!((character >= 'a' && character <= 'z') || (character >= '0' && character <= '9'))) {
+            separatorPending = true;
+            continue;
+        }
+        if (separatorPending && slug !== '')
+            slug += '-';
+        separatorPending = false;
+        slug += character;
+    }
+    return slug;
+}
+/**
+ * A `project.name` from a directory name. The spec's pattern is `^[a-z][a-z0-9-]{0,63}$`,
+ * and a directory called `My App` or `2024-prototype` is not a reason to fail `aid init`
+ * with a schema error about a field the caller never wrote.
+ */
+export function projectNameFor(directory) {
+    const slug = slugify(basename(directory)).slice(0, 64);
+    if (slug === '')
+        return 'app';
+    const first = slug.charAt(0);
+    return first >= 'a' && first <= 'z' ? slug : `app-${slug}`.slice(0, 64);
+}
+export function starterSpec(target, projectName) {
+    return [
+        'specVersion: "0.1"',
+        '',
+        '# This file is the source of truth: `aid gen` compiles it into app/generated/,',
+        '# `aid validate` checks it, and `aid eval` gates the behaviour it declares.',
+        'project:',
+        `  name: ${projectName}`,
+        '  targets:',
+        `    - ${target}`,
+        '',
+    ].join('\n');
+}
+function starterReadme(projectName, target) {
+    return [
+        `# ${projectName}`,
+        '',
+        `An AID Framework project targeting \`${target.name}\`. \`${target.specPath}\` is the source`,
+        'of truth: the types, prompts, tools, pipelines and evals the application is made of.',
+        '',
+        '```bash',
+        'aid validate        # parse the spec, reduce it to the IR, run every build-time gate',
+        'aid gen             # compile the spec and reconcile the tree with it',
+        'aid gen --dry-run   # report what would change, and write nothing',
+        'aid eval            # run the eval gate',
+        '```',
+        '',
+        `\`${target.generatedDir}/\` is owned by the generator: \`aid gen\` writes it, and refuses to`,
+        'overwrite it once you have edited it, keeping the rejected bytes beside the file.',
+        `\`${target.businessDir}/\` is yours: \`aid gen\` creates a file there once and never touches it`,
+        'again.',
+        '',
+    ].join('\n');
+}
+/**
+ * Create a file, reporting whether this call is the one that created it.
+ *
+ * The exclusive flag makes the create itself the existence check, so a file that appears
+ * between a probe and a write cannot be clobbered -- a check-then-act refusal is not a
+ * refusal. Returns `false` when the path already exists, and rethrows anything else.
+ */
+function createExclusively(path, data) {
+    try {
+        writeFileSync(path, data, { encoding: 'utf8', flag: 'wx' });
+        return true;
+    }
+    catch (error) {
+        if (isAlreadyExists(error))
+            return false;
+        throw error;
+    }
+}
+function isAlreadyExists(error) {
+    return (typeof error === 'object' && error !== null && error.code === 'EEXIST');
+}
+export function init(context, options) {
+    const command = 'init';
+    const target = resolveTarget(options.target);
+    if (target === undefined) {
+        return outcome({
+            command,
+            exitCode: EXIT_USAGE,
+            diagnostics: [unknownTargetDiagnostic(options.target ?? '')],
+        });
+    }
+    const root = options.dir === undefined ? context.cwd : resolve(context.cwd, options.dir);
+    const specPath = target.specPath;
+    const displayed = options.dir ?? '.';
+    const fields = { dir: displayed, target: target.name, spec: specPath };
+    const source = options.from === undefined
+        ? { ok: true, text: starterSpec(target.name, projectNameFor(root)) }
+        : readSpec(context, options.from);
+    if (!source.ok) {
+        return outcome({ command, exitCode: EXIT_FAILURE, fields, diagnostics: source.diagnostics });
+    }
+    // Checked against the path the spec will actually live at, so the diagnostics carry the
+    // file the reader will open rather than the one it was imported from.
+    const lowered = lowerSpec(source.text, specPath);
+    if (!lowered.ok) {
+        return outcome({ command, exitCode: EXIT_FAILURE, fields, diagnostics: lowered.diagnostics });
+    }
+    const specAbsolute = absolutePath(root, specPath);
+    const written = [];
+    const skipped = [];
+    mkdirSync(absolutePath(root, parentPath(specPath)), { recursive: true });
+    // Created exclusively so that "does it already exist" and "write it" are one syscall. The
+    // refusal holds even if the file appears between a check and a write, and no separate
+    // `existsSync` has to stay true for the guarantee to mean anything. `--force` is the one
+    // path meant to replace the file, so it writes normally; nothing else reaches the write.
+    if (!createExclusively(specAbsolute, source.text)) {
+        if (!options.force) {
+            return outcome({
+                command,
+                exitCode: EXIT_FAILURE,
+                fields,
+                diagnostics: [
+                    cliError({
+                        code: CLI_DIAGNOSTIC_CODES.refusingToOverwrite,
+                        message: `"${specPath}" already exists.`,
+                        path: [specPath],
+                        hint: 'Pass --force to overwrite it, or run `aid gen` to regenerate from the spec that is already there.',
+                    }),
+                ],
+            });
+        }
+        writeFileSync(specAbsolute, source.text, 'utf8');
+    }
+    written.push(specPath);
+    // A README is the one file written here whose contents are the caller's, so it is
+    // created once and then never replaced -- not even under `--force`, which is passed
+    // routinely just to overwrite a spec. Replacing prose a person wrote as a side effect
+    // of resetting a spec is not what `--force` was asked for.
+    const readmeAbsolute = join(root, 'README.md');
+    if (createExclusively(readmeAbsolute, starterReadme(projectNameFor(root), target))) {
+        written.push('README.md');
+    }
+    else {
+        skipped.push('README.md');
+    }
+    // The generation runs against the scaffolded project root, not the caller's working
+    // directory: `aid init sub/project --gen` must generate into `sub/project`.
+    const generation = options.gen
+        ? generate({ ...context, cwd: root }, { spec: specPath, target: target.name, dryRun: false, force: false })
+        : undefined;
+    const text = [
+        ...written.map((path) => `created ${path}`),
+        ...skipped.map((path) => `kept ${path} (already there; it is never replaced)`),
+        ...(generation === undefined ? ['next: aid validate, then aid gen'] : [generation.text]),
+    ].filter((line) => line !== '');
+    return outcome({
+        command,
+        exitCode: generation?.exitCode ?? EXIT_OK,
+        diagnostics: [...lowered.diagnostics, ...(generation?.diagnostics ?? [])],
+        text: text.join('\n'),
+        fields: { ...fields, written, skipped, generation: generation?.report ?? null },
+    });
+}
+//# sourceMappingURL=init.js.map

package/dist/commands/init.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init.js","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpD,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE/D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAUpC;;;;;;;;GAQG;AACH,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;YACxF,gBAAgB,GAAG,IAAI,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,IAAI,IAAI,KAAK,EAAE;YAAE,IAAI,IAAI,GAAG,CAAC;QACjD,gBAAgB,GAAG,KAAK,CAAC;QACzB,IAAI,IAAI,SAAS,CAAC;IACpB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,WAAmB;IAC7D,OAAO;QACL,oBAAoB;QACpB,EAAE;QACF,gFAAgF;QAChF,6EAA6E;QAC7E,UAAU;QACV,WAAW,WAAW,EAAE;QACxB,YAAY;QACZ,SAAS,MAAM,EAAE;QACjB,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,WAAmB,EAAE,MAAc;IACxD,OAAO;QACL,KAAK,WAAW,EAAE;QAClB,EAAE;QACF,wCAAwC,MAAM,CAAC,IAAI,SAAS,MAAM,CAAC,QAAQ,kBAAkB;QAC7F,sFAAsF;QACtF,EAAE;QACF,SAAS;QACT,sFAAsF;QACtF,uEAAuE;QACvE,mEAAmE;QACnE,yCAAyC;QACzC,KAAK;QACL,EAAE;QACF,KAAK,MAAM,CAAC,YAAY,sEAAsE;QAC9F,mFAAmF;QACnF,KAAK,MAAM,CAAC,WAAW,0EAA0E;QACjG,QAAQ;QACR,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,IAAY;IACnD,IAAI,CAAC;QACH,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,eAAe,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAA4B,CAAC,IAAI,KAAK,QAAQ,CAC/F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,OAAmB,EAAE,OAAoB;IAC5D,MAAM,OAAO,GAAG,MAAM,CAAC;IACvB,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC;YACb,OAAO;YACP,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;SAC7D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC;IACrC,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAEvE,MAAM,MAAM,GACV,OAAO,CAAC,IAAI,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAa,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE;QAC7E,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/F,CAAC;IAED,wFAAwF;IACxF,sEAAsE;IACtE,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzE,0FAA0F;IAC1F,sFAAsF;IACtF,yFAAyF;IACzF,yFAAyF;IACzF,IAAI,CAAC,iBAAiB,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACnB,OAAO,OAAO,CAAC;gBACb,OAAO;gBACP,QAAQ,EAAE,YAAY;gBACtB,MAAM;gBACN,WAAW,EAAE;oBACX,QAAQ,CAAC;wBACP,IAAI,EAAE,oBAAoB,CAAC,mBAAmB;wBAC9C,OAAO,EAAE,IAAI,QAAQ,mBAAmB;wBACxC,IAAI,EAAE,CAAC,QAAQ,CAAC;wBAChB,IAAI,EAAE,mGAAmG;qBAC1G,CAAC;iBACH;aACF,CAAC,CAAC;QACL,CAAC;QACD,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEvB,kFAAkF;IAClF,oFAAoF;IACpF,sFAAsF;IACtF,2DAA2D;IAC3D,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/C,IAAI,iBAAiB,CAAC,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACnF,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5B,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5B,CAAC;IAED,oFAAoF;IACpF,4EAA4E;IAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG;QAC5B,CAAC,CAAC,QAAQ,CACN,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EACzB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CACrE;QACH,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,IAAI,GAAG;QACX,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC;QAC3C,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,IAAI,wCAAwC,CAAC;QAC9E,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;KACzF,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;IAEhC,OAAO,OAAO,CAAC;QACb,OAAO;QACP,QAAQ,EAAE,UAAU,EAAE,QAAQ,IAAI,OAAO;QACzC,WAAW,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;QACzE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACrB,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,IAAI,IAAI,EAAE;KAChF,CAAC,CAAC;AACL,CAAC"}

package/dist/commands/validate.d.ts

@@ -0,0 +1,22 @@
+/**
+ * `aid validate` — parse the spec, reduce it to the IR, and run every build-time gate.
+ *
+ * This is the "is this spec buildable" question, asked without touching the tree and
+ * without asking the target to compile anything. It stops at the first stage that
+ * produced an error, because lowering a spec whose own schema did not validate reports a
+ * cascade of consequences of the first mistake and buries it. Warnings from the stages
+ * that did run are kept and printed: the eval-coverage gate warns by design, and a
+ * validation that swallowed warnings would make a deliberate signal invisible.
+ *
+ * `aid gen` asks the same question and then goes further, into the target's compiler and
+ * its plan. So a spec can pass `aid validate` and still fail `aid gen` -- that is the
+ * honest split, and it is why the two commands report their own stage rather than
+ * pretending to be one command with a flag.
+ */
+import type { CliContext } from '../context.js';
+import type { CommandOutcome } from '../output.js';
+export interface ValidateOptions {
+    readonly spec: string | undefined;
+}
+export declare function validate(context: CliContext, options: ValidateOptions): CommandOutcome;
+//# sourceMappingURL=validate.d.ts.map

package/dist/commands/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAKnD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,cAAc,CAmCtF"}

package/dist/commands/validate.js

@@ -0,0 +1,53 @@
+/**
+ * `aid validate` — parse the spec, reduce it to the IR, and run every build-time gate.
+ *
+ * This is the "is this spec buildable" question, asked without touching the tree and
+ * without asking the target to compile anything. It stops at the first stage that
+ * produced an error, because lowering a spec whose own schema did not validate reports a
+ * cascade of consequences of the first mistake and buries it. Warnings from the stages
+ * that did run are kept and printed: the eval-coverage gate warns by design, and a
+ * validation that swallowed warnings would make a deliberate signal invisible.
+ *
+ * `aid gen` asks the same question and then goes further, into the target's compiler and
+ * its plan. So a spec can pass `aid validate` and still fail `aid gen` -- that is the
+ * honest split, and it is why the two commands report their own stage rather than
+ * pretending to be one command with a flag.
+ */
+import { countBySeverity } from '@aid-framework/spec';
+import { EXIT_FAILURE, EXIT_OK } from '../exit.js';
+import { outcome } from '../output.js';
+import { lowerSpec, readSpec } from '../pipeline.js';
+import { DEFAULT_SPEC_PATH } from '../targets.js';
+export function validate(context, options) {
+    const command = 'validate';
+    const specPath = options.spec ?? DEFAULT_SPEC_PATH;
+    const read = readSpec(context, specPath);
+    if (!read.ok) {
+        return outcome({
+            command,
+            exitCode: EXIT_FAILURE,
+            fields: { spec: specPath },
+            diagnostics: read.diagnostics,
+        });
+    }
+    const lowered = lowerSpec(read.text, specPath);
+    const counts = countBySeverity(lowered.diagnostics);
+    const fields = { spec: specPath, counts };
+    if (!lowered.ok) {
+        return outcome({
+            command,
+            exitCode: EXIT_FAILURE,
+            fields,
+            diagnostics: lowered.diagnostics,
+            text: `${specPath}: ${counts.error} error(s), ${counts.warning} warning(s)`,
+        });
+    }
+    return outcome({
+        command,
+        exitCode: EXIT_OK,
+        fields,
+        diagnostics: lowered.diagnostics,
+        text: `${specPath}: ok (${counts.error} errors, ${counts.warning} warnings)`,
+    });
+}
+//# sourceMappingURL=validate.js.map

package/dist/commands/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAGtD,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAMlD,MAAM,UAAU,QAAQ,CAAC,OAAmB,EAAE,OAAwB;IACpE,MAAM,OAAO,GAAG,UAAU,CAAC;IAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,IAAI,iBAAiB,CAAC;IAEnD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,OAAO,CAAC;YACb,OAAO;YACP,QAAQ,EAAE,YAAY;YACtB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAE1C,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,OAAO,CAAC;YACb,OAAO;YACP,QAAQ,EAAE,YAAY;YACtB,MAAM;YACN,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,IAAI,EAAE,GAAG,QAAQ,KAAK,MAAM,CAAC,KAAK,cAAc,MAAM,CAAC,OAAO,aAAa;SAC5E,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;QACb,OAAO;QACP,QAAQ,EAAE,OAAO;QACjB,MAAM;QACN,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI,EAAE,GAAG,QAAQ,SAAS,MAAM,CAAC,KAAK,YAAY,MAAM,CAAC,OAAO,YAAY;KAC7E,CAAC,CAAC;AACL,CAAC"}

package/dist/context.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Everything the CLI touches outside of itself, behind one injectable object.
+ *
+ * A CLI is mostly side effects, and side effects are what makes a command hard to test.
+ * Naming them in one place keeps every command a pure function of its arguments and
+ * this context, so a test can run a whole command against a temporary directory and
+ * assert on what it printed, what it wrote, and what it exited with -- without a
+ * subprocess, and without a mock for the parts that are not I/O.
+ */
+export interface SpawnOptions {
+    readonly cwd: string;
+    /** `inherit` streams the child's output straight through; `pipe` captures it. */
+    readonly stdio: 'inherit' | 'pipe';
+    readonly env: Readonly<Record<string, string | undefined>>;
+    /** Written to the child's stdin, then closed. Used for the baseline recipe. */
+    readonly stdin?: string;
+}
+export interface SpawnResult {
+    /** The exit status, or `null` when the child never ran or died by signal. */
+    readonly status: number | null;
+    readonly stdout: string;
+    readonly stderr: string;
+    /** Set when the child could not be executed at all, such as a missing binary. */
+    readonly error?: Error;
+}
+export type Spawn = (command: string, args: readonly string[], options: SpawnOptions) => SpawnResult;
+export interface CliContext {
+    /** The project root: every repository-relative path resolves against this. */
+    readonly cwd: string;
+    readonly env: Readonly<Record<string, string | undefined>>;
+    readonly stdout: (text: string) => void;
+    readonly stderr: (text: string) => void;
+    readonly spawn: Spawn;
+}
+/** The real world: the process streams, the process environment, and real children. */
+export declare function createContext(overrides?: Partial<CliContext>): CliContext;
+//# sourceMappingURL=context.d.ts.map

package/dist/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC;IAC3D,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;CACxB;AAED,MAAM,MAAM,KAAK,GAAG,CAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,EAAE,YAAY,KAClB,WAAW,CAAC;AAEjB,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAkBD,uFAAuF;AACvF,wBAAgB,aAAa,CAAC,SAAS,GAAE,OAAO,CAAC,UAAU,CAAM,GAAG,UAAU,CAQ7E"}

package/dist/context.js

@@ -0,0 +1,36 @@
+/**
+ * Everything the CLI touches outside of itself, behind one injectable object.
+ *
+ * A CLI is mostly side effects, and side effects are what makes a command hard to test.
+ * Naming them in one place keeps every command a pure function of its arguments and
+ * this context, so a test can run a whole command against a temporary directory and
+ * assert on what it printed, what it wrote, and what it exited with -- without a
+ * subprocess, and without a mock for the parts that are not I/O.
+ */
+import { spawnSync } from 'node:child_process';
+function spawnWith(command, args, options) {
+    const result = spawnSync(command, [...args], {
+        cwd: options.cwd,
+        env: { ...options.env },
+        stdio: options.stdio === 'pipe' ? ['pipe', 'pipe', 'pipe'] : 'inherit',
+        encoding: 'utf8',
+        ...(options.stdin === undefined ? {} : { input: options.stdin }),
+    });
+    return {
+        status: result.status,
+        stdout: result.stdout ?? '',
+        stderr: result.stderr ?? '',
+        ...(result.error === undefined ? {} : { error: result.error }),
+    };
+}
+/** The real world: the process streams, the process environment, and real children. */
+export function createContext(overrides = {}) {
+    return {
+        cwd: overrides.cwd ?? process.cwd(),
+        env: overrides.env ?? process.env,
+        stdout: overrides.stdout ?? ((text) => process.stdout.write(text)),
+        stderr: overrides.stderr ?? ((text) => process.stderr.write(text)),
+        spawn: overrides.spawn ?? spawnWith,
+    };
+}
+//# sourceMappingURL=context.js.map

package/dist/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAmC/C,SAAS,SAAS,CAAC,OAAe,EAAE,IAAuB,EAAE,OAAqB;IAChF,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;QAC3C,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAuB;QAC5C,KAAK,EAAE,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QACtE,QAAQ,EAAE,MAAM;QAChB,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;KACjE,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;QAC3B,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,aAAa,CAAC,SAAS,GAAwB,EAAE;IAC/D,OAAO;QACL,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE;QACnC,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG;QACjC,MAAM,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1E,MAAM,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1E,KAAK,EAAE,SAAS,CAAC,KAAK,IAAI,SAAS;KACpC,CAAC;AACJ,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Diagnostics, the one currency every layer already speaks.
+ *
+ * `@aid-framework/spec` defines the shape and the renderer, and `@aid-framework/ir` and
+ * `@aid-framework/generator-sdk` re-declare the same shape nominally with their own closed code
+ * unions. The CLI reads all of them through the widened `Diagnostic<string>` view and
+ * renders them with the spec package's renderer: it renames no code, re-ranks no
+ * severity, and re-checks nothing a gate already decided.
+ *
+ * The codes below are the ones *this* layer originates -- a file that could not be
+ * read, a target that does not exist, a Python interpreter that is not there. They
+ * follow the same `<layer>/<slug>` convention so that a reader cannot tell which layer
+ * produced a code from its shape, which is the point.
+ */
+import type { Diagnostic } from '@aid-framework/spec';
+/** The shared diagnostic shape, widened over the code union. */
+export type CliDiagnostic = Diagnostic<string>;
+export declare const CLI_DIAGNOSTIC_CODES: {
+    readonly specUnreadable: 'cli/spec-unreadable';
+    readonly unknownTarget: 'cli/unknown-target';
+    readonly refusingToOverwrite: 'cli/refusing-to-overwrite';
+    readonly pythonMissing: 'cli/python-missing';
+    readonly suiteNotFound: 'cli/suite-not-found';
+    readonly evalModulesMissing: 'cli/eval-modules-missing';
+    readonly retrieverRequired: 'cli/retriever-required';
+    readonly retrieverConflict: 'cli/retriever-conflict';
+    readonly retrieverNotFound: 'cli/retriever-not-found';
+    readonly ingestModulesMissing: 'cli/ingest-modules-missing';
+    readonly runnerUnsupported: 'cli/runner-unsupported';
+    readonly runnerFailed: 'cli/runner-failed';
+    readonly runnerWarned: 'cli/runner-warned';
+};
+export type CliDiagnosticCode = (typeof CLI_DIAGNOSTIC_CODES)[keyof typeof CLI_DIAGNOSTIC_CODES];
+export interface CliDiagnosticInit {
+    readonly code: CliDiagnosticCode;
+    readonly message: string;
+    readonly path?: readonly string[];
+    readonly hint?: string;
+}
+export declare function cliError(init: CliDiagnosticInit): CliDiagnostic;
+export declare function cliWarning(init: CliDiagnosticInit): CliDiagnostic;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGtD,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAE/C,eAAO,MAAM,oBAAoB;aAC/B,cAAc,EAAE,qBAAqB;aACrC,aAAa,EAAE,oBAAoB;aACnC,mBAAmB,EAAE,2BAA2B;aAChD,aAAa,EAAE,oBAAoB;aACnC,aAAa,EAAE,qBAAqB;aACpC,kBAAkB,EAAE,0BAA0B;aAC9C,iBAAiB,EAAE,wBAAwB;aAC3C,iBAAiB,EAAE,wBAAwB;aAC3C,iBAAiB,EAAE,yBAAyB;aAC5C,oBAAoB,EAAE,4BAA4B;aAClD,iBAAiB,EAAE,wBAAwB;aAC3C,YAAY,EAAE,mBAAmB;aACjC,YAAY,EAAE,mBAAmB;CACzB,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,OAAO,oBAAoB,CAAC,CAAC;AAEjG,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAO/D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAOjE"}

package/dist/diagnostics.js

@@ -0,0 +1,47 @@
+/**
+ * Diagnostics, the one currency every layer already speaks.
+ *
+ * `@aid-framework/spec` defines the shape and the renderer, and `@aid-framework/ir` and
+ * `@aid-framework/generator-sdk` re-declare the same shape nominally with their own closed code
+ * unions. The CLI reads all of them through the widened `Diagnostic<string>` view and
+ * renders them with the spec package's renderer: it renames no code, re-ranks no
+ * severity, and re-checks nothing a gate already decided.
+ *
+ * The codes below are the ones *this* layer originates -- a file that could not be
+ * read, a target that does not exist, a Python interpreter that is not there. They
+ * follow the same `<layer>/<slug>` convention so that a reader cannot tell which layer
+ * produced a code from its shape, which is the point.
+ */
+import { errorDiagnostic, warningDiagnostic } from '@aid-framework/spec';
+export const CLI_DIAGNOSTIC_CODES = {
+    specUnreadable: 'cli/spec-unreadable',
+    unknownTarget: 'cli/unknown-target',
+    refusingToOverwrite: 'cli/refusing-to-overwrite',
+    pythonMissing: 'cli/python-missing',
+    suiteNotFound: 'cli/suite-not-found',
+    evalModulesMissing: 'cli/eval-modules-missing',
+    retrieverRequired: 'cli/retriever-required',
+    retrieverConflict: 'cli/retriever-conflict',
+    retrieverNotFound: 'cli/retriever-not-found',
+    ingestModulesMissing: 'cli/ingest-modules-missing',
+    runnerUnsupported: 'cli/runner-unsupported',
+    runnerFailed: 'cli/runner-failed',
+    runnerWarned: 'cli/runner-warned',
+};
+export function cliError(init) {
+    return errorDiagnostic({
+        code: init.code,
+        message: init.message,
+        path: init.path ?? [],
+        ...(init.hint === undefined ? {} : { hint: init.hint }),
+    });
+}
+export function cliWarning(init) {
+    return warningDiagnostic({
+        code: init.code,
+        message: init.message,
+        path: init.path ?? [],
+        ...(init.hint === undefined ? {} : { hint: init.hint }),
+    });
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAKzE,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,cAAc,EAAE,qBAAqB;IACrC,aAAa,EAAE,oBAAoB;IACnC,mBAAmB,EAAE,2BAA2B;IAChD,aAAa,EAAE,oBAAoB;IACnC,aAAa,EAAE,qBAAqB;IACpC,kBAAkB,EAAE,0BAA0B;IAC9C,iBAAiB,EAAE,wBAAwB;IAC3C,iBAAiB,EAAE,wBAAwB;IAC3C,iBAAiB,EAAE,yBAAyB;IAC5C,oBAAoB,EAAE,4BAA4B;IAClD,iBAAiB,EAAE,wBAAwB;IAC3C,YAAY,EAAE,mBAAmB;IACjC,YAAY,EAAE,mBAAmB;CACzB,CAAC;AAWX,MAAM,UAAU,QAAQ,CAAC,IAAuB;IAC9C,OAAO,eAAe,CAAC;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;QACrB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;KACxD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAuB;IAChD,OAAO,iBAAiB,CAAC;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;QACrB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;KACxD,CAAC,CAAC;AACL,CAAC"}

package/dist/exit.d.ts

@@ -0,0 +1,16 @@
+/**
+ * The CLI's exit-code taxonomy, which is a contract with CI rather than a convention.
+ *
+ * `0` means the command finished *and* the project is in the shape the command asked
+ * for; `1` means the command ran but the spec, a gate, the target's compiler or the
+ * working tree rejected it; `2` means the command line itself was wrong, or the CLI
+ * could not get far enough to judge the project at all. Nothing else is ever returned,
+ * and no command maps two different outcomes onto the same code.
+ */
+export declare const EXIT_OK = 0;
+/** The spec, the gates, the target's plan, or the working tree said no. */
+export declare const EXIT_FAILURE = 1;
+/** The invocation was wrong, or the CLI hit an internal failure. */
+export declare const EXIT_USAGE = 2;
+export type ExitCode = typeof EXIT_OK | typeof EXIT_FAILURE | typeof EXIT_USAGE;
+//# sourceMappingURL=exit.d.ts.map

package/dist/exit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exit.d.ts","sourceRoot":"","sources":["../src/exit.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,eAAO,MAAM,OAAO,IAAI,CAAC;AAEzB,2EAA2E;AAC3E,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B,oEAAoE;AACpE,eAAO,MAAM,UAAU,IAAI,CAAC;AAE5B,MAAM,MAAM,QAAQ,GAAG,OAAO,OAAO,GAAG,OAAO,YAAY,GAAG,OAAO,UAAU,CAAC"}

package/dist/exit.js

@@ -0,0 +1,15 @@
+/**
+ * The CLI's exit-code taxonomy, which is a contract with CI rather than a convention.
+ *
+ * `0` means the command finished *and* the project is in the shape the command asked
+ * for; `1` means the command ran but the spec, a gate, the target's compiler or the
+ * working tree rejected it; `2` means the command line itself was wrong, or the CLI
+ * could not get far enough to judge the project at all. Nothing else is ever returned,
+ * and no command maps two different outcomes onto the same code.
+ */
+export const EXIT_OK = 0;
+/** The spec, the gates, the target's plan, or the working tree said no. */
+export const EXIT_FAILURE = 1;
+/** The invocation was wrong, or the CLI hit an internal failure. */
+export const EXIT_USAGE = 2;
+//# sourceMappingURL=exit.js.map

package/dist/exit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exit.js","sourceRoot":"","sources":["../src/exit.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC;AAEzB,2EAA2E;AAC3E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AAE9B,oEAAoE;AACpE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,42 @@
+/**
+ * `@aid-framework/cli` - the `aid` command: init, validate, gen, ingest and eval.
+ *
+ * The CLI is glue. Every judgement it reports -- whether a spec parses, what the IR is,
+ * what a target can emit, which generated file was hand-edited, whether an eval regressed
+ * -- is made by a package below it, and this layer's job is to route arguments into those
+ * packages and their answers back out as text, JSON and an exit code. It reimplements no
+ * gate, no hash and no drift rule, because a second implementation of a rule is a defect:
+ * the two will disagree, and only one of them will be right.
+ *
+ * The layering is `spec <- ir <- generator-sdk <- generators <- cli`.
+ */
+export type { FlagSpec, ParsedArguments, ParseOutcome } from './args.js';
+export { booleanFlag, JSON_FLAG, parseArguments, valueFlag } from './args.js';
+export type { EvalOptions } from './commands/eval.js';
+export { evaluate } from './commands/eval.js';
+export type { GenerateOptions, GenerateSuccess } from './commands/gen.js';
+export { generate } from './commands/gen.js';
+export type { IngestOptions } from './commands/ingest.js';
+export { ingest } from './commands/ingest.js';
+export type { InitOptions } from './commands/init.js';
+export { init, projectNameFor, starterSpec } from './commands/init.js';
+export type { ValidateOptions } from './commands/validate.js';
+export { validate } from './commands/validate.js';
+export type { CliContext, Spawn, SpawnOptions, SpawnResult } from './context.js';
+export { createContext } from './context.js';
+export type { CliDiagnostic, CliDiagnosticCode, CliDiagnosticInit } from './diagnostics.js';
+export { CLI_DIAGNOSTIC_CODES, cliError, cliWarning } from './diagnostics.js';
+export type { ExitCode } from './exit.js';
+export { EXIT_FAILURE, EXIT_OK, EXIT_USAGE } from './exit.js';
+export { COMMANDS, run } from './main.js';
+export type { CommandOutcome, OutcomeInit } from './output.js';
+export { emit, outcome } from './output.js';
+export { absolutePath, parentPath } from './paths.js';
+export type { Compiled, CompileOutcome, Failed, Lowered, LowerOutcome, ManifestOutcome, ReadManifest, ReadSpec, } from './pipeline.js';
+export { compile, lowerSpec, provenanceFor, readManifest, readSpec } from './pipeline.js';
+export { discoverInterpreter, INTERPRETERS, interpreterCommand, invoke } from './python.js';
+export type { Target } from './targets.js';
+export { DEFAULT_SPEC_PATH, DEFAULT_TARGET, resolveTarget, TARGETS, targetCapabilities, targetNames, unknownTargetDiagnostic, } from './targets.js';
+export type { CommandSpec } from './usage.js';
+export { commandUsage, globalUsage } from './usage.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC9E,YAAY,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,YAAY,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACvE,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9E,YAAY,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC1C,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,QAAQ,EACR,cAAc,EACd,MAAM,EACN,OAAO,EACP,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,QAAQ,GACT,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC5F,YAAY,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,OAAO,EACP,kBAAkB,EAClB,WAAW,EACX,uBAAuB,GACxB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,29 @@
+/**
+ * `@aid-framework/cli` - the `aid` command: init, validate, gen, ingest and eval.
+ *
+ * The CLI is glue. Every judgement it reports -- whether a spec parses, what the IR is,
+ * what a target can emit, which generated file was hand-edited, whether an eval regressed
+ * -- is made by a package below it, and this layer's job is to route arguments into those
+ * packages and their answers back out as text, JSON and an exit code. It reimplements no
+ * gate, no hash and no drift rule, because a second implementation of a rule is a defect:
+ * the two will disagree, and only one of them will be right.
+ *
+ * The layering is `spec <- ir <- generator-sdk <- generators <- cli`.
+ */
+export { booleanFlag, JSON_FLAG, parseArguments, valueFlag } from './args.js';
+export { evaluate } from './commands/eval.js';
+export { generate } from './commands/gen.js';
+export { ingest } from './commands/ingest.js';
+export { init, projectNameFor, starterSpec } from './commands/init.js';
+export { validate } from './commands/validate.js';
+export { createContext } from './context.js';
+export { CLI_DIAGNOSTIC_CODES, cliError, cliWarning } from './diagnostics.js';
+export { EXIT_FAILURE, EXIT_OK, EXIT_USAGE } from './exit.js';
+export { COMMANDS, run } from './main.js';
+export { emit, outcome } from './output.js';
+export { absolutePath, parentPath } from './paths.js';
+export { compile, lowerSpec, provenanceFor, readManifest, readSpec } from './pipeline.js';
+export { discoverInterpreter, INTERPRETERS, interpreterCommand, invoke } from './python.js';
+export { DEFAULT_SPEC_PATH, DEFAULT_TARGET, resolveTarget, TARGETS, targetCapabilities, targetNames, unknownTargetDiagnostic, } from './targets.js';
+export { commandUsage, globalUsage } from './usage.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE9E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE9C,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEvE,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAElD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAWtD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE5F,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,OAAO,EACP,kBAAkB,EAClB,WAAW,EACX,uBAAuB,GACxB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC"}