dsh-model-everything 0.5.2 → 0.6.0

package/lib/types/client.d.ts

@@ -12,9 +12,11 @@
  * compiled output in `window.__ModuleLoader__.load(...)`, which is the loader contract itself.
  */
 import { type Palette, type PaletteMode } from './render/palette.js';
+import { type DocumentLike } from './annotation.js';
 export interface ReactLike {
     createElement: (type: unknown, props?: Record<string, unknown> | null, ...children: unknown[]) => unknown;
-    useState?: <T>(initial: T) => [T, (next: T) => void];
+    useState?: <T>(initial: T) => [T, (next: T | ((previous: T) => T)) => void];
+    useEffect?: (effect: () => void | (() => void), deps?: ReadonlyArray<unknown>) => void;
 }
 export interface SlotContext {
     slots: {
@@ -29,7 +31,6 @@ export interface PluginShape {
     /** The whiteboard mount, with its scheduler injectable. `apply` calls this with the default. */
     mount: (ctx: SlotContext, options?: MountOptions) => unknown;
 }
-/** A settled tool call, as the host hands it to a view. */
 export interface ToolCallProps {
     phase?: string;
     toolName?: string;
@@ -53,12 +54,93 @@ export declare const WHITEBOARD_ID = "model-everything-diagram";
 /** What the whiteboard opens with: a diagram the reader can edit rather than an empty box. */
 export declare const WHITEBOARD_SAMPLE: string;
 /**
- * The view for one tool name.
+ * The card for a drawing: the source the call carried, drawn by the renderer that wrote the file.
  *
- * The drawing is emitted as markup, so React receives it through `dangerouslySetInnerHTML`. That is safe
- * only because the writer escapes every value that came from a report or a model, which the render suite
- * pins with an injection case.
+ * Drawing it here rather than replaying the SVG means the card and the file are one picture from one
+ * engine, and it costs the result nothing. Lines the renderer refused are listed under the drawing: a
+ * card that hid them would show a picture that is missing something, which is the failure the tool
+ * exists to prevent.
  */
+/** A create-element function with this package's calling convention, so a shared builder fits both seats. */
+type H = (type: unknown, props?: Record<string, unknown> | null, ...children: unknown[]) => unknown;
+/** What an annotation editor shows, shared by the two surfaces that offer one. */
+export interface AnnotationState {
+    picked: {
+        id: string;
+    } | null;
+    note: string;
+    pending: Array<{
+        nodeId: string;
+        note: string;
+    }>;
+    status: string;
+    /** Whether the pending list is expanded under the count. */
+    open?: boolean;
+    /** Where the editor sits, in the drawing's own coordinates: beside the node the reader picked. */
+    anchor?: {
+        left: number;
+        top: number;
+    };
+    /** The correction the dock applied after measuring where the chip actually landed. */
+    dockFix?: {
+        dx: number;
+        dy: number;
+    };
+}
+export interface AnnotationActions {
+    onNote: (value: string) => void;
+    onAdd: () => void;
+    onAddAndSend: () => void;
+    onSend: () => void;
+    onClear: () => void;
+    onCancel: () => void;
+    onToggle: () => void;
+    onRemove: (index: number) => void;
+}
+/**
+ * The annotation surface: a floating editor over the drawing, and a count of what is waiting.
+ *
+ * Floating rather than inline, because the reader is looking at a picture and the editor must not move it.
+ * The notes stay in a list until one message is composed from them: the reader's input box is theirs, and N raw
+ * fragments in it would be exactly the mess this feature is meant to avoid. Colours come from the host's tokens,
+ * so light and dark themes need no separate code.
+ */
+export declare function annotationPanel(h: H, state: AnnotationState, actions: AnnotationActions, options?: {
+    floating?: boolean;
+    document?: DocumentLike;
+    dockFix?: {
+        dx: number;
+        dy: number;
+    };
+    dockChip?: boolean;
+}): unknown;
+/** Remember what would leave with the next message, and start watching for that message. */
+export declare function setPendingBlock(text: string): void;
+/**
+ * The dock, as a layer on `document.body`.
+ *
+ * A `position: fixed` node still positions against the nearest transformed ancestor, and the composer sits
+ * inside one - which is why every coordinate this plugin computed landed inside the box. The shipped
+ * annotation plugin sidesteps it the same way: its chip is a body-level layer, so fixed means the viewport.
+ * Size and place come from the composer card's own rectangle, measured after every layout change.
+ */
+interface DockHandlers {
+    onToggle: () => void;
+    onSend: () => void;
+    onRemove: (index: number) => void;
+}
+/** Keep the docked count in step with the pending list. Called from a render path, so it cannot throw. */
+export declare function updateDockLayer(items: Array<{
+    nodeId: string;
+    note: string;
+}>, open: boolean, handlers: DockHandlers): void;
+/**
+ * Tell this module when a message leaves, by watching the one signal the host gives: the draft empties.
+ *
+ * A note that was committed is in the draft, so after the send there is nothing left to keep - and a chip still
+ * counting a note that has already gone out is the plugin lying about its own state.
+ */
+export declare function onMessageSent(listener: () => void): () => void;
 export declare function viewFor(React: ReactLike, overrides?: Partial<Palette>): (props: ToolCallProps) => unknown;
 /**
  * The whiteboard: paste a diagram, get a drawing, zoom it.
@@ -81,3 +163,4 @@ export interface MountOptions {
  */
 export declare function mountWhiteboard(React: ReactLike, ctx: SlotContext, options?: MountOptions): unknown;
 export default function factory(require: (name: string) => unknown): PluginShape;
+export {};

package/lib/types/diagram.d.ts

@@ -31,4 +31,11 @@ export interface ComponentContext {
     };
 }
 export declare function apply(ctx: ComponentContext, config: Config): void;
+/**
+ * Offer an annotation as a session command, so a page can send one without a composer.
+ *
+ * Optional on purpose, and failure-tolerant on purpose: a host without the commands service keeps the
+ * composer path, and a registration that throws must not take the drawing tools down with it.
+ */
+export declare function registerAnnotateCommand(ctx: unknown): void;
 export declare const inject: string[];

package/lib/types/gate.d.ts

@@ -10,13 +10,15 @@
  *
  * Why it is a separate row. The plugin's doctrine is that a capability is discoverable
  * through its own tool description or skill text. Injection departs from that, so it is
- * opt-in and mounted as its own component: install it, disable it, or never enable it,
- * without touching the tools or the skills. `enabled` is a live switch, so the Web Plugins
- * page flips it inside a running host.
+ * mounted as its own component: the bundle's patch enables it, and the row can be turned off
+ * or removed without touching the tools or the skills. `enabled` is a live switch, so the Web
+ * Plugins page flips it inside a running host.
  *
- * Why it is off by default. It costs tokens in every session that turns it on, to fix a
- * problem text-only routing was measured not to have once the session engages. A deployment
- * that wants it says so; the default pays nothing.
+ * Why the bundle turns it on. Measured: a session that never decides to load a skill is never
+ * routed, and the catalog line is cut at 500 characters, so a domain the request names can be
+ * invisible at the moment of choosing. The cost is a fixed message in every session, which is
+ * why the switch is live and documented: turn it off where the bundle's default is wrong. The
+ * component's own `enabled` script default is off, so a bare `app.add(gate)` injects nothing.
  *
  * What it does not do. It routes; it checks nothing. It cannot make a skill load, and it
  * does not restate the doctrine - the skill bodies carry that, and duplicating them here

package/lib/types/render/paint.d.ts

@@ -44,6 +44,8 @@ export interface Point {
 }
 export interface BoxShape {
     kind: 'box';
+    /** Which node this box is. It travels into the markup, so a reader can target one node by delegation. */
+    id: string;
     x: number;
     y: number;
     width: number;

package/lib/types/transcript.d.ts

@@ -0,0 +1,82 @@
+/**
+ * What an annotation message looks like after it has been sent.
+ *
+ * The message is one block of plain lines: a fixed opening, numbered items, a question line, then the reader's
+ * own words. That is the right thing for the model and the wrong thing to read as a human - the reader wrote one
+ * note about one node, and what landed is a page of protocol.
+ *
+ * The host renders a user message as text inside elements it owns and re-renders. So this never assigns an
+ * element's text: that deletes its children, React reconciles from a tree that no longer matches, and whole
+ * turns come back mangled. It edits the text NODES instead - trim the run before the cut, remove the runs that
+ * held the block - and puts the chip in as a sibling, exactly the way the shipped annotation plugin does it.
+ *
+ * Everything here is defensive: a page without the elements, an element without text nodes, an element already
+ * handled. A decorator that throws would take a render pass with it.
+ */
+/** The first words of every annotation block, used to recognise one in the transcript. */
+export declare const TRANSCRIPT_MARKER = "Diagram annotations -";
+export interface TranscriptNode {
+    nodeType?: number;
+    nodeValue?: string | null;
+    textContent?: string | null;
+    style?: Record<string, string | undefined>;
+    setAttribute?: (name: string, value: string) => void;
+    getAttribute?: (name: string) => string | null;
+    addEventListener?: (type: string, handler: () => void) => void;
+    querySelectorAll?: (selector: string) => ArrayLike<TranscriptNode>;
+    getBoundingClientRect?: () => {
+        left: number;
+        top: number;
+        width: number;
+        height: number;
+    };
+    closest?: (selector: string) => TranscriptNode | null;
+    childNodes?: ArrayLike<TranscriptNode>;
+    nextSibling?: TranscriptNode | null;
+    appendChild?: (node: TranscriptNode) => unknown;
+    removeChild?: (node: TranscriptNode) => unknown;
+    parentNode?: {
+        insertBefore?: (node: TranscriptNode, before: TranscriptNode | null) => unknown;
+        removeChild?: (node: TranscriptNode) => unknown;
+    } | null;
+}
+export interface TranscriptDocument {
+    querySelectorAll?: (selector: string) => ArrayLike<TranscriptNode>;
+    createElement?: (tag: string) => TranscriptNode;
+}
+/** One note as the block states it. */
+export interface AnnotationItem {
+    index: number;
+    node: string;
+    note: string;
+}
+/** The count in the opening line, for the chip; null when the line says something unexpected. */
+export declare function annotationCountOf(text: string): number | null;
+/** The reader's own words: what follows the question line, or nothing when the note was the whole message. */
+export declare function questionOf(text: string): string;
+/** The notes the block carries, read back out of its lines, so a reader sees what the model saw. */
+export declare function itemsOf(text: string): AnnotationItem[];
+/**
+ * Drop everything before the cut from the text nodes, and leave the reader's own words.
+ *
+ * The nodes are the only thing written: an element's `textContent` would take its child elements with it.
+ */
+export declare function cutTextNodes(nodes: TranscriptNode[], cut: number): boolean;
+/** Kept for the tests that assert the selector exists; the ancestor walk is deliberately not used. */
+export declare const FOREIGN_SELECTOR = "[data-annotation-for-dsh], [data-annotation-overlay], [data-annotation-chip], [data-annotation-tip-layer]";
+/**
+ * Fold every annotation message in the transcript behind its count, and answer how many were folded.
+ *
+ * Idempotent: an element that already carries the marker is skipped, so the observer can call this on every
+ * change without stacking chips. Only the element whose text is the message is touched, and only its text nodes.
+ */
+export declare function decorateTranscript(doc: TranscriptDocument | undefined, label?: string, title?: string): number;
+/**
+ * One pass, and nothing that keeps running.
+ *
+ * There is deliberately no observer and no timer here. Both were tried: an observer over the document plus a
+ * one-second interval turns every DOM change into a full selector scan, and a streaming conversation changes the
+ * DOM many times a second - the container stopped responding. A caller that wants the fold has to decide when
+ * to run it, on a container it chose.
+ */
+export declare function startTranscriptDecoration(doc: TranscriptDocument | undefined, label?: string, title?: string): () => void;

package/package.json

@@ -1,148 +1,149 @@
-{
-  "name": "dsh-model-everything",
-  "version": "0.5.2",
-  "description": "Modeling abstraction, architecture visualisation and automated review for designs and code, including a refactoring harness: draw a Mermaid or PlantUML source and measure its structure, executable verification of machines and protocols with before/after regression, data-model and migration checks, concurrency claim routing, export to external checkers, dependency-graph review, and report diffing. Native plugin for DeepSeek Harness (dsh).",
-  "type": "module",
-  "main": "lib/index.js",
-  "types": "lib/types/index.d.ts",
-  "exports": {
-    ".": {
-      "types": "./lib/types/index.d.ts",
-      "default": "./lib/index.js"
-    },
-    "./gate": {
-      "types": "./lib/types/gate.d.ts",
-      "default": "./lib/gate.js"
-    },
-    "./gate/package.json": "./gate/package.json",
-    "./gate/locale/*.json": "./gate/locale/*.json",
-    "./cordis.patch.yml": "./cordis.patch.yml",
-    "./package.json": "./package.json",
-    "./locale/*.json": "./locale/*.json",
-    "./client": "./lib/client.js",
-    "./diagram": {
-      "types": "./lib/types/diagram.d.ts",
-      "default": "./lib/diagram.js"
-    },
-    "./diagram/package.json": "./diagram/package.json"
-  },
-  "files": [
-    "lib",
-    "src",
-    "skills",
-    "cordis.patch.yml",
-    "examples",
-    "gate",
-    "locale",
-    "diagram"
-  ],
-  "dsh": {
-    "engines": {
-      "dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4"
-    },
-    "category": "tools/dev",
-    "displayName": "dsh-model-everything",
-    "bundle": {
-      "patch": "./cordis.patch.yml"
-    },
-    "compatibility": {
-      "dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4",
-      "dshReleases": {
-        "0.1.7-alpha.2": "compatible",
-        "0.1.7-rc.1": "compatible",
-        "0.1.7-rc.2": "compatible",
-        "0.2.0-rc.1": "compatible",
-        "0.2.0-rc.2": "compatible",
-        "0.2.1-alpha.1": "compatible",
-        "0.2.1-alpha.2": "compatible",
-        "0.2.1-alpha.3": "compatible",
-        "0.2.1-alpha.4": "compatible",
-        "0.2.1-alpha.5": "compatible",
-        "0.2.1-rc.2": "compatible",
-        "0.2.1-rc.3": "compatible",
-        "0.2.1-rc.4": "compatible"
-      },
-      "profiles": [
-        "headless",
-        "web"
-      ]
-    },
-    "client": {
-      "platform": "web",
-      "immediately": true,
-      "inject": []
-    }
-  },
-  "scripts": {
-    "build": "tsc -p tsconfig.json && node scripts/build-client.mjs",
-    "typecheck": "tsc -p tsconfig.json --noEmit",
-    "lint:md": "markdownlint --dot --ignore \"**/node_modules/**\" .",
-    "bump": "node scripts/bump-version.mjs",
-    "test:cards": "node tests/presentation/run.mjs && node tests/automaton/run.mjs && node tests/routing/run.mjs",
-    "coverage": "c8 --reporter=text --exclude-after-remap=false npm run test:engine",
-    "test:engine": "npm run build && node tests/engine/run.mjs && node tests/design-engine/run.mjs && node tests/catalog/run.mjs && node tests/data-engine/run.mjs && node tests/concurrency/run.mjs && node tests/uml/run.mjs && node tests/apply-smoke.mjs && node tests/memory/run.mjs && node tests/skills/run.mjs && node tests/gate/run.mjs && node tests/skill-routing/run.mjs && node tests/toolset/run.mjs && node tests/principles/run.mjs && node tests/feature-checklist/run.mjs && node tests/usage/run.mjs && node tests/translation/run.mjs && node tests/documentation/run.mjs && node tests/contributing/run.mjs && node tests/routing-map/run.mjs && node tests/report-reading/run.mjs && node tests/structure/run.mjs && node tests/automaton/run.mjs && node tests/diagram/run.mjs && node tests/client/run.mjs && node tests/render/run.mjs && node tests/cycle-break/run.mjs && node tests/layering/run.mjs && node tests/ordering/run.mjs && node tests/coords/run.mjs && node tests/channels/run.mjs && node tests/components/run.mjs && node tests/placement/run.mjs && node tests/presentation/run.mjs && node tests/routing/run.mjs && node tests/tool-routing/run.mjs && node tests/tools/run.mjs && node tests/baseline/run.mjs && node tests/granularity/run.mjs && node tests/exporters/run.mjs && node tests/report-view/run.mjs && node tests/contracts/run.mjs && node tests/tool-boundary/run.mjs && node tests/negatives/run.mjs && node tests/external/run.mjs",
-    "test:full": "npm run build && node tests/full-suite.mjs",
-    "check": "npm run lint:md && npm run test:engine",
-    "build:client": "node scripts/build-client.mjs"
-  },
-  "peerDependencies": {
-    "@deepseek-ai/cordis": "^4.0.5",
-    "@deepseek-ai/dsh-agent": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4",
-    "@deepseek-ai/dsh-llm": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4",
-    "@deepseek-ai/dsh-session": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4",
-    "@deepseek-ai/dsh-skill-filesystem": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4",
-    "@deepseek-ai/dsh-tools": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4",
-    "@deepseek-ai/schemastery": "^3.18.5",
-    "dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4"
-  },
-  "devDependencies": {
-    "@deepseek-ai/cordis": "^4.0.5",
-    "@deepseek-ai/dsh-agent": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-cordis-host-runner": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-home-paths": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-invariants": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-llm": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-ptc-runtime": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-sandbox": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-sandbox-policy": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-scope": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-session": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-skill": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-skill-filesystem": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-system-prompt": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-tools": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-user-approval": "^0.2.0-rc.2",
-    "@deepseek-ai/schemastery": "^3.18.5",
-    "@types/node": "^26.6.5",
-    "esbuild": "^0.28.2",
-    "markdownlint-cli": "0.49.1",
-    "typescript": "^7.0.2"
-  },
-  "author": {
-    "name": "AmethystLuna",
-    "url": "https://github.com/AmethystLuna"
-  },
-  "license": "MIT",
-  "repository": "https://github.com/AmethystLuna/dsh-model-everything",
-  "funding": {
-    "type": "custom",
-    "url": "https://afdian.com/a/amethystluna"
-  },
-  "keywords": [
-    "verification",
-    "model-checking",
-    "uml",
-    "diagrams",
-    "state-machine",
-    "data-model",
-    "concurrency",
-    "mermaid",
-    "plantuml",
-    "dsh",
-    "dsh-plugin",
-    "plugin"
-  ],
-  "engines": {
-    "node": ">=20"
-  }
-}
+{
+  "name": "dsh-model-everything",
+  "version": "0.6.0",
+  "description": "Modeling abstraction, architecture visualisation and automated review for designs and code, including a refactoring harness: draw a Mermaid or PlantUML source and measure its structure, executable verification of machines and protocols with before/after regression, data-model and migration checks, concurrency claim routing, export to external checkers, dependency-graph review, and report diffing. Native plugin for DeepSeek Harness (dsh).",
+  "type": "module",
+  "main": "lib/index.js",
+  "types": "lib/types/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./lib/types/index.d.ts",
+      "default": "./lib/index.js"
+    },
+    "./gate": {
+      "types": "./lib/types/gate.d.ts",
+      "default": "./lib/gate.js"
+    },
+    "./gate/package.json": "./gate/package.json",
+    "./gate/locale/*.json": "./gate/locale/*.json",
+    "./cordis.patch.yml": "./cordis.patch.yml",
+    "./package.json": "./package.json",
+    "./locale/*.json": "./locale/*.json",
+    "./client": "./lib/client.js",
+    "./diagram": {
+      "types": "./lib/types/diagram.d.ts",
+      "default": "./lib/diagram.js"
+    },
+    "./diagram/package.json": "./diagram/package.json"
+  },
+  "files": [
+    "lib",
+    "src",
+    "skills",
+    "cordis.patch.yml",
+    "examples",
+    "gate",
+    "locale",
+    "diagram"
+  ],
+  "dsh": {
+    "engines": {
+      "dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1"
+    },
+    "category": "tools/dev",
+    "displayName": "dsh-model-everything",
+    "bundle": {
+      "patch": "./cordis.patch.yml"
+    },
+    "compatibility": {
+      "dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1",
+      "dshReleases": {
+        "0.1.7-alpha.2": "compatible",
+        "0.1.7-rc.1": "compatible",
+        "0.1.7-rc.2": "compatible",
+        "0.2.0-rc.1": "compatible",
+        "0.2.0-rc.2": "compatible",
+        "0.2.1-alpha.1": "compatible",
+        "0.2.1-alpha.2": "compatible",
+        "0.2.1-alpha.3": "compatible",
+        "0.2.1-alpha.4": "compatible",
+        "0.2.1-alpha.5": "compatible",
+        "0.2.1-rc.2": "compatible",
+        "0.2.1-rc.3": "compatible",
+        "0.2.1-rc.4": "compatible",
+        "0.2.2-rc.1": "compatible"
+      },
+      "profiles": [
+        "headless",
+        "web"
+      ]
+    },
+    "client": {
+      "platform": "web",
+      "immediately": true,
+      "inject": []
+    }
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json && node scripts/build-client.mjs",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "lint:md": "markdownlint --dot --ignore \"**/node_modules/**\" .",
+    "bump": "node scripts/bump-version.mjs",
+    "test:cards": "node tests/presentation/run.mjs && node tests/automaton/run.mjs && node tests/routing/run.mjs",
+    "coverage": "c8 --reporter=text --exclude-after-remap=false npm run test:engine",
+    "test:engine": "npm run build && node tests/engine/run.mjs && node tests/design-engine/run.mjs && node tests/catalog/run.mjs && node tests/data-engine/run.mjs && node tests/concurrency/run.mjs && node tests/uml/run.mjs && node tests/apply-smoke.mjs && node tests/memory/run.mjs && node tests/skills/run.mjs && node tests/gate/run.mjs && node tests/skill-routing/run.mjs && node tests/toolset/run.mjs && node tests/principles/run.mjs && node tests/feature-checklist/run.mjs && node tests/usage/run.mjs && node tests/translation/run.mjs && node tests/documentation/run.mjs && node tests/contributing/run.mjs && node tests/routing-map/run.mjs && node tests/report-reading/run.mjs && node tests/structure/run.mjs && node tests/automaton/run.mjs && node tests/diagram/run.mjs && node tests/client/run.mjs && node tests/render/run.mjs && node tests/cycle-break/run.mjs && node tests/layering/run.mjs && node tests/ordering/run.mjs && node tests/coords/run.mjs && node tests/channels/run.mjs && node tests/components/run.mjs && node tests/placement/run.mjs && node tests/presentation/run.mjs && node tests/routing/run.mjs && node tests/tool-routing/run.mjs && node tests/tools/run.mjs && node tests/baseline/run.mjs && node tests/granularity/run.mjs && node tests/exporters/run.mjs && node tests/report-view/run.mjs && node tests/contracts/run.mjs && node tests/tool-boundary/run.mjs && node tests/negatives/run.mjs && node tests/external/run.mjs",
+    "test:full": "npm run build && node tests/full-suite.mjs",
+    "check": "npm run lint:md && npm run test:engine",
+    "build:client": "node scripts/build-client.mjs"
+  },
+  "peerDependencies": {
+    "@deepseek-ai/cordis": "^4.0.5",
+    "@deepseek-ai/dsh-agent": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1",
+    "@deepseek-ai/dsh-llm": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1",
+    "@deepseek-ai/dsh-session": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1",
+    "@deepseek-ai/dsh-skill-filesystem": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1",
+    "@deepseek-ai/dsh-tools": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1",
+    "@deepseek-ai/schemastery": "^3.18.5",
+    "dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-rc.4 || ^0.2.2-rc.1"
+  },
+  "devDependencies": {
+    "@deepseek-ai/cordis": "^4.0.5",
+    "@deepseek-ai/dsh-agent": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-cordis-host-runner": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-home-paths": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-invariants": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-llm": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-ptc-runtime": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-sandbox": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-sandbox-policy": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-scope": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-session": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-skill": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-skill-filesystem": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-system-prompt": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-tools": "^0.2.0-rc.2",
+    "@deepseek-ai/dsh-user-approval": "^0.2.0-rc.2",
+    "@deepseek-ai/schemastery": "^3.18.5",
+    "@types/node": "^26.6.5",
+    "esbuild": "^0.28.2",
+    "markdownlint-cli": "0.49.1",
+    "typescript": "^7.0.2"
+  },
+  "author": {
+    "name": "AmethystLuna",
+    "url": "https://github.com/AmethystLuna"
+  },
+  "license": "MIT",
+  "repository": "https://github.com/AmethystLuna/dsh-model-everything",
+  "funding": {
+    "type": "custom",
+    "url": "https://afdian.com/a/amethystluna"
+  },
+  "keywords": [
+    "verification",
+    "model-checking",
+    "uml",
+    "diagrams",
+    "state-machine",
+    "data-model",
+    "concurrency",
+    "mermaid",
+    "plantuml",
+    "dsh",
+    "dsh-plugin",
+    "plugin"
+  ],
+  "engines": {
+    "node": ">=20"
+  }
+}

package/skills/model-everything/SKILL.md

@@ -413,7 +413,7 @@ Skip logic-primitive verification when:
 
 ### Routing to the Sibling Skills
 
-This skill owns behavioural claims. Three neighbouring domains have their own skill, and loading the wrong one wastes the verification:
+This skill owns behavioural claims. The neighbouring domains have their own skill, and loading the wrong one wastes the verification:
 
 | Domain | Skill |
 |---|---|
@@ -421,6 +421,7 @@ This skill owns behavioural claims. Three neighbouring domains have their own sk
 | Reviewing architecture, module structure or a dependency diagram (isolated nodes, dangling endpoints, cycles, allowed-dependency and layer violations, missing required edges) | `model-everything-structure` |
 | Concurrency, synchrony and async claims — "thread-safe", "lock-free", "no data race", "ISR-safe", "non-blocking", `async`/`await` — mined and routed to TSan/Helgrind/CBMC/TLA+/UPPAAL, never proven here; a shared-location update is decided here by `model_compose_verify` (C5) | `model-everything-interleaving` |
 | Entities, fields, relationships, data invariants, schema migrations (DS1-DS4, DA1-DA12, DD1-DD4) | `model-everything-datamodel` |
+| Showing a result as a picture — drawing Mermaid or PlantUML, putting the drawing in front of a reader, or checking that it fits the page (structure budgets, containment diffs, every refused line named) | `model-everything-diagram` |
 
 ---
 

package/skills/model-everything-diagram/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: model-everything-diagram
-description: "Use when drawing a diagram from its source text or checking its structure: Mermaid and PlantUML subsets, structure budgets, and containment diffs. Every line it cannot draw is refused by number. The drawing proves layout, not design. Doctrine: the model-everything skill.""
+description: "Use when drawing a diagram from its source text, showing one to a reader, or checking its structure: Mermaid and PlantUML subsets, structure budgets, and containment diffs. Reach for it when an explanation is clearer shown than told - a layout, a flow, a change - and put the picture beside the explanation. Every line it cannot draw is refused by number. The drawing proves layout, not design. Doctrine: the model-everything skill.""
 ---
 
 # Model Everything — Drawing
@@ -13,6 +13,26 @@ The doctrine it inherits — say what a result does and does not prove, read `ve
 `model-everything` skill. Load that one when the question is whether a design is *correct*; load this one when the
 question is what the picture shows.
 
+## Draw to explain, not to decorate
+
+A reader takes a layout, a flow, a boundary and a change between two of them from a picture. So the trigger
+is not the phrase "draw" — it is an answer that has that shape: reach for `diagram_render` when the
+explanation would otherwise spell out positions and connections in prose, and put the drawing beside the
+explanation rather than in place of it.
+
+| Where the reader sees it | What it shows | How it starts |
+|---|---|---|
+| the file you wrote | the SVG at full size, kept next to the document it belongs to | `diagram_render` with `out`, then hand the file over with `present` |
+| the card in the conversation | the drawing, redrawn from the call's own source, with the refused lines under it | nothing to do: the card is keyed to `diagram_render` and appears where the call was |
+| the whiteboard tab | any source, editable and zoomable, with the colour schemes | the reader opens the tab and pastes; it holds none of the session's data |
+
+The reader can point at a node and send a note from the whiteboard or from the call's card. It arrives as an
+ordinary message that starts `Diagram annotation · node "…"`, and that is what it is: the reader marking one
+node of that drawing and saying something about it. Answer the node, not the whole picture.
+
+Before a drawing goes in front of a reader, run `diagram_review`: a picture that needs scrolling is no
+longer a summary. When you present one, say what it shows — the layout, not whether the design is right.
+
 ## When This Skill Applies
 
 | The task involves… | What it does |