dsh-background-by-model 0.4.3 → 0.4.5

package/lib/{host-scan-WjK2VGBe.js → host-scan-C6rdxkf8.js}

@@ -219,7 +219,8 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "selector",
 			selector: "div[role=\"dialog\"][aria-modal=\"true\"][aria-labelledby]",
-			optionalWhen: "settingsClosed"
+			optionalWhen: "settingsOpen",
+			visible: true
 		}],
 		sources: [{
 			path: "dsh-client-ui-primitives/lib/index.js",
@@ -275,7 +276,7 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "attr",
 			attr: "data-composer-card",
-			optionalWhen: "chatNotMounted"
+			optionalWhen: "chatHasMessages"
 		}],
 		sources: [{
 			path: "dsh-client-ui-conversation/lib/client.js",
@@ -301,7 +302,7 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "attr",
 			attr: "data-cordis-panel",
-			optionalWhen: "cordisClosed"
+			optionalWhen: "cordisMounted"
 		}],
 		sources: [{
 			path: "dsh-client-ui-cordis/lib/client.js",
@@ -327,7 +328,8 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "selector",
 			selector: "div[data-sidebar-right-panel]",
-			optionalWhen: "noRightPanel"
+			optionalWhen: "rightPanelMounted",
+			visible: true
 		}],
 		sources: [{
 			path: `${SIDEBAR_RIGHT}/lib/client.js`,
@@ -377,9 +379,10 @@ const HOST_CONTRACTS = [
 		},
 		target: "[data-dockkit-content]",
 		checks: [{
-			kind: "rule",
-			match: "[data-dockkit-content]",
-			hint: "dock tab host"
+			kind: "selector",
+			selector: "[data-dockkit-content]",
+			optionalWhen: "dockHasTab",
+			visible: true
 		}],
 		sources: [{
 			path: ".",
@@ -404,9 +407,9 @@ const HOST_CONTRACTS = [
 		},
 		target: "[data-dockkit-empty]",
 		checks: [{
-			kind: "rule",
-			match: "[data-dockkit-empty]",
-			hint: "dock empty seat"
+			kind: "selector",
+			selector: "[data-dockkit-empty]",
+			optionalWhen: "dockHasNoTab"
 		}],
 		sources: [{
 			path: `${SIDEBAR_RIGHT}/lib/client.js`,
@@ -430,9 +433,9 @@ const HOST_CONTRACTS = [
 		},
 		target: "[data-dockkit-float]",
 		checks: [{
-			kind: "rule",
-			match: "[data-dockkit-float]",
-			hint: "floating pane flag"
+			kind: "selector",
+			selector: "[data-dockkit-float]",
+			optionalWhen: "paneFloated"
 		}],
 		sources: [{
 			path: `${SIDEBAR_RIGHT}/lib/client.js`,
@@ -458,7 +461,8 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "selector",
 			selector: "[data-chat-flow]",
-			optionalWhen: "chatNotMounted"
+			optionalWhen: "chatHasMessages",
+			visible: true
 		}],
 		sources: [{
 			path: "dsh-client-ui-chat/lib/client.js",
@@ -484,7 +488,7 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "selector",
 			selector: "[data-conversation-scroll]",
-			optionalWhen: "chatNotMounted"
+			optionalWhen: "chatHasMessages"
 		}],
 		sources: [{
 			path: "dsh-client-ui-conversation/lib/client.js",
@@ -510,7 +514,7 @@ const HOST_CONTRACTS = [
 		checks: [{
 			kind: "selector",
 			selector: "[data-conversation-composer-overlay]",
-			optionalWhen: "trajectoryNotMounted"
+			optionalWhen: "trajectoryMounted"
 		}],
 		sources: [{
 			path: "dsh-client-ui-trajectory/lib/client.js",

package/lib/host-scan.js

@@ -1,2 +1,2 @@
-import { a as thisPluginDir, c as DSH_FLOOR, i as resolveHostRoots, l as HOST_CONTRACTS, n as listHostPackages, o as versionOf, r as meetsFloor, t as checkHostOnDisk } from "./host-scan-WjK2VGBe.js";
+import { a as thisPluginDir, c as DSH_FLOOR, i as resolveHostRoots, l as HOST_CONTRACTS, n as listHostPackages, o as versionOf, r as meetsFloor, t as checkHostOnDisk } from "./host-scan-C6rdxkf8.js";
 export { DSH_FLOOR, HOST_CONTRACTS, checkHostOnDisk, listHostPackages, meetsFloor, resolveHostRoots, thisPluginDir, versionOf };

package/lib/index.js

@@ -1,4 +1,4 @@
-import { t as checkHostOnDisk } from "./host-scan-WjK2VGBe.js";
+import { t as checkHostOnDisk } from "./host-scan-C6rdxkf8.js";
 import { access, mkdir, readFile, readdir, rename, rm, writeFile } from "node:fs/promises";
 import { fileURLToPath } from "node:url";
 import { dshHomePath } from "@deepseek-ai/dsh-home-paths";

package/lib/testing.js

@@ -1,4 +1,4 @@
-import { c as DSH_FLOOR, d as reportToMarkdown, f as symptomOf, i as resolveHostRoots, l as HOST_CONTRACTS, o as versionOf, p as verdictOf, r as meetsFloor, s as CONTRACT_GROUPS, t as checkHostOnDisk, u as labelOf } from "./host-scan-WjK2VGBe.js";
+import { c as DSH_FLOOR, d as reportToMarkdown, f as symptomOf, i as resolveHostRoots, l as HOST_CONTRACTS, o as versionOf, p as verdictOf, r as meetsFloor, s as CONTRACT_GROUPS, t as checkHostOnDisk, u as labelOf } from "./host-scan-C6rdxkf8.js";
 const UI_CSS = `
 /* The section is rendered INLINE inside the host settings dialog's content
  * column: the host provides the modal chrome (backdrop, centering, closing).
@@ -288,24 +288,43 @@ function browserEnv(ctx) {
 			if (host === null) return "";
 			return getComputedStyle(host).getPropertyValue(token).trim();
 		},
+		visible: (el) => {
+			if (el === null || typeof getComputedStyle !== "function") return true;
+			try {
+				return getComputedStyle(el).visibility !== "hidden";
+			} catch {
+				return true;
+			}
+		},
 		styleSheets: () => typeof document === "undefined" ? [] : Array.from(document.styleSheets),
 		ctx
 	};
 }
 const ANCHORS = {
-	settingsClosed: "div[role=\"dialog\"][aria-modal=\"true\"][aria-labelledby]",
-	chatNotMounted: "[data-chat-flow],[data-conversation-scroll]",
-	trajectoryNotMounted: "[data-conversation-composer-overlay]",
-	noRightPanel: "div[data-sidebar-right-panel],[data-dockkit-strip],[data-dockkit-pane]",
-	cordisClosed: "[data-cordis-panel]"
+	chatHasMessages: "[data-chat-turn]",
+	trajectoryMounted: "[data-conversation-composer-overlay]",
+	rightPanelMounted: "div[data-sidebar-right-panel],[data-dockkit-strip],[data-dockkit-pane]",
+	cordisMounted: "[data-cordis-panel]",
+	dockHasTab: "[data-dockkit-tab]",
+	dockHasNoTab: "[data-dockkit-empty],[data-dockkit-add-tab]",
+	paneFloated: "[data-dockkit-float],[data-sidebar-right-mode=\"float\"]",
+	settingsOpen: "div[role=\"dialog\"][aria-modal=\"true\"][aria-labelledby]"
 };
-function mounted(env, anchorId) {
+/**
+* Whether an anchor's surface is on screen.
+*
+* `optionalWhen: X` skips the check while this is FALSE — "the feature is not
+* observable right now", which is what the field name promises. Every anchor is
+* therefore written as a POSITIVE predicate (`dockHasTab`, `chatHasMessages`), and
+* an anchor whose name reads as an absence would silently invert its check.
+*/
+function anchorMounted(env, anchorId) {
 	const sel = ANCHORS[anchorId];
 	if (sel === void 0) return true;
 	try {
 		return env.querySelector(sel) !== null;
 	} catch {
-		return false;
+		return true;
 	}
 }
 /** Walk a dotted path off a root object, tolerating a missing first hop. */
@@ -371,7 +390,9 @@ function ruleMentioned(env, literal, side) {
 	}
 	return false;
 }
-/** Which sides of stylesheet the probe can actually read (a blind check must not fail). */
+/**
+* Which sides of stylesheet the probe can actually read (a blind check must not fail).
+*/
 function readability(env) {
 	const out = {
 		host: false,
@@ -451,14 +472,14 @@ function evaluate(env, check) {
 			};
 		}
 		case "selector": {
-			const present = env.querySelector(check.selector) !== null;
+			const el = env.querySelector(check.selector);
 			const name = `querySelector(${JSON.stringify(check.selector)})`;
-			if (present) return {
+			if (el !== null && (check.visible !== true || env.visible(el))) return {
 				status: "pass",
 				name,
 				detail: "element found"
 			};
-			if (check.optionalWhen !== void 0 && !mounted(env, check.optionalWhen)) return {
+			if (check.optionalWhen !== void 0 && !anchorMounted(env, check.optionalWhen)) return {
 				status: "skip",
 				name,
 				detail: "not on screen right now"
@@ -466,8 +487,8 @@ function evaluate(env, check) {
 			return {
 				status: "fail",
 				name,
-				detail: "no element matches",
-				reason: `no element matches ${check.selector} while its surface is on screen`
+				detail: el === null ? "no element matches" : "the element is hidden",
+				reason: el === null ? `no element matches ${check.selector} while its surface is on screen` : `${check.selector} is in the DOM but hidden while its surface is on screen`
 			};
 		}
 		case "attr": {
@@ -478,7 +499,7 @@ function evaluate(env, check) {
 				name,
 				detail: "attribute found"
 			};
-			if (check.optionalWhen !== void 0 && !mounted(env, check.optionalWhen)) return {
+			if (check.optionalWhen !== void 0 && !anchorMounted(env, check.optionalWhen)) return {
 				status: "skip",
 				name,
 				detail: "not on screen right now"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-background-by-model",
-  "version": "0.4.3",
+  "version": "0.4.5",
   "description": "Appearance plugin for DeepSeek Harness: an ordered list of model rules, each carrying its own wallpaper, theme color, layout mode, opacity and blur 鈥?the background follows the model you switch to.",
   "keywords": [
     "deepseek-harness",

package/test/host-check.test.mjs

@@ -1,19 +1,19 @@
 /**
- * The host self-check's own tests — run with
+ * The host self-check's own tests 鈥?run with
  *
  *   pnpm test
  *
  * Three things are covered, and they are the three that can rot silently:
  *
- *  1. **The contract table holds together** — unique ids, machine-checkable
+ *  1. **The contract table holds together** 鈥?unique ids, machine-checkable
  *     sources, a known criticality, and at least one check or an explicit
  *     "documentation only" marker. A contract point added without a source would
  *     otherwise be invisible to the offline scan.
- *  2. **The probe reports what is actually there** — the whole probe is driven
+ *  2. **The probe reports what is actually there** 鈥?the whole probe is driven
  *     against a fixture written in the shape of a host DOM, so "the host renamed
  *     `--dsw-specific-menu`" produces exactly the failure the panel claims, and a
  *     surface that is merely off screen produces `n/a` rather than a false alarm.
- *  3. **The UI stylesheet, and the one piece of version logic** — every `dab-*`
+ *  3. **The UI stylesheet, and the one piece of version logic** 鈥?every `dab-*`
  *     class a component uses is defined in it, and the floor comparison is exact
  *     on the release triple.
  *
@@ -36,7 +36,7 @@ const { HOST_CONTRACTS, DSH_FLOOR, probeContracts, verdictOf, meetsFloor, UI_CSS
 
 const { readFile, readdir } = await import('node:fs/promises')
 
-// ── 1. the contract table ────────────────────────────────────────────────────
+// 鈹€鈹€ 1. the contract table 鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€
 
 test('contract ids are unique and non-empty', () => {
   const seen = new Set()
@@ -75,30 +75,46 @@ test('critical contracts carry a check that can fail', () => {
   }
 })
 
-// ── 2. the probe, against a fixture in the shape of a host DOM ───────────────
+// 鈹€鈹€ 2. the probe, against a fixture in the shape of a host DOM 鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€
 
 /** A DOM stand-in with just enough selector support for the contract checks. */
 function makeDom(host) {
-  /** `selector → present`, including attribute and comma-OR forms. */
-  const matches = sel => {
-    for (const part of sel.split(',').map(p => p.trim())) {
-      if (host.has(part)) return true
-      const attr = /^\[([a-z-]+)\]$/.exec(part)
-      if (attr !== null && host.has(`[${attr[1]}]`)) return true
-    }
+  /**
+   * `selector 鈫?present`, including attribute and comma-OR forms. A descendant
+   * selector is satisfied when every compound in it is present 鈥?the stand-in has
+   * no tree, and the contracts are written so that "the elements exist" is the
+   * question being asked.
+   */
+  const one = part => {
+    // `*` is the universal selector: always satisfied.
+    if (part === '*') return true
+    if (host.has(part)) return true
+    const attr = /^\[([a-z-]+)\]$/.exec(part)
+    if (attr !== null && host.has(`[${attr[1]}]`)) return true
     return false
   }
+  const matches = sel => sel.split(',').map(p => p.trim()).some(
+    part => part.split(/\s+/).every(one),
+  )
   return {
-    querySelector: sel => (matches(sel) ? { style: {} } : null),
+    // The element remembers which selector found it: a stand-in has no box to
+    // measure, and several real attributes live on ONE element (the dock's tab
+    // host carries both the populated marker and the parked empty seat), so
+    // "is this element visible" has to be answered per element, not per fixture.
+    querySelector: sel => (matches(sel) ? { style: {}, foundBy: sel } : null),
     // Where the host publishes its palette: `body` in the real client, and the
     // fixture models exactly that. Reading the document element instead is what
     // made seven healthy tokens report as empty.
     tokenRoot: () => ({ style: {} }),
     // `on` is null for an unscoped token check (the probe reads it off the token
     // root) and the resolved element otherwise. The fixture answers from its own
-    // table either way — whether a value is readable is the host's own business,
+    // table either way 鈥?whether a value is readable is the host's own business,
     // and that is exactly what the table stands in for.
     computedValue: (token, _on) => (host.get(`computed:${token}`) ?? ''),
+    // A stand-in has no layout, so visibility is answered from an explicit table
+    // (`hidden:<selector>`). Anything unlisted counts as on screen 鈥?the
+    // conservative direction: an unanswerable question never fails a check.
+    visible: el => el === null || !host.has(`hidden:${el.foundBy}`),
     styleSheets: () => [],
   }
 }
@@ -111,7 +127,11 @@ const CORE_PRESENT = [
   '[data-composer-card]',
   '[data-cordis-panel]',
   '[data-chat-flow]',
+  '[data-chat-turn]',
   '[data-conversation-scroll]',
+  // The session root, so "no chat view" and "a chat view with nothing in it" can
+  // be told apart in the fixture the way they are in the host.
+  '[data-conversation-session]',
   '[data-conversation-composer-overlay]',
   '.dab-root',
   '[data-dockkit-strip]',
@@ -132,8 +152,8 @@ const PRESENT_TOKENS = [
 
 /**
  * The literals the HOST's stylesheets declare. The two halves of a token
- * contract ask different questions — `rule` = "does the host still declare this
- * name", `computed` = "does it resolve to a value" — so both are listed.
+ * contract ask different questions 鈥?`rule` = "does the host still declare this
+ * name", `computed` = "does it resolve to a value" 鈥?so both are listed.
  */
 const HOST_RULES = [
   '--dsw-menu-surface-fill', '--dsw-specific-menu', '--dsw-specific-sidebar-fill',
@@ -149,7 +169,7 @@ const OWN_RULES = ['.dab-card']
 /**
  * A stylesheet the probe may read.
  *
- * `own: true` writes this plugin's marker — the ONLY thing that tells our sheets
+ * `own: true` writes this plugin's marker 鈥?the ONLY thing that tells our sheets
  * apart from the host's, since the host's own CSS modules set `data-plugin` on
  * theirs, so a probe keying off that skips the entire host theme.
  *
@@ -185,19 +205,50 @@ function hostStyles(literals = HOST_RULES, ownLiterals = OWN_RULES) {
 /**
  * A fixture host: `selectors` are the ones that match, `rules` the literals the
  * host stylesheet declares, and every token in `PRESENT_TOKENS` resolves unless
- * the caller drops it.
+ * the caller drops it. `hidden` lists selectors that are present but parked off
+ * screen (`visibility:hidden`) 鈥?the state the dock's empty seat sits in.
  */
-function hostEnv({ ctx, selectors = CORE_PRESENT, rules = HOST_RULES, tokens = PRESENT_TOKENS }) {
+function hostEnv({ ctx, selectors = CORE_PRESENT, rules = HOST_RULES, tokens = PRESENT_TOKENS, hidden = [] }) {
   // A Map, not a Set: the fixture must answer with the token's VALUE, and only a
   // Map carries one (a Set has no `get`).
   const host = new Map()
   for (const s of selectors) host.set(s, true)
+  for (const s of hidden) host.set(`hidden:${s}`, true)
   for (const t of tokens) host.set(`computed:${t}`, '#123456')
   return { ...makeDom(host), styleSheets: () => hostStyles(rules), ctx }
 }
 
-/** The healthy fixture: nothing missing, every service published. */
-const healthyEnv = () => hostEnv({ ctx: healthyCtx() })
+/**
+ * The two states the dock alternates between. In the real DOM the tab host and
+ * the empty seat are different elements, and each contract's anchor is what says
+ * whether its own attribute can be observed — so the fixture provides the anchor
+ * for every contract it expects to answer, and omits the anchors of the ones it
+ * expects to read as n/a.
+ *
+ * The panel selector is listed twice on purpose: the fixture matches selectors by
+ * exact text (it has no tree to walk), and the contracts spell it both as
+ * `[data-sidebar-right-panel]` (the anchor) and `div[data-sidebar-right-panel]`
+ * (the check).
+ */
+const DOCK_POPULATED = [
+  '[data-sidebar-right-panel]',
+  'div[data-sidebar-right-panel]',
+  '[data-dockkit-tab]',
+  '[data-dockkit-content]',
+  '[data-dockkit-empty]',
+]
+const DOCK_EMPTY = [
+  '[data-sidebar-right-panel]',
+  'div[data-sidebar-right-panel]',
+  '[data-dockkit-empty]',
+]
+
+/** The healthy fixtures: nothing missing, every service published. */
+const healthyEnv = (dock = DOCK_POPULATED, extra = {}) => hostEnv({
+  ...extra,
+  ctx: healthyCtx(),
+  selectors: [...CORE_PRESENT, ...dock],
+})
 
 /** A context publishing the four services the model hop needs. */
 function healthyCtx(overrides = {}) {
@@ -211,11 +262,14 @@ function healthyCtx(overrides = {}) {
   return { get: id => services[id] }
 }
 
-test('a healthy host passes every contract', () => {
-  const results = probeContracts(healthyEnv(), 'en')
-  const failed = results.filter(r => r.status === 'fail')
-  assert.deepEqual(failed.map(r => r.id), [], `unexpected failures: ${failed.map(r => `${r.id}: ${r.reason}`).join('; ')}`)
-  assert.equal(verdictOf({ results, summary: { pass: results.length, fail: 0, skip: 0, total: results.length } }), 'ok')
+test('a healthy host passes every contract, in either dock state', () => {
+  for (const [name, dock] of [['populated tab', DOCK_POPULATED], ['empty seat', DOCK_EMPTY]]) {
+    const results = probeContracts(healthyEnv(dock), 'en')
+    const failed = results.filter(r => r.status === 'fail')
+    assert.deepEqual(failed.map(r => r.id), [],
+      `unexpected failures with a ${name}: ${failed.map(r => `${r.id}: ${r.reason}`).join('; ')}`)
+    assert.equal(verdictOf({ results, summary: { pass: results.length, fail: 0, skip: 0, total: results.length } }), 'ok')
+  }
 })
 
 test('a renamed menu token fails exactly that contract, and names the symptom', () => {
@@ -232,8 +286,8 @@ test('a renamed menu token fails exactly that contract, and names the symptom',
 
 test('a renamed token the host still aliases is caught by the rule half', () => {
   // The 0.1.7 menu split in reverse: the host keeps the OLD name working (aliased)
-  // but stops declaring the new one. `computed` still answers — which is exactly
-  // how that bug stayed silent — so the `rule` half is the only thing that can
+  // but stops declaring the new one. `computed` still answers 鈥?which is exactly
+  // how that bug stayed silent 鈥?so the `rule` half is the only thing that can
   // tell "renamed" from "still there".
   const env = hostEnv({
     ctx: healthyCtx(),
@@ -248,7 +302,7 @@ test('a renamed token the host still aliases is caught by the rule half', () =>
 
 test('a host that stops publishing the palette fails the computed half', () => {
   // The other failure shape: the name is still declared somewhere, but body no
-  // longer carries a value — the case that made 7 healthy tokens look empty when
+  // longer carries a value 鈥?the case that made 7 healthy tokens look empty when
   // the probe read the wrong element.
   const env = hostEnv({
     ctx: healthyCtx(),
@@ -270,7 +324,7 @@ test('a dropped session service fails the model hop', () => {
 test('the plugin\'s own token stylesheet cannot make a host check pass', () => {
   // The situation that produced the 0.1.7 white band: the plugin re-emits the
   // menu fill itself, so its own sheet declares the token. That re-emission must
-  // never be accepted as evidence about the HOST — otherwise the check is green
+  // never be accepted as evidence about the HOST 鈥?otherwise the check is green
   // by construction on exactly the host where the token was renamed away.
   const env = hostEnv({
     ctx: healthyCtx(),
@@ -287,7 +341,7 @@ test('the plugin\'s own token stylesheet cannot make a host check pass', () => {
   assert.equal(byId('token.menuSurface').status, 'fail')
   assert.match(byId('token.menuSurface').reason, /no host stylesheet declares/)
   assert.equal(byId('token.menuAlias').status, 'fail')
-  // …while the contract whose other half IS our own sheet still passes: this is
+  // 鈥hile the contract whose other half IS our own sheet still passes: this is
   // what `side: 'own'` is for, and why the two sides must never be merged.
   assert.equal(byId('settings.card').status, 'pass')
 })
@@ -304,9 +358,151 @@ test('a host sheet carrying data-plugin is not mistaken for ours', () => {
   assert.equal(results.find(r => r.id === 'token.bgBase').status, 'pass')
 })
 
+test('a closed dock holding only its empty seat is n/a, not a failure', () => {
+  // The state a healthy host sits in most of the time: the dock holds no tab, so
+  // `data-dockkit-content` (a JS-set attribute the host never styles) cannot be
+  // observed at all. It used to read as "no host stylesheet declares it" 鈥?a
+  // perfectly healthy host reported as broken.
+  const env = healthyEnv(DOCK_EMPTY)
+  const results = probeContracts(env, 'en')
+  const byId = id => results.find(r => r.id === id)
+  assert.equal(byId('dockkit.content').status, 'skip')
+  // The empty seat IS the thing on screen here, so its own contract answers — it
+  // is present (the host renders it visibly in this state; it is only parked and
+  // hidden once a tab opens).
+  assert.equal(byId('dockkit.empty').status, 'pass')
+  assert.equal(byId('dockkit.float').status, 'skip')
+  assert.deepEqual(results.filter(r => r.status === 'fail').map(r => r.id), [])
+})
+
+test('a populated dock reports its empty seat as n/a, not as missing', () => {
+  // The state the panel showed the user a red line for. With a tab open the host
+  // renders no seat on that screen at all — the seat is not the thing being shown —
+  // so the question has no answer there, which is n/a and must never be a failure.
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: [...CORE_PRESENT, 'div[data-sidebar-right-panel]', '[data-dockkit-tab]', '[data-dockkit-content]'],
+  })
+  const results = probeContracts(env, 'en')
+  const byId = id => results.find(r => r.id === id)
+  assert.equal(byId('dockkit.empty').status, 'skip')
+  assert.equal(byId('dockkit.content').status, 'pass')
+  assert.deepEqual(results.filter(r => r.status === 'fail').map(r => r.id), [])
+})
+
+test('a parked empty seat is still a pass, not a failure', () => {
+  // Presence is the whole question. The host parks the seat with
+  // `visibility:hidden` as tabs come and go, so asking whether it is VISIBLE is
+  // asking about a state the host uses both ways — which is how this contract ended
+  // up reporting a red line on a healthy dock.
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: [...CORE_PRESENT, 'div[data-sidebar-right-panel]', '[data-dockkit-add-tab]', '[data-dockkit-empty]'],
+    hidden: ['[data-dockkit-empty]'],
+  })
+  const results = probeContracts(env, 'en')
+  assert.equal(results.find(r => r.id === 'dockkit.empty').status, 'pass')
+})
+
+test('a seat that is gone while the dock is empty fails', () => {
+  // The real rename, and the one way this contract can fail: the dock is on screen
+  // with the host's "add a tab" button — so it holds no tab — and the seat is not
+  // there. (The old form tested the opposite state, a populated dock, instead.)
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: [...CORE_PRESENT, 'div[data-sidebar-right-panel]', '[data-dockkit-add-tab]'],
+  })
+  const results = probeContracts(env, 'en')
+  const row = results.find(r => r.id === 'dockkit.empty')
+  assert.equal(row.status, 'fail')
+  assert.match(row.reason, /no element matches/)
+})
+
+test('a surface that is mounted and empty is n/a, not a renamed marker', () => {
+  // The hero screen: a session is open, the composer is there, and the host has
+  // deliberately rendered no message column because there are no messages. The
+  // previous anchor ("the conversation scrollport exists") is true here, so
+  // `[data-chat-flow]` was reported as renamed on a healthy, brand-new session.
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: ['[data-conversation-session]', '[data-conversation-scroll]', '[data-composer-card]',
+      '[data-content-phase]', '[data-shell-overlay]', '.dab-root', ...DOCK_EMPTY],
+  })
+  const results = probeContracts(env, 'en')
+  const byId = id => results.find(r => r.id === id)
+  assert.equal(byId('chat.flow').status, 'skip')
+  // The two markers that ARE expected in that phase still have to answer, or this
+  // guard would hide a real rename behind "the chat is not mounted".
+  assert.equal(byId('composer.card').status, 'pass')
+  assert.equal(byId('conversation.scroll').status, 'pass')
+  assert.deepEqual(results.filter(r => r.status === 'fail').map(r => r.id), [])
+})
+
+test('the trajectory tab is n/a for the chat column, not a failure', () => {
+  // Measured on the running host: the trajectory view unmounts the chat column
+  // (`data-trajectory-scroll` in, `data-chat-flow` out) while the session root
+  // changes phase rather than disappearing. Switching to it used to report
+  // "no element matches [data-chat-flow] while its surface is on screen".
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: ['[data-conversation-session]', '[data-content-phase]', '[data-conversation-scroll]',
+      '[data-composer-card]', '[data-conversation-composer-overlay]', '[data-shell-overlay]', '.dab-root',
+      ...DOCK_POPULATED],
+  })
+  const results = probeContracts(env, 'en')
+  const byId = id => results.find(r => r.id === id)
+  assert.equal(byId('chat.flow').status, 'skip')
+  assert.equal(byId('trajectory.root').status, 'pass')
+  assert.deepEqual(results.filter(r => r.status === 'fail').map(r => r.id), [])
+})
+
+test('a message column that is present but hidden is a failure', () => {
+  // The other half of the fix: `visible` must not soften the check into "it is
+  // somewhere in the DOM". A column the user cannot see is not a column the card
+  // can be drawn on, and the report has to say which of the two happened.
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: [...CORE_PRESENT, ...DOCK_POPULATED],
+    hidden: ['[data-chat-flow]'],
+  })
+  const results = probeContracts(env, 'en')
+  const row = results.find(r => r.id === 'chat.flow')
+  assert.equal(row.status, 'fail')
+  assert.match(row.reason, /hidden/)
+})
+
+test('a renamed dock tab attribute still fails once a tab is open', () => {
+  // The guard must not swallow a real rename: with a tab open the host has to
+  // carry `data-dockkit-content` on the tab host, and if the name moved, say so.
+  // A populated tab is on screen (the host marks the tab chip), but the attribute
+  // the contract names no longer matches anything.
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: ['div[data-sidebar-right-panel]', '[data-dockkit-tab]'],
+  })
+  const results = probeContracts(env, 'en')
+  const row = results.find(r => r.id === 'dockkit.content')
+  assert.equal(row.status, 'fail')
+  assert.match(row.reason, /data-dockkit-content/)
+})
+
+test('a floating pane missing its flag is a failure while it is on screen', () => {
+  // The float flag is a JS attribute too, so it is only observable when the user
+  // has a pane floated 鈥?and then, if the host stopped setting it, the plugin
+  // would paint that pane like a docked one.
+  const env = hostEnv({
+    ctx: healthyCtx(),
+    selectors: [...CORE_PRESENT, ...DOCK_POPULATED, '[data-sidebar-right-mode="float"]'],
+  })
+  const results = probeContracts(env, 'en')
+  const row = results.find(r => r.id === 'dockkit.float')
+  assert.equal(row.status, 'fail')
+  assert.match(row.reason, /data-dockkit-float/)
+})
+
 test('a surface that is merely off screen is n/a, not a failure', () => {
   // The app frame and every service are up (the settings section is rendered
-  // inside the frame, so the frame is always there) — but the conversation view,
+  // inside the frame, so the frame is always there) 鈥?but the conversation view,
   // the right panel and the Cordis panel are not. Nothing is broken; those
   // surfaces simply are not there to observe.
   const env = hostEnv({
@@ -326,7 +522,7 @@ test('a surface that is merely off screen is n/a, not a failure', () => {
 })
 
 test('a mounted but marker-less surface is a failure, not n/a', () => {
-  // The dialog is open, so the right panel's anchor is off screen — but the
+  // The dialog is open, so the right panel's anchor is off screen 鈥?but the
   // dialog's own selector still matches. A surface whose anchor IS on screen and
   // whose selector is not is a rename, and must not read as "not observable".
   const env = hostEnv({
@@ -342,7 +538,7 @@ test('a mounted but marker-less surface is a failure, not n/a', () => {
   assert.equal(byId('chat.flow').status, 'skip')
 })
 
-// ── 3. the settings UI's own stylesheet ──────────────────────────────────────
+// 鈹€鈹€ 3. the settings UI's own stylesheet 鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€
 
 test('every dab-* class a component uses is defined in the UI stylesheet', async () => {
   const dir = join(pluginDir, 'src', 'client')
@@ -372,7 +568,7 @@ test('every dab-* class a component uses is defined in the UI stylesheet', async
   assert.deepEqual(missing, [], `classes used but never styled: ${missing.map(m => `${m.cls} (${m.file})`).join(', ')}`)
 })
 
-// ── 4. the floor comparison ──────────────────────────────────────────────────
+// 鈹€鈹€ 4. the floor comparison 鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€鈹€
 
 test('the floor comparison is coarse on purpose and exact on the triple', () => {
   assert.equal(meetsFloor('0.1.7-rc.2', DSH_FLOOR), true, 'the floor itself satisfies the floor')