@agentxm/client-core 0.1.6

package/dist/src/unstable/workspace/doctor/checks/agents-configured.js

@@ -0,0 +1,170 @@
+import * as Effect from "effect/Effect";
+import * as FileSystem from "effect/FileSystem";
+import { CodingAgentRepository, detectAgentsInRoot } from "../../../agents/index.js";
+import { Workspace } from "../../service-interface.js";
+import { defineCheck } from "../check-def.js";
+import { CHECK_IDS } from "../types.js";
+const EDIT_SETTINGS_ACTION = {
+    label: "Edit settings.json",
+    description: "Fix the agent declaration and rerun doctor",
+};
+const SYNC_ACTION = {
+    label: "Run axm sync",
+    description: "Create or update the agent target directories",
+    command: "axm sync",
+};
+const FIX_PERMISSIONS_ACTION = {
+    label: "Fix filesystem permissions",
+    description: "Grant axm access to the agent target directory",
+};
+const DISCOVER_ACTION = {
+    label: "Run axm discover",
+    description: "Add detected agents to settings.json",
+    command: "axm discover",
+};
+const sortStrings = (items) => [...items].sort();
+const canWrite = (filePath) => Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    return yield* fs.access(filePath, { writable: true }).pipe(Effect.as(true), Effect.orElseSucceed(() => false));
+});
+const prepareContext = () => Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const ws = yield* Workspace;
+    const agentRepo = yield* CodingAgentRepository;
+    const configuredAgentIds = yield* ws
+        .getConfiguredAgents()
+        .pipe(Effect.orElseSucceed(() => []));
+    const configuredAgents = yield* agentRepo
+        .getConfiguredAgents()
+        .pipe(Effect.orElseSucceed(() => []));
+    const unknownAgentIds = yield* agentRepo
+        .getUnknownConfiguredAgentIds()
+        .pipe(Effect.orElseSucceed(() => []));
+    const detectedAgentIds = yield* detectAgentsInRoot(ws.baseDir).pipe(Effect.map((agents) => agents.map((agent) => agent.id)), Effect.orElseSucceed(() => []));
+    const detectedAgentIdSet = new Set(detectedAgentIds);
+    const configuredAgentIdSet = new Set(configuredAgentIds);
+    const configuredAgentStates = yield* Effect.forEach(configuredAgents, (agent) => Effect.gen(function* () {
+        const outcome = yield* agent
+            .resolveEffectiveSkillsDir({ workspaceRoot: ws.baseDir })
+            .pipe(Effect.catch((error) => Effect.succeed({ _tag: "misconfigured", reason: error.what })));
+        if (outcome._tag !== "supported") {
+            return {
+                agentId: agent.id,
+                targetDirExists: false,
+                targetDirWritable: false,
+                resolutionProblem: outcome.reason,
+                detected: detectedAgentIdSet.has(agent.id),
+            };
+        }
+        const targetDirExists = yield* fs
+            .exists(outcome.dir)
+            .pipe(Effect.orElseSucceed(() => false));
+        const targetDirWritable = targetDirExists ? yield* canWrite(outcome.dir) : false;
+        return {
+            agentId: agent.id,
+            targetDir: outcome.dir,
+            targetDirExists,
+            targetDirWritable,
+            detected: detectedAgentIdSet.has(agent.id),
+        };
+    }), { concurrency: "unbounded" });
+    return {
+        unknownAgentIds: sortStrings(unknownAgentIds),
+        configuredAgents: [...configuredAgentStates].sort((left, right) => left.agentId.localeCompare(right.agentId)),
+        detectedNotDeclaredAgentIds: sortStrings(detectedAgentIds.filter((agentId) => !configuredAgentIdSet.has(agentId))),
+    };
+});
+const unrecognizedAgentDiagnostic = {
+    id: "agents-configured.unrecognized-agent",
+    run: (ctx) => Effect.succeed(ctx.unknownAgentIds.map((agentId) => ({
+        id: "agents-configured.unrecognized-agent",
+        severity: "error",
+        message: `Agent "${agentId}" is not recognized`,
+        subject: { kind: "agent", ref: agentId },
+        action: EDIT_SETTINGS_ACTION,
+    }))),
+};
+const targetDirMissingDiagnostic = {
+    id: "agents-configured.target-dir-missing",
+    run: (ctx) => Effect.succeed(ctx.configuredAgents.flatMap((agent) => {
+        if (agent.targetDirExists) {
+            return [];
+        }
+        if (agent.resolutionProblem !== undefined) {
+            return [
+                {
+                    id: "agents-configured.target-dir-missing",
+                    severity: "error",
+                    message: `Agent "${agent.agentId}" target directory is not available`,
+                    subject: { kind: "agent", ref: agent.agentId },
+                    details: agent.resolutionProblem,
+                    action: EDIT_SETTINGS_ACTION,
+                },
+            ];
+        }
+        return [
+            {
+                id: "agents-configured.target-dir-missing",
+                severity: "error",
+                message: `Agent "${agent.agentId}" target directory does not exist`,
+                subject: { kind: "agent", ref: agent.agentId },
+                details: agent.targetDir,
+                action: SYNC_ACTION,
+            },
+        ];
+    })),
+};
+const targetDirNotWritableDiagnostic = {
+    id: "agents-configured.target-dir-not-writable",
+    run: (ctx) => Effect.succeed(ctx.configuredAgents.flatMap((agent) => agent.targetDirExists && !agent.targetDirWritable
+        ? [
+            {
+                id: "agents-configured.target-dir-not-writable",
+                severity: "error",
+                message: `Agent "${agent.agentId}" target directory is not writable`,
+                subject: { kind: "agent", ref: agent.agentId },
+                details: agent.targetDir,
+                action: FIX_PERMISSIONS_ACTION,
+            },
+        ]
+        : [])),
+};
+const declaredNotDetectedDiagnostic = {
+    id: "agents-configured.declared-not-detected",
+    run: (ctx) => Effect.succeed(ctx.configuredAgents.flatMap((agent) => !agent.detected && agent.targetDirExists && agent.targetDirWritable
+        ? [
+            {
+                id: "agents-configured.declared-not-detected",
+                severity: "info",
+                message: `Agent "${agent.agentId}" is declared but was not detected on disk`,
+                subject: { kind: "agent", ref: agent.agentId },
+                action: SYNC_ACTION,
+            },
+        ]
+        : [])),
+};
+const detectedNotDeclaredDiagnostic = {
+    id: "agents-configured.detected-not-declared",
+    run: (ctx) => Effect.succeed(ctx.detectedNotDeclaredAgentIds.map((agentId) => ({
+        id: "agents-configured.detected-not-declared",
+        severity: "warn",
+        message: `Agent "${agentId}" was detected on disk but is not configured in settings.json`,
+        subject: { kind: "agent", ref: agentId },
+        action: DISCOVER_ACTION,
+    }))),
+};
+export const agentsConfiguredCheck = defineCheck({
+    id: CHECK_IDS.agentsConfigured,
+    title: "Agents configured",
+    description: "Verifies declared agents are recognized, detected, and writable at their target directories.",
+    dependsOn: [CHECK_IDS.workspaceReady],
+    prepareContext: prepareContext(),
+    diagnostics: [
+        unrecognizedAgentDiagnostic,
+        targetDirMissingDiagnostic,
+        targetDirNotWritableDiagnostic,
+        declaredNotDetectedDiagnostic,
+        detectedNotDeclaredDiagnostic,
+    ],
+});
+//# sourceMappingURL=agents-configured.js.map

package/dist/src/unstable/workspace/doctor/checks/agents-configured.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agents-configured.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/doctor/checks/agents-configured.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAGrF,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAsB,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,SAAS,EAA6B,MAAM,aAAa,CAAC;AAiBnE,MAAM,oBAAoB,GAAW;IACnC,KAAK,EAAE,oBAAoB;IAC3B,WAAW,EAAE,4CAA4C;CAC1D,CAAC;AAEF,MAAM,WAAW,GAAW;IAC1B,KAAK,EAAE,cAAc;IACrB,WAAW,EAAE,+CAA+C;IAC5D,OAAO,EAAE,UAAU;CACpB,CAAC;AAEF,MAAM,sBAAsB,GAAW;IACrC,KAAK,EAAE,4BAA4B;IACnC,WAAW,EAAE,gDAAgD;CAC9D,CAAC;AAEF,MAAM,eAAe,GAAW;IAC9B,KAAK,EAAE,kBAAkB;IACzB,WAAW,EAAE,sCAAsC;IACnD,OAAO,EAAE,cAAc;CACxB,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAA4B,EAAyB,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAE/F,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAE,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IACxC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CACxD,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EACf,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAClC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,cAAc,GAAG,GAAG,EAAE,CAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IACxC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;IAC5B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;IAE/C,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,EAAE;SACjC,mBAAmB,EAAE;SACrB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAA0B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,SAAS;SACtC,mBAAmB,EAAE;SACrB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAA+B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,SAAS;SACrC,4BAA4B,EAAE;SAC9B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAA0B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CACjE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EACvD,MAAM,CAAC,aAAa,CAAC,GAA0B,EAAE,CAAC,EAAE,CAAC,CACtD,CAAC;IACF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACrD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAEzD,MAAM,qBAAqB,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACjD,gBAAgB,EAChB,CAAC,KAAK,EAAE,EAAE,CACR,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK;aACzB,yBAAyB,CAAC,EAAE,aAAa,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC;aACxD,IAAI,CACH,MAAM,CAAC,KAAK,CAAC,CAAC,KAAe,EAAE,EAAE,CAC/B,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CACvE,CACF,CAAC;QAEJ,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO;gBACL,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,eAAe,EAAE,KAAK;gBACtB,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,OAAO,CAAC,MAAM;gBACjC,QAAQ,EAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;aACZ,CAAC;QACnC,CAAC;QAED,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,EAAE;aAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;aACnB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,MAAM,iBAAiB,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAEjF,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,SAAS,EAAE,OAAO,CAAC,GAAG;YACtB,eAAe;YACf,iBAAiB;YACjB,QAAQ,EAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;SACZ,CAAC;IACnC,CAAC,CAAC,EACJ,EAAE,WAAW,EAAE,WAAW,EAAE,CAC7B,CAAC;IAEF,OAAO;QACL,eAAe,EAAE,WAAW,CAAC,eAAe,CAAC;QAC7C,gBAAgB,EAAE,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAChE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAC1C;QACD,2BAA2B,EAAE,WAAW,CACtC,gBAAgB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CACzE;KACgC,CAAC;AACtC,CAAC,CAAC,CAAC;AAIL,MAAM,2BAA2B,GAA+B;IAC9D,EAAE,EAAE,sCAAsC;IAC1C,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,GAAG,CAAC,eAAe,CAAC,GAAG,CACrB,CAAC,OAAO,EAAW,EAAE,CAAC,CAAC;QACrB,EAAE,EAAE,sCAAsC;QAC1C,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,UAAU,OAAO,qBAAqB;QAC/C,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE;QACxC,MAAM,EAAE,oBAAoB;KAC7B,CAAC,CACH,CACF;CACJ,CAAC;AAEF,MAAM,0BAA0B,GAA+B;IAC7D,EAAE,EAAE,sCAAsC;IAC1C,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,KAAK,EAA0B,EAAE;QAC7D,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO;gBACL;oBACE,EAAE,EAAE,sCAAsC;oBAC1C,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,UAAU,KAAK,CAAC,OAAO,qCAAqC;oBACrE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE;oBAC9C,OAAO,EAAE,KAAK,CAAC,iBAAiB;oBAChC,MAAM,EAAE,oBAAoB;iBACX;aACpB,CAAC;QACJ,CAAC;QAED,OAAO;YACL;gBACE,EAAE,EAAE,sCAAsC;gBAC1C,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,UAAU,KAAK,CAAC,OAAO,mCAAmC;gBACnE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE;gBAC9C,OAAO,EAAE,KAAK,CAAC,SAAS;gBACxB,MAAM,EAAE,WAAW;aACF;SACpB,CAAC;IACJ,CAAC,CAAC,CACH;CACJ,CAAC;AAEF,MAAM,8BAA8B,GAA+B;IACjE,EAAE,EAAE,2CAA2C;IAC/C,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAC1B,CAAC,KAAK,EAA0B,EAAE,CAChC,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,iBAAiB;QAC/C,CAAC,CAAC;YACE;gBACE,EAAE,EAAE,2CAA2C;gBAC/C,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,UAAU,KAAK,CAAC,OAAO,oCAAoC;gBACpE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE;gBAC9C,OAAO,EAAE,KAAK,CAAC,SAAS;gBACxB,MAAM,EAAE,sBAAsB;aACb;SACpB;QACH,CAAC,CAAC,EAAE,CACT,CACF;CACJ,CAAC;AAEF,MAAM,6BAA6B,GAA+B;IAChE,EAAE,EAAE,yCAAyC;IAC7C,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAC1B,CAAC,KAAK,EAA0B,EAAE,CAChC,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,iBAAiB;QACjE,CAAC,CAAC;YACE;gBACE,EAAE,EAAE,yCAAyC;gBAC7C,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,UAAU,KAAK,CAAC,OAAO,4CAA4C;gBAC5E,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE;gBAC9C,MAAM,EAAE,WAAW;aACF;SACpB;QACH,CAAC,CAAC,EAAE,CACT,CACF;CACJ,CAAC;AAEF,MAAM,6BAA6B,GAA+B;IAChE,EAAE,EAAE,yCAAyC;IAC7C,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,GAAG,CAAC,2BAA2B,CAAC,GAAG,CACjC,CAAC,OAAO,EAAW,EAAE,CAAC,CAAC;QACrB,EAAE,EAAE,yCAAyC;QAC7C,QAAQ,EAAE,MAAM;QAChB,OAAO,EAAE,UAAU,OAAO,+DAA+D;QACzF,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE;QACxC,MAAM,EAAE,eAAe;KACxB,CAAC,CACH,CACF;CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,WAAW,CAAC;IAC/C,EAAE,EAAE,SAAS,CAAC,gBAAgB;IAC9B,KAAK,EAAE,mBAAmB;IAC1B,WAAW,EACT,8FAA8F;IAChG,SAAS,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC;IACrC,cAAc,EAAE,cAAc,EAAE;IAChC,WAAW,EAAE;QACX,2BAA2B;QAC3B,0BAA0B;QAC1B,8BAA8B;QAC9B,6BAA6B;QAC7B,6BAA6B;KAC9B;CACF,CAAC,CAAC"}

package/dist/src/unstable/workspace/doctor/checks/extensions-installed.d.ts

@@ -0,0 +1,5 @@
+import * as FileSystem from "effect/FileSystem";
+import * as Path from "effect/Path";
+import { Workspace } from "../../service-interface.js";
+export declare const extensionsInstalledCheck: import("../check-def.js").CheckDef<FileSystem.FileSystem | Path.Path | Workspace | import("effect/Scope").Scope | import("../../../source-resolution/service.ts").SourceHostProviders>;
+//# sourceMappingURL=extensions-installed.d.ts.map

package/dist/src/unstable/workspace/doctor/checks/extensions-installed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extensions-installed.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/doctor/checks/extensions-installed.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AAsBpC,OAAO,EAAE,SAAS,EAAgC,MAAM,4BAA4B,CAAC;AA6qBrF,eAAO,MAAM,wBAAwB,wLAQnC,CAAC"}

package/dist/src/unstable/workspace/doctor/checks/extensions-installed.js

@@ -0,0 +1,472 @@
+import * as Effect from "effect/Effect";
+import * as FileSystem from "effect/FileSystem";
+import * as Path from "effect/Path";
+import { extensionTypeSentenceLabels, parseRegistrySourceRef, toInstallableExtensionTypePlural, } from "../../../extensions/index.js";
+import { readSettingsOrDefault } from "../../../settings/index.js";
+import { computeSkillSourceHash } from "../../../skills/operations/install.js";
+import { satisfiesConstraint } from "../../../version-constraints/version-constraints.js";
+import { Workspace } from "../../service-interface.js";
+import { detectLockfileBlockers, detectSettingsEntryBlockers, } from "../../settings-validation/index.js";
+import { defineCheck } from "../check-def.js";
+import { CHECK_IDS } from "../types.js";
+// ---------------------------------------------------------------------------
+// Type-to-key mappings
+// ---------------------------------------------------------------------------
+const MEMBER_TYPES = [
+    "skill",
+    "command",
+    "subagent",
+    "mcp-server",
+];
+const MEMBER_LOCK_KEYS = {
+    skill: "skills",
+    command: "commands",
+    subagent: "subagents",
+    "mcp-server": "mcpServers",
+};
+const PACK_RESOLVED_KEYS = {
+    skill: "resolvedSkills",
+    command: "resolvedCommands",
+    subagent: "resolvedSubagents",
+    "mcp-server": "resolvedMcpServers",
+};
+// ---------------------------------------------------------------------------
+// Constants
+// ---------------------------------------------------------------------------
+const EMPTY_LOCK_STATE = {
+    skills: {},
+    commands: {},
+    subagents: {},
+    mcpServers: {},
+    packs: {},
+};
+const EDIT_SETTINGS_ACTION = {
+    label: "Edit settings.json",
+    description: "Fix the extension declaration and rerun doctor",
+};
+const SYNC_ACTION = {
+    label: "Run axm sync",
+    description: "Reconcile installed extensions with the workspace state",
+    command: "axm sync",
+};
+const CHECK_SOURCE_ACTION = {
+    label: "Check source configuration",
+    description: "Resolve the extension source and rerun doctor",
+};
+const SETTINGS_REASON_SUFFIXES = {
+    "entry-malformed": "declaration-invalid-source",
+    "source-not-found": "declaration-source-not-found",
+    "source-multiple-matches": "declaration-source-ambiguous",
+    "source-resolution-failed": "declaration-source-resolution-failed",
+    "source-timeout": "declaration-source-timeout",
+};
+const SETTINGS_REASON_ACTIONS = {
+    "entry-malformed": EDIT_SETTINGS_ACTION,
+    "source-not-found": EDIT_SETTINGS_ACTION,
+    "source-multiple-matches": EDIT_SETTINGS_ACTION,
+    "source-resolution-failed": CHECK_SOURCE_ACTION,
+    "source-timeout": CHECK_SOURCE_ACTION,
+};
+const lockfileReasonSeverity = (reason) => reason === "lockfile-entry-orphaned" ? "warn" : "error";
+// ---------------------------------------------------------------------------
+// Utilities
+// ---------------------------------------------------------------------------
+const sortEntries = (items) => [...items].sort((left, right) => left.type === right.type
+    ? left.name.localeCompare(right.name)
+    : left.type.localeCompare(right.type));
+const subjectRef = (entry) => `${entry.type}:${entry.name}`;
+const declaredEntryFromSubjectRef = (ref) => {
+    const [type, name] = ref.split(":");
+    if (name === undefined)
+        return undefined;
+    if (type === "skill" ||
+        type === "command" ||
+        type === "subagent" ||
+        type === "mcp-server" ||
+        type === "pack") {
+        return { type, name, source: "" };
+    }
+    return undefined;
+};
+const makeFinding = (args) => ({
+    id: `${CHECK_IDS.extensionsInstalled}.${args.suffix}`,
+    severity: args.severity,
+    message: args.message,
+    ...(args.subject === undefined ? {} : { subject: args.subject }),
+    ...(args.details === undefined ? {} : { details: args.details }),
+    ...(args.action === undefined ? {} : { action: args.action }),
+});
+const accumulateFindings = (acc, findings) => ({
+    findings: [...acc.findings, ...findings],
+    blocked: new Set([
+        ...acc.blocked,
+        ...findings.flatMap((f) => f.severity === "error" && f.subject !== undefined ? [f.subject.ref] : []),
+    ]),
+});
+// ---------------------------------------------------------------------------
+// Source validation
+// ---------------------------------------------------------------------------
+const isBareNameSource = (source) => /^[a-z0-9][a-z0-9-]*(?:@[^\s/:]+)?$/i.test(source);
+const isClearlyNonRegistrySource = (source) => source.startsWith("./") ||
+    source.startsWith("../") ||
+    source.startsWith("/") ||
+    source.startsWith("file://") ||
+    source.includes("://") ||
+    /^[a-z][a-z0-9+.-]*:/i.test(source);
+const disallowsNonRegistrySource = (type) => type === "command" || type === "mcp-server" || type === "pack";
+// ---------------------------------------------------------------------------
+// Declared entries
+// ---------------------------------------------------------------------------
+const buildDeclaredEntries = (settings) => sortEntries([
+    ...Object.entries(settings.skills ?? {}).map(([name, entry]) => ({
+        type: "skill",
+        name,
+        source: entry.source,
+    })),
+    ...Object.entries(settings.commands ?? {}).map(([name, entry]) => ({
+        type: "command",
+        name,
+        source: entry.source,
+    })),
+    ...Object.entries(settings.subagents ?? {}).map(([name, entry]) => ({
+        type: "subagent",
+        name,
+        source: entry.source,
+    })),
+    ...Object.entries(settings.mcpServers ?? {}).map(([name, entry]) => ({
+        type: "mcp-server",
+        name,
+        source: entry.source,
+    })),
+    ...Object.entries(settings.packs ?? {}).map(([name, entry]) => ({
+        type: "pack",
+        name,
+        source: entry.source,
+    })),
+]);
+// ---------------------------------------------------------------------------
+// Lock state helpers
+// ---------------------------------------------------------------------------
+const lockfileMaps = (ws) => Effect.all({
+    skills: ws.getLockedSkills().pipe(Effect.orElseSucceed(() => ({}))),
+    commands: ws.getLockedCommands().pipe(Effect.orElseSucceed(() => ({}))),
+    subagents: ws.getLockedSubagents().pipe(Effect.orElseSucceed(() => ({}))),
+    mcpServers: ws
+        .getLockedMcpServers()
+        .pipe(Effect.orElseSucceed(() => ({}))),
+    packs: ws
+        .getLockedExtensionPacks()
+        .pipe(Effect.orElseSucceed(() => ({}))),
+}, { concurrency: "unbounded" });
+const lockEntryForDeclared = (locks, entry) => entry.type === "pack" ? locks.packs[entry.name] : locks[MEMBER_LOCK_KEYS[entry.type]][entry.name];
+const retainedByPackForSubject = (locks, ref) => {
+    const parsed = declaredEntryFromSubjectRef(ref);
+    if (parsed === undefined || parsed.type === "pack")
+        return false;
+    return locks[MEMBER_LOCK_KEYS[parsed.type]][parsed.name]?.retainedByPack === true;
+};
+// ---------------------------------------------------------------------------
+// FQN helpers
+// ---------------------------------------------------------------------------
+const registryFqnFromDeclared = (entry) => {
+    const parsed = parseRegistrySourceRef(entry.source);
+    return parsed === undefined ? undefined : `${parsed.owner}/${parsed.type}/${parsed.name}`;
+};
+const registryFqnFromLockEntry = (type, name, entry) => {
+    if (entry.type === "registry") {
+        return `${entry.owner}/${toInstallableExtensionTypePlural(type)}/${entry.name}`;
+    }
+    return name.startsWith("@") ? name : undefined;
+};
+const declaredFqnSet = (entries) => new Set(entries.flatMap((entry) => {
+    const fqn = registryFqnFromDeclared(entry);
+    return fqn === undefined ? [] : [fqn];
+}));
+const allLockFqns = (locks) => new Set(MEMBER_TYPES.flatMap((memberType) => Object.entries(locks[MEMBER_LOCK_KEYS[memberType]]).flatMap(([name, entry]) => {
+    const fqn = registryFqnFromLockEntry(memberType, name, entry);
+    return fqn === undefined ? [] : [fqn];
+})));
+const allPackRetainedFqns = (locks) => new Set(MEMBER_TYPES.flatMap((memberType) => Object.values(locks.packs).flatMap((packEntry) => Object.keys(packEntry[PACK_RESOLVED_KEYS[memberType]]))));
+// ---------------------------------------------------------------------------
+// Finding builders
+// ---------------------------------------------------------------------------
+const perEntryFinding = (entry) => {
+    const ref = subjectRef(entry);
+    if (!entry.source.startsWith("@") && isBareNameSource(entry.source)) {
+        return makeFinding({
+            suffix: "declaration-bare-name",
+            severity: "error",
+            message: `The ${extensionTypeSentenceLabels[entry.type]} "${entry.name}" uses a bare source.`,
+            subject: { kind: "extension", ref },
+            details: entry.source,
+            action: EDIT_SETTINGS_ACTION,
+        });
+    }
+    if (disallowsNonRegistrySource(entry.type) && isClearlyNonRegistrySource(entry.source)) {
+        return makeFinding({
+            suffix: "declaration-non-registry-source",
+            severity: "error",
+            message: `The ${extensionTypeSentenceLabels[entry.type]} "${entry.name}" must use a registry source.`,
+            subject: { kind: "extension", ref },
+            details: entry.source,
+            action: EDIT_SETTINGS_ACTION,
+        });
+    }
+    return undefined;
+};
+const registryGroupKey = (entry) => {
+    const parsed = parseRegistrySourceRef(entry.source);
+    return parsed === undefined
+        ? undefined
+        : `${entry.type}:${parsed.owner}/${parsed.type}/${parsed.name}`;
+};
+const buildDeclarationFindings = (declaredEntries) => {
+    const entryFindings = declaredEntries.flatMap((entry) => {
+        const finding = perEntryFinding(entry);
+        return finding === undefined ? [] : [finding];
+    });
+    const earlyBlocked = new Set(entryFindings.flatMap((f) => (f.subject !== undefined ? [f.subject.ref] : [])));
+    const groups = new Map();
+    for (const entry of declaredEntries) {
+        if (earlyBlocked.has(subjectRef(entry)))
+            continue;
+        const key = registryGroupKey(entry);
+        if (key === undefined)
+            continue;
+        const group = groups.get(key);
+        if (group !== undefined) {
+            group.push(entry);
+        }
+        else {
+            groups.set(key, [entry]);
+        }
+    }
+    const duplicateFindings = [...groups.values()].flatMap((group) => {
+        if (group.length < 2)
+            return [];
+        const names = group.map((entry) => entry.name).sort();
+        return group.map((entry) => makeFinding({
+            suffix: "declaration-duplicate",
+            severity: "error",
+            message: `The ${extensionTypeSentenceLabels[entry.type]} "${entry.name}" is declared more than once.`,
+            subject: { kind: "extension", ref: subjectRef(entry) },
+            details: names.join(", "),
+            action: EDIT_SETTINGS_ACTION,
+        }));
+    });
+    return {
+        findings: [...entryFindings, ...duplicateFindings],
+        blockedSubjects: new Set([
+            ...earlyBlocked,
+            ...duplicateFindings.flatMap((f) => (f.subject !== undefined ? [f.subject.ref] : [])),
+        ]),
+    };
+};
+const buildVersionUnsatisfiedFindings = (declaredEntries, locks, blocked) => declaredEntries.flatMap((entry) => {
+    const ref = subjectRef(entry);
+    if (blocked.has(ref))
+        return [];
+    const parsed = parseRegistrySourceRef(entry.source);
+    if (parsed?.versionConstraint === undefined)
+        return [];
+    const lockEntry = lockEntryForDeclared(locks, entry);
+    if (lockEntry === undefined || lockEntry.type !== "registry")
+        return [];
+    if (satisfiesConstraint(lockEntry.resolvedVersion, parsed.versionConstraint))
+        return [];
+    return [
+        makeFinding({
+            suffix: "version-unsatisfied",
+            severity: "error",
+            message: `The ${extensionTypeSentenceLabels[entry.type]} "${entry.name}" does not satisfy its declared version constraint.`,
+            subject: { kind: "extension", ref },
+            details: `Declared ${parsed.versionConstraint}, installed ${lockEntry.resolvedVersion}`,
+            action: SYNC_ACTION,
+        }),
+    ];
+});
+const buildIntegrityMismatchFindings = (locks, blocked) => Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const ws = yield* Workspace;
+    const findings = yield* Effect.forEach(Object.entries(locks.skills), ([name, entry]) => Effect.gen(function* () {
+        const ref = `skill:${name}`;
+        if (blocked.has(ref) || entry.sourceHash === undefined || entry.type !== "registry") {
+            return [];
+        }
+        const { canonicalPath } = yield* ws.getSkillDir(entry.name, {
+            refType: "registry",
+            owner: entry.owner,
+        });
+        const exists = yield* fs.exists(canonicalPath).pipe(Effect.orElseSucceed(() => false));
+        if (!exists)
+            return [];
+        const actualHash = yield* computeSkillSourceHash(canonicalPath).pipe(Effect.orElseSucceed(() => entry.sourceHash));
+        if (actualHash === entry.sourceHash)
+            return [];
+        return [
+            makeFinding({
+                suffix: "integrity-mismatch",
+                severity: "error",
+                message: `The skill "${name}" does not match its recorded installed contents.`,
+                subject: { kind: "extension", ref },
+                details: `Expected ${entry.sourceHash}, got ${actualHash}`,
+                action: SYNC_ACTION,
+            }),
+        ];
+    }).pipe(Effect.catch(() => Effect.succeed([]))), { concurrency: "unbounded" });
+    return findings.flatMap((entryFindings) => entryFindings);
+});
+const buildPackUnknownDependencyFindings = (locks, blocked) => {
+    const knownFqns = allLockFqns(locks);
+    return Object.entries(locks.packs).flatMap(([name, packEntry]) => {
+        const ref = `pack:${name}`;
+        if (blocked.has(ref))
+            return [];
+        return MEMBER_TYPES.flatMap((memberType) => Object.keys(packEntry[PACK_RESOLVED_KEYS[memberType]])
+            .filter((fqn) => !knownFqns.has(fqn))
+            .map((fqn) => makeFinding({
+            suffix: "declaration-pack-unknown-dep",
+            severity: "error",
+            message: `The extension pack "${name}" references a dependency that is not installed.`,
+            subject: { kind: "extension", ref },
+            details: fqn,
+            action: SYNC_ACTION,
+        })));
+    });
+};
+const buildPackMemberDroppedFindings = (declaredEntries, locks, blocked) => {
+    const directFqns = declaredFqnSet(declaredEntries);
+    const retainedFqns = allPackRetainedFqns(locks);
+    return MEMBER_TYPES.flatMap((memberType) => Object.entries(locks[MEMBER_LOCK_KEYS[memberType]]).flatMap(([name, entry]) => {
+        if (!entry.retainedByPack)
+            return [];
+        const ref = `${memberType}:${name}`;
+        const fqn = registryFqnFromLockEntry(memberType, name, entry);
+        if (fqn === undefined || blocked.has(ref) || directFqns.has(fqn) || retainedFqns.has(fqn)) {
+            return [];
+        }
+        return [
+            makeFinding({
+                suffix: "pack-member-dropped",
+                severity: "warn",
+                message: `The ${extensionTypeSentenceLabels[memberType]} "${name}" is still retained from a pack, but no installed pack declares it anymore.`,
+                subject: { kind: "extension", ref },
+                action: SYNC_ACTION,
+            }),
+        ];
+    }));
+};
+const mapLockfileBlocker = (blocker) => makeFinding({
+    suffix: blocker.reason,
+    severity: lockfileReasonSeverity(blocker.reason),
+    message: blocker.message,
+    subject: blocker.subject,
+    action: SYNC_ACTION,
+});
+// ---------------------------------------------------------------------------
+// Phase helpers (scoped mutation for within-phase deduplication only)
+// ---------------------------------------------------------------------------
+const buildSettingsPhaseFindings = (blockers, locks, blocked) => {
+    const seen = new Set(blocked);
+    return blockers.flatMap((blocker) => {
+        if (seen.has(blocker.subject.ref))
+            return [];
+        const entry = declaredEntryFromSubjectRef(blocker.subject.ref);
+        if (blocker.reason === "source-not-found" &&
+            entry !== undefined &&
+            lockEntryForDeclared(locks, entry) !== undefined) {
+            return [];
+        }
+        seen.add(blocker.subject.ref);
+        return [
+            makeFinding({
+                suffix: SETTINGS_REASON_SUFFIXES[blocker.reason],
+                severity: "error",
+                message: blocker.message,
+                subject: blocker.subject,
+                action: SETTINGS_REASON_ACTIONS[blocker.reason],
+            }),
+        ];
+    });
+};
+const buildLockfilePhaseFindings = (blockers, locks, blocked) => {
+    const seen = new Set(blocked);
+    return blockers.flatMap((blocker) => {
+        if (seen.has(blocker.subject.ref))
+            return [];
+        if (blocker.reason === "lockfile-entry-orphaned" &&
+            retainedByPackForSubject(locks, blocker.subject.ref)) {
+            return [];
+        }
+        const finding = mapLockfileBlocker(blocker);
+        if (finding.severity === "error") {
+            seen.add(blocker.subject.ref);
+        }
+        return [finding];
+    });
+};
+// ---------------------------------------------------------------------------
+// Orchestration
+// ---------------------------------------------------------------------------
+const prepareContext = () => Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    const ws = yield* Workspace;
+    const settings = yield* readSettingsOrDefault(ws.path).pipe(Effect.provideService(FileSystem.FileSystem, fs), Effect.provideService(Path.Path, path));
+    const declaredEntries = buildDeclaredEntries(settings);
+    const lockfileState = yield* ws
+        .getLockfileState()
+        .pipe(Effect.orElseSucceed(() => "invalid"));
+    const locks = lockfileState === "ok" ? yield* lockfileMaps(ws) : EMPTY_LOCK_STATE;
+    const settingsBlockers = yield* detectSettingsEntryBlockers();
+    const declaration = buildDeclarationFindings(declaredEntries);
+    const afterDecl = {
+        findings: declaration.findings,
+        blocked: declaration.blockedSubjects,
+    };
+    const settingsFindings = buildSettingsPhaseFindings(settingsBlockers, locks, afterDecl.blocked);
+    const afterSettings = accumulateFindings(afterDecl, settingsFindings);
+    const relevantEntries = declaredEntries.filter((e) => !afterSettings.blocked.has(subjectRef(e)));
+    if (lockfileState !== "ok" && relevantEntries.length > 0) {
+        return {
+            findings: [
+                ...afterSettings.findings,
+                makeFinding({
+                    suffix: lockfileState === "missing" ? "lockfile-missing" : "lockfile-invalid",
+                    severity: "error",
+                    message: lockfileState === "missing"
+                        ? "The workspace lockfile is missing."
+                        : "The workspace lockfile could not be read.",
+                    subject: { kind: "workspace", ref: ws.path },
+                    action: SYNC_ACTION,
+                }),
+            ],
+        };
+    }
+    const lockfileBlockers = lockfileState === "ok" ? yield* detectLockfileBlockers() : [];
+    const lockfileFindings = buildLockfilePhaseFindings(lockfileBlockers, locks, afterSettings.blocked);
+    const afterLockfile = accumulateFindings(afterSettings, lockfileFindings);
+    const versionFindings = buildVersionUnsatisfiedFindings(declaredEntries, locks, afterLockfile.blocked);
+    const afterVersion = accumulateFindings(afterLockfile, versionFindings);
+    const integrityFindings = yield* buildIntegrityMismatchFindings(locks, afterVersion.blocked);
+    const afterIntegrity = accumulateFindings(afterVersion, integrityFindings);
+    const packDepFindings = buildPackUnknownDependencyFindings(locks, afterIntegrity.blocked);
+    const afterPackDeps = accumulateFindings(afterIntegrity, packDepFindings);
+    const packDroppedFindings = buildPackMemberDroppedFindings(declaredEntries, locks, afterPackDeps.blocked);
+    return {
+        findings: [...afterPackDeps.findings, ...packDroppedFindings],
+    };
+});
+const extensionsInstalledDiagnostic = {
+    id: "extensions-installed.findings",
+    run: (ctx) => Effect.succeed(ctx.findings),
+};
+export const extensionsInstalledCheck = defineCheck({
+    id: CHECK_IDS.extensionsInstalled,
+    title: "Extensions are installed",
+    description: "Verifies extension declarations, lockfile state, and installed extension contents are consistent.",
+    dependsOn: [CHECK_IDS.workspaceReady],
+    prepareContext: prepareContext(),
+    diagnostics: [extensionsInstalledDiagnostic],
+});
+//# sourceMappingURL=extensions-installed.js.map