dsh-model-everything 0.5.0 → 0.5.2

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

@@ -0,0 +1,73 @@
+/**
+ * The geometry of a node's symbol, shared by the module that draws it and the module that attaches edges to it.
+ *
+ * A box is a rectangle, but a symbol is not: the diamond's side midpoints are its vertices, a circle has no side at
+ * all, and a cylinder's top is an arc. Any rule that decides where an edge may meet a node therefore needs the
+ * symbol's own points - and the module that draws the symbol needs the same numbers, or the anchor and the outline
+ * disagree and an edge ends in the air.
+ *
+ * So the arithmetic lives here once: the painter reads a port from it, the writer draws the shape from it, and a
+ * change to a symbol's outline moves both. Pure data and pure functions, no SVG markup.
+ */
+import type { Box, Point } from './place.js';
+import type { NodeShape } from './model.js';
+/** A cubic Bezier, as the writer draws a curve and the painter reads a point from it. */
+export interface Cubic {
+    from: Point;
+    c1: Point;
+    c2: Point;
+    to: Point;
+}
+/** Where the two caps of a cylinder start and end, and how deep each one is. */
+export interface CylinderCaps {
+    /** How far the cap reaches into the box: the writer's `min(10, h / 3)`. */
+    cap: number;
+    /** The top cap, drawn from its left shoulder to its right shoulder. */
+    top: Cubic;
+    /** The bottom cap, drawn from its right shoulder to its left shoulder. */
+    bottom: Cubic;
+}
+/** A point on a cubic Bezier at parameter `t`, which is what makes "the top of the cap" a shared fact. */
+export declare function cubicPoint(curve: Cubic, t: number): Point;
+/**
+ * A diamond's four points, in drawing order: top, right, bottom, left.
+ *
+ * These are the only four places an edge may meet a diamond: each side of the box meets the symbol at exactly that
+ * point, and every other point on the side is in the air inside or outside the outline.
+ */
+export declare function diamondPoints(box: Box): [Point, Point, Point, Point];
+/**
+ * Does this symbol meet each of its four sides at exactly one point?
+ *
+ * A diamond's side midpoints are its four vertices, and an ellipse's are its four cardinal points: both offer one legal
+ * port per side and no run to spread along. Every other symbol offers a run on at least one side - a rectangle along
+ * its whole side, a hexagon along the flat between its cut corners, a stadium between its end caps, a cylinder along
+ * its straight flank - so a port there has a place to sit rather than a point to take.
+ *
+ * This is the distinction the painter needs: a node with one legal point per side can give its edges a point each,
+ * and a node with a run can only give them places along it. The two points the discrete shapes offer are the same
+ * four points of the box, which is why one answer serves both.
+ */
+export declare function hasDiscretePorts(shape: NodeShape | undefined): boolean;
+/** How much of each end of a hexagon the corner cuts away. */
+export declare function hexagonCut(width: number): number;
+/**
+ * A hexagon's six points, in drawing order: top-left, top-right, right, bottom-right, bottom-left, left.
+ *
+ * The top and bottom are flat runs between the first two and the last two points; the left and right sides are the
+ * single points at index 5 and 2, because the corner cut removed everything else.
+ */
+export declare function hexagonPoints(box: Box): [Point, Point, Point, Point, Point, Point];
+/** The radius of a stadium's end caps: half its height, unless the box is narrower than that. */
+export declare function stadiumRadius(box: Box): number;
+/**
+ * A cylinder's two caps.
+ *
+ * The writer draws the top cap from the left shoulder to the right shoulder with the box's own top edge as the
+ * control line, and the bottom cap mirrored. The cap curve's apex - the point the painter attaches a top or bottom
+ * port to - is therefore a property of this curve, not a constant: it sits a quarter of the cap's depth inside the
+ * box, not `cap` inside it.
+ */
+export declare function cylinderCaps(box: Box): CylinderCaps;
+/** The apex of a cylinder's top or bottom cap: the only point on that side an edge meets the outline at. */
+export declare function cylinderApex(box: Box, side: 'top' | 'bottom'): Point;

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

@@ -0,0 +1,38 @@
+/**
+ * Text as the layout sees it: measured, broken into lines, and turned into a box.
+ *
+ * Mermaid and Graphviz both measure a label in the platform's own text engine and then lay out around that
+ * measurement - a node's size is its text plus padding, and a label too long for its maximum width is wrapped
+ * before anything is placed. There is no DOM here, so the measurement is an estimate over a per-character width
+ * table; what matters is that the *order* is the same: text first, geometry second. A renderer that fixes the box
+ * and pours text into it cannot help overflowing.
+ *
+ * Explicit breaks (`<br>`, `<br/>`, `<br />`, a real newline) are honoured as written, because a source that put
+ * one there wanted that line to end.
+ */
+/** A line longer than this wraps on a space, or breaks in the middle when it has none. */
+export declare const MAX_LINE_CHARS = 30;
+/** Height of one line of box text, and the breathing room around the block. */
+export declare const LINE_HEIGHT = 15;
+export declare const TEXT_PADDING = 12;
+/** The smallest and largest box a label may produce. */
+export declare const MIN_NODE_WIDTH = 88;
+export declare const MAX_NODE_WIDTH = 260;
+/** The lines a label asks for, before wrapping: an explicit break is a line end, not a space. */
+export declare function explicitLines(label: string): string[];
+/**
+ * Wrap one line to the maximum width.
+ *
+ * A word longer than the limit is broken rather than allowed to overflow: a single token with no spaces is the
+ * common case in identifiers, and letting it run off the box is the defect this function exists to prevent.
+ */
+export declare function wrapLine(line: string, limit?: number): string[];
+export interface Measured {
+    lines: string[];
+    width: number;
+    height: number;
+}
+/** The text block a label produces: its lines, and the box it needs. */
+export declare function measure(label: string): Measured;
+/** Rough width of a single-line piece of text, for placing an edge label without a box. */
+export declare function textWidth(text: string): number;

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

@@ -0,0 +1,104 @@
+/**
+ * Fan-in trunks: a batch of arrows into one box from one side, drawn as one bundle.
+ *
+ * A node that four relations point at is drawn as four ports along its side and four lines converging on it. Each
+ * line is right on its own, and the picture is wrong: the bundle reads as a comb, and a reader counts ports to count
+ * arrows. The mature layered implementations solve this by merging the edges - ELK's *Merge Edges* with junction
+ * points, Graphviz's `concentrate` - and the shape they produce is one straight run outside the node, with a branch
+ * joining it wherever a separate edge arrives, and one shared stub into the node.
+ *
+ * This module decides only which ends may merge, where the shared run sits and which of the branches becomes the
+ * shared entry. It is pure geometry over boxes and ports, so the rules can be asserted without a canvas; the painter
+ * draws the answer.
+ *
+ * The rules, and why each one exists:
+ *
+ * - **One target, one entry side.** Edges that arrive from different sides are travelling in different directions,
+ *   and a trunk that changed axis would be two trunks.
+ * - **The exit faces the trunk.** A branch arrives at the trunk along the direction its own port leaves by, so the
+ *   trunk is outside the source as well as outside the target. An end that does not face the trunk is not merged: it
+ *   would have to turn before it got there, which is the bend the merge was supposed to save.
+ * - **Distinct sources, three or more.** Two merged edges read as one thick line. A pair of relations about one pair
+ *   has its own, older rule - they stay visibly apart - and that rule is the distinct-source rule here: two
+ *   statements about one pair share their source, so they can never both be a branch of one trunk.
+ * - **One arrow semantics.** A composition and an association are different statements about the relation; drawn on
+ *   one trunk they would be read as one statement. Ends that disagree on their arrow are not merged with each other.
+ * - **Clear of every box.** A trunk that crosses a box is the same defect as a route that does, and it is worse here
+ *   because it is drawn once for the whole bundle.
+ * - **One trunk per line.** Two groups whose trunks would be drawn on one line would read as one bundle between two
+ *   unrelated targets, so the later group is refused.
+ *
+ * The shared entry is the middle of the target's side. A bundle enters the target through one port, and a side that
+ * carries one port is centred on it, so the trunk runs to the middle and every branch joins it there: the branches
+ * that are not in the middle bend, which is the price of one entry that reads as centred rather than one that leans
+ * towards whichever branch happened to arrive straightest.
+ *
+ * Merging forces every branch but one to bend twice, so an unmerged drawing of `k` straight branches costs
+ * `2 * (n - k)` bends and a merged one costs `2 * (n - 1)`; the branch nearest the middle is the lead because it is
+ * the only one that can still reach the shared port without a horizontal leg, and on a target whose middle happens
+ * to fall on a branch's own line that branch is free, as before.
+ *
+ * What this module does not decide: the colour of a branch, the text of its label, and how a branch's own route
+ * reaches the trunk. Those belong to the painter.
+ */
+import { type Side } from './route.js';
+import type { Box } from './place.js';
+import type { EdgeArrow } from './model.js';
+/** One edge end, as the trunk planner reads it. */
+export interface TrunkEnd {
+    /** The edge's index in the diagram, so the painter can key its answer back to the edge. */
+    index: number;
+    from: string;
+    to: string;
+    /** The side the edge's port leaves by, and the side it arrives at, as the port stage decided them. */
+    exit: Side;
+    entry: Side;
+    /** The arrow the notation stated. Ends merge only when they agree on it; two unset arrows agree. */
+    arrow?: EdgeArrow;
+    /** The height of the run the channel stage gave the edge. An edge without one is not drawn by a run. */
+    runY?: number;
+}
+/** A port in the drawing's coordinates. Structural, so this module needs no import from the painter. */
+export interface TrunkPoint {
+    x: number;
+    y: number;
+}
+export interface TrunkInput {
+    ends: TrunkEnd[];
+    /** The box of a node, and nothing else: a boundary is not a trunk target, because an arrow points past it. */
+    boxOf: (id: string) => Box | undefined;
+    /** Every box the trunk and its branches must keep clear of. A boundary is not an obstacle, as on any route. */
+    boxes: Iterable<Box>;
+    /** Where an edge's own exit port sits, when it has one. The branch joins the trunk at that port's coordinate. */
+    exitPortOf: (index: number) => TrunkPoint | undefined;
+}
+/** One accepted bundle: what it merges, where its run sits, and which branch the target is entered by. */
+export interface TrunkGroup {
+    /** Position in `groups`, which is also the id a junction dot carries. */
+    id: number;
+    target: string;
+    side: Side;
+    /** The coordinate of the trunk line: a y when the trunk runs across, an x when it runs down. */
+    at: number;
+    /** The coordinate of the one port the bundle enters by: the middle of the target's side. */
+    entryAlong: number;
+    /** The two ends of the run, along the axis it moves on. A branch joins it between them. */
+    from: number;
+    to: number;
+    /** The member whose own exit is nearest the shared entry, and therefore the only branch that may still be a straight drop. */
+    lead: number;
+    /** The edges in the bundle, in the order the source wrote them. */
+    members: number[];
+}
+export interface TrunkPlan {
+    groups: TrunkGroup[];
+    /** By edge index: the id of the group it joined. An edge not in here travels alone. */
+    groupOf: Map<number, number>;
+}
+/**
+ * Decide which ends merge, and where each accepted trunk runs.
+ *
+ * Ends that cannot merge are simply absent from the plan; the painter draws them as it always has. Groups are
+ * ordered by the first member the source wrote, so the answer does not depend on map iteration order.
+ */
+export declare function planTrunks(input: TrunkInput): TrunkPlan;

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

@@ -0,0 +1,27 @@
+/**
+ * Wrapping: turning one endless column into a page.
+ *
+ * A chain of twelve boxes has twelve layers, and layering alone draws it as a single column taller than anything a
+ * reader can take in - a strip, not a drawing. Graphviz and ELK both answer this with a wrapping pass: cut the layer
+ * sequence into bands and stand the bands side by side, so reading order becomes "down the page, then the next
+ * column", the way text wraps.
+ *
+ * The cut is chosen, not guessed: each candidate number of bands is scored by how close the packed page gets to the
+ * aspect ratio a page and a landscape screen share, and the best one wins. A drawing that is already close to that
+ * shape is left alone - wrapping exists for the strip, not for every tall drawing.
+ *
+ * Pure: layer sizes in, band ranges and offsets out. The caller applies them.
+ */
+export interface BandRange {
+    /** The first and last layer the band holds, inclusive. */
+    first: number;
+    last: number;
+    /** How far right the band stands, relative to the first one. */
+    offsetX: number;
+}
+export interface BandPlan {
+    bands: BandRange[];
+    width: number;
+    height: number;
+}
+export declare function planBands(layerWidth: number[], layerHeight: number[], gap: number, aspect?: number): BandPlan;

package/package.json

@@ -1,148 +1,148 @@
-{
-  "name": "dsh-model-everything",
-  "version": "0.5.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"
-    },
-    "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/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.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"
+  }
+}