@agentxm/client-core 0.4.3 → 0.5.0

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

@@ -0,0 +1,126 @@
+/**
+ * File subject module: declared/resolved/actual payloads, scanner composition,
+ * and projections via the shared helper.
+ *
+ * Files have no `settings.json` entry shape and no `axm-lock.yaml` entry
+ * shape in v1; `declared` and `resolved` cells therefore return
+ * `Option.none()` permanently. Actual occurrences come exclusively from the
+ * canonical-extensions scanner (`type === "file"`); no agent registers a
+ * file rendering directory.
+ *
+ * The projection helper still owns ignored/unmanaged behavior: a canonical
+ * file occurrence whose name matches an ignored pattern produces an ignored
+ * row; otherwise it surfaces in `unmanaged`.
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { filterMapOccurrences } from "./actual-helpers.js";
+import { canonicalAxmPackageRoot } from "./package-root.js";
+import { makeProjectedSubjectCells, projectInstalledExtensions, } from "./projection.js";
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+const canonicalToActual = (occ, scope) => {
+    const isExternal = occ.origin === "external-axm";
+    const packageRoot = canonicalAxmPackageRoot(occ);
+    return {
+        key: { scope, type: "file", name: occ.name },
+        origin: isExternal ? { _tag: "external-axm-file" } : { _tag: "canonical-axm-file" },
+        contentRoot: occ.contentLocation,
+        packageRoot,
+    };
+};
+const SUBJECT_KEY = "file";
+const orphanResolvedWarning = (name) => ({
+    source: "lockfile",
+    message: `file: lockfile entry "${name}" has no matching declared or pack-member home`,
+    code: "orphan-resolved",
+});
+const filePolicy = (scope) => ({
+    declaredEntries: () => [],
+    declaredName: (entry) => entry,
+    declaredActivation: () => "enabled",
+    resolvedEntries: () => [],
+    resolvedName: (entry) => entry,
+    actualEntries: (a) => a,
+    actualName: (e) => e.key.name,
+    // `m: never` — the helper invocation passes `TPackMember = never`, so
+    // this callback is statically uninhabitable. Returning `m` (typed as
+    // `never`) satisfies the `string` return type.
+    packMemberName: (m) => m,
+    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: "file", name: input.name },
+        installationOrigin: input.installationOrigin,
+        activation: input.activation,
+        resolved: input.resolved,
+        actual: input.actual,
+        providingPacks: input.providingPacks,
+    }),
+    buildUnmanagedRow: (entry) => ({
+        key: { scope, type: "file", name: entry.key.name },
+        actual: entry,
+    }),
+    // `DeclaredFile = never` (files have no settings entry shape), so
+    // `input.declared` has type `never` and `return input.declared` satisfies
+    // any `TIgnored` statically. The body is uninhabitable at runtime.
+    buildDeclaredIgnoredRow: (input) => input.declared,
+    // The helper invocation passes `TPackMember = never` (v1 emits no file
+    // pack members), so `input.member` has type `never` and the body is
+    // uninhabitable at runtime — no throw needed.
+    buildPackMemberIgnoredRow: (input) => input.member,
+    buildActualIgnoredRow: (input) => ({
+        key: { scope, type: "file", name: input.name },
+        reason: "actual-ignored",
+        actual: input.actual,
+    }),
+    resolvedOrphanWarning: orphanResolvedWarning,
+});
+/**
+ * Build the file 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 makeFileExtensionsApi = (deps) => Effect.gen(function* () {
+    const { scope, scanners, ignoredNames, diagnostics } = deps;
+    const declared = Effect.succeed(Option.none());
+    const resolved = Effect.succeed(Option.none());
+    const actual = Effect.gen(function* () {
+        const canonical = yield* scanners.canonical;
+        return filterMapOccurrences(canonical, "file", (occ) => canonicalToActual(occ, scope));
+    });
+    // v1 emits no file pack members. Pass an empty installed-packs effect to
+    // the projection helper with `TPackMember = never` so unreachable
+    // pack-member callbacks become statically uninhabitable.
+    // `deps.installedPacks` is accepted on the public dep contract but ignored
+    // here until v2 wires file pack members through.
+    const installedPacksForHelper = Effect.succeed([]);
+    const project = yield* Effect.cached(projectInstalledExtensions({
+        subjectKey: SUBJECT_KEY,
+        declared,
+        resolved,
+        actual,
+        installedPacks: installedPacksForHelper,
+        packMembers: (pack) => pack.members,
+        packRef: (pack) => pack.ref,
+        ignoredNames,
+        policy: filePolicy(scope),
+        diagnostics,
+    }));
+    return {
+        ...makeProjectedSubjectCells({
+            declared,
+            resolved,
+            actual,
+            project,
+        }),
+        declared,
+        resolved,
+        actual,
+        declaredByName: () => Effect.succeed(Option.none()),
+    };
+});
+//# sourceMappingURL=file.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"file.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAWxC,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;AAyDzB,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,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;AAmCF,MAAM,WAAW,GAAG,MAAM,CAAC;AAE3B,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC;IACxD,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,yBAAyB,IAAI,gDAAgD;IACtF,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CACjB,KAAY,EAYZ,EAAE,CAAC,CAAC;IACJ,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IAC9B,kBAAkB,EAAE,GAAG,EAAE,CAAC,SAAS;IACnC,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE;IACzB,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IAC9B,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI;IAC7B,sEAAsE;IACtE,qEAAqE;IACrE,+CAA+C;IAC/C,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxB,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,kEAAkE;IAClE,0EAA0E;IAC1E,mEAAmE;IACnE,uBAAuB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ;IAClD,uEAAuE;IACvE,oEAAoE;IACpE,8CAA8C;IAC9C,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,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAE5D,MAAM,QAAQ,GAAkC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAiB,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAkC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAiB,CAAC,CAAC;IAC7F,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,yEAAyE;IACzE,kEAAkE;IAClE,yDAAyD;IACzD,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,uBAAuB,GAEzB,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,EAAE,uBAAuB;QACvC,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;QACL,GAAG,yBAAyB,CAAC;YAC3B,QAAQ;YACR,QAAQ;YACR,MAAM;YACN,OAAO;SACR,CAAC;QACF,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;KACxB,CAAC;AAChC,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,18 @@
+/**
+ * Subject-module barrel: re-exports every per-subject API factory and its
+ * public payload types from one entry point so `context.ts` and downstream
+ * consumers can import a single module per concern instead of seven.
+ *
+ * Each subject module owns its own row shapes, scanner-composition signature,
+ * and projection wiring; this barrel only re-exports — no logic.
+ */
+export { makeSkillExtensionsApi, type ActualSkill, type ActualSkills, type DeclaredSkill, type DeclaredSkills, type IgnoredSkillCandidate, type InstalledPackForSkills, type InstalledSkill, type ResolvedSkill, type ResolvedSkills, type SkillDetectionOrigin, type SkillExtensionsApi, type SkillExtensionsApiDeps, type SkillPackMember, type SkillScanners, type SkillScopedLoaders, type UnmanagedSkill, } from "./skill.js";
+export { makeCommandExtensionsApi, type ActualCommand, type ActualCommands, type CommandDetectionOrigin, type CommandExtensionsApi, type CommandExtensionsApiDeps, type CommandPackMember, type CommandScanners, type CommandScopedLoaders, type DeclaredCommand, type DeclaredCommands, type IgnoredCommandCandidate, type InstalledCommand, type InstalledPackForCommands, type ResolvedCommand, type ResolvedCommands, type UnmanagedCommand, } from "./command.js";
+export { makeMcpServerExtensionsApi, type ActualMcpServer, type ActualMcpServers, type DeclaredMcpServer, type DeclaredMcpServers, type IgnoredMcpServerCandidate, type InstalledMcpServer, type InstalledPackForMcpServers, type McpServerDetectionOrigin, type McpServerExtensionsApi, type McpServerExtensionsApiDeps, type McpServerPackMember, type McpServerScanners, type McpServerScopedLoaders, type ResolvedMcpServer, type ResolvedMcpServers, type UnmanagedMcpServer, } from "./mcp-server.js";
+export { makeSubagentExtensionsApi, type ActualSubagent, type ActualSubagents, type DeclaredSubagent, type DeclaredSubagents, type IgnoredSubagentCandidate, type InstalledPackForSubagents, type InstalledSubagent, type ResolvedSubagent, type ResolvedSubagents, type SubagentDetectionOrigin, type SubagentExtensionsApi, type SubagentExtensionsApiDeps, type SubagentPackMember, type SubagentScanners, type SubagentScopedLoaders, type UnmanagedSubagent, } from "./subagent.js";
+export { makeFileExtensionsApi, type ActualFile, type ActualFiles, type DeclaredFile, type DeclaredFiles, type FileDetectionOrigin, type FileExtensionsApi, type FileExtensionsApiDeps, type FilePackMember, type FileScanners, type IgnoredFileCandidate, type InstalledFile, type InstalledPackForFiles, type ResolvedFile, type ResolvedFiles, type UnmanagedFile, } from "./file.js";
+export { makeRuleExtensionsApi, type ActualRule, type ActualRules, type DeclaredRule, type DeclaredRules, type IgnoredRuleCandidate, type InstalledPackForRules, type InstalledRule, type ResolvedRule, type ResolvedRules, type RuleDetectionOrigin, type RuleExtensionsApi, type RuleExtensionsApiDeps, type RulePackMember, type RuleScanners, type UnmanagedRule, } from "./rule.js";
+export { makePackExtensionsApi, type ActualPack, type ActualPacks, type DeclaredPack, type DeclaredPacks, type IgnoredPackCandidate, type InstalledPack, type PackDetectionOrigin, type PackExtensionsApi, type PackExtensionsApiDeps, type PackPackMember, type PackScanners, type PackScopedLoaders, type ResolvedPack, type ResolvedPacks, type UnmanagedPack, } from "./pack.js";
+export { projectInstalledExtensions, type BuildActualIgnoredRowInput, type BuildDeclaredIgnoredRowInput, type BuildInstalledRowInput, type BuildPackMemberIgnoredRowInput, type ProjectInstalledExtensionsInput, type ProjectInstalledExtensionsOutput, type SubjectPolicy, type TActualEntry, type TDeclaredEntry, type TResolvedEntry, } from "./projection.js";
+export { findByName, indexByName, type RowWithKey } from "./indexByName.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,OAAO,EACL,sBAAsB,EACtB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,sBAAsB,EAC3B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,cAAc,GACpB,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,wBAAwB,EACxB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,wBAAwB,EAC7B,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,GACtB,MAAM,cAAc,CAAC;AAMtB,OAAO,EACL,0BAA0B,EAC1B,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,kBAAkB,EACvB,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,EAC/B,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,iBAAiB,CAAC;AAMzB,OAAO,EACL,yBAAyB,EACzB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,wBAAwB,EAC7B,KAAK,yBAAyB,EAC9B,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,yBAAyB,EAC9B,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAC1B,KAAK,iBAAiB,GACvB,MAAM,eAAe,CAAC;AAMvB,OAAO,EACL,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAMnB,OAAO,EACL,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAMnB,OAAO,EACL,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AAMnB,OAAO,EACL,0BAA0B,EAC1B,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,sBAAsB,EAC3B,KAAK,8BAA8B,EACnC,KAAK,+BAA+B,EACpC,KAAK,gCAAgC,EACrC,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,cAAc,GACpB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,42 @@
+/**
+ * Subject-module barrel: re-exports every per-subject API factory and its
+ * public payload types from one entry point so `context.ts` and downstream
+ * consumers can import a single module per concern instead of seven.
+ *
+ * Each subject module owns its own row shapes, scanner-composition signature,
+ * and projection wiring; this barrel only re-exports — no logic.
+ */
+// ---------------------------------------------------------------------------
+// Skill subject
+// ---------------------------------------------------------------------------
+export { makeSkillExtensionsApi, } from "./skill.js";
+// ---------------------------------------------------------------------------
+// Command subject
+// ---------------------------------------------------------------------------
+export { makeCommandExtensionsApi, } from "./command.js";
+// ---------------------------------------------------------------------------
+// MCP server subject
+// ---------------------------------------------------------------------------
+export { makeMcpServerExtensionsApi, } from "./mcp-server.js";
+// ---------------------------------------------------------------------------
+// Subagent subject
+// ---------------------------------------------------------------------------
+export { makeSubagentExtensionsApi, } from "./subagent.js";
+// ---------------------------------------------------------------------------
+// File subject
+// ---------------------------------------------------------------------------
+export { makeFileExtensionsApi, } from "./file.js";
+// ---------------------------------------------------------------------------
+// Rule subject
+// ---------------------------------------------------------------------------
+export { makeRuleExtensionsApi, } from "./rule.js";
+// ---------------------------------------------------------------------------
+// Pack subject
+// ---------------------------------------------------------------------------
+export { makePackExtensionsApi, } from "./pack.js";
+// ---------------------------------------------------------------------------
+// Shared projection helper + name-index helpers
+// ---------------------------------------------------------------------------
+export { projectInstalledExtensions, } from "./projection.js";
+export { findByName, indexByName } from "./indexByName.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,OAAO,EACL,sBAAsB,GAiBvB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,OAAO,EACL,wBAAwB,GAiBzB,MAAM,cAAc,CAAC;AAEtB,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,OAAO,EACL,0BAA0B,GAiB3B,MAAM,iBAAiB,CAAC;AAEzB,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,OAAO,EACL,yBAAyB,GAiB1B,MAAM,eAAe,CAAC;AAEvB,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,OAAO,EACL,qBAAqB,GAgBtB,MAAM,WAAW,CAAC;AAEnB,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,OAAO,EACL,qBAAqB,GAgBtB,MAAM,WAAW,CAAC;AAEnB,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,OAAO,EACL,qBAAqB,GAgBtB,MAAM,WAAW,CAAC;AAEnB,8EAA8E;AAC9E,gDAAgD;AAChD,8EAA8E;AAE9E,OAAO,EACL,0BAA0B,GAW3B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,UAAU,EAAE,WAAW,EAAmB,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,31 @@
+/**
+ * Pure `indexByName` / `findByName` helpers for projection rows carrying an
+ * `ExtensionKey`. Exported once from this shared utility; per-subject modules
+ * re-use the same shape so command handlers can lookup a row by name without
+ * each subject re-implementing the operation.
+ *
+ * Rows are read-only inputs; the helpers do not mutate or copy beyond what is
+ * needed to build a `Map`. First-seen wins on duplicate names — duplicates are
+ * rare in projection output (the projection helper deduplicates by name) but
+ * the contract is explicit.
+ */
+import * as Option from "effect/Option";
+import type { ExtensionKey } from "../types.js";
+/**
+ * Minimal row shape the helpers operate on. Subjects whose row carries
+ * `key: ExtensionKey<TType>` for any `TType` satisfies this constraint.
+ */
+export interface RowWithKey {
+    readonly key: ExtensionKey;
+}
+/**
+ * Build a name-indexed read-only map from a row array. First row with a given
+ * `key.name` wins; subsequent rows with the same name are dropped.
+ */
+export declare const indexByName: <Row extends RowWithKey>(rows: ReadonlyArray<Row>) => ReadonlyMap<string, Row>;
+/**
+ * Look up one row by name. Returns `Option.none()` when the name is not
+ * indexed.
+ */
+export declare const findByName: <Row extends RowWithKey>(rows: ReadonlyArray<Row>, name: string) => Option.Option<Row>;
+//# sourceMappingURL=indexByName.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"indexByName.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/indexByName.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;CAC5B;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,GAAG,SAAS,UAAU,EAChD,MAAM,aAAa,CAAC,GAAG,CAAC,KACvB,WAAW,CAAC,MAAM,EAAE,GAAG,CAMzB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,SAAS,UAAU,EAC/C,MAAM,aAAa,CAAC,GAAG,CAAC,EACxB,MAAM,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,GAAG,CAAwD,CAAC"}

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

@@ -0,0 +1,30 @@
+/**
+ * Pure `indexByName` / `findByName` helpers for projection rows carrying an
+ * `ExtensionKey`. Exported once from this shared utility; per-subject modules
+ * re-use the same shape so command handlers can lookup a row by name without
+ * each subject re-implementing the operation.
+ *
+ * Rows are read-only inputs; the helpers do not mutate or copy beyond what is
+ * needed to build a `Map`. First-seen wins on duplicate names — duplicates are
+ * rare in projection output (the projection helper deduplicates by name) but
+ * the contract is explicit.
+ */
+import * as Option from "effect/Option";
+/**
+ * Build a name-indexed read-only map from a row array. First row with a given
+ * `key.name` wins; subsequent rows with the same name are dropped.
+ */
+export const indexByName = (rows) => {
+    const map = new Map();
+    for (const row of rows) {
+        if (!map.has(row.key.name))
+            map.set(row.key.name, row);
+    }
+    return map;
+};
+/**
+ * Look up one row by name. Returns `Option.none()` when the name is not
+ * indexed.
+ */
+export const findByName = (rows, name) => Option.fromUndefinedOr(indexByName(rows).get(name));
+//# sourceMappingURL=indexByName.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"indexByName.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/indexByName.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAWxC;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAwB,EACE,EAAE;IAC5B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAe,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAAwB,EACxB,IAAY,EACQ,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,121 @@
+/**
+ * MCP server subject module: declared/resolved/actual payloads, scanner
+ * composition (canonical-extensions + mcp-config(workspace) + mcp-config(agent)),
+ * and projections via the shared helper.
+ *
+ * MCP servers do not carry a declared `enabled` flag — activation is
+ * `"enabled"` by policy regardless of declared shape (Decision 9). The
+ * projection row supplies activation for generic consumers without forcing a
+ * no-op declared field.
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import type { AgentId } from "../../../agents/types.js";
+import { type ExtensionName } from "../../../extensions/common.js";
+import type { Lockfile, McpServerLockEntry } from "../../../lockfile/schema.js";
+import type { McpServerEntry, Settings } from "../../../settings/schema.js";
+import type { Diagnostics } from "../diagnostics.js";
+import type { LockfileReadError, SettingsReadError } from "../errors.js";
+import type { CanonicalExtensionOccurrence, McpConfigOccurrence } from "../scanners/types.js";
+import type { ActivationState, ExtensionKey, InstallationOrigin, InstalledPackRef, Scope } from "../types.js";
+export type McpServerDetectionOrigin = {
+    readonly _tag: "canonical-axm-mcp-server";
+} | {
+    readonly _tag: "external-axm-mcp-server";
+} | {
+    readonly _tag: "workspace-mcp-config";
+} | {
+    readonly _tag: "agent-mcp-config";
+    readonly agentId: AgentId;
+};
+export interface DeclaredMcpServer {
+    readonly name: ExtensionName;
+    readonly entry: McpServerEntry;
+}
+export type DeclaredMcpServers = ReadonlyArray<DeclaredMcpServer>;
+export interface ResolvedMcpServer {
+    readonly name: ExtensionName;
+    readonly lockEntry: McpServerLockEntry;
+}
+export type ResolvedMcpServers = ReadonlyArray<ResolvedMcpServer>;
+/**
+ * One observable MCP server materialization. `configFile` is the absolute
+ * path to the config file containing the server entry (workspace `.mcp.json`
+ * or an agent-native MCP config). For canonical/external AXM occurrences,
+ * `configFile` is null and `contentRoot` carries the package directory.
+ */
+export interface ActualMcpServer {
+    readonly key: ExtensionKey<"mcp-server">;
+    readonly origin: McpServerDetectionOrigin;
+    readonly contentRoot: string | null;
+    readonly configFile: string | null;
+}
+export type ActualMcpServers = ReadonlyArray<ActualMcpServer>;
+export interface McpServerPackMember {
+    readonly name: ExtensionName;
+    readonly providingPack: InstalledPackRef;
+}
+export interface InstalledMcpServer {
+    readonly key: ExtensionKey<"mcp-server">;
+    readonly installationOrigin: InstallationOrigin<DeclaredMcpServer, McpServerPackMember>;
+    readonly activation: ActivationState;
+    readonly resolved: Option.Option<ResolvedMcpServer>;
+    readonly actual: ReadonlyArray<ActualMcpServer>;
+    readonly providingPacks: ReadonlyArray<InstalledPackRef>;
+}
+export interface UnmanagedMcpServer {
+    readonly key: ExtensionKey<"mcp-server">;
+    readonly actual: ActualMcpServer;
+}
+export type IgnoredMcpServerCandidate = {
+    readonly key: ExtensionKey<"mcp-server">;
+    readonly reason: "declared-ignored";
+    readonly declared: DeclaredMcpServer;
+} | {
+    readonly key: ExtensionKey<"mcp-server">;
+    readonly reason: "pack-member-ignored";
+    readonly member: McpServerPackMember;
+    readonly pack: InstalledPackRef;
+} | {
+    readonly key: ExtensionKey<"mcp-server">;
+    readonly reason: "actual-ignored";
+    readonly actual: ActualMcpServer;
+};
+export interface McpServerScopedLoaders {
+    readonly settings: Effect.Effect<Option.Option<Settings>, SettingsReadError>;
+    readonly lockfile: Effect.Effect<Option.Option<Lockfile>, LockfileReadError>;
+}
+export interface McpServerScanners {
+    readonly canonical: Effect.Effect<ReadonlyArray<CanonicalExtensionOccurrence>>;
+    readonly mcpConfig: Effect.Effect<ReadonlyArray<McpConfigOccurrence>>;
+}
+export interface InstalledPackForMcpServers {
+    readonly ref: InstalledPackRef;
+    readonly mcpServers: ReadonlyArray<McpServerPackMember>;
+}
+export interface McpServerExtensionsApiDeps {
+    readonly scope: Scope;
+    readonly loaders: McpServerScopedLoaders;
+    readonly scanners: McpServerScanners;
+    readonly installedPacks: Effect.Effect<ReadonlyArray<InstalledPackForMcpServers>>;
+    readonly ignoredNames: ReadonlySet<string>;
+    readonly diagnostics: Diagnostics;
+}
+export interface McpServerExtensionsApi {
+    readonly declared: Effect.Effect<Option.Option<DeclaredMcpServers>, SettingsReadError>;
+    readonly resolved: Effect.Effect<Option.Option<ResolvedMcpServers>, LockfileReadError>;
+    readonly actual: Effect.Effect<ActualMcpServers>;
+    readonly installed: Effect.Effect<ReadonlyArray<InstalledMcpServer>>;
+    readonly byName: (name: string) => Effect.Effect<Option.Option<InstalledMcpServer>>;
+    readonly declaredByName: (name: string) => Effect.Effect<Option.Option<DeclaredMcpServer>, SettingsReadError>;
+    readonly active: Effect.Effect<ReadonlyArray<InstalledMcpServer>>;
+    readonly unmanaged: Effect.Effect<ReadonlyArray<UnmanagedMcpServer>>;
+    readonly ignored: Effect.Effect<ReadonlyArray<IgnoredMcpServerCandidate>>;
+}
+/**
+ * Build the MCP server 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 makeMcpServerExtensionsApi: (deps: McpServerExtensionsApiDeps) => Effect.Effect<McpServerExtensionsApi>;
+//# sourceMappingURL=mcp-server.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mcp-server.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/mcp-server.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAA2B,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC5F,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5E,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,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,KAAK,EACN,MAAM,aAAa,CAAC;AAYrB,MAAM,MAAM,wBAAwB,GAChC;IAAE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAA;CAAE,GACzC;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAMrE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;CAChC;AACD,MAAM,MAAM,kBAAkB,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;AAElE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;CACxC;AACD,MAAM,MAAM,kBAAkB,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;AAElE;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AACD,MAAM,MAAM,gBAAgB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;AAE9D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IACxF,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;CAClC;AAED,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;CAClC,CAAC;AA8CN,MAAM,WAAW,sBAAsB;IACrC,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,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,GAAG,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,0BAA0B,CAAC,CAAC,CAAC;IAClF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACvF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACvF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACjD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACpF,QAAQ,CAAC,cAAc,EAAE,CACvB,IAAI,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC,CAAC;CAC3E;AAiED;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,0BAA0B,KAC/B,MAAM,CAAC,MAAM,CAAC,sBAAsB,CA8CnC,CAAC"}

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

@@ -0,0 +1,136 @@
+/**
+ * MCP server subject module: declared/resolved/actual payloads, scanner
+ * composition (canonical-extensions + mcp-config(workspace) + mcp-config(agent)),
+ * and projections via the shared helper.
+ *
+ * MCP servers do not carry a declared `enabled` flag — activation is
+ * `"enabled"` by policy regardless of declared shape (Decision 9). The
+ * projection row supplies activation for generic consumers without forcing a
+ * no-op declared field.
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { decodeExtensionNameSync } from "../../../extensions/common.js";
+import { filterMapOccurrences } from "./actual-helpers.js";
+import { makeProjectedSubjectCells, projectInstalledExtensions, } from "./projection.js";
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+const declaredFromSettings = (settings) => {
+    if (settings.mcpServers === undefined)
+        return [];
+    return Object.entries(settings.mcpServers).map(([name, entry]) => ({
+        name: decodeExtensionNameSync(name),
+        entry,
+    }));
+};
+const resolvedFromLockfile = (lockfile) => {
+    if (lockfile.mcpServers === undefined)
+        return [];
+    return Object.entries(lockfile.mcpServers).map(([name, lockEntry]) => ({
+        name: decodeExtensionNameSync(name),
+        lockEntry,
+    }));
+};
+const canonicalToActual = (occ, scope) => ({
+    key: { scope, type: "mcp-server", name: occ.name },
+    origin: occ.origin === "canonical-axm"
+        ? { _tag: "canonical-axm-mcp-server" }
+        : { _tag: "external-axm-mcp-server" },
+    contentRoot: occ.contentLocation,
+    configFile: null,
+});
+const mcpConfigToActual = (occ, scope) => ({
+    key: { scope, type: "mcp-server", name: occ.name },
+    origin: occ.origin === "workspace"
+        ? { _tag: "workspace-mcp-config" }
+        : { _tag: "agent-mcp-config", agentId: occ.agentId },
+    contentRoot: null,
+    configFile: occ.contentLocation,
+});
+const SUBJECT_KEY = "mcp-server";
+const orphanResolvedWarning = (name) => ({
+    source: "lockfile",
+    message: `mcp-server: lockfile entry "${name}" has no matching declared or pack-member home`,
+    code: "orphan-resolved",
+});
+const mcpServerPolicy = (scope) => ({
+    declaredEntries: (d) => d,
+    declaredName: (e) => e.name,
+    // MCP servers 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,
+    packMemberName: (m) => m.name,
+    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: "mcp-server", name: input.name },
+        installationOrigin: input.installationOrigin,
+        activation: input.activation,
+        resolved: input.resolved,
+        actual: input.actual,
+        providingPacks: input.providingPacks,
+    }),
+    buildUnmanagedRow: (entry) => ({
+        key: { scope, type: "mcp-server", name: entry.key.name },
+        actual: entry,
+    }),
+    buildDeclaredIgnoredRow: (input) => ({
+        key: { scope, type: "mcp-server", name: input.name },
+        reason: "declared-ignored",
+        declared: input.declared,
+    }),
+    buildPackMemberIgnoredRow: (input) => ({
+        key: { scope, type: "mcp-server", name: input.name },
+        reason: "pack-member-ignored",
+        member: input.member,
+        pack: input.pack,
+    }),
+    buildActualIgnoredRow: (input) => ({
+        key: { scope, type: "mcp-server", name: input.name },
+        reason: "actual-ignored",
+        actual: input.actual,
+    }),
+    resolvedOrphanWarning: orphanResolvedWarning,
+});
+/**
+ * Build the MCP server 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 makeMcpServerExtensionsApi = (deps) => Effect.gen(function* () {
+    const { scope, loaders, scanners, installedPacks, 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;
+        const mcpConfig = yield* scanners.mcpConfig;
+        const fromCanonical = filterMapOccurrences(canonical, "mcp-server", (occ) => canonicalToActual(occ, scope));
+        const fromMcpConfig = mcpConfig.map((occ) => mcpConfigToActual(occ, scope));
+        return [...fromCanonical, ...fromMcpConfig];
+    });
+    const project = yield* Effect.cached(projectInstalledExtensions({
+        subjectKey: SUBJECT_KEY,
+        declared,
+        resolved,
+        actual,
+        installedPacks: installedPacks.pipe(Effect.map((packs) => packs.map((p) => ({ ref: p.ref, members: p.mcpServers })))),
+        packMembers: (pack) => pack.members,
+        packRef: (pack) => pack.ref,
+        ignoredNames,
+        policy: mcpServerPolicy(scope),
+        diagnostics,
+    }));
+    return makeProjectedSubjectCells({
+        declared,
+        resolved,
+        actual,
+        project,
+    });
+});
+//# sourceMappingURL=mcp-server.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mcp-server.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/mcp-server.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,uBAAuB,EAAsB,MAAM,+BAA+B,CAAC;AAa5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,yBAAyB,EACzB,0BAA0B,GAE3B,MAAM,iBAAiB,CAAC;AA+EzB,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,CAAC,QAAkB,EAAsB,EAAE;IACtE,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACjE,IAAI,EAAE,uBAAuB,CAAC,IAAI,CAAC;QACnC,KAAK;KACN,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAAkB,EAAsB,EAAE;IACtE,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,uBAAuB,CAAC,IAAI,CAAC;QACnC,SAAS;KACV,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,GAAiC,EAAE,KAAY,EAAmB,EAAE,CAAC,CAAC;IAC/F,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE;IAClD,MAAM,EACJ,GAAG,CAAC,MAAM,KAAK,eAAe;QAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE;QACtC,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE;IACzC,WAAW,EAAE,GAAG,CAAC,eAAe;IAChC,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,GAAwB,EAAE,KAAY,EAAmB,EAAE,CAAC,CAAC;IACtF,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE;IAClD,MAAM,EACJ,GAAG,CAAC,MAAM,KAAK,WAAW;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE;QAClC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;IACxD,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,GAAG,CAAC,eAAe;CAChC,CAAC,CAAC;AA4CH,MAAM,WAAW,GAAG,YAAY,CAAC;AAEjC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC;IACxD,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,+BAA+B,IAAI,gDAAgD;IAC5F,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CACtB,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,uEAAuE;IACvE,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,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;IAC7B,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,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QACpD,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,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE;QACxD,MAAM,EAAE,KAAK;KACd,CAAC;IACF,uBAAuB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QACpD,MAAM,EAAE,kBAAkB;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;IACF,yBAAyB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QACpD,MAAM,EAAE,qBAAqB;QAC7B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC;IACF,qBAAqB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;QACpD,MAAM,EAAE,gBAAgB;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;IACF,qBAAqB,EAAE,qBAAqB;CAC7C,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAgC,EACO,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAErF,MAAM,QAAQ,GAAuC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACxE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAC3D,CAAC;IACF,MAAM,QAAQ,GAAuC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACxE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAC3D,CAAC;IACF,MAAM,MAAM,GAAqC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC5C,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC5C,MAAM,aAAa,GAAG,oBAAoB,CAAC,SAAS,EAAE,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAC1E,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAC9B,CAAC;QACF,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5E,OAAO,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,0BAA0B,CAAC;QACzB,UAAU,EAAE,WAAW;QACvB,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,cAAc,EAAE,cAAc,CAAC,IAAI,CACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CACjF;QACD,WAAW,EAAE,CAAC,IAGb,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAC3B,YAAY;QACZ,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC;QAC9B,WAAW;KACZ,CAAC,CACH,CAAC;IAEF,OAAO,yBAAyB,CAAC;QAC/B,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,OAAO;KACR,CAAkC,CAAC;AACtC,CAAC,CAAC,CAAC"}