@vincemakes/kiso-core 0.42.1 → 0.42.3

package/dist/kernel/compaction.d.ts

@@ -2,7 +2,7 @@
  * L2 — context-economy primitives, the MECHANICAL half.
  *
  * The kernel's compaction policy is identity preservation, not summary
- * (mauri ADR-0007): keep the message SHELL (id, role, position), replace
+ * (the predecessor's ADR-0007): keep the message SHELL (id, role, position), replace
  * the content with a marker, zero LLM calls. A summary is a NEW message; it
  * never rewrites an old one. Messages are immutable (ADR-0002) — "clearing"
  * is append, not mutation.
@@ -21,7 +21,7 @@ import type { Message } from "../protocol/messages.js";
 /**
  * Rough token estimate (chars/4 + structural overhead). Calibration-free on
  * purpose: context economy only needs a stable MONOTONE proxy, not an exact
- * count — the threshold absorbs the error (mauri ADR-0007). The proxy's
+ * count — the threshold absorbs the error (the predecessor's ADR-0007). The proxy's
  * three-word contract, and the pins that hold it, are
  * packages/core/tests/sc1b-estimator.test.ts.
  */

package/dist/kernel/compaction.js

@@ -2,7 +2,7 @@
  * L2 — context-economy primitives, the MECHANICAL half.
  *
  * The kernel's compaction policy is identity preservation, not summary
- * (mauri ADR-0007): keep the message SHELL (id, role, position), replace
+ * (the predecessor's ADR-0007): keep the message SHELL (id, role, position), replace
  * the content with a marker, zero LLM calls. A summary is a NEW message; it
  * never rewrites an old one. Messages are immutable (ADR-0002) — "clearing"
  * is append, not mutation.
@@ -64,7 +64,7 @@ function textTokens(text) {
 /**
  * Rough token estimate (chars/4 + structural overhead). Calibration-free on
  * purpose: context economy only needs a stable MONOTONE proxy, not an exact
- * count — the threshold absorbs the error (mauri ADR-0007). The proxy's
+ * count — the threshold absorbs the error (the predecessor's ADR-0007). The proxy's
  * three-word contract, and the pins that hold it, are
  * packages/core/tests/sc1b-estimator.test.ts.
  */

package/dist/kernel/hooks.d.ts

@@ -1,5 +1,5 @@
 /**
- * L2 — the hook vocabulary: 3 phases + lifecycle (mauri ADR-0006).
+ * L2 — the hook vocabulary: 3 phases + lifecycle (the predecessor's ADR-0006).
  *
  * ReAct's loop has exactly three model↔world interfaces — assemble (feed the
  * model), model (the model speaks), execute (the model makes the world work)
@@ -9,7 +9,7 @@
  *
  * Payload types are SHARED between fire-site and read-site: a hook author
  * cannot drift a key name, because the keys do not exist — the payload is a
- * typed object (the mauri payload-contract discipline, ADR-0017, as a
+ * typed object (the predecessor's payload-contract discipline, ADR-0017, as a
  * compile-time fact instead of a written rule).
  */
 import type { Event } from "../protocol/events.js";

package/dist/kernel/hooks.js

@@ -1,5 +1,5 @@
 /**
- * L2 — the hook vocabulary: 3 phases + lifecycle (mauri ADR-0006).
+ * L2 — the hook vocabulary: 3 phases + lifecycle (the predecessor's ADR-0006).
  *
  * ReAct's loop has exactly three model↔world interfaces — assemble (feed the
  * model), model (the model speaks), execute (the model makes the world work)
@@ -9,7 +9,7 @@
  *
  * Payload types are SHARED between fire-site and read-site: a hook author
  * cannot drift a key name, because the keys do not exist — the payload is a
- * typed object (the mauri payload-contract discipline, ADR-0017, as a
+ * typed object (the predecessor's payload-contract discipline, ADR-0017, as a
  * compile-time fact instead of a written rule).
  */
 /** Every hook optional; unset = pass-through. The kernel runs with this. */

package/dist/kernel/loop.js

@@ -112,6 +112,15 @@ export async function* loop(config) {
         return full;
     };
     const aborted = () => signal?.aborted === true;
+    /** append → observe → yield, for a producer with NOTHING between the
+     *  three (never the execution queue's ack, the stream's launch, or a
+     *  producer without an observer). */
+    async function* emit(e) {
+        const full = log.append(e);
+        if (hooks.onEvent)
+            await hooks.onEvent(full, {}).catch(() => { });
+        yield full;
+    }
     // Assemble: the incoming user message may be rewritten or vetoed.
     // C group: the outcome is PERSISTED as a user_input_replaced event — the
     // projection renders the final replacement AT THE INPUT'S POSITION (or
@@ -502,12 +511,8 @@ export async function* loop(config) {
         // ── ADR-0055 (A1b): the compaction point, before every request ──
         if (config.compact !== undefined) {
             const added = await config.compact(log.all, messages, overflow === null ? "request" : "overflow");
-            for (const e of added) {
-                const full = log.append(e);
-                if (hooks.onEvent)
-                    await hooks.onEvent(full, {}).catch(() => { });
-                yield full;
-            }
+            for (const e of added)
+                yield* emit(e);
             if (overflow !== null && added.length === 0) {
                 yield await terminal({ kind: "error", error: overflow });
                 return;
@@ -573,12 +578,8 @@ export async function* loop(config) {
             yield* drainSettled();
             if (launchError !== null)
                 throw launchError;
-            if (log.lastSeq > turnStart && !unsafeStartedInDraft()) {
-                const marker = log.append({ type: "model_output_abandoned", voidFromSeq: turnStart, reason });
-                if (hooks.onEvent)
-                    await hooks.onEvent(marker, {}).catch(() => { });
-                yield marker;
-            }
+            if (log.lastSeq > turnStart && !unsafeStartedInDraft())
+                yield* emit({ type: "model_output_abandoned", voidFromSeq: turnStart, reason });
         };
         while (true) {
             // Area 4: the backoff is abortable — a cancel landing during a
@@ -867,11 +868,8 @@ export async function* loop(config) {
             return;
         }
         if (voided === null && heldStop !== null) {
-            const full = log.append(heldStop);
-            if (hooks.onEvent)
-                await hooks.onEvent(full, {}).catch(() => { });
-            committed = true;
-            yield full;
+            committed = true; // a local flag; set before the emit, read only after it (the observer cannot throw)
+            yield* emit(heldStop);
         }
         settleTurn();
         // A turn with no tool calls ends on its OWN stop reason (Phase B,
@@ -969,6 +967,20 @@ function terminalForStop(reason) {
             };
     }
 }
+/** The permission_decided event for an invocation — the fields in the
+ *  order the log has always written them. The CALLER decides: approved or
+ *  not, the reason, the speaker; this builds, never classifies. */
+function decidedEvent(call, decisionId, approved, reason, decidedBy) {
+    return {
+        type: "permission_decided",
+        decisionId,
+        callId: call.callId,
+        invocationSeq: call.seq,
+        decision: approved ? "approved" : "denied",
+        ...(reason !== undefined ? { reason } : {}),
+        ...(decidedBy !== undefined ? { decidedBy } : {}),
+    };
+}
 /** The tool_result event for a call — the shared shape (executionId rides
  *  it as the durable correlation, round 5; invocationSeq = the framework
  *  identity, R-E 0.1.43). */
@@ -1101,17 +1113,7 @@ async function decideCall(call, registry, hooks, ctx, log, resolveApproval, reso
             // allow/deny are PERSISTED FACTS (decidedBy = a SPEAKING
             // extension — never the chain head on behalf of a non-speaker)
             // — never a human pause.
-            push({
-                type: "permission_decided",
-                decisionId: nextDecisionId(),
-                callId: call.callId,
-                invocationSeq: call.seq,
-                decision: chainVerdict.action === "allow" ? "approved" : "denied",
-                ...(chainVerdict.action === "deny" && chainVerdict.reason !== undefined
-                    ? { reason: chainVerdict.reason }
-                    : {}),
-                decidedBy: chainVerdict.decidedBy,
-            });
+            push(decidedEvent(call, nextDecisionId(), chainVerdict.action === "allow", chainVerdict.action === "deny" ? chainVerdict.reason : undefined, chainVerdict.decidedBy));
         }
     }
     if (chainVerdict?.action === "deny") {
@@ -1197,14 +1199,7 @@ async function humanPause(call, decisionId, hooks, log, resolveApproval, resolve
             // its honest aborted terminal.
             const verdict = resolveApprovalVerdict?.(decisionId);
             if (verdict !== undefined) {
-                push({
-                    type: "permission_decided",
-                    decisionId,
-                    callId: call.callId,
-                    invocationSeq: call.seq,
-                    decision: verdict ? "approved" : "denied",
-                    ...(verdict ? {} : { reason: "denied by user" }),
-                });
+                push(decidedEvent(call, decisionId, verdict, verdict ? undefined : "denied by user"));
             }
         }
         throw err;
@@ -1213,16 +1208,8 @@ async function humanPause(call, decisionId, hooks, log, resolveApproval, resolve
     // write-ahead BEFORE waking the resolver (Area 2): if it already
     // landed in the log, this is the same decision, not a duplicate.
     if (log.all.find((e) => e.type === "permission_decided" && e.decisionId === decisionId) === undefined) {
-        push({
-            type: "permission_decided",
-            decisionId,
-            callId: call.callId, // binds the decision to the invocation (B group)
-            invocationSeq: call.seq,
-            decision: finalDecision.action === "allow" ? "approved" : "denied",
-            ...(finalDecision.action === "deny" && finalDecision.reason !== undefined
-                ? { reason: finalDecision.reason }
-                : {}),
-        });
+        // callId binds the decision to the invocation (B group)
+        push(decidedEvent(call, decisionId, finalDecision.action === "allow", finalDecision.action === "deny" ? finalDecision.reason : undefined));
     }
     return finalDecision;
 }

package/dist/kernel/permission.d.ts

@@ -1,5 +1,5 @@
 /**
- * L2 — permission as a negotiation, not a gate (mauri ADR-0002).
+ * L2 — permission as a negotiation, not a gate (the predecessor's ADR-0002).
  *
  * A permission decision is a dialog step with state and an upgrade path:
  * allow one call, deny with a reason fed back to the model, or defer to a

package/dist/kernel/permission.js

@@ -1,5 +1,5 @@
 /**
- * L2 — permission as a negotiation, not a gate (mauri ADR-0002).
+ * L2 — permission as a negotiation, not a gate (the predecessor's ADR-0002).
  *
  * A permission decision is a dialog step with state and an upgrade path:
  * allow one call, deny with a reason fed back to the model, or defer to a

package/dist/protocol/messages.d.ts

@@ -10,7 +10,7 @@
  * carries images. Forcing every caller into the array shape to serve the
  * 5% that need vision is a tax paid on every line of product code.
  *
- * See ADR-0003 (sum type). The tool contract's record is mauri ADR-0008 —
+ * See ADR-0003 (sum type). The tool contract's record is the predecessor's ADR-0008 —
  * the PREDECESSOR series, cited the same way in kernel/hooks.ts and
  * kernel/mode.ts: kiso's own numbers 0006-0019 were NEVER assigned
  * (docs/adrs/README.md), so an unprefixed "ADR-0008" sends a reader to a

package/dist/protocol/messages.js

@@ -10,7 +10,7 @@
  * carries images. Forcing every caller into the array shape to serve the
  * 5% that need vision is a tax paid on every line of product code.
  *
- * See ADR-0003 (sum type). The tool contract's record is mauri ADR-0008 —
+ * See ADR-0003 (sum type). The tool contract's record is the predecessor's ADR-0008 —
  * the PREDECESSOR series, cited the same way in kernel/hooks.ts and
  * kernel/mode.ts: kiso's own numbers 0006-0019 were NEVER assigned
  * (docs/adrs/README.md), so an unprefixed "ADR-0008" sends a reader to a

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@vincemakes/kiso-core",
-	"version": "0.42.1",
+	"version": "0.42.3",
 	"description": "kiso core \u2014 protocol, event log, loop, hooks, modes, permissions, compaction, delivery truth. The 2,000-line kernel at the bottom of the kiso framework.",
 	"type": "module",
 	"license": "MIT",
@@ -33,7 +33,7 @@
 		"openai"
 	],
 	"devDependencies": {
-		"@vincemakes/kiso-evals": "0.42.1",
+		"@vincemakes/kiso-evals": "0.42.3",
 		"@types/node": "^26.1.2",
 		"typescript": "^5.7.2",
 		"vitest": "^3.0.0"