@agentxm/client-core 0.4.3 → 0.5.0

package/dist/src/unstable/workspace/read-model/extensions/pack.d.ts

@@ -0,0 +1,123 @@
+/**
+ * Pack subject module: declared/resolved/actual payloads, scanner composition,
+ * and **direct-only** installed projections via the shared helper.
+ *
+ * Per Decision 9 of the workspace read-model design: packs cannot be members of
+ * other packs. The pack subject's own `installed` projection therefore passes
+ * an empty installed-pack set into the projection helper, so no pack-member
+ * row is ever produced for a pack. Direct pack declarations remain the only
+ * way a pack appears in `installed`.
+ *
+ * Resolved member groups (`resolvedSkills`, `resolvedCommands`,
+ * `resolvedMcpServers`, `resolvedSubagents`) read from the installed pack
+ * lockfile entry. Phase 9 threads these maps into other subjects'
+ * `installedPacks` inputs so pack-provided members surface as implicit
+ * installed rows on those subjects (skill, command, mcp-server, subagent).
+ *
+ * MCP servers and packs use activation `enabled` by policy and do not
+ * duplicate a no-op enabled field in declared settings; the projection row
+ * supplies activation for generic consumers.
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { type ExtensionName } from "../../../extensions/common.js";
+import type { ExtensionPackLockEntry, Lockfile } from "../../../lockfile/schema.js";
+import type { ExtensionPackEntry, Settings } from "../../../settings/schema.js";
+import type { Diagnostics } from "../diagnostics.js";
+import type { LockfileReadError, SettingsReadError } from "../errors.js";
+import type { CanonicalExtensionOccurrence } from "../scanners/types.js";
+import type { ActivationState, ExtensionKey, InstallationOrigin, InstalledPackRef, Scope } from "../types.js";
+export type PackDetectionOrigin = {
+    readonly _tag: "canonical-axm-pack";
+} | {
+    readonly _tag: "external-axm-pack";
+};
+export interface DeclaredPack {
+    readonly name: ExtensionName;
+    readonly entry: ExtensionPackEntry;
+}
+export type DeclaredPacks = ReadonlyArray<DeclaredPack>;
+/**
+ * Resolved pack carrying the lockfile entry verbatim. Member groups are
+ * available as `lockEntry.resolvedSkills` / `resolvedCommands` /
+ * `resolvedMcpServers` / `resolvedSubagents`. Subject modules read these
+ * maps when assembling pack-member input for the projection helper.
+ */
+export interface ResolvedPack {
+    readonly keyName: string;
+    readonly name: ExtensionName;
+    readonly lockEntry: ExtensionPackLockEntry;
+}
+export type ResolvedPacks = ReadonlyArray<ResolvedPack>;
+export interface ActualPack {
+    readonly key: ExtensionKey<"pack">;
+    readonly origin: PackDetectionOrigin;
+    readonly contentRoot: string;
+    readonly packageRoot: string | null;
+}
+export type ActualPacks = ReadonlyArray<ActualPack>;
+/**
+ * Pack member entry carrying enough info to identify the source pack. Pack
+ * subjects do not produce member rows (packs are not pack members), but the
+ * shared projection helper still type-parameters its pack-member type, so we
+ * supply a never-instantiated placeholder.
+ */
+export type PackPackMember = never;
+/**
+ * Installed pack row. The installation origin union is widened only to
+ * `direct` because packs cannot be pack members. Generic consumers reading
+ * `installationOrigin._tag` always observe `"direct"` on a pack row.
+ */
+export interface InstalledPack {
+    readonly key: ExtensionKey<"pack">;
+    readonly installationOrigin: InstallationOrigin<DeclaredPack, PackPackMember>;
+    readonly activation: ActivationState;
+    readonly resolved: Option.Option<ResolvedPack>;
+    readonly actual: ReadonlyArray<ActualPack>;
+    readonly providingPacks: ReadonlyArray<InstalledPackRef>;
+}
+export interface UnmanagedPack {
+    readonly key: ExtensionKey<"pack">;
+    readonly actual: ActualPack;
+}
+export type IgnoredPackCandidate = {
+    readonly key: ExtensionKey<"pack">;
+    readonly reason: "declared-ignored";
+    readonly declared: DeclaredPack;
+} | {
+    readonly key: ExtensionKey<"pack">;
+    readonly reason: "actual-ignored";
+    readonly actual: ActualPack;
+};
+export interface PackScopedLoaders {
+    readonly settings: Effect.Effect<Option.Option<Settings>, SettingsReadError>;
+    readonly lockfile: Effect.Effect<Option.Option<Lockfile>, LockfileReadError>;
+}
+export interface PackScanners {
+    readonly canonical: Effect.Effect<ReadonlyArray<CanonicalExtensionOccurrence>>;
+}
+export interface PackExtensionsApiDeps {
+    readonly scope: Scope;
+    readonly loaders: PackScopedLoaders;
+    readonly scanners: PackScanners;
+    readonly ignoredNames: ReadonlySet<string>;
+    readonly diagnostics: Diagnostics;
+}
+export interface PackExtensionsApi {
+    readonly declared: Effect.Effect<Option.Option<DeclaredPacks>, SettingsReadError>;
+    readonly resolved: Effect.Effect<Option.Option<ResolvedPacks>, LockfileReadError>;
+    readonly actual: Effect.Effect<ActualPacks>;
+    readonly installed: Effect.Effect<ReadonlyArray<InstalledPack>>;
+    readonly byName: (name: string) => Effect.Effect<Option.Option<InstalledPack>>;
+    readonly declaredByName: (name: string) => Effect.Effect<Option.Option<DeclaredPack>, SettingsReadError>;
+    readonly active: Effect.Effect<ReadonlyArray<InstalledPack>>;
+    readonly unmanaged: Effect.Effect<ReadonlyArray<UnmanagedPack>>;
+    readonly ignored: Effect.Effect<ReadonlyArray<IgnoredPackCandidate>>;
+}
+/**
+ * Build the pack subject API. Returns an `Effect` because the projection
+ * cell is wrapped in `Effect.cached` so the four derived cells share one
+ * in-flight execution per scope, mirroring `state.ts`.
+ */
+export declare const makePackExtensionsApi: (deps: PackExtensionsApiDeps) => Effect.Effect<PackExtensionsApi>;
+//# sourceMappingURL=pack.d.ts.map

package/dist/src/unstable/workspace/read-model/extensions/pack.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/pack.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAGL,KAAK,aAAa,EACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACpF,OAAO,KAAK,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAW,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,KAAK,EACN,MAAM,aAAa,CAAC;AAarB,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;CAAE,GACvC;IAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAM3C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC;AACD,MAAM,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;AAExD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AACD,MAAM,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;AAExD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AACD,MAAM,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,KAAK,CAAC;AAEnC;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC9E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B,CAAC;AAyCN,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC7E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC,CAAC;CAC9E;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC;CAChF;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAClF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAClF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,cAAc,EAAE,CACvB,IAAI,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;CACtE;AAkED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,qBAAqB,KAC1B,MAAM,CAAC,MAAM,CAAC,iBAAiB,CA4C9B,CAAC"}

package/dist/src/unstable/workspace/read-model/extensions/pack.js

@@ -0,0 +1,145 @@
+/**
+ * Pack subject module: declared/resolved/actual payloads, scanner composition,
+ * and **direct-only** installed projections via the shared helper.
+ *
+ * Per Decision 9 of the workspace read-model design: packs cannot be members of
+ * other packs. The pack subject's own `installed` projection therefore passes
+ * an empty installed-pack set into the projection helper, so no pack-member
+ * row is ever produced for a pack. Direct pack declarations remain the only
+ * way a pack appears in `installed`.
+ *
+ * Resolved member groups (`resolvedSkills`, `resolvedCommands`,
+ * `resolvedMcpServers`, `resolvedSubagents`) read from the installed pack
+ * lockfile entry. Phase 9 threads these maps into other subjects'
+ * `installedPacks` inputs so pack-provided members surface as implicit
+ * installed rows on those subjects (skill, command, mcp-server, subagent).
+ *
+ * MCP servers and packs use activation `enabled` by policy and do not
+ * duplicate a no-op enabled field in declared settings; the projection row
+ * supplies activation for generic consumers.
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { decodeExtensionNameSync, parseFullyQualifiedNameParts, } from "../../../extensions/common.js";
+import { filterMapOccurrences } from "./actual-helpers.js";
+import { canonicalAxmPackageRoot } from "./package-root.js";
+import { makeProjectedSubjectCells, projectInstalledExtensions, } from "./projection.js";
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+const declaredFromSettings = (settings) => {
+    if (settings.packs === undefined)
+        return [];
+    return Object.entries(settings.packs).map(([name, entry]) => ({
+        name: decodeExtensionNameSync(name),
+        entry,
+    }));
+};
+const resolvedFromLockfile = (lockfile) => {
+    if (lockfile.packs === undefined)
+        return [];
+    return Object.entries(lockfile.packs).map(([keyName, lockEntry]) => {
+        const parsed = parseFullyQualifiedNameParts(keyName);
+        return {
+            keyName,
+            name: parsed?.name ?? decodeExtensionNameSync(keyName),
+            lockEntry,
+        };
+    });
+};
+const canonicalToActual = (occ, scope) => {
+    const isExternal = occ.origin === "external-axm";
+    const packageRoot = canonicalAxmPackageRoot(occ);
+    return {
+        key: { scope, type: "pack", name: occ.name },
+        origin: isExternal ? { _tag: "external-axm-pack" } : { _tag: "canonical-axm-pack" },
+        contentRoot: occ.contentLocation,
+        packageRoot,
+    };
+};
+const SUBJECT_KEY = "pack";
+const orphanResolvedWarning = (name) => ({
+    source: "lockfile",
+    message: `pack: lockfile entry "${name}" has no matching declared pack`,
+    code: "orphan-resolved",
+});
+const packPolicy = (scope) => ({
+    declaredEntries: (d) => d,
+    declaredName: (e) => e.name,
+    // Packs have no `enabled` flag — activation is always "enabled".
+    declaredActivation: () => "enabled",
+    resolvedEntries: (r) => r,
+    resolvedName: (e) => e.name,
+    actualEntries: (a) => a,
+    actualName: (e) => e.key.name,
+    // Pack-member callbacks are unreachable: the subject passes an empty
+    // installed-pack set into the projection helper, so the helper never
+    // invokes these. The functions still need to satisfy the types.
+    packMemberName: (member) => member,
+    isIgnoredName: (name, ignored) => ignored.has(name),
+    packMemberActivation: () => "enabled",
+    attachActualToInstalled: (name, actual) => actual.filter((a) => a.key.name === name),
+    notClaimedBySubjectPolicy: () => true,
+    buildInstalledRow: (input) => ({
+        key: { scope, type: "pack", name: input.name },
+        installationOrigin: input.installationOrigin,
+        activation: input.activation,
+        resolved: input.resolved,
+        actual: input.actual,
+        providingPacks: input.providingPacks,
+    }),
+    buildUnmanagedRow: (entry) => ({
+        key: { scope, type: "pack", name: entry.key.name },
+        actual: entry,
+    }),
+    buildDeclaredIgnoredRow: (input) => ({
+        key: { scope, type: "pack", name: input.name },
+        reason: "declared-ignored",
+        declared: input.declared,
+    }),
+    // `TPackMember = never` for packs (packs cannot be pack members), so
+    // `input.member` has type `never`. Returning it satisfies any `TIgnored`
+    // statically without a throw — the body is uninhabitable at runtime.
+    buildPackMemberIgnoredRow: (input) => input.member,
+    buildActualIgnoredRow: (input) => ({
+        key: { scope, type: "pack", name: input.name },
+        reason: "actual-ignored",
+        actual: input.actual,
+    }),
+    resolvedOrphanWarning: orphanResolvedWarning,
+});
+/**
+ * Build the pack subject API. Returns an `Effect` because the projection
+ * cell is wrapped in `Effect.cached` so the four derived cells share one
+ * in-flight execution per scope, mirroring `state.ts`.
+ */
+export const makePackExtensionsApi = (deps) => Effect.gen(function* () {
+    const { scope, loaders, scanners, ignoredNames, diagnostics } = deps;
+    const declared = loaders.settings.pipe(Effect.map((opt) => Option.map(opt, declaredFromSettings)));
+    const resolved = loaders.lockfile.pipe(Effect.map((opt) => Option.map(opt, resolvedFromLockfile)));
+    const actual = Effect.gen(function* () {
+        const canonical = yield* scanners.canonical;
+        return filterMapOccurrences(canonical, "pack", (occ) => canonicalToActual(occ, scope));
+    });
+    // Packs can't be pack members — pass an empty installed-pack set.
+    const installedPacks = Effect.succeed([]);
+    const project = yield* Effect.cached(projectInstalledExtensions({
+        subjectKey: SUBJECT_KEY,
+        declared,
+        resolved,
+        actual,
+        installedPacks,
+        packMembers: (pack) => pack.members,
+        packRef: (pack) => pack.ref,
+        ignoredNames,
+        policy: packPolicy(scope),
+        diagnostics,
+    }));
+    return makeProjectedSubjectCells({
+        declared,
+        resolved,
+        actual,
+        project,
+    });
+});
+//# sourceMappingURL=pack.js.map

package/dist/src/unstable/workspace/read-model/extensions/pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/pack.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAE7B,MAAM,+BAA+B,CAAC;AAavC,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EACL,yBAAyB,EACzB,0BAA0B,GAE3B,MAAM,iBAAiB,CAAC;AAgFzB,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,CAAC,QAAkB,EAAiB,EAAE;IACjE,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,uBAAuB,CAAC,IAAI,CAAC;QACnC,KAAK;KACN,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAAkB,EAAiB,EAAE;IACjE,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE;QACjE,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO;YACL,OAAO;YACP,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,uBAAuB,CAAC,OAAO,CAAC;YACtD,SAAS;SACV,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,GAAiC,EAAE,KAAY,EAAc,EAAE;IACxF,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC;IACjD,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;IACjD,OAAO;QACL,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE;QAC5C,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE;QACnF,WAAW,EAAE,GAAG,CAAC,eAAe;QAChC,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAqCF,MAAM,WAAW,GAAG,MAAM,CAAC;AAE3B,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC;IACxD,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,yBAAyB,IAAI,iCAAiC;IACvE,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CACjB,KAAY,EASZ,EAAE,CAAC,CAAC;IACJ,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzB,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;IAC3B,iEAAiE;IACjE,kBAAkB,EAAE,GAAG,EAAE,CAAC,SAAS;IACnC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzB,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;IAC3B,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI;IAC7B,qEAAqE;IACrE,qEAAqE;IACrE,gEAAgE;IAChE,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;IAClC,aAAa,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;IACnD,oBAAoB,EAAE,GAAG,EAAE,CAAC,SAAS;IACrC,uBAAuB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;IACpF,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;IACrC,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAC9C,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC;IACF,iBAAiB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE;QAClD,MAAM,EAAE,KAAK;KACd,CAAC;IACF,uBAAuB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAC9C,MAAM,EAAE,kBAAkB;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;IACF,qEAAqE;IACrE,yEAAyE;IACzE,qEAAqE;IACrE,yBAAyB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM;IAClD,qBAAqB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QAC9C,MAAM,EAAE,gBAAgB;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;IACF,qBAAqB,EAAE,qBAAqB;CAC7C,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA2B,EACO,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAErE,MAAM,QAAQ,GAAkC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACnE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAC3D,CAAC;IACF,MAAM,QAAQ,GAAkC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACnE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAC3D,CAAC;IACF,MAAM,MAAM,GAAgC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC5C,OAAO,oBAAoB,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,kEAAkE;IAClE,MAAM,cAAc,GAKhB,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAEvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,0BAA0B,CAAC;QACzB,UAAU,EAAE,WAAW;QACvB,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,cAAc;QACd,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACnC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAC3B,YAAY;QACZ,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC;QACzB,WAAW;KACZ,CAAC,CACH,CAAC;IAEF,OAAO,yBAAyB,CAAC;QAC/B,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,OAAO;KACR,CAA6B,CAAC;AACjC,CAAC,CAAC,CAAC"}

package/dist/src/unstable/workspace/read-model/extensions/package-root.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Internal helper for computing ancestor paths from scanner-emitted
+ * `pathSegments` + `contentLocation` without re-introducing a `Path` service
+ * dependency in subject modules.
+ *
+ * The canonical-extensions scanner already splits `contentLocation` into
+ * `pathSegments` via the `Path` service. This helper inverts that: it derives
+ * the platform separator from the relationship between the segments and the
+ * original string, then joins a prefix back to a path.
+ *
+ * Why this exists: subject modules need `packageRoot` (the parent or
+ * grandparent directory of `contentLocation`). They never see the `Path`
+ * service — that lives at the live-layer construction boundary. The scanner's
+ * `pathSegments` field carries enough structure to reconstruct any ancestor.
+ *
+ * Cross-platform behavior:
+ *
+ * - POSIX `/ws/.axm/extensions/@o/skills/src/x` →
+ *   `pathSegments = ["", "ws", ".axm", "extensions", "@o", "skills", "src", "x"]`.
+ *   `pathSegments[0]` is `""`; the separator is `contentLocation.charAt(0) = "/"`.
+ *   Joining `pathSegments.slice(0, -2)` with `/` yields
+ *   `/ws/.axm/extensions/@o/skills`.
+ * - Windows `C:\\ws\\.axm\\extensions\\@o\\skills\\src\\x` →
+ *   `pathSegments = ["C:", "ws", ".axm", "extensions", "@o", "skills", "src", "x"]`.
+ *   `pathSegments[0]` is `"C:"` (length 2); the separator is
+ *   `contentLocation.charAt(2) = "\\"`. Joining yields
+ *   `C:\\ws\\.axm\\extensions\\@o\\skills`.
+ */
+/**
+ * Drop the trailing `count` segments from `pathSegments` and rejoin the
+ * remainder with the separator inferred from `contentLocation`. Returns the
+ * empty string if all segments would be dropped.
+ */
+export declare const stripTrailingSegments: (pathSegments: ReadonlyArray<string>, contentLocation: string, count: number) => string;
+export declare const canonicalAxmPackageRoot: (occ: {
+    readonly origin: "canonical-axm" | "external-axm";
+    readonly pathSegments: ReadonlyArray<string>;
+    readonly contentLocation: string;
+}) => string;
+//# sourceMappingURL=package-root.d.ts.map

package/dist/src/unstable/workspace/read-model/extensions/package-root.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-root.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/package-root.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,aAAa,CAAC,MAAM,CAAC,EACnC,iBAAiB,MAAM,EACvB,OAAO,MAAM,KACZ,MAIF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAAI,KAAK;IAC3C,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,cAAc,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC,KAAG,MAKD,CAAC"}

package/dist/src/unstable/workspace/read-model/extensions/package-root.js

@@ -0,0 +1,41 @@
+/**
+ * Internal helper for computing ancestor paths from scanner-emitted
+ * `pathSegments` + `contentLocation` without re-introducing a `Path` service
+ * dependency in subject modules.
+ *
+ * The canonical-extensions scanner already splits `contentLocation` into
+ * `pathSegments` via the `Path` service. This helper inverts that: it derives
+ * the platform separator from the relationship between the segments and the
+ * original string, then joins a prefix back to a path.
+ *
+ * Why this exists: subject modules need `packageRoot` (the parent or
+ * grandparent directory of `contentLocation`). They never see the `Path`
+ * service — that lives at the live-layer construction boundary. The scanner's
+ * `pathSegments` field carries enough structure to reconstruct any ancestor.
+ *
+ * Cross-platform behavior:
+ *
+ * - POSIX `/ws/.axm/extensions/@o/skills/src/x` →
+ *   `pathSegments = ["", "ws", ".axm", "extensions", "@o", "skills", "src", "x"]`.
+ *   `pathSegments[0]` is `""`; the separator is `contentLocation.charAt(0) = "/"`.
+ *   Joining `pathSegments.slice(0, -2)` with `/` yields
+ *   `/ws/.axm/extensions/@o/skills`.
+ * - Windows `C:\\ws\\.axm\\extensions\\@o\\skills\\src\\x` →
+ *   `pathSegments = ["C:", "ws", ".axm", "extensions", "@o", "skills", "src", "x"]`.
+ *   `pathSegments[0]` is `"C:"` (length 2); the separator is
+ *   `contentLocation.charAt(2) = "\\"`. Joining yields
+ *   `C:\\ws\\.axm\\extensions\\@o\\skills`.
+ */
+/**
+ * Drop the trailing `count` segments from `pathSegments` and rejoin the
+ * remainder with the separator inferred from `contentLocation`. Returns the
+ * empty string if all segments would be dropped.
+ */
+export const stripTrailingSegments = (pathSegments, contentLocation, count) => {
+    if (pathSegments.length <= count)
+        return "";
+    const sep = contentLocation.charAt(pathSegments[0]?.length ?? 0);
+    return pathSegments.slice(0, pathSegments.length - count).join(sep);
+};
+export const canonicalAxmPackageRoot = (occ) => stripTrailingSegments(occ.pathSegments, occ.contentLocation, occ.origin === "external-axm" ? 1 : 2);
+//# sourceMappingURL=package-root.js.map

package/dist/src/unstable/workspace/read-model/extensions/package-root.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-root.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/package-root.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAmC,EACnC,eAAuB,EACvB,KAAa,EACL,EAAE;IACV,IAAI,YAAY,CAAC,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;IACjE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,GAIvC,EAAU,EAAE,CACX,qBAAqB,CACnB,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,eAAe,EACnB,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACtC,CAAC"}

package/dist/src/unstable/workspace/read-model/extensions/projection.d.ts

@@ -0,0 +1,183 @@
+/**
+ * Shared projection helper: composes installed/active/unmanaged/ignored from
+ * declared/resolved/actual plus the installed-pack set.
+ *
+ * Per the projection invariant in the workspace read-model design (Decision 7):
+ *
+ * ```ts
+ * direct = declared.filter(notIgnored).map(withInstallationOrigin("direct"));
+ * implicit = installedPacks
+ *   .flatMap(p => p.members)
+ *   .filter(notIgnored)
+ *   .filter(notDeclaredByName) // direct (incl. disabled) wins
+ *   .map(withInstallationOrigin("pack-member"));
+ * installed = direct + implicit;
+ * active = installed.filter(activation === "enabled");
+ * unmanaged = actual
+ *   .filter(notIgnored)
+ *   .filter(notClaimedByInstalled)
+ *   .filter(notClaimedBySubjectPolicy);
+ * ignored = ignoredFrom(declared, packMembers, actual);
+ * ```
+ *
+ * The helper owns:
+ * - source-tolerance via `Effect.catch` so corrupt declared/resolved sources
+ *   degrade through `diagnostics` rather than failing the projection;
+ * - direct-over-pack precedence;
+ * - disabled-direct still claims actual occurrences (excluded from active and
+ *   from unmanaged);
+ * - actual-occurrence attachment via `policy.attachActualToInstalled`;
+ * - ignored suppression for declared, pack-member, and actual candidates;
+ * - orphaned-resolved diagnostics — resolved entries with no direct or
+ *   pack-member home publish a warning;
+ * - deterministic name-sorted ordering.
+ *
+ * The helper does NOT own subject row shape or subject policy. Both come in as
+ * parameters via `SubjectPolicy<...>`.
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import type { Diagnostics, Warning } from "../diagnostics.js";
+import type { LockfileReadError, SettingsReadError } from "../errors.js";
+import type { ActivationState, InstallationOrigin, InstalledPackRef } from "../types.js";
+import { type RowWithKey } from "./indexByName.js";
+/**
+ * One entry within a subject's `declared` payload. The shape is opaque to the
+ * helper; the policy callbacks bridge to subject internals.
+ */
+export type TDeclaredEntry<TDeclared> = TDeclared extends ReadonlyArray<infer E> ? E : TDeclared;
+/** One entry within a subject's `resolved` payload. */
+export type TResolvedEntry<TResolved> = TResolved extends ReadonlyArray<infer E> ? E : TResolved;
+/** One actual occurrence within a subject's `actual` payload. */
+export type TActualEntry<TActual> = TActual extends ReadonlyArray<infer E> ? E : TActual;
+/**
+ * Subject-specific policy callbacks the projection helper requires.
+ */
+export interface SubjectPolicy<TDeclared, TResolved, TActual, TPackMember, TInstalled, TUnmanaged, TIgnored> {
+    /** Iterate the subject's declared entries from a decoded `declared` payload. */
+    readonly declaredEntries: (declared: TDeclared) => ReadonlyArray<TDeclaredEntry<TDeclared>>;
+    /** Extract the subject name from a declared entry. */
+    readonly declaredName: (entry: TDeclaredEntry<TDeclared>) => string;
+    /**
+     * Activation state derived from a declared entry. For subjects without an
+     * `enabled` flag (mcp-server, pack), return `"enabled"` unconditionally.
+     */
+    readonly declaredActivation: (entry: TDeclaredEntry<TDeclared>) => ActivationState;
+    /** Iterate the subject's resolved entries from a decoded `resolved` payload. */
+    readonly resolvedEntries: (resolved: TResolved) => ReadonlyArray<TResolvedEntry<TResolved>>;
+    /** Extract the subject name from a resolved entry. */
+    readonly resolvedName: (entry: TResolvedEntry<TResolved>) => string;
+    /** Iterate the subject's actual occurrences from an `actual` payload. */
+    readonly actualEntries: (actual: TActual) => ReadonlyArray<TActualEntry<TActual>>;
+    /** Extract the subject name from an actual occurrence. */
+    readonly actualName: (entry: TActualEntry<TActual>) => string;
+    /** Extract the subject name from a pack-member entry. */
+    readonly packMemberName: (member: TPackMember) => string;
+    /** Subject ignored-policy: name-based check against the supplied ignored set. */
+    readonly isIgnoredName: (name: string, ignored: ReadonlySet<string>) => boolean;
+    /** Activation state for a pack-member installed row. */
+    readonly packMemberActivation: (member: TPackMember) => ActivationState;
+    /** Filter actual occurrences to those that match a given installed name. */
+    readonly attachActualToInstalled: (name: string, actual: ReadonlyArray<TActualEntry<TActual>>) => ReadonlyArray<TActualEntry<TActual>>;
+    /**
+     * Subject-policy filter for unmanaged actual occurrences. Returns `true` if
+     * the occurrence is NOT claimed by subject-specific policy.
+     */
+    readonly notClaimedBySubjectPolicy: (entry: TActualEntry<TActual>) => boolean;
+    /** Build a subject installed row from the assembled facts. */
+    readonly buildInstalledRow: (input: BuildInstalledRowInput<TDeclared, TResolved, TActual, TPackMember>) => TInstalled;
+    /** Build a subject unmanaged row from one actual occurrence. */
+    readonly buildUnmanagedRow: (entry: TActualEntry<TActual>) => TUnmanaged;
+    /**
+     * Build an ignored row from a declared candidate. When the subject's
+     * `TDeclared` resolves to `ReadonlyArray<never>` (no settings entry shape),
+     * `input.declared` has type `never` so the body is statically uninhabitable
+     * and `return input.declared` satisfies any return type without a throw.
+     */
+    readonly buildDeclaredIgnoredRow: (input: BuildDeclaredIgnoredRowInput<TDeclared>) => TIgnored;
+    /**
+     * Build an ignored row from a pack-member candidate. When the subject's
+     * `TPackMember` resolves to `never` (the subject cannot have pack members,
+     * e.g. packs themselves), `input.member` has type `never` so the body is
+     * statically uninhabitable and `return input.member` satisfies any return
+     * type without a throw.
+     */
+    readonly buildPackMemberIgnoredRow: (input: BuildPackMemberIgnoredRowInput<TPackMember>) => TIgnored;
+    /** Build an ignored row from an actual candidate. */
+    readonly buildActualIgnoredRow: (input: BuildActualIgnoredRowInput<TActual>) => TIgnored;
+    /** Build the orphan-resolved warning published when a resolved entry has no home. */
+    readonly resolvedOrphanWarning: (name: string) => Warning;
+}
+/**
+ * Input passed to `buildInstalledRow`. Carries everything the subject needs
+ * to construct its installed row.
+ */
+export interface BuildInstalledRowInput<TDeclared, TResolved, TActual, TPackMember> {
+    readonly name: string;
+    readonly installationOrigin: InstallationOrigin<TDeclaredEntry<TDeclared>, TPackMember>;
+    readonly activation: ActivationState;
+    readonly resolved: Option.Option<TResolvedEntry<TResolved>>;
+    readonly actual: ReadonlyArray<TActualEntry<TActual>>;
+    readonly providingPacks: ReadonlyArray<InstalledPackRef>;
+}
+/** Input passed to `buildDeclaredIgnoredRow`. */
+export interface BuildDeclaredIgnoredRowInput<TDeclared> {
+    readonly name: string;
+    readonly declared: TDeclaredEntry<TDeclared>;
+}
+/** Input passed to `buildPackMemberIgnoredRow`. */
+export interface BuildPackMemberIgnoredRowInput<TPackMember> {
+    readonly name: string;
+    readonly member: TPackMember;
+    readonly pack: InstalledPackRef;
+}
+/** Input passed to `buildActualIgnoredRow`. */
+export interface BuildActualIgnoredRowInput<TActual> {
+    readonly name: string;
+    readonly actual: TActualEntry<TActual>;
+}
+export interface ProjectInstalledExtensionsInput<TDeclared, TResolved, TActual, TPack, TPackMember, TInstalled, TUnmanaged, TIgnored> {
+    readonly subjectKey: string;
+    readonly declared: Effect.Effect<Option.Option<TDeclared>, SettingsReadError>;
+    readonly resolved: Effect.Effect<Option.Option<TResolved>, LockfileReadError>;
+    readonly actual: Effect.Effect<TActual>;
+    readonly installedPacks: Effect.Effect<ReadonlyArray<TPack>>;
+    readonly packMembers: (pack: TPack) => ReadonlyArray<TPackMember>;
+    readonly packRef: (pack: TPack) => InstalledPackRef;
+    readonly ignoredNames: ReadonlySet<string>;
+    readonly policy: SubjectPolicy<TDeclared, TResolved, TActual, TPackMember, TInstalled, TUnmanaged, TIgnored>;
+    readonly diagnostics: Diagnostics;
+}
+export interface ProjectInstalledExtensionsOutput<TInstalled, TUnmanaged, TIgnored> {
+    readonly installed: ReadonlyArray<TInstalled>;
+    readonly active: ReadonlyArray<TInstalled>;
+    readonly unmanaged: ReadonlyArray<TUnmanaged>;
+    readonly ignored: ReadonlyArray<TIgnored>;
+}
+export declare const makeProjectedSubjectCells: <TDeclaredEntry extends {
+    readonly name: string;
+}, TDeclared extends ReadonlyArray<TDeclaredEntry>, TResolved, TActual, TInstalled extends RowWithKey, TUnmanaged, TIgnored>(args: {
+    readonly declared: Effect.Effect<Option.Option<TDeclared>, SettingsReadError>;
+    readonly resolved: Effect.Effect<Option.Option<TResolved>, LockfileReadError>;
+    readonly actual: Effect.Effect<TActual>;
+    readonly project: Effect.Effect<ProjectInstalledExtensionsOutput<TInstalled, TUnmanaged, TIgnored>>;
+}) => {
+    declared: Effect.Effect<Option.Option<TDeclared>, SettingsReadError, never>;
+    resolved: Effect.Effect<Option.Option<TResolved>, LockfileReadError, never>;
+    actual: Effect.Effect<TActual, never, never>;
+    installed: Effect.Effect<readonly TInstalled[], never, never>;
+    byName: (name: string) => Effect.Effect<Option.Option<TInstalled>, never, never>;
+    declaredByName: (name: string) => Effect.Effect<Option.Option<Exclude<TDeclaredEntry, undefined>>, SettingsReadError, never>;
+    active: Effect.Effect<readonly TInstalled[], never, never>;
+    unmanaged: Effect.Effect<readonly TUnmanaged[], never, never>;
+    ignored: Effect.Effect<readonly TIgnored[], never, never>;
+};
+/**
+ * Compose installed/active/unmanaged/ignored from declared/resolved/actual
+ * plus the installed-pack set, per the projection invariant.
+ *
+ * The returned effect never fails — it absorbs source-read failures via the
+ * supplied `diagnostics` buffer.
+ */
+export declare const projectInstalledExtensions: <TDeclared, TResolved, TActual, TPack, TPackMember, TInstalled, TUnmanaged, TIgnored>(input: ProjectInstalledExtensionsInput<TDeclared, TResolved, TActual, TPack, TPackMember, TInstalled, TUnmanaged, TIgnored>) => Effect.Effect<ProjectInstalledExtensionsOutput<TInstalled, TUnmanaged, TIgnored>>;
+//# sourceMappingURL=projection.d.ts.map

package/dist/src/unstable/workspace/read-model/extensions/projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACzF,OAAO,EAAc,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAM/D;;;GAGG;AACH,MAAM,MAAM,cAAc,CAAC,SAAS,IAAI,SAAS,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;AAEjG,uDAAuD;AACvD,MAAM,MAAM,cAAc,CAAC,SAAS,IAAI,SAAS,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;AAEjG,iEAAiE;AACjE,MAAM,MAAM,YAAY,CAAC,OAAO,IAAI,OAAO,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;AAMzF;;GAEG;AACH,MAAM,WAAW,aAAa,CAC5B,SAAS,EACT,SAAS,EACT,OAAO,EACP,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ;IAER,gFAAgF;IAChF,QAAQ,CAAC,eAAe,EAAE,CAAC,QAAQ,EAAE,SAAS,KAAK,aAAa,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5F,sDAAsD;IACtD,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC;IAEpE;;;OAGG;IACH,QAAQ,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,SAAS,CAAC,KAAK,eAAe,CAAC;IAEnF,gFAAgF;IAChF,QAAQ,CAAC,eAAe,EAAE,CAAC,QAAQ,EAAE,SAAS,KAAK,aAAa,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5F,sDAAsD;IACtD,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC;IAEpE,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAElF,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC;IAE9D,yDAAyD;IACzD,QAAQ,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,MAAM,CAAC;IAEzD,iFAAiF;IACjF,QAAQ,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC;IAEhF,wDAAwD;IACxD,QAAQ,CAAC,oBAAoB,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,eAAe,CAAC;IAExE,4EAA4E;IAC5E,QAAQ,CAAC,uBAAuB,EAAE,CAChC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KACzC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAE1C;;;OAGG;IACH,QAAQ,CAAC,yBAAyB,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC;IAE9E,8DAA8D;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,CAC1B,KAAK,EAAE,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,CAAC,KACtE,UAAU,CAAC;IAEhB,gEAAgE;IAChE,QAAQ,CAAC,iBAAiB,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,UAAU,CAAC;IAEzE;;;;;OAKG;IACH,QAAQ,CAAC,uBAAuB,EAAE,CAAC,KAAK,EAAE,4BAA4B,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC;IAE/F;;;;;;OAMG;IACH,QAAQ,CAAC,yBAAyB,EAAE,CAClC,KAAK,EAAE,8BAA8B,CAAC,WAAW,CAAC,KAC/C,QAAQ,CAAC;IAEd,qDAAqD;IACrD,QAAQ,CAAC,qBAAqB,EAAE,CAAC,KAAK,EAAE,0BAA0B,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;IAEzF,qFAAqF;IACrF,QAAQ,CAAC,qBAAqB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CAC3D;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IACxF,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CAC1D;AAED,iDAAiD;AACjD,MAAM,WAAW,4BAA4B,CAAC,SAAS;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;CAC9C;AAED,mDAAmD;AACnD,MAAM,WAAW,8BAA8B,CAAC,WAAW;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACjC;AAED,+CAA+C;AAC/C,MAAM,WAAW,0BAA0B,CAAC,OAAO;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;CACxC;AAMD,MAAM,WAAW,+BAA+B,CAC9C,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ;IAER,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,aAAa,CAAC,WAAW,CAAC,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,gBAAgB,CAAC;IACpD,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAC5B,SAAS,EACT,SAAS,EACT,OAAO,EACP,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,CACT,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAED,MAAM,WAAW,gCAAgC,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ;IAChF,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;CAC3C;AAED,eAAO,MAAM,yBAAyB,GACpC,cAAc,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAChD,SAAS,SAAS,aAAa,CAAC,cAAc,CAAC,EAC/C,SAAS,EACT,OAAO,EACP,UAAU,SAAS,UAAU,EAC7B,UAAU,EACV,QAAQ,EACR,MAAM;IACN,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAC7B,gCAAgC,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,CACnE,CAAC;CACH;;;;;mBAKgB,MAAM;2BACE,MAAM;;;;CAW7B,CAAC;AAwDH;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,GACrC,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EAER,OAAO,+BAA+B,CACpC,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,CACT,KACA,MAAM,CAAC,MAAM,CAAC,gCAAgC,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,CAiO/E,CAAC"}