@open-mercato/shared 0.8.1-develop.7296.1.2111d779db → 0.9.0

package/src/lib/catalog-visibility/matchesScope.ts

@@ -0,0 +1,8 @@
+import type { EffectiveAssortmentScope, ScopedProduct } from './types'
+import { matchesOne } from './matchesOne'
+
+/** OR across sources. `null` -> true (unrestricted). `[]` -> false for every product (deny-all). */
+export function matchesScope(product: ScopedProduct, effective: EffectiveAssortmentScope): boolean {
+  if (effective === null) return true
+  return effective.some((scope) => matchesOne(product, scope))
+}

package/src/lib/catalog-visibility/types.ts

@@ -0,0 +1,31 @@
+/**
+ * One AND-scope. A single source's own grant (a group's, or a channel's) never carries
+ * `allOf`; `intersectScopes` adds it when a branch must AND two sources' conditions that
+ * cannot be merged into one flat scope without changing which products match.
+ */
+export type AssortmentScope = {
+  categoryIds?: string[]
+  tagIds?: string[]
+  excludeProductIds?: string[]
+  excludeCategoryIds?: string[]
+  excludeTagIds?: string[]
+  /**
+   * Conjunction: a product matches this scope only if it also matches EVERY listed scope
+   * (each evaluated with `matchesOne`, so nesting is allowed). Absent or empty = no extra
+   * condition. Because every entry is itself a set of inclusion/exclusion id lists, a branch
+   * carrying `allOf` is still expressible on the SQL side as an AND of `scopeKeys`
+   * array-overlap tests (spec §3.3 / §3.5).
+   */
+  allOf?: AssortmentScope[]
+}
+
+/**
+ * The resolved, buyer-facing grant. `null` = unrestricted (every source was unrestricted,
+ * or there was nothing to restrict against). A non-null value is an OR-list of AND-scopes
+ * (DNF): the buyer is visible-eligible for a product if it matches ANY element. An empty
+ * array `[]` is the vacuous OR — it has no element that could ever match, so it means
+ * "matches nothing," distinct from `null`.
+ */
+export type EffectiveAssortmentScope = AssortmentScope[] | null
+
+export type ScopedProduct = { id: string; categoryIds: string[]; tagIds: string[] }

package/src/lib/catalog-visibility/unionScopes.ts

@@ -0,0 +1,16 @@
+import type { AssortmentScope, EffectiveAssortmentScope } from './types'
+
+/**
+ * Combines N independent sources' own scopes into one OR-list.
+ * THE CRITICAL CORRECTNESS REQUIREMENT (a first draft got this wrong — R2 defect):
+ * do NOT merge every source's categoryIds/tagIds into one flat AssortmentScope object.
+ * That computes AND across sources' dimensions instead of OR. Each source becomes its
+ * own OR-branch in the returned list, UNMODIFIED — nothing about one source's scope
+ * changes because another source exists. The returned list is a fresh array, never the
+ * caller's own.
+ */
+export function unionScopes(scopes: Array<AssortmentScope | null>): EffectiveAssortmentScope {
+  if (scopes.length === 0) return null
+  if (scopes.some((s) => s === null)) return null
+  return scopes.filter((scope): scope is AssortmentScope => scope !== null)
+}