@agentxm/client-core 0.4.5 → 0.5.1

package/dist/src/unstable/workspace/read-model/service.js

@@ -0,0 +1,292 @@
+/** Per-scope read-only workspace model factory and configuration. */
+import * as Brand from "effect/Brand";
+import * as ServiceMap from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as FileSystem from "effect/FileSystem";
+import * as Option from "effect/Option";
+import * as Path from "effect/Path";
+import * as Ref from "effect/Ref";
+import { AGENTS } from "../../agents/registry.js";
+import { LOCKFILE_NAME } from "../../lockfile/lockfile.js";
+import { parseFullyQualifiedNameParts } from "../../extensions/common.js";
+import {} from "../../extensions/handle.js";
+import { SETTINGS_FILENAME } from "../../settings/settings.js";
+import { AgentRootResolver } from "./agent-root-resolver.js";
+import { makeScopedAgentsApi } from "./agents/index.js";
+import {} from "./agents/types.js";
+import { makeDiagnostics } from "./diagnostics.js";
+import { WorkspaceRootEscape, } from "./errors.js";
+import { makeCommandExtensionsApi, makeFileExtensionsApi, makeMcpServerExtensionsApi, makePackExtensionsApi, makeRuleExtensionsApi, makeSkillExtensionsApi, makeSubagentExtensionsApi, } from "./extensions/index.js";
+import { makeAgentDirScanner, makeAgentSettingsScanner, makeCanonicalExtensionsScanner, makeMcpConfigScanner, } from "./scanners/index.js";
+import { makeScopedStateApi } from "./state.js";
+/** Service tag for the {@link WorkspaceReadModelConfigService} the factory requires. */
+export class WorkspaceReadModelConfig extends ServiceMap.Service()("@agentxm/client-core/unstable/workspace/read-model/service/WorkspaceReadModelConfig") {
+}
+const ResolvedWorkspaceRoot = Brand.nominal();
+/** Resolve and validate a workspace root resides within `allowedRoot`. */
+const validateRoot = (pathSvc, candidate, allowedRoot) => Effect.gen(function* () {
+    const resolved = pathSvc.resolve(candidate);
+    const resolvedAllowed = pathSvc.resolve(allowedRoot);
+    if (resolved === resolvedAllowed)
+        return ResolvedWorkspaceRoot(resolved);
+    const relative = pathSvc.relative(resolvedAllowed, resolved);
+    if (relative !== "" && (relative.startsWith("..") || pathSvc.isAbsolute(relative))) {
+        return yield* new WorkspaceRootEscape({
+            workspaceRoot: candidate,
+            allowedRoot,
+        });
+    }
+    return ResolvedWorkspaceRoot(resolved);
+});
+const memberNamesFromResolvedMap = (resolvedMap) => Object.keys(resolvedMap).flatMap((fqn) => {
+    const parts = parseFullyQualifiedNameParts(fqn);
+    return parts === undefined ? [] : [parts.name];
+});
+const buildScope = Effect.fn("workspace.read-model.build-scope")(function* (deps) {
+    const { scope, fs, path, workspaceRoot, settingsPath, lockfilePath, rootResolverState, diagnosticsRef, } = deps;
+    // Diagnostics buffer (Ref provided by the factory so collision warnings
+    // detected by the resolver layer can be pre-seeded for the project scope).
+    const diagnostics = makeDiagnostics(diagnosticsRef);
+    // Cached state-source cells: settings/settingsRaw + lockfile/lockfileRaw.
+    const loaders = yield* makeScopedStateApi(scope, {
+        fs,
+        path,
+        settingsPath,
+        lockfilePath,
+    });
+    // Scanner cells — eagerly enumerate the closed scanner key set.
+    const canonicalScanner = yield* Effect.cached(makeCanonicalExtensionsScanner({
+        fs,
+        path,
+        workspaceRoot,
+        scope,
+        diagnostics,
+    }));
+    const agentDirScanner = yield* Effect.cached(makeAgentDirScanner({
+        fs,
+        path,
+        workspaceRoot,
+        scope,
+        diagnostics,
+        agentRegistry: AGENTS,
+    }));
+    const mcpConfigScanner = yield* Effect.cached(makeMcpConfigScanner({
+        fs,
+        path,
+        workspaceRoot,
+        scope,
+        diagnostics,
+        agentRegistry: AGENTS,
+        rootResolverState,
+    }));
+    const agentSettingsScanner = yield* Effect.cached(makeAgentSettingsScanner({
+        fs,
+        path,
+        workspaceRoot,
+        scope,
+        diagnostics,
+        agentRegistry: AGENTS,
+        rootResolverState,
+    }));
+    // Build the pack subject first; per-subject pack-member input derives from it.
+    const packsApi = yield* makePackExtensionsApi({
+        scope,
+        loaders,
+        scanners: { canonical: canonicalScanner },
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    // Cache the installed-packs rollup once per scope; shared across subjects.
+    const installedPackMembers = yield* Effect.cached(Effect.gen(function* () {
+        const installed = yield* packsApi.installed;
+        return installed.map((row) => {
+            const resolvedSome = Option.match(row.resolved, {
+                onNone: () => null,
+                onSome: (r) => r.lockEntry,
+            });
+            const skillNames = resolvedSome === null ? [] : memberNamesFromResolvedMap(resolvedSome.resolvedSkills);
+            const commandNames = resolvedSome === null ? [] : memberNamesFromResolvedMap(resolvedSome.resolvedCommands);
+            const mcpServerNames = resolvedSome === null ? [] : memberNamesFromResolvedMap(resolvedSome.resolvedMcpServers);
+            const subagentNames = resolvedSome === null ? [] : memberNamesFromResolvedMap(resolvedSome.resolvedSubagents);
+            return {
+                key: row.key,
+                skills: skillNames,
+                commands: commandNames,
+                mcpServers: mcpServerNames,
+                subagents: subagentNames,
+            };
+        });
+    }));
+    const skillsInstalledPacks = installedPackMembers.pipe(Effect.map((packs) => packs.map((p) => ({
+        ref: { key: p.key },
+        skills: p.skills.map((name) => ({
+            name,
+            providingPack: { key: p.key },
+        })),
+    }))));
+    const commandsInstalledPacks = installedPackMembers.pipe(Effect.map((packs) => packs.map((p) => ({
+        ref: { key: p.key },
+        commands: p.commands.map((name) => ({
+            name,
+            providingPack: { key: p.key },
+        })),
+    }))));
+    const mcpServersInstalledPacks = installedPackMembers.pipe(Effect.map((packs) => packs.map((p) => ({
+        ref: { key: p.key },
+        mcpServers: p.mcpServers.map((name) => ({
+            name,
+            providingPack: { key: p.key },
+        })),
+    }))));
+    const subagentsInstalledPacks = installedPackMembers.pipe(Effect.map((packs) => packs.map((p) => ({
+        ref: { key: p.key },
+        subagents: p.subagents.map((name) => ({
+            name,
+            providingPack: { key: p.key },
+        })),
+    }))));
+    const filesInstalledPacks = Effect.succeed([]);
+    const rulesInstalledPacks = Effect.succeed([]);
+    const skills = yield* makeSkillExtensionsApi({
+        scope,
+        loaders,
+        scanners: { canonical: canonicalScanner, agentDir: agentDirScanner },
+        installedPacks: skillsInstalledPacks,
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    const commands = yield* makeCommandExtensionsApi({
+        scope,
+        loaders,
+        scanners: { canonical: canonicalScanner, agentDir: agentDirScanner },
+        installedPacks: commandsInstalledPacks,
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    const mcpServers = yield* makeMcpServerExtensionsApi({
+        scope,
+        loaders,
+        scanners: { canonical: canonicalScanner, mcpConfig: mcpConfigScanner },
+        installedPacks: mcpServersInstalledPacks,
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    const subagents = yield* makeSubagentExtensionsApi({
+        scope,
+        loaders,
+        scanners: { canonical: canonicalScanner, agentDir: agentDirScanner },
+        installedPacks: subagentsInstalledPacks,
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    const files = yield* makeFileExtensionsApi({
+        scope,
+        scanners: { canonical: canonicalScanner },
+        installedPacks: filesInstalledPacks,
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    const rules = yield* makeRuleExtensionsApi({
+        scope,
+        scanners: { canonical: canonicalScanner },
+        installedPacks: rulesInstalledPacks,
+        ignoredNames: new Set(),
+        diagnostics,
+    });
+    // Cached fold of the three scanner cells into the shape agents expects.
+    const observations = yield* Effect.cached(Effect.gen(function* () {
+        const agentDir = yield* agentDirScanner;
+        const agentSettings = yield* agentSettingsScanner;
+        const mcpConfig = yield* mcpConfigScanner;
+        return { agentDir, agentSettings, mcpConfig };
+    }));
+    // Project settings into the narrowed `DeclaredSettingsShape` agents needs.
+    const agentsSettings = loaders.settings.pipe(Effect.map((opt) => Option.map(opt, (settings) => ({
+        agents: settings.agents ?? [],
+    }))));
+    const agents = makeScopedAgentsApi({
+        scope,
+        settings: agentsSettings,
+        observations,
+    });
+    // Source-host views over the cached settings loader.
+    const emptySources = [];
+    const declaredSourceHosts = loaders.settings.pipe(Effect.map((opt) => Option.match(opt, {
+        onNone: () => emptySources,
+        onSome: (settings) => settings.sources ?? emptySources,
+    })));
+    const sourceHosts = {
+        declared: declaredSourceHosts,
+        effective: declaredSourceHosts,
+        registryHosts: declaredSourceHosts.pipe(Effect.map((all) => all.filter((s) => s.type === "registry"))),
+        byName: (name) => declaredSourceHosts.pipe(Effect.map((all) => Option.fromUndefinedOr(all.find((s) => s.name === name)))),
+    };
+    // Owner view over the cached settings loader.
+    const owner = loaders.settings.pipe(Effect.map((opt) => Option.flatMap(opt, (settings) => Option.fromUndefinedOr(settings.owner))));
+    // Raw-bytes accessor reads from the cached raw cell; absent (`Option.none`)
+    // is distinct from unreadable (IO error in the channel).
+    const raw = (source) => source === "settings" ? loaders.settingsRaw : loaders.lockfileRaw;
+    const state = {
+        settings: loaders.settings,
+        lockfile: loaders.lockfile,
+        raw,
+    };
+    return {
+        scope,
+        skills,
+        commands,
+        mcpServers,
+        subagents,
+        files,
+        rules,
+        packs: packsApi,
+        agents,
+        state,
+        sourceHosts,
+        owner,
+        diagnostics: diagnostics.snapshot,
+    };
+});
+// ---------------------------------------------------------------------------
+// Per-scope factory
+// ---------------------------------------------------------------------------
+/**
+ * Build a {@link WorkspaceReadModel} for the requested scope.
+ *
+ * Each invocation produces a fresh instance with its own cached cells; call
+ * once at the command boundary and pass the value inward. Callers that need
+ * both scopes invoke the factory twice.
+ *
+ * Cross-scope state (the agent-root resolver and its collision warnings) is
+ * supplied by {@link AgentRootResolver}, which must be provided in the
+ * environment so the same warnings flow into every scope built against the
+ * same layer.
+ */
+export const makeWorkspaceReadModel = (scope) => Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const pathSvc = yield* Path.Path;
+    const config = yield* WorkspaceReadModelConfig;
+    const resolver = yield* AgentRootResolver;
+    // Validate roots eagerly — the only path that surfaces `WorkspaceRootEscape`.
+    const projectRootResolved = yield* validateRoot(pathSvc, config.projectRoot, config.allowedRoot);
+    const userHomeResolved = yield* validateRoot(pathSvc, config.userHome, config.allowedRoot);
+    // Workspace path layout per scope.
+    const workspaceRoot = scope === "project" ? projectRootResolved : userHomeResolved;
+    const axmDir = pathSvc.join(workspaceRoot, ".axm");
+    const settingsPath = pathSvc.join(axmDir, SETTINGS_FILENAME);
+    const lockfilePath = pathSvc.join(axmDir, LOCKFILE_NAME);
+    // Pre-seed agent-root collision warnings into the project scope only;
+    // the user scope receives a clean buffer.
+    const diagnosticsRef = yield* Ref.make(scope === "project" ? resolver.collisionWarnings : []);
+    return yield* buildScope({
+        scope,
+        fs,
+        path: pathSvc,
+        workspaceRoot,
+        settingsPath,
+        lockfilePath,
+        rootResolverState: resolver.state,
+        diagnosticsRef,
+    });
+}).pipe(Effect.withSpan("workspace.read-model.make"));
+//# sourceMappingURL=service.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../../../src/unstable/workspace/read-model/service.ts"],"names":[],"mappings":"AAAA,qEAAqE;AAErE,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,GAAG,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,4BAA4B,EAAsB,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAe,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAwB,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAiC,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAkC,MAAM,kBAAkB,CAAC;AACnF,OAAO,EACL,mBAAmB,GAIpB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,GAc1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,oBAAoB,GAKrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAgD,MAAM,YAAY,CAAC;AAmE9F,wFAAwF;AACxF,MAAM,OAAO,wBAAyB,SAAQ,UAAU,CAAC,OAAO,EAG7D,CAAC,qFAAqF,CAAC;CAAG;AAQ7F,MAAM,qBAAqB,GAAG,KAAK,CAAC,OAAO,EAAyB,CAAC;AAErE,0EAA0E;AAC1E,MAAM,YAAY,GAAG,CACnB,OAAkB,EAClB,SAAiB,EACjB,WAAmB,EACwC,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAErD,IAAI,QAAQ,KAAK,eAAe;QAAE,OAAO,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAEzE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,QAAQ,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACnF,OAAO,KAAK,CAAC,CAAC,IAAI,mBAAmB,CAAC;YACpC,aAAa,EAAE,SAAS;YACxB,WAAW;SACZ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,qBAAqB,CAAC,QAAQ,CAAC,CAAC;AACzC,CAAC,CAAC,CAAC;AAEL,MAAM,0BAA0B,GAAG,CACjC,WAA8C,EAChB,EAAE,CAChC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;IACvC,MAAM,KAAK,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAChD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAoCL,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,kCAAkC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAoB;IAC9F,MAAM,EACJ,KAAK,EACL,EAAE,EACF,IAAI,EACJ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,cAAc,GACf,GAAG,IAAI,CAAC;IAET,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,WAAW,GAAgB,eAAe,CAAC,cAAc,CAAC,CAAC;IAEjE,0EAA0E;IAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE;QAC/C,EAAE;QACF,IAAI;QACJ,YAAY;QACZ,YAAY;KACb,CAAC,CAAC;IAEH,gEAAgE;IAChE,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAC3C,8BAA8B,CAAC;QAC7B,EAAE;QACF,IAAI;QACJ,aAAa;QACb,KAAK;QACL,WAAW;KACZ,CAAC,CACH,CAAC;IACF,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAC1C,mBAAmB,CAAC;QAClB,EAAE;QACF,IAAI;QACJ,aAAa;QACb,KAAK;QACL,WAAW;QACX,aAAa,EAAE,MAAM;KACtB,CAAC,CACH,CAAC;IACF,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAC3C,oBAAoB,CAAC;QACnB,EAAE;QACF,IAAI;QACJ,aAAa;QACb,KAAK;QACL,WAAW;QACX,aAAa,EAAE,MAAM;QACrB,iBAAiB;KAClB,CAAC,CACH,CAAC;IACF,MAAM,oBAAoB,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAC/C,wBAAwB,CAAC;QACvB,EAAE;QACF,IAAI;QACJ,aAAa;QACb,KAAK;QACL,WAAW;QACX,aAAa,EAAE,MAAM;QACrB,iBAAiB;KAClB,CAAC,CACH,CAAC;IAEF,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;QAC5C,KAAK;QACL,OAAO;QACP,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE;QACzC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,2EAA2E;IAC3E,MAAM,oBAAoB,GAAiD,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAC7F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC5C,OAAO,SAAS,CAAC,GAAG,CAAiB,CAAC,GAAG,EAAE,EAAE;YAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;gBAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;gBAClB,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;aAC3B,CAAC,CAAC;YACH,MAAM,UAAU,GACd,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,0BAA0B,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;YACvF,MAAM,YAAY,GAChB,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,0BAA0B,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC;YACzF,MAAM,cAAc,GAClB,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,0BAA0B,CAAC,YAAY,CAAC,kBAAkB,CAAC,CAAC;YAC3F,MAAM,aAAa,GACjB,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,0BAA0B,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;YAC1F,OAAO;gBACL,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,MAAM,EAAE,UAAU;gBAClB,QAAQ,EAAE,YAAY;gBACtB,UAAU,EAAE,cAAc;gBAC1B,SAAS,EAAE,aAAa;aACzB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,oBAAoB,GACxB,oBAAoB,CAAC,IAAI,CACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;QACnB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAI;YACJ,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;SAC9B,CAAC,CAAC;KACJ,CAAC,CAAC,CACJ,CACF,CAAC;IAEJ,MAAM,sBAAsB,GAC1B,oBAAoB,CAAC,IAAI,CACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;QACnB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,IAAI;YACJ,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;SAC9B,CAAC,CAAC;KACJ,CAAC,CAAC,CACJ,CACF,CAAC;IAEJ,MAAM,wBAAwB,GAC5B,oBAAoB,CAAC,IAAI,CACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;QACnB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACtC,IAAI;YACJ,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;SAC9B,CAAC,CAAC;KACJ,CAAC,CAAC,CACJ,CACF,CAAC;IAEJ,MAAM,uBAAuB,GAC3B,oBAAoB,CAAC,IAAI,CACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;QACnB,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACpC,IAAI;YACJ,aAAa,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;SAC9B,CAAC,CAAC;KACJ,CAAC,CAAC,CACJ,CACF,CAAC;IAEJ,MAAM,mBAAmB,GAAwD,MAAM,CAAC,OAAO,CAC7F,EAAE,CACH,CAAC;IACF,MAAM,mBAAmB,GAAwD,MAAM,CAAC,OAAO,CAC7F,EAAE,CACH,CAAC;IAEF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,sBAAsB,CAAC;QAC3C,KAAK;QACL,OAAO;QACP,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,eAAe,EAAE;QACpE,cAAc,EAAE,oBAAoB;QACpC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC;QAC/C,KAAK;QACL,OAAO;QACP,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,eAAe,EAAE;QACpE,cAAc,EAAE,sBAAsB;QACtC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,0BAA0B,CAAC;QACnD,KAAK;QACL,OAAO;QACP,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,gBAAgB,EAAE;QACtE,cAAc,EAAE,wBAAwB;QACxC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,yBAAyB,CAAC;QACjD,KAAK;QACL,OAAO;QACP,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,eAAe,EAAE;QACpE,cAAc,EAAE,uBAAuB;QACvC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;QACzC,KAAK;QACL,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE;QACzC,cAAc,EAAE,mBAAmB;QACnC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;QACzC,KAAK;QACL,QAAQ,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE;QACzC,cAAc,EAAE,mBAAmB;QACnC,YAAY,EAAE,IAAI,GAAG,EAAU;QAC/B,WAAW;KACZ,CAAC,CAAC;IAEH,wEAAwE;IACxE,MAAM,YAAY,GAA4C,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAsC,KAAK,CAAC,CAAC,eAAe,CAAC;QAC3E,MAAM,aAAa,GAA2C,KAAK,CAAC,CAAC,oBAAoB,CAAC;QAC1F,MAAM,SAAS,GAAuC,KAAK,CAAC,CAAC,gBAAgB,CAAC;QAC9E,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IAChD,CAAC,CAAC,CACH,CAAC;IAEF,2EAA2E;IAC3E,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,EAAE;KAC9B,CAAC,CAAC,CACJ,CACF,CAAC;IACF,MAAM,MAAM,GAAoB,mBAAmB,CAAC;QAClD,KAAK;QACL,QAAQ,EAAE,cAAc;QACxB,YAAY;KACb,CAAC,CAAC;IAEH,qDAAqD;IACrD,MAAM,YAAY,GAAoC,EAAE,CAAC;IACzD,MAAM,mBAAmB,GAAqC,OAAO,CAAC,QAAQ,CAAC,IAAI,CACjF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACjB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE;QAChB,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY;QAC1B,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,IAAI,YAAY;KACvD,CAAC,CACH,CACF,CAAC;IAEF,MAAM,WAAW,GAAyB;QACxC,QAAQ,EAAE,mBAAmB;QAC7B,SAAS,EAAE,mBAAmB;QAC9B,aAAa,EAAE,mBAAmB,CAAC,IAAI,CACrC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACjB,GAAG,CAAC,MAAM,CACR,CAAC,CAAC,EAAwD,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CACnF,CACF,CACF;QACD,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE,CACvB,mBAAmB,CAAC,IAAI,CACtB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAC9E;KACJ,CAAC;IAEF,8CAA8C;IAC9C,MAAM,KAAK,GAAmB,OAAO,CAAC,QAAQ,CAAC,IAAI,CACjD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAC/F,CAAC;IAEF,4EAA4E;IAC5E,yDAAyD;IACzD,MAAM,GAAG,GAA0B,CAAC,MAAM,EAAE,EAAE,CAC5C,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAEpE,MAAM,KAAK,GAAmB;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,GAAG;KACJ,CAAC;IAEF,OAAO;QACL,KAAK;QACL,MAAM;QACN,QAAQ;QACR,UAAU;QACV,SAAS;QACT,KAAK;QACL,KAAK;QACL,KAAK,EAAE,QAAQ;QACf,MAAM;QACN,KAAK;QACL,WAAW;QACX,KAAK;QACL,WAAW,EAAE,WAAW,CAAC,QAAQ;KACL,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAY,EAKZ,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACjC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;IAE1C,8EAA8E;IAC9E,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,YAAY,CAC7C,OAAO,EACP,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CACnB,CAAC;IACF,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAE3F,mCAAmC;IACnC,MAAM,aAAa,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACnF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAEzD,sEAAsE;IACtE,0CAA0C;IAC1C,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CACpC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CACtD,CAAC;IAEF,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC;QACvB,KAAK;QACL,EAAE;QACF,IAAI,EAAE,OAAO;QACb,aAAa;QACb,YAAY;QACZ,YAAY;QACZ,iBAAiB,EAAE,QAAQ,CAAC,KAAK;QACjC,cAAc;KACf,CAAC,CAAC;AACL,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,35 @@
+/** Cached scoped state-source loaders for `settings.json` and `axm-lock.yaml`. */
+import * as Effect from "effect/Effect";
+import type * as FileSystem from "effect/FileSystem";
+import * as Option from "effect/Option";
+import type * as Path from "effect/Path";
+import { type Lockfile } from "../../lockfile/schema.js";
+import { type Settings } from "../../settings/schema.js";
+import { LockfileIoError, type LockfileReadError, SettingsIoError, type SettingsReadError } from "./errors.js";
+import type { Scope } from "./types.js";
+/** Decoded `settings.json` payload exposed by the settings cell. */
+export type DecodedSettings = Settings;
+/** Decoded `axm-lock.yaml` payload exposed by the lockfile cell. */
+export type DecodedLockfile = Lockfile;
+/** Raw bytes of a workspace source file (path + literal content). */
+export interface RawSourceBytes {
+    readonly path: string;
+    readonly bytes: string;
+}
+/** Cached decoded settings/lockfile cells plus their raw-bytes siblings. */
+export interface ScopedStateLoaders {
+    readonly settings: Effect.Effect<Option.Option<DecodedSettings>, SettingsReadError>;
+    readonly lockfile: Effect.Effect<Option.Option<DecodedLockfile>, LockfileReadError>;
+    readonly settingsRaw: Effect.Effect<Option.Option<RawSourceBytes>, SettingsIoError>;
+    readonly lockfileRaw: Effect.Effect<Option.Option<RawSourceBytes>, LockfileIoError>;
+}
+/** Construction inputs captured and threaded into every cached loader. */
+export interface ScopedStateDeps {
+    readonly fs: FileSystem.FileSystem;
+    readonly path: Path.Path;
+    readonly settingsPath: string;
+    readonly lockfilePath: string | null;
+}
+/** Build the cached, requirement-free `ScopedStateLoaders` for one scope. */
+export declare const makeScopedStateApi: (_scope: Scope, deps: ScopedStateDeps) => Effect.Effect<ScopedStateLoaders>;
+//# sourceMappingURL=state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../src/unstable/workspace/read-model/state.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAElF,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,UAAU,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,IAAI,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEzE,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAEL,eAAe,EAEf,KAAK,iBAAiB,EAEtB,eAAe,EAEf,KAAK,iBAAiB,EACvB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAMxC,oEAAoE;AACpE,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;AAEvC,oEAAoE;AACpE,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;AAEvC,qEAAqE;AACrE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,eAAe,CAAC,CAAC;IACpF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,eAAe,CAAC,CAAC;CACrF;AAED,0EAA0E;AAC1E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAsGD,6EAA6E;AAC7E,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,KAAK,EACb,MAAM,eAAe,KACpB,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAiB/B,CAAC"}

package/dist/src/unstable/workspace/read-model/state.js

@@ -0,0 +1,93 @@
+/** Cached scoped state-source loaders for `settings.json` and `axm-lock.yaml`. */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import YAML from "yaml";
+import { LockfileSchema } from "../../lockfile/schema.js";
+import { formatSchemaIssuesToLines } from "../../schema/format-issues.js";
+import { SettingsSchema } from "../../settings/schema.js";
+import { LockfileDecodeError, LockfileIoError, LockfileParseError, SettingsDecodeError, SettingsIoError, SettingsParseError, } from "./errors.js";
+// ---------------------------------------------------------------------------
+// Raw bytes loaders (shared by the decoded loaders and the public raw cells)
+// ---------------------------------------------------------------------------
+const loadRawSettingsBytes = Effect.fn("workspace.read-model.state.settings.raw")(function* (deps) {
+    const { fs, settingsPath } = deps;
+    const exists = yield* fs
+        .exists(settingsPath)
+        .pipe(Effect.mapError((cause) => new SettingsIoError({ path: settingsPath, cause })));
+    if (!exists)
+        return Option.none();
+    const bytes = yield* fs
+        .readFileString(settingsPath)
+        .pipe(Effect.mapError((cause) => new SettingsIoError({ path: settingsPath, cause })));
+    return Option.some({ path: settingsPath, bytes });
+});
+const loadRawLockfileBytes = Effect.fn("workspace.read-model.state.lockfile.raw")(function* (deps) {
+    const { fs, lockfilePath } = deps;
+    const exists = yield* fs
+        .exists(lockfilePath)
+        .pipe(Effect.mapError((cause) => new LockfileIoError({ path: lockfilePath, cause })));
+    if (!exists)
+        return Option.none();
+    const bytes = yield* fs
+        .readFileString(lockfilePath)
+        .pipe(Effect.mapError((cause) => new LockfileIoError({ path: lockfilePath, cause })));
+    return Option.some({ path: lockfilePath, bytes });
+});
+// ---------------------------------------------------------------------------
+// Settings loader (decode pipeline) — sources bytes from the cached raw cell
+// ---------------------------------------------------------------------------
+/** Decode settings from cached raw bytes. Source-independent (Decision 2). */
+const loadSettings = (rawCell) => Effect.gen(function* () {
+    const rawOpt = yield* rawCell;
+    if (Option.isNone(rawOpt))
+        return Option.none();
+    const { path, bytes } = rawOpt.value;
+    const parsed = yield* Effect.try({
+        try: () => JSON.parse(bytes),
+        catch: (cause) => new SettingsParseError({ path, raw: bytes, cause }),
+    });
+    const decoded = yield* Schema.decodeUnknownEffect(SettingsSchema)(parsed).pipe(Effect.mapError((error) => new SettingsDecodeError({
+        path,
+        issues: formatSchemaIssuesToLines(error.issue),
+        raw: parsed,
+    })));
+    return Option.some(decoded);
+}).pipe(Effect.withSpan("workspace.read-model.state.settings"));
+// ---------------------------------------------------------------------------
+// Lockfile loader (decode pipeline) — sources bytes from the cached raw cell
+// ---------------------------------------------------------------------------
+/** Decode lockfile from cached raw bytes. Source-independent (Decision 2). */
+const loadLockfile = (rawCell) => Effect.gen(function* () {
+    const rawOpt = yield* rawCell;
+    if (Option.isNone(rawOpt))
+        return Option.none();
+    const { path, bytes } = rawOpt.value;
+    const parsed = yield* Effect.try({
+        try: () => YAML.parse(bytes),
+        catch: (cause) => new LockfileParseError({ path, raw: bytes, cause }),
+    });
+    const decoded = yield* Schema.decodeUnknownEffect(LockfileSchema)(parsed).pipe(Effect.mapError((error) => new LockfileDecodeError({
+        path,
+        issues: formatSchemaIssuesToLines(error.issue),
+        raw: parsed,
+    })));
+    return Option.some(decoded);
+}).pipe(Effect.withSpan("workspace.read-model.state.lockfile"));
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/** Build the cached, requirement-free `ScopedStateLoaders` for one scope. */
+export const makeScopedStateApi = (_scope, deps) => Effect.gen(function* () {
+    const { fs, settingsPath, lockfilePath } = deps;
+    const settingsRaw = yield* Effect.cached(loadRawSettingsBytes({ fs, settingsPath }));
+    const settings = yield* Effect.cached(loadSettings(settingsRaw));
+    const lockfileRaw = lockfilePath === null
+        ? Effect.succeed(Option.none())
+        : yield* Effect.cached(loadRawLockfileBytes({ fs, lockfilePath }));
+    const lockfile = lockfilePath === null
+        ? Effect.succeed(Option.none())
+        : yield* Effect.cached(loadLockfile(lockfileRaw));
+    return { settings, lockfile, settingsRaw, lockfileRaw };
+});
+//# sourceMappingURL=state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../src/unstable/workspace/read-model/state.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAElF,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAElB,mBAAmB,EACnB,eAAe,EACf,kBAAkB,GAEnB,MAAM,aAAa,CAAC;AAmCrB,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,yCAAyC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAG5F;IACC,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE;SACrB,MAAM,CAAC,YAAY,CAAC;SACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,IAAI,EAAkB,CAAC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,EAAE;SACpB,cAAc,CAAC,YAAY,CAAC;SAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC,IAAI,CAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,yCAAyC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAG5F;IACC,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE;SACrB,MAAM,CAAC,YAAY,CAAC;SACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,IAAI,EAAkB,CAAC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,EAAE;SACpB,cAAc,CAAC,YAAY,CAAC;SAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC,IAAI,CAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAE9E,8EAA8E;AAC9E,MAAM,YAAY,GAAG,CACnB,OAAsE,EACJ,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;IAC9B,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,EAAmB,CAAC;IACjE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAErC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC/B,GAAG,EAAE,GAAY,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QACrC,KAAK,EAAE,CAAC,KAAK,EAAsB,EAAE,CAAC,IAAI,kBAAkB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;KAC1F,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAC5E,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,mBAAmB,CAAC;QACtB,IAAI;QACJ,MAAM,EAAE,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9C,GAAG,EAAE,MAAM;KACZ,CAAC,CACL,CACF,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC,CAAC,CAAC;AAElE,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAE9E,8EAA8E;AAC9E,MAAM,YAAY,GAAG,CACnB,OAAsE,EACJ,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;IAC9B,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,EAAmB,CAAC;IACjE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAErC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC/B,GAAG,EAAE,GAAY,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QACrC,KAAK,EAAE,CAAC,KAAK,EAAsB,EAAE,CAAC,IAAI,kBAAkB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;KAC1F,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAC5E,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,mBAAmB,CAAC;QACtB,IAAI;QACJ,MAAM,EAAE,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9C,GAAG,EAAE,MAAM;KACZ,CAAC,CACL,CACF,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC,CAAC,CAAC;AAElE,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,6EAA6E;AAC7E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAa,EACb,IAAqB,EACc,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAEhD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC;IAEjE,MAAM,WAAW,GACf,YAAY,KAAK,IAAI;QACnB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAkB,CAAC;QAC/C,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GACZ,YAAY,KAAK,IAAI;QACnB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAmB,CAAC;QAChD,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC;IAEtD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAA+B,CAAC;AACvF,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,76 @@
+/**
+ * Shared, non-circular type declarations for the WorkspaceReadModel capability.
+ *
+ * Subject modules under `extensions/` and `agents/` own their payload types;
+ * this file holds only subject-agnostic declarations referenced from multiple
+ * places (Scope, ExtensionKey, ActivationState, InstallationOrigin, the
+ * empty-shape ExtensionStateReader contract, and the public surface contracts
+ * for WorkspaceReadModel / ScopedStateApi / ScopedSourceHostsApi /
+ * ScopedOwnerApi / ScopedAgentsApi).
+ *
+ * Source-backed cell failure channels carry per-source tagged error unions
+ * imported from `errors.ts`: `SettingsReadError` for `declared` and
+ * `LockfileReadError` for `resolved`.
+ */
+import type * as Effect from "effect/Effect";
+import type * as Option from "effect/Option";
+import type { ExtensionType } from "../../extensions/common.js";
+import type { LockfileReadError, SettingsReadError } from "./errors.js";
+/**
+ * WorkspaceMutations scope discriminator. Project state is read from `./.axm`; user
+ * state is read from `~/.axm` (or `$AXM_USER_HOME`).
+ */
+export type Scope = "project" | "user";
+/**
+ * Stable identity for an extension row across declared, resolved, actual, and
+ * projection cells. Subject modules reuse this shape for their projection rows.
+ */
+export interface ExtensionKey<TType extends ExtensionType = ExtensionType> {
+    readonly scope: Scope;
+    readonly type: TType;
+    readonly name: string;
+}
+/**
+ * Activation state on installed rows for subjects that support it.
+ *
+ * For subjects without an `enabled` flag (mcp-server, pack), the projection
+ * row supplies `enabled` by policy.
+ */
+export type ActivationState = "enabled" | "disabled";
+/**
+ * Why an installed row exists. Direct rows carry the declared entry; pack
+ * member rows carry the installed pack reference and the resolved member.
+ */
+export type InstallationOrigin<TDeclared, TPackMember> = {
+    readonly _tag: "direct";
+    readonly declared: TDeclared;
+} | {
+    readonly _tag: "pack-member";
+    readonly member: TPackMember;
+    readonly pack: InstalledPackRef;
+};
+/**
+ * Reference to an installed pack carried on pack-member installation origins.
+ *
+ * Subject modules that need pack-member rows narrow this further; phase 7
+ * defines the concrete shape on the pack subject module.
+ */
+export interface InstalledPackRef {
+    readonly key: ExtensionKey<"pack">;
+}
+/**
+ * Empty-shape contract for the three independent layers per subject. Each
+ * subject module instantiates this with its own payload types.
+ *
+ * The failure channels are intentionally narrow: `declared` only fails with
+ * `SettingsReadError` (3 tags), `resolved` only fails with
+ * `LockfileReadError` (3 tags), and `actual` never fails — workspace-root
+ * path-escape is validated once at provider construction (Layer-level), not
+ * per cell.
+ */
+export interface ExtensionStateReader<TDeclared, TResolved, TActual> {
+    readonly declared: Effect.Effect<Option.Option<TDeclared>, SettingsReadError>;
+    readonly resolved: Effect.Effect<Option.Option<TResolved>, LockfileReadError>;
+    readonly actual: Effect.Effect<TActual>;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/unstable/workspace/read-model/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAMxE;;;GAGG;AACH,MAAM,MAAM,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;AAMvC;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,KAAK,SAAS,aAAa,GAAG,aAAa;IACvE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAMD;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,UAAU,CAAC;AAMrD;;;GAGG;AACH,MAAM,MAAM,kBAAkB,CAAC,SAAS,EAAE,WAAW,IACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACjC,CAAC;AAEN;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;CACpC;AAMD;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAoB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO;IACjE,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;CACzC"}

package/dist/src/unstable/workspace/read-model/types.js

@@ -0,0 +1,26 @@
+/**
+ * Shared, non-circular type declarations for the WorkspaceReadModel capability.
+ *
+ * Subject modules under `extensions/` and `agents/` own their payload types;
+ * this file holds only subject-agnostic declarations referenced from multiple
+ * places (Scope, ExtensionKey, ActivationState, InstallationOrigin, the
+ * empty-shape ExtensionStateReader contract, and the public surface contracts
+ * for WorkspaceReadModel / ScopedStateApi / ScopedSourceHostsApi /
+ * ScopedOwnerApi / ScopedAgentsApi).
+ *
+ * Source-backed cell failure channels carry per-source tagged error unions
+ * imported from `errors.ts`: `SettingsReadError` for `declared` and
+ * `LockfileReadError` for `resolved`.
+ */
+export {};
+// -----------------------------------------------------------------------------
+// Public scoped surfaces — concrete shapes live in `context.ts`
+// -----------------------------------------------------------------------------
+//
+// `service.ts` (Phase 9) defines the real `ScopedStateApi`,
+// `ScopedSourceHostsApi`, `ScopedOwnerApi`, and `WorkspaceReadModel`
+// surfaces. They attach payload types from per-subject modules under
+// `extensions/` and per-agent modules under `agents/`, which would create
+// import cycles if defined here. `ScopedAgentsApi` is owned by
+// `agents/index.ts` for the same reason.
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../src/unstable/workspace/read-model/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;;AAyFH,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAChF,EAAE;AACF,4DAA4D;AAC5D,qEAAqE;AACrE,qEAAqE;AACrE,0EAA0E;AAC1E,+DAA+D;AAC/D,yCAAyC"}

package/dist/src/unstable/workspace/read-model-record-converters.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Read-model record conversion helpers.
+ *
+ * Convert arrays of `ReadModelRecordRow` rows into the typed record maps
+ * used by workspace service getters (e.g., `getConfiguredSkills`,
+ * `getInstalledCommands`).
+ *
+ * @internal
+ */
+import type * as Record from "effect/Record";
+import type { ReadModelRecordRow, ConfiguredCommand, ConfiguredExtensionRef, ConfiguredSkill, ConfiguredSubagent, InstalledCommand, InstalledExtensionRef, InstalledSkill, InstalledSubagent, UnmanagedCommand, UnmanagedExtensionRef, UnmanagedSkill, UnmanagedSubagent } from "./read-model-record-types.js";
+export declare const toConfiguredSkillRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, ConfiguredSkill>;
+export declare const toUnmanagedSkillRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, UnmanagedSkill>;
+export declare const toInstalledSkillRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, InstalledSkill>;
+export declare const toConfiguredCommandRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, ConfiguredCommand>;
+export declare const toConfiguredExtensionRefRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, ConfiguredExtensionRef>;
+export declare const toUnmanagedExtensionRefRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, UnmanagedExtensionRef>;
+export declare const toInstalledExtensionRefRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, InstalledExtensionRef>;
+export declare const toUnmanagedCommandRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, UnmanagedCommand>;
+export declare const toInstalledCommandRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, InstalledCommand>;
+export declare const toConfiguredSubagentRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, ConfiguredSubagent>;
+export declare const toUnmanagedSubagentRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, UnmanagedSubagent>;
+export declare const toInstalledSubagentRecord: (rows: ReadonlyArray<ReadModelRecordRow>) => Record.ReadonlyRecord<string, InstalledSubagent>;
+//# sourceMappingURL=read-model-record-converters.d.ts.map

package/dist/src/unstable/workspace/read-model-record-converters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-model-record-converters.d.ts","sourceRoot":"","sources":["../../../../src/unstable/workspace/read-model-record-converters.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,kBAAkB,EAKlB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,iBAAiB,EAClB,MAAM,8BAA8B,CAAC;AAqGtC,eAAO,MAAM,uBAAuB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,mDACzB,CAAC;AAEvD,eAAO,MAAM,sBAAsB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,kDAC1B,CAAC;AAErD,eAAO,MAAM,sBAAsB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,kDAC1B,CAAC;AAMrD,eAAO,MAAM,yBAAyB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,qDACzB,CAAC;AAMzD,eAAO,MAAM,8BAA8B,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,0DACzB,CAAC;AAE9D,eAAO,MAAM,6BAA6B,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,yDAC1B,CAAC;AAE5D,eAAO,MAAM,6BAA6B,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,yDAC1B,CAAC;AAE5D,eAAO,MAAM,wBAAwB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,oDAC1B,CAAC;AAEvD,eAAO,MAAM,wBAAwB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,oDAC1B,CAAC;AA6BvD,eAAO,MAAM,0BAA0B,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,sDACzB,CAAC;AAE1D,eAAO,MAAM,yBAAyB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,qDAC1B,CAAC;AAExD,eAAO,MAAM,yBAAyB,GAAI,MAAM,aAAa,CAAC,kBAAkB,CAAC,qDAC1B,CAAC"}