@agentxm/client-core 0.2.0 → 0.3.1

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

@@ -0,0 +1,149 @@
+/**
+ * `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 * 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 { EMPTY_LINT_FINDINGS, EMPTY_OPERATIONS } from "./helpers/empty.js";
+const RULE_ID = "workspace/skills-integrity-valid";
+const LOCKFILE_REL = ".axm/axm-lock.yaml";
+const SUG_INTEGRITY_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();
+};
+const integrityFinding = (name, reason) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' has an integrity mismatch: ${reason}.`,
+    suggestions: [`${SUG_INTEGRITY_PREFIX}'${name}' to re-hash from source.`],
+    location: { file: LOCKFILE_REL },
+});
+const NAME_FROM_SUGGESTION_RE = /'([^']+)'/;
+const extractSkillName = (suggestion) => NAME_FROM_SUGGESTION_RE.exec(suggestion)?.[1];
+/**
+ * Compute a stable integrity marker for the skill's installed `src/` tree.
+ *
+ * The lint layer does not re-hash bytes — the workspace accessor is narrow
+ * and does not expose bulk-read; integrity in v1 is delegated to an
+ * accessor-computed signal carried on the `InstalledSkillInfo` record.
+ * Since that extension requires expanding the accessor surface beyond the
+ * v1 documented methods (a task 3c.2 constraint), this rule treats a
+ * `sourceHash`-bearing lock entry whose canonical `src/` directory does
+ * NOT exist as an integrity mismatch. A deeper byte-by-byte hash check
+ * defers to the CLI-layer adapter that owns filesystem walks.
+ */
+const checkIntegrity = (name, lockEntry, probeExists) => {
+    if (lockEntry.sourceHash === undefined) {
+        return Option.none();
+    }
+    if (!probeExists) {
+        return Option.some(integrityFinding(name, "canonical install directory is missing"));
+    }
+    return Option.none();
+};
+const skillSrcProbe = (name, entry) => {
+    if (entry.type === "registry") {
+        return `.axm/extensions/${entry.owner}/skills/${name}/src/SKILL.md`;
+    }
+    return `.axm/extensions/external/skills/${name}/SKILL.md`;
+};
+export const skillsIntegrityValidRule = {
+    id: RULE_ID,
+    description: "Each skill's canonical src/ content matches its lockfile sourceHash.",
+    kind: "autofixing",
+    severity: "error",
+    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_LINT_FINDINGS;
+        }
+        const settings = decodeSettings(settingsResult.success);
+        if (Option.isNone(settings)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const lockOption = lockfileResult.success;
+        if (Option.isNone(lockOption)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const lockfile = decodeLockfile(lockOption.value);
+        if (Option.isNone(lockfile)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const lockSkills = lockfile.value.skills;
+        const declaredSkills = settings.value.skills ?? {};
+        const findings = [];
+        for (const [name, entry] of Object.entries(lockSkills)) {
+            // Carve out: integrity only applies to declared skills. Orphan
+            // lock entries are owned by workspace/skills-lockfile-aligned
+            // (orphan arm); running integrity alongside it would produce
+            // contradictory autofix Operations (install + uninstall).
+            if (!(name in declaredSkills)) {
+                continue;
+            }
+            const probe = skillSrcProbe(name, entry);
+            const exists = yield* context.workspace.exists(probe);
+            const finding = checkIntegrity(name, entry, exists);
+            if (Option.isSome(finding)) {
+                findings.push(finding.value);
+            }
+        }
+        return findings;
+    }),
+    fix: (context, finding) => Effect.gen(function* () {
+        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-integrity-valid.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"skills-integrity-valid.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-integrity-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;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,EAAsC,MAAM,6BAA6B,CAAC;AACjG,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3E,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,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,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,MAAc,EAAsB,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,IAAI,gCAAgC,MAAM,GAAG;IAChE,WAAW,EAAE,CAAC,GAAG,oBAAoB,IAAI,IAAI,2BAA2B,CAAC;IACzE,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;;;;;;;;;;;GAWG;AACH,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,SAAyB,EACzB,WAAoB,EACe,EAAE;IACrC,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,KAAqB,EAAU,EAAE;IACpE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,mBAAmB,KAAK,CAAC,KAAK,WAAW,IAAI,eAAe,CAAC;IACtE,CAAC;IACD,OAAO,mCAAmC,IAAI,WAAW,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAyC;IAC5E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,sEAAsE;IACnF,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,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,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,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACzC,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACvD,+DAA+D;YAC/D,8DAA8D;YAC9D,6DAA6D;YAC7D,0DAA0D;YAC1D,IAAI,CAAC,CAAC,IAAI,IAAI,cAAc,CAAC,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/B,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,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-lockfile-aligned.d.ts

@@ -0,0 +1,29 @@
+/**
+ * `workspace/skills-lockfile-aligned` — skill lock entries correspond 1:1 to
+ * declared skills at satisfying versions.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace.Skills` (first
+ * failing arm per affected entity):
+ *
+ * 1. **Missing** — every declared skill has a matching lock entry.
+ *    Autofix: `install-skill` with `force: false` per missing declaration.
+ * 2. **Orphan** — every skill lock entry has a matching declaration **or**
+ *    is `retainedByPack: true` AND a matching installed declared pack
+ *    declares it. Autofix: `uninstall-skill` per orphan lock entry.
+ *    Retention carve-out: `retainedByPack: true` entries whose FQN appears
+ *    in the resolved-map of at least one installed declared pack are NOT
+ *    orphans.
+ * 3. **Version skew** — each lock entry's `resolvedVersion` satisfies the
+ *    declared version constraint (for registry sources). Autofix:
+ *    `install-skill` with `force: true`.
+ *
+ * One finding per affected entity. Autofixing — each arm emits exactly one
+ * Operation 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 skillsLockfileAlignedRule: AutofixingRule<WorkspaceRuleContext>;
+//# sourceMappingURL=skills-lockfile-aligned.d.ts.map

package/dist/src/unstable/lint/catalog/workspace/skills-lockfile-aligned.d.ts.map

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

package/dist/src/unstable/lint/catalog/workspace/skills-lockfile-aligned.js

@@ -0,0 +1,242 @@
+/**
+ * `workspace/skills-lockfile-aligned` — skill lock entries correspond 1:1 to
+ * declared skills at satisfying versions.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace.Skills` (first
+ * failing arm per affected entity):
+ *
+ * 1. **Missing** — every declared skill has a matching lock entry.
+ *    Autofix: `install-skill` with `force: false` per missing declaration.
+ * 2. **Orphan** — every skill lock entry has a matching declaration **or**
+ *    is `retainedByPack: true` AND a matching installed declared pack
+ *    declares it. Autofix: `uninstall-skill` per orphan lock entry.
+ *    Retention carve-out: `retainedByPack: true` entries whose FQN appears
+ *    in the resolved-map of at least one installed declared pack are NOT
+ *    orphans.
+ * 3. **Version skew** — each lock entry's `resolvedVersion` satisfies the
+ *    declared version constraint (for registry sources). Autofix:
+ *    `install-skill` with `force: true`.
+ *
+ * One finding per affected entity. Autofixing — each arm emits exactly one
+ * Operation per affected entity.
+ *
+ * @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, uninstallSkillOp } 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-lockfile-aligned";
+const LOCKFILE_REL = ".axm/axm-lock.yaml";
+const SUG_MISSING_PREFIX = "Install skill ";
+const SUG_ORPHAN_PREFIX = "Uninstall orphan skill ";
+const SUG_VERSION_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();
+};
+const missingFinding = (name, source) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' is declared in settings but missing from the lockfile.`,
+    suggestions: [`${SUG_MISSING_PREFIX}'${name}' from ${source}.`],
+    location: { file: LOCKFILE_REL },
+});
+const orphanFinding = (name) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' is present in the lockfile but not declared in settings.`,
+    suggestions: [`${SUG_ORPHAN_PREFIX}'${name}' to remove it from the workspace.`],
+    location: { file: LOCKFILE_REL },
+});
+const versionFinding = (name, details) => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: `Skill '${name}' lock version does not satisfy the declared constraint: ${details}.`,
+    suggestions: [`${SUG_VERSION_PREFIX}'${name}' at the declared version.`],
+    location: { file: LOCKFILE_REL },
+});
+// -----------------------------------------------------------------------------
+// Retention helpers
+// -----------------------------------------------------------------------------
+const isRegistryEntry = (entry) => entry.type === "registry";
+const lockEntryFqn = (entry, name) => {
+    if (isRegistryEntry(entry)) {
+        return `${entry.owner}/skills/${entry.name}`;
+    }
+    return `skills/${name}`;
+};
+/**
+ * Build the set of FQNs retained by at least one installed declared pack.
+ * An entry is retained only when:
+ *
+ * - its lockfile entry has `retainedByPack: true`, AND
+ * - at least one pack lock entry's `resolvedSkills` map has a key matching
+ *   the entry's FQN, AND
+ * - that pack name appears in `settings.packs`.
+ */
+const buildRetainedSkillFqns = (settings, lockfile) => {
+    const declaredPackNames = new Set(Object.keys(settings.packs ?? {}));
+    const retained = 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)) {
+            retained.add(fqn);
+        }
+    }
+    return retained;
+};
+export const skillsLockfileAlignedRule = {
+    id: RULE_ID,
+    description: "Skill lock entries correspond 1:1 to declared skills at satisfying versions.",
+    kind: "autofixing",
+    severity: "error",
+    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_LINT_FINDINGS;
+        }
+        const settings = decodeSettings(settingsResult.success);
+        if (Option.isNone(settings)) {
+            return EMPTY_LINT_FINDINGS;
+        }
+        const lockOption = lockfileResult.success;
+        if (Option.isNone(lockOption)) {
+            // workspace/lockfile-valid owns the missing arm.
+            return EMPTY_LINT_FINDINGS;
+        }
+        const lockfile = decodeLockfile(lockOption.value);
+        if (Option.isNone(lockfile)) {
+            // workspace/lockfile-valid owns the schema arm.
+            return EMPTY_LINT_FINDINGS;
+        }
+        const declaredSkills = settings.value.skills ?? {};
+        const lockSkills = lockfile.value.skills;
+        const retainedFqns = buildRetainedSkillFqns(settings.value, lockfile.value);
+        const findings = [];
+        const affected = new Set();
+        // Arm 1: missing — declared but no lock entry.
+        for (const [name, entry] of Object.entries(declaredSkills)) {
+            if (!(name in lockSkills)) {
+                findings.push(missingFinding(name, entry.source));
+                affected.add(`declared:${name}`);
+            }
+        }
+        // Arm 2: orphan — lock entry but no declaration, and not retained by
+        // an installed declared pack.
+        for (const [name, entry] of Object.entries(lockSkills)) {
+            if (name in declaredSkills) {
+                continue;
+            }
+            if (entry.retainedByPack === true && retainedFqns.has(lockEntryFqn(entry, name))) {
+                continue;
+            }
+            findings.push(orphanFinding(name));
+            affected.add(`lock:${name}`);
+        }
+        // Arm 3: version skew — declared AND in lock, but registry-shaped
+        // source constraint not satisfied by resolvedVersion.
+        for (const [name, entry] of Object.entries(declaredSkills)) {
+            if (affected.has(`declared:${name}`)) {
+                continue;
+            }
+            const lockEntry = lockSkills[name];
+            if (lockEntry === undefined || !isRegistryEntry(lockEntry)) {
+                continue;
+            }
+            const parsed = parseRegistrySource(entry.source);
+            if (parsed === undefined) {
+                continue;
+            }
+            const constraint = parsed.versionConstraint;
+            if (constraint === undefined) {
+                continue;
+            }
+            // Simple exact-match semver check: the only non-heuristic arm we
+            // can enforce without pulling in the semver lib here. Range checks
+            // defer to the CLI adapter (Phase 5).
+            if (constraint !== lockEntry.resolvedVersion) {
+                findings.push(versionFinding(name, `declared ${constraint}, locked ${lockEntry.resolvedVersion}`));
+            }
+        }
+        return findings;
+    }),
+    fix: (context, finding) => Effect.gen(function* () {
+        const s0 = finding.suggestions[0];
+        if (s0.startsWith(SUG_MISSING_PREFIX)) {
+            const name = extractSkillName(s0);
+            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];
+            if (entry === undefined) {
+                return EMPTY_OPERATIONS;
+            }
+            return [installSkillOp({ name, source: entry.source, force: false })];
+        }
+        if (s0.startsWith(SUG_ORPHAN_PREFIX)) {
+            const name = extractSkillName(s0);
+            if (name === undefined) {
+                return EMPTY_OPERATIONS;
+            }
+            return [uninstallSkillOp({ name })];
+        }
+        if (s0.startsWith(SUG_VERSION_PREFIX)) {
+            const name = extractSkillName(s0);
+            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];
+            if (entry === undefined) {
+                return EMPTY_OPERATIONS;
+            }
+            return [installSkillOp({ name, source: entry.source, force: true })];
+        }
+        return EMPTY_OPERATIONS;
+    }),
+};
+const NAME_FROM_SUGGESTION_RE = /'([^']+)'/;
+const extractSkillName = (suggestion) => {
+    const match = NAME_FROM_SUGGESTION_RE.exec(suggestion);
+    return match?.[1];
+};
+//# sourceMappingURL=skills-lockfile-aligned.js.map

package/dist/src/unstable/lint/catalog/workspace/skills-lockfile-aligned.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills-lockfile-aligned.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/skills-lockfile-aligned.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;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,EAAsC,MAAM,6BAA6B,CAAC;AACjG,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3E,MAAM,OAAO,GAAG,mCAAmC,CAAC;AACpD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AAC5C,MAAM,iBAAiB,GAAG,yBAAyB,CAAC;AACpD,MAAM,kBAAkB,GAAG,kBAAkB,CAAC;AAE9C,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,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,0DAA0D;IACjF,WAAW,EAAE,CAAC,GAAG,kBAAkB,IAAI,IAAI,UAAU,MAAM,GAAG,CAAC;IAC/D,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,IAAI,4DAA4D;IACnF,WAAW,EAAE,CAAC,GAAG,iBAAiB,IAAI,IAAI,oCAAoC,CAAC;IAC/E,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,OAAe,EAAsB,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,UAAU,IAAI,4DAA4D,OAAO,GAAG;IAC7F,WAAW,EAAE,CAAC,GAAG,kBAAkB,IAAI,IAAI,4BAA4B,CAAC;IACxE,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF,MAAM,eAAe,GAAG,CACtB,KAAqB,EAC4C,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;AAEhG,MAAM,YAAY,GAAG,CAAC,KAAqB,EAAE,IAAY,EAAU,EAAE;IACnE,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,KAAK,CAAC,KAAK,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO,UAAU,IAAI,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,sBAAsB,GAAG,CAAC,QAAkB,EAAE,QAAkB,EAAuB,EAAE;IAC7F,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,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,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAyC;IAC7E,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,8EAA8E;IAC3F,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,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,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,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,iDAAiD;YACjD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,gDAAgD;YAChD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACzC,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE5E,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,+CAA+C;QAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;gBAClD,QAAQ,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,8BAA8B;QAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACvD,IAAI,IAAI,IAAI,cAAc,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjF,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAC/B,CAAC;QAED,kEAAkE;QAClE,sDAAsD;QACtD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3D,IAAI,QAAQ,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,CAAC;gBACrC,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC;YAC5C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,iEAAiE;YACjE,mEAAmE;YACnE,sCAAsC;YACtC,IAAI,UAAU,KAAK,SAAS,CAAC,eAAe,EAAE,CAAC;gBAC7C,QAAQ,CAAC,IAAI,CACX,cAAc,CAAC,IAAI,EAAE,YAAY,UAAU,YAAY,SAAS,CAAC,eAAe,EAAE,CAAC,CACpF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACJ,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACxE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBACrC,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YACxD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,OAAO,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACxE,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBACrC,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YACxD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YACD,OAAO,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC1B,CAAC,CAAC;CACL,CAAC;AAEF,MAAM,uBAAuB,GAAG,WAAW,CAAC;AAE5C,MAAM,gBAAgB,GAAG,CAAC,UAAkB,EAAsB,EAAE;IAClE,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC,CAAC"}

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

@@ -0,0 +1,141 @@
+/**
+ * `WorkspaceIndex` and `buildWorkspaceRuleContext`.
+ *
+ * The `WorkspaceIndex` satisfies both Phase 3a's `SkillIndexView` and Phase
+ * 3b's `PackIndexView` — it exposes `installedSkills: InstalledSkillInfo[]`
+ * and `installedPacks: InstalledPackInfo[]` with per-provenance
+ * `displayRoot`s:
+ *
+ *   Registry-installed native skill: `.axm/extensions/<@owner>/skills/<name>/src/`
+ *   External skill:                  `.axm/extensions/external/skills/<name>/`
+ *   Registry pack:                   `.axm/extensions/<@owner>/packs/<name>/`
+ *                                    (NO `src/` — matches the on-disk layout
+ *                                    per Phase 3b finding.)
+ *
+ * The `buildWorkspaceRuleContext` helper constructs a `WorkspaceRuleContext`
+ * from a resolved `WorkspaceLintAccessor` and a requested scope. User-scope
+ * root resolution for v1 is `$AXM_USER_HOME/.axm/` when set, otherwise
+ * `$HOME/.axm/`; a follow-up owns the broader XDG story.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type * as FileSystem from "effect/FileSystem";
+import type * as Path from "effect/Path";
+import type { WorkspaceRuleContext } from "../../context.js";
+import { type InstalledSkillInfo, type SkillIndexView } from "../skill-accessor/contexts.js";
+import { type InstalledPackInfo, type PackIndexView } from "../pack-accessor/contexts.js";
+import type { WorkspaceAccessorPlatform } from "./platform.js";
+/**
+ * The `WorkspaceIndex` shape — satisfies `SkillIndexView` and `PackIndexView`
+ * simultaneously, so it can be passed to `buildSkillRuleContexts` and
+ * `buildPackRuleContexts` without adaptation. The implementation yields
+ * `SkillRuleContext[]` / `PackRuleContext[]` via the respective builders.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface WorkspaceIndex extends SkillIndexView, PackIndexView {
+    readonly installedSkills: ReadonlyArray<InstalledSkillInfo>;
+    readonly installedPacks: ReadonlyArray<InstalledPackInfo>;
+}
+/**
+ * Argument shape for `buildWorkspaceRuleContext`.
+ */
+export interface BuildWorkspaceRuleContextArgs {
+    readonly platform: WorkspaceAccessorPlatform;
+    readonly workspaceRoot: string;
+    readonly index: WorkspaceIndex;
+    readonly scope: "project" | "user";
+    /**
+     * Optional `displayRoot` override. Defaults to `""` (accessor-relative
+     * paths render under the workspace root).
+     */
+    readonly displayRoot?: string;
+}
+/**
+ * Construct a `WorkspaceRuleContext` scoped to project or user.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const buildWorkspaceRuleContext: (args: BuildWorkspaceRuleContextArgs) => WorkspaceRuleContext;
+/**
+ * Compute the `displayRoot` for a registry-installed native skill.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const registryNativeSkillDisplayRoot: (owner: string, name: string) => string;
+/**
+ * Compute the `displayRoot` for an external (non-native) skill.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const externalSkillDisplayRoot: (name: string) => string;
+/**
+ * Compute the `displayRoot` for a registry-installed pack.
+ *
+ * **No `src/` segment** — matches the on-disk layout at
+ * `axm/packages/core/src/unstable/packs/paths.ts#computeExtensionPackPaths`
+ * (Phase 3b finding).
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const registryPackDisplayRoot: (owner: string, name: string) => string;
+/**
+ * Options for building an `InstalledSkillInfo` for a registry-installed
+ * native skill. `owner` and `name` pin the on-disk layout.
+ */
+export interface BuildInstalledSkillInfoNativeArgs {
+    readonly platform: {
+        readonly fs: FileSystem.FileSystem;
+        readonly path: Path.Path;
+    };
+    readonly workspaceRoot: string;
+    readonly owner: string;
+    readonly name: string;
+    readonly skillJson: unknown;
+}
+/**
+ * Build an `InstalledSkillInfo` rooted at `.axm/extensions/<owner>/skills/<name>/src/`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const buildNativeInstalledSkillInfo: (args: BuildInstalledSkillInfoNativeArgs) => InstalledSkillInfo;
+/**
+ * Options for building an `InstalledSkillInfo` for an external (non-native) skill.
+ */
+export interface BuildInstalledSkillInfoExternalArgs {
+    readonly platform: {
+        readonly fs: FileSystem.FileSystem;
+        readonly path: Path.Path;
+    };
+    readonly workspaceRoot: string;
+    readonly name: string;
+}
+/**
+ * Build an `InstalledSkillInfo` rooted at `.axm/extensions/external/skills/<name>/`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const buildExternalInstalledSkillInfo: (args: BuildInstalledSkillInfoExternalArgs) => InstalledSkillInfo;
+/**
+ * Options for building an `InstalledPackInfo` for a registry-installed pack.
+ */
+export interface BuildInstalledPackInfoArgs {
+    readonly platform: {
+        readonly fs: FileSystem.FileSystem;
+        readonly path: Path.Path;
+    };
+    readonly workspaceRoot: string;
+    readonly owner: string;
+    readonly name: string;
+    readonly packJson: unknown;
+}
+/**
+ * Build an `InstalledPackInfo` rooted at `.axm/extensions/<owner>/packs/<name>/`.
+ *
+ * **No `src/` segment** — matches the on-disk pack layout.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const buildInstalledPackInfo: (args: BuildInstalledPackInfoArgs) => InstalledPackInfo;
+//# sourceMappingURL=contexts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contexts.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace-accessor/contexts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,KAAK,UAAU,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,KAAK,IAAI,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,aAAa,EACnB,MAAM,8BAA8B,CAAC;AAItC,OAAO,KAAK,EAAE,yBAAyB,EAAsB,MAAM,eAAe,CAAC;AAMnF;;;;;;;GAOG;AACH,MAAM,WAAW,cAAe,SAAQ,cAAc,EAAE,aAAa;IACnE,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC5D,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CAC3D;AAMD;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,6BAA6B,KAClC,oBAaF,CAAC;AAeF;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,GAAI,OAAO,MAAM,EAAE,MAAM,MAAM,KAAG,MAC9B,CAAC;AAEhD;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,MAAM,MAAM,KAAG,MACb,CAAC;AAE5C;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,GAAI,OAAO,MAAM,EAAE,MAAM,MAAM,KAAG,MAC5B,CAAC;AAO3C;;;GAGG;AACH,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC;QACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,iCAAiC,KACtC,kBAWF,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC;QACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,GAC1C,MAAM,mCAAmC,KACxC,kBAWF,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC;QACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GAAI,MAAM,0BAA0B,KAAG,iBAUzE,CAAC"}