@x12i/memorix-scoper 1.1.0

package/dist/recursion.d.ts

@@ -0,0 +1,4 @@
+export declare function enterScopeTrace(traceId: string): () => void;
+/** Test helper */
+export declare function resetScopeTraces(): void;
+//# sourceMappingURL=recursion.d.ts.map

package/dist/recursion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recursion.d.ts","sourceRoot":"","sources":["../src/recursion.ts"],"names":[],"mappings":"AAKA,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,IAAI,CAW3D;AAED,kBAAkB;AAClB,wBAAgB,gBAAgB,IAAI,IAAI,CAEvC"}

package/dist/recursion.js

@@ -0,0 +1,17 @@
+import { ScoperError } from "@x12i/memorix-scoper-contracts";
+/** In-process recursion guard keyed by traceId. */
+const activeTraces = new Set();
+export function enterScopeTrace(traceId) {
+    if (activeTraces.has(traceId)) {
+        throw new ScoperError("RECURSIVE_SCOPE_CALL", `recursive scope() call detected for traceId=${traceId}`);
+    }
+    activeTraces.add(traceId);
+    return () => {
+        activeTraces.delete(traceId);
+    };
+}
+/** Test helper */
+export function resetScopeTraces() {
+    activeTraces.clear();
+}
+//# sourceMappingURL=recursion.js.map

package/dist/recursion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recursion.js","sourceRoot":"","sources":["../src/recursion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAE7D,mDAAmD;AACnD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;AAEvC,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,WAAW,CACnB,sBAAsB,EACtB,+CAA+C,OAAO,EAAE,CACzD,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1B,OAAO,GAAG,EAAE;QACV,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC;AACJ,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,gBAAgB;IAC9B,YAAY,CAAC,KAAK,EAAE,CAAC;AACvB,CAAC"}

package/dist/validation.d.ts

@@ -0,0 +1,11 @@
+import { type CatalogEntry, type RetrievalPlan, type ScoperProfile, type EpistemicClass, type EvidenceItem, type EvidenceBundle } from "@x12i/memorix-scoper-contracts";
+export declare function validatePlanAgainstCatalog(plan: RetrievalPlan, catalogEntries: CatalogEntry[], profile: ScoperProfile): void;
+/**
+ * Epistemic validators — POLICY_CANDIDATE must not be treated as REACHABLE.
+ */
+export declare function validateEpistemicConsistency(items: EvidenceItem[]): {
+    items: EvidenceItem[];
+    warnings: EvidenceBundle["warnings"];
+};
+export declare function assertNotPromotingPolicyToReachable(from: EpistemicClass, to: EpistemicClass): void;
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,cAAc,EACpB,MAAM,gCAAgC,CAAC;AAExC,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,aAAa,EACnB,cAAc,EAAE,YAAY,EAAE,EAC9B,OAAO,EAAE,aAAa,GACrB,IAAI,CA0BN;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG;IACnE,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;CACtC,CAoCA;AAED,wBAAgB,mCAAmC,CACjD,IAAI,EAAE,cAAc,EACpB,EAAE,EAAE,cAAc,GACjB,IAAI,CAON"}

package/dist/validation.js

@@ -0,0 +1,64 @@
+import { ScoperError, } from "@x12i/memorix-scoper-contracts";
+export function validatePlanAgainstCatalog(plan, catalogEntries, profile) {
+    const byId = new Map(catalogEntries.map((e) => [e.id, e]));
+    for (const step of plan.steps) {
+        if (!profile.allowedCapabilities.includes(step.capability)) {
+            throw new ScoperError("CATALOG_REJECTED", `capability ${step.capability} not allowed by profile ${profile.id}`);
+        }
+        const entry = byId.get(step.catalogEntryId);
+        if (!entry) {
+            throw new ScoperError("CATALOG_REJECTED", `unknown catalogEntryId: ${step.catalogEntryId}`);
+        }
+        if (entry.capability !== step.capability) {
+            throw new ScoperError("CATALOG_REJECTED", `capability mismatch for ${step.catalogEntryId}: plan=${step.capability} catalog=${entry.capability}`);
+        }
+        if (!entry.enabled) {
+            throw new ScoperError("CATALOG_REJECTED", `catalog entry disabled: ${step.catalogEntryId}`);
+        }
+    }
+}
+/**
+ * Epistemic validators — POLICY_CANDIDATE must not be treated as REACHABLE.
+ */
+export function validateEpistemicConsistency(items) {
+    const warnings = [];
+    const next = items.map((item) => {
+        if (item.epistemic === "POLICY_CANDIDATE" && item.tags?.includes("reachable")) {
+            warnings.push({
+                code: "EPISTEMIC_DOWNGRADE",
+                message: "POLICY_CANDIDATE cannot be tagged reachable; downgrading tag",
+                details: { evidenceId: item.id },
+            });
+            return {
+                ...item,
+                tags: item.tags.filter((t) => t !== "reachable"),
+            };
+        }
+        return item;
+    });
+    // Detect contradictory pairings in the same bundle
+    const bySubject = new Map();
+    for (const item of next) {
+        if (item.ref.kind === "subject") {
+            const key = `${item.ref.objectType}:${item.ref.recordId}`;
+            const list = bySubject.get(key) ?? [];
+            list.push(item.epistemic);
+            bySubject.set(key, list);
+        }
+    }
+    for (const [key, classes] of bySubject) {
+        if (classes.includes("POLICY_CANDIDATE") && classes.includes("REACHABLE")) {
+            warnings.push({
+                code: "EPISTEMIC_CONFLICT",
+                message: `POLICY_CANDIDATE and REACHABLE both present for ${key} — REACHABLE requires observed path evidence`,
+            });
+        }
+    }
+    return { items: next, warnings };
+}
+export function assertNotPromotingPolicyToReachable(from, to) {
+    if (from === "POLICY_CANDIDATE" && to === "REACHABLE") {
+        throw new ScoperError("INVALID_REQUEST", "POLICY_CANDIDATE must not be promoted to REACHABLE without observed path evidence");
+    }
+}
+//# sourceMappingURL=validation.js.map

package/dist/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,GAOZ,MAAM,gCAAgC,CAAC;AAExC,MAAM,UAAU,0BAA0B,CACxC,IAAmB,EACnB,cAA8B,EAC9B,OAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,WAAW,CACnB,kBAAkB,EAClB,cAAc,IAAI,CAAC,UAAU,2BAA2B,OAAO,CAAC,EAAE,EAAE,CACrE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,WAAW,CACnB,kBAAkB,EAClB,2BAA2B,IAAI,CAAC,cAAc,EAAE,CACjD,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YACzC,MAAM,IAAI,WAAW,CACnB,kBAAkB,EAClB,2BAA2B,IAAI,CAAC,cAAc,UAAU,IAAI,CAAC,UAAU,YAAY,KAAK,CAAC,UAAU,EAAE,CACtG,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,IAAI,WAAW,CAAC,kBAAkB,EAAE,2BAA2B,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAqB;IAIhE,MAAM,QAAQ,GAA+B,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,SAAS,KAAM,kBAAqC,IAAI,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAClG,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,8DAA8D;gBACvE,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE;aACjC,CAAC,CAAC;YACH,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC;aACjD,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,mDAAmD;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1B,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1E,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,mDAAmD,GAAG,8CAA8C;aAC9G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,IAAoB,EACpB,EAAkB;IAElB,IAAI,IAAI,KAAK,kBAAkB,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACtD,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,mFAAmF,CACpF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/package.json

@@ -0,0 +1,48 @@
+{
+  "name": "@x12i/memorix-scoper",
+  "version": "1.1.0",
+  "description": "Memorix Scoper core — profiles, reasoner, coordinator",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./profiles": {
+      "types": "./dist/profiles.d.ts",
+      "import": "./dist/profiles.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "publishConfig": {
+    "access": "restricted",
+    "registry": "https://registry.npmjs.org/",
+    "tag": "dev"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run"
+  },
+  "dependencies": {
+    "@x12i/ai-dispatcher": "^1.3.0",
+    "@x12i/memorix-scoper-contracts": "^1.0.0",
+    "@x12i/memorix-scoper-profiles": "^1.0.0",
+    "@x12i/memorix-scoper-sdk": "^1.0.0",
+    "zod": "^3.25.67"
+  },
+  "devDependencies": {
+    "@x12i/memorix-scoper-testing": "workspace:*",
+    "typescript": "^5.8.3",
+    "vitest": "^3.2.4"
+  },
+  "engines": {
+    "node": ">=22"
+  },
+  "license": "MIT"
+}