@sema-agent/core 7.54.1 → 7.56.0

package/wire-changes/mods-kernel@7.56.0.json

@@ -0,0 +1,303 @@
+{
+  "repo": "core",
+  "package": "@sema-agent/mods-kernel",
+  "version": "7.56.0",
+  "from": "8a19d73dd959f8d571fb81ff685838228bcaf16f",
+  "to": "v7.56.0",
+  "added": [
+    {
+      "name": "MappedOn",
+      "kind": "interface",
+      "tier": null,
+      "at": [
+        "src/index.ts:70",
+        "src/registration.ts:128"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModAnswerRanks",
+      "kind": "interface",
+      "tier": null,
+      "at": [
+        "src/index.ts:44",
+        "src/site-rules.ts:87"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModCallEntries",
+      "kind": "type",
+      "tier": null,
+      "at": [
+        "src/dispatch.ts:76",
+        "src/index.ts:83"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModCallEntry",
+      "kind": "type",
+      "tier": null,
+      "at": [
+        "src/dispatch.ts:75",
+        "src/index.ts:82"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModDispatchRun",
+      "kind": "interface",
+      "tier": null,
+      "at": [
+        "src/index.ts:45",
+        "src/site-rules.ts:72"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModEventMap",
+      "kind": "type",
+      "tier": null,
+      "at": [
+        "src/index.ts:66",
+        "src/registration.ts:102"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModEventPair",
+      "kind": "interface",
+      "tier": null,
+      "at": [
+        "src/index.ts:65",
+        "src/registration.ts:96"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModTypedHandler",
+      "kind": "type",
+      "tier": null,
+      "at": [
+        "src/index.ts:68",
+        "src/registration.ts:117"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "ModTypedNext",
+      "kind": "interface",
+      "tier": null,
+      "at": [
+        "src/index.ts:67",
+        "src/registration.ts:105"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "expandOnSide",
+      "kind": "function",
+      "tier": null,
+      "at": [
+        "src/events.ts:333",
+        "src/index.ts:14"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    },
+    {
+      "name": "failureRefuses",
+      "kind": "function",
+      "tier": null,
+      "at": [
+        "src/events.ts:53",
+        "src/index.ts:15"
+      ],
+      "criteriaCovered": false,
+      "breaking": false
+    }
+  ],
+  "removed": [],
+  "changed": [],
+  "narrowed": [],
+  "closedSetMembers": [
+    {
+      "set": "MOD_FAILURE_ANSWERS",
+      "at": [
+        "src/events.ts:49"
+      ],
+      "newSet": false,
+      "added": [
+        "refuse_until_run"
+      ],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    }
+  ],
+  "closedSetsUnreadable": [],
+  "typeKeys": [
+    {
+      "type": "ModBusInput",
+      "at": [
+        "src/dispatch.ts:129"
+      ],
+      "added": [
+        "entries"
+      ],
+      "addedDetail": [
+        {
+          "key": "entries",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ModDispatchOptions",
+      "at": [
+        "src/dispatch.ts:92"
+      ],
+      "added": [
+        "ranks"
+      ],
+      "addedDetail": [
+        {
+          "key": "ranks",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ModDispatchOutcome",
+      "at": [
+        "src/dispatch.ts:78"
+      ],
+      "added": [
+        "aborted.bottomStarted"
+      ],
+      "addedDetail": [
+        {
+          "key": "aborted.bottomStarted",
+          "optional": true
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    },
+    {
+      "type": "ModStation",
+      "at": [
+        "src/events.ts:94"
+      ],
+      "added": [
+        "budgetMs",
+        "call",
+        "call.pausesCallerBudget"
+      ],
+      "addedDetail": [
+        {
+          "key": "budgetMs",
+          "optional": true
+        },
+        {
+          "key": "call",
+          "optional": true
+        },
+        {
+          "key": "call.pausesCallerBudget",
+          "optional": false
+        }
+      ],
+      "addedRequired": [],
+      "removed": [],
+      "breaking": false,
+      "criteriaCovered": false
+    }
+  ],
+  "typeKeysUnreadableArms": [],
+  "typeKeysFlattenedCount": 1,
+  "signatures": [
+    {
+      "name": "ModAnswerCheck",
+      "at": [
+        "src/site-rules.ts:80"
+      ],
+      "from": [
+        "(answer: unknown, e: ModEventPayload, by: ModAnswerer, below: readonly unknown[]): string | undefined"
+      ],
+      "to": [
+        "(answer: unknown, e: ModEventPayload, by: ModAnswerer, below: readonly unknown[], run: ModDispatchRun): string | undefined"
+      ],
+      "changes": [
+        {
+          "aspect": "param",
+          "detail": "+required param `run: ModDispatchRun`",
+          "breaking": true
+        }
+      ],
+      "breaking": true,
+      "criteriaCovered": false
+    },
+    {
+      "name": "ModBus.dispatch",
+      "at": [
+        "src/dispatch.ts:126"
+      ],
+      "from": [
+        "(event: ModEventName, e: ModEventPayload, options: ModDispatchOptions): Promise<ModDispatchOutcome>"
+      ],
+      "to": [
+        "(event: ModEventName, e: object, options: ModDispatchOptions): Promise<ModDispatchOutcome>"
+      ],
+      "changes": [
+        {
+          "aspect": "param",
+          "detail": "param 2 `e` type changed, direction not read: [ModEventPayload -> object]",
+          "breaking": true,
+          "uncertain": true
+        }
+      ],
+      "uncertain": "param 2 `e` type changed, direction not read: [ModEventPayload -> object] — the direction of a type change is not read syntactically, so it is reported breaking: check whether existing call sites still type-check before writing the BREAKING line",
+      "breaking": true,
+      "criteriaCovered": false
+    }
+  ],
+  "declarationMoves": [],
+  "mintMoves": [],
+  "criteriaObserves": [],
+  "consumersHint": {
+    "cli": [
+      "MOD_FAILURE_ANSWERS",
+      "ModStation"
+    ],
+    "server": [],
+    "sdk": [],
+    "note": "scanned cli@3243e6e4 server@e1ea5bd2 sdk@74c3301 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it. Ledger files (**/docs/core-consumption/**, **/docs/wire-consumption/**, **/*LEDGER*.json) are not evidence of use — server: 1 name(s) matched ONLY in bookkeeping files and were set aside (ModStation)"
+  },
+  "breakingCount": 2,
+  "breakingItems": [
+    "signature changed: ModAnswerCheck — +required param `run: ModDispatchRun`",
+    "signature changed: ModBus.dispatch — param 2 `e` type changed, direction not read: [ModEventPayload -> object]"
+  ],
+  "toResolvedAt": "1a26c23dcf29dfb38869283fd9af0dd72f5712b0"
+}

package/dist/core/store-contracts/session-store-incarnation-contract.d.ts

@@ -1,39 +0,0 @@
-import { type SessionStore } from "../session.js";
-import { type ContractAssertionRunner } from "./contract-harness.js";
-/**
- * The cross-backend contract for the SESSION INCARNATION face ({@link SessionStore.incarnationOf}):
- * the token naming WHICH occupant holds a session id. vitest-free (see `contract-harness.ts`); mount it
- * on every store that implements `incarnationOf` — the face is optional on the interface, so this kit
- * is a separate opt-in kit rather than a skipped case inside another one (a skipped case is how an
- * unimplemented face reads green). A store WITHOUT the face fails every case loudly.
- *
- * The law the cases pin: the token is a cell of the session ROW, minted once when the row comes into
- * existence and answered unchanged by every later read of that row — a cache forgetting the session or
- * a second store over the same rows does not change it, deleting the row and handing the id out again
- * does, a fork is a new occupant. A `SessionRepo` author runs it through the bundled cache layer
- * (`make: () => new TtlSessionStore({ repo })`, `reopen: () => new TtlSessionStore({ repo })`).
- *
- * `make()` must return a FRESH, empty store each call; each case disposes the store it built.
- */
-export interface SessionStoreIncarnationContractHooks {
-    /** Delete `sessionId`'s session ROW through the backend's own deletion path (history and all), so
-     *  that a later `acquire(sessionId)` creates a new session under the same id. */
-    deleteSession: (store: SessionStore, sessionId: string) => Promise<void>;
-    /** A SECOND, independent store instance over the same rows as `store` — what a restarted process or
-     *  another replica constructs. The kit disposes it. */
-    reopen: (store: SessionStore) => SessionStore;
-    runAssertion?: ContractAssertionRunner;
-}
-export declare function sessionStoreIncarnationContract(make: () => SessionStore, hooks: SessionStoreIncarnationContractHooks): Promise<void>;
-/**
- * The incarnation cases themselves, registered through the caller's `run` (which builds and disposes the
- * store each case gets). One text for both kits that carry them: this one, and `sessionStoreContract`'s
- * incarnation group — a case changed here changes in both, so the two can never pin different laws.
- * Module-internal (not a package export).
- */
-export declare function registerSessionIncarnationCases(run: (name: string, fn: (store: SessionStore) => Promise<void>) => void, hooks: {
-    deleteSession: SessionStoreIncarnationContractHooks["deleteSession"];
-    /** This kit's own hook is synchronous; `sessionStoreContract`'s may also resolve later (a backend whose
-     *  restart must first release an exclusive lock). Awaiting a plain value changes nothing for this kit. */
-    reopen: (store: SessionStore) => SessionStore | Promise<SessionStore>;
-}): void;

package/dist/core/store-contracts/session-store-incarnation-contract.js

@@ -1,95 +0,0 @@
-import { strict as assert } from "node:assert";
-import { hasSessionFork } from "../session.js";
-import { beginContract } from "./contract-harness.js";
-const ID_A = "0198fa00-0000-7000-8000-0000000014a1";
-const ID_B = "0198fa00-0000-7000-8000-0000000014b2";
-const ID_NONE = "0198fa00-0000-7000-8000-0000000014ff";
-async function tokenOf(store, sessionId) {
-    assert.equal(typeof store.incarnationOf, "function", "this kit is for stores that implement SessionStore.incarnationOf");
-    return store.incarnationOf(sessionId);
-}
-function assertToken(token, what) {
-    assert.equal(typeof token, "string", `${what}: a session row created through this store must carry an incarnation`);
-    assert.notEqual(token, "", `${what}: an empty token names nobody`);
-}
-export async function sessionStoreIncarnationContract(make, hooks) {
-    const { run: runRaw, settle } = beginContract(hooks.runAssertion);
-    const run = (name, fn) => runRaw(name, async () => {
-        const store = make();
-        try {
-            await fn(store);
-        }
-        finally {
-            await store.dispose();
-        }
-    });
-    registerSessionIncarnationCases(run, hooks);
-    await settle();
-}
-export function registerSessionIncarnationCases(run, hooks) {
-    run("a session created through acquire carries a token, and every later read of the row answers the same one", async (store) => {
-        await store.acquire(ID_A);
-        const first = await tokenOf(store, ID_A);
-        assertToken(first, "after acquire");
-        await store.acquire(ID_A);
-        assert.equal(await tokenOf(store, ID_A), first, "a re-acquire reopens the same occupant");
-        await store.forget?.(ID_A);
-        assert.equal(await tokenOf(store, ID_A), first, "the token is the row's, not the cache's: forgetting the cached view must not change it");
-        await store.acquire(ID_A, { requireExisting: true });
-        assert.equal(await tokenOf(store, ID_A), first, "a require-existing reopen after the cache forgot it is still the same occupant");
-    });
-    run("the session acquire hands back carries the token incarnationOf answers — a run's memory seat reads the former", async (store) => {
-        const acquired = await store.acquire(ID_A);
-        const byId = await tokenOf(store, ID_A);
-        assertToken(byId, "by-id read");
-        assert.equal((await acquired.session.getMetadata()).incarnation, byId, "two faces of one row cell must agree, or the seat and the by-id read name two occupants");
-    });
-    run("a second store over the same rows (a restart, a replica) answers the same token — the token lives in the row, not in an instance", async (store) => {
-        await store.acquire(ID_A);
-        const first = await tokenOf(store, ID_A);
-        assertToken(first, "first instance");
-        const second = await hooks.reopen(store);
-        try {
-            assert.equal(await tokenOf(second, ID_A), first, "an instance-local token would name a different occupant after every restart");
-            await second.acquire(ID_A, { requireExisting: true });
-            assert.equal(await tokenOf(second, ID_A), first, "reopening the session on the second instance is still the same occupant");
-        }
-        finally {
-            await second.dispose();
-        }
-    });
-    run("two sessions never share a token, and an id with no session answers undefined (unknown — not an error, not a token)", async (store) => {
-        await store.acquire(ID_A);
-        const generated = await store.acquire();
-        const a = await tokenOf(store, ID_A);
-        const g = await tokenOf(store, generated.sessionId);
-        assertToken(a, "explicit id");
-        assertToken(g, "generated id");
-        assert.notEqual(a, g, "two sessions are two occupants");
-        assert.equal(await tokenOf(store, ID_NONE), undefined, "no row ⇒ unknown");
-    });
-    run("a deleted id handed out again is a NEW occupant: a fresh token, never the previous occupant's", async (store) => {
-        await store.acquire(ID_A);
-        const before = await tokenOf(store, ID_A);
-        assertToken(before, "first occupant");
-        await hooks.deleteSession(store, ID_A);
-        assert.equal(await tokenOf(store, ID_A), undefined, "a deleted row has no occupant");
-        await store.acquire(ID_A);
-        const after = await tokenOf(store, ID_A);
-        assertToken(after, "second occupant");
-        assert.notEqual(after, before, "the id was recycled — the previous occupant's records must not bind this one");
-    });
-    run("a fork is a new occupant: a fresh token, and the source keeps its own", async (store) => {
-        if (!hasSessionFork(store))
-            return;
-        await store.acquire(ID_B);
-        const source = await tokenOf(store, ID_B);
-        assertToken(source, "fork source");
-        const forkedId = await store.fork(ID_B);
-        assert.ok(forkedId !== null, "forking an existing session returns the fork's id");
-        const forked = await tokenOf(store, forkedId);
-        assertToken(forked, "fork");
-        assert.notEqual(forked, source, "a fork copies the history, never the occupant");
-        assert.equal(await tokenOf(store, ID_B), source, "forking does not touch the source's occupant");
-    });
-}