dsh-model-everything 0.6.0 → 0.6.2

package/lib/client.js

@@ -3837,6 +3837,30 @@ window.__ModuleLoader__.load({
       return block.replace(/\n+Question:\s*$/, "");
     }
     
+    // src/frame.ts
+    var CHROME_HEIGHT = 56;
+    function fullScreenFrame() {
+      return {
+        position: "fixed",
+        top: String(CHROME_HEIGHT) + "px",
+        left: "16px",
+        right: "16px",
+        bottom: "16px",
+        zIndex: "60"
+      };
+    }
+    function dismissOnBackdrop(full, onDismiss) {
+      if (!full || onDismiss === void 0) return {};
+      return {
+        onClick: (event) => {
+          if (event?.target === event?.currentTarget) onDismiss();
+        }
+      };
+    }
+    function leavesFullScreen(key) {
+      return key === "Escape";
+    }
+    
     // src/transcript.ts
     var TRANSCRIPT_MARKER = "Diagram annotations -";
     var QUESTION = "Question:";
@@ -4291,7 +4315,7 @@ window.__ModuleLoader__.load({
       const markup = typeof returned === "string" && returned !== "" ? returned : null;
       const hasDrawing = markup !== null || typeof source === "string" && source.trim() !== "";
       const useState = React.useState;
-      if (useState === void 0) return cardSurface(React, source, markup, scheme, overrides, null, null, null, null);
+      if (useState === void 0) return cardSurface(React, source, markup, scheme, overrides, null, null, null);
       const [annotate, setAnnotate] = useState(false);
       const [picked, setPicked] = useState(null);
       const [note, setNote] = useState("");
@@ -4301,7 +4325,6 @@ window.__ModuleLoader__.load({
       const [pending, setPending] = useState([]);
       const [open, setOpen] = useState(false);
       const [sent, setSent] = useState("");
-      const [report, setReport] = useState("");
       const [, setDockTick] = useState(0);
       const [dockFix, setDockFix] = useState({ dx: 0, dy: 0 });
       React.useEffect?.(() => {
@@ -4348,6 +4371,17 @@ window.__ModuleLoader__.load({
       }, []);
       const [zoom, setZoom] = useState(1);
       const [full, setFull] = useState(false);
+      React.useEffect?.(() => {
+        if (!full) return void 0;
+        const doc = globalThis.document;
+        const onKey = (event) => {
+          if (leavesFullScreen(event?.key)) setFull(false);
+        };
+        doc?.addEventListener?.("keydown", onKey);
+        return () => {
+          doc?.removeEventListener?.("keydown", onKey);
+        };
+      }, [full]);
       if (!hasDrawing) {
         const keys = props.block === null || typeof props.block !== "object" ? "none" : Object.keys(props.block).join(",");
         return React.createElement("div", { style: { fontSize: "12px", opacity: 0.7 } }, "no drawing in this call \xB7 block: " + (keys === "" ? "empty" : keys));
@@ -4404,17 +4438,6 @@ window.__ModuleLoader__.load({
           }
         }, style: { fontSize: "11px", lineHeight: "16px", padding: "1px 6px", borderRadius: "5px", border: "1px solid " + TOKEN.border, background: "transparent", color: TOKEN.text, cursor: "pointer" } }, annotate ? t("noteOn") : t("note")),
         annotate && picked === null ? React.createElement("span", { style: { fontSize: "11px", opacity: 0.7 } }, "\u70B9\u4E00\u4E2A\u8282\u70B9") : null,
-        React.createElement("button", {
-          type: "button",
-          onClick: () => {
-            try {
-              setReport(domReport());
-            } catch (error) {
-              setReport("report failed: " + String(error?.message ?? error));
-            }
-          },
-          style: { fontSize: "11px", lineHeight: "16px", padding: "1px 6px", borderRadius: "5px", border: "1px solid " + TOKEN.border, background: "transparent", color: TOKEN.dim, cursor: "pointer" }
-        }, "\u8BCA\u65AD"),
         sent === "" ? null : React.createElement("span", {
           style: { fontSize: "11px", lineHeight: "16px", padding: "1px 6px", borderRadius: "9px", border: "1px solid " + TOKEN.border, color: TOKEN.dim, whiteSpace: "nowrap" }
         }, sent)
@@ -4460,12 +4483,9 @@ window.__ModuleLoader__.load({
         // The count is the body-level layer; this panel keeps the editor, which still needs its anchor.
         { document, dockChip: false }
       ) : null;
-      const reportPanel = report === "" ? null : React.createElement("pre", {
-        style: { margin: "6px 0 0", padding: "8px", borderRadius: "8px", border: "1px solid " + TOKEN.border, background: "rgba(127,127,127,0.08)", font: "11px ui-monospace, monospace", whiteSpace: "pre-wrap", userSelect: "text", maxHeight: "220px", overflow: "auto" }
-      }, report);
-      return cardSurface(React, source, markup, scheme, overrides, onPick, toggle, panel, reportPanel, { zoom: Number(zoom), full: Boolean(full), onZoom: (next) => setZoom(next), onFull: (next) => setFull(next) });
+      return cardSurface(React, source, markup, scheme, overrides, onPick, toggle, panel, { zoom: Number(zoom), onDismiss: () => setFull(false), full: Boolean(full), onZoom: (next) => setZoom(next), onFull: (next) => setFull(next) });
     }
-    function cardSurface(React, source, returned, scheme, overrides, onClick, toggle, panel, report, view = { zoom: 1, full: false, onZoom: () => {
+    function cardSurface(React, source, returned, scheme, overrides, onClick, toggle, panel, view = { zoom: 1, full: false, onZoom: () => {
     }, onFull: () => {
     } }) {
       if (returned === null && (typeof source !== "string" || source.trim() === "")) {
@@ -4504,12 +4524,11 @@ window.__ModuleLoader__.load({
         "div",
         { style: { position: "relative", background: drawn.colours.background, padding: "6px", maxHeight: view.full ? "none" : "260px", overflow: "auto", flex: "1 1 auto", minHeight: "0" } },
         drawing,
-        panel,
-        report
+        panel
       );
-      const frame = view.full ? { position: "fixed", inset: "16px", zIndex: 60, display: "flex", flexDirection: "column", ...chrome, boxShadow: "0 12px 40px rgba(0,0,0,0.35)" } : { display: "flex", flexDirection: "column", ...chrome };
+      const frame = view.full ? { ...fullScreenFrame(), display: "flex", flexDirection: "column", ...chrome, boxShadow: "0 12px 40px rgba(0,0,0,0.35)" } : { display: "flex", flexDirection: "column", ...chrome };
       const children = [header, body, refused].filter((child) => child !== null);
-      return React.createElement("div", { style: frame }, ...children);
+      return React.createElement("div", { style: frame, ...dismissOnBackdrop(view.full, view.onDismiss) }, ...children);
     }
     function currentSessionId() {
       const sessions = services?.get?.("sessions");
@@ -4657,7 +4676,6 @@ window.__ModuleLoader__.load({
           } else {
             hit = findBlockElement(doc);
           }
-          chipAttempt = hit === void 0 ? "not found, try " + String(tries) : "found";
           if (hit !== void 0) {
             insertChipAfter(doc, hit, label);
             return;
@@ -4696,7 +4714,6 @@ window.__ModuleLoader__.load({
     var dockReact;
     var dockEl;
     var dockRetries = 0;
-    var chipAttempt = "not attempted";
     var chipAnchor;
     var chipScrollWatched = false;
     var dockReceipt = "";
@@ -5013,39 +5030,6 @@ window.__ModuleLoader__.load({
       } catch {
       }
     }
-    function domReport() {
-      const doc = globalThis.document;
-      if (doc === void 0) return "no document";
-      const lines = [];
-      const rect = (el) => {
-        const r = el?.getBoundingClientRect?.();
-        return r === void 0 || r === null ? "absent" : [Math.round(r.left), Math.round(r.top), Math.round(r.width), Math.round(r.height)].join(",");
-      };
-      const probe = (name, selector) => {
-        const el = doc.querySelector(selector);
-        lines.push(name + " " + (el === null || el === void 0 ? "absent" : "l,t,w,h=" + rect(el)));
-      };
-      probe("[data-composer-card]", "[data-composer-card]");
-      probe("[data-composer-seat]", "[data-composer-seat]");
-      probe("textarea/contenteditable", 'textarea, [contenteditable="true"]');
-      probe("[data-annotation-chip]", "[data-annotation-chip]");
-      probe("[data-conversation-scroll]", "[data-conversation-scroll]");
-      probe("widthHandle", '[class*="widthHandle"]');
-      const dock = doc.querySelector("[data-dme-dock]");
-      lines.push("dock " + (dock === null ? "absent" : "l,t,w,h=" + rect(dock) + " connected=" + String(dock.isConnected)));
-      const chips = doc.querySelectorAll("[data-dme-chip]");
-      lines.push("chips " + String(chips.length) + " " + Array.from(chips).map((chip) => rect(chip)).join(" | "));
-      lines.push("pendingBlock " + String(pendingBlock === "" ? "empty" : pendingBlock.split(String.fromCharCode(10)).length + " lines"));
-      lines.push("chipAttempt " + chipAttempt);
-      lines.push("dockedCount " + String(dockReact?.count ?? 0) + " placedText " + String(placedText.length));
-      lines.push("viewport " + String(globalThis.innerWidth) + "x" + String(globalThis.innerHeight));
-      const report = lines.join(String.fromCharCode(10));
-      try {
-        globalThis.console?.log?.(report);
-      } catch {
-      }
-      return report;
-    }
     function installEnterCapture() {
       if (pendingBlock === "") return;
       const doc = globalThis.document;

package/lib/frame.js

@@ -0,0 +1,40 @@
+/**
+ * Where the full-screen card sits, and what a click on it means.
+ *
+ * The card is an overlay inside a page that already has a title bar. A full-bleed `inset: 0` sat on top of the
+ * window's own minimize/maximize/close controls and left no way out but the controls it was covering, so the
+ * top edge starts below that bar. Two ways out are part of the behaviour, not an extra: Escape, and a click on
+ * the margin around the card.
+ */
+/** Height of the window chrome the overlay must not cover. */
+const CHROME_HEIGHT = 56;
+export function fullScreenFrame() {
+    return {
+        position: 'fixed',
+        top: String(CHROME_HEIGHT) + 'px',
+        left: '16px',
+        right: '16px',
+        bottom: '16px',
+        zIndex: '60',
+    };
+}
+/**
+ * The click handler for the overlay, or nothing when the card is not full screen.
+ *
+ * Only the overlay itself counts: the margin around the card is the reader saying "leave", while a click
+ * inside the card is the reader using it.
+ */
+export function dismissOnBackdrop(full, onDismiss) {
+    if (!full || onDismiss === undefined)
+        return {};
+    return {
+        onClick: (event) => {
+            if (event?.target === event?.currentTarget)
+                onDismiss();
+        },
+    };
+}
+/** Whether a key ends full screen. Escape does; nothing else in this UI does. */
+export function leavesFullScreen(key) {
+    return key === 'Escape';
+}

package/lib/gate.js

@@ -93,9 +93,9 @@ export function renderGateText(skills = shippedSkills(), extraGuidance = '') {
     const rows = skills.map((skill) => '| ' + (SKILL_ROWS[skill] ?? 'see its catalog line') + ' | `' + skill + '` |');
     const extra = extraGuidance.trim();
     return `<EXTREMELY_IMPORTANT>
-Before answering anything about code, a design or a diagram: load the skill whose row matches and let its tool decide. Do not answer from memory.
+Before answering anything about code, a design or a diagram: load the matching skill and let its tool decide. Do not answer from memory.
 
-dsh-model-everything is active: it checks claims about designs and code - facts against the source, behaviour as a model, structure as a graph.
+dsh-model-everything checks claims about designs and code: facts against the source, behaviour as a model, structure as a graph.
 
 **Unsure which row applies?** Load \`model-everything\` first: it owns the doctrine, the schema and the routing to its siblings.
 
@@ -105,17 +105,19 @@ ${rows.join('\n')}
 
 **Tools** (dsh):
 
-- \`model_verify\` — one state machine: structural checks, adversarial probes, budgets, deadlines, regression.
-- \`model_compose_verify\` — two or more machines: deadlock, a rendezvous that never fires, and - with \`shared\` + \`accesses\` - an unordered write (C4) or a non-atomic update (C5).
-- \`model_datamodel_verify\` — a data model and its migration: keys, domains, coverage, copy consistency, rollback symmetry.
-- \`model_design_review\` — a design against its own declarations: layering, boundaries, substitutability, interface width. Graph shape is reported, not judged.
-- \`model_interleaving_scan\` — finds claims about threads, async and interrupts, names the family and routes each to what decides it. It proves nothing itself.
-- \`model_export\` — UPPAAL, TLA+, PRISM or SPIN input from a model. It exports; it does not check the target.
-- \`uml_render\`, \`uml_parse\`, \`uml_review\` — draw a model, read a diagram into one, audit one. Round-trip fidelity is measured.
-- \`uml_explain_labels\` — the accepted label and comment forms for one notation.
-- \`uml_structure_verify\` — dependency review of a structure drawing, one level or several. It audits the drawing, not the code.
-- \`diagram_render\`, \`diagram_review\`, \`diagram_diff\` — draw, size and compare a Mermaid or PlantUML source. Undrawable lines are refused by number.
-- \`report_diff\` — baseline against current: what a change added, removed or changed.
+- \`model_verify\` — a state machine: structural checks, adversarial probes, budgets, deadlines, regression.
+- \`model_compose_verify\` — several machines: deadlock, a handshake that never fires, an unordered write (C4), a non-atomic update (C5).
+- \`model_datamodel_verify\` — a data model and its migration: keys, domains, coverage, copy consistency, rollback.
+- \`model_design_review\` — a design against its own declarations: layering, boundaries, substitutability, interface width.
+- \`model_interleaving_scan\` — finds concurrency claims, names the family, routes each to what decides it. Proves nothing itself.
+- \`model_export\` — UPPAAL, TLA+, PRISM or SPIN input from a model. It does not check the target.
+- \`uml_render\`, \`uml_parse\`, \`uml_review\` — draw a model, read a diagram into one, audit one; round-trip measured.
+- \`uml_explain_labels\` — the label and comment forms a notation accepts.
+- \`uml_structure_verify\` — dependency review of a structure drawing. It audits the drawing, not the code.
+- \`diagram_render\`, \`diagram_review\`, \`diagram_diff\` — draw, size, compare a Mermaid or PlantUML source. Undrawable lines are refused by number.
+- \`model_automaton_verify\` — an automaton or two: what it accepts, trap states, language relation, with a witness word.
+- \`model_edit\` — one named change to a model file plus the finding delta. Refuses an edit that leaves the model invalid.
+- \`report_diff\` — baseline against current: findings added, removed or changed.
 
 **Read a report**: gate on \`verdict\`, never on \`ok\`. \`verdictReason\` says why and \`nextSteps\` says what to do. \`ran\` says whether it executed, \`checksRun\` how much it examined: a \`skip\` is not a \`pass\`, and a code ending \`_UNDECIDED\` means the search hit its limit and decided nothing. Keys starting with \`_\` are notes: ignored, and left out of the model hash.
 

package/lib/types/frame.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Where the full-screen card sits, and what a click on it means.
+ *
+ * The card is an overlay inside a page that already has a title bar. A full-bleed `inset: 0` sat on top of the
+ * window's own minimize/maximize/close controls and left no way out but the controls it was covering, so the
+ * top edge starts below that bar. Two ways out are part of the behaviour, not an extra: Escape, and a click on
+ * the margin around the card.
+ */
+export declare function fullScreenFrame(): Record<string, string>;
+/**
+ * The click handler for the overlay, or nothing when the card is not full screen.
+ *
+ * Only the overlay itself counts: the margin around the card is the reader saying "leave", while a click
+ * inside the card is the reader using it.
+ */
+export declare function dismissOnBackdrop(full: boolean, onDismiss?: () => void): {
+    onClick?: (event: {
+        target?: unknown;
+        currentTarget?: unknown;
+    }) => void;
+};
+/** Whether a key ends full screen. Escape does; nothing else in this UI does. */
+export declare function leavesFullScreen(key: string | undefined): boolean;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-model-everything",
-  "version": "0.6.0",
+  "version": "0.6.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",

package/skills/model-everything/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: model-everything
-description: "Use when a document claims something checkable about code: API names, paths, enums, feasibility, protocol behaviour, timing, 'always/never'. Enumerates the claims and verifies each with file:line evidence, then builds an executable model when behaviour or safety is at stake. Siblings: model-everything-diagram, -uml, -design, -interleaving, -datamodel, -structure.""
+description: "Use when a document claims something checkable about code: API names, paths, enums, feasibility, protocol behaviour, timing, 'always/never'. Enumerates the claims and verifies each with file:line evidence, then builds an executable model when behaviour or safety is at stake. Siblings: model-everything-diagram, -uml, -design, -interleaving, -datamodel, -structure."
 ---
 
 # Model Everything

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, 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.""
+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

package/src/client.ts

@@ -18,6 +18,7 @@ import { render } from './render/index.js'
 import { toSvg } from './render/svg.js'
 import { viewModel } from './render/viewmodel.js'
 import { annotationBlock, annotationMessage, composerRect, fillComposer, findComposer, pageCensus, prependBlock, pushBlock, pushNote, sessionFromLocation, submitComposer, withoutEmptyQuestion, type DocumentLike } from './annotation.js'
+import { dismissOnBackdrop, fullScreenFrame, leavesFullScreen } from './frame.js'
 import { decorateTranscript, startTranscriptDecoration, type TranscriptDocument as TranscriptDocumentForClient } from './transcript.js'
 
 export interface ReactLike {
@@ -375,7 +376,7 @@ function drawingCard(React: ReactLike, props: ToolCallProps, overrides: Partial<
   // conversation view down with it.
   const hasDrawing = markup !== null || (typeof source === 'string' && source.trim() !== '')
   const useState = React.useState
-  if (useState === undefined) return cardSurface(React, source, markup, scheme, overrides, null, null, null, null)
+  if (useState === undefined) return cardSurface(React, source, markup, scheme, overrides, null, null, null)
   const [annotate, setAnnotate] = useState(false)
   const [picked, setPicked] = useState<{ id: string } | null>(null)
   const [note, setNote] = useState('')
@@ -386,8 +387,6 @@ function drawingCard(React: ReactLike, props: ToolCallProps, overrides: Partial<
   const [open, setOpen] = useState(false)
   // A note that left: this plugin's own chrome says so, where no other plugin works.
   const [sent, setSent] = useState('')
-  // A self-report the reader can copy in one click, so a UI question is answered with facts instead of screenshots.
-  const [report, setReport] = useState('')
   // The composer grows when a picture is pasted, and the docked control has to follow it.
   const [, setDockTick] = useState(0)
   // `position: fixed` is relative to the nearest transformed ancestor, not to the viewport. The chip therefore
@@ -435,6 +434,15 @@ function drawingCard(React: ReactLike, props: ToolCallProps, overrides: Partial<
   }, [])
   const [zoom, setZoom] = useState(1)
   const [full, setFull] = useState(false)
+  // Escape leaves full screen. Document-level because the overlay is not focusable and the reader may not have
+  // clicked into it yet.
+  React.useEffect?.(() => {
+    if (!full) return undefined
+    const doc = (globalThis as { document?: { addEventListener?: (type: string, fn: (event: { key?: string }) => void) => void; removeEventListener?: (type: string, fn: (event: { key?: string }) => void) => void } }).document
+    const onKey = (event: { key?: string }): void => { if (leavesFullScreen(event?.key)) setFull(false) }
+    doc?.addEventListener?.('keydown', onKey)
+    return () => { doc?.removeEventListener?.('keydown', onKey) }
+  }, [full])
   if (!hasDrawing) {
     const keys = props.block === null || typeof props.block !== 'object' ? 'none' : Object.keys(props.block as Record<string, unknown>).join(',')
     return React.createElement('div', { style: { fontSize: '12px', opacity: 0.7 } }, 'no drawing in this call · block: ' + (keys === '' ? 'empty' : keys))
@@ -494,13 +502,7 @@ function drawingCard(React: ReactLike, props: ToolCallProps, overrides: Partial<
     { style: { display: 'flex', gap: '6px', alignItems: 'center' } },
     React.createElement('button', { type: 'button', title: 'Point at a node and send a note about it', onClick: () => { setAnnotate(!annotate); setStatus(''); if (annotate) { setPicked(null); setNote('') } }, style: { fontSize: '11px', lineHeight: '16px', padding: '1px 6px', borderRadius: '5px', border: '1px solid ' + TOKEN.border, background: 'transparent', color: TOKEN.text, cursor: 'pointer' } }, annotate ? t('noteOn') : t('note')),
     annotate && picked === null ? React.createElement('span', { style: { fontSize: '11px', opacity: 0.7 } }, '点一个节点') : null,
-    React.createElement('button', {
-      type: 'button',
-      onClick: () => {
-        try { setReport(domReport()) } catch (error) { setReport('report failed: ' + String((error as { message?: unknown })?.message ?? error)) }
-      },
-      style: { fontSize: '11px', lineHeight: '16px', padding: '1px 6px', borderRadius: '5px', border: '1px solid ' + TOKEN.border, background: 'transparent', color: TOKEN.dim, cursor: 'pointer' },
-    }, '诊断'),
+
     sent === '' ? null : React.createElement('span', {
       style: { fontSize: '11px', lineHeight: '16px', padding: '1px 6px', borderRadius: '9px', border: '1px solid ' + TOKEN.border, color: TOKEN.dim, whiteSpace: 'nowrap' },
     }, sent),
@@ -536,14 +538,11 @@ function drawingCard(React: ReactLike, props: ToolCallProps, overrides: Partial<
         { document, dockChip: false },
       )
     : null
-  const reportPanel = report === '' ? null : React.createElement('pre', {
-    style: { margin: '6px 0 0', padding: '8px', borderRadius: '8px', border: '1px solid ' + TOKEN.border, background: 'rgba(127,127,127,0.08)', font: '11px ui-monospace, monospace', whiteSpace: 'pre-wrap', userSelect: 'text', maxHeight: '220px', overflow: 'auto' },
-  }, report)
-  return cardSurface(React, source, markup, scheme, overrides, onPick, toggle, panel, reportPanel, { zoom: Number(zoom), full: Boolean(full), onZoom: (next: number) => setZoom(next), onFull: (next: boolean) => setFull(next) })
+  return cardSurface(React, source, markup, scheme, overrides, onPick, toggle, panel, { zoom: Number(zoom), onDismiss: () => setFull(false), full: Boolean(full), onZoom: (next: number) => setZoom(next), onFull: (next: boolean) => setFull(next) })
 }
 
 /** The drawing itself, plus whatever the reader is doing to it. One surface, drawn once. */
-function cardSurface(React: ReactLike, source: unknown, returned: string | null, scheme: PaletteScheme, overrides: Partial<Palette>, onClick: ((event: never) => void) | null, toggle: unknown, panel: unknown, report: unknown, view: { zoom: number; full: boolean; onZoom: (next: number) => void; onFull: (next: boolean) => void } = { zoom: 1, full: false, onZoom: () => {}, onFull: () => {} }): unknown {
+function cardSurface(React: ReactLike, source: unknown, returned: string | null, scheme: PaletteScheme, overrides: Partial<Palette>, onClick: ((event: never) => void) | null, toggle: unknown, panel: unknown, view: { zoom: number; full: boolean; onZoom: (next: number) => void; onFull: (next: boolean) => void; onDismiss?: () => void } = { zoom: 1, full: false, onZoom: () => {}, onFull: () => {} }): unknown {
   if (returned === null && (typeof source !== 'string' || source.trim() === '')) {
     return React.createElement('div', { style: { fontSize: '12px', opacity: 0.7 } }, 'no drawing in this call')
   }
@@ -595,13 +594,12 @@ function cardSurface(React: ReactLike, source: unknown, returned: string | null,
     { style: { position: 'relative', background: drawn.colours.background, padding: '6px', maxHeight: view.full ? 'none' : '260px', overflow: 'auto', flex: '1 1 auto', minHeight: '0' } },
     drawing,
     panel,
-    report,
   )
   const frame = view.full
-    ? { position: 'fixed' as const, inset: '16px', zIndex: 60, display: 'flex', flexDirection: 'column', ...chrome, boxShadow: '0 12px 40px rgba(0,0,0,0.35)' }
+    ? { ...fullScreenFrame(), display: 'flex', flexDirection: 'column', ...chrome, boxShadow: '0 12px 40px rgba(0,0,0,0.35)' }
     : { display: 'flex', flexDirection: 'column', ...chrome }
   const children = [header, body, refused].filter((child) => child !== null)
-  return React.createElement('div', { style: frame }, ...children)
+  return React.createElement('div', { style: frame, ...dismissOnBackdrop(view.full, view.onDismiss) }, ...children)
 }
 
 /**
@@ -857,7 +855,6 @@ function attachBelowBubble(label: string, typed: string): void {
       } else {
         hit = findBlockElement(doc)
       }
-      chipAttempt = hit === undefined ? 'not found, try ' + String(tries) : 'found'
       if (hit !== undefined) { insertChipAfter(doc, hit, label); return }
     } catch { /* a chip not shown is not a broken message */ }
     if (tries < 20) timer(attempt, 500)
@@ -908,8 +905,6 @@ let dockReact: { count: number; open: boolean; items: Array<{ nodeId: string; no
 
 let dockEl: any
 let dockRetries = 0
-// What the last attempt to place the per-message count saw, for the diagnostic report.
-let chipAttempt = 'not attempted'
 let chipAnchor: any
 let chipScrollWatched = false
 let dockReceipt = ''
@@ -1238,43 +1233,7 @@ function observeDivider(doc: any): void {
   } catch { /* a missing handle is a layout that never changes */ }
 }
 
-/**
- * One click, one paste: what the page actually contains.
- *
- * Every layout question so far cost a screenshot and a guess. The facts that decide those questions are cheap to
- * collect - which anchors exist, where they are, whether our nodes are still in the document - so they are
- * collected here and shown as selectable text.
- */
-function domReport(): string {
-  const doc = (globalThis as { document?: any }).document
-  if (doc === undefined) return 'no document'
-  const lines: string[] = []
-  const rect = (el: any): string => {
-    const r = el?.getBoundingClientRect?.()
-    return r === undefined || r === null ? 'absent' : [Math.round(r.left), Math.round(r.top), Math.round(r.width), Math.round(r.height)].join(',')
-  }
-  const probe = (name: string, selector: string): void => {
-    const el = doc.querySelector(selector)
-    lines.push(name + ' ' + (el === null || el === undefined ? 'absent' : 'l,t,w,h=' + rect(el)))
-  }
-  probe('[data-composer-card]', '[data-composer-card]')
-  probe('[data-composer-seat]', '[data-composer-seat]')
-  probe('textarea/contenteditable', 'textarea, [contenteditable="true"]')
-  probe('[data-annotation-chip]', '[data-annotation-chip]')
-  probe('[data-conversation-scroll]', '[data-conversation-scroll]')
-  probe('widthHandle', '[class*="widthHandle"]')
-  const dock = doc.querySelector('[data-dme-dock]')
-  lines.push('dock ' + (dock === null ? 'absent' : 'l,t,w,h=' + rect(dock) + ' connected=' + String(dock.isConnected)))
-  const chips = doc.querySelectorAll('[data-dme-chip]')
-  lines.push('chips ' + String(chips.length) + ' ' + Array.from(chips).map((chip) => rect(chip)).join(' | '))
-  lines.push('pendingBlock ' + String(pendingBlock === '' ? 'empty' : pendingBlock.split(String.fromCharCode(10)).length + ' lines'))
-  lines.push('chipAttempt ' + chipAttempt)
-  lines.push('dockedCount ' + String(dockReact?.count ?? 0) + ' placedText ' + String(placedText.length))
-  lines.push('viewport ' + String((globalThis as { innerWidth?: number }).innerWidth) + 'x' + String((globalThis as { innerHeight?: number }).innerHeight))
-  const report = lines.join(String.fromCharCode(10))
-  try { (globalThis as { console?: { log?: (value: string) => void } }).console?.log?.(report) } catch { /* console may be gone */ }
-  return report
-}
+
 
 function refreshDock(): void { scheduleDock() }
 function installEnterCapture(): void {

package/src/frame.ts

@@ -0,0 +1,42 @@
+/**
+ * Where the full-screen card sits, and what a click on it means.
+ *
+ * The card is an overlay inside a page that already has a title bar. A full-bleed `inset: 0` sat on top of the
+ * window's own minimize/maximize/close controls and left no way out but the controls it was covering, so the
+ * top edge starts below that bar. Two ways out are part of the behaviour, not an extra: Escape, and a click on
+ * the margin around the card.
+ */
+
+/** Height of the window chrome the overlay must not cover. */
+const CHROME_HEIGHT = 56
+
+export function fullScreenFrame(): Record<string, string> {
+  return {
+    position: 'fixed',
+    top: String(CHROME_HEIGHT) + 'px',
+    left: '16px',
+    right: '16px',
+    bottom: '16px',
+    zIndex: '60',
+  }
+}
+
+/**
+ * The click handler for the overlay, or nothing when the card is not full screen.
+ *
+ * Only the overlay itself counts: the margin around the card is the reader saying "leave", while a click
+ * inside the card is the reader using it.
+ */
+export function dismissOnBackdrop(full: boolean, onDismiss?: () => void): { onClick?: (event: { target?: unknown; currentTarget?: unknown }) => void } {
+  if (!full || onDismiss === undefined) return {}
+  return {
+    onClick: (event) => {
+      if (event?.target === event?.currentTarget) onDismiss()
+    },
+  }
+}
+
+/** Whether a key ends full screen. Escape does; nothing else in this UI does. */
+export function leavesFullScreen(key: string | undefined): boolean {
+  return key === 'Escape'
+}

package/src/gate.ts

@@ -111,9 +111,9 @@ export function renderGateText(skills: string[] = shippedSkills(), extraGuidance
   const rows = skills.map((skill) => '| ' + (SKILL_ROWS[skill] ?? 'see its catalog line') + ' | `' + skill + '` |')
   const extra = extraGuidance.trim()
   return `<EXTREMELY_IMPORTANT>
-Before answering anything about code, a design or a diagram: load the skill whose row matches and let its tool decide. Do not answer from memory.
+Before answering anything about code, a design or a diagram: load the matching skill and let its tool decide. Do not answer from memory.
 
-dsh-model-everything is active: it checks claims about designs and code - facts against the source, behaviour as a model, structure as a graph.
+dsh-model-everything checks claims about designs and code: facts against the source, behaviour as a model, structure as a graph.
 
 **Unsure which row applies?** Load \`model-everything\` first: it owns the doctrine, the schema and the routing to its siblings.
 
@@ -123,17 +123,19 @@ ${rows.join('\n')}
 
 **Tools** (dsh):
 
-- \`model_verify\` — one state machine: structural checks, adversarial probes, budgets, deadlines, regression.
-- \`model_compose_verify\` — two or more machines: deadlock, a rendezvous that never fires, and - with \`shared\` + \`accesses\` - an unordered write (C4) or a non-atomic update (C5).
-- \`model_datamodel_verify\` — a data model and its migration: keys, domains, coverage, copy consistency, rollback symmetry.
-- \`model_design_review\` — a design against its own declarations: layering, boundaries, substitutability, interface width. Graph shape is reported, not judged.
-- \`model_interleaving_scan\` — finds claims about threads, async and interrupts, names the family and routes each to what decides it. It proves nothing itself.
-- \`model_export\` — UPPAAL, TLA+, PRISM or SPIN input from a model. It exports; it does not check the target.
-- \`uml_render\`, \`uml_parse\`, \`uml_review\` — draw a model, read a diagram into one, audit one. Round-trip fidelity is measured.
-- \`uml_explain_labels\` — the accepted label and comment forms for one notation.
-- \`uml_structure_verify\` — dependency review of a structure drawing, one level or several. It audits the drawing, not the code.
-- \`diagram_render\`, \`diagram_review\`, \`diagram_diff\` — draw, size and compare a Mermaid or PlantUML source. Undrawable lines are refused by number.
-- \`report_diff\` — baseline against current: what a change added, removed or changed.
+- \`model_verify\` — a state machine: structural checks, adversarial probes, budgets, deadlines, regression.
+- \`model_compose_verify\` — several machines: deadlock, a handshake that never fires, an unordered write (C4), a non-atomic update (C5).
+- \`model_datamodel_verify\` — a data model and its migration: keys, domains, coverage, copy consistency, rollback.
+- \`model_design_review\` — a design against its own declarations: layering, boundaries, substitutability, interface width.
+- \`model_interleaving_scan\` — finds concurrency claims, names the family, routes each to what decides it. Proves nothing itself.
+- \`model_export\` — UPPAAL, TLA+, PRISM or SPIN input from a model. It does not check the target.
+- \`uml_render\`, \`uml_parse\`, \`uml_review\` — draw a model, read a diagram into one, audit one; round-trip measured.
+- \`uml_explain_labels\` — the label and comment forms a notation accepts.
+- \`uml_structure_verify\` — dependency review of a structure drawing. It audits the drawing, not the code.
+- \`diagram_render\`, \`diagram_review\`, \`diagram_diff\` — draw, size, compare a Mermaid or PlantUML source. Undrawable lines are refused by number.
+- \`model_automaton_verify\` — an automaton or two: what it accepts, trap states, language relation, with a witness word.
+- \`model_edit\` — one named change to a model file plus the finding delta. Refuses an edit that leaves the model invalid.
+- \`report_diff\` — baseline against current: findings added, removed or changed.
 
 **Read a report**: gate on \`verdict\`, never on \`ok\`. \`verdictReason\` says why and \`nextSteps\` says what to do. \`ran\` says whether it executed, \`checksRun\` how much it examined: a \`skip\` is not a \`pass\`, and a code ending \`_UNDECIDED\` means the search hit its limit and decided nothing. Keys starting with \`_\` are notes: ignored, and left out of the model hash.