@x12i/memorix-scoper 1.1.0

package/README.md

@@ -0,0 +1,29 @@
+# @x12i/memorix-scoper
+
+Coordinator library: `scope()`, reasoners, profiles, and **ai-dispatcher MCP** (`createScoperMcpServer`).
+
+```ts
+import { createScoper, ScriptedReasoner, createScoperMcpServer } from "@x12i/memorix-scoper";
+import { createAiDispatcher } from "@x12i/ai-dispatcher";
+
+const scoper = createScoper({ sdkConfig: { memorixBaseUrls: ["http://127.0.0.1:5100"] } });
+
+const dispatcher = createAiDispatcher({
+  /* providers */,
+  mcp: {
+    servers: [
+      createScoperMcpServer({
+        scoper,
+        context: {
+          orgId: "sandbox1",
+          agentIds: ["opx"],
+          caller: "skill-process",
+          traceId: "…",
+        },
+      }),
+    ],
+  },
+});
+```
+
+Tools exposed to the model: `scoper__scope`, `scoper__subject_data`. Trusted org/agent/caller come **only** from `context` at create time — never from tool args.

package/dist/coordinator.d.ts

@@ -0,0 +1,12 @@
+import { type ScopeRequest, type TrustedExecutionContext, type EvidenceBundle, type ScoperBudgets, type ScoperProfile } from "@x12i/memorix-scoper-contracts";
+import type { MemorixScoperClient } from "@x12i/memorix-scoper-sdk";
+import type { ScoperReasoner } from "./reasoner/types.js";
+export interface ScoperDependencies {
+    sdk: MemorixScoperClient;
+    reasoner: ScoperReasoner;
+    /** Host-enforced budget caps (request budgets clamped to these). */
+    hostBudgetCaps?: ScoperBudgets;
+    profiles?: Record<string, ScoperProfile>;
+}
+export declare function scope(request: ScopeRequest, context: TrustedExecutionContext, deps: ScoperDependencies): Promise<EvidenceBundle>;
+//# sourceMappingURL=coordinator.d.ts.map

package/dist/coordinator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coordinator.d.ts","sourceRoot":"","sources":["../src/coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,YAAY,EACjB,KAAK,uBAAuB,EAC5B,KAAK,cAAc,EAGnB,KAAK,aAAa,EAClB,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,mBAAmB,EAAiB,MAAM,0BAA0B,CAAC;AAEnF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAI1D,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,mBAAmB,CAAC;IACzB,QAAQ,EAAE,cAAc,CAAC;IACzB,oEAAoE;IACpE,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC1C;AAoPD,wBAAsB,KAAK,CACzB,OAAO,EAAE,YAAY,EACrB,OAAO,EAAE,uBAAuB,EAChC,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,cAAc,CAAC,CAuJzB"}

package/dist/coordinator.js

@@ -0,0 +1,351 @@
+import { ScopeRequestSchema, TrustedExecutionContextSchema, EvidenceBundleSchema, RetrievalPlanSchema, ScoperError, clampBudgets, } from "@x12i/memorix-scoper-contracts";
+import { getProfile } from "@x12i/memorix-scoper-profiles";
+import { enterScopeTrace } from "./recursion.js";
+import { validatePlanAgainstCatalog, validateEpistemicConsistency } from "./validation.js";
+async function mapPool(items, concurrency, fn) {
+    const results = new Array(items.length);
+    let idx = 0;
+    async function worker() {
+        while (idx < items.length) {
+            const i = idx++;
+            results[i] = await fn(items[i]);
+        }
+    }
+    const n = Math.max(1, Math.min(concurrency, items.length || 1));
+    await Promise.all(Array.from({ length: n }, () => worker()));
+    return results;
+}
+async function executeStep(step, ctxSdk, context) {
+    const args = step.args ?? {};
+    switch (step.capability) {
+        case "catalog.describe": {
+            // Local capability catalog — not a Memorix-landed OT/CT subject.
+            const described = ctxSdk.catalog.describe();
+            return [
+                {
+                    id: `${step.id}:catalog`,
+                    ref: {
+                        kind: "subject",
+                        orgId: context.orgId,
+                        objectType: "catalog",
+                        contentType: "describe",
+                        recordId: described.version,
+                    },
+                    summary: `Catalog ${described.version} with ${described.entries.length} entries`,
+                    epistemic: "OBSERVED",
+                    payload: described,
+                },
+            ];
+        }
+        case "subjects.get": {
+            const objectType = String(args.objectType ?? "").trim();
+            const contentType = String(args.contentType ?? "").trim();
+            const id = String(args.recordId ?? args.id ?? "").trim();
+            if (!objectType || !contentType || !id) {
+                throw new ScoperError("INVALID_REQUEST", "subjects.get requires objectType, contentType, and recordId (id alias)", { details: { objectType, contentType, id } });
+            }
+            const res = await ctxSdk.subjects.get({ objectType, contentType, id });
+            if (!res.record)
+                return [];
+            return [
+                {
+                    id: `${step.id}:${id}`,
+                    ref: res.ref,
+                    summary: `Subject ${objectType}/${contentType}/${id}`,
+                    epistemic: "OBSERVED",
+                    payload: res.record,
+                },
+            ];
+        }
+        case "subjects.list":
+        case "subjects.query": {
+            const objectType = String(args.objectType ?? "").trim();
+            const contentType = String(args.contentType ?? "").trim();
+            if (!objectType || !contentType) {
+                throw new ScoperError("INVALID_REQUEST", `${step.capability} requires objectType and contentType`, { details: { objectType, contentType } });
+            }
+            const limit = typeof args.limit === "number" ? args.limit : undefined;
+            const res = step.capability === "subjects.query"
+                ? await ctxSdk.subjects.query({
+                    objectType,
+                    contentType,
+                    limit,
+                    filter: args.filter ?? undefined,
+                })
+                : await ctxSdk.subjects.list({ objectType, contentType, limit });
+            return res.records.map((rec, i) => ({
+                id: `${step.id}:${String(rec.recordId ?? rec.id ?? i)}`,
+                ref: res.refs[i],
+                summary: `Listed ${objectType}/${contentType}`,
+                epistemic: "OBSERVED",
+                payload: rec,
+            }));
+        }
+        case "subjects.getNexumSnapshot": {
+            // Nexum persist is Memorix-internal: fixed OT/CT from memorix-nexum-persist/1.
+            const id = String(args.recordId ?? args.id ?? "").trim();
+            if (!id) {
+                throw new ScoperError("INVALID_REQUEST", "subjects.getNexumSnapshot requires recordId (id alias)", { details: { id } });
+            }
+            const res = await ctxSdk.subjects.getNexumSnapshot({ id });
+            return [
+                {
+                    id: `${step.id}:${id}`,
+                    ref: {
+                        kind: "subject",
+                        orgId: context.orgId,
+                        objectType: "content",
+                        contentType: "snapshots",
+                        recordId: id,
+                    },
+                    summary: `Nexum persist snapshot ${res.envelope.serviceId}@${res.envelope.contractVersion}`,
+                    epistemic: "OBSERVED",
+                    payload: res.envelope,
+                },
+            ];
+        }
+        case "estate.startSession":
+        case "estate.getBag":
+        case "estate.query": {
+            // Will throw ESTATE_PATH_UNAVAILABLE when transport missing
+            if (step.capability === "estate.startSession") {
+                const session = await ctxSdk.estate.startSession({ bootstrap: args.bootstrap });
+                return [
+                    {
+                        id: `${step.id}:session`,
+                        ref: {
+                            kind: "estate-bag",
+                            orgId: context.orgId,
+                            sessionId: session.sessionId,
+                            bagId: "session",
+                        },
+                        summary: `Estate session ${session.sessionId}`,
+                        epistemic: "UNKNOWN",
+                        payload: session,
+                    },
+                ];
+            }
+            if (step.capability === "estate.getBag") {
+                const bag = await ctxSdk.estate.getBag({
+                    sessionId: String(args.sessionId ?? ""),
+                    bagId: String(args.bagId ?? ""),
+                });
+                return [
+                    {
+                        id: `${step.id}:${bag.bagId}`,
+                        ref: {
+                            kind: "estate-bag",
+                            orgId: context.orgId,
+                            sessionId: String(args.sessionId ?? ""),
+                            bagId: bag.bagId,
+                        },
+                        summary: `Estate bag ${bag.bagId}`,
+                        epistemic: "OBSERVED",
+                        payload: bag.data,
+                    },
+                ];
+            }
+            const q = await ctxSdk.estate.query({
+                sessionId: String(args.sessionId ?? ""),
+                query: args.query ?? {},
+            });
+            return [
+                {
+                    id: `${step.id}:query`,
+                    ref: {
+                        kind: "estate-bag",
+                        orgId: context.orgId,
+                        sessionId: String(args.sessionId ?? ""),
+                        bagId: "query",
+                    },
+                    summary: `Estate query returned ${q.results.length} results`,
+                    epistemic: "OBSERVED",
+                    payload: q,
+                },
+            ];
+        }
+        case "explore.query": {
+            await ctxSdk.explore.query(args);
+            return [];
+        }
+        default:
+            throw new ScoperError("CATALOG_REJECTED", `unsupported capability: ${step.capability}`);
+    }
+}
+async function obtainPlan(reasoner, input) {
+    try {
+        const plan = await reasoner.proposePlan(input);
+        validatePlanAgainstCatalog(plan, input.catalog.entries, input.profile);
+        return RetrievalPlanSchema.parse(plan);
+    }
+    catch (firstErr) {
+        if (firstErr instanceof ScoperError &&
+            (firstErr.code === "PROVIDER_NOT_IMPLEMENTED" ||
+                firstErr.code === "RECURSIVE_SCOPE_CALL" ||
+                firstErr.code === "BUDGET_EXCEEDED")) {
+            throw firstErr;
+        }
+        const message = firstErr instanceof Error ? firstErr.message : String(firstErr);
+        // One repair attempt only
+        try {
+            const repaired = await reasoner.proposePlan({
+                ...input,
+                repairOf: {
+                    previousPlan: firstErr instanceof ScoperError ? firstErr.details : undefined,
+                    error: message,
+                },
+            });
+            validatePlanAgainstCatalog(repaired, input.catalog.entries, input.profile);
+            return RetrievalPlanSchema.parse(repaired);
+        }
+        catch (secondErr) {
+            if (secondErr instanceof ScoperError) {
+                if (secondErr.code === "PROVIDER_NOT_IMPLEMENTED" ||
+                    secondErr.code === "RECURSIVE_SCOPE_CALL") {
+                    throw secondErr;
+                }
+                throw new ScoperError("REASONER_REPAIR_FAILED", secondErr.message, {
+                    details: { first: message, second: secondErr.toJSON() },
+                });
+            }
+            throw new ScoperError("REASONER_REPAIR_FAILED", secondErr instanceof Error ? secondErr.message : String(secondErr), { details: { first: message } });
+        }
+    }
+}
+export async function scope(request, context, deps) {
+    const parsedRequest = ScopeRequestSchema.parse(request);
+    const parsedContext = TrustedExecutionContextSchema.parse(context);
+    const leave = enterScopeTrace(parsedContext.traceId);
+    try {
+        // Security: budgets come from host caps + clamped request — never from reasoner/hints injection
+        const resolvedProfile = deps.profiles?.[parsedRequest.profileId] ?? getProfile(parsedRequest.profileId);
+        if (!resolvedProfile) {
+            throw new ScoperError("INVALID_REQUEST", `unknown profile: ${parsedRequest.profileId}`);
+        }
+        const profile = resolvedProfile;
+        const hostCaps = deps.hostBudgetCaps ?? deps.sdk.hostBudgets;
+        const profileDefaults = profile.defaultBudgets ?? {};
+        // Ignore any attempt to smuggle budgets via hints
+        const safeRequested = {
+            ...profileDefaults,
+            ...parsedRequest.budgets,
+        };
+        if (parsedRequest.hints && typeof parsedRequest.hints === "object") {
+            // Explicitly discard budget keys from hints (prompt-injection surface)
+            const hints = parsedRequest.hints;
+            if (hints.budgets || hints.maxSubjects || hints.maxTokens) {
+                // strip — host caps win
+            }
+        }
+        const budgets = clampBudgets(safeRequested, hostCaps);
+        const ctxSdk = deps.sdk.forContext(parsedContext);
+        const catalog = ctxSdk.catalog.describe({ enabledOnly: false });
+        const plan = await obtainPlan(deps.reasoner, {
+            request: parsedRequest,
+            context: parsedContext,
+            profile,
+            budgets,
+            catalog: {
+                version: catalog.version,
+                entries: catalog.entries.filter((e) => e.enabled && profile.allowedCapabilities.includes(e.capability)),
+            },
+        });
+        // Group steps for parallel execution
+        const groups = new Map();
+        for (const step of plan.steps) {
+            const key = step.parallelGroup ?? step.id;
+            const list = groups.get(key) ?? [];
+            list.push(step);
+            groups.set(key, list);
+        }
+        const allItems = [];
+        const warnings = [];
+        const unknowns = [];
+        const conflicts = [];
+        const continuations = [];
+        for (const groupSteps of groups.values()) {
+            ctxSdk.budgets.consumeParallel(groupSteps.length);
+            const groupResults = await mapPool(groupSteps, budgets.maxParallelCalls, async (step) => {
+                try {
+                    return await executeStep(step, ctxSdk, parsedContext);
+                }
+                catch (err) {
+                    if (err instanceof ScoperError && err.code === "ESTATE_PATH_UNAVAILABLE") {
+                        unknowns.push({
+                            id: `unknown:${step.id}`,
+                            message: err.message,
+                        });
+                        continuations.push({
+                            kind: "estate-session",
+                            message: "Estate path unavailable — inject estateTransport or await map-store docs",
+                        });
+                        if (!step.required)
+                            return [];
+                        warnings.push({ code: err.code, message: err.message });
+                        return [];
+                    }
+                    if (err instanceof ScoperError && err.code === "NEXUM_EXPLORE_UNAVAILABLE") {
+                        warnings.push({ code: err.code, message: err.message });
+                        continuations.push({
+                            kind: "explore",
+                            message: "Nexum explore deferred/disabled",
+                        });
+                        return [];
+                    }
+                    if (err instanceof ScoperError && !step.required) {
+                        warnings.push({ code: err.code, message: err.message });
+                        return [];
+                    }
+                    throw err;
+                }
+            });
+            for (const items of groupResults) {
+                ctxSdk.budgets.consumeEvidence(items.length);
+                allItems.push(...items);
+            }
+        }
+        // Apply selection epistemic overrides carefully
+        for (const sel of plan.selections) {
+            if (sel.epistemic === "REACHABLE") {
+                for (const item of allItems) {
+                    if (item.id.startsWith(sel.stepId) && item.epistemic === "POLICY_CANDIDATE") {
+                        warnings.push({
+                            code: "EPISTEMIC_BLOCKED_PROMOTION",
+                            message: "Blocked POLICY_CANDIDATE → REACHABLE promotion from selection",
+                            details: { evidenceId: item.id },
+                        });
+                    }
+                }
+            }
+        }
+        const epistemic = validateEpistemicConsistency(allItems);
+        warnings.push(...epistemic.warnings);
+        // Detect injected budget mutation attempts in question/hints for security telemetry
+        const injectionHints = /ignore.*budget|set.*maxSubjects\s*=|budgets\s*:\s*\{/i.test(parsedRequest.question) ||
+            Boolean(parsedRequest.hints &&
+                typeof parsedRequest.hints === "object" &&
+                ("budgets" in parsedRequest.hints ||
+                    "maxSubjects" in parsedRequest.hints));
+        if (injectionHints) {
+            warnings.push({
+                code: "PROMPT_INJECTION_BUDGET_IGNORED",
+                message: "Prompt/hint budget manipulation ignored; host caps applied",
+                details: { appliedBudgets: budgets },
+            });
+        }
+        const bundle = EvidenceBundleSchema.parse({
+            items: epistemic.items.slice(0, budgets.maxEvidenceItems),
+            conflicts,
+            unknowns,
+            warnings,
+            continuations,
+            answer: plan.answerDraft,
+            budgetsUsed: ctxSdk.budgets.snapshot(),
+        });
+        return bundle;
+    }
+    finally {
+        leave();
+    }
+}
+//# sourceMappingURL=coordinator.js.map

package/dist/coordinator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coordinator.js","sourceRoot":"","sources":["../src/coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,6BAA6B,EAC7B,oBAAoB,EACpB,mBAAmB,EACnB,WAAW,EACX,YAAY,GAQb,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAU3F,KAAK,UAAU,OAAO,CACpB,KAAU,EACV,WAAmB,EACnB,EAA2B;IAE3B,MAAM,OAAO,GAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,UAAU,MAAM;QACnB,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;YAChB,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,IAAoC,EACpC,MAAqB,EACrB,OAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7B,QAAQ,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,iEAAiE;YACjE,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC5C,OAAO;gBACL;oBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,UAAU;oBACxB,GAAG,EAAE;wBACH,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,UAAU,EAAE,SAAS;wBACrB,WAAW,EAAE,UAAU;wBACvB,QAAQ,EAAE,SAAS,CAAC,OAAO;qBAC5B;oBACD,OAAO,EAAE,WAAW,SAAS,CAAC,OAAO,SAAS,SAAS,CAAC,OAAO,CAAC,MAAM,UAAU;oBAChF,SAAS,EAAE,UAAU;oBACrB,OAAO,EAAE,SAAS;iBACnB;aACF,CAAC;QACJ,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACxD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACzD,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,EAAE,CAAC;gBACvC,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,wEAAwE,EACxE,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAC7C,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;YACvE,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,OAAO,EAAE,CAAC;YAC3B,OAAO;gBACL;oBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE;oBACtB,GAAG,EAAE,GAAG,CAAC,GAAG;oBACZ,OAAO,EAAE,WAAW,UAAU,IAAI,WAAW,IAAI,EAAE,EAAE;oBACrD,SAAS,EAAE,UAAU;oBACrB,OAAO,EAAE,GAAG,CAAC,MAAM;iBACpB;aACF,CAAC;QACJ,CAAC;QACD,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACxD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1D,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,EAAE,CAAC;gBAChC,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,GAAG,IAAI,CAAC,UAAU,sCAAsC,EACxD,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,CACzC,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,MAAM,GAAG,GACP,IAAI,CAAC,UAAU,KAAK,gBAAgB;gBAClC,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC1B,UAAU;oBACV,WAAW;oBACX,KAAK;oBACL,MAAM,EAAG,IAAI,CAAC,MAAkC,IAAI,SAAS;iBAC9D,CAAC;gBACJ,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;YACrE,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBAClC,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;gBACvD,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE;gBACjB,OAAO,EAAE,UAAU,UAAU,IAAI,WAAW,EAAE;gBAC9C,SAAS,EAAE,UAAmB;gBAC9B,OAAO,EAAE,GAAG;aACb,CAAC,CAAC,CAAC;QACN,CAAC;QACD,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,+EAA+E;YAC/E,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACzD,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,wDAAwD,EACxD,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CACpB,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3D,OAAO;gBACL;oBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE;oBACtB,GAAG,EAAE;wBACH,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,UAAU,EAAE,SAAS;wBACrB,WAAW,EAAE,WAAW;wBACxB,QAAQ,EAAE,EAAE;qBACb;oBACD,OAAO,EAAE,0BAA0B,GAAG,CAAC,QAAQ,CAAC,SAAS,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,EAAE;oBAC3F,SAAS,EAAE,UAAU;oBACrB,OAAO,EAAE,GAAG,CAAC,QAAQ;iBACtB;aACF,CAAC;QACJ,CAAC;QACD,KAAK,qBAAqB,CAAC;QAC3B,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,4DAA4D;YAC5D,IAAI,IAAI,CAAC,UAAU,KAAK,qBAAqB,EAAE,CAAC;gBAC9C,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBAChF,OAAO;oBACL;wBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,UAAU;wBACxB,GAAG,EAAE;4BACH,IAAI,EAAE,YAAY;4BAClB,KAAK,EAAE,OAAO,CAAC,KAAK;4BACpB,SAAS,EAAE,OAAO,CAAC,SAAS;4BAC5B,KAAK,EAAE,SAAS;yBACjB;wBACD,OAAO,EAAE,kBAAkB,OAAO,CAAC,SAAS,EAAE;wBAC9C,SAAS,EAAE,SAAS;wBACpB,OAAO,EAAE,OAAO;qBACjB;iBACF,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,KAAK,eAAe,EAAE,CAAC;gBACxC,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;oBACrC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;oBACvC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;iBAChC,CAAC,CAAC;gBACH,OAAO;oBACL;wBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,EAAE;wBAC7B,GAAG,EAAE;4BACH,IAAI,EAAE,YAAY;4BAClB,KAAK,EAAE,OAAO,CAAC,KAAK;4BACpB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;4BACvC,KAAK,EAAE,GAAG,CAAC,KAAK;yBACjB;wBACD,OAAO,EAAE,cAAc,GAAG,CAAC,KAAK,EAAE;wBAClC,SAAS,EAAE,UAAU;wBACrB,OAAO,EAAE,GAAG,CAAC,IAAI;qBAClB;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;gBAClC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;gBACvC,KAAK,EAAG,IAAI,CAAC,KAAiC,IAAI,EAAE;aACrD,CAAC,CAAC;YACH,OAAO;gBACL;oBACE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,QAAQ;oBACtB,GAAG,EAAE;wBACH,IAAI,EAAE,YAAY;wBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;wBACvC,KAAK,EAAE,OAAO;qBACf;oBACD,OAAO,EAAE,yBAAyB,CAAC,CAAC,OAAO,CAAC,MAAM,UAAU;oBAC5D,SAAS,EAAE,UAAU;oBACrB,OAAO,EAAE,CAAC;iBACX;aACF,CAAC;QACJ,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,EAAE,CAAC;QACZ,CAAC;QACD;YACE,MAAM,IAAI,WAAW,CAAC,kBAAkB,EAAE,2BAA2B,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5F,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,QAAwB,EACxB,KAAmD;IAEnD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/C,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACvE,OAAO,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,QAAQ,EAAE,CAAC;QAClB,IACE,QAAQ,YAAY,WAAW;YAC/B,CAAC,QAAQ,CAAC,IAAI,KAAK,0BAA0B;gBAC3C,QAAQ,CAAC,IAAI,KAAK,sBAAsB;gBACxC,QAAQ,CAAC,IAAI,KAAK,iBAAiB,CAAC,EACtC,CAAC;YACD,MAAM,QAAQ,CAAC;QACjB,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,YAAY,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChF,0BAA0B;QAC1B,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,WAAW,CAAC;gBAC1C,GAAG,KAAK;gBACR,QAAQ,EAAE;oBACR,YAAY,EAAE,QAAQ,YAAY,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBAC5E,KAAK,EAAE,OAAO;iBACf;aACF,CAAC,CAAC;YACH,0BAA0B,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3E,OAAO,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,SAAS,YAAY,WAAW,EAAE,CAAC;gBACrC,IACE,SAAS,CAAC,IAAI,KAAK,0BAA0B;oBAC7C,SAAS,CAAC,IAAI,KAAK,sBAAsB,EACzC,CAAC;oBACD,MAAM,SAAS,CAAC;gBAClB,CAAC;gBACD,MAAM,IAAI,WAAW,CAAC,wBAAwB,EAAE,SAAS,CAAC,OAAO,EAAE;oBACjE,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,EAAE;iBACxD,CAAC,CAAC;YACL,CAAC;YACD,MAAM,IAAI,WAAW,CACnB,wBAAwB,EACxB,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAClE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,OAAqB,EACrB,OAAgC,EAChC,IAAwB;IAExB,MAAM,aAAa,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,6BAA6B,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,eAAe,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAErD,IAAI,CAAC;QACH,gGAAgG;QAChG,MAAM,eAAe,GACnB,IAAI,CAAC,QAAQ,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAClF,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,oBAAoB,aAAa,CAAC,SAAS,EAAE,CAC9C,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;QAC7D,MAAM,eAAe,GAAG,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACrD,kDAAkD;QAClD,MAAM,aAAa,GAAG;YACpB,GAAG,eAAe;YAClB,GAAG,aAAa,CAAC,OAAO;SACzB,CAAC;QACF,IAAI,aAAa,CAAC,KAAK,IAAI,OAAO,aAAa,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnE,uEAAuE;YACvE,MAAM,KAAK,GAAG,aAAa,CAAC,KAAgC,CAAC;YAC7D,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBAC1D,wBAAwB;YAC1B,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAEtD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAEhE,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC3C,OAAO,EAAE,aAAa;YACtB,OAAO,EAAE,aAAa;YACtB,OAAO;YACP,OAAO;YACP,OAAO,EAAE;gBACP,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CACvE;aACF;SACF,CAAC,CAAC;QAEH,qCAAqC;QACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxB,CAAC;QAED,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,MAAM,QAAQ,GAA+B,EAAE,CAAC;QAChD,MAAM,QAAQ,GAA+B,EAAE,CAAC;QAChD,MAAM,SAAS,GAAgC,EAAE,CAAC;QAClD,MAAM,aAAa,GAAoC,EAAE,CAAC;QAE1D,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,gBAAgB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;gBACtF,IAAI,CAAC;oBACH,OAAO,MAAM,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;gBACxD,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,IAAI,GAAG,YAAY,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;wBACzE,QAAQ,CAAC,IAAI,CAAC;4BACZ,EAAE,EAAE,WAAW,IAAI,CAAC,EAAE,EAAE;4BACxB,OAAO,EAAE,GAAG,CAAC,OAAO;yBACrB,CAAC,CAAC;wBACH,aAAa,CAAC,IAAI,CAAC;4BACjB,IAAI,EAAE,gBAAgB;4BACtB,OAAO,EAAE,0EAA0E;yBACpF,CAAC,CAAC;wBACH,IAAI,CAAC,IAAI,CAAC,QAAQ;4BAAE,OAAO,EAAoB,CAAC;wBAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;wBACxD,OAAO,EAAoB,CAAC;oBAC9B,CAAC;oBACD,IAAI,GAAG,YAAY,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,2BAA2B,EAAE,CAAC;wBAC3E,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;wBACxD,aAAa,CAAC,IAAI,CAAC;4BACjB,IAAI,EAAE,SAAS;4BACf,OAAO,EAAE,iCAAiC;yBAC3C,CAAC,CAAC;wBACH,OAAO,EAAoB,CAAC;oBAC9B,CAAC;oBACD,IAAI,GAAG,YAAY,WAAW,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;wBACxD,OAAO,EAAoB,CAAC;oBAC9B,CAAC;oBACD,MAAM,GAAG,CAAC;gBACZ,CAAC;YACH,CAAC,CAAC,CAAC;YACH,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBACjC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC7C,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,GAAG,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;gBAClC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;oBAC5B,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAkB,EAAE,CAAC;wBAC5E,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,6BAA6B;4BACnC,OAAO,EAAE,+DAA+D;4BACxE,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,EAAE;yBACjC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QAErC,oFAAoF;QACpF,MAAM,cAAc,GAClB,uDAAuD,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC;YACpF,OAAO,CACL,aAAa,CAAC,KAAK;gBACjB,OAAO,aAAa,CAAC,KAAK,KAAK,QAAQ;gBACvC,CAAC,SAAS,IAAK,aAAa,CAAC,KAAgB;oBAC3C,aAAa,IAAK,aAAa,CAAC,KAAgB,CAAC,CACtD,CAAC;QACJ,IAAI,cAAc,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iCAAiC;gBACvC,OAAO,EAAE,4DAA4D;gBACrE,OAAO,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE;aACrC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC;YACxC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC;YACzD,SAAS;YACT,QAAQ;YACR,QAAQ;YACR,aAAa;YACb,MAAM,EAAE,IAAI,CAAC,WAAW;YACxB,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE;SACvC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,KAAK,EAAE,CAAC;IACV,CAAC;AACH,CAAC"}

package/dist/create-scoper.d.ts

@@ -0,0 +1,77 @@
+import type { ScoperBudgets, ScoperProfile } from "@x12i/memorix-scoper-contracts";
+import type { MemorixScoperClient, TrustedSdkConfig } from "@x12i/memorix-scoper-sdk";
+import type { ScoperReasoner } from "./reasoner/types.js";
+import { type AiDispatcherReasonerOptions } from "./reasoner/ai-dispatcher.js";
+import { scope, type ScoperDependencies } from "./coordinator.js";
+export interface CreateScoperOptions {
+    sdk?: MemorixScoperClient;
+    sdkConfig?: TrustedSdkConfig;
+    reasoner?: ScoperReasoner;
+    reasonerKind?: "scripted" | "ai-dispatcher";
+    aiDispatcher?: AiDispatcherReasonerOptions;
+    hostBudgetCaps?: ScoperBudgets;
+    profiles?: Record<string, ScoperProfile>;
+}
+export declare function createScoper(options?: CreateScoperOptions): {
+    scope: (request: Parameters<typeof scope>[0], context: Parameters<typeof scope>[1]) => Promise<{
+        items: {
+            id: string;
+            ref: {
+                kind: "subject";
+                orgId: string;
+                objectType: string;
+                contentType: string;
+                recordId: string;
+                revision?: string | number | undefined;
+            } | {
+                kind: "estate-bag";
+                orgId: string;
+                sessionId: string;
+                bagId: string;
+                path?: string | undefined;
+            } | {
+                kind: "knowledge-explore";
+                orgId: string;
+                exploreQueryId: string;
+                nodeIds?: string[] | undefined;
+            };
+            summary: string;
+            epistemic: "OBSERVED" | "INFERRED" | "POLICY_CANDIDATE" | "REACHABLE" | "UNKNOWN" | "CONFLICTING";
+            confidence?: number | undefined;
+            payload?: unknown;
+            tags?: string[] | undefined;
+        }[];
+        conflicts: {
+            message: string;
+            id: string;
+            evidenceIds: string[];
+            severity: "low" | "medium" | "high";
+        }[];
+        unknowns: {
+            message: string;
+            id: string;
+            relatedEvidenceIds?: string[] | undefined;
+        }[];
+        warnings: {
+            code: string;
+            message: string;
+            details?: unknown;
+        }[];
+        continuations: {
+            kind: "follow-up-question" | "estate-session" | "explore" | "manual";
+            message: string;
+            payload?: unknown;
+        }[];
+        answer?: string | undefined;
+        budgetsUsed?: {
+            subjects?: number | undefined;
+            evidenceItems?: number | undefined;
+            parallelCalls?: number | undefined;
+            tokens?: number | undefined;
+            wallClockMs?: number | undefined;
+        } | undefined;
+    }>;
+    deps: ScoperDependencies;
+};
+export type Scoper = ReturnType<typeof createScoper>;
+//# sourceMappingURL=create-scoper.d.ts.map

package/dist/create-scoper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-scoper.d.ts","sourceRoot":"","sources":["../src/create-scoper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACnF,OAAO,KAAK,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAGL,KAAK,2BAA2B,EACjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,KAAK,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAElE,MAAM,WAAW,mBAAmB;IAClC,GAAG,CAAC,EAAE,mBAAmB,CAAC;IAC1B,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,YAAY,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IAC5C,YAAY,CAAC,EAAE,2BAA2B,CAAC;IAC3C,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC1C;AA8BD,wBAAgB,YAAY,CAAC,OAAO,GAAE,mBAAwB;qBA8B/C,UAAU,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,WAC3B,UAAU,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;;;;;;;;;wBAOsoa,CAAC;;;;;;oBAAkL,CAAC;;;;;uBAA6J,CAAC;;;;sBAAyL,CAAC;mBAAqC,CAAC;gBAAuB,CAAC;;;;;;;;;;;8BAA2Q,CAAC;;;;;mBAA+G,CAAC;;;;;mBAA+J,CAAC;;;;oBAAyF,CAAC;yBAA2C,CAAC;yBAA2C,CAAC;kBAAoC,CAAC;uBAAyC,CAAC;;;;EAHthd;AAED,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC"}

package/dist/create-scoper.js

@@ -0,0 +1,58 @@
+import { createMemorixScoperClient } from "@x12i/memorix-scoper-sdk";
+import { ScriptedReasoner } from "./reasoner/scripted.js";
+import { AiDispatcherReasoner, dispatcherOptionsFromEnv, } from "./reasoner/ai-dispatcher.js";
+import { scope } from "./coordinator.js";
+function resolveAiDispatcherOptions(options) {
+    if (options?.dispatcher)
+        return options;
+    const fromEnv = dispatcherOptionsFromEnv();
+    return {
+        ...options,
+        dispatcherOptions: {
+            ...fromEnv,
+            ...options?.dispatcherOptions,
+            openrouter: {
+                ...fromEnv.openrouter,
+                ...options?.dispatcherOptions?.openrouter,
+            },
+            bedrock: {
+                ...fromEnv.bedrock,
+                ...options?.dispatcherOptions?.bedrock,
+            },
+            openai: {
+                ...fromEnv.openai,
+                ...options?.dispatcherOptions?.openai,
+            },
+        },
+        provider: options?.provider ?? fromEnv.provider,
+        model: options?.model ?? process.env.SCOPER_AI_MODEL,
+    };
+}
+export function createScoper(options = {}) {
+    const sdk = options.sdk ??
+        createMemorixScoperClient(options.sdkConfig ?? {
+            memorixBaseUrls: ["http://127.0.0.1:0"],
+        });
+    let reasoner = options.reasoner;
+    if (!reasoner) {
+        const kind = options.reasonerKind ??
+            (process.env.SCOPER_REASONER === "ai-dispatcher" ? "ai-dispatcher" : "scripted");
+        if (kind === "ai-dispatcher") {
+            reasoner = new AiDispatcherReasoner(resolveAiDispatcherOptions(options.aiDispatcher));
+        }
+        else {
+            reasoner = new ScriptedReasoner();
+        }
+    }
+    const deps = {
+        sdk,
+        reasoner,
+        hostBudgetCaps: options.hostBudgetCaps,
+        profiles: options.profiles,
+    };
+    return {
+        scope: (request, context) => scope(request, context, deps),
+        deps,
+    };
+}
+//# sourceMappingURL=create-scoper.js.map

package/dist/create-scoper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-scoper.js","sourceRoot":"","sources":["../src/create-scoper.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EACL,oBAAoB,EACpB,wBAAwB,GAEzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,KAAK,EAA2B,MAAM,kBAAkB,CAAC;AAYlE,SAAS,0BAA0B,CACjC,OAAgD;IAEhD,IAAI,OAAO,EAAE,UAAU;QAAE,OAAO,OAAO,CAAC;IACxC,MAAM,OAAO,GAAG,wBAAwB,EAAE,CAAC;IAC3C,OAAO;QACL,GAAG,OAAO;QACV,iBAAiB,EAAE;YACjB,GAAG,OAAO;YACV,GAAG,OAAO,EAAE,iBAAiB;YAC7B,UAAU,EAAE;gBACV,GAAG,OAAO,CAAC,UAAU;gBACrB,GAAG,OAAO,EAAE,iBAAiB,EAAE,UAAU;aAC1C;YACD,OAAO,EAAE;gBACP,GAAG,OAAO,CAAC,OAAO;gBAClB,GAAG,OAAO,EAAE,iBAAiB,EAAE,OAAO;aACvC;YACD,MAAM,EAAE;gBACN,GAAG,OAAO,CAAC,MAAM;gBACjB,GAAG,OAAO,EAAE,iBAAiB,EAAE,MAAM;aACtC;SACF;QACD,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,OAAO,CAAC,QAAQ;QAC/C,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe;KACrD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,UAA+B,EAAE;IAC5D,MAAM,GAAG,GACP,OAAO,CAAC,GAAG;QACX,yBAAyB,CACvB,OAAO,CAAC,SAAS,IAAI;YACnB,eAAe,EAAE,CAAC,oBAAoB,CAAC;SACxC,CACF,CAAC;IAEJ,IAAI,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAChC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,GACR,OAAO,CAAC,YAAY;YACpB,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,KAAK,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACnF,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;YAC7B,QAAQ,GAAG,IAAI,oBAAoB,CAAC,0BAA0B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAuB;QAC/B,GAAG;QACH,QAAQ;QACR,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;IAEF,OAAO;QACL,KAAK,EAAE,CACL,OAAoC,EACpC,OAAoC,EACpC,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC;QAClC,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/epistemic.d.ts

@@ -0,0 +1,4 @@
+import type { EvidenceItem, WarningItem } from "@x12i/memorix-scoper-contracts";
+export declare function validateEpistemicClaims(items: EvidenceItem[]): WarningItem[];
+export declare function assertEvidenceHasRefs(items: EvidenceItem[]): void;
+//# sourceMappingURL=epistemic.d.ts.map

package/dist/epistemic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"epistemic.d.ts","sourceRoot":"","sources":["../src/epistemic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAQhF,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,WAAW,EAAE,CAoB5E;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,IAAI,CAMjE"}

package/dist/epistemic.js

@@ -0,0 +1,34 @@
+const FORBIDDEN_PROMOTIONS = [
+    { from: /POLICY_CANDIDATE/i, to: /\bREACHABLE\b/i, code: "EPSTEMIC_POLICY_TO_REACHABLE" },
+    { from: /\bOBSERVED\b/i, to: /\bREACHABLE\b/i, code: "EPSTEMIC_OBSERVED_TO_REACHABLE" },
+    { from: /\bUNKNOWN\b/i, to: /\bNO_|IMPOSSIBLE|ABSENCE\b/i, code: "EPSTEMIC_UNKNOWN_NEGATIVE" },
+];
+export function validateEpistemicClaims(items) {
+    const warnings = [];
+    for (const item of items) {
+        const blob = `${item.assertionType} ${item.fact} ${JSON.stringify(item.value)}`;
+        for (const rule of FORBIDDEN_PROMOTIONS) {
+            if (rule.from.test(item.assertionType) && rule.to.test(blob)) {
+                warnings.push({
+                    code: rule.code,
+                    message: `Evidence ${item.evidenceId} appears to promote ${item.assertionType} incorrectly`,
+                });
+            }
+        }
+        if (/weak.?correlation/i.test(item.assertionType) && /\bidentity\b/i.test(blob)) {
+            warnings.push({
+                code: "EPSTEMIC_WEAK_CORRELATION_IDENTITY",
+                message: `Evidence ${item.evidenceId} must not treat weak correlation as identity`,
+            });
+        }
+    }
+    return warnings;
+}
+export function assertEvidenceHasRefs(items) {
+    for (const item of items) {
+        if (!item.ref || !item.evidenceId) {
+            throw new Error(`Evidence item missing provenance: ${item.evidenceId ?? "?"}`);
+        }
+    }
+}
+//# sourceMappingURL=epistemic.js.map

package/dist/epistemic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"epistemic.js","sourceRoot":"","sources":["../src/epistemic.ts"],"names":[],"mappings":"AAEA,MAAM,oBAAoB,GAAsD;IAC9E,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,8BAA8B,EAAE;IACzF,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,gCAAgC,EAAE;IACvF,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,6BAA6B,EAAE,IAAI,EAAE,2BAA2B,EAAE;CAC/F,CAAC;AAEF,MAAM,UAAU,uBAAuB,CAAC,KAAqB;IAC3D,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChF,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,OAAO,EAAE,YAAY,IAAI,CAAC,UAAU,uBAAuB,IAAI,CAAC,aAAa,cAAc;iBAC5F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,oCAAoC;gBAC1C,OAAO,EAAE,YAAY,IAAI,CAAC,UAAU,8CAA8C;aACnF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAqB;IACzD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,qCAAqC,IAAI,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/guard.d.ts

@@ -0,0 +1,3 @@
+export declare function enterScopeTrace(traceId: string): () => void;
+export declare function __resetScopeTracesForTests(): void;
+//# sourceMappingURL=guard.d.ts.map

package/dist/guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAIA,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,IAAI,CAQ3D;AAED,wBAAgB,0BAA0B,IAAI,IAAI,CAEjD"}

package/dist/guard.js

@@ -0,0 +1,15 @@
+import { ScoperError } from "@x12i/memorix-scoper-contracts";
+const activeTraces = new Set();
+export function enterScopeTrace(traceId) {
+    if (activeTraces.has(traceId)) {
+        throw new ScoperError("RECURSIVE_SCOPE_CALL", `Recursive memorix.scope call for trace ${traceId}`);
+    }
+    activeTraces.add(traceId);
+    return () => {
+        activeTraces.delete(traceId);
+    };
+}
+export function __resetScopeTracesForTests() {
+    activeTraces.clear();
+}
+//# sourceMappingURL=guard.js.map

package/dist/guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.js","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAE7D,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,CAAC,sBAAsB,EAAE,0CAA0C,OAAO,EAAE,CAAC,CAAC;IACrG,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,MAAM,UAAU,0BAA0B;IACxC,YAAY,CAAC,KAAK,EAAE,CAAC;AACvB,CAAC"}

package/dist/guard.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=guard.test.d.ts.map

package/dist/guard.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.test.d.ts","sourceRoot":"","sources":["../src/guard.test.ts"],"names":[],"mappings":""}