@agentxm/workspace-lint 0.28.5 → 0.28.6

package/dist/src/catalog/workspace/mcps-agent-drift.js

@@ -3,7 +3,7 @@ import * as Option from "effect/Option";
 import * as Result from "effect/Result";
 import { CONFIGURABLE_AGENTS_BY_ID, } from "@agentxm/extension-model/unstable/agent-capabilities";
 import { isAxmManagedMcpEntry } from "@agentxm/workspace-state";
-import { diffAgentEntry, inferInlineRemoteTransport, projectExpectedEntry, resolveSharedMcpTarget, planMcpTargetGroups, } from "@agentxm/extension-workspace";
+import { diffAgentEntry, inferInlineRemoteTransport, projectExpectedEntry, resolveSharedMcpTarget, groupConfiguredMcpTargets, } from "@agentxm/extension-workspace";
 const RULE_ID = "workspace/mcps-agent-drift";
 const relativeToRoot = (root, file) => {
     if (file === root)
@@ -44,9 +44,8 @@ const configFileMatchesTarget = (configFile, targetPath) => configFile === targe
 const checkActual = (args) => {
     if (args.actual.config === null || args.actual.configFile === null)
         return undefined;
-    const groups = planMcpTargetGroups({
-        configuredAgentIds: [...args.configuredAgents],
-        entry: args.entry,
+    const groups = groupConfiguredMcpTargets({
+        agentIds: [...args.configuredAgents],
         scope: args.row.key.scope,
     });
     const agentId = args.actual.origin._tag === "agent-mcp-config" ? args.actual.origin.agentId : undefined;

package/dist/src/catalog/workspace/projection-contributors-rendered.d.ts

@@ -0,0 +1,11 @@
+import { type ProjectionInvariantFact } from "@agentxm/extension-workspace";
+import type { WorkspaceRuleContext } from "../../workspace-context.js";
+import type { AdvisoryRule, LintFinding } from "@agentxm/registry-protocol/unstable/lint/rule";
+/**
+ * A generated file that omits a desired contributor is still written, so no
+ * command fails on it. This rule is the durable reminder: it reports each
+ * omission, and why, until the package is fixed or removed.
+ */
+export declare const projectionContributorsRenderedRule: AdvisoryRule<WorkspaceRuleContext>;
+export declare const findingsForProjectionExclusions: (facts: ReadonlyArray<ProjectionInvariantFact>) => ReadonlyArray<LintFinding>;
+//# sourceMappingURL=projection-contributors-rendered.d.ts.map

package/dist/src/catalog/workspace/projection-contributors-rendered.js

@@ -0,0 +1,30 @@
+import * as Effect from "effect/Effect";
+import { formatProjectionExclusion, } from "@agentxm/extension-workspace";
+import { EMPTY_LINT_FINDINGS } from "./helpers/empty.js";
+const RULE_ID = "workspace/projection-contributors-rendered";
+/**
+ * A generated file that omits a desired contributor is still written, so no
+ * command fails on it. This rule is the durable reminder: it reports each
+ * omission, and why, until the package is fixed or removed.
+ */
+export const projectionContributorsRenderedRule = {
+    id: RULE_ID,
+    description: "Every desired contributor reaches the AXM-managed file it belongs in.",
+    kind: "advisory",
+    severity: "warning",
+    check: (context) => Effect.gen(function* () {
+        if (context.projections === undefined)
+            return EMPTY_LINT_FINDINGS;
+        return findingsForProjectionExclusions(yield* context.projections.facts);
+    }),
+};
+export const findingsForProjectionExclusions = (facts) => facts.flatMap((fact) => (fact.observation.exclusions ?? []).map((exclusion) => ({
+    kind: "advisory",
+    ruleId: RULE_ID,
+    severity: "warning",
+    message: formatProjectionExclusion({
+        exclusion,
+        targetFile: fact.subject.path.split("#", 1)[0] ?? fact.subject.path,
+    }),
+})));
+//# sourceMappingURL=projection-contributors-rendered.js.map

package/dist/src/catalog/workspace.js

@@ -21,6 +21,7 @@ import { instructionsTargetCurrentRule } from "./workspace/instructions-target-c
 import { instructionsTargetUnownedRule } from "./workspace/instructions-target-unowned.js";
 import { instructionsTargetStaleRule } from "./workspace/instructions-target-stale.js";
 import { projectionOwnershipValidRule } from "./workspace/projection-ownership-valid.js";
+import { projectionContributorsRenderedRule } from "./workspace/projection-contributors-rendered.js";
 import { instructionsAgentSupportedRule } from "./workspace/instructions-agent-supported.js";
 import { instructionsGitignoreCurrentRule } from "./workspace/instructions-gitignore-current.js";
 import { skillsDeclarationsValidRule } from "./workspace/skills-declarations-valid.js";
@@ -33,7 +34,6 @@ import { configuredButNotInstalledRule } from "./workspace/configured-but-not-in
 import { mcpServerNoSecretLiteralRule } from "./workspace/mcps-no-secret-literal.js";
 import { mcpServerTransportExclusivityRule } from "./workspace/mcps-transport-exclusivity.js";
 import { mcpServerAgentDriftRule } from "./workspace/mcps-agent-drift.js";
-import { mcpServerSharedTargetCompatibleRule } from "./workspace/mcps-shared-target-compatible.js";
 import { mcpServerAgentOrphanedRule } from "./workspace/mcps-agent-orphaned.js";
 import { desiredStateReconcilableRule } from "./workspace/desired-state-reconcilable.js";
 import { knowledgeStateValidRule } from "./workspace/knowledge-state-valid.js";
@@ -70,7 +70,6 @@ export const repositoryWorkspaceRules = [
     knowledgeStateValidRule,
     mcpServerTransportExclusivityRule,
     mcpServerNoSecretLiteralRule,
-    mcpServerSharedTargetCompatibleRule,
     // Lockfile aligned (configured).
     skillsLockfileAlignedRule,
     // Integrity intact (configured + implicit).
@@ -88,6 +87,7 @@ export const liveOnlyWorkspaceRules = [
     instructionsTargetUnownedRule,
     instructionsTargetStaleRule,
     projectionOwnershipValidRule,
+    projectionContributorsRenderedRule,
     hookOwnershipAmbiguousRule,
     managedFileUnownedRule,
     mcpServerAgentDriftRule,
@@ -114,6 +114,7 @@ export const workspaceRules = [
     instructionsAgentSupportedRule,
     instructionsGitignoreCurrentRule,
     projectionOwnershipValidRule,
+    projectionContributorsRenderedRule,
     hookOwnershipAmbiguousRule,
     managedFileUnownedRule,
     skillsDeclarationsValidRule,
@@ -122,7 +123,6 @@ export const workspaceRules = [
     knowledgeStateValidRule,
     mcpServerTransportExclusivityRule,
     mcpServerNoSecretLiteralRule,
-    mcpServerSharedTargetCompatibleRule,
     mcpServerAgentDriftRule,
     mcpServerAgentOrphanedRule,
     skillsLockfileAlignedRule,

package/dist/src/index.d.ts

@@ -2,6 +2,7 @@ export type { WorkspaceRuleContext, WorkspaceSubject } from "./workspace-context
 export { CATALOG_GROUP_ORDER, LIVE_ONLY_LINT_CATALOGS, LINT_CATALOGS, REPOSITORY_LINT_CATALOGS, emptyCatalogRuleContexts, lintCatalogsForView, type CatalogContext, type CatalogGroup, type CatalogRuleContexts, type LintView, } from "./catalog-contexts.js";
 export { LintInputSchema, LintJsonDocumentSchema, LintJsonFindingSchema, type LintInput, type LintJsonDocument, type LintJsonFinding, } from "./json-schema.js";
 export { findingsForProjectionOwnership } from "./catalog/workspace/projection-ownership-valid.js";
+export { findingsForProjectionExclusions } from "./catalog/workspace/projection-contributors-rendered.js";
 export { collectRenderedFindings, countFindings, detectPublishGateDrift, evaluateAllCatalogs, renderFindingsText, resolveLintExitCategory, summarizeEvaluations, toLintHumanBlocks, toLintJsonDocument, type FindingCounts, type GroupEvaluations, type LintHumanBlock, type LintHumanDiagnostic, type LintHumanReporter, type LintExitCategory, type LintSummary, type RenderFindingsArgs, type RenderedFinding, } from "./cli.js";
 export { allCatalogErrorRuleIds, allCatalogRuleMetadata, allCatalogRuleIds, buildAcquiredInstalledSkillInfo, buildInstalledPackInfo, buildLintWorkspace, buildNativeInstalledSkillInfo, acquiredSkillDisplayRoot, registryNativeSkillDisplayRoot, registryPackDisplayRoot, liveOnlyWorkspaceRules, repositoryWorkspaceRules, workspaceRules, type BuildInstalledPackInfoArgs, type BuildAcquiredInstalledSkillInfoArgs, type BuildInstalledSkillInfoNativeArgs, type BuildLintWorkspaceArgs, type LintWorkspace, type LintWorkspaceView, } from "./catalog/index.js";
 export { LintStagingFailed } from "./run/errors.js";

package/dist/src/index.js

@@ -4,6 +4,7 @@ export { CATALOG_GROUP_ORDER, LIVE_ONLY_LINT_CATALOGS, LINT_CATALOGS, REPOSITORY
 // `--json` document schema + derived types
 export { LintInputSchema, LintJsonDocumentSchema, LintJsonFindingSchema, } from "./json-schema.js";
 export { findingsForProjectionOwnership } from "./catalog/workspace/projection-ownership-valid.js";
+export { findingsForProjectionExclusions } from "./catalog/workspace/projection-contributors-rendered.js";
 // Lint runner (Phase 5) — reusable primitives the `axm lint` CLI composes
 // over. Keeps the CLI command file a thin surface over flag parsing and
 // rendering per task 5.11.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentxm/workspace-lint",
-  "version": "0.28.5",
+  "version": "0.28.6",
   "description": "AXM workspace-lint feature: workspace facts, lint rules, findings, normalization, and bounded fix planning for the axm CLI. Unstable and unsupported — use the axm.sh CLI.",
   "type": "module",
   "license": "FSL-1.1-MIT",
@@ -37,12 +37,12 @@
   },
   "dependencies": {
     "effect": "4.0.0-rc.112",
-    "@agentxm/extension-sources": "^0.28.5",
-    "@agentxm/registry-protocol": "^0.28.5",
-    "@agentxm/workspace-state": "^0.28.5",
-    "@agentxm/workspace-operations": "^0.28.5",
-    "@agentxm/extension-model": "^0.28.5",
-    "@agentxm/extension-workspace": "^0.28.5"
+    "@agentxm/extension-model": "^0.28.6",
+    "@agentxm/extension-sources": "^0.28.6",
+    "@agentxm/extension-workspace": "^0.28.6",
+    "@agentxm/registry-protocol": "^0.28.6",
+    "@agentxm/workspace-state": "^0.28.6",
+    "@agentxm/workspace-operations": "^0.28.6"
   },
   "devDependencies": {
     "@effect/platform-node": "4.0.0-rc.112",
@@ -51,6 +51,6 @@
     "@typescript/native": "npm:typescript@^7.0.2",
     "typescript": "npm:@typescript/typescript6@^6.0.2",
     "vitest": "^4.1.10",
-    "@agentxm/agent-integration": "^0.28.5"
+    "@agentxm/agent-integration": "^0.28.6"
   }
 }

package/dist/src/catalog/workspace/mcps-shared-target-compatible.d.ts

@@ -1,4 +0,0 @@
-import type { WorkspaceRuleContext } from "../../workspace-context.js";
-import type { AdvisoryRule } from "@agentxm/registry-protocol/unstable/lint/rule";
-export declare const mcpServerSharedTargetCompatibleRule: AdvisoryRule<WorkspaceRuleContext>;
-//# sourceMappingURL=mcps-shared-target-compatible.d.ts.map

package/dist/src/catalog/workspace/mcps-shared-target-compatible.js

@@ -1,72 +0,0 @@
-import * as Effect from "effect/Effect";
-import * as Option from "effect/Option";
-import * as Result from "effect/Result";
-import { inferInlineRemoteTransport, resolveSharedMcpTarget, groupConfiguredMcpTargets, } from "@agentxm/extension-workspace";
-import { isMcpServerApplicableToAgent } from "@agentxm/workspace-state";
-import { settingsDisplayPath } from "./display-paths.js";
-const RULE_ID = "workspace/mcps-shared-target-compatible";
-const transportFor = (entry) => {
-    if (entry.command !== undefined)
-        return "stdio";
-    if (entry.url === undefined)
-        return undefined;
-    const inference = inferInlineRemoteTransport(entry.url);
-    return inference._tag === "supported" ? inference.transport : undefined;
-};
-const findingFor = (serverName, path, reason, settingsPath) => ({
-    kind: "advisory",
-    ruleId: RULE_ID,
-    severity: "error",
-    message: "MCP server '" +
-        serverName +
-        "' projects a value that another configured agent rejects in shared target '" +
-        path +
-        "'. " +
-        reason +
-        " Update the configured agents or their MCP compatibility metadata before syncing.",
-    location: { file: settingsPath },
-});
-export const mcpServerSharedTargetCompatibleRule = {
-    id: RULE_ID,
-    description: "Configured agents accept the values projected into shared MCP config targets.",
-    kind: "advisory",
-    severity: "error",
-    check: (context) => Effect.gen(function* () {
-        const settings = yield* Effect.result(context.workspace.state.settings);
-        if (Result.isFailure(settings) || Option.isNone(settings.success))
-            return [];
-        const agentIds = settings.success.value.agents ?? [];
-        const entries = settings.success.value.mcpServers ?? {};
-        const groups = groupConfiguredMcpTargets({
-            agentIds,
-            scope: context.subject.scope,
-        }).filter((group) => group.members.length > 1);
-        return Object.entries(entries).flatMap(([serverName, entry]) => {
-            const transport = transportFor(entry);
-            if (transport === undefined)
-                return [];
-            return groups.flatMap((group) => {
-                const applicableAgentIds = group.members
-                    .filter((member) => isMcpServerApplicableToAgent(entry, member.agentId))
-                    .map((member) => member.agentId);
-                if (applicableAgentIds.length === 0)
-                    return [];
-                if (applicableAgentIds.length < group.members.length) {
-                    const untargetedAgentIds = group.members
-                        .filter((member) => !isMcpServerApplicableToAgent(entry, member.agentId))
-                        .map((member) => member.agentId);
-                    return [
-                        findingFor(serverName, group.path, `MCP target policy cannot be represented; targeted agents ${applicableAgentIds.join(", ")} share it with untargeted agents ${untargetedAgentIds.join(", ")}.`, settingsDisplayPath(context.subject.scope)),
-                    ];
-                }
-                const resolution = resolveSharedMcpTarget({ members: group.members, transport });
-                return resolution._tag === "conflict"
-                    ? [
-                        findingFor(serverName, resolution.path, resolution.reason, settingsDisplayPath(context.subject.scope)),
-                    ]
-                    : [];
-            });
-        });
-    }),
-};
-//# sourceMappingURL=mcps-shared-target-compatible.js.map