@agentxm/client-core 0.1.6 → 0.3.1

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

@@ -0,0 +1,22 @@
+/**
+ * `workspace/initialized` — `.axm/` and `.axm/settings.json` both exist.
+ *
+ * Per `docs/design/lint-engine.md §10.workspace` "Foundation" row:
+ *
+ *   Workspace bootstrap invariant. Absorbs doctor `workspace-ready.*` checks.
+ *
+ * Applies to every workspace context (both scopes). Owns the presence arm;
+ * `workspace/settings-schema-valid` owns the contents arm and early-returns
+ * when `settings.json` is missing, so a fresh workspace surfaces exactly one
+ * finding from this rule.
+ *
+ * Advisory-only — scaffolding a workspace is a multi-step `axm init` command;
+ * keeping it a suggestion scopes autofix to Operation-expressible mutations.
+ *
+ * @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 initializedRule: AdvisoryRule<WorkspaceRuleContext>;
+//# sourceMappingURL=initialized.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"initialized.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/initialized.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAmB,YAAY,EAAE,MAAM,eAAe,CAAC;AAMnE,eAAO,MAAM,eAAe,EAAE,YAAY,CAAC,oBAAoB,CAmC9D,CAAC"}

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

@@ -0,0 +1,55 @@
+/**
+ * `workspace/initialized` — `.axm/` and `.axm/settings.json` both exist.
+ *
+ * Per `docs/design/lint-engine.md §10.workspace` "Foundation" row:
+ *
+ *   Workspace bootstrap invariant. Absorbs doctor `workspace-ready.*` checks.
+ *
+ * Applies to every workspace context (both scopes). Owns the presence arm;
+ * `workspace/settings-schema-valid` owns the contents arm and early-returns
+ * when `settings.json` is missing, so a fresh workspace surfaces exactly one
+ * finding from this rule.
+ *
+ * Advisory-only — scaffolding a workspace is a multi-step `axm init` command;
+ * keeping it a suggestion scopes autofix to Operation-expressible mutations.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+const RULE_ID = "workspace/initialized";
+const AXM_DIR = ".axm";
+const SETTINGS_REL = ".axm/settings.json";
+export const initializedRule = {
+    id: RULE_ID,
+    description: "Workspace is initialized (.axm directory and settings.json present).",
+    kind: "advisory",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        const [axmExists, settingsExists] = yield* Effect.all([context.workspace.exists(AXM_DIR), context.workspace.exists(SETTINGS_REL)], { concurrency: "unbounded" });
+        const findings = [];
+        if (!axmExists) {
+            findings.push({
+                kind: "advisory",
+                ruleId: RULE_ID,
+                severity: "error",
+                message: "Workspace is not initialized; .axm directory is missing.",
+                suggestions: ["Run `axm init` to scaffold the workspace."],
+                location: { file: AXM_DIR },
+            });
+            return findings;
+        }
+        if (!settingsExists) {
+            findings.push({
+                kind: "advisory",
+                ruleId: RULE_ID,
+                severity: "error",
+                message: "Workspace is missing .axm/settings.json.",
+                suggestions: ["Run `axm init` to scaffold settings.json."],
+                location: { file: SETTINGS_REL },
+            });
+        }
+        return findings;
+    }),
+};
+//# sourceMappingURL=initialized.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"initialized.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/initialized.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,MAAM,OAAO,GAAG,uBAAuB,CAAC;AACxC,MAAM,OAAO,GAAG,MAAM,CAAC;AACvB,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,CAAC,MAAM,eAAe,GAAuC;IACjE,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,sEAAsE;IACnF,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACnD,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAC3E,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAC;QACF,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,0DAA0D;gBACnE,WAAW,EAAE,CAAC,2CAA2C,CAAC;gBAC1D,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;aAC5B,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,0CAA0C;gBACnD,WAAW,EAAE,CAAC,2CAA2C,CAAC;gBAC1D,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;aACjC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;CACL,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * `workspace/lockfile-valid` — `.axm/axm-lock.yaml` parses and conforms to
+ * `LockfileSchema`.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace`:
+ *
+ * 1. `.axm/axm-lock.yaml` exists when settings declares any extension
+ *    (skills, packs, commands, subagents, mcp-servers). **Missing arm is
+ *    autofixing** — `fix` returns `install-{type}` Operations for every
+ *    declared extension; each handler writes its lockfile entry as a side
+ *    effect, recreating the lockfile.
+ * 2. Lockfile bytes parse as YAML (the accessor surfaces parse failures via
+ *    `LockfileReadError`; we emit one advisory finding per read failure).
+ * 3. `Schema.decodeUnknownResult(LockfileSchema)` succeeds; `ParseResult`
+ *    issues map 1:1 to advisory findings via `schemaDecodeFindings`.
+ *
+ * Arms 2 and 3 are advisory (no autofix) because repairing them requires
+ * editing a file that axm does not own through the per-extension Operation
+ * vocabulary. Arm 1 is autofixing because every install handler writes a
+ * fresh lockfile entry as a side effect, and chained install-Operations
+ * recreate the file deterministically.
+ *
+ * Early-return: workspaces with no declared extensions (no skills, no
+ * packs, no commands, no subagents, no mcp-servers) don't require a
+ * lockfile — this rule emits zero findings.
+ *
+ * @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 lockfileValidRule: AutofixingRule<WorkspaceRuleContext>;
+//# sourceMappingURL=lockfile-valid.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lockfile-valid.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/lockfile-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAMH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAGV,cAAc,EAEf,MAAM,eAAe,CAAC;AAwCvB,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,oBAAoB,CAuElE,CAAC"}

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

@@ -0,0 +1,125 @@
+/**
+ * `workspace/lockfile-valid` — `.axm/axm-lock.yaml` parses and conforms to
+ * `LockfileSchema`.
+ *
+ * Cascade per `docs/design/lint-engine.md §10.workspace`:
+ *
+ * 1. `.axm/axm-lock.yaml` exists when settings declares any extension
+ *    (skills, packs, commands, subagents, mcp-servers). **Missing arm is
+ *    autofixing** — `fix` returns `install-{type}` Operations for every
+ *    declared extension; each handler writes its lockfile entry as a side
+ *    effect, recreating the lockfile.
+ * 2. Lockfile bytes parse as YAML (the accessor surfaces parse failures via
+ *    `LockfileReadError`; we emit one advisory finding per read failure).
+ * 3. `Schema.decodeUnknownResult(LockfileSchema)` succeeds; `ParseResult`
+ *    issues map 1:1 to advisory findings via `schemaDecodeFindings`.
+ *
+ * Arms 2 and 3 are advisory (no autofix) because repairing them requires
+ * editing a file that axm does not own through the per-extension Operation
+ * vocabulary. Arm 1 is autofixing because every install handler writes a
+ * fresh lockfile entry as a side effect, and chained install-Operations
+ * recreate the file deterministically.
+ *
+ * Early-return: workspaces with no declared extensions (no skills, no
+ * packs, no commands, no subagents, no mcp-servers) don't require a
+ * lockfile — this rule emits zero findings.
+ *
+ * @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 { schemaDecodeFindings } from "../shared/schema-rule.js";
+import { collectMissingLockfileInstallOps } from "./helpers/install-ops.js";
+import { EMPTY_LINT_FINDINGS, EMPTY_OPERATIONS } from "./helpers/empty.js";
+const RULE_ID = "workspace/lockfile-valid";
+const LOCKFILE_REL = ".axm/axm-lock.yaml";
+const MISSING_LOCKFILE_MISSING_SUGGESTION = "Reinstall every declared extension to rewrite the lockfile.";
+const hasAnyDeclaration = (settings) => {
+    const skills = Object.keys(settings.skills ?? {}).length;
+    const packs = Object.keys(settings.packs ?? {}).length;
+    const commands = Object.keys(settings.commands ?? {}).length;
+    const subagents = Object.keys(settings.subagents ?? {}).length;
+    const mcpServers = Object.keys(settings.mcpServers ?? {}).length;
+    return skills + packs + commands + subagents + mcpServers > 0;
+};
+const decodeSettings = (input) => {
+    const result = Schema.decodeUnknownResult(SettingsSchema)(input, {
+        onExcessProperty: "ignore",
+        errors: "all",
+    });
+    return Result.isSuccess(result) ? Option.some(result.success) : Option.none();
+};
+const makeMissingFinding = () => ({
+    kind: "autofixable",
+    ruleId: RULE_ID,
+    severity: "error",
+    message: "Lockfile is missing while settings declare installed extensions; reinstall to regenerate it.",
+    suggestions: [MISSING_LOCKFILE_MISSING_SUGGESTION],
+    location: { file: LOCKFILE_REL },
+});
+export const lockfileValidRule = {
+    id: RULE_ID,
+    description: "axm-lock.yaml is present and conforms to LockfileSchema.",
+    kind: "autofixing",
+    severity: "error",
+    check: (context) => Effect.gen(function* () {
+        // Cascade arm 1: lockfile presence when declarations exist.
+        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)) {
+            // workspace/settings-schema-valid owns the decode arm; nothing to
+            // do here until settings decode.
+            return EMPTY_LINT_FINDINGS;
+        }
+        const declared = hasAnyDeclaration(settings.value);
+        const lockfileResult = yield* Effect.result(context.workspace.lockfile);
+        if (Result.isFailure(lockfileResult)) {
+            // Read failure surfaces as advisory finding naming the IO problem.
+            const advisory = {
+                kind: "advisory",
+                ruleId: RULE_ID,
+                severity: "error",
+                message: `Could not read axm-lock.yaml: ${lockfileResult.failure.message}`,
+                suggestions: ["Fix YAML syntax at the referenced location."],
+                location: { file: LOCKFILE_REL },
+            };
+            const readFailure = [advisory];
+            return readFailure;
+        }
+        const option = lockfileResult.success;
+        if (Option.isNone(option)) {
+            if (!declared) {
+                return EMPTY_LINT_FINDINGS;
+            }
+            return [makeMissingFinding()];
+        }
+        // Cascade arm 3: schema decode of the parsed YAML.
+        const decodedFindings = yield* schemaDecodeFindings(RULE_ID, "error", LOCKFILE_REL, LockfileSchema, option.value);
+        return decodedFindings;
+    }),
+    fix: (context, finding) => Effect.gen(function* () {
+        // Autofix only applies to the missing arm; the advisory arms above
+        // never produce `AutofixableFinding`s.
+        if (finding.suggestions[0] !== MISSING_LOCKFILE_MISSING_SUGGESTION) {
+            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;
+        }
+        return collectMissingLockfileInstallOps(settings.value);
+    }),
+};
+//# sourceMappingURL=lockfile-valid.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lockfile-valid.js","sourceRoot":"","sources":["../../../../../../src/unstable/lint/catalog/workspace/lockfile-valid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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;AAQxC,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAiB,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3E,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAC3C,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,MAAM,mCAAmC,GACvC,6DAA6D,CAAC;AAEhE,MAAM,iBAAiB,GAAG,CAAC,QAAkB,EAAW,EAAE;IACxD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC7D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACjE,OAAO,MAAM,GAAG,KAAK,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,CAAC,CAAC;AAChE,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,kBAAkB,GAAG,GAAuB,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,OAAO;IACf,QAAQ,EAAE,OAAO;IACjB,OAAO,EACL,8FAA8F;IAChG,WAAW,EAAE,CAAC,mCAAmC,CAAC;IAClD,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;CACjC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAyC;IACrE,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,0DAA0D;IACvE,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,4DAA4D;QAC5D,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,kEAAkE;YAClE,iCAAiC;YACjC,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAEnD,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,mEAAmE;YACnE,MAAM,QAAQ,GAAoB;gBAChC,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,iCAAiC,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE;gBAC1E,WAAW,EAAE,CAAC,6CAA6C,CAAC;gBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;aACjC,CAAC;YACF,MAAM,WAAW,GAA+B,CAAC,QAAQ,CAAC,CAAC;YAC3D,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC;QACtC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,mBAAmB,CAAC;YAC7B,CAAC;YACD,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,mDAAmD;QACnD,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACjD,OAAO,EACP,OAAO,EACP,YAAY,EACZ,cAAc,EACd,MAAM,CAAC,KAAK,CACb,CAAC;QACF,OAAO,eAAe,CAAC;IACzB,CAAC,CAAC;IACJ,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,mEAAmE;QACnE,uCAAuC;QACvC,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,mCAAmC,EAAE,CAAC;YACnE,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QAED,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,OAAO,gCAAgC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC;CACL,CAAC"}

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

@@ -0,0 +1,19 @@
+/**
+ * `workspace/packs-declarations-valid` — declared packs name a resolvable,
+ * owner-qualified, unique source.
+ *
+ * Mirrors `workspace/skills-declarations-valid` against the packs map:
+ *
+ * 1. Source resolvability — pack source is not a bare name.
+ * 2. Owner qualification — registry-shaped pack sources carry `@owner/`.
+ * 3. Duplicate FQNs — two settings entries normalize to the same FQN.
+ *
+ * One finding per affected entity. Advisory.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type { WorkspaceRuleContext } from "../../context.js";
+import type { AdvisoryRule } from "../../rule.js";
+export declare const packsDeclarationsValidRule: AdvisoryRule<WorkspaceRuleContext>;
+//# sourceMappingURL=packs-declarations-valid.d.ts.map

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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