dsh-logicprobe 0.5.4 → 0.5.6

package/lib/index.js

@@ -71,8 +71,19 @@ 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 [];
+}
 function lastApprovalPolicy(session) {
-    const events = session.events;
+    const events = readSessionEvents(session);
     for (let index = events.length - 1; index >= 0; index -= 1) {
         const event = events[index];
         if (event.type === 'approval/policy') {
@@ -82,7 +93,7 @@ function lastApprovalPolicy(session) {
     return undefined;
 }
 function planModeActive(session) {
-    const events = session.events;
+    const events = readSessionEvents(session);
     for (let index = events.length - 1; index >= 0; index -= 1) {
         const event = events[index];
         if (event.type === 'plan/mode')
@@ -282,10 +293,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-logicprobe",
-  "version": "0.5.4",
+  "version": "0.5.6",
   "description": "Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to state-machine verification (S1-S8/A1-A11) and data-model verification (DS/DA/DD) for behavioral claims. Supports before/after regression, idempotency/monotonic/sequence/leads-to/atomicity constraints, and concurrency risk mining. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.",
   "type": "module",
   "main": "lib/index.js",
@@ -29,13 +29,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

@@ -97,8 +97,30 @@ interface SessionEventLike {
   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 []
+}
+
 function lastApprovalPolicy(session: Session): 'ask' | 'never' | undefined {
-  const events = session.events as readonly SessionEventLike[]
+  const events = readSessionEvents(session)
   for (let index = events.length - 1; index >= 0; index -= 1) {
     const event = events[index]
     if (event.type === 'approval/policy') {
@@ -109,7 +131,7 @@ function lastApprovalPolicy(session: Session): 'ask' | 'never' | undefined {
 }
 
 function planModeActive(session: Session): boolean {
-  const events = session.events as readonly SessionEventLike[]
+  const events = readSessionEvents(session)
   for (let index = events.length - 1; index >= 0; index -= 1) {
     const event = events[index]
     if (event.type === 'plan/mode') return event.data?.active === true
@@ -307,9 +329,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
   })
 }