@agentxm/client-core 0.1.6 → 0.3.1

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"}

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

@@ -0,0 +1,123 @@
+/**
+ * `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 * as Effect from "effect/Effect";
+import { buildSkillRuleContexts, } from "../skill-accessor/contexts.js";
+import { buildPackRuleContexts, } from "../pack-accessor/contexts.js";
+import { makePlatformSkillFileAccessor } from "../skill-accessor/platform.js";
+import { makePlatformPackFileAccessor } from "../pack-accessor/platform.js";
+import { makePlatformWorkspaceLintAccessor } from "./platform.js";
+/**
+ * Construct a `WorkspaceRuleContext` scoped to project or user.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const buildWorkspaceRuleContext = (args) => {
+    const indexView = toWorkspaceIndexView(args.index);
+    const accessor = makePlatformWorkspaceLintAccessor({
+        platform: args.platform,
+        workspaceRoot: args.workspaceRoot,
+        index: indexView,
+        scope: args.scope,
+    });
+    return {
+        subject: { root: args.workspaceRoot, scope: args.scope },
+        workspace: accessor,
+        displayRoot: args.displayRoot ?? "",
+    };
+};
+// -----------------------------------------------------------------------------
+// Index → accessor plumbing
+// -----------------------------------------------------------------------------
+const toWorkspaceIndexView = (index) => ({
+    installedSkills: Effect.sync(() => buildSkillRuleContexts(index)),
+    installedPacks: Effect.sync(() => buildPackRuleContexts(index)),
+});
+// -----------------------------------------------------------------------------
+// Provenance → displayRoot helpers
+// -----------------------------------------------------------------------------
+/**
+ * Compute the `displayRoot` for a registry-installed native skill.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const registryNativeSkillDisplayRoot = (owner, name) => `.axm/extensions/${owner}/skills/${name}/src`;
+/**
+ * Compute the `displayRoot` for an external (non-native) skill.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const externalSkillDisplayRoot = (name) => `.axm/extensions/external/skills/${name}`;
+/**
+ * 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 const registryPackDisplayRoot = (owner, name) => `.axm/extensions/${owner}/packs/${name}`;
+/**
+ * Build an `InstalledSkillInfo` rooted at `.axm/extensions/<owner>/skills/<name>/src/`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const buildNativeInstalledSkillInfo = (args) => {
+    const absoluteRoot = args.platform.path.resolve(args.workspaceRoot, `.axm/extensions/${args.owner}/skills/${args.name}/src`);
+    return {
+        isNative: true,
+        skillJson: args.skillJson,
+        displayRoot: registryNativeSkillDisplayRoot(args.owner, args.name),
+        files: makePlatformSkillFileAccessor(args.platform, absoluteRoot),
+    };
+};
+/**
+ * Build an `InstalledSkillInfo` rooted at `.axm/extensions/external/skills/<name>/`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const buildExternalInstalledSkillInfo = (args) => {
+    const absoluteRoot = args.platform.path.resolve(args.workspaceRoot, `.axm/extensions/external/skills/${args.name}`);
+    return {
+        isNative: false,
+        skillJson: undefined,
+        displayRoot: externalSkillDisplayRoot(args.name),
+        files: makePlatformSkillFileAccessor(args.platform, absoluteRoot),
+    };
+};
+/**
+ * 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 const buildInstalledPackInfo = (args) => {
+    const absoluteRoot = args.platform.path.resolve(args.workspaceRoot, `.axm/extensions/${args.owner}/packs/${args.name}`);
+    return {
+        packJson: args.packJson,
+        displayRoot: registryPackDisplayRoot(args.owner, args.name),
+        files: makePlatformPackFileAccessor(args.platform, absoluteRoot),
+    };
+};
+//# sourceMappingURL=contexts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contexts.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace-accessor/contexts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EACL,sBAAsB,GAGvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,qBAAqB,GAGtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,iCAAiC,EAAE,MAAM,eAAe,CAAC;AAuClE;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAmC,EACb,EAAE;IACxB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,iCAAiC,CAAC;QACjD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,KAAK,EAAE,SAAS;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;QACxD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;KACpC,CAAC;AACJ,CAAC,CAAC;AAEF,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,MAAM,oBAAoB,GAAG,CAAC,KAAqB,EAAsB,EAAE,CAAC,CAAC;IAC3E,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACjE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;CAChE,CAAC,CAAC;AAEH,gFAAgF;AAChF,mCAAmC;AACnC,gFAAgF;AAEhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CACpF,mBAAmB,KAAK,WAAW,IAAI,MAAM,CAAC;AAEhD;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAU,EAAE,CAC/D,mCAAmC,IAAI,EAAE,CAAC;AAE5C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CAC7E,mBAAmB,KAAK,UAAU,IAAI,EAAE,CAAC;AAsB3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAuC,EACnB,EAAE;IACtB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAC7C,IAAI,CAAC,aAAa,EAClB,mBAAmB,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,IAAI,MAAM,CACxD,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,WAAW,EAAE,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;QAClE,KAAK,EAAE,6BAA6B,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC;KAClE,CAAC;AACJ,CAAC,CAAC;AAcF;;;;GAIG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAyC,EACrB,EAAE;IACtB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAC7C,IAAI,CAAC,aAAa,EAClB,mCAAmC,IAAI,CAAC,IAAI,EAAE,CAC/C,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,KAAK;QACf,SAAS,EAAE,SAAS;QACpB,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC;QAChD,KAAK,EAAE,6BAA6B,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC;KAClE,CAAC;AACJ,CAAC,CAAC;AAgBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAgC,EAAqB,EAAE;IAC5F,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAC7C,IAAI,CAAC,aAAa,EAClB,mBAAmB,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,IAAI,EAAE,CACnD,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,WAAW,EAAE,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;QAC3D,KAAK,EAAE,4BAA4B,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC;KACjE,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,38 @@
+/**
+ * Apply per-extension `Operation` intents to a `WorkspaceState` test double.
+ *
+ * The lint determinism harness (task 3c.19) needs: given a `WorkspaceState`
+ * plus a set of autofix Operations, produce the post-apply state and re-run
+ * the rule's `check`. This module is the pure reducer that maps an
+ * Operation intent onto state mutations that approximate what the canonical
+ * `OperationHandler` would do:
+ *
+ * - `install-skill` — add a skills lock entry, ensure the canonical
+ *   `src/SKILL.md` probe exists, ensure per-declared-agent artifact paths
+ *   exist (if the skill is enabled).
+ * - `uninstall-skill` — remove the lock entry, remove the install-dir
+ *   probes, remove per-agent artifacts.
+ * - `enable-skill` / `disable-skill` — toggle per-agent artifact presence.
+ * - `install-pack` / `uninstall-pack` — add/remove the pack lock entry.
+ * - Other families (`-command`, `-mcp-server`, `-subagent`) are stubs for
+ *   the harness; today no v1 rule emits those.
+ *
+ * The reducer writes **raw JSON-compatible shapes** into
+ * `state.lockfile` — the accessor returns `LockfileDocument = unknown`, so
+ * rules decode via `LockfileSchema` locally and the harness only needs to
+ * satisfy the schema post-apply.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { Operation } from "../../../plan/plan.js";
+import type { DisableSkillIntent, EnableSkillIntent, InstallPackIntent, InstallSkillIntent, UninstallPackIntent, UninstallSkillIntent } from "../workspace/helpers/install-ops.js";
+import type { WorkspaceState } from "./test-state.js";
+export declare const applyInstallSkill: (state: WorkspaceState, intent: InstallSkillIntent) => void;
+export declare const applyUninstallSkill: (state: WorkspaceState, intent: UninstallSkillIntent) => void;
+export declare const applyEnableSkill: (state: WorkspaceState, intent: EnableSkillIntent) => void;
+export declare const applyDisableSkill: (state: WorkspaceState, intent: DisableSkillIntent) => void;
+export declare const applyInstallPack: (state: WorkspaceState, intent: InstallPackIntent) => void;
+export declare const applyUninstallPack: (state: WorkspaceState, intent: UninstallPackIntent) => void;
+export declare const applyOperationIntent: (state: WorkspaceState, op: Operation<string, unknown>) => void;
+//# sourceMappingURL=interpret-ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"interpret-ops.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace-accessor/interpret-ops.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAGvD,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAyItD,eAAO,MAAM,iBAAiB,GAAI,OAAO,cAAc,EAAE,QAAQ,kBAAkB,KAAG,IA0CrF,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAAI,OAAO,cAAc,EAAE,QAAQ,oBAAoB,KAAG,IAoBzF,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAAI,OAAO,cAAc,EAAE,QAAQ,iBAAiB,KAAG,IAQnF,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,OAAO,cAAc,EAAE,QAAQ,kBAAkB,KAAG,IAQrF,CAAC;AAwBF,eAAO,MAAM,gBAAgB,GAAI,OAAO,cAAc,EAAE,QAAQ,iBAAiB,KAAG,IAyBnF,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,OAAO,cAAc,EAAE,QAAQ,mBAAmB,KAAG,IAUvF,CAAC;AAkCF,eAAO,MAAM,oBAAoB,GAC/B,OAAO,cAAc,EACrB,IAAI,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,KAC7B,IA4CF,CAAC"}