dsh-embedded-workbench 0.8.12 → 0.9.0

package/lib/index.js

@@ -1,215 +1,204 @@
-/**
- * embedded-workbench — DeepSeek Harness native plugin for the Embedded
- * Workbench toolbox. Injects the session-start gate text (1% Rule, Red
- * Flags, Plan Verification Gate, skills roster) into the first model step
- * of every agent session, mirroring the SessionStart hook the Claude Code
- * plugin installs. The 8 skills ship in this package's `skills/` directory
- * and are registered at apply time into dsh's `ctx.skills` registry through
- * the standard filesystem provider, so they appear 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 / Plan Verification Gate) stay in sync, while
- * presentation is adapted to dsh's native skill catalog — no roster table
- * (the model sees skills in its catalog) and no install instructions (those
- * live in `.dsh/INSTALL.md`). Deployments override via Config.
- *
- * @module embedded-workbench-dsh
- */
-import { fileURLToPath } from 'node:url';
-import z from '@deepseek-ai/schemastery';
-import { createUserMessage } from '@deepseek-ai/dsh-llm';
-import { FileSystemSkillProvider } from '@deepseek-ai/dsh-skill-filesystem';
-export const name = 'embedded-workbench';
-// Skills are contributed through the registry service, which dsh-base always
-// mounts before bundle rows such as this one apply.
-export const inject = ['skills'];
-// Absolute path of the package's shipped skills directory. `lib/index.js`
-// lives one level below the package root, so `../skills` from the module URL
-// lands on `<package>/skills` regardless of where the package was installed.
-const SKILLS_DIR = fileURLToPath(new URL('../skills', import.meta.url));
-const GATE_PLUGIN_ID = 'embedded-workbench';
-/** Producer-owned message source kind declared in `MessageSourceMap` above. */
-const GATE_SOURCE_KIND = 'plugin:embedded-workbench';
+/**
+ * embedded-workbench — DeepSeek Harness native plugin for the Embedded
+ * Workbench toolbox. The 8 skills ship in this package's `skills/` directory
+ * and are registered at apply time into dsh's `ctx.skills` registry through
+ * the standard filesystem provider, so they appear in every session catalog
+ * without a manual copy step. The plugin also folds a short gate text into the
+ * first model step of every agent session, mirroring the SessionStart hook the
+ * Claude Code plugin installs.
+ *
+ * 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`: the behavior rules stay in sync (the Plan
+ * Verification Gate and the context-budget rule), while presentation is adapted
+ * to dsh's native skill catalog — no roster table (the model sees skills in its
+ * catalog) and no install instructions (those live in `.dsh/INSTALL.md`). The
+ * payload is deliberately small: it carries the verification gate and the
+ * budget rule, not the 1% Rule / Red Flags enforcement scaffolding, which
+ * measurably pushes capable models into rigid phases and unnecessary fan-out.
+ * Deployments override via Config.
+ *
+ * @module embedded-workbench-dsh
+ */
+import { fileURLToPath } from 'node:url';
+import z from '@deepseek-ai/schemastery';
+import { createUserMessage } from '@deepseek-ai/dsh-llm';
+import { FileSystemSkillProvider } from '@deepseek-ai/dsh-skill-filesystem';
+export const name = 'embedded-workbench';
+// Skills are contributed through the registry service, which dsh-base always
+// mounts before bundle rows such as this one apply.
+export const inject = ['skills'];
+// Absolute path of the package's shipped skills directory. `lib/index.js`
+// lives one level below the package root, so `../skills` from the module URL
+// lands on `<package>/skills` regardless of where the package was installed.
+const SKILLS_DIR = fileURLToPath(new URL('../skills', import.meta.url));
+const GATE_PLUGIN_ID = 'embedded-workbench';
+/** Producer-owned message source kind declared in `MessageSourceMap` above. */
+const GATE_SOURCE_KIND = 'plugin:embedded-workbench';
 const DEFAULT_GATE_CONTENT = `<EXTREMELY_IMPORTANT>
-Plugin embedded-workbench is active. You have embedded C/C++ firmware development skills — names and "Use when" triggers are in your skill catalog; load them with the skill tool. No custom agents in dsh: use the native subagent tooling for parallel work.
+Plugin embedded-workbench is active: embedded C/C++ firmware development skills are in your skill catalog. Load the one whose "Use when" matches before substantial work, with the skill tool.
 
-**1% Rule**: If there is even a 1% chance a skill applies to your task, invoke it before responding. If the skill turns out to be wrong for the situation, discard it and move on. The cost of loading a skill is trivial compared to the cost of a preventable mistake.
+**Plan Verification Gate**: before calling exit_plan_mode (or presenting a plan for approval), load the logicprobe skill — or the built-in fact-check skill when logicprobe is not installed — and append a "## Plan Verification" block to the plan. If you verify with neither, tell the user the plan is unverified before asking for approval; a silent skip is not an option. "This change is too small to check" and "I already read the code, the paths are right" are the two rationalizations this gate exists to catch.
 
-**Red Flags** — if you think any of these, STOP. You are rationalizing:
+**Context budget**: no token meter is visible to you, so never guess one. Act on what you can see — a pruned or spilled tool result means stop pulling it in whole, and a compaction checkpoint means move durable state into files. When a large step (many sources, a long sweep, several independent areas) shows no such signal, ask the user what to spend context on rather than deciding silently. If nobody can answer, take the reversible option and say so. When you do delegate, prefer \`subagent_fork\` over \`subagent\` if the sub-agent needs context you already built — its summary still lands here.
 
-| You think | Reality |
-|-----------|---------|
-| "This is just a quick fix" | Quick fixes break things. A 3-line design check costs 30 seconds. |
-| "I already understand this code" | You are looking at one file. The blast radius may span 5 modules. |
-| "The skill is overkill for this" | Simple things become complex. Check for skills. |
-| "Let me explore the codebase first" | Skills tell you HOW to explore. Check first. |
-| "I can just read the file directly" | Skills have patterns and pitfalls you will not discover by reading. |
-| "I remember this skill content" | Skills evolve. Always load the current version. |
-| "I've explored enough, time to exit plan mode" | The exit_plan_mode tool is the verification gate. Have you loaded the logicprobe skill — or, if it is not installed, the built-in fallback fact-check skill? Every plan must pass this gate before exit. |
-| "This plan is too simple for logicprobe" | logicprobe auto-classifies depth; the fallback fact-check verifies every claim regardless. You don't decide. |
-| "I already read the code, I know the file paths are correct" | Load the logicprobe skill or the fallback fact-check skill, verify each claim, append the "## Plan Verification" block. |
-
-**Plan Verification Gate**: Before calling exit_plan_mode (or presenting a plan for approval), load the logicprobe skill (a separate plugin) — or, if it is missing from your skill catalog, load the built-in fallback fact-check skill for claim-by-claim verification, tell the user that behavioral/model claims degrade to manual confirmation, and recommend installing logicprobe. If neither is loaded, inform the user "此计划未经核查，是否需要我先做事实核查？" Silent skip is not an option.
-
-To load workflows and engineering policies: load the embedded-workbench skill.
-
-**Proactive features**: When you see state machines, protocol refactoring, behavioral claims ("always"/"never"), or multi-module tasks — suggest verification (logicprobe, or the built-in fact-check fallback if logicprobe is not installed), adversarial probing, or parallel subagents BEFORE the user asks. Most users do not know these exist.
-</EXTREMELY_IMPORTANT>`;
-export const Config = z.object({
-    enabled: z.boolean().default(true),
-    gateContent: z.string().default(DEFAULT_GATE_CONTENT),
-});
-function gateMessage(text) {
-    return createUserMessage({
-        content: [{ type: 'text', text }],
-        // `form` omitted — an undeclared context is the documented default.
-        source: { kind: GATE_SOURCE_KIND },
-    });
-}
-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
- * the registration pattern of the official dsh-tool-cordis host providers.
- */
-function inspectProvider(config) {
-    return {
-        manifest: {
-            id: 'embedded-workbench',
-            description: 'Session-start gate injection for the Embedded Workbench toolbox — folds the 1% Rule / Red Flags / Plan Verification Gate text into the first model step of every agent session.',
-            methods: [
-                {
-                    name: 'status',
-                    description: 'Read whether the gate injection is active and how large the injected gate text is.',
-                    inputSchema: {
-                        type: 'object',
-                        properties: {},
-                        additionalProperties: false,
-                    },
-                    outputSchema: {
-                        type: 'object',
-                        description: 'Gate-injection plugin status.',
-                        properties: {
-                            enabled: { type: 'boolean', description: 'Whether the gate folds into the first model step.' },
-                            gateContentLength: { type: 'integer', description: 'Length in characters of the injected gate text.' },
-                        },
-                        required: ['enabled', 'gateContentLength'],
-                        additionalProperties: false,
-                    },
-                },
-            ],
-        },
-        query: async (method) => {
-            if (method === 'status') {
-                return {
-                    enabled: config.enabled,
-                    gateContentLength: config.gateContent.length,
-                };
-            }
-            return null;
-        },
-    };
-}
-export function apply(ctx, config) {
-    // Catalog visibility is optional: register only when the inspect registry
-    // service is mounted, so headless assemblies without it keep the gate
-    // injection working. The registry may be provided AFTER this row applies
-    // (base-bundle rows can mount later), so registration is retried on the
-    // first agent/session-start — by then the app is fully booted.
-    let providerRegistered = false;
-    const registerProvider = () => {
-        if (providerRegistered)
-            return;
-        const inspect = ctx.get('cordisInspect');
-        if (inspect === undefined)
-            return;
-        try {
-            ctx.effect(() => inspect.register(inspectProvider(config)), 'embedded-workbench: inspect provider');
-            providerRegistered = true;
-        }
-        catch (err) {
-            console.warn('[embedded-workbench] inspect provider registration failed', err);
-        }
-    };
-    registerProvider();
-    // Ship the bundled skills through the registry: reuse the standard
-    // filesystem provider over this package's own `skills/` directory, so
-    // catalog discovery, frontmatter parsing, and SKILL.md loading behave
-    // exactly like project/user skills while the plugin stays self-contained.
-    // Registration lands in the global registry layer (this row mounts at the
-    // profile root), so every agent preset sees the skills. `registerProvider`
-    // returns the effect disposer; its teardown unregisters and invalidates.
-    ctx.skills.registerProvider((control) => {
-        return new FileSystemSkillProvider(ctx, control, {
-            providerName: 'embedded-workbench',
-            includeDefaultRoots: false,
-            customSkillDirs: [SKILLS_DIR],
-        });
-    });
-    if (!config.enabled)
-        return;
-    // Inject the gate once per session on the FIRST model step that runs,
-    // instead of at session-start: session-start injection lands in the agent's
-    // inbox, which a blank-session preset switch (agentPreset.select ->
-    // recompose) can clear before the first step - the gate would then be lost
-    // for the whole session. The pre-step decision is the durable path a
-    // first-step injection takes: the gate is appended to the first step's
-    // decision and enters session history there, so every later step (and a
-    // resume) skips it. 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 - the history guard
-    // re-injects it there, so the gate still lands exactly once per session.
-    ctx.on('agent/pre-step', async ({ agent }, next) => {
-        const decision = await next();
-        if (decision.kind === 'reject')
-            return decision;
-        registerProvider();
-        if (gateInHistory(agent.session))
-            return decision;
-        return {
-            kind: 'enter',
-            messages: [...decision.messages, gateMessage(config.gateContent)],
-        };
-    });
-}
-/**
- * Whether the gate already entered this session's durable history. The
- * pre-step listener re-appends the gate until it does; once a step committed
- * it, every later step (and a resume of a session that kept it) skips the
- * injection. A session whose gate was dropped before any step ran (e.g. an
- * inbox cleared by a blank-session preset switch) simply re-injects on the
- * first step that runs.
- */
-function gateInHistory(session) {
-    return readSessionEvents(session).some((event) => {
-        if (event.type !== 'user/message')
-            return false;
-        const source = event.data?.source;
-        if (source === undefined)
-            return false;
-        // The v4 producer-owned kind, plus the pre-v4 wrapper this bundle wrote
-        // before DSH 0.1.7-alpha.1 retired it.
-        return source.kind === GATE_SOURCE_KIND
-            || (source.kind === 'plugin' && source.plugin === GATE_PLUGIN_ID);
-    });
-}
+To load the workflows and engineering policies behind these skills: load the embedded-workbench skill.
+</EXTREMELY_IMPORTANT>`;
+export const Config = z.object({
+    // On by default, but deliberately small: the payload carries the verification
+    // gate and the context-budget rule only, so leaving it on costs a few hundred
+    // tokens once per session rather than the ~900 of the previous payload.
+    enabled: z.boolean().default(true),
+    gateContent: z.string().default(DEFAULT_GATE_CONTENT),
+});
+function gateMessage(text) {
+    return createUserMessage({
+        content: [{ type: 'text', text }],
+        // `form` omitted — an undeclared context is the documented default.
+        source: { kind: GATE_SOURCE_KIND },
+    });
+}
+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
+ * the registration pattern of the official dsh-tool-cordis host providers.
+ */
+function inspectProvider(config) {
+    return {
+        manifest: {
+            id: 'embedded-workbench',
+            description: 'Session-start gate injection for the Embedded Workbench toolbox — folds the Plan Verification Gate and the context-budget rule into the first model step of every agent session.',
+            methods: [
+                {
+                    name: 'status',
+                    description: 'Read whether the gate injection is active and how large the injected gate text is.',
+                    inputSchema: {
+                        type: 'object',
+                        properties: {},
+                        additionalProperties: false,
+                    },
+                    outputSchema: {
+                        type: 'object',
+                        description: 'Gate-injection plugin status.',
+                        properties: {
+                            enabled: { type: 'boolean', description: 'Whether the gate folds into the first model step.' },
+                            gateContentLength: { type: 'integer', description: 'Length in characters of the injected gate text.' },
+                        },
+                        required: ['enabled', 'gateContentLength'],
+                        additionalProperties: false,
+                    },
+                },
+            ],
+        },
+        query: async (method) => {
+            if (method === 'status') {
+                return {
+                    enabled: config.enabled,
+                    gateContentLength: config.gateContent.length,
+                };
+            }
+            return null;
+        },
+    };
+}
+export function apply(ctx, config) {
+    // Catalog visibility is optional: register only when the inspect registry
+    // service is mounted, so headless assemblies without it keep the gate
+    // injection working. The registry may be provided AFTER this row applies
+    // (base-bundle rows can mount later), so registration is retried on the
+    // first agent/session-start — by then the app is fully booted.
+    let providerRegistered = false;
+    const registerProvider = () => {
+        if (providerRegistered)
+            return;
+        const inspect = ctx.get('cordisInspect');
+        if (inspect === undefined)
+            return;
+        try {
+            ctx.effect(() => inspect.register(inspectProvider(config)), 'embedded-workbench: inspect provider');
+            providerRegistered = true;
+        }
+        catch (err) {
+            console.warn('[embedded-workbench] inspect provider registration failed', err);
+        }
+    };
+    registerProvider();
+    // Ship the bundled skills through the registry: reuse the standard
+    // filesystem provider over this package's own `skills/` directory, so
+    // catalog discovery, frontmatter parsing, and SKILL.md loading behave
+    // exactly like project/user skills while the plugin stays self-contained.
+    // Registration lands in the global registry layer (this row mounts at the
+    // profile root), so every agent preset sees the skills. `registerProvider`
+    // returns the effect disposer; its teardown unregisters and invalidates.
+    ctx.skills.registerProvider((control) => {
+        return new FileSystemSkillProvider(ctx, control, {
+            providerName: 'embedded-workbench',
+            includeDefaultRoots: false,
+            customSkillDirs: [SKILLS_DIR],
+        });
+    });
+    if (!config.enabled)
+        return;
+    // Inject the gate once per session on the FIRST model step that runs,
+    // instead of at session-start: session-start injection lands in the agent's
+    // inbox, which a blank-session preset switch (agentPreset.select ->
+    // recompose) can clear before the first step - the gate would then be lost
+    // for the whole session. The pre-step decision is the durable path a
+    // first-step injection takes: the gate is appended to the first step's
+    // decision and enters session history there, so every later step (and a
+    // resume) skips it. 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 - the history guard
+    // re-injects it there, so the gate still lands exactly once per session.
+    ctx.on('agent/pre-step', async ({ agent }, next) => {
+        const decision = await next();
+        if (decision.kind === 'reject')
+            return decision;
+        registerProvider();
+        if (gateInHistory(agent.session))
+            return decision;
+        return {
+            kind: 'enter',
+            messages: [...decision.messages, gateMessage(config.gateContent)],
+        };
+    });
+}
+/**
+ * Whether the gate already entered this session's durable history. The
+ * pre-step listener re-appends the gate until it does; once a step committed
+ * it, every later step (and a resume of a session that kept it) skips the
+ * injection. A session whose gate was dropped before any step ran (e.g. an
+ * inbox cleared by a blank-session preset switch) simply re-injects on the
+ * first step that runs.
+ */
+function gateInHistory(session) {
+    return readSessionEvents(session).some((event) => {
+        if (event.type !== 'user/message')
+            return false;
+        const source = event.data?.source;
+        if (source === undefined)
+            return false;
+        // The v4 producer-owned kind, plus the pre-v4 wrapper this bundle wrote
+        // before DSH 0.1.7-alpha.1 retired it.
+        return source.kind === GATE_SOURCE_KIND
+            || (source.kind === 'plugin' && source.plugin === GATE_PLUGIN_ID);
+    });
+}

package/lib/types/index.d.ts

@@ -1,51 +1,53 @@
-/**
- * embedded-workbench — DeepSeek Harness native plugin for the Embedded
- * Workbench toolbox. Injects the session-start gate text (1% Rule, Red
- * Flags, Plan Verification Gate, skills roster) into the first model step
- * of every agent session, mirroring the SessionStart hook the Claude Code
- * plugin installs. The 8 skills ship in this package's `skills/` directory
- * and are registered at apply time into dsh's `ctx.skills` registry through
- * the standard filesystem provider, so they appear 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 / Plan Verification Gate) stay in sync, while
- * presentation is adapted to dsh's native skill catalog — no roster table
- * (the model sees skills in its catalog) and no install instructions (those
- * live in `.dsh/INSTALL.md`). Deployments override via Config.
- *
- * @module embedded-workbench-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:embedded-workbench': {
-            kind: 'plugin:embedded-workbench';
-        } & ContextFormed;
-    }
-}
-export declare const name = "embedded-workbench";
-export declare const inject: string[];
-export interface Config {
-    enabled: boolean;
-    gateContent: string;
-}
-export declare const Config: z<Schemastery.ObjectS<{
-    enabled: z<boolean, boolean>;
-    gateContent: z<string, string>;
-}>, Schemastery.ObjectT<{
-    enabled: z<boolean, boolean>;
-    gateContent: z<string, string>;
-}>>;
-export declare function apply(ctx: Context, config: Config): void;
+/**
+ * embedded-workbench — DeepSeek Harness native plugin for the Embedded
+ * Workbench toolbox. The 8 skills ship in this package's `skills/` directory
+ * and are registered at apply time into dsh's `ctx.skills` registry through
+ * the standard filesystem provider, so they appear in every session catalog
+ * without a manual copy step. The plugin also folds a short gate text into the
+ * first model step of every agent session, mirroring the SessionStart hook the
+ * Claude Code plugin installs.
+ *
+ * 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`: the behavior rules stay in sync (the Plan
+ * Verification Gate and the context-budget rule), while presentation is adapted
+ * to dsh's native skill catalog — no roster table (the model sees skills in its
+ * catalog) and no install instructions (those live in `.dsh/INSTALL.md`). The
+ * payload is deliberately small: it carries the verification gate and the
+ * budget rule, not the 1% Rule / Red Flags enforcement scaffolding, which
+ * measurably pushes capable models into rigid phases and unnecessary fan-out.
+ * Deployments override via Config.
+ *
+ * @module embedded-workbench-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:embedded-workbench': {
+            kind: 'plugin:embedded-workbench';
+        } & ContextFormed;
+    }
+}
+export declare const name = "embedded-workbench";
+export declare const inject: string[];
+export interface Config {
+    enabled: boolean;
+    gateContent: string;
+}
+export declare const Config: z<Schemastery.ObjectS<NoInfer<{
+    enabled: z<boolean, boolean, "defined">;
+    gateContent: z<string, string, "defined">;
+}>>, Schemastery.ObjectT<NoInfer<{
+    enabled: z<boolean, boolean, "defined">;
+    gateContent: z<string, string, "defined">;
+}>>, "plain">;
+export declare function apply(ctx: Context, config: Config): void;

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "dsh-embedded-workbench",
-    "version": "0.8.12",
-    "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.",
+    "version": "0.9.0",
+    "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 folds a short gate — the Plan Verification Gate plus a context-budget rule — into the first model step.",
     "type": "module",
     "main": "lib/index.js",
     "types": "lib/types/index.d.ts",
@@ -32,7 +32,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 || ^0.1.7-alpha.1",
+            "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.5-rc.3 || ^0.1.6-alpha.1 || ^0.1.6-alpha.2 || ^0.1.7-alpha.1 || ^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.1.7-rc.2",
             "dshReleases": {
                 "0.1.0-rc.7": "compatible",
                 "0.1.0-rc.8": "compatible",
@@ -49,9 +49,13 @@
                 "0.1.5-alpha.2": "compatible",
                 "0.1.5-rc.1": "compatible",
                 "0.1.5-rc.2": "compatible",
+                "0.1.5-rc.3": "compatible",
                 "0.1.6-alpha.1": "compatible",
                 "0.1.6-alpha.2": "compatible",
-                "0.1.7-alpha.1": "compatible"
+                "0.1.7-alpha.1": "compatible",
+                "0.1.7-alpha.2": "compatible",
+                "0.1.7-rc.1": "compatible",
+                "0.1.7-rc.2": "compatible"
             },
             "profiles": [
                 "headless"
@@ -64,15 +68,15 @@
         "bump": "node scripts/bump-version.mjs"
     },
     "peerDependencies": {
-        "@deepseek-ai/cordis": "^4.0.2",
+        "@deepseek-ai/cordis": "^4.0.4",
         "@deepseek-ai/dsh-agent": "^0.1.0-rc.6",
         "@deepseek-ai/dsh-llm": "^0.1.0-rc.6",
         "@deepseek-ai/dsh-session": "^0.1.0-rc.6",
         "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.8",
-        "@deepseek-ai/schemastery": "^3.18.2"
+        "@deepseek-ai/schemastery": "^3.18.4"
     },
     "devDependencies": {
-        "@deepseek-ai/cordis": "^4.0.2",
+        "@deepseek-ai/cordis": "^4.0.4",
         "@deepseek-ai/dsh-agent": "^0.1.0-rc.6",
         "@deepseek-ai/dsh-cordis-host-runner": "^0.1.0-rc.8",
         "@deepseek-ai/dsh-home-paths": "^0.1.0-rc.8",
@@ -82,8 +86,8 @@
         "@deepseek-ai/dsh-skill": "^0.1.0-rc.8",
         "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.8",
         "@deepseek-ai/dsh-timeout": "^0.0.1-rc.1",
-        "@types/node": "^26.6.1",
-        "@deepseek-ai/schemastery": "^3.18.2",
+        "@deepseek-ai/schemastery": "^3.18.4",
+        "@types/node": "^26.6.2",
         "typescript": "^7.0.2"
     },
     "author": {