@agentxm/client-core 0.2.0 → 0.3.1

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

@@ -0,0 +1,232 @@
+/**
+ * `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 * 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 { installSkillOp } from "./helpers/install-ops.js";
+import { parseRegistrySource } from "./helpers/registry-source.js";
+import { EMPTY_LINT_FINDINGS, EMPTY_OPERATIONS } from "./helpers/empty.js";
+const RULE_ID = "workspace/skills-artifacts-clean";
+const SUG_REINSTALL_PREFIX = "Reinstall skill ";
+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();
+};
+/**
+ * Names of skills retained by at least one installed declared pack. These
+ * skill artifacts are valid even though the skill isn't in `settings.skills`.
+ */
+const buildRetainedSkillNames = (settings, lockfile) => {
+    const declaredPackNames = new Set(Object.keys(settings.packs ?? {}));
+    const names = new Set();
+    const packLock = lockfile.packs ?? {};
+    for (const [packName, packEntry] of Object.entries(packLock)) {
+        if (!declaredPackNames.has(packName)) {
+            continue;
+        }
+        for (const fqn of Object.keys(packEntry.resolvedSkills)) {
+            // FQN is `@owner/skills/<name>`; last segment is the skill name.
+            const parts = fqn.split("/");
+            const last = parts[parts.length - 1];
+            if (last !== undefined) {
+                names.add(last);
+            }
+        }
+    }
+    // Also add lockfile-level skills with retainedByPack=true so accessor
+    // round-trips work even when the pack resolved map misnames them.
+    for (const [name, entry] of Object.entries(lockfile.skills)) {
+        if (entry.retainedByPack === true) {
+            names.add(name);
+        }
+    }
+    return names;
+};
+// Very narrow sanitization: lowercase, replace underscores with hyphens.
+// The authoritative sanitizer lives at axm extensions/utils.ts#sanitizeName;
+// v1 lint checks for exact match and surfaces any divergence as a
+// name-mismatch advisory arm.
+const isCanonicallyNamed = (artifact, declared) => artifact === declared;
+const danglingFinding = (name, agentId) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Agent '${agentId}' has a dangling artifact for skill '${name}' (canonical source missing).`,
+    suggestions: [`${SUG_REINSTALL_PREFIX}'${name}' to re-materialize canonical source.`],
+    location: { file: `${agentId}/skills/${name}` },
+});
+const staleFinding = (name, agentId) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Agent '${agentId}' has a stale skill artifact '${name}' not backed by any declaration.`,
+    suggestions: [
+        `Remove the stale artifact manually if you no longer need skill '${name}'.`,
+        `Add '${name}' to settings.skills if it should be declared.`,
+    ],
+    location: { file: `${agentId}/skills/${name}` },
+});
+const nameMismatchFinding = (agentId, artifact, expected) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Agent '${agentId}' has skill artifact '${artifact}' that doesn't match the sanitized name '${expected}'.`,
+    suggestions: [
+        `Remove '${artifact}' and reinstall to regenerate under the canonical name '${expected}'.`,
+    ],
+    location: { file: `${agentId}/skills/${artifact}` },
+});
+const NAME_FROM_SUGGESTION_RE = /'([^']+)'/;
+const extractSkillName = (suggestion) => NAME_FROM_SUGGESTION_RE.exec(suggestion)?.[1];
+/**
+ * Build candidate canonical `SKILL.md` probe paths for `name`, trying the
+ * settings-declared registry owner first (if any) and the external layout
+ * as a fallback. Non-registry sources fall through to the external probe.
+ */
+const canonicalSrcProbesForName = (name, settings) => {
+    const entry = settings.skills?.[name];
+    const parsed = entry === undefined ? undefined : parseRegistrySource(entry.source);
+    const probes = [];
+    if (parsed !== undefined) {
+        probes.push(`.axm/extensions/${parsed.owner}/skills/${name}/src/SKILL.md`);
+    }
+    probes.push(`.axm/extensions/external/skills/${name}/SKILL.md`);
+    return probes;
+};
+export const skillsArtifactsCleanRule = {
+    id: RULE_ID,
+    description: "Skill artifacts on disk are live, declared, and canonically named.",
+    kind: "autofixing",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        const settingsResult = yield* Effect.result(context.workspace.settings);
+        if (Result.isFailure(settingsResult)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const settings = decodeSettings(settingsResult.success);
+        if (Option.isNone(settings)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const declaredAgentIds = new Set(settings.value.agents ?? []);
+        if (declaredAgentIds.size === 0) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const knownAgents = yield* context.workspace.knownAgents;
+        const declaredAgents = knownAgents.filter((a) => declaredAgentIds.has(a.id));
+        const declaredSkills = settings.value.skills ?? {};
+        const declaredEnabledNames = new Set(Object.entries(declaredSkills)
+            .filter(([, v]) => v.enabled)
+            .map(([k]) => k));
+        // Pull in pack-retained skill names from the lockfile so retained
+        // artifacts aren't mis-classified as stale.
+        const lockfileResult = yield* Effect.result(context.workspace.lockfile);
+        const retainedNames = Result.isSuccess(lockfileResult)
+            ? Option.match(lockfileResult.success, {
+                onNone: () => new Set(),
+                onSome: (raw) => Option.match(decodeLockfile(raw), {
+                    onNone: () => new Set(),
+                    onSome: (lock) => buildRetainedSkillNames(settings.value, lock),
+                }),
+            })
+            : new Set();
+        const findings = [];
+        for (const agent of declaredAgents) {
+            const listResult = yield* Effect.result(context.workspace.list(agent.skills.dir));
+            if (Result.isFailure(listResult)) {
+                // Directory doesn't exist or isn't readable. Not an artifact-clean
+                // issue — the corresponding enabled arm surfaces missing dirs.
+                continue;
+            }
+            const artifacts = listResult.success;
+            for (const artifact of artifacts) {
+                // Retention carve-out: pack-retained skill artifacts are valid
+                // even when not in settings.skills.
+                if (retainedNames.has(artifact)) {
+                    continue;
+                }
+                // Cascade first-failure per artifact.
+                // Arm 1: dangling — artifact links back to a declared skill name
+                // but canonical src is missing.
+                if (declaredEnabledNames.has(artifact)) {
+                    const probes = canonicalSrcProbesForName(artifact, settings.value);
+                    const probeResults = yield* Effect.all(probes.map((probe) => context.workspace.exists(probe)), { concurrency: "unbounded" });
+                    if (probeResults.every((exists) => !exists)) {
+                        findings.push(danglingFinding(artifact, agent.id));
+                        continue;
+                    }
+                    continue;
+                }
+                // Arm 2/3: not a declared enabled name — name-mismatch or stale.
+                // Name-mismatch: artifact normalizes to a declared enabled name
+                // but differs in casing or similar. v1 check is case-insensitive.
+                const caseMatch = Array.from(declaredEnabledNames).find((d) => d.toLowerCase() === artifact.toLowerCase() && !isCanonicallyNamed(artifact, d));
+                if (caseMatch !== undefined) {
+                    findings.push(nameMismatchFinding(agent.id, artifact, caseMatch));
+                    continue;
+                }
+                findings.push(staleFinding(artifact, agent.id));
+            }
+        }
+        return findings;
+    }),
+    fix: (context, finding) => Effect.gen(function* () {
+        // Only the dangling arm emits AutofixableFinding; stale / name-mismatch
+        // arms ship AdvisoryFinding and never reach `fix`.
+        if (!finding.suggestions[0].startsWith(SUG_REINSTALL_PREFIX)) {
+            return EMPTY_OPERATIONS;
+        }
+        const name = extractSkillName(finding.suggestions[0]);
+        if (name === undefined) {
+            return EMPTY_OPERATIONS;
+        }
+        const settingsResult = yield* Effect.result(context.workspace.settings);
+        if (Result.isFailure(settingsResult)) {
+            return EMPTY_OPERATIONS;
+        }
+        const settings = decodeSettings(settingsResult.success);
+        if (Option.isNone(settings)) {
+            return EMPTY_OPERATIONS;
+        }
+        const entry = settings.value.skills?.[name];
+        const source = entry?.source ?? name;
+        return [installSkillOp({ name, source, force: true })];
+    }),
+};
+//# sourceMappingURL=skills-artifacts-clean.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"skills-artifacts-clean.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-artifacts-clean.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;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;AASxC,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3E,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;AAEhD,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;AAEF;;;GAGG;AACH,MAAM,uBAAuB,GAAG,CAAC,QAAkB,EAAE,QAAkB,EAAuB,EAAE;IAC9F,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrC,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YACxD,iEAAiE;YACjE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,kEAAkE;IAClE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;YAClC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,yEAAyE;AACzE,6EAA6E;AAC7E,kEAAkE;AAClE,8BAA8B;AAC9B,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAW,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AAElG,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,OAAe,EAAsB,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,OAAO,wCAAwC,IAAI,+BAA+B;IACrG,WAAW,EAAE,CAAC,GAAG,oBAAoB,IAAI,IAAI,uCAAuC,CAAC;IACrF,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,WAAW,IAAI,EAAE,EAAE;CAChD,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,OAAe,EAAmB,EAAE,CAAC,CAAC;IACxE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,OAAO,iCAAiC,IAAI,kCAAkC;IACjG,WAAW,EAAE;QACX,mEAAmE,IAAI,IAAI;QAC3E,QAAQ,IAAI,gDAAgD;KAC7D;IACD,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,WAAW,IAAI,EAAE,EAAE;CAChD,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAC1B,OAAe,EACf,QAAgB,EAChB,QAAgB,EACC,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,OAAO,yBAAyB,QAAQ,4CAA4C,QAAQ,IAAI;IACnH,WAAW,EAAE;QACX,WAAW,QAAQ,2DAA2D,QAAQ,IAAI;KAC3F;IACD,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,WAAW,QAAQ,EAAE,EAAE;CACpD,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,WAAW,CAAC;AAC5C,MAAM,gBAAgB,GAAG,CAAC,UAAkB,EAAsB,EAAE,CAClE,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhD;;;;GAIG;AACH,MAAM,yBAAyB,GAAG,CAAC,IAAY,EAAE,QAAkB,EAAyB,EAAE;IAC5F,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACnF,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,KAAK,WAAW,IAAI,eAAe,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,mCAAmC,IAAI,WAAW,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAyC;IAC5E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,oEAAoE;IACjF,IAAI,EAAE,YAAY;IAClB,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,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;QACzD,MAAM,cAAc,GAAmC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9E,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3B,CAAC;QAEF,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;QACnD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAClC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;aAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aAC5B,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACnB,CAAC;QAEF,kEAAkE;QAClE,4CAA4C;QAC5C,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxE,MAAM,aAAa,GAAwB,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC;YACzE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE;gBACnC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAU;gBAC/B,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CACd,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;oBAChC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAU;oBAC/B,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;iBAChE,CAAC;aACL,CAAC;YACJ,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;QAEtB,MAAM,QAAQ,GAAuB,EAAE,CAAC;QAExC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAClF,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjC,mEAAmE;gBACnE,+DAA+D;gBAC/D,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC;YAErC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,+DAA+D;gBAC/D,oCAAoC;gBACpC,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChC,SAAS;gBACX,CAAC;gBACD,sCAAsC;gBACtC,iEAAiE;gBACjE,gCAAgC;gBAChC,IAAI,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvC,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;oBACnE,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACpC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EACtD,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAC;oBACF,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5C,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;wBACnD,SAAS;oBACX,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,iEAAiE;gBACjE,gEAAgE;gBAChE,kEAAkE;gBAClE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,IAAI,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC,CACtF,CAAC;gBACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;oBAClE,SAAS;gBACX,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACJ,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,wEAAwE;QACxE,mDAAmD;QACnD,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC7D,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,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,gBAAgB,CAAC;QAC1B,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,IAAI,IAAI,CAAC;QACrC,OAAO,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC;CACL,CAAC"}

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

@@ -0,0 +1,26 @@
+/**
+ * `workspace/skills-artifacts-correct` — each enabled skill has artifacts in
+ * every declared agent's skill target; disabled skills have none.
+ *
+ * Three symptoms of the same invariant (§10.workspace.Skills note):
+ *
+ * - **Enabled-but-not-linked** — a skill declared `enabled: true` is missing
+ *   its per-agent artifact for at least one declared agent. Autofix:
+ *   `enable-skill` (the handler recreates symlinks across configured agents).
+ * - **Disabled-but-still-present** — a skill declared `enabled: false` still
+ *   has a per-agent artifact for at least one declared agent. Autofix:
+ *   `disable-skill`.
+ * - **Cross-agent-inconsistent** — an enabled skill has artifacts in some
+ *   declared agents but not others. Autofix: `enable-skill`.
+ *
+ * One finding per affected skill (per-entity cascade); the first arm that
+ * fires for a skill emits its finding and the other arms for the same skill
+ * do not.
+ *
+ * @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 skillsArtifactsCorrectRule: AutofixingRule<WorkspaceRuleContext>;
+//# sourceMappingURL=skills-artifacts-correct.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"skills-artifacts-correct.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-artifacts-correct.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAsB,cAAc,EAAe,MAAM,eAAe,CAAC;AAsDrF,eAAO,MAAM,0BAA0B,EAAE,cAAc,CAAC,oBAAoB,CA4E3E,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/skills-artifacts-correct.js

@@ -0,0 +1,129 @@
+/**
+ * `workspace/skills-artifacts-correct` — each enabled skill has artifacts in
+ * every declared agent's skill target; disabled skills have none.
+ *
+ * Three symptoms of the same invariant (§10.workspace.Skills note):
+ *
+ * - **Enabled-but-not-linked** — a skill declared `enabled: true` is missing
+ *   its per-agent artifact for at least one declared agent. Autofix:
+ *   `enable-skill` (the handler recreates symlinks across configured agents).
+ * - **Disabled-but-still-present** — a skill declared `enabled: false` still
+ *   has a per-agent artifact for at least one declared agent. Autofix:
+ *   `disable-skill`.
+ * - **Cross-agent-inconsistent** — an enabled skill has artifacts in some
+ *   declared agents but not others. Autofix: `enable-skill`.
+ *
+ * One finding per affected skill (per-entity cascade); the first arm that
+ * fires for a skill emits its finding and the other arms for the same skill
+ * do not.
+ *
+ * @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 { disableSkillOp, enableSkillOp } from "./helpers/install-ops.js";
+import { EMPTY_LINT_FINDINGS, EMPTY_OPERATIONS } from "./helpers/empty.js";
+const RULE_ID = "workspace/skills-artifacts-correct";
+const SETTINGS_REL = ".axm/settings.json";
+const SUG_ENABLE_PREFIX = "Re-enable skill ";
+const SUG_DISABLE_PREFIX = "Disable skill ";
+const decodeSettings = (input) => {
+    const result = Schema.decodeUnknownResult(SettingsSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+const artifactPath = (agent, skillName) => `${agent.skills.dir}/${skillName}`;
+const enableFinding = (name, reason) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' is enabled but missing per-agent artifacts (${reason}).`,
+    suggestions: [`${SUG_ENABLE_PREFIX}'${name}' to recreate agent artifacts.`],
+    location: { file: SETTINGS_REL },
+});
+const disableFinding = (name, reason) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' is disabled but still has per-agent artifacts (${reason}).`,
+    suggestions: [`${SUG_DISABLE_PREFIX}'${name}' to clean up stale artifacts.`],
+    location: { file: SETTINGS_REL },
+});
+const inconsistentFinding = (name, details) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' has inconsistent artifacts across declared agents (${details}).`,
+    suggestions: [`${SUG_ENABLE_PREFIX}'${name}' to normalize across declared agents.`],
+    location: { file: SETTINGS_REL },
+});
+const NAME_FROM_SUGGESTION_RE = /'([^']+)'/;
+const extractSkillName = (suggestion) => NAME_FROM_SUGGESTION_RE.exec(suggestion)?.[1];
+export const skillsArtifactsCorrectRule = {
+    id: RULE_ID,
+    description: "Enabled skills have artifacts in every declared agent; disabled skills have none.",
+    kind: "autofixing",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        const settingsResult = yield* Effect.result(context.workspace.settings);
+        if (Result.isFailure(settingsResult)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const settings = decodeSettings(settingsResult.success);
+        if (Option.isNone(settings)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const declaredAgentIds = new Set(settings.value.agents ?? []);
+        if (declaredAgentIds.size === 0) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const knownAgents = yield* context.workspace.knownAgents;
+        const declaredAgents = knownAgents.filter((a) => declaredAgentIds.has(a.id));
+        const declaredSkills = settings.value.skills ?? {};
+        const findings = [];
+        for (const [name, entry] of Object.entries(declaredSkills)) {
+            const perAgentExists = yield* Effect.all(declaredAgents.map((agent) => context.workspace
+                .exists(artifactPath(agent, name))
+                .pipe(Effect.map((exists) => ({ agentId: agent.id, exists })))), { concurrency: "unbounded" });
+            const missingAgents = perAgentExists.filter((p) => !p.exists).map((p) => p.agentId);
+            const presentAgents = perAgentExists.filter((p) => p.exists).map((p) => p.agentId);
+            if (entry.enabled) {
+                if (missingAgents.length === 0) {
+                    continue;
+                }
+                if (presentAgents.length === 0) {
+                    findings.push(enableFinding(name, `missing in: ${missingAgents.join(", ")}`));
+                }
+                else {
+                    findings.push(inconsistentFinding(name, `present in ${presentAgents.join(", ")}, missing in ${missingAgents.join(", ")}`));
+                }
+                continue;
+            }
+            // Disabled skill: flag if any artifact is still present.
+            if (presentAgents.length > 0) {
+                findings.push(disableFinding(name, `present in: ${presentAgents.join(", ")}`));
+            }
+        }
+        return findings;
+    }),
+    fix: (_context, finding) => Effect.sync(() => {
+        const name = extractSkillName(finding.suggestions[0]);
+        if (name === undefined) {
+            return EMPTY_OPERATIONS;
+        }
+        if (finding.suggestions[0].startsWith(SUG_ENABLE_PREFIX)) {
+            return [enableSkillOp({ name })];
+        }
+        if (finding.suggestions[0].startsWith(SUG_DISABLE_PREFIX)) {
+            return [disableSkillOp({ name })];
+        }
+        return EMPTY_OPERATIONS;
+    }),
+};
+//# sourceMappingURL=skills-artifacts-correct.js.map

package/dist/src/unstable/lint/catalog/workspace/skills-artifacts-correct.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills-artifacts-correct.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-artifacts-correct.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;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;AAIxC,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3E,MAAM,OAAO,GAAG,oCAAoC,CAAC;AACrD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAC7C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AAE5C,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,YAAY,GAAG,CAAC,KAAsB,EAAE,SAAiB,EAAU,EAAE,CACzE,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,SAAS,EAAE,CAAC;AAErC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,MAAc,EAAsB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,IAAI,iDAAiD,MAAM,IAAI;IAClF,WAAW,EAAE,CAAC,GAAG,iBAAiB,IAAI,IAAI,gCAAgC,CAAC;IAC3E,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,MAAc,EAAsB,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,IAAI,oDAAoD,MAAM,IAAI;IACrF,WAAW,EAAE,CAAC,GAAG,kBAAkB,IAAI,IAAI,gCAAgC,CAAC;IAC5E,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAE,OAAe,EAAsB,EAAE,CAAC,CAAC;IAClF,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,IAAI,wDAAwD,OAAO,IAAI;IAC1F,WAAW,EAAE,CAAC,GAAG,iBAAiB,IAAI,IAAI,wCAAwC,CAAC;IACnF,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,WAAW,CAAC;AAC5C,MAAM,gBAAgB,GAAG,CAAC,UAAkB,EAAsB,EAAE,CAClE,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhD,MAAM,CAAC,MAAM,0BAA0B,GAAyC;IAC9E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,mFAAmF;IAChG,IAAI,EAAE,YAAY;IAClB,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,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;QACzD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAE7E,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAuB,EAAE,CAAC;QAExC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3D,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,OAAO,CAAC,SAAS;iBACd,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;iBACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CACjE,EACD,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAC;YACF,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpF,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAEnF,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAClB,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,SAAS;gBACX,CAAC;gBACD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,eAAe,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChF,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CACX,mBAAmB,CACjB,IAAI,EACJ,cAAc,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjF,CACF,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YAED,yDAAyD;YACzD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,eAAe,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACJ,GAAG,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACzD,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC1B,CAAC,CAAC;CACL,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/skills-declarations-valid.d.ts

@@ -0,0 +1,26 @@
+/**
+ * `workspace/skills-declarations-valid` — declared skills name a resolvable,
+ * owner-qualified, unique source.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace.Skills` (reports the
+ * first failing arm per affected entity):
+ *
+ * 1. Source resolvability — the source string is shaped like a ref we can
+ *    route (owner-qualified FQN like `@owner/skills/name`, a known source
+ *    host, `file://` URL, local path). Bare names (`just-a-name`) fail.
+ * 2. Owner qualification — registry-shaped sources carry an `@owner`
+ *    prefix; entries whose source looks registry-ish but omits the owner
+ *    fail.
+ * 3. Duplicate FQNs — when two settings entries normalize to the same
+ *    owner/type/name FQN, both entries emit a finding.
+ *
+ * One finding per affected entity (per-entity cascade). Advisory — fixing
+ * requires a settings edit.
+ *
+ * @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 skillsDeclarationsValidRule: AdvisoryRule<WorkspaceRuleContext>;
+//# sourceMappingURL=skills-declarations-valid.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/skills-declarations-valid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills-declarations-valid.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-declarations-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAmB,YAAY,EAAE,MAAM,eAAe,CAAC;AA+FnE,eAAO,MAAM,2BAA2B,EAAE,YAAY,CAAC,oBAAoB,CAuD1E,CAAC"}

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

@@ -0,0 +1,151 @@
+/**
+ * `workspace/skills-declarations-valid` — declared skills name a resolvable,
+ * owner-qualified, unique source.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace.Skills` (reports the
+ * first failing arm per affected entity):
+ *
+ * 1. Source resolvability — the source string is shaped like a ref we can
+ *    route (owner-qualified FQN like `@owner/skills/name`, a known source
+ *    host, `file://` URL, local path). Bare names (`just-a-name`) fail.
+ * 2. Owner qualification — registry-shaped sources carry an `@owner`
+ *    prefix; entries whose source looks registry-ish but omits the owner
+ *    fail.
+ * 3. Duplicate FQNs — when two settings entries normalize to the same
+ *    owner/type/name FQN, both entries emit a finding.
+ *
+ * One finding per affected entity (per-entity cascade). Advisory — fixing
+ * requires a settings edit.
+ *
+ * @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/skills-declarations-valid";
+const SETTINGS_REL = ".axm/settings.json";
+const decodeSettings = (input) => {
+    const result = Schema.decodeUnknownResult(SettingsSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+// Pattern definitions — follow the existing doctor check's logic (see
+// `workspace/doctor/checks/extensions-installed.ts`).
+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 categorizeEntry = (name, source) => {
+    // Delegate to the canonical parser — it handles `@owner/type/name@version`.
+    const parsed = parseRegistrySource(source);
+    if (parsed !== undefined) {
+        return {
+            name,
+            source,
+            kind: "registry",
+            registryFqn: `${parsed.owner}/${parsed.type}/${parsed.name}`,
+        };
+    }
+    if (isClearlyNonRegistrySource(source)) {
+        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 findingForBareName = (entry) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${entry.name}' has a bare-name source '${entry.source}'; declare a host or use @owner/skills/name.`,
+    suggestions: [
+        `Prefix the source with @owner/ to resolve via the default registry.`,
+        `Declare the source host explicitly in settings.sources[].`,
+    ],
+    location: { file: SETTINGS_REL },
+});
+const findingForMissingOwner = (entry) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${entry.name}' has a registry-shaped source '${entry.source}' missing the @owner prefix.`,
+    suggestions: [`Rewrite the source as @owner/skills/${entry.name}.`],
+    location: { file: SETTINGS_REL },
+});
+const findingForDuplicate = (entry, duplicates) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${entry.name}' resolves to a registry FQN declared more than once: ${duplicates.join(", ")}.`,
+    suggestions: [
+        `Remove duplicate entries and keep one per FQN.`,
+        `Rename conflicting entries to distinct keys.`,
+    ],
+    location: { file: SETTINGS_REL },
+});
+export const skillsDeclarationsValidRule = {
+    id: RULE_ID,
+    description: "Declared skills 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 skills = decoded.value.skills ?? {};
+        const entries = Object.entries(skills).map(([name, entry]) => categorizeEntry(name, entry.source));
+        // Group by registry FQN for duplicate detection.
+        const byFqn = new Map();
+        for (const entry of entries) {
+            if (entry.kind !== "registry" || entry.registryFqn === undefined) {
+                continue;
+            }
+            const group = byFqn.get(entry.registryFqn) ?? [];
+            group.push(entry);
+            byFqn.set(entry.registryFqn, group);
+        }
+        const findings = [];
+        for (const entry of entries) {
+            if (entry.kind === "bare") {
+                findings.push(findingForBareName(entry));
+                continue;
+            }
+            if (entry.kind === "registry-no-owner") {
+                findings.push(findingForMissingOwner(entry));
+                continue;
+            }
+            if (entry.kind === "non-registry") {
+                // Non-registry sources are allowed for skills (local, git-hosted)
+                // and don't fire this rule. Move on.
+                continue;
+            }
+            if (entry.kind === "registry" && entry.registryFqn !== undefined) {
+                const group = byFqn.get(entry.registryFqn) ?? [];
+                if (group.length > 1) {
+                    findings.push(findingForDuplicate(entry, group.map((g) => g.name).sort()));
+                }
+            }
+        }
+        return findings;
+    }),
+};
+//# sourceMappingURL=skills-declarations-valid.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"skills-declarations-valid.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-declarations-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;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,qCAAqC,CAAC;AACtD,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,sEAAsE;AACtE,sDAAsD;AACtD,MAAM,YAAY,GAAG,qCAAqC,CAAC;AAC3D,MAAM,oBAAoB,GAAG;IAC3B,OAAO;IACP,SAAS;IACT,KAAK;IACL,YAAY;IACZ,OAAO;IACP,sBAAsB;CACvB,CAAC;AAEF,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;AAU/D,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,MAAc,EAAe,EAAE;IACpE,4EAA4E;IAC5E,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,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,kBAAkB,GAAG,CAAC,KAAkB,EAAmB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,6BAA6B,KAAK,CAAC,MAAM,8CAA8C;IACpH,WAAW,EAAE;QACX,qEAAqE;QACrE,2DAA2D;KAC5D;IACD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,KAAkB,EAAmB,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,mCAAmC,KAAK,CAAC,MAAM,8BAA8B;IAC1G,WAAW,EAAE,CAAC,uCAAuC,KAAK,CAAC,IAAI,GAAG,CAAC;IACnE,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAC1B,KAAkB,EAClB,UAAiC,EAChB,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,yDAAyD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;IAC9G,WAAW,EAAE;QACX,gDAAgD;QAChD,8CAA8C;KAC/C;IACD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAuC;IAC7E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,oEAAoE;IACjF,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,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1C,MAAM,OAAO,GAA+B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CACvF,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CACpC,CAAC;QAEF,iDAAiD;QACjD,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,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzC,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7C,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAClC,kEAAkE;gBAClE,qCAAqC;gBACrC,SAAS;YACX,CAAC;YACD,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,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC7E,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;CACL,CAAC"}

package/dist/src/unstable/lint/catalog/workspace/skills-integrity-valid.d.ts

@@ -0,0 +1,29 @@
+/**
+ * `workspace/skills-integrity-valid` — each installed skill's `src/` content
+ * matches its lockfile `sourceHash`.
+ *
+ * For each skill lock entry with a `sourceHash`, verify the canonical
+ * installed directory (`.axm/extensions/<owner>/skills/<name>/src/` for
+ * registry sources; `.axm/extensions/external/skills/<name>/` for
+ * non-registry) exists and its hash matches. Integrity-mismatch entries
+ * each emit one `AutofixableFinding`; autofix: `install-skill` with
+ * `force: true`.
+ *
+ * The integrity check MUST walk the workspace filesystem — `context.workspace`
+ * exposes `exists` only; the accessor layer surfaces the pre-computed
+ * `installedSkills` array with the skill's `files` accessor already rooted
+ * at the right path per provenance. A skill whose install directory is
+ * missing entirely is also a mismatch.
+ *
+ * V1 keeps this rule simple: a skill whose `sourceHash` is undefined in the
+ * lockfile (e.g., git-hosted sources without pinned hash) is not checked.
+ *
+ * One finding per affected entity.
+ *
+ * @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 skillsIntegrityValidRule: AutofixingRule<WorkspaceRuleContext>;
+//# sourceMappingURL=skills-integrity-valid.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/skills-integrity-valid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills-integrity-valid.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-integrity-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAsB,cAAc,EAAe,MAAM,eAAe,CAAC;AAyErF,eAAO,MAAM,wBAAwB,EAAE,cAAc,CAAC,oBAAoB,CA+DzE,CAAC"}