@agentxm/client-core 0.2.0 → 0.3.1

package/dist/src/unstable/lint/catalog/workspace/packs-declarations-valid.js

@@ -0,0 +1,145 @@
+/**
+ * `workspace/packs-declarations-valid` — declared packs name a resolvable,
+ * owner-qualified, unique source.
+ *
+ * Mirrors `workspace/skills-declarations-valid` against the packs map:
+ *
+ * 1. Source resolvability — pack source is not a bare name.
+ * 2. Owner qualification — registry-shaped pack sources carry `@owner/`.
+ * 3. Duplicate FQNs — two settings entries normalize to the same FQN.
+ *
+ * One finding per affected entity. Advisory.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import { SettingsSchema } from "../../../settings/schema.js";
+import { parseRegistrySource } from "./helpers/registry-source.js";
+import { EMPTY_ADVISORY_FINDINGS } from "./helpers/empty.js";
+const RULE_ID = "workspace/packs-declarations-valid";
+const SETTINGS_REL = ".axm/settings.json";
+const BARE_NAME_RE = /^[a-z0-9][a-z0-9-]*(?:@[^\s/:]+)?$/i;
+const NON_REGISTRY_MARKERS = [
+    /^\.\//,
+    /^\.\.\//,
+    /^\//,
+    /^file:\/\//,
+    /:\/\//,
+    /^[a-z][a-z0-9+.-]*:/i,
+];
+const isClearlyNonRegistrySource = (source) => NON_REGISTRY_MARKERS.some((pattern) => pattern.test(source));
+const decodeSettings = (input) => {
+    const result = Schema.decodeUnknownResult(SettingsSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+const categorizeEntry = (name, source) => {
+    const parsed = parseRegistrySource(source);
+    if (parsed !== undefined) {
+        return {
+            name,
+            source,
+            kind: "registry",
+            registryFqn: `${parsed.owner}/${parsed.type}/${parsed.name}`,
+        };
+    }
+    if (isClearlyNonRegistrySource(source)) {
+        // Packs must use registry sources per the extensions-installed doctor
+        // rule; an unqualified non-registry source surfaces as an error.
+        return { name, source, kind: "non-registry" };
+    }
+    if (BARE_NAME_RE.test(source)) {
+        return { name, source, kind: "bare" };
+    }
+    return { name, source, kind: "registry-no-owner" };
+};
+const bareNameFinding = (entry) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Pack '${entry.name}' has a bare-name source '${entry.source}'.`,
+    suggestions: [`Rewrite the source as @owner/packs/${entry.name}.`],
+    location: { file: SETTINGS_REL },
+});
+const nonRegistryFinding = (entry) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Pack '${entry.name}' must use a registry source; got '${entry.source}'.`,
+    suggestions: [`Rewrite the source as @owner/packs/${entry.name} pointing to a known registry.`],
+    location: { file: SETTINGS_REL },
+});
+const missingOwnerFinding = (entry) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Pack '${entry.name}' has a registry-shaped source '${entry.source}' missing the @owner prefix.`,
+    suggestions: [`Rewrite the source as @owner/packs/${entry.name}.`],
+    location: { file: SETTINGS_REL },
+});
+const duplicateFinding = (entry, duplicates) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Pack '${entry.name}' resolves to a registry FQN declared more than once: ${duplicates.join(", ")}.`,
+    suggestions: [`Remove duplicate entries and keep one per FQN.`],
+    location: { file: SETTINGS_REL },
+});
+export const packsDeclarationsValidRule = {
+    id: RULE_ID,
+    description: "Declared packs name a resolvable, owner-qualified, unique source.",
+    kind: "advisory",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        const settingsResult = yield* Effect.result(context.workspace.settings);
+        if (Result.isFailure(settingsResult)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const decoded = decodeSettings(settingsResult.success);
+        if (Option.isNone(decoded)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const packs = decoded.value.packs ?? {};
+        const entries = Object.entries(packs).map(([name, entry]) => categorizeEntry(name, entry.source));
+        const byFqn = new Map();
+        for (const entry of entries) {
+            if (entry.kind === "registry" && entry.registryFqn !== undefined) {
+                const group = byFqn.get(entry.registryFqn) ?? [];
+                group.push(entry);
+                byFqn.set(entry.registryFqn, group);
+            }
+        }
+        const findings = [];
+        for (const entry of entries) {
+            switch (entry.kind) {
+                case "bare":
+                    findings.push(bareNameFinding(entry));
+                    break;
+                case "non-registry":
+                    findings.push(nonRegistryFinding(entry));
+                    break;
+                case "registry-no-owner":
+                    findings.push(missingOwnerFinding(entry));
+                    break;
+                case "registry": {
+                    if (entry.registryFqn === undefined) {
+                        break;
+                    }
+                    const group = byFqn.get(entry.registryFqn) ?? [];
+                    if (group.length > 1) {
+                        findings.push(duplicateFinding(entry, group.map((g) => g.name).sort()));
+                    }
+                    break;
+                }
+            }
+        }
+        return findings;
+    }),
+};
+//# sourceMappingURL=packs-declarations-valid.js.map

package/dist/src/unstable/lint/catalog/workspace/packs-declarations-valid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"packs-declarations-valid.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/packs-declarations-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,OAAO,GAAG,oCAAoC,CAAC;AACrD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,YAAY,GAAG,qCAAqC,CAAC;AAC3D,MAAM,oBAAoB,GAAG;IAC3B,OAAO;IACP,SAAS;IACT,KAAK;IACL,YAAY;IACZ,OAAO;IACP,sBAAsB;CACvB,CAAC;AACF,MAAM,0BAA0B,GAAG,CAAC,MAAc,EAAW,EAAE,CAC7D,oBAAoB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAE/D,MAAM,cAAc,GAAG,CAAC,KAAc,EAA2B,EAAE;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,KAAK,EAAE;QAC/D,gBAAgB,EAAE,QAAQ;QAC1B,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC,CAAC;AASF,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,MAAc,EAAe,EAAE;IACpE,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;YACL,IAAI;YACJ,MAAM;YACN,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;SAC7D,CAAC;IACJ,CAAC;IACD,IAAI,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,sEAAsE;QACtE,iEAAiE;QACjE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IAChD,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAkB,EAAmB,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,6BAA6B,KAAK,CAAC,MAAM,IAAI;IACzE,WAAW,EAAE,CAAC,sCAAsC,KAAK,CAAC,IAAI,GAAG,CAAC;IAClE,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC,KAAkB,EAAmB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,sCAAsC,KAAK,CAAC,MAAM,IAAI;IAClF,WAAW,EAAE,CAAC,sCAAsC,KAAK,CAAC,IAAI,gCAAgC,CAAC;IAC/F,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,KAAkB,EAAmB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,mCAAmC,KAAK,CAAC,MAAM,8BAA8B;IACzG,WAAW,EAAE,CAAC,sCAAsC,KAAK,CAAC,IAAI,GAAG,CAAC;IAClE,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CACvB,KAAkB,EAClB,UAAiC,EAChB,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,yDAAyD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;IAC7G,WAAW,EAAE,CAAC,gDAAgD,CAAC;IAC/D,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAuC;IAC5E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,mEAAmE;IAChF,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YACrC,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,OAAO,GAA+B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CACtF,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CACpC,CAAC;QAEF,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;QACpD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACjE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,MAAM;oBACT,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;oBACtC,MAAM;gBACR,KAAK,cAAc;oBACjB,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;oBACzC,MAAM;gBACR,KAAK,mBAAmB;oBACtB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC1C,MAAM;gBACR,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;wBACpC,MAAM;oBACR,CAAC;oBACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;oBACjD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACrB,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBAC1E,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;CACL,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/packs-dependencies-resolved.d.ts

@@ -0,0 +1,17 @@
+/**
+ * `workspace/packs-dependencies-resolved` — every pack-declared dependency
+ * FQN is installed.
+ *
+ * For each `RegistryExtensionPackLockEntry`, every FQN appearing in
+ * `resolvedSkills`, `resolvedCommands`, `resolvedMcpServers`, or
+ * `resolvedSubagents` has a matching installed member lock entry.
+ *
+ * One finding per missing dependency (per-entity cascade). Advisory.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { WorkspaceRuleContext } from "../../context.js";
+import type { AdvisoryRule } from "../../rule.js";
+export declare const packsDependenciesResolvedRule: AdvisoryRule<WorkspaceRuleContext>;
+//# sourceMappingURL=packs-dependencies-resolved.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/packs-dependencies-resolved.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"packs-dependencies-resolved.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/packs-dependencies-resolved.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAmB,YAAY,EAAE,MAAM,eAAe,CAAC;AA2FnE,eAAO,MAAM,6BAA6B,EAAE,YAAY,CAAC,oBAAoB,CAkC5E,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/packs-dependencies-resolved.js

@@ -0,0 +1,107 @@
+/**
+ * `workspace/packs-dependencies-resolved` — every pack-declared dependency
+ * FQN is installed.
+ *
+ * For each `RegistryExtensionPackLockEntry`, every FQN appearing in
+ * `resolvedSkills`, `resolvedCommands`, `resolvedMcpServers`, or
+ * `resolvedSubagents` has a matching installed member lock entry.
+ *
+ * One finding per missing dependency (per-entity cascade). Advisory.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import { LockfileSchema, } from "../../../lockfile/schema.js";
+import { EMPTY_ADVISORY_FINDINGS } from "./helpers/empty.js";
+const RULE_ID = "workspace/packs-dependencies-resolved";
+const LOCKFILE_REL = ".axm/axm-lock.yaml";
+const decodeLockfile = (input) => {
+    const result = Schema.decodeUnknownResult(LockfileSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+const isRecord = (entry) => typeof entry === "object" && entry !== null;
+const isRegistryFragment = (entry) => {
+    if (!isRecord(entry)) {
+        return false;
+    }
+    return (entry["type"] === "registry" &&
+        typeof entry["owner"] === "string" &&
+        typeof entry["name"] === "string");
+};
+const buildInstalledFqnIndex = (lockfile) => {
+    const set = new Set();
+    const absorb = (typeSegment, map) => {
+        if (map === undefined) {
+            return;
+        }
+        for (const entry of Object.values(map)) {
+            if (isRegistryFragment(entry)) {
+                set.add(`${entry.owner}/${typeSegment}/${entry.name}`);
+            }
+        }
+    };
+    absorb("skills", lockfile.skills);
+    absorb("commands", lockfile.commands);
+    absorb("subagents", lockfile.subagents);
+    absorb("mcp-servers", lockfile.mcpServers);
+    return set;
+};
+const missingDependencyFinding = (packName, dependencyFqn, dependencyType) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Pack '${packName}' declares ${dependencyType} dependency '${dependencyFqn}' which is not installed.`,
+    suggestions: [
+        `Install the missing ${dependencyType} '${dependencyFqn}'.`,
+        `Remove the pack declaration that introduces '${dependencyFqn}'.`,
+    ],
+    location: { file: LOCKFILE_REL },
+});
+const collectResolved = (entry) => [
+    ...Object.keys(entry.resolvedSkills).map((fqn) => ({ fqn, typeSegment: "skills" })),
+    ...Object.keys(entry.resolvedCommands).map((fqn) => ({ fqn, typeSegment: "commands" })),
+    ...Object.keys(entry.resolvedSubagents).map((fqn) => ({ fqn, typeSegment: "subagents" })),
+    ...Object.keys(entry.resolvedMcpServers).map((fqn) => ({ fqn, typeSegment: "mcp-servers" })),
+];
+export const packsDependenciesResolvedRule = {
+    id: RULE_ID,
+    description: "Every pack-declared dependency FQN is installed.",
+    kind: "advisory",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        const lockfileResult = yield* Effect.result(context.workspace.lockfile);
+        if (Result.isFailure(lockfileResult)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const lockOption = lockfileResult.success;
+        if (Option.isNone(lockOption)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const decoded = decodeLockfile(lockOption.value);
+        if (Option.isNone(decoded)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const packLock = decoded.value.packs ?? {};
+        if (Object.keys(packLock).length === 0) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const installed = buildInstalledFqnIndex(decoded.value);
+        const findings = [];
+        for (const [packName, packEntry] of Object.entries(packLock)) {
+            for (const { fqn, typeSegment } of collectResolved(packEntry)) {
+                if (!installed.has(fqn)) {
+                    findings.push(missingDependencyFinding(packName, fqn, typeSegment));
+                }
+            }
+        }
+        return findings;
+    }),
+};
+//# sourceMappingURL=packs-dependencies-resolved.js.map

package/dist/src/unstable/lint/catalog/workspace/packs-dependencies-resolved.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"packs-dependencies-resolved.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/packs-dependencies-resolved.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EACL,cAAc,GAGf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,OAAO,GAAG,uCAAuC,CAAC;AACxD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,cAAc,GAAG,CAAC,KAAc,EAA2B,EAAE;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,KAAK,EAAE;QAC/D,gBAAgB,EAAE,QAAQ;QAC1B,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC,CAAC;AAaF,MAAM,QAAQ,GAAG,CAAC,KAAc,EAA8C,EAAE,CAC9E,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC;AAE9C,MAAM,kBAAkB,GAAG,CAAC,KAAc,EAAkC,EAAE;IAC5E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,KAAK,CAAC,MAAM,CAAC,KAAK,UAAU;QAC5B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,QAAQ;QAClC,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,QAAkB,EAAuB,EAAE;IACzE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,MAAM,GAAG,CACb,WAAmB,EACnB,GAAkD,EAC5C,EAAE;QACR,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO;QACT,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,IAAI,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EAChB,aAAqB,EACrB,cAAsB,EACL,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,SAAS,QAAQ,cAAc,cAAc,gBAAgB,aAAa,2BAA2B;IAC9G,WAAW,EAAE;QACX,uBAAuB,cAAc,KAAK,aAAa,IAAI;QAC3D,gDAAgD,aAAa,IAAI;KAClE;IACD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CACtB,KAA6B,EAC0C,EAAE,CAAC;IAC1E,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnF,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;IACvF,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IACzF,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;CAC7F,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAuC;IAC/E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,kDAAkD;IAC/D,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YACrC,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,SAAS,GAAG,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,KAAK,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC9D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxB,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;CACL,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/packs-members-retained.d.ts

@@ -0,0 +1,22 @@
+/**
+ * `workspace/packs-members-retained` — every member lock entry with
+ * `retainedByPack: true` is declared by an installed pack.
+ *
+ * For each member lock entry (skill, command, subagent, mcp-server) where
+ * `retainedByPack === true` AND the member is not directly declared in
+ * settings, at least one installed pack's lock entry lists the member's
+ * FQN in the appropriate resolved map. Entries directly declared in
+ * settings are exempt (covered by per-type declarations rules).
+ *
+ * Rule body walks every member lock entry type — not just skills — so
+ * adding non-skill install families in v1.5+ is test-surface-only.
+ *
+ * One finding per affected entity. Advisory, warning.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { WorkspaceRuleContext } from "../../context.js";
+import type { AdvisoryRule } from "../../rule.js";
+export declare const packsMembersRetainedRule: AdvisoryRule<WorkspaceRuleContext>;
+//# sourceMappingURL=packs-members-retained.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/packs-members-retained.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"packs-members-retained.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/packs-members-retained.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAmB,YAAY,EAAE,MAAM,eAAe,CAAC;AAkInE,eAAO,MAAM,wBAAwB,EAAE,YAAY,CAAC,oBAAoB,CA0CvE,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/packs-members-retained.js

@@ -0,0 +1,163 @@
+/**
+ * `workspace/packs-members-retained` — every member lock entry with
+ * `retainedByPack: true` is declared by an installed pack.
+ *
+ * For each member lock entry (skill, command, subagent, mcp-server) where
+ * `retainedByPack === true` AND the member is not directly declared in
+ * settings, at least one installed pack's lock entry lists the member's
+ * FQN in the appropriate resolved map. Entries directly declared in
+ * settings are exempt (covered by per-type declarations rules).
+ *
+ * Rule body walks every member lock entry type — not just skills — so
+ * adding non-skill install families in v1.5+ is test-surface-only.
+ *
+ * One finding per affected entity. Advisory, warning.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import { LockfileSchema, } from "../../../lockfile/schema.js";
+import { SettingsSchema } from "../../../settings/schema.js";
+import { EMPTY_ADVISORY_FINDINGS } from "./helpers/empty.js";
+const RULE_ID = "workspace/packs-members-retained";
+const LOCKFILE_REL = ".axm/axm-lock.yaml";
+const decodeSettings = (input) => {
+    const result = Schema.decodeUnknownResult(SettingsSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+const decodeLockfile = (input) => {
+    const result = Schema.decodeUnknownResult(LockfileSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+const entryFqn = (entry, name, typeSegment) => {
+    if (entry.type !== "registry") {
+        // Non-registry lock entries don't carry an owner-qualified FQN. We
+        // conservatively exclude them: retention applies only to registry-ish
+        // pack dependencies.
+        return undefined;
+    }
+    const owner = entry.owner;
+    const regName = entry.name;
+    return `${owner}/${typeSegment}/${regName}`;
+};
+const buildPackRetainedFqns = (lockfile) => {
+    const declared = new Set();
+    const packs = lockfile.packs ?? {};
+    for (const entry of Object.values(packs)) {
+        for (const fqn of Object.keys(entry.resolvedSkills)) {
+            declared.add(fqn);
+        }
+        for (const fqn of Object.keys(entry.resolvedCommands)) {
+            declared.add(fqn);
+        }
+        for (const fqn of Object.keys(entry.resolvedSubagents)) {
+            declared.add(fqn);
+        }
+        for (const fqn of Object.keys(entry.resolvedMcpServers)) {
+            declared.add(fqn);
+        }
+    }
+    return declared;
+};
+const droppedFinding = (memberType, name, fqn) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "warning",
+    message: `${memberType} '${name}'${fqn === undefined ? "" : ` (FQN ${fqn})`} is retained by a pack but no installed pack declares it.`,
+    suggestions: [
+        `Declare '${name}' directly in settings.${memberType === "mcp-server" ? "mcpServers" : `${memberType}s`}.`,
+        `Uninstall '${name}' if the owning pack is no longer installed.`,
+    ],
+    location: { file: LOCKFILE_REL },
+});
+const collectMembers = (lockfile) => {
+    const result = [];
+    for (const [name, entry] of Object.entries(lockfile.skills)) {
+        result.push({ memberType: "skill", name, entry });
+    }
+    for (const [name, entry] of Object.entries(lockfile.commands ?? {})) {
+        result.push({ memberType: "command", name, entry });
+    }
+    for (const [name, entry] of Object.entries(lockfile.subagents ?? {})) {
+        result.push({ memberType: "subagent", name, entry });
+    }
+    for (const [name, entry] of Object.entries(lockfile.mcpServers ?? {})) {
+        result.push({ memberType: "mcp-server", name, entry });
+    }
+    return result;
+};
+const isDirectlyDeclared = (member, settings) => {
+    switch (member.memberType) {
+        case "skill":
+            return member.name in (settings.skills ?? {});
+        case "command":
+            return member.name in (settings.commands ?? {});
+        case "subagent":
+            return member.name in (settings.subagents ?? {});
+        case "mcp-server":
+            return member.name in (settings.mcpServers ?? {});
+    }
+};
+const typeSegment = (memberType) => {
+    switch (memberType) {
+        case "skill":
+            return "skills";
+        case "command":
+            return "commands";
+        case "subagent":
+            return "subagents";
+        case "mcp-server":
+            return "mcp-servers";
+    }
+};
+export const packsMembersRetainedRule = {
+    id: RULE_ID,
+    description: "Every member lock entry with retainedByPack is declared by an installed pack.",
+    kind: "advisory",
+    severity: "warning",
+    check: (context) => Effect.gen(function* () {
+        const settingsResult = yield* Effect.result(context.workspace.settings);
+        const lockfileResult = yield* Effect.result(context.workspace.lockfile);
+        if (Result.isFailure(settingsResult) || Result.isFailure(lockfileResult)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const settings = decodeSettings(settingsResult.success);
+        if (Option.isNone(settings)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const lockOption = lockfileResult.success;
+        if (Option.isNone(lockOption)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const lockfile = decodeLockfile(lockOption.value);
+        if (Option.isNone(lockfile)) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const retainedByPacks = buildPackRetainedFqns(lockfile.value);
+        const findings = [];
+        for (const member of collectMembers(lockfile.value)) {
+            if (member.entry.retainedByPack !== true) {
+                continue;
+            }
+            if (isDirectlyDeclared(member, settings.value)) {
+                continue;
+            }
+            const fqn = entryFqn(member.entry, member.name, typeSegment(member.memberType));
+            if (fqn === undefined || !retainedByPacks.has(fqn)) {
+                findings.push(droppedFinding(member.memberType, member.name, fqn));
+            }
+        }
+        return findings;
+    }),
+};
+//# sourceMappingURL=packs-members-retained.js.map

package/dist/src/unstable/lint/catalog/workspace/packs-members-retained.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"packs-members-retained.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/packs-members-retained.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EACL,cAAc,GAMf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,cAAc,GAAG,CAAC,KAAc,EAA2B,EAAE;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,KAAK,EAAE;QAC/D,gBAAgB,EAAE,QAAQ;QAC1B,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,KAAc,EAA2B,EAAE;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,KAAK,EAAE;QAC/D,gBAAgB,EAAE,QAAQ;QAC1B,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC,CAAC;AAIF,MAAM,QAAQ,GAAG,CAAC,KAAqB,EAAE,IAAY,EAAE,WAAmB,EAAsB,EAAE;IAChG,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,mEAAmE;QACnE,sEAAsE;QACtE,qBAAqB;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,OAAO,GAAG,KAAK,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,QAAkB,EAAuB,EAAE;IACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YACpD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACtD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,IAAY,EACZ,GAAuB,EACN,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,SAAS;IACnB,OAAO,EAAE,GAAG,UAAU,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,2DAA2D;IACtI,WAAW,EAAE;QACX,YAAY,IAAI,0BAA0B,UAAU,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,GAAG;QAC1G,cAAc,IAAI,8CAA8C;KACjE;IACD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAQH,MAAM,cAAc,GAAG,CAAC,QAAkB,EAA8B,EAAE;IACxE,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,MAAmB,EAAE,QAAkB,EAAW,EAAE;IAC9E,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1B,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAChD,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAClD,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACnD,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,UAAqC,EAAU,EAAE;IACpE,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC;QACpB,KAAK,UAAU;YACb,OAAO,WAAW,CAAC;QACrB,KAAK,YAAY;YACf,OAAO,aAAa,CAAC;IACzB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAuC;IAC1E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,+EAA+E;IAC5F,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxE,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YACzE,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,uBAAuB,CAAC;QACjC,CAAC;QAED,MAAM,eAAe,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAE5C,KAAK,MAAM,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,IAAI,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;gBACzC,SAAS;YACX,CAAC;YACD,IAAI,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/C,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YAChF,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;CACL,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/settings-schema-valid.d.ts

@@ -0,0 +1,28 @@
+/**
+ * `workspace/settings-schema-valid` — `.axm/settings.json` conforms to
+ * `SettingsSchema`.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace`:
+ *
+ * 1. `.axm/settings.json` is present (`workspace/initialized` owns the
+ *    absence arm; this rule early-returns when the file is missing).
+ * 2. The file parses as JSON (the accessor surfaces parse failures via
+ *    `SettingsReadError`; we emit one finding per read failure).
+ * 3. The parsed value is a JSON object (not an array or scalar) — enforced
+ *    by `Schema.decodeUnknownResult(SettingsSchema)` structurally.
+ * 4. `Schema.decodeUnknownResult(SettingsSchema)` with
+ *    `onExcessProperty: "ignore"` succeeds; `ParseResult` issues map 1:1 to
+ *    findings via `schemaDecodeFindings`.
+ *
+ * Reports the read-failure finding when arm 2 fails; otherwise reports the
+ * schema issues produced by arm 3/4. The design doc notes the unknown-key
+ * companion (`workspace/settings-keys-recognized`) defers to v1.5+ — this
+ * rule keeps schema validity as a single error-severity invariant.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { WorkspaceRuleContext } from "../../context.js";
+import type { AdvisoryRule } from "../../rule.js";
+export declare const settingsSchemaValidRule: AdvisoryRule<WorkspaceRuleContext>;
+//# sourceMappingURL=settings-schema-valid.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/settings-schema-valid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"settings-schema-valid.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/settings-schema-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAQlD,eAAO,MAAM,uBAAuB,EAAE,YAAY,CAAC,oBAAoB,CA2CtE,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/settings-schema-valid.js

@@ -0,0 +1,67 @@
+/**
+ * `workspace/settings-schema-valid` — `.axm/settings.json` conforms to
+ * `SettingsSchema`.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace`:
+ *
+ * 1. `.axm/settings.json` is present (`workspace/initialized` owns the
+ *    absence arm; this rule early-returns when the file is missing).
+ * 2. The file parses as JSON (the accessor surfaces parse failures via
+ *    `SettingsReadError`; we emit one finding per read failure).
+ * 3. The parsed value is a JSON object (not an array or scalar) — enforced
+ *    by `Schema.decodeUnknownResult(SettingsSchema)` structurally.
+ * 4. `Schema.decodeUnknownResult(SettingsSchema)` with
+ *    `onExcessProperty: "ignore"` succeeds; `ParseResult` issues map 1:1 to
+ *    findings via `schemaDecodeFindings`.
+ *
+ * Reports the read-failure finding when arm 2 fails; otherwise reports the
+ * schema issues produced by arm 3/4. The design doc notes the unknown-key
+ * companion (`workspace/settings-keys-recognized`) defers to v1.5+ — this
+ * rule keeps schema validity as a single error-severity invariant.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import * as Result from "effect/Result";
+import { SettingsSchema } from "../../../settings/schema.js";
+import { schemaDecodeFindings } from "../shared/schema-rule.js";
+import { EMPTY_ADVISORY_FINDINGS } from "./helpers/empty.js";
+const RULE_ID = "workspace/settings-schema-valid";
+const SETTINGS_REL = ".axm/settings.json";
+export const settingsSchemaValidRule = {
+    id: RULE_ID,
+    description: ".axm/settings.json parses and conforms to SettingsSchema.",
+    kind: "advisory",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        // Early-return when settings.json is absent; workspace/initialized owns
+        // that arm so a fresh workspace surfaces exactly one finding.
+        const exists = yield* context.workspace.exists(SETTINGS_REL);
+        if (!exists) {
+            return EMPTY_ADVISORY_FINDINGS;
+        }
+        const read = yield* Effect.result(context.workspace.settings);
+        if (Result.isFailure(read)) {
+            const error = read.failure;
+            return [
+                {
+                    kind: "advisory",
+                    ruleId: RULE_ID,
+                    severity: "error",
+                    message: `Could not read settings.json: ${error.message}`,
+                    suggestions: [
+                        "Fix the JSON syntax error reported at the location above.",
+                        "Verify .axm/settings.json is valid JSON (quoted keys, no trailing commas).",
+                    ],
+                    location: { file: SETTINGS_REL },
+                },
+            ];
+        }
+        // The accessor returns the raw parsed JSON value; we run the schema
+        // decode here so issues surface 1:1 as findings.
+        const decodedFindings = yield* schemaDecodeFindings(RULE_ID, "error", SETTINGS_REL, SettingsSchema, read.success);
+        return decodedFindings;
+    }),
+};
+//# sourceMappingURL=settings-schema-valid.js.map

package/dist/src/unstable/lint/catalog/workspace/settings-schema-valid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settings-schema-valid.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/settings-schema-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,OAAO,GAAG,iCAAiC,CAAC;AAClD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,CAAC,MAAM,uBAAuB,GAAuC;IACzE,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,2DAA2D;IACxE,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,wEAAwE;QACxE,8DAA8D;QAC9D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,uBAAuB,CAAC;QACjC,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;YAC3B,OAAO;gBACL;oBACE,IAAI,EAAE,UAAmB;oBACzB,MAAM,EAAE,OAAO;oBACf,QAAQ,EAAE,OAAgB;oBAC1B,OAAO,EAAE,iCAAiC,KAAK,CAAC,OAAO,EAAE;oBACzD,WAAW,EAAE;wBACX,2DAA2D;wBAC3D,4EAA4E;qBAC7E;oBACD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;iBACjC;aACF,CAAC;QACJ,CAAC;QAED,oEAAoE;QACpE,iDAAiD;QACjD,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACjD,OAAO,EACP,OAAO,EACP,YAAY,EACZ,cAAc,EACd,IAAI,CAAC,OAAO,CACb,CAAC;QACF,OAAO,eAAe,CAAC;IACzB,CAAC,CAAC;CACL,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/skills-artifacts-clean.d.ts

@@ -0,0 +1,30 @@
+/**
+ * `workspace/skills-artifacts-clean` — skill artifacts on disk are live,
+ * declared, and canonically named.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace.Skills` (first
+ * failing arm per affected entity):
+ *
+ * - **Dangling** (autofixing) — an artifact exists in a declared agent's
+ *   skills dir but the canonical source under `.axm/extensions/.../src/`
+ *   is missing. Autofix: `install-skill` with `force: true`.
+ * - **Stale** (advisory) — an artifact exists in a declared agent's skills
+ *   dir whose name doesn't correspond to any declared enabled skill. No
+ *   pre-sync Operation applies (the artifact isn't axm-owned after the
+ *   skill is no longer declared); emit an advisory CLI suggestion.
+ * - **Name-mismatch** (advisory) — an artifact exists with a name that
+ *   doesn't match the sanitized declared skill name (legacy casing,
+ *   pre-sanitization). Emit an advisory CLI suggestion.
+ *
+ * Listing per-agent skill targets uses `context.workspace.list(...)`.
+ *
+ * The rule emits at most one finding per artifact — cascade resolves per
+ * filesystem entry.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { WorkspaceRuleContext } from "../../context.js";
+import type { AutofixingRule } from "../../rule.js";
+export declare const skillsArtifactsCleanRule: AutofixingRule<WorkspaceRuleContext>;
+//# sourceMappingURL=skills-artifacts-clean.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/skills-artifacts-clean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills-artifacts-clean.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-artifacts-clean.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAGV,cAAc,EAEf,MAAM,eAAe,CAAC;AAwHvB,eAAO,MAAM,wBAAwB,EAAE,cAAc,CAAC,oBAAoB,CAoHzE,CAAC"}