@agentxm/extension-lifecycle 0.29.2 → 0.30.1

package/dist/src/activation/set-activation.d.ts

@@ -10,9 +10,9 @@
  * configuration, a rule or Knowledge bundle through a shared managed region,
  * a Pack through the members it contributes.
  *
- * Two invariants hold across every type. Disabling never removes canonical
- * content or retires an accepted resolution, so re-enabling never re-resolves
- * or re-acquires. And a type whose projection shares a file with instruction
+ * Disabling a leaf preserves its canonical content and accepted resolution.
+ * Disabling a Pack withdraws its dependency route and retires exclusive acquired
+ * members. A type whose projection shares a file with instruction
  * management reconciles that file inside the same transaction, so the
  * workspace is never left with a settings change the files do not reflect.
  *
@@ -25,14 +25,15 @@ import * as Path from "effect/Path";
 import type * as Scope from "effect/Scope";
 import type * as HttpClient from "effect/unstable/http/HttpClient";
 import type { ExtensionType } from "@agentxm/extension-model/unstable/extensions";
-import type { ExtensionRef } from "@agentxm/extension-model/unstable/extensions/refs/extension-ref";
 import type { WorkspaceScope } from "@agentxm/extension-model/unstable/workspace-scope";
 import { SourceHostProviders, WorkspaceCatalog, type SourceResolutionFailure } from "@agentxm/extension-sources";
-import { ExtensionManagers, SubagentManager, type ExtensionManagerFailure, type ManagerRequirements, type McpServerInstallRequirements, type RecipeRequirements } from "@agentxm/extension-materialization";
+import { ExtensionManagers, HookManager, SkillManager, RuleManager, KnowledgeManager, PackManager, McpServerManager, SubagentManager, type ExtensionManagerFailure, type ManagerRequirements } from "@agentxm/extension-materialization";
+import { type McpServerInstallRequirements } from "@agentxm/workspace-reconciliation";
+import { type SyncStepRequirements, type CollectedMaterializeSteps, type DesiredStateProposal, type RecipeRequirements } from "@agentxm/workspace-reconciliation";
 import { ReleaseAgePosture, type ExtensionResolutionFailed, type PackDependencyResolutionFailure, type SourceAuthorityBlocked } from "@agentxm/extension-resolution";
 import { CodingAgentRepository, type ProjectionParticipantRequirements, type ResolvedInstructionsConfig } from "@agentxm/workspace-projection";
-import { OperationJournal, ResolvePlanInteraction, type JobStepArtifact, type OperationResolution, type PlanExecution } from "@agentxm/workspace-operations";
-import { ConfiguredAgentOutcomesProvider, type ConfiguredAgentOutcome, WorkspaceMutations, type DesiredExtensionNode, type AcceptedCanonicalRefError } from "@agentxm/workspace-state";
+import { OperationJournal, ResolvePlanInteraction, type ExecutionCandidate, type JobStepArtifact, type OperationResolution, type PlanExecution, type PlannedJobStep } from "@agentxm/workspace-operations";
+import { LockfileReader, SettingsReader, SettingsWriter, ConfiguredAgentOutcomesProvider, type ConfiguredAgentOutcome, WorkspaceMutations, type DesiredExtensionNode, type AcceptedCanonicalRefError } from "@agentxm/workspace-state";
 import { FootprintRecorder, WorkspaceTransactionScope } from "@agentxm/workspace-transactions";
 import { ExtensionLifecycleFailed } from "../errors.js";
 import { StepFailureConversion } from "../step-failure-conversion.js";
@@ -61,26 +62,16 @@ export type ActivationTransition =
     readonly kind: "subagent";
 } | {
     readonly kind: "mcp-server";
-}
-/** Enabling re-runs the configured install closure for the accepted entry. */
- | {
-    readonly kind: "reinstall";
-    readonly ref: ExtensionRef;
-    readonly versionRange: Option.Option<string>;
-}
-/** Disabling flips the preference and dematerializes the type's projection. */
- | {
-    readonly kind: "deactivate-rule";
 } | {
-    readonly kind: "deactivate-hook";
-}
-/** Rendering the discovery region is what deactivation means for Knowledge. */
- | {
-    readonly kind: "deactivate-knowledge";
+    readonly kind: "aggregate";
+    readonly proposal: DesiredStateProposal;
 }
 /** A Pack contributes members; activation moves the whole member closure. */
  | {
     readonly kind: "pack";
+    readonly proposal: DesiredStateProposal;
+    readonly materialization?: CollectedMaterializeSteps;
+    readonly retirement: Option.Option<PlannedJobStep<SyncStepRequirements | LockfileReader>>;
     readonly identity: string;
     /** Members whose active/inactive state this change decides. */
     readonly members: ReadonlyArray<DesiredExtensionNode>;
@@ -88,7 +79,7 @@ export type ActivationTransition =
     readonly aggregateTypes: ReadonlySet<ExtensionType>;
 };
 /** A settled activation change: everything the plan needs, decided. */
-export interface SetActivationCandidate {
+interface ActivationRealization {
     readonly _tag: "SetActivation";
     readonly type: ExtensionType;
     /** The installed name, after resolving a fully-qualified identifier. */
@@ -97,6 +88,7 @@ export interface SetActivationCandidate {
     readonly scope: WorkspaceScope;
     readonly artifact: JobStepArtifact;
     readonly transition: ActivationTransition;
+    readonly proposal?: DesiredStateProposal;
     /** The instruction configuration this change reconciles inside its transaction. */
     readonly instructions: Option.Option<ResolvedInstructionsConfig>;
     /** The refusal that stops the change before it is offered, when there is one. */
@@ -109,26 +101,16 @@ export interface SetActivationCandidate {
 /** Every failure settling an activation request can surface. */
 export type SetActivationFailure = AcceptedCanonicalRefError | ExtensionLifecycleFailed | ExtensionManagerFailure | ExtensionResolutionFailed | PackDependencyResolutionFailure | SourceAuthorityBlocked | SourceResolutionFailure;
 /** Everything settling and resolving an activation needs. */
-export type SetActivationRequirements = CodingAgentRepository | ConfiguredAgentOutcomesProvider | ExtensionManagers | FileSystem.FileSystem | FootprintRecorder | HttpClient.HttpClient | ManagerRequirements | OperationJournal | Path.Path | McpServerInstallRequirements | ProjectionParticipantRequirements | RecipeRequirements | ReleaseAgePosture | ResolvePlanInteraction | Scope.Scope | SourceHostProviders | StepFailureConversion | SubagentManager | WorkspaceCatalog | WorkspaceMutations | WorkspaceTransactionScope;
-/**
- * Settle an activation request into the change it makes.
- *
- * A request the workspace already satisfies settles as `Unchanged` rather
- * than as an empty plan, so repeating a command reports what is true instead
- * of offering to do nothing. A request naming a subject the workspace does
- * not hold fails with the type's own recovery route.
- */
-export declare const prepareSetActivation: (request: SetActivationRequest) => Effect.Effect<SetActivationCandidate | ActivationUnchanged, SetActivationFailure, CodingAgentRepository | ExtensionManagers | FileSystem.FileSystem | HttpClient.HttpClient | ManagerRequirements | Path.Path | ReleaseAgePosture | Scope.Scope | SourceHostProviders | WorkspaceCatalog | WorkspaceMutations>;
-/**
- * Preview or apply a settled activation. The whole change — the preference,
- * the projections it implies, and any instruction file it shares — runs in
- * one workspace transaction, so a projection that cannot be written never
- * leaves the preference recorded.
- */
+export type SetActivationRequirements = CodingAgentRepository | ConfiguredAgentOutcomesProvider | ExtensionManagers | HookManager | SkillManager | RuleManager | KnowledgeManager | PackManager | McpServerManager | FileSystem.FileSystem | FootprintRecorder | HttpClient.HttpClient | ManagerRequirements | OperationJournal | Path.Path | McpServerInstallRequirements | ProjectionParticipantRequirements | RecipeRequirements | LockfileReader | SettingsReader | SettingsWriter | ReleaseAgePosture | ResolvePlanInteraction | Scope.Scope | SourceHostProviders | StepFailureConversion | SubagentManager | WorkspaceCatalog | WorkspaceMutations | WorkspaceTransactionScope;
+export interface SetActivationCandidate extends ActivationRealization {
+    readonly execution: ExecutionCandidate<SetActivationRequirements>;
+}
+export declare const prepareSetActivation: (request: SetActivationRequest) => Effect.Effect<SetActivationCandidate | ActivationUnchanged, SetActivationFailure | SetActivationExecutionFailure, SetActivationRequirements>;
 export declare const previewOrApplySetActivation: (candidate: SetActivationCandidate, execution: PlanExecution) => Effect.Effect<OperationResolution<void>, SetActivationExecutionFailure, SetActivationRequirements>;
 /** The activation use case. */
 export declare const SetActivation: {
-    readonly prepare: (request: SetActivationRequest) => Effect.Effect<SetActivationCandidate | ActivationUnchanged, SetActivationFailure, CodingAgentRepository | ExtensionManagers | FileSystem.FileSystem | HttpClient.HttpClient | ManagerRequirements | Path.Path | ReleaseAgePosture | Scope.Scope | SourceHostProviders | WorkspaceCatalog | WorkspaceMutations>;
+    readonly prepare: (request: SetActivationRequest) => Effect.Effect<SetActivationCandidate | ActivationUnchanged, SetActivationFailure | SetActivationExecutionFailure, SetActivationRequirements>;
     readonly previewOrApply: (candidate: SetActivationCandidate, execution: PlanExecution) => Effect.Effect<OperationResolution<void>, SetActivationExecutionFailure, SetActivationRequirements>;
 };
+export {};
 //# sourceMappingURL=set-activation.d.ts.map