@sema-agent/mods-kernel 7.55.0 → 7.56.0

package/dist/registration.js

@@ -1,4 +1,4 @@
-import { describe, expandModPattern, MOD_SEATS, readOnSide, SEAT_TIER_TABLE, } from "./events.js";
+import { describe, expandOnSide, MOD_SEATS, SEAT_TIER_TABLE, } from "./events.js";
 import { resolveModBudgetMs } from "./budget.js";
 export const MODS_INVALID_CODE = "config.mods_invalid";
 export const MODS_REGISTRATION_REFUSED_CODE = "mods.registration_refused";
@@ -44,13 +44,12 @@ function screenOne(item, seat, side, report) {
         throw modsInvalid(`${name}: provenance is ${describe(item.provenance)}; it is a label (a string)`);
     const eventsBound = new Set();
     for (const p of uses.events)
-        for (const n of namesOf(p, name, "uses.events"))
+        for (const n of namesOf(p, name, "uses.events", side))
             eventsBound.add(n);
     const callsBound = new Set();
     for (const c of uses.calls)
-        for (const n of namesOf(c, name, "uses.calls"))
-            if (readOnSide(n, side))
-                callsBound.add(n);
+        for (const n of namesOf(c, name, "uses.calls", side))
+            callsBound.add(n);
     return {
         registration: item,
         name,
@@ -94,8 +93,8 @@ function stringList(v, name, field) {
     }
     return Object.freeze(out);
 }
-function namesOf(pattern, name, field) {
-    const expanded = expandModPattern(pattern);
+function namesOf(pattern, name, field, side) {
+    const expanded = expandOnSide(pattern, side);
     if ("refusal" in expanded)
         throw modsInvalid(`${name}: ${field}: ${expanded.refusal}`);
     return expanded.names;

package/dist/site-rules.d.ts

@@ -1,4 +1,5 @@
 import { type ModSeat, type ModTier } from "./events.js";
+export { sealedObjects } from "./receive.js";
 export type ProxyProbe = (value: object) => boolean;
 export declare const MODS_VALUE_DEPTH = 1000;
 export declare const MOD_FAILURE_CAUSES: readonly ["threw", "timeout", "violation", "reentry"];
@@ -17,7 +18,14 @@ export interface ModAnswerer {
 export declare const NEXT_IN_FLIGHT: Readonly<{
     inFlight: true;
 }>;
-export type ModAnswerCheck = (answer: unknown, e: ModEventPayload, by: ModAnswerer, below: readonly unknown[]) => string | undefined;
+export interface ModDispatchRun {
+    readonly bottomStarted: boolean;
+}
+export type ModAnswerCheck = (answer: unknown, e: ModEventPayload, by: ModAnswerer, below: readonly unknown[], run: ModDispatchRun) => string | undefined;
+export interface ModAnswerRanks {
+    readonly of: (answer: unknown) => number;
+    readonly top: number;
+}
 export type ModMatcher = Readonly<Record<string, string | number | boolean>>;
 export interface PinnedKeyBreak {
     readonly key: string;
@@ -35,7 +43,7 @@ export declare function pinnedHandOn(pinned: readonly string[], held: ModEventPa
 } | {
     readonly violation: string;
 };
-export declare function answerViolation(answer: unknown, check: ModAnswerCheck | undefined, e: ModEventPayload, by: ModAnswerer, below: readonly unknown[]): string | undefined;
+export declare function answerViolation(answer: unknown, check: ModAnswerCheck | undefined, e: ModEventPayload, by: ModAnswerer, below: readonly unknown[], run: ModDispatchRun): string | undefined;
 export declare function methodAnswerViolation(answer: unknown, _e?: ModEventPayload, _by?: ModAnswerer, below?: readonly unknown[]): string | undefined;
 export declare function matcherViolation(m: unknown): string | undefined;
 export declare function matcherMatches(m: ModMatcher | undefined, e: ModEventPayload): boolean;
@@ -49,8 +57,11 @@ export declare function receiveEvent(e: unknown): {
 } | {
     readonly refusal: string;
 };
-export declare function answerUpward(v: unknown): unknown;
-export declare function receiveAnswer(answer: unknown, engines: ReadonlySet<object>, isProxy?: ProxyProbe): {
+export declare function answerUpward(v: unknown, isProxy?: ProxyProbe): unknown;
+export interface ModHeldObjects {
+    has(value: object): boolean;
+}
+export declare function receiveAnswer(answer: unknown, held: ModHeldObjects, isProxy?: ProxyProbe): {
     readonly answer: unknown;
 } | {
     readonly refusal: string;

package/dist/site-rules.js

@@ -1,5 +1,6 @@
 import { describe } from "./events.js";
-import { describeFault, isPlainRecord, MODS_PAYLOAD_MODE, receive } from "./receive.js";
+import { describeFault, isPlainRecord, MODS_PAYLOAD_MODE, receive, sealedObjects } from "./receive.js";
+export { sealedObjects } from "./receive.js";
 export const MODS_VALUE_DEPTH = 1_000;
 const HANDED_MODE = Object.freeze({ ...MODS_PAYLOAD_MODE, depth: MODS_VALUE_DEPTH + 1, past: "refuse" });
 function payloadMode(isProxy) {
@@ -190,13 +191,13 @@ function rehomed(pinned, held, passed, homes, engines) {
         Object.freeze(to);
     return twins.get(passed);
 }
-export function answerViolation(answer, check, e, by, below) {
+export function answerViolation(answer, check, e, by, below, run) {
     if (answer === undefined)
         return "returned no answer (return next(e) to pass the event on)";
     if (check === undefined)
         return undefined;
     try {
-        return check(answer, e, by, below);
+        return check(answer, e, by, below, run);
     }
     catch {
         return "returned an answer the station cannot read";
@@ -247,50 +248,31 @@ export function receiveEvent(e) {
     const r = receiveRecord(e, MODS_PAYLOAD_MODE);
     return "refusal" in r ? { refusal: r.refusal } : r;
 }
-export function answerUpward(v) {
-    if (typeof v !== "object" || v === null || Object.isFrozen(v))
+export function answerUpward(v, isProxy) {
+    if (typeof v !== "object" || v === null)
         return v;
-    if (Array.isArray(v) && Object.getPrototypeOf(v) === Array.prototype)
-        return Object.freeze([...v]);
-    return isPlainRecord(v) ? Object.freeze({ ...v }) : v;
+    const sealed = sealedObjects([v]);
+    if (sealed.has(v))
+        return v;
+    const r = receive(v, payloadMode(isProxy), sealed);
+    if (!r.ok)
+        throw new TypeError(`the chain's bottom answered ${faultClause(r.fault)}`);
+    return r.value;
 }
-export function receiveAnswer(answer, engines, isProxy) {
-    const r = receive(answer, payloadMode(isProxy), engines);
-    return r.ok ? { answer: r.value } : { refusal: `answered ${faultClause(r.fault)}` };
+function answerMode(isProxy) {
+    return Object.freeze({ ...payloadMode(isProxy), others: "refuse" });
 }
-const DETACHED_MODE = Object.freeze({ accessors: "refuse", depth: Infinity, others: "as-is" });
+export function receiveAnswer(answer, held, isProxy) {
+    const r = receive(answer, answerMode(isProxy), held);
+    if (r.ok)
+        return { answer: r.value };
+    const notData = r.fault.kind === "not-data" || r.fault.kind === "cycle";
+    return { refusal: `answered ${faultClause(r.fault)}${notData ? " (an answer is data: strings, numbers, booleans, null, plain objects and arrays)" : ""}` };
+}
+const DETACHED_MODE = Object.freeze({ accessors: "refuse", depth: Infinity, others: "as-is", leaves: "cloned" });
 export function detachedCopy(e) {
     const r = receive(e, DETACHED_MODE);
     if (!r.ok)
         throw new Error(`the observer's copy of the event could not be made: ${describeFault(r.fault)}`);
-    const copy = r.value;
-    const clones = new Map();
-    const walked = new Set([copy]);
-    const stack = [copy];
-    while (stack.length > 0) {
-        const node = stack.pop();
-        for (const k of Object.keys(node)) {
-            const v = node[k];
-            if (typeof v !== "object" || v === null)
-                continue;
-            if (isPlainRecord(v) || (Array.isArray(v) && Object.getPrototypeOf(v) === Array.prototype)) {
-                if (!walked.has(v)) {
-                    walked.add(v);
-                    stack.push(v);
-                }
-                continue;
-            }
-            if (!clones.has(v)) {
-                let own = v;
-                try {
-                    own = structuredClone(v);
-                }
-                catch {
-                }
-                clones.set(v, own);
-            }
-            Object.defineProperty(node, k, { value: clones.get(v), enumerable: true, writable: true, configurable: true });
-        }
-    }
-    return copy;
+    return r.value;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/mods-kernel",
-  "version": "7.55.0",
+  "version": "7.56.0",
   "private": false,
   "description": "The sema mods kernel: one extension bus (registration, admission, chain, failure and budget law) shared by the engine and the shell. Zero dependencies.",
   "type": "module",