dsh-logicprobe 0.6.7 → 0.6.8

package/lib/types/index.d.ts

@@ -1,46 +1,54 @@
-/**
- * logicprobe — DeepSeek Harness native plugin for the Logic Probe toolbox.
- * Injects the session-start gate text (claim-verification doctrine, 1% Rule,
- * Red Flags, proactive suggestion) into the first model step of every agent
- * session, mirroring the SessionStart hook the Claude Code plugin installs.
- * The skill ships in this package's `skills/` directory and is registered at
- * apply time into dsh's `ctx.skills` registry through the standard filesystem
- * provider, so it appears in every session catalog without a manual copy step.
- *
- * Injection listens on agent/pre-step and appends the gate to the FIRST
- * model step that runs, once per session (guarded by the session's durable
- * history). Session-start inbox injection was dropped: a blank-session preset
- * switch (agentPreset.select -> recompose) can clear the inbox before the
- * first step, losing the gate for the whole session. The pre-step decision is
- * the durable path - anchored/bootstrap presets that strip first-step injected
- * reminders (skill catalog, AGENTS.md, gate plugins) simply defer this message
- * to the first step after their promotion, and the history guard re-injects it
- * there. The default gate text is the dsh-native adaptation of
- * `hooks/session-start-content.md`: behavior rules
- * (1% Rule / Red Flags / proactive suggestion) stay in sync, while
- * presentation is adapted to dsh's native skill catalog — the trigger list
- * lives in the skill description, not duplicated in the gate. Deployments
- * override via Config.
- *
- * @module logicprobe-dsh
- */
-import type { Context } from '@deepseek-ai/cordis';
-import z from '@deepseek-ai/schemastery';
-export declare const name = "logicprobe";
-export declare const inject: string[];
-export type InteractionMode = 'ask' | 'auto' | 'follow-approval';
-export interface Config {
-    enabled: boolean;
-    gateContent: string;
-    interaction: InteractionMode;
-}
-export declare const Config: z<Schemastery.ObjectS<{
-    enabled: z<boolean, boolean>;
-    gateContent: z<string, string>;
-    interaction: z<"ask" | "auto" | "follow-approval", "ask" | "auto" | "follow-approval">;
-}>, Schemastery.ObjectT<{
-    enabled: z<boolean, boolean>;
-    gateContent: z<string, string>;
-    interaction: z<"ask" | "auto" | "follow-approval", "ask" | "auto" | "follow-approval">;
-}>>;
-export declare function apply(ctx: Context, config: Config): void;
+/**
+ * logicprobe — DeepSeek Harness native plugin for the Logic Probe toolbox.
+ * Injects the session-start gate text (claim-verification doctrine, 1% Rule,
+ * Red Flags, proactive suggestion) into the first model step of every agent
+ * session, mirroring the SessionStart hook the Claude Code plugin installs.
+ * The skill ships in this package's `skills/` directory and is registered at
+ * apply time into dsh's `ctx.skills` registry through the standard filesystem
+ * provider, so it appears in every session catalog without a manual copy step.
+ *
+ * Injection listens on agent/pre-step and appends the gate to the FIRST
+ * model step that runs, once per session (guarded by the session's durable
+ * history). Session-start inbox injection was dropped: a blank-session preset
+ * switch (agentPreset.select -> recompose) can clear the inbox before the
+ * first step, losing the gate for the whole session. The pre-step decision is
+ * the durable path - anchored/bootstrap presets that strip first-step injected
+ * reminders (skill catalog, AGENTS.md, gate plugins) simply defer this message
+ * to the first step after their promotion, and the history guard re-injects it
+ * there. The default gate text is the dsh-native adaptation of
+ * `hooks/session-start-content.md`: behavior rules
+ * (1% Rule / Red Flags / proactive suggestion) stay in sync, while
+ * presentation is adapted to dsh's native skill catalog — the trigger list
+ * lives in the skill description, not duplicated in the gate. Deployments
+ * override via Config.
+ *
+ * @module logicprobe-dsh
+ */
+import type { Context } from '@deepseek-ai/cordis';
+import z from '@deepseek-ai/schemastery';
+import type { ContextFormed } from '@deepseek-ai/dsh-llm';
+declare module '@deepseek-ai/dsh-llm' {
+    interface MessageSourceMap {
+        'plugin:logicprobe': {
+            kind: 'plugin:logicprobe';
+        } & ContextFormed;
+    }
+}
+export declare const name = "logicprobe";
+export declare const inject: string[];
+export type InteractionMode = 'ask' | 'auto' | 'follow-approval';
+export interface Config {
+    enabled: boolean;
+    gateContent: string;
+    interaction: InteractionMode;
+}
+export declare const Config: z<Schemastery.ObjectS<{
+    enabled: z<boolean, boolean>;
+    gateContent: z<string, string>;
+    interaction: z<"ask" | "auto" | "follow-approval", "ask" | "auto" | "follow-approval">;
+}>, Schemastery.ObjectT<{
+    enabled: z<boolean, boolean>;
+    gateContent: z<string, string>;
+    interaction: z<"ask" | "auto" | "follow-approval", "ask" | "auto" | "follow-approval">;
+}>>;
+export declare function apply(ctx: Context, config: Config): void;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-logicprobe",
-  "version": "0.6.7",
+  "version": "0.6.8",
   "description": "Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to state-machine verification (S1-S8/A1-A12, including budget/worst-case path-cost checks) 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,7 +29,7 @@
       "patch": "./cordis.patch.yml"
     },
     "compatibility": {
-      "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 || ^0.1.2-alpha.5 || ^0.1.2-rc.1 || ^0.1.3-alpha.1 || ^0.1.3-alpha.2 || ^0.1.5-alpha.1 || ^0.1.5-rc.1 || ^0.1.5-alpha.2 || ^0.1.5-rc.2 || ^0.1.6-alpha.1 || ^0.1.6-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 || ^0.1.2-alpha.5 || ^0.1.2-rc.1 || ^0.1.3-alpha.1 || ^0.1.3-alpha.2 || ^0.1.5-alpha.1 || ^0.1.5-rc.1 || ^0.1.5-alpha.2 || ^0.1.5-rc.2 || ^0.1.6-alpha.1 || ^0.1.6-alpha.2 || ^0.1.7-alpha.1",
       "dshReleases": {
         "0.1.0-rc.7": "compatible",
         "0.1.0-rc.8": "compatible",
@@ -47,7 +47,8 @@
         "0.1.5-rc.1": "compatible",
         "0.1.5-rc.2": "compatible",
         "0.1.6-alpha.1": "compatible",
-        "0.1.6-alpha.2": "compatible"
+        "0.1.6-alpha.2": "compatible",
+        "0.1.7-alpha.1": "compatible"
       },
       "profiles": [
         "headless"
@@ -85,7 +86,7 @@
     "@deepseek-ai/dsh-timeout": "^0.1.0-rc.6",
     "@deepseek-ai/dsh-tools": "^0.1.0-rc.6",
     "@deepseek-ai/schemastery": "^3.18.2",
-    "@types/node": "^26.5.0",
+    "@types/node": "^26.5.1",
     "typescript": "^7.0.2"
   },
   "author": {