dsh-embedded-workbench 0.8.1 → 0.8.3

package/lib/index.js

@@ -74,6 +74,17 @@ function gateMessage(text) {
         source: { kind: 'plugin', plugin: GATE_PLUGIN_ID },
     });
 }
+function readSessionEvents(session) {
+    const source = session;
+    if (typeof source.snapshotEvents === 'function') {
+        const snapshot = source.snapshotEvents();
+        if (Array.isArray(snapshot))
+            return snapshot;
+    }
+    if (Array.isArray(source.events))
+        return source.events;
+    return [];
+}
 /**
  * Model-visible catalog entry (cordis_inspect_list / cordis_inspect_query):
  * lets the model read this plugin's runtime status without guessing. Mirrors
@@ -188,10 +199,10 @@ export function apply(ctx, config) {
  * first step that runs.
  */
 function gateInHistory(session) {
-    return session.events.some((event) => {
+    return readSessionEvents(session).some((event) => {
         if (event.type !== 'user/message')
             return false;
-        const source = event.data.source;
-        return source.kind === 'plugin' && source.plugin === GATE_PLUGIN_ID;
+        const source = event.data?.source;
+        return source?.kind === 'plugin' && source.plugin === GATE_PLUGIN_ID;
     });
 }

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "dsh-embedded-workbench",
-    "version": "0.8.1",
+    "version": "0.8.3",
     "description": "Embedded C/C++ firmware development toolbox — 4 agents, 8 skills covering FreeRTOS, ISR, NVM storage, Keil MDK, ARMCLANG, HardFault, state machines, architecture, LVGL patterns, and claim fact-checking. Ships a native DeepSeek Harness (dsh) bundle that injects the session-start gate into the first model step.",
     "type": "module",
     "main": "lib/index.js",
@@ -32,13 +32,15 @@
             "patch": "./cordis.patch.yml"
         },
         "compatibility": {
-            "dsh": "^0.1.0-rc.7 || ^0.1.1-rc.1 || ^0.1.2-alpha.2",
+            "dsh": "^0.1.0-rc.7 || ^0.1.1-rc.1 || ^0.1.2-alpha.2 || ^0.1.2-alpha.3 || ^0.1.2-alpha.4",
             "dshReleases": {
                 "0.1.0-rc.7": "compatible",
                 "0.1.0-rc.8": "compatible",
                 "0.1.1-rc.1": "compatible",
                 "0.1.1-rc.2": "compatible",
-                "0.1.2-alpha.2": "compatible"
+                "0.1.2-alpha.2": "compatible",
+                "0.1.2-alpha.3": "compatible",
+                "0.1.2-alpha.4": "compatible"
             },
             "profiles": [
                 "headless"

package/src/index.ts

@@ -91,6 +91,33 @@ function gateMessage(text: string): UserMessage {
   })
 }
 
+interface SessionEventLike {
+  type: string
+  data?: Record<string, unknown>
+}
+
+/**
+ * Minimum session-store surface this plugin reads. DSH 0.1.2-alpha.4 replaced
+ * the `Session.events` getter with on-demand reads (`seq`, `eventAt()`,
+ * `snapshotEvents()`); releases up to 0.1.2-alpha.3 expose `events` as the
+ * full log snapshot. Read through a structural union so one build serves every
+ * declared DSH release.
+ */
+interface SessionEventSource {
+  events?: readonly SessionEventLike[]
+  snapshotEvents?: () => readonly SessionEventLike[]
+}
+
+function readSessionEvents(session: Session): readonly SessionEventLike[] {
+  const source = session as unknown as SessionEventSource
+  if (typeof source.snapshotEvents === 'function') {
+    const snapshot = source.snapshotEvents()
+    if (Array.isArray(snapshot)) return snapshot
+  }
+  if (Array.isArray(source.events)) return source.events
+  return []
+}
+
 /**
  * Model-visible catalog entry (cordis_inspect_list / cordis_inspect_query):
  * lets the model read this plugin's runtime status without guessing. Mirrors
@@ -201,9 +228,9 @@ export function apply(ctx: Context, config: Config): void {
  * first step that runs.
  */
 function gateInHistory(session: Session): boolean {
-  return session.events.some((event) => {
+  return readSessionEvents(session).some((event) => {
     if (event.type !== 'user/message') return false
-    const source = event.data.source
-    return source.kind === 'plugin' && source.plugin === GATE_PLUGIN_ID
+    const source = event.data?.source as { kind?: string; plugin?: string } | undefined
+    return source?.kind === 'plugin' && source.plugin === GATE_PLUGIN_ID
   })
 }