@agentxm/client-core 0.1.6 → 0.3.1

package/dist/src/unstable/lint/catalog/workspace-accessor/test-state.d.ts

@@ -0,0 +1,65 @@
+/**
+ * In-memory `WorkspaceState` + accessor, used by fixture tests and the
+ * determinism harness (task 3c.19).
+ *
+ * Autofix `fix` methods return per-extension `Operation` intents (see
+ * `workspace/helpers/install-ops.ts`). The determinism harness applies those
+ * intents to a mutable `WorkspaceState` and re-runs the rule's `check` against
+ * a fresh `WorkspaceLintAccessor` backed by the updated state. The harness
+ * asserts zero findings from that rule post-apply — establishing the
+ * "apply(fix) + re-run(rule) === [] from that rule" determinism contract.
+ *
+ * The state model is intentionally minimal: just enough to satisfy the v1
+ * rule-body probes (settings, lockfile, exists, list, knownAgents,
+ * detectAgents, installedSkills, installedPacks). Fixtures declare their
+ * state in JSON; the harness applies `Operation` intents via a pure
+ * reducer.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { LockfileDocument, PackRuleContext, SettingsDocument, SkillRuleContext, WorkspaceLintAccessor } from "../../context.js";
+import type { AgentId } from "../../../agents/types.js";
+/**
+ * Mutable workspace state exercised by fixtures and the determinism harness.
+ *
+ * All fields start empty. Tests populate only what their rule needs; the
+ * harness applies per-extension Operations through `applyIntent`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface WorkspaceState {
+    /** Raw parsed `.axm/settings.json` (or `undefined` for missing file). */
+    settings: SettingsDocument | undefined;
+    /** Raw parsed `.axm/axm-lock.yaml` (or `undefined` for missing file). */
+    lockfile: LockfileDocument | undefined;
+    /** Workspace-relative posix paths the accessor treats as existing. */
+    existingPaths: Set<string>;
+    /** Writable paths (subset of existingPaths). */
+    writablePaths: Set<string>;
+    /** Map of parent-directory-relative posix path → immediate child names. */
+    listings: Map<string, Array<string>>;
+    /** Detected agent ids for `detectAgents("project")` at the current moment. */
+    detectedProjectAgents: Set<AgentId>;
+    /** Installed skills (project scope). */
+    installedSkills: ReadonlyArray<SkillRuleContext>;
+    /** Installed packs (project scope). */
+    installedPacks: ReadonlyArray<PackRuleContext>;
+}
+/**
+ * Factory returning an empty `WorkspaceState`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const emptyWorkspaceState: () => WorkspaceState;
+/**
+ * Build a `WorkspaceLintAccessor` backed by a mutable `WorkspaceState`.
+ *
+ * Reads are immediate — no concurrency. Calls return whatever the state
+ * currently holds, so the determinism harness can mutate state between
+ * `check` + `fix` + `check` without rebuilding the accessor.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const makeStateBackedWorkspaceLintAccessor: (state: WorkspaceState) => WorkspaceLintAccessor;
+//# sourceMappingURL=test-state.d.ts.map

package/dist/src/unstable/lint/catalog/workspace-accessor/test-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-state.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace-accessor/test-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,KAAK,EAGV,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAmB,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAOzE;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,yEAAyE;IACzE,QAAQ,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACvC,yEAAyE;IACzE,QAAQ,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACvC,sEAAsE;IACtE,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,gDAAgD;IAChD,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACrC,8EAA8E;IAC9E,qBAAqB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,wCAAwC;IACxC,eAAe,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACjD,uCAAuC;IACvC,cAAc,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CAChD;AAED;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,QAAO,cASrC,CAAC;AAMH;;;;;;;;GAQG;AACH,eAAO,MAAM,oCAAoC,GAC/C,OAAO,cAAc,KACpB,qBA6CD,CAAC"}

package/dist/src/unstable/lint/catalog/workspace-accessor/test-state.js

@@ -0,0 +1,95 @@
+/**
+ * In-memory `WorkspaceState` + accessor, used by fixture tests and the
+ * determinism harness (task 3c.19).
+ *
+ * Autofix `fix` methods return per-extension `Operation` intents (see
+ * `workspace/helpers/install-ops.ts`). The determinism harness applies those
+ * intents to a mutable `WorkspaceState` and re-runs the rule's `check` against
+ * a fresh `WorkspaceLintAccessor` backed by the updated state. The harness
+ * asserts zero findings from that rule post-apply — establishing the
+ * "apply(fix) + re-run(rule) === [] from that rule" determinism contract.
+ *
+ * The state model is intentionally minimal: just enough to satisfy the v1
+ * rule-body probes (settings, lockfile, exists, list, knownAgents,
+ * detectAgents, installedSkills, installedPacks). Fixtures declare their
+ * state in JSON; the harness applies `Operation` intents via a pure
+ * reducer.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { getAllAgents } from "../../../agents/registry.js";
+/**
+ * Factory returning an empty `WorkspaceState`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const emptyWorkspaceState = () => ({
+    settings: undefined,
+    lockfile: undefined,
+    existingPaths: new Set(),
+    writablePaths: new Set(),
+    listings: new Map(),
+    detectedProjectAgents: new Set(),
+    installedSkills: [],
+    installedPacks: [],
+});
+// -----------------------------------------------------------------------------
+// Test accessor
+// -----------------------------------------------------------------------------
+/**
+ * Build a `WorkspaceLintAccessor` backed by a mutable `WorkspaceState`.
+ *
+ * Reads are immediate — no concurrency. Calls return whatever the state
+ * currently holds, so the determinism harness can mutate state between
+ * `check` + `fix` + `check` without rebuilding the accessor.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const makeStateBackedWorkspaceLintAccessor = (state) => ({
+    settings: Effect.suspend(() => state.settings === undefined
+        ? Effect.fail({
+            _tag: "SettingsReadError",
+            message: "settings.json is missing",
+        })
+        : Effect.succeed(state.settings)),
+    lockfile: Effect.suspend(() => Effect.succeed(state.lockfile === undefined ? Option.none() : Option.some(state.lockfile))),
+    installedSkills: Effect.suspend(() => Effect.succeed(state.installedSkills)),
+    installedPacks: Effect.suspend(() => Effect.succeed(state.installedPacks)),
+    knownAgents: Effect.sync(() => getAllAgents()),
+    detectAgents: (scope) => Effect.suspend(() => {
+        if (scope !== "project") {
+            const empty = [];
+            return Effect.succeed(empty);
+        }
+        const detections = [];
+        for (const id of state.detectedProjectAgents) {
+            detections.push({ id, markerPath: `detected:${id}` });
+        }
+        return Effect.succeed(detections);
+    }),
+    exists: (path) => Effect.suspend(() => Effect.succeed(state.existingPaths.has(normalizePath(path)))),
+    isWritable: (path) => Effect.suspend(() => Effect.succeed(state.writablePaths.has(normalizePath(path)))),
+    list: (path) => Effect.suspend(() => {
+        const normalized = normalizePath(path);
+        const listing = state.listings.get(normalized);
+        if (listing === undefined) {
+            return Effect.fail({
+                _tag: "FileAccessError",
+                path,
+                reason: "read-error",
+                message: `no listing for path ${path}`,
+            });
+        }
+        return Effect.succeed([...listing]);
+    }),
+});
+const normalizePath = (input) => {
+    if (input === "" || input === "." || input === "./") {
+        return "";
+    }
+    return input.replace(/\\/g, "/").replace(/^\.\//, "");
+};
+//# sourceMappingURL=test-state.js.map

package/dist/src/unstable/lint/catalog/workspace-accessor/test-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-state.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace-accessor/test-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAWxC,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAiC3D;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAmB,EAAE,CAAC,CAAC;IACxD,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,qBAAqB,EAAE,IAAI,GAAG,EAAE;IAChC,eAAe,EAAE,EAAE;IACnB,cAAc,EAAE,EAAE;CACnB,CAAC,CAAC;AAEH,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,KAAqB,EACE,EAAE,CAAC,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAC5B,KAAK,CAAC,QAAQ,KAAK,SAAS;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAA4B;YAClC,OAAO,EAAE,0BAA0B;SACpC,CAAC;QACJ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CACnC;IACD,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAC5B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAC3F;IACD,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC5E,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC1E,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,GAAmC,EAAE,CAAC,YAAY,EAAE,CAAC;IAC9E,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CACtB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QAClB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,KAAK,GAAkC,EAAE,CAAC;YAChD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,MAAM,UAAU,GAA0B,EAAE,CAAC;QAC7C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC;IACJ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CACnB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QAClB,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,IAAI,CAAkB;gBAClC,IAAI,EAAE,iBAA0B;gBAChC,IAAI;gBACJ,MAAM,EAAE,YAAqB;gBAC7B,OAAO,EAAE,uBAAuB,IAAI,EAAE;aACvC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAwB,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC;CACL,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE;IAC9C,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACxD,CAAC,CAAC"}

package/dist/src/unstable/lint/catalog/workspace.d.ts

@@ -0,0 +1,47 @@
+/**
+ * `workspace/*` rule catalog — the v1 thirteen-rule set.
+ *
+ * Per `docs/design/lint-engine.md §10.workspace`, `axm lint` (locally only —
+ * never publish) runs exactly these rules against each workspace context:
+ *
+ * | ID                                      | Severity | Autofix     |
+ * | --------------------------------------- | -------- | ----------- |
+ * | `workspace/initialized`                 | error    | —           |
+ * | `workspace/settings-schema-valid`       | error    | —           |
+ * | `workspace/lockfile-valid`              | error    | autofixing  |
+ * | `workspace/agents-recognized`           | error    | —           |
+ * | `workspace/agents-detected-declared`    | warning  | —           |
+ * | `workspace/skills-declarations-valid`   | error    | —           |
+ * | `workspace/skills-lockfile-aligned`     | error    | autofixing  |
+ * | `workspace/skills-integrity-valid`      | error    | autofixing  |
+ * | `workspace/skills-artifacts-correct`    | error    | autofixing  |
+ * | `workspace/skills-artifacts-clean`      | error    | mixed       |
+ * | `workspace/packs-declarations-valid`    | error    | —           |
+ * | `workspace/packs-dependencies-resolved` | error    | —           |
+ * | `workspace/packs-members-retained`      | warning  | —           |
+ *
+ * Autofix rides per-extension Operations only (§6). No `editFile`,
+ * `writeFile`, or `syncWorkspace()` reference — arms whose remediation can't
+ * be expressed in the 14-operation vocabulary ship as `AdvisoryFinding` with a
+ * CLI suggestion instead.
+ *
+ * Rule ids are **registered with the lint config allowlist at module-load
+ * time**, so importing this catalog extends the set of accepted
+ * `.axm/settings.json` `lint.rules` keys.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { LintRule } from "../rule.js";
+import type { WorkspaceRuleContext } from "../context.js";
+/**
+ * Ordered v1 `workspace/*` rule catalog. Declaration order is the evaluation
+ * order within a single `evaluateContexts` call (deterministic ordering is
+ * test-observable; see `evaluate.ts`). The catalog groups foundation rules
+ * first, then the skills install family, then the packs install family — the
+ * same order the design doc tables list them in.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const workspaceRules: ReadonlyArray<LintRule<WorkspaceRuleContext>>;
+//# sourceMappingURL=workspace.d.ts.map

package/dist/src/unstable/lint/catalog/workspace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.d.ts","sourceRoot":"","sources":["../../../../../src/unstable/lint/catalog/workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAe1D;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAiBxE,CAAC"}

package/dist/src/unstable/lint/catalog/workspace.js

@@ -0,0 +1,80 @@
+/**
+ * `workspace/*` rule catalog — the v1 thirteen-rule set.
+ *
+ * Per `docs/design/lint-engine.md §10.workspace`, `axm lint` (locally only —
+ * never publish) runs exactly these rules against each workspace context:
+ *
+ * | ID                                      | Severity | Autofix     |
+ * | --------------------------------------- | -------- | ----------- |
+ * | `workspace/initialized`                 | error    | —           |
+ * | `workspace/settings-schema-valid`       | error    | —           |
+ * | `workspace/lockfile-valid`              | error    | autofixing  |
+ * | `workspace/agents-recognized`           | error    | —           |
+ * | `workspace/agents-detected-declared`    | warning  | —           |
+ * | `workspace/skills-declarations-valid`   | error    | —           |
+ * | `workspace/skills-lockfile-aligned`     | error    | autofixing  |
+ * | `workspace/skills-integrity-valid`      | error    | autofixing  |
+ * | `workspace/skills-artifacts-correct`    | error    | autofixing  |
+ * | `workspace/skills-artifacts-clean`      | error    | mixed       |
+ * | `workspace/packs-declarations-valid`    | error    | —           |
+ * | `workspace/packs-dependencies-resolved` | error    | —           |
+ * | `workspace/packs-members-retained`      | warning  | —           |
+ *
+ * Autofix rides per-extension Operations only (§6). No `editFile`,
+ * `writeFile`, or `syncWorkspace()` reference — arms whose remediation can't
+ * be expressed in the 14-operation vocabulary ship as `AdvisoryFinding` with a
+ * CLI suggestion instead.
+ *
+ * Rule ids are **registered with the lint config allowlist at module-load
+ * time**, so importing this catalog extends the set of accepted
+ * `.axm/settings.json` `lint.rules` keys.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import { registerLintRuleIds } from "../config.js";
+import { initializedRule } from "./workspace/initialized.js";
+import { settingsSchemaValidRule } from "./workspace/settings-schema-valid.js";
+import { lockfileValidRule } from "./workspace/lockfile-valid.js";
+import { agentsRecognizedRule } from "./workspace/agents-recognized.js";
+import { agentsDetectedDeclaredRule } from "./workspace/agents-detected-declared.js";
+import { skillsDeclarationsValidRule } from "./workspace/skills-declarations-valid.js";
+import { skillsLockfileAlignedRule } from "./workspace/skills-lockfile-aligned.js";
+import { skillsIntegrityValidRule } from "./workspace/skills-integrity-valid.js";
+import { skillsArtifactsCorrectRule } from "./workspace/skills-artifacts-correct.js";
+import { skillsArtifactsCleanRule } from "./workspace/skills-artifacts-clean.js";
+import { packsDeclarationsValidRule } from "./workspace/packs-declarations-valid.js";
+import { packsDependenciesResolvedRule } from "./workspace/packs-dependencies-resolved.js";
+import { packsMembersRetainedRule } from "./workspace/packs-members-retained.js";
+/**
+ * Ordered v1 `workspace/*` rule catalog. Declaration order is the evaluation
+ * order within a single `evaluateContexts` call (deterministic ordering is
+ * test-observable; see `evaluate.ts`). The catalog groups foundation rules
+ * first, then the skills install family, then the packs install family — the
+ * same order the design doc tables list them in.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const workspaceRules = [
+    // Foundation (type-agnostic workspace well-formedness).
+    initializedRule,
+    settingsSchemaValidRule,
+    lockfileValidRule,
+    agentsRecognizedRule,
+    agentsDetectedDeclaredRule,
+    // Skills install family (Settings ↔ Lockfile ↔ Disk).
+    skillsDeclarationsValidRule,
+    skillsLockfileAlignedRule,
+    skillsIntegrityValidRule,
+    skillsArtifactsCorrectRule,
+    skillsArtifactsCleanRule,
+    // Packs install family (Settings ↔ Lockfile).
+    packsDeclarationsValidRule,
+    packsDependenciesResolvedRule,
+    packsMembersRetainedRule,
+];
+// Register ids into the `LintConfig.rules` allowlist. Module-load side effect:
+// a consumer that imports this catalog (or the `catalog/index` barrel) enables
+// `.axm/settings.json` `lint.rules` to reference any of the above rule ids.
+registerLintRuleIds(workspaceRules.map((r) => r.id));
+//# sourceMappingURL=workspace.js.map

package/dist/src/unstable/lint/catalog/workspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.js","sourceRoot":"","sources":["../../../../../src/unstable/lint/catalog/workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAGnD,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAC3F,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AAEjF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAkD;IAC3E,wDAAwD;IACxD,eAAe;IACf,uBAAuB;IACvB,iBAAiB;IACjB,oBAAoB;IACpB,0BAA0B;IAC1B,sDAAsD;IACtD,2BAA2B;IAC3B,yBAAyB;IACzB,wBAAwB;IACxB,0BAA0B;IAC1B,wBAAwB;IACxB,8CAA8C;IAC9C,0BAA0B;IAC1B,6BAA6B;IAC7B,wBAAwB;CACzB,CAAC;AAEF,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,mBAAmB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/src/unstable/lint/cli.d.ts

@@ -0,0 +1,297 @@
+/**
+ * Lint runner — the reusable core of `axm lint`.
+ *
+ * The `axm lint` CLI command file is a thin surface over flag parsing and
+ * rendering; the logic that evaluates rule catalogs, renders findings, detects
+ * publish-gate drift, and (under `--fix`) composes the autofix plan lives in
+ * this module.
+ *
+ * Phase 5 entry points (see `openspec/changes/add-lint-engine/tasks.md`):
+ *
+ * - {@link evaluateAllCatalogs}         — concurrent evaluation of the three
+ *   v1 rule catalogs against pre-built contexts.
+ * - {@link summarizeEvaluations}        — group, count, and derive the exit
+ *   category from raw `Evaluated<*>` lists.
+ * - {@link detectPublishGateDrift}      — compute whether the configured
+ *   `LintConfig` weakens any `skill/*` / `pack/*` platform-default-`error`
+ *   rule (task 5.7).
+ * - {@link renderFindingsText}          — finding-first human renderer (task
+ *   5.6).
+ * - {@link toLintJsonDocument}          — `--json` document shape (task 5.6).
+ * - {@link resolveLintExitCategory}     — exit-code contract evaluator (task
+ *   5.9).
+ *
+ * Lint-intent → canonical `Operation` adapter composition happens in the CLI
+ * handler (`packages/cli/src/root/lint/handler.ts`), which re-resolves each
+ * intent's `source` via the `resolveConfigured*` helpers and hands the
+ * resulting canonical Operation to the per-extension plan-step builder. The
+ * runner here stays accessor-free.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import type { LintConfig } from "./config.js";
+import { platformCanonicalLintConfig } from "./config.js";
+import type { Evaluated } from "./evaluate.js";
+import type { PackRuleContext, SkillRuleContext, WorkspaceRuleContext } from "./context.js";
+import type { AutofixingRule, LintFinding, Severity } from "./rule.js";
+/**
+ * A single finding annotated with the context that produced it.
+ *
+ * `displayRoot` carries the context's rendering root; `path` is the
+ * pre-composed display path for the finding so consumers (text / JSON /
+ * summary logs) don't re-derive it.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface RenderedFinding {
+    readonly group: "skill" | "pack" | "workspace";
+    readonly displayRoot: string;
+    readonly path: string;
+    readonly finding: LintFinding;
+}
+/**
+ * Per-group evaluation result. The raw `Evaluated<*>` list is retained so
+ * downstream consumers (render, JSON emitter, `collectFixOperations`) can
+ * walk evaluations without re-running rules.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface GroupEvaluations {
+    readonly skills: ReadonlyArray<Evaluated<SkillRuleContext>>;
+    readonly packs: ReadonlyArray<Evaluated<PackRuleContext>>;
+    readonly workspace: ReadonlyArray<Evaluated<WorkspaceRuleContext>>;
+}
+/**
+ * Aggregate counts across all emitted findings.
+ *
+ * `total` === `errors + warnings + infos` — info findings participate in
+ * rendering and in the JSON envelope, but never influence exit code.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface FindingCounts {
+    readonly total: number;
+    readonly errors: number;
+    readonly warnings: number;
+    readonly infos: number;
+}
+/**
+ * Possible exit-code categories for `axm lint`.
+ *
+ * - `"clean"` — zero findings, or only info-severity findings; zero exit.
+ * - `"warnings"` — at least one warning, no errors; non-zero only when
+ *   `--strict` is set (see {@link resolveLintExitCategory}).
+ * - `"errors"` — at least one error; non-zero exit regardless of flags.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export type LintExitCategory = "clean" | "warnings" | "errors";
+/**
+ * Build the three v1 evaluation groups concurrently.
+ *
+ * The evaluator is a pure `Effect.Effect<ReadonlyArray<Evaluated<C>>>`; this
+ * helper simply hands the three catalogs to `Effect.all` with unbounded
+ * concurrency so catalog evaluations run in parallel but findings stay in
+ * stable catalog order inside each group.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const evaluateAllCatalogs: (args: {
+    readonly skillContexts: ReadonlyArray<SkillRuleContext>;
+    readonly packContexts: ReadonlyArray<PackRuleContext>;
+    readonly workspaceContext: WorkspaceRuleContext;
+    readonly config: LintConfig;
+}) => Effect.Effect<GroupEvaluations>;
+/**
+ * Flatten a {@link GroupEvaluations} triple into a single `RenderedFinding[]`
+ * in stable group-then-catalog order.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const collectRenderedFindings: (evaluations: GroupEvaluations) => ReadonlyArray<RenderedFinding>;
+/**
+ * Count findings by severity across every group.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const countFindings: (findings: ReadonlyArray<RenderedFinding>) => FindingCounts;
+/**
+ * Aggregated summary — counts + derived exit category — computed from a
+ * {@link GroupEvaluations} triple.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface LintSummary {
+    readonly findings: ReadonlyArray<RenderedFinding>;
+    readonly counts: FindingCounts;
+    readonly exitCategory: LintExitCategory;
+    readonly driftBanner: ReadonlyArray<string>;
+}
+/**
+ * Derive a full {@link LintSummary} (findings, counts, exit category, drift
+ * banner rule ids) from raw evaluations + the configured severity overrides.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const summarizeEvaluations: (evaluations: GroupEvaluations, config: LintConfig) => LintSummary;
+/**
+ * Translate a {@link LintExitCategory} + `--strict` into the exit-code
+ * policy.
+ *
+ * | Category     | --strict=false | --strict=true |
+ * | ------------ | -------------- | ------------- |
+ * | `"clean"`    | `0`            | `0`           |
+ * | `"warnings"` | `0`            | non-zero      |
+ * | `"errors"`   | non-zero       | non-zero      |
+ *
+ * The return value is a discriminated enum; the CLI handler maps the `"fail"`
+ * branch to its platform exit-code primitive.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const resolveLintExitCategory: (args: {
+    readonly category: LintExitCategory;
+    readonly strict: boolean;
+}) => "success" | "fail";
+/**
+ * Identify every configured `lint.rules` entry that weakens a platform-canonical
+ * `error`-severity `skill/*` or `pack/*` rule.
+ *
+ * The publish gate runs the `skill/*` and `pack/*` catalogs against
+ * {@link platformCanonicalLintConfig}; any workspace override that lowers a
+ * rule in those namespaces from `error` to `off | info | warn` creates a
+ * publish-gate divergence the user should know about (they'll see `error`
+ * findings from the registry that don't appear locally).
+ *
+ * Workspace-only rule weakenings (`workspace/*`) do NOT trigger the banner —
+ * those never reach publish.
+ *
+ * Returns the rule ids that trigger the banner, in catalog order, so the
+ * renderer can produce stable deterministic output.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const detectPublishGateDrift: (config: LintConfig) => ReadonlyArray<string>;
+/**
+ * Input for the human text renderer.
+ *
+ * The `fixSummary` slot is reserved for the trailing `--fix` summary line
+ * (populated after `applyPlan` completes). When `undefined`, no summary is
+ * rendered — the read-only `axm lint` run.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface RenderFindingsArgs {
+    readonly summary: LintSummary;
+    readonly fixSummary?: FixSummary;
+}
+/**
+ * Outcome of a `--fix` run; used by the renderer and the JSON emitter.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface FixSummary {
+    readonly attempted: number;
+    readonly applied: number;
+    readonly failed: number;
+    readonly warnings: ReadonlyArray<string>;
+}
+/**
+ * Render a finding-first human text report.
+ *
+ * Output shape (one line per entry, grouped first by context type then by
+ * severity within each group):
+ *
+ *     DRIFT: The registry will still block publish on these rules:
+ *       - skill/manifest-schema-valid
+ *
+ *     WORKSPACE
+ *       [error] workspace/lockfile-valid  axm-lock.yaml is missing.  ./axm-lock.yaml
+ *       [warning] workspace/...  ...
+ *
+ *     SKILLS
+ *       [error] ...
+ *
+ *     Summary: 2 errors, 1 warning.
+ *     Applied 3 fixes; 1 warning surfaced from applyPlan.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const renderFindingsText: (args: RenderFindingsArgs) => ReadonlyArray<string>;
+/**
+ * JSON-renderable finding entry used by the `--json` document.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface LintJsonFinding {
+    readonly group: "skill" | "pack" | "workspace";
+    readonly kind: "autofixable" | "advisory";
+    readonly ruleId: string;
+    readonly severity: Severity;
+    readonly message: string;
+    readonly displayRoot: string;
+    readonly path: string;
+    readonly location?: {
+        readonly file: string;
+        readonly line?: number;
+        readonly column?: number;
+    };
+    readonly suggestions: ReadonlyArray<string>;
+}
+/**
+ * JSON envelope shape returned under `axm lint --json`.
+ *
+ * Mirrors the design doc §9 envelope for the CLI and matches the registry
+ * publish failure envelope structure (`findings[]`, `displayRoot` per entry,
+ * per-finding `path` pre-composed). `--fix` runs add a `fix` summary block.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface LintJsonDocument {
+    readonly findings: ReadonlyArray<LintJsonFinding>;
+    readonly summary: {
+        readonly total: number;
+        readonly errors: number;
+        readonly warnings: number;
+        readonly infos: number;
+        readonly exitCategory: LintExitCategory;
+    };
+    readonly driftBanner: ReadonlyArray<string>;
+    readonly fix?: {
+        readonly attempted: number;
+        readonly applied: number;
+        readonly failed: number;
+        readonly warnings: ReadonlyArray<string>;
+    };
+}
+/**
+ * Build the `--json` document from a {@link LintSummary} (+ optional fix
+ * summary).
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const toLintJsonDocument: (args: {
+    readonly summary: LintSummary;
+    readonly fixSummary?: FixSummary;
+}) => LintJsonDocument;
+/**
+ * Walk workspace evaluations (the only v1 namespace that ships
+ * `AutofixingRule`s) and return the set of `(rule, finding, context)` triples
+ * the CLI handler can dispatch on to produce canonical Operations.
+ *
+ * The returned triples point at the already-evaluated `AutofixableFinding`
+ * values so the renderer and the fix pipeline share a single source of truth.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const collectAutofixableEntries: (evaluations: GroupEvaluations) => ReadonlyArray<{
+    readonly rule: AutofixingRule<WorkspaceRuleContext>;
+    readonly context: WorkspaceRuleContext;
+    readonly finding: LintFinding & {
+        readonly kind: "autofixable";
+    };
+}>;
+export { platformCanonicalLintConfig };
+//# sourceMappingURL=cli.d.ts.map

package/dist/src/unstable/lint/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../../../src/unstable/lint/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAC5F,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAOvE;;;;;;;;GAQG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC/B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;CACpE;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAM/D;;;;;;;;;GASG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM;IACxC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACxD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACtD,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B,KAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAW9B,CAAC;AAqCL;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,aAAa,gBAAgB,KAC5B,aAAa,CAAC,eAAe,CAI/B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,UAAU,aAAa,CAAC,eAAe,CAAC,KAAG,aAkBxE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAC/B,aAAa,gBAAgB,EAC7B,QAAQ,UAAU,KACjB,WASF,CAAC;AAgBF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM;IAC5C,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,KAAG,SAAS,GAAG,MASf,CAAC;AAMF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ,UAAU,KAAG,aAAa,CAAC,MAAM,CA8B/E,CAAC;AAMF;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC1C;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,kBAAkB,KAAG,aAAa,CAAC,MAAM,CAoDjF,CAAC;AAyBF;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,UAAU,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;KACzC,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,GAAG,CAAC,EAAE;QACb,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KAC1C,CAAC;CACH;AA0BD;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM;IACvC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,KAAG,gBAyBH,CAAC;AAMF;;;;;;;;;GASG;AACH,eAAO,MAAM,yBAAyB,GACpC,aAAa,gBAAgB,KAC5B,aAAa,CAAC;IACf,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,oBAAoB,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;KAAE,CAAC;CAClE,CAiBA,CAAC;AAMF,OAAO,EAAE,2BAA2B,EAAE,CAAC"}