@agentxm/client-core 0.4.5 → 0.5.0

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

@@ -0,0 +1,255 @@
+/**
+ * Shared projection helper: composes installed/active/unmanaged/ignored from
+ * declared/resolved/actual plus the installed-pack set.
+ *
+ * Per the projection invariant in the workspace read-model design (Decision 7):
+ *
+ * ```ts
+ * direct = declared.filter(notIgnored).map(withInstallationOrigin("direct"));
+ * implicit = installedPacks
+ *   .flatMap(p => p.members)
+ *   .filter(notIgnored)
+ *   .filter(notDeclaredByName) // direct (incl. disabled) wins
+ *   .map(withInstallationOrigin("pack-member"));
+ * installed = direct + implicit;
+ * active = installed.filter(activation === "enabled");
+ * unmanaged = actual
+ *   .filter(notIgnored)
+ *   .filter(notClaimedByInstalled)
+ *   .filter(notClaimedBySubjectPolicy);
+ * ignored = ignoredFrom(declared, packMembers, actual);
+ * ```
+ *
+ * The helper owns:
+ * - source-tolerance via `Effect.catch` so corrupt declared/resolved sources
+ *   degrade through `diagnostics` rather than failing the projection;
+ * - direct-over-pack precedence;
+ * - disabled-direct still claims actual occurrences (excluded from active and
+ *   from unmanaged);
+ * - actual-occurrence attachment via `policy.attachActualToInstalled`;
+ * - ignored suppression for declared, pack-member, and actual candidates;
+ * - orphaned-resolved diagnostics — resolved entries with no direct or
+ *   pack-member home publish a warning;
+ * - deterministic name-sorted ordering.
+ *
+ * The helper does NOT own subject row shape or subject policy. Both come in as
+ * parameters via `SubjectPolicy<...>`.
+ */
+import * as Array from "effect/Array";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { findByName } from "./indexByName.js";
+export const makeProjectedSubjectCells = (args) => ({
+    declared: args.declared,
+    resolved: args.resolved,
+    actual: args.actual,
+    installed: args.project.pipe(Effect.map((out) => out.installed)),
+    byName: (name) => args.project.pipe(Effect.map((out) => findByName(out.installed, name))),
+    declaredByName: (name) => args.declared.pipe(Effect.map((opt) => Option.flatMap(opt, (rows) => Option.fromUndefinedOr(rows.find((row) => row.name === name))))),
+    active: args.project.pipe(Effect.map((out) => out.active)),
+    unmanaged: args.project.pipe(Effect.map((out) => out.unmanaged)),
+    ignored: args.project.pipe(Effect.map((out) => out.ignored)),
+});
+// ---------------------------------------------------------------------------
+// Source-tolerance helpers
+// ---------------------------------------------------------------------------
+const tolerateDeclared = (effect, diagnostics, subjectKey) => effect.pipe(Effect.catch((err) => {
+    const code = err._tag === "SettingsIoError"
+        ? "settings-io"
+        : err._tag === "SettingsParseError"
+            ? "settings-parse"
+            : "settings-decode";
+    const warning = {
+        source: "settings",
+        message: `${subjectKey}: degraded settings — ${err._tag}`,
+        path: err.path,
+        code,
+    };
+    return diagnostics.append(warning).pipe(Effect.as(Option.none()));
+}));
+const tolerateResolved = (effect, diagnostics, subjectKey) => effect.pipe(Effect.catch((err) => {
+    const code = err._tag === "LockfileIoError"
+        ? "lockfile-io"
+        : err._tag === "LockfileParseError"
+            ? "lockfile-parse"
+            : "lockfile-decode";
+    const warning = {
+        source: "lockfile",
+        message: `${subjectKey}: degraded lockfile — ${err._tag}`,
+        path: err.path,
+        code,
+    };
+    return diagnostics.append(warning).pipe(Effect.as(Option.none()));
+}));
+// ---------------------------------------------------------------------------
+// Public helper
+// ---------------------------------------------------------------------------
+/**
+ * Compose installed/active/unmanaged/ignored from declared/resolved/actual
+ * plus the installed-pack set, per the projection invariant.
+ *
+ * The returned effect never fails — it absorbs source-read failures via the
+ * supplied `diagnostics` buffer.
+ */
+export const projectInstalledExtensions = (input) => Effect.gen(function* () {
+    const { subjectKey, declared, resolved, actual, installedPacks, packMembers, packRef, ignoredNames, policy, diagnostics, } = input;
+    // 1. Read the three layers + installed packs; absorb declared/resolved
+    //    failures into diagnostics.
+    const declaredOpt = yield* tolerateDeclared(declared, diagnostics, subjectKey);
+    const resolvedOpt = yield* tolerateResolved(resolved, diagnostics, subjectKey);
+    const actualPayload = yield* actual;
+    const packs = yield* installedPacks;
+    // 2. Iterate raw evidence into per-name lookups using first-wins
+    //    deduplication. `dedupeFirstByName` builds an immutable Map keyed by
+    //    the policy-derived name; subsequent entries with the same name are
+    //    dropped, so the projection stays deterministic.
+    const emptyDeclared = [];
+    const emptyResolved = [];
+    const declaredEntries = Option.match(declaredOpt, {
+        onNone: () => emptyDeclared,
+        onSome: (d) => policy.declaredEntries(d),
+    });
+    const resolvedEntries = Option.match(resolvedOpt, {
+        onNone: () => emptyResolved,
+        onSome: (r) => policy.resolvedEntries(r),
+    });
+    const actualEntries = policy.actualEntries(actualPayload);
+    const declaredByName = dedupeFirstByName(declaredEntries, policy.declaredName);
+    const resolvedByName = dedupeFirstByName(resolvedEntries, policy.resolvedName);
+    const packMemberPairs = packs.flatMap((pack) => {
+        const ref = packRef(pack);
+        return packMembers(pack).map((member) => [member, ref]);
+    });
+    const memberByName = packMemberPairs.reduce((acc, [member, ref]) => {
+        const name = policy.packMemberName(member);
+        const existing = acc.get(name);
+        const next = new Map(acc);
+        if (existing === undefined) {
+            next.set(name, { member, pack: ref, providingPacks: [ref] });
+        }
+        else {
+            next.set(name, {
+                member: existing.member,
+                pack: existing.pack,
+                providingPacks: [...existing.providingPacks, ref],
+            });
+        }
+        return next;
+    }, new Map());
+    // 4. Build ignored rows from declared, pack-member, and actual candidates.
+    //    Each subject's policy supplies a per-source builder; the helper does
+    //    not construct a discriminated union and never throws on unreachable
+    //    branches — `never`-typed inputs make the corresponding policy bodies
+    //    statically uninhabitable.
+    const isIgnored = (name) => policy.isIgnoredName(name, ignoredNames);
+    const declaredIgnored = Array.getSomes(Array.fromIterable(declaredByName.entries()).map(([name, declared]) => isIgnored(name)
+        ? Option.some([name, policy.buildDeclaredIgnoredRow({ name, declared })])
+        : Option.none()));
+    const ignoredDeclaredNames = new Set(declaredIgnored.map(([name]) => name));
+    const memberIgnored = Array.getSomes(Array.fromIterable(memberByName.entries()).map(([name, state]) => isIgnored(name)
+        ? Option.some([
+            name,
+            policy.buildPackMemberIgnoredRow({ name, member: state.member, pack: state.pack }),
+        ])
+        : Option.none()));
+    const ignoredMemberNames = new Set(memberIgnored.map(([name]) => name));
+    const actualIgnored = Array.getSomes(actualEntries.map((entry) => {
+        const name = policy.actualName(entry);
+        return isIgnored(name)
+            ? Option.some([entry, policy.buildActualIgnoredRow({ name, actual: entry })])
+            : Option.none();
+    }));
+    const ignoredActuals = new Set(actualIgnored.map(([entry]) => entry));
+    const ignoredRows = [
+        ...declaredIgnored.map(([, row]) => row),
+        ...memberIgnored.map(([, row]) => row),
+        ...actualIgnored.map(([, row]) => row),
+    ];
+    const visibleActuals = actualEntries.filter((a) => !ignoredActuals.has(a));
+    const direct = Array.getSomes(Array.fromIterable(declaredByName.entries()).map(([name, entry]) => {
+        if (ignoredDeclaredNames.has(name))
+            return Option.none();
+        const activation = policy.declaredActivation(entry);
+        const memberState = memberByName.get(name);
+        const providingPacks = memberState === undefined ? [] : memberState.providingPacks;
+        const attached = policy.attachActualToInstalled(name, visibleActuals);
+        const row = policy.buildInstalledRow({
+            name,
+            installationOrigin: { _tag: "direct", declared: entry },
+            activation,
+            resolved: Option.fromUndefinedOr(resolvedByName.get(name)),
+            actual: attached,
+            providingPacks,
+        });
+        return Option.some({ name, row, activation });
+    }));
+    // 6. Implicit pack-member rows: skip names already declared (direct wins,
+    //    including disabled) and skip ignored names.
+    const implicit = Array.getSomes(Array.fromIterable(memberByName.entries()).map(([name, state]) => {
+        if (declaredByName.has(name))
+            return Option.none(); // direct wins
+        if (ignoredMemberNames.has(name))
+            return Option.none();
+        const activation = policy.packMemberActivation(state.member);
+        const attached = policy.attachActualToInstalled(name, visibleActuals);
+        const row = policy.buildInstalledRow({
+            name,
+            installationOrigin: {
+                _tag: "pack-member",
+                member: state.member,
+                pack: state.pack,
+            },
+            activation,
+            resolved: Option.fromUndefinedOr(resolvedByName.get(name)),
+            actual: attached,
+            providingPacks: state.providingPacks,
+        });
+        return Option.some({ name, row, activation });
+    }));
+    // 7. Sort by name for deterministic ordering.
+    const installedNamed = [...direct, ...implicit].sort((a, b) => a.name.localeCompare(b.name));
+    const installedNames = new Set(installedNamed.map((r) => r.name));
+    const installed = installedNamed.map((r) => r.row);
+    const active = installedNamed
+        .filter((r) => r.activation === "enabled")
+        .map((r) => r.row);
+    // 8. Orphaned-resolved diagnostics: any resolved entry whose name is
+    //    neither declared nor present as a pack-member. Collect orphan names
+    //    first, then publish sequentially via Effect.forEach to keep the
+    //    diagnostics buffer in deterministic order.
+    const orphanNames = Array.fromIterable(resolvedByName.keys()).filter((name) => !declaredByName.has(name) && !memberByName.has(name));
+    yield* Effect.forEach(orphanNames, (name) => diagnostics.append(policy.resolvedOrphanWarning(name)), { discard: true });
+    // 9. Unmanaged: actual occurrences not ignored, not claimed by an
+    //    installed row, and passing subject policy.
+    const unmanaged = Array.getSomes(actualEntries.map((entry) => {
+        if (ignoredActuals.has(entry))
+            return Option.none();
+        const name = policy.actualName(entry);
+        if (installedNames.has(name))
+            return Option.none();
+        if (!policy.notClaimedBySubjectPolicy(entry))
+            return Option.none();
+        return Option.some(policy.buildUnmanagedRow(entry));
+    }));
+    return {
+        installed,
+        active,
+        unmanaged,
+        ignored: ignoredRows,
+    };
+});
+/**
+ * Build a name-indexed read-only map, keeping the first occurrence per name.
+ * Subsequent entries with the same name are dropped; the original input order
+ * determines which one wins. Pure helper used to dedupe declared/resolved
+ * entry arrays.
+ */
+const dedupeFirstByName = (entries, nameOf) => entries.reduce((acc, entry) => {
+    const name = nameOf(entry);
+    if (acc.has(name))
+        return acc;
+    const next = new Map(acc);
+    next.set(name, entry);
+    return next;
+}, new Map());
+//# sourceMappingURL=projection.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"projection.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAE,UAAU,EAAmB,MAAM,kBAAkB,CAAC;AA0L/D,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAQvC,IAOD,EAAE,EAAE,CAAC,CAAC;IACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,MAAM,EAAE,IAAI,CAAC,MAAM;IACnB,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChE,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IACjG,cAAc,EAAE,CAAC,IAAY,EAAE,EAAE,CAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAChB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACjB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAC3B,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAC9D,CACF,CACF;IACH,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;CAC7D,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,MAAM,gBAAgB,GAAG,CACvB,MAA0D,EAC1D,WAAwB,EACxB,UAAkB,EACe,EAAE,CACnC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;IACnB,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,KAAK,iBAAiB;QAC5B,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,oBAAoB;YACjC,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,iBAAiB,CAAC;IAC1B,MAAM,OAAO,GAAY;QACvB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,GAAG,UAAU,yBAAyB,GAAG,CAAC,IAAI,EAAE;QACzD,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI;KACL,CAAC;IACF,OAAO,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAK,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CACH,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CACvB,MAA0D,EAC1D,WAAwB,EACxB,UAAkB,EACe,EAAE,CACnC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;IACnB,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,KAAK,iBAAiB;QAC5B,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,oBAAoB;YACjC,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,iBAAiB,CAAC;IAC1B,MAAM,OAAO,GAAY;QACvB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,GAAG,UAAU,yBAAyB,GAAG,CAAC,IAAI,EAAE;QACzD,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI;KACL,CAAC;IACF,OAAO,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAK,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CACH,CAAC;AAEJ,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAUxC,KASC,EACkF,EAAE,CACrF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EACJ,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,cAAc,EACd,WAAW,EACX,OAAO,EACP,YAAY,EACZ,MAAM,EACN,WAAW,GACZ,GAAG,KAAK,CAAC;IAEV,uEAAuE;IACvE,gCAAgC;IAChC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;IAC/E,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;IAEpC,iEAAiE;IACjE,yEAAyE;IACzE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,aAAa,GAA6C,EAAE,CAAC;IACnE,MAAM,aAAa,GAA6C,EAAE,CAAC;IACnE,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE;QAChD,MAAM,EAAE,GAAG,EAAE,CAAC,aAAa;QAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC;KACzC,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE;QAChD,MAAM,EAAE,GAAG,EAAE,CAAC,aAAa;QAC3B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC;KACzC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;IAE1D,MAAM,cAAc,GAAmD,iBAAiB,CACtF,eAAe,EACf,MAAM,CAAC,YAAY,CACpB,CAAC;IACF,MAAM,cAAc,GAAmD,iBAAiB,CACtF,eAAe,EACf,MAAM,CAAC,YAAY,CACpB,CAAC;IAWF,MAAM,eAAe,GAA4D,KAAK,CAAC,OAAO,CAC5F,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1B,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAU,CAAC,CAAC;IACnE,CAAC,CACF,CAAC;IACF,MAAM,YAAY,GAAqC,eAAe,CAAC,MAAM,CAE3E,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE;QACvB,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;gBACb,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC;aAClD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EAAE,IAAI,GAAG,EAAuB,CAAC,CAAC;IAEnC,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,+BAA+B;IAC/B,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAE7E,MAAM,eAAe,GAA+C,KAAK,CAAC,QAAQ,CAChF,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CACpE,SAAS,CAAC,IAAI,CAAC;QACb,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAU,CAAC;QAClF,CAAC,CAAC,MAAM,CAAC,IAAI,EAA+B,CAC/C,CACF,CAAC;IACF,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CACvD,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CACtC,CAAC;IAEF,MAAM,aAAa,GAA+C,KAAK,CAAC,QAAQ,CAC9E,KAAK,CAAC,YAAY,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAC/D,SAAS,CAAC,IAAI,CAAC;QACb,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI;YACJ,MAAM,CAAC,yBAAyB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;SAC1E,CAAC;QACb,CAAC,CAAC,MAAM,CAAC,IAAI,EAA+B,CAC/C,CACF,CAAC;IACF,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7F,MAAM,aAAa,GAA8D,KAAK,CAAC,QAAQ,CAC7F,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,SAAS,CAAC,IAAI,CAAC;YACpB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAU,CAAC;YACtF,CAAC,CAAC,MAAM,CAAC,IAAI,EAA8C,CAAC;IAChE,CAAC,CAAC,CACH,CAAC;IACF,MAAM,cAAc,GAAuC,IAAI,GAAG,CAChE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CACtC,CAAC;IAEF,MAAM,WAAW,GAA4B;QAC3C,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;QACxC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;QACtC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;KACvC,CAAC;IAUF,MAAM,cAAc,GAAyC,aAAa,CAAC,MAAM,CAC/E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9B,CAAC;IAEF,MAAM,MAAM,GAA4B,KAAK,CAAC,QAAQ,CACpD,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;QACjE,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAY,CAAC;QACnE,MAAM,UAAU,GAAG,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,cAAc,GAClB,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC;QAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC;YACnC,IAAI;YACJ,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;YACvD,UAAU;YACV,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,EAAE,QAAQ;YAChB,cAAc;SACf,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CACH,CAAC;IAEF,0EAA0E;IAC1E,iDAAiD;IACjD,MAAM,QAAQ,GAA4B,KAAK,CAAC,QAAQ,CACtD,KAAK,CAAC,YAAY,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;QAC/D,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAY,CAAC,CAAC,cAAc;QAC5E,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAY,CAAC;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC;YACnC,IAAI;YACJ,kBAAkB,EAAE;gBAClB,IAAI,EAAE,aAAa;gBACnB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB;YACD,UAAU;YACV,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,EAAE,QAAQ;YAChB,cAAc,EAAE,KAAK,CAAC,cAAc;SACrC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CACH,CAAC;IAEF,8CAA8C;IAC9C,MAAM,cAAc,GAA4B,CAAC,GAAG,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACrF,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7B,CAAC;IACF,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,MAAM,SAAS,GAA8B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9E,MAAM,MAAM,GAA8B,cAAc;SACrD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC;SACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAErB,qEAAqE;IACrE,yEAAyE;IACzE,qEAAqE;IACrE,gDAAgD;IAChD,MAAM,WAAW,GAA0B,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACzF,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAC/D,CAAC;IACF,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,WAAW,EACX,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,EAChE,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAC;IAEF,kEAAkE;IAClE,gDAAgD;IAChD,MAAM,SAAS,GAA8B,KAAK,CAAC,QAAQ,CACzD,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAc,CAAC;QAChE,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAc,CAAC;QAC/D,IAAI,CAAC,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAc,CAAC;QAC/E,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CACH,CAAC;IAEF,OAAO;QACL,SAAS;QACT,MAAM;QACN,SAAS;QACT,OAAO,EAAE,WAAW;KACwD,CAAC;AACjF,CAAC,CAAC,CAAC;AAEL;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,CACxB,OAA6B,EAC7B,MAAgC,EACJ,EAAE,CAC9B,OAAO,CAAC,MAAM,CAAqB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;IAChD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC,EAAE,IAAI,GAAG,EAAiB,CAAC,CAAC"}

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

@@ -0,0 +1,97 @@
+/**
+ * Rule subject module: declared/resolved/actual payloads, scanner composition,
+ * and projections via the shared helper.
+ *
+ * Rules have no `settings.json` entry shape and no `axm-lock.yaml` entry
+ * shape in v1. Actual occurrences come from the canonical-extensions
+ * scanner (`type === "rule"`); the agent-dir scanner emits no rule
+ * occurrences in the v1 `AgentRegistry`, but the subject module accepts an
+ * agent-dir scanner input so future agents can register rule directories
+ * without further changes here.
+ */
+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 { Diagnostics } from "../diagnostics.js";
+import type { CanonicalExtensionOccurrence } from "../scanners/types.js";
+import type { ActivationState, ExtensionKey, InstallationOrigin, InstalledPackRef, Scope } from "../types.js";
+export type RuleDetectionOrigin = {
+    readonly _tag: "canonical-axm-rule";
+} | {
+    readonly _tag: "external-axm-rule";
+} | {
+    readonly _tag: "agent-rule-dir";
+    readonly agentId: AgentId;
+};
+export type DeclaredRule = never;
+export type DeclaredRules = ReadonlyArray<DeclaredRule>;
+export type ResolvedRule = never;
+export type ResolvedRules = ReadonlyArray<ResolvedRule>;
+export interface ActualRule {
+    readonly key: ExtensionKey<"rule">;
+    readonly origin: RuleDetectionOrigin;
+    readonly contentRoot: string;
+    readonly packageRoot: string | null;
+}
+export type ActualRules = ReadonlyArray<ActualRule>;
+export interface RulePackMember {
+    readonly name: ExtensionName;
+    readonly providingPack: InstalledPackRef;
+}
+export interface InstalledRule {
+    readonly key: ExtensionKey<"rule">;
+    readonly installationOrigin: InstallationOrigin<DeclaredRule, RulePackMember>;
+    readonly activation: ActivationState;
+    readonly resolved: Option.Option<ResolvedRule>;
+    readonly actual: ReadonlyArray<ActualRule>;
+    readonly providingPacks: ReadonlyArray<InstalledPackRef>;
+}
+export interface UnmanagedRule {
+    readonly key: ExtensionKey<"rule">;
+    readonly actual: ActualRule;
+}
+export type IgnoredRuleCandidate = {
+    readonly key: ExtensionKey<"rule">;
+    readonly reason: "actual-ignored";
+    readonly actual: ActualRule;
+};
+/**
+ * Rule scanners. v1 ships a canonical scanner only; the v1 `AgentRegistry`
+ * does not register rule directories, so there is no agent-dir rule input.
+ * If a future agent registers a rule directory, this scanner record gains an
+ * `agentDir` field and the subject module wires through `agent-rule-dir`
+ * origins.
+ */
+export interface RuleScanners {
+    readonly canonical: Effect.Effect<ReadonlyArray<CanonicalExtensionOccurrence>>;
+}
+export interface InstalledPackForRules {
+    readonly ref: InstalledPackRef;
+    readonly rules: ReadonlyArray<RulePackMember>;
+}
+export interface RuleExtensionsApiDeps {
+    readonly scope: Scope;
+    readonly scanners: RuleScanners;
+    readonly installedPacks: Effect.Effect<ReadonlyArray<InstalledPackForRules>>;
+    readonly ignoredNames: ReadonlySet<string>;
+    readonly diagnostics: Diagnostics;
+}
+export interface RuleExtensionsApi {
+    readonly declared: Effect.Effect<Option.Option<DeclaredRules>>;
+    readonly resolved: Effect.Effect<Option.Option<ResolvedRules>>;
+    readonly actual: Effect.Effect<ActualRules>;
+    readonly installed: Effect.Effect<ReadonlyArray<InstalledRule>>;
+    readonly byName: (name: string) => Effect.Effect<Option.Option<InstalledRule>>;
+    readonly declaredByName: (name: string) => Effect.Effect<Option.Option<DeclaredRule>>;
+    readonly active: Effect.Effect<ReadonlyArray<InstalledRule>>;
+    readonly unmanaged: Effect.Effect<ReadonlyArray<UnmanagedRule>>;
+    readonly ignored: Effect.Effect<ReadonlyArray<IgnoredRuleCandidate>>;
+}
+/**
+ * Build the rule 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 makeRuleExtensionsApi: (deps: RuleExtensionsApiDeps) => Effect.Effect<RuleExtensionsApi>;
+//# sourceMappingURL=rule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;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,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAW,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,KAAK,EACN,MAAM,aAAa,CAAC;AAarB,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;CAAE,GACvC;IAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;CAAE,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAMnE,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC;AACjC,MAAM,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC;AACjC,MAAM,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;AAExD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AACD,MAAM,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;AAEpD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC9E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B,CAAC;AAqBF;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,4BAA4B,CAAC,CAAC,CAAC;CAChF;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,GAAG,EAAE,gBAAgB,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;IACtF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;CACtE;AAmED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,qBAAqB,KAC1B,MAAM,CAAC,MAAM,CAAC,iBAAiB,CA+C9B,CAAC"}

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

@@ -0,0 +1,123 @@
+/**
+ * Rule subject module: declared/resolved/actual payloads, scanner composition,
+ * and projections via the shared helper.
+ *
+ * Rules have no `settings.json` entry shape and no `axm-lock.yaml` entry
+ * shape in v1. Actual occurrences come from the canonical-extensions
+ * scanner (`type === "rule"`); the agent-dir scanner emits no rule
+ * occurrences in the v1 `AgentRegistry`, but the subject module accepts an
+ * agent-dir scanner input so future agents can register rule directories
+ * without further changes here.
+ */
+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: "rule", name: occ.name },
+        origin: isExternal ? { _tag: "external-axm-rule" } : { _tag: "canonical-axm-rule" },
+        contentRoot: occ.contentLocation,
+        packageRoot,
+    };
+};
+const SUBJECT_KEY = "rule";
+const orphanResolvedWarning = (name) => ({
+    source: "lockfile",
+    message: `rule: lockfile entry "${name}" has no matching declared or pack-member home`,
+    code: "orphan-resolved",
+});
+const rulePolicy = (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: "rule", name: input.name },
+        installationOrigin: input.installationOrigin,
+        activation: input.activation,
+        resolved: input.resolved,
+        actual: input.actual,
+        providingPacks: input.providingPacks,
+    }),
+    buildUnmanagedRow: (entry) => ({
+        key: { scope, type: "rule", name: entry.key.name },
+        actual: entry,
+    }),
+    // `DeclaredRule = never` (rules 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 rule
+    // 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: "rule", name: input.name },
+        reason: "actual-ignored",
+        actual: input.actual,
+    }),
+    resolvedOrphanWarning: orphanResolvedWarning,
+});
+/**
+ * Build the rule 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 makeRuleExtensionsApi = (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, "rule", (occ) => canonicalToActual(occ, scope));
+    });
+    // v1 emits no rule 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 rule 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: rulePolicy(scope),
+        diagnostics,
+    }));
+    return {
+        ...makeProjectedSubjectCells({
+            declared,
+            resolved,
+            actual,
+            project,
+        }),
+        declared,
+        resolved,
+        actual,
+        declaredByName: () => Effect.succeed(Option.none()),
+    };
+});
+//# sourceMappingURL=rule.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule.js","sourceRoot":"","sources":["../../../../../../src/unstable/workspace/read-model/extensions/rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,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;AAsDzB,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;AA0CF,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"}