@agentxm/extension-lifecycle 0.29.4 → 0.30.1

package/dist/src/packs/member-install-step.js

@@ -10,7 +10,9 @@
  */
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
-import { HookManager, KnowledgeManager, NO_MATERIALIZATION_OBSERVATION, RuleManager, SkillManager, SubagentManager, buildInstallOperation, extensionRefLifecycleWarnings, extensionRefRegistryLifecycle, installMcpServer, toLabelWithCompanions, } from "@agentxm/extension-materialization";
+import { HookManager, KnowledgeManager, NO_MATERIALIZATION_OBSERVATION, RuleManager, SkillManager, SubagentManager, } from "@agentxm/extension-materialization";
+import { installMcpServer } from "@agentxm/workspace-reconciliation";
+import { buildInstallOperation, extensionRefLifecycleWarnings, extensionRefRegistryLifecycle, toLabelWithCompanions, } from "@agentxm/workspace-reconciliation";
 import { WorkspaceMutations } from "@agentxm/workspace-state";
 import { lifecycleStepFailure } from "../step-failure.js";
 import { registrySourceArtifact } from "./artifact.js";
@@ -28,9 +30,7 @@ export const buildPackMemberInstallStep = Effect.fn("InstallExtensions.buildPack
         return buildInstallOperation(skillManager, {
             toStepFailure: lifecycleStepFailure,
             ref,
-            versionRange: Option.none(),
-            skipSettings: true,
-            deferObservableValidation: true,
+            enclosingClosure: { projections: [], postconditions: [ref.type] },
             installedBefore: args.graphComplete
                 ? skillManager.isInstalled({ target: { type: "skill", name: ref.skill.name } })
                 : Effect.succeed(false),
@@ -55,8 +55,6 @@ export const buildPackMemberInstallStep = Effect.fn("InstallExtensions.buildPack
                     ref,
                     nonInteractive: args.nonInteractive,
                     force: false,
-                    versionRange: Option.none(),
-                    skipSettings: Option.some(true),
                     strictAgentSync: Option.some(true),
                     env: Option.none(),
                 },
@@ -82,9 +80,7 @@ export const buildPackMemberInstallStep = Effect.fn("InstallExtensions.buildPack
         return buildInstallOperation(subagentManager, {
             toStepFailure: lifecycleStepFailure,
             ref,
-            versionRange: Option.none(),
-            skipSettings: true,
-            deferObservableValidation: true,
+            enclosingClosure: { projections: [], postconditions: [ref.type] },
             installedBefore: args.graphComplete
                 ? subagentManager.isInstalled({ target: { type: "subagent", name: ref.subagent.name } })
                 : Effect.succeed(false),
@@ -104,10 +100,7 @@ export const buildPackMemberInstallStep = Effect.fn("InstallExtensions.buildPack
         return buildInstallOperation(ruleManager, {
             toStepFailure: lifecycleStepFailure,
             ref,
-            versionRange: Option.none(),
-            skipSettings: true,
-            skipProjections: true,
-            deferObservableValidation: true,
+            enclosingClosure: { projections: [ref.type], postconditions: [ref.type] },
             installedBefore: args.graphComplete
                 ? ruleManager.isInstalled({ target: { type: "rule", name: ref.rule.name } })
                 : Effect.succeed(false),
@@ -124,10 +117,7 @@ export const buildPackMemberInstallStep = Effect.fn("InstallExtensions.buildPack
         return buildInstallOperation(hookManager, {
             toStepFailure: lifecycleStepFailure,
             ref,
-            versionRange: Option.none(),
-            skipSettings: true,
-            skipProjections: true,
-            deferObservableValidation: true,
+            enclosingClosure: { projections: [ref.type], postconditions: [ref.type] },
             installedBefore: args.graphComplete
                 ? hookManager.isInstalled({ target: { type: "hook", name: ref.hook.name } })
                 : Effect.succeed(false),
@@ -143,10 +133,7 @@ export const buildPackMemberInstallStep = Effect.fn("InstallExtensions.buildPack
     return buildInstallOperation(knowledgeManager, {
         toStepFailure: lifecycleStepFailure,
         ref,
-        versionRange: Option.none(),
-        skipSettings: true,
-        skipProjections: true,
-        deferObservableValidation: true,
+        enclosingClosure: { projections: [ref.type], postconditions: [ref.type] },
         installedBefore: args.graphComplete
             ? knowledgeManager.isInstalled({ target: { type: "knowledge", name: ref.knowledge.name } })
             : Effect.succeed(false),

package/dist/src/packs/promote-authored-pack.js

@@ -1,3 +1,4 @@
+import { buildReconciliationClosure } from "@agentxm/workspace-reconciliation";
 /**
  * Unpacking a Pack: promoting its members to direct declarations.
  *
@@ -22,12 +23,13 @@
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
 import * as Path from "effect/Path";
-import { PackManager, buildUninstallOperation, } from "@agentxm/extension-materialization";
+import { PackManager } from "@agentxm/extension-materialization";
+import { buildUninstallOperation, } from "@agentxm/workspace-reconciliation";
 import { operationPresentation, prepareExecutionCandidate, resolveExecutionCandidate, } from "@agentxm/workspace-operations";
 import { WorkspaceMutations, usableAcceptedCanonical, } from "@agentxm/workspace-state";
 import { ExtensionLifecycleFailed } from "../errors.js";
 import { lifecycleStepFailure } from "../step-failure.js";
-import { buildAtomicPackGraphStep, validatePackGraphPostcondition } from "./graph-transition.js";
+import { validatePackGraphPostcondition } from "./graph-transition.js";
 // -----------------------------------------------------------------------------
 // Promotion
 // -----------------------------------------------------------------------------
@@ -186,7 +188,8 @@ const settleUnpack = Effect.fn("PromoteAuthoredPack.prepare")(function* (request
         })),
         { path: packDisplayPath(path, ws, packNode), change: "removed" },
     ];
-    const graphStep = yield* buildAtomicPackGraphStep({
+    const graphStep = yield* buildReconciliationClosure({
+        toStepFailure: lifecycleStepFailure,
         label: packNode.identity,
         message: `Unpacked ${packNode.identity} into ${promotions.length} direct declaration${promotions.length === 1 ? "" : "s"}`,
         artifact: {

package/dist/src/packs/uninstall/plan.js

@@ -1,3 +1,4 @@
+import { buildReconciliationClosure } from "@agentxm/workspace-reconciliation";
 /**
  * Uninstalling packs.
  *
@@ -13,7 +14,8 @@ import * as Effect from "effect/Effect";
 import * as FileSystem from "effect/FileSystem";
 import * as Option from "effect/Option";
 import * as Path from "effect/Path";
-import { HookManager, KnowledgeManager, McpServerManager, PackManager, RuleManager, SkillManager, SubagentManager, buildUninstallOperation, toLabel, } from "@agentxm/extension-materialization";
+import { HookManager, KnowledgeManager, McpServerManager, PackManager, RuleManager, SkillManager, SubagentManager, } from "@agentxm/extension-materialization";
+import { buildUninstallOperation, prepareUninstallArtifact, collectCleanupStep, proposeDesiredState, } from "@agentxm/workspace-reconciliation";
 import { parseExtensionFqnParts, } from "@agentxm/extension-model/unstable/extensions";
 import { operationPresentation, } from "@agentxm/workspace-operations";
 import { WorkspaceMutations, decodeDesiredExtensionIdentity, } from "@agentxm/workspace-state";
@@ -21,9 +23,8 @@ import { expandGlob } from "../../glob.js";
 import { lifecycleStepFailure } from "../../step-failure.js";
 import { buildAggregateProjectionStep } from "../../install/aggregate-projection-step.js";
 import { installRefused } from "../../install/vocabulary.js";
-import { exclusiveMemberRetentionPolicy, makeWorkspaceRetentionPolicy, } from "../../uninstall/retention-policy.js";
-import { workspaceCanonicalNodePath } from "../../workspace-paths.js";
-import { buildAtomicPackGraphStep, validatePackGraphPostcondition } from "../graph-transition.js";
+import { exclusiveMemberRetentionPolicy, makeWorkspaceRetentionPolicy, } from "@agentxm/workspace-reconciliation";
+import { validatePackGraphPostcondition } from "../graph-transition.js";
 import { PACK_UNINSTALL_GRAPH_BLOCKER_ID, planPackUninstallGraphReadiness, } from "./readiness.js";
 const normalizedPackIdentity = (identity) => identity.startsWith("workspace:") ? identity.slice("workspace:".length) : identity;
 const identityValidationError = (identity) => installRefused({
@@ -211,7 +212,7 @@ export const planPackUninstall = Effect.fn("UninstallExtensions.planPacks")(func
         const retirement = retirementByIdentity.get(normalizedPackIdentity(pack.desiredIdentity));
         return retirement === undefined ? [] : [[pack.name, retirement]];
     }));
-    const retentionPolicy = makeWorkspaceRetentionPolicy(ws);
+    const retentionPolicy = makeWorkspaceRetentionPolicy(ws, lifecycleStepFailure);
     const allTargets = new Map();
     for (const pack of intent.packsToUninstall) {
         allTargets.set(`pack:${pack.name}`, pack);
@@ -234,10 +235,19 @@ export const planPackUninstall = Effect.fn("UninstallExtensions.planPacks")(func
     const packTargets = [...allTargets.values()].filter((target) => target.type === "pack");
     const depTargets = [...allTargets.values()].filter((target) => target.type !== "pack");
     const orderedTargets = [...depTargets, ...packTargets];
-    const sourcePathByTarget = new Map(graph.nodes.map((node) => [
-        `${node.type}:${node.name}`,
-        workspaceCanonicalNodePath(path, ws, node),
-    ]));
+    const proposal = yield* proposeDesiredState(intent.packsToUninstall.map((pack) => ({ kind: "remove", type: "pack", name: pack.name }))).pipe(Effect.mapError((cause) => installRefused({
+        category: "conflict",
+        detail: "Pack retirement intent could not be evaluated",
+        cause,
+    })));
+    const artifacts = yield* Effect.forEach(orderedTargets, (target) => prepareUninstallArtifact(target, proposal)).pipe(Effect.mapError((cause) => installRefused({
+        category: "conflict",
+        detail: "Pack retirement effects could not be established",
+        cause,
+    })));
+    const artifactTargets = artifacts
+        .flatMap((artifact) => artifact.targets ?? [])
+        .filter((target, index, all) => all.findIndex((candidate) => candidate.path === target.path && candidate.change === target.change) === index);
     const steps = orderedTargets.map((target) => {
         switch (target.type) {
             case "pack": {
@@ -276,44 +286,66 @@ export const planPackUninstall = Effect.fn("UninstallExtensions.planPacks")(func
                 return buildUninstallOperation(ruleManager, exclusiveMemberRetentionPolicy, {
                     toStepFailure: lifecycleStepFailure,
                     target,
-                    skipProjections: true,
+                    enclosingClosure: { projections: [target.type] },
                 });
             case "hook":
                 return buildUninstallOperation(hookManager, exclusiveMemberRetentionPolicy, {
                     toStepFailure: lifecycleStepFailure,
                     target,
-                    skipProjections: true,
+                    enclosingClosure: { projections: [target.type] },
                 });
             case "knowledge":
                 return buildUninstallOperation(knowledgeManager, exclusiveMemberRetentionPolicy, {
                     toStepFailure: lifecycleStepFailure,
                     target,
-                    skipProjections: true,
+                    enclosingClosure: { projections: [target.type] },
                 });
         }
     });
+    const activeNames = (type) => new Set(proposal.after.nodes
+        .filter((node) => node.type === type && node.enabled)
+        .map((node) => node.name));
+    const cleanup = plannedRetirements.length > 0
+        ? Option.none()
+        : yield* collectCleanupStep({
+            expectedSkillNames: activeNames("skill"),
+            expectedSubagentNames: activeNames("subagent"),
+            expectedMcpServerNames: activeNames("mcp-server"),
+            expectedHookNames: activeNames("hook"),
+            subjects: orderedTargets,
+            adapter: {
+                toStepFailure: (cause) => lifecycleStepFailure(installRefused({
+                    category: "conflict",
+                    detail: ("detail" in cause ? cause.detail : undefined) ?? cause._tag,
+                    cause,
+                })),
+            },
+        }).pipe(Effect.mapError((cause) => installRefused({
+            category: "conflict",
+            detail: "Cannot establish owned Pack uninstall outputs",
+            cause,
+        })));
     const projectionStep = yield* buildAggregateProjectionStep({
         types: new Set(orderedTargets.map((target) => target.type)),
     });
     const registrationOnly = plannedRetirements.length === 0
         ? ""
         : ` (${plannedRetirements.length} pack${plannedRetirements.length === 1 ? "" : "s"} unregistered without removing package content)`;
-    const graphStep = yield* buildAtomicPackGraphStep({
+    const graphStep = yield* buildReconciliationClosure({
+        toStepFailure: lifecycleStepFailure,
         label: `${intent.packsToUninstall.length} pack${intent.packsToUninstall.length === 1 ? "" : "s"}`,
         message: `Uninstalled ${intent.packsToUninstall.length} pack${intent.packsToUninstall.length === 1 ? "" : "s"} and ${depTargets.length} exclusive member${depTargets.length === 1 ? "" : "s"}${registrationOnly}`,
         artifact: {
-            path: "pack graph",
+            path: artifacts[0]?.path ?? path.relative(ws.baseDir, ws.layout.settingsPath),
             scope: ws.scope,
             change: "removed",
             fileCount: orderedTargets.length,
-            targets: orderedTargets.map((target) => ({
-                path: sourcePathByTarget.get(`${target.type}:${target.name}`) ?? toLabel(target),
-                // Content AXM could not verify is preserved, so its canonical path is
-                // never reported as removed.
-                change: target.type === "pack" && retirementByPackName.has(target.name) ? "unchanged" : "removed",
-            })),
+            targets: artifactTargets,
+            references: artifacts.flatMap((artifact) => artifact.references ?? []),
+            managedRegions: artifacts.flatMap((artifact) => artifact.managedRegions ?? []),
         },
         children: [
+            ...Option.toArray(cleanup).map((step) => ({ step, coverage: "ineligible" })),
             ...steps.map((step) => ({ step, coverage: "ineligible" })),
             ...Option.toArray(projectionStep).map((step) => ({
                 step,

package/dist/src/rules/install/plan.js

@@ -9,7 +9,8 @@
  */
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
-import { RuleManager, buildInstallOperation } from "@agentxm/extension-materialization";
+import { RuleManager } from "@agentxm/extension-materialization";
+import { buildInstallOperation } from "@agentxm/workspace-reconciliation";
 import { parseSourceQualifiedRegistrySourcePatternParts, } from "@agentxm/extension-model/unstable/extensions";
 import { SourceHostProviders, resolveSource } from "@agentxm/extension-sources";
 import { operationPresentation, } from "@agentxm/workspace-operations";
@@ -86,8 +87,10 @@ export const planRuleInstall = Effect.fn("InstallExtensions.planRules")(function
     const memberSteps = intent.refs.map(({ ref, versionRange }) => buildInstallOperation(ruleManager, {
         toStepFailure: lifecycleStepFailure,
         ref,
-        versionRange,
-        skipProjections: deferProjections,
+        declaration: { name: ref.rule.name, versionRange },
+        ...(deferProjections
+            ? { enclosingClosure: { projections: [ref.type], postconditions: [] } }
+            : {}),
         installedBefore: ruleManager.isInstalled({
             target: { type: "rule", name: ref.rule.name },
         }),

package/dist/src/rules/uninstall/plan.js

@@ -8,11 +8,12 @@
  */
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
-import { RuleManager, buildUninstallOperation } from "@agentxm/extension-materialization";
+import { RuleManager } from "@agentxm/extension-materialization";
+import { buildUninstallOperation } from "@agentxm/workspace-reconciliation";
 import { WorkspaceMutations } from "@agentxm/workspace-state";
 import { lifecycleStepFailure } from "../../step-failure.js";
 import { installRefused } from "../../install/vocabulary.js";
-import { makeWorkspaceRetentionPolicy } from "../../uninstall/retention-policy.js";
+import { makeWorkspaceRetentionPolicy } from "@agentxm/workspace-reconciliation";
 /** Settle whether this rule has anything to remove. */
 export const parseRuleUninstallRequest = Effect.fn("UninstallExtensions.parseRuleRequest")(function* (selector) {
     const ruleManager = yield* RuleManager;
@@ -35,7 +36,7 @@ export const parseRuleUninstallRequest = Effect.fn("UninstallExtensions.parseRul
 export const planRuleUninstall = Effect.fn("UninstallExtensions.planRules")(function* (intent) {
     const ws = yield* WorkspaceMutations;
     const ruleManager = yield* RuleManager;
-    const retentionPolicy = makeWorkspaceRetentionPolicy(ws);
+    const retentionPolicy = makeWorkspaceRetentionPolicy(ws, lifecycleStepFailure);
     return {
         _tag: "Plan",
         name: "Uninstall rule",

package/dist/src/skills/install/bundled.js

@@ -1,3 +1,4 @@
+import { renderAxmSkillRecovery } from "@agentxm/cli-maintenance/official-skill/adapters/cli";
 /**
  * Installing the official AXM skill that ships inside the CLI.
  *
@@ -16,7 +17,7 @@ import * as FileSystem from "effect/FileSystem";
 import * as Option from "effect/Option";
 import * as Path from "effect/Path";
 import { ensureSkillAgentArtifact, replaceCanonicalDirectory, } from "@agentxm/extension-materialization";
-import { AXM_SKILL_CLI_VERSION_METADATA_KEY, AXM_SKILL_CLI_VERSION_RANGE_METADATA_KEY, AXM_SKILL_FQN, evaluateAxmSkillCompatibility, } from "@agentxm/extension-resolution";
+import { AXM_SKILL_CLI_VERSION_METADATA_KEY, AXM_SKILL_CLI_VERSION_RANGE_METADATA_KEY, AXM_SKILL_FQN, evaluateAxmSkillCompatibility, } from "@agentxm/cli-maintenance/official-skill/domain";
 import { operationPresentation, } from "@agentxm/workspace-operations";
 import { CodingAgentRepository } from "@agentxm/workspace-projection";
 import { WorkspaceMutations, sanitizeName } from "@agentxm/workspace-state";
@@ -173,13 +174,12 @@ export const installBundledAxmSkill = Effect.gen(function* () {
                 },
             });
             if (compatibility.status === "incompatible") {
+                const recovery = renderAxmSkillRecovery(compatibility.recovery);
                 return yield* installRefused({
                     category: "internal",
                     detail: compatibility.detail ??
                         "Bundled AXM skill remained incompatible after workspace installation",
-                    ...(compatibility.recovery.nextAction === null
-                        ? {}
-                        : { cmd: compatibility.recovery.nextAction }),
+                    ...(recovery.nextAction === null ? {} : { cmd: recovery.nextAction }),
                 });
             }
         }),

package/dist/src/skills/install/plan.js

@@ -17,7 +17,8 @@ import * as Option from "effect/Option";
 import * as Path from "effect/Path";
 import * as Result from "effect/Result";
 import * as Schema from "effect/Schema";
-import { SkillManager, artifactAgentIdsFromTargets, artifactTargetAgentIds, buildInstallOperation, computeSkillSourceHash, groupInstallTargetsByDirectory, } from "@agentxm/extension-materialization";
+import { SkillManager, artifactAgentIdsFromTargets, artifactTargetAgentIds, computeSkillSourceHash, groupInstallTargetsByDirectory, } from "@agentxm/extension-materialization";
+import { buildInstallOperation } from "@agentxm/workspace-reconciliation";
 import { matchesReleaseAgeExcludePattern, } from "@agentxm/extension-model/unstable/extensions";
 import { PackageUrlPartsSchema, formatPackageDisplay, } from "@agentxm/extension-model/unstable/packaging";
 import { parseInputPattern, } from "@agentxm/extension-model/unstable/sources/parser";
@@ -379,7 +380,7 @@ export const planSkillInstall = Effect.fn("InstallExtensions.planSkills")(functi
         return withPlanWarning(buildInstallOperation(skillManager, {
             toStepFailure: lifecycleStepFailure,
             ref,
-            versionRange: entry.versionRange,
+            declaration: { name: ref.skill.name, versionRange: entry.versionRange },
             force: intent.force === true,
             installedBefore: Effect.succeed(installedBefore),
             buildArtifact: ({ installedBefore }) => Effect.gen(function* () {

package/dist/src/skills/operations/install.d.ts

@@ -30,7 +30,6 @@ export type InstallSkillOperationArgs = {
     /** Version constraint from the original input when available. */
     readonly versionRange: Option.Option<string>;
     /** When true, write to lockfile only (skip settings). Used for pack dependencies. */
-    readonly skipSettings: Option.Option<boolean>;
     /** When true, fail on unknown configured agents instead of warning+skip. */
     readonly strictUnknownAgents: Option.Option<boolean>;
     /** Named registry source that provided the ref (written to lockfile for registry skills). */

package/dist/src/skills/operations/install.js

@@ -529,25 +529,16 @@ export const installSkill = (op) => Effect.gen(function* () {
             }),
         };
     }
-    const skipSettings = Option.getOrElse(op.args.skipSettings, () => false);
     const writeEffect = baseLockEntry === undefined
-        ? skipSettings
-            ? Effect.void
-            : ws.setSkillEntry(ref.skill.name, {
-                source: ref.refType === "workspace" ? "workspace" : printSourceParams(ref.source),
-                enabled: true,
-            })
-        : skipSettings
-            ? ws.setSkillLock({
-                name: ref.skill.name,
-                lockEntry: baseLockEntry,
-                versionRange: materialized.versionRange,
-            })
-            : ws.setSkill({
-                name: ref.skill.name,
-                lockEntry: baseLockEntry,
-                versionRange: materialized.versionRange,
-            });
+        ? ws.setSkillEntry(ref.skill.name, {
+            source: ref.refType === "workspace" ? "workspace" : printSourceParams(ref.source),
+            enabled: true,
+        })
+        : ws.setSkill({
+            name: ref.skill.name,
+            lockEntry: baseLockEntry,
+            versionRange: materialized.versionRange,
+        });
     const writeFailure = yield* writeEffect.pipe(Effect.result);
     if (writeFailure._tag === "Failure") {
         const failure = writeFailure.failure;

package/dist/src/skills/uninstall/plan.js

@@ -12,14 +12,15 @@ import * as Effect from "effect/Effect";
 import * as FileSystem from "effect/FileSystem";
 import * as Option from "effect/Option";
 import * as Path from "effect/Path";
-import { SkillManager, buildUninstallOperation, skillArtifactFromTargets, } from "@agentxm/extension-materialization";
+import { SkillManager, skillArtifactFromTargets, } from "@agentxm/extension-materialization";
+import { buildUninstallOperation } from "@agentxm/workspace-reconciliation";
 import { resolveInstalledIdentifierNameOrInput } from "@agentxm/extension-sources";
 import { CodingAgentRepository } from "@agentxm/workspace-projection";
 import { WorkspaceMutations, acquiredExtensionDisplayPathFromLockEntry, installedRowsByName, sanitizeName, } from "@agentxm/workspace-state";
 import { expandGlob } from "../../glob.js";
 import { lifecycleStepFailure } from "../../step-failure.js";
 import { installRefused, } from "../../install/vocabulary.js";
-import { makeWorkspaceRetentionPolicy } from "../../uninstall/retention-policy.js";
+import { makeWorkspaceRetentionPolicy } from "@agentxm/workspace-reconciliation";
 import { workspaceAuthoredPath, workspaceCanonicalPath, workspaceCanonicalRoot, workspaceLockfilePath, workspaceSettingsPath, } from "../../workspace-paths.js";
 const skillSourceTarget = (ws, path, configuredSource, lockEntry, sanitizedName) => {
     if (Option.isSome(configuredSource) && configuredSource.value === "workspace") {
@@ -69,7 +70,7 @@ export const planSkillUninstall = Effect.fn("UninstallExtensions.planSkills")(fu
     const skillManager = yield* SkillManager;
     const agentRepo = yield* CodingAgentRepository;
     const path = yield* Path.Path;
-    const retentionPolicy = makeWorkspaceRetentionPolicy(ws);
+    const retentionPolicy = makeWorkspaceRetentionPolicy(ws, lifecycleStepFailure);
     const configuredAgents = yield* agentRepo.getMaterializationAgents().pipe(Effect.mapError((cause) => installRefused({
         category: "internal",
         detail: "Configured agents could not be read",

package/dist/src/subagents/install/plan.js

@@ -10,7 +10,8 @@
 import * as Array from "effect/Array";
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
-import { NO_MATERIALIZATION_OBSERVATION, SubagentManager, buildInstallOperation, } from "@agentxm/extension-materialization";
+import { NO_MATERIALIZATION_OBSERVATION, SubagentManager, } from "@agentxm/extension-materialization";
+import { buildInstallOperation } from "@agentxm/workspace-reconciliation";
 import { parseInputPattern, } from "@agentxm/extension-model/unstable/sources/parser";
 import { SourceHostProviders, sourceResolutionFailureCategory, } from "@agentxm/extension-sources";
 import { operationPresentation, } from "@agentxm/workspace-operations";
@@ -216,7 +217,7 @@ export const planSubagentInstall = Effect.fn("InstallExtensions.planSubagents")(
         return buildInstallOperation(subagentManager, {
             toStepFailure: lifecycleStepFailure,
             ref,
-            versionRange: entry.versionRange,
+            declaration: { name: ref.subagent.name, versionRange: entry.versionRange },
             installedBefore: subagentManager
                 .isInstalled({ target: { type: "subagent", name: ref.subagent.name } })
                 .pipe(Effect.catch(() => Effect.succeed(false))),

package/dist/src/subagents/operations/enable.js

@@ -64,9 +64,7 @@ export const enableSubagent = (op) => Effect.gen(function* () {
         });
     }
     const baseDir = ws.baseDir;
-    const subagentSrcPath = canonical.value.ref.refType === "registry" || canonical.value.ref.refType === "workspace"
-        ? path.join(canonical.value.observation.path, "src")
-        : canonical.value.observation.path;
+    const subagentSrcPath = path.join(canonical.value.observation.path, "src");
     // Read and parse the subagent content file
     const expectedFilename = subagentContentFilename(op.args.subagentName);
     const contentPath = subagentContentPath(path.join, subagentSrcPath, op.args.subagentName);

package/dist/src/subagents/uninstall/plan.js

@@ -9,13 +9,14 @@
  */
 import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
-import { NO_MATERIALIZATION_OBSERVATION, SubagentManager, buildUninstallOperation, } from "@agentxm/extension-materialization";
+import { NO_MATERIALIZATION_OBSERVATION, SubagentManager, } from "@agentxm/extension-materialization";
+import { buildUninstallOperation } from "@agentxm/workspace-reconciliation";
 import { parseExtensionFqnParts } from "@agentxm/extension-model/unstable/extensions";
 import { WorkspaceMutations, acquiredExtensionDisplayPathFromLockEntry, } from "@agentxm/workspace-state";
 import { expandGlob } from "../../glob.js";
 import { lifecycleStepFailure } from "../../step-failure.js";
 import { installRefused } from "../../install/vocabulary.js";
-import { makeWorkspaceRetentionPolicy } from "../../uninstall/retention-policy.js";
+import { makeWorkspaceRetentionPolicy } from "@agentxm/workspace-reconciliation";
 import { workspaceCanonicalPath, workspaceCanonicalRoot, workspaceLockfilePath, workspaceSettingsPath, } from "../../workspace-paths.js";
 const resolvedVersion = (entry) => entry !== undefined && entry.type === "registry" ? entry.resolvedVersion : undefined;
 const subagentSourceTarget = (args) => args.lockEntry === undefined
@@ -77,7 +78,7 @@ export const parseSubagentUninstallRequest = Effect.fn("UninstallExtensions.pars
 export const planSubagentUninstall = Effect.fn("UninstallExtensions.planSubagents")(function* (intent) {
     const ws = yield* WorkspaceMutations;
     const subagentManager = yield* SubagentManager;
-    const retentionPolicy = makeWorkspaceRetentionPolicy(ws);
+    const retentionPolicy = makeWorkspaceRetentionPolicy(ws, lifecycleStepFailure);
     // The accepted resolution names the package the removal retires, and the
     // removal deletes it, so it is read before the step runs.
     const steps = yield* Effect.forEach(intent.targets, (target) => Effect.gen(function* () {

package/dist/src/testing.d.ts

@@ -99,7 +99,7 @@ export declare const makeLifecycleFixture: (options?: LifecycleFixtureOptions) =
         readonly type: "skill" | "subagent";
         readonly offered: ReadonlyArray<string>;
     }>;
-    provide: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E | import("@agentxm/workspace-state").WorkspaceMutationsError, import("effect/FileSystem").FileSystem | import("effect/Path").Path | Exclude<R, StepFailureConversion | import("@agentxm/workspace-state").WorkspaceMutations | import("@agentxm/workspace-transactions").WorkspaceTransactionScope | import("@agentxm/workspace-projection").CodingAgentRepository | import("@agentxm/agent-integration").NativeWriteAuthority | import("@agentxm/workspace-state").ConfiguredAgentOutcomesProvider | import("@agentxm/extension-materialization").ExtensionManagers | import("@agentxm/workspace-transactions").FootprintRecorder | HttpClient.HttpClient | import("@agentxm/workspace-operations").OperationJournal | import("@agentxm/extension-materialization").McpSecretStore | ReleaseAgePosture | import("@agentxm/workspace-operations").ResolvePlanInteraction | SourceHostProviders | import("@agentxm/extension-materialization").SubagentManager | import("@agentxm/extension-sources").WorkspaceCatalog | import("@agentxm/extension-materialization").HookManager | import("@agentxm/extension-materialization").KnowledgeManager | import("@agentxm/extension-materialization").RuleManager | import("@agentxm/extension-materialization").SkillManager | import("@agentxm/extension-materialization").McpServerManager | import("@agentxm/extension-materialization").PackManager | ExtensionSelectionInteraction | BundledAxmSkillAsset | AgentExecutableResolver | import("@agentxm/workspace-state/live").WorkspaceStateServices | import("@agentxm/workspace-projection").ProjectionParticipants | import("@agentxm/workspace-projection").WorkspaceInvariantFacts>>;
+    provide: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E | import("@agentxm/workspace-state").WorkspaceMutationsError, import("effect/FileSystem").FileSystem | import("effect/Path").Path | Exclude<R, StepFailureConversion | import("@agentxm/workspace-state").WorkspaceMutations | import("@agentxm/workspace-transactions").WorkspaceTransactionScope | import("@agentxm/workspace-projection").CodingAgentRepository | import("@agentxm/agent-integration").NativeWriteAuthority | HttpClient.HttpClient | import("@agentxm/workspace-state").ConfiguredAgentOutcomesProvider | import("@agentxm/extension-materialization").ExtensionManagers | import("@agentxm/extension-materialization").HookManager | import("@agentxm/extension-materialization").SkillManager | import("@agentxm/extension-materialization").RuleManager | import("@agentxm/extension-materialization").KnowledgeManager | import("@agentxm/extension-materialization").PackManager | import("@agentxm/extension-materialization").McpServerManager | import("@agentxm/workspace-transactions").FootprintRecorder | import("@agentxm/workspace-operations").OperationJournal | import("@agentxm/extension-materialization").McpSecretStore | ReleaseAgePosture | import("@agentxm/workspace-operations").ResolvePlanInteraction | SourceHostProviders | import("@agentxm/extension-materialization").SubagentManager | import("@agentxm/extension-sources").WorkspaceCatalog | import("@agentxm/workspace-projection").WorkspaceInvariantFacts | ExtensionSelectionInteraction | BundledAxmSkillAsset | AgentExecutableResolver | import("@agentxm/workspace-state/live").WorkspaceStateServices | import("@agentxm/workspace-projection").ProjectionParticipants>>;
     cleanup: () => void;
 };
 export type LifecycleFixture = ReturnType<typeof makeLifecycleFixture>;

package/dist/src/testing.js

@@ -21,7 +21,8 @@ import * as HttpClient from "effect/unstable/http/HttpClient";
 import { AgentExecutableResolver } from "@agentxm/agent-integration";
 import { decodeAbsolutePathSync } from "@agentxm/extension-model/unstable/path-types";
 import { ExtensionManagersLive, HookManagerLive, KnowledgeManagerLive, McpSecretStoreLive, McpServerManagerLive, PackManagerLive, ProjectionParticipantsLive, RuleManagerLive, SkillManagerLive, SubagentManagerLive, } from "@agentxm/extension-materialization/live";
-import { ReleaseAgePosture, decideNamedRegistryVersion, makeAxmSkillCompatibilityPolicyLayer, namedRegistryCandidates, resolveVersionEntryWithReleaseAge, } from "@agentxm/extension-resolution";
+import { ReleaseAgePosture, decideNamedRegistryVersion, namedRegistryCandidates, resolveVersionEntryWithReleaseAge, } from "@agentxm/extension-resolution";
+import { makeAxmSkillCompatibilityPolicyLayer } from "@agentxm/cli-maintenance/official-skill/composition";
 import { AxmSkillCandidateGateLive } from "@agentxm/extension-resolution/live";
 import { RegistryResolutionPolicy, SourceHostProviders } from "@agentxm/extension-sources";
 import { SourceHostProvidersLive } from "@agentxm/extension-sources/live";

package/dist/src/uninstall/root-intent.d.ts

@@ -1,7 +1,7 @@
 import * as Effect from "effect/Effect";
 import type { ExtensionLifecycleFailed } from "../errors.js";
 import { type InstallableExtensionType } from "@agentxm/extension-model/unstable/extensions/installable-types";
-export declare const rootUninstallableTypeSegments: readonly ("knowledge" | "rules" | "hooks" | "mcps" | "skills" | "subagents" | "packs")[];
+export declare const rootUninstallableTypeSegments: readonly ("knowledge" | "rules" | "hooks" | "skills" | "subagents" | "packs" | "mcps")[];
 export type RootUninstallableType = InstallableExtensionType;
 export interface RootUninstallIntent {
     readonly source: string;

package/dist/src/uninstall/uninstall-extensions.d.ts

@@ -13,7 +13,7 @@ import * as Effect from "effect/Effect";
 import * as Option from "effect/Option";
 import type { InstallableExtensionType } from "@agentxm/extension-model/unstable/extensions/installable-types";
 import { type ExecutionCandidate, type OperationResolution, type PlanExecution } from "@agentxm/workspace-operations";
-import type { ExtensionLifecycleFailed } from "../errors.js";
+import { ExtensionLifecycleFailed } from "../errors.js";
 import { type PackUninstallRequirements } from "../packs/uninstall/plan.js";
 import type { InstallExecutionFailure, PrepareInstallRequirements } from "../install/vocabulary.js";
 /** One uninstall request, whatever command spelling produced it. */