mellos-mapping 0.19.0 → 0.20.2

package/dist/server.mjs

@@ -243,13 +243,13 @@ var require_scope = __commonJS({
       }
     };
     exports.ValueScopeName = ValueScopeName;
-    var line = (0, code_1._)`\n`;
+    var line2 = (0, code_1._)`\n`;
     var ValueScope = class extends Scope {
       constructor(opts) {
         super(opts);
         this._values = {};
         this._scope = opts.scope;
-        this.opts = { ...opts, _n: opts.lines ? line : code_1.nil };
+        this.opts = { ...opts, _n: opts.lines ? line2 : code_1.nil };
       }
       get() {
         return this._scope;
@@ -2232,10 +2232,10 @@ var require_resolve = __commonJS({
       }
       return count;
     }
-    function getFullPath(resolver, id = "", normalize) {
+    function getFullPath(resolver, id2 = "", normalize) {
       if (normalize !== false)
-        id = normalizeId(id);
-      const p = resolver.parse(id);
+        id2 = normalizeId(id2);
+      const p = resolver.parse(id2);
       return _getFullPath(resolver, p);
     }
     exports.getFullPath = getFullPath;
@@ -2245,13 +2245,13 @@ var require_resolve = __commonJS({
     }
     exports._getFullPath = _getFullPath;
     var TRAILING_SLASH_HASH = /#\/?$/;
-    function normalizeId(id) {
-      return id ? id.replace(TRAILING_SLASH_HASH, "") : "";
+    function normalizeId(id2) {
+      return id2 ? id2.replace(TRAILING_SLASH_HASH, "") : "";
     }
     exports.normalizeId = normalizeId;
-    function resolveUrl(resolver, baseId, id) {
-      id = normalizeId(id);
-      return resolver.resolve(baseId, id);
+    function resolveUrl(resolver, baseId, id2) {
+      id2 = normalizeId(id2);
+      return resolver.resolve(baseId, id2);
     }
     exports.resolveUrl = resolveUrl;
     var ANCHOR = /^[a-z_][-a-z0-9._]*$/i;
@@ -3021,8 +3021,8 @@ var require_compile = __commonJS({
       if (Object.keys(root.schema).length > 0 && refPath === baseId) {
         return getJsonPointer.call(this, p, root);
       }
-      const id = (0, resolve_1.normalizeId)(refPath);
-      const schOrRef = this.refs[id] || this.schemas[id];
+      const id2 = (0, resolve_1.normalizeId)(refPath);
+      const schOrRef = this.refs[id2] || this.schemas[id2];
       if (typeof schOrRef == "string") {
         const sch = resolveSchema.call(this, root, schOrRef);
         if (typeof (sch === null || sch === void 0 ? void 0 : sch.schema) !== "object")
@@ -3033,7 +3033,7 @@ var require_compile = __commonJS({
         return;
       if (!schOrRef.validate)
         compileSchema.call(this, schOrRef);
-      if (id === (0, resolve_1.normalizeId)(ref)) {
+      if (id2 === (0, resolve_1.normalizeId)(ref)) {
         const { schema } = schOrRef;
         const { schemaId } = this.opts;
         const schId = schema[schemaId];
@@ -4176,15 +4176,15 @@ var require_core = __commonJS({
             this.addSchema(sch, void 0, _meta, _validateSchema);
           return this;
         }
-        let id;
+        let id2;
         if (typeof schema === "object") {
           const { schemaId } = this.opts;
-          id = schema[schemaId];
-          if (id !== void 0 && typeof id != "string") {
+          id2 = schema[schemaId];
+          if (id2 !== void 0 && typeof id2 != "string") {
             throw new Error(`schema ${schemaId} must be string`);
           }
         }
-        key = (0, resolve_1.normalizeId)(key || id);
+        key = (0, resolve_1.normalizeId)(key || id2);
         this._checkUnique(key);
         this.schemas[key] = this._addSchema(schema, _meta, key, _validateSchema, true);
         return this;
@@ -4263,11 +4263,11 @@ var require_core = __commonJS({
           case "object": {
             const cacheKey = schemaKeyRef;
             this._cache.delete(cacheKey);
-            let id = schemaKeyRef[this.opts.schemaId];
-            if (id) {
-              id = (0, resolve_1.normalizeId)(id);
-              delete this.schemas[id];
-              delete this.refs[id];
+            let id2 = schemaKeyRef[this.opts.schemaId];
+            if (id2) {
+              id2 = (0, resolve_1.normalizeId)(id2);
+              delete this.schemas[id2];
+              delete this.refs[id2];
             }
             return this;
           }
@@ -4374,10 +4374,10 @@ var require_core = __commonJS({
         }
       }
       _addSchema(schema, meta, baseId, validateSchema = this.opts.validateSchema, addSchema = this.opts.addUsedSchema) {
-        let id;
+        let id2;
         const { schemaId } = this.opts;
         if (typeof schema == "object") {
-          id = schema[schemaId];
+          id2 = schema[schemaId];
         } else {
           if (this.opts.jtd)
             throw new Error("schema must be object");
@@ -4387,7 +4387,7 @@ var require_core = __commonJS({
         let sch = this._cache.get(schema);
         if (sch !== void 0)
           return sch;
-        baseId = (0, resolve_1.normalizeId)(id || baseId);
+        baseId = (0, resolve_1.normalizeId)(id2 || baseId);
         const localRefs = resolve_1.getSchemaRefs.call(this, schema, baseId);
         sch = new compile_1.SchemaEnv({ schema, schemaId, meta, baseId, localRefs });
         this._cache.set(sch.schema, sch);
@@ -4400,9 +4400,9 @@ var require_core = __commonJS({
           this.validateSchema(schema, true);
         return sch;
       }
-      _checkUnique(id) {
-        if (this.schemas[id] || this.refs[id]) {
-          throw new Error(`schema with key or id "${id}" already exists`);
+      _checkUnique(id2) {
+        if (this.schemas[id2] || this.refs[id2]) {
+          throw new Error(`schema with key or id "${id2}" already exists`);
         }
       }
       _compileSchemaEnv(sch) {
@@ -6913,8 +6913,10 @@ var require_dist = __commonJS({
 });
 
 // src/server/server.ts
-import { realpathSync } from "node:fs";
-import { join as join2 } from "node:path";
+import { spawn } from "node:child_process";
+import { existsSync as existsSync2, realpathSync } from "node:fs";
+import { homedir } from "node:os";
+import { dirname as dirname2, join as join2 } from "node:path";
 import { fileURLToPath, pathToFileURL } from "node:url";
 
 // node_modules/zod/v3/external.js
@@ -7451,18 +7453,18 @@ var ParseStatus = class _ParseStatus {
     if (this.value !== "aborted")
       this.value = "aborted";
   }
-  static mergeArray(status, results) {
+  static mergeArray(status2, results) {
     const arrayValue = [];
     for (const s of results) {
       if (s.status === "aborted")
         return INVALID;
       if (s.status === "dirty")
-        status.dirty();
+        status2.dirty();
       arrayValue.push(s.value);
     }
-    return { status: status.value, value: arrayValue };
+    return { status: status2.value, value: arrayValue };
   }
-  static async mergeObjectAsync(status, pairs) {
+  static async mergeObjectAsync(status2, pairs) {
     const syncPairs = [];
     for (const pair of pairs) {
       const key = await pair.key;
@@ -7472,9 +7474,9 @@ var ParseStatus = class _ParseStatus {
         value
       });
     }
-    return _ParseStatus.mergeObjectSync(status, syncPairs);
+    return _ParseStatus.mergeObjectSync(status2, syncPairs);
   }
-  static mergeObjectSync(status, pairs) {
+  static mergeObjectSync(status2, pairs) {
     const finalObject = {};
     for (const pair of pairs) {
       const { key, value } = pair;
@@ -7483,14 +7485,14 @@ var ParseStatus = class _ParseStatus {
       if (value.status === "aborted")
         return INVALID;
       if (key.status === "dirty")
-        status.dirty();
+        status2.dirty();
       if (value.status === "dirty")
-        status.dirty();
+        status2.dirty();
       if (key.value !== "__proto__" && (typeof value.value !== "undefined" || pair.alwaysSet)) {
         finalObject[key.value] = value.value;
       }
     }
-    return { status: status.value, value: finalObject };
+    return { status: status2.value, value: finalObject };
   }
 };
 var INVALID = Object.freeze({
@@ -7950,7 +7952,7 @@ var ZodString = class _ZodString2 extends ZodType {
       });
       return INVALID;
     }
-    const status = new ParseStatus();
+    const status2 = new ParseStatus();
     let ctx = void 0;
     for (const check2 of this._def.checks) {
       if (check2.kind === "min") {
@@ -7964,7 +7966,7 @@ var ZodString = class _ZodString2 extends ZodType {
             exact: false,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "max") {
         if (input.data.length > check2.value) {
@@ -7977,7 +7979,7 @@ var ZodString = class _ZodString2 extends ZodType {
             exact: false,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "length") {
         const tooBig = input.data.length > check2.value;
@@ -8003,7 +8005,7 @@ var ZodString = class _ZodString2 extends ZodType {
               message: check2.message
             });
           }
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "email") {
         if (!emailRegex.test(input.data)) {
@@ -8013,7 +8015,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "emoji") {
         if (!emojiRegex) {
@@ -8026,7 +8028,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "uuid") {
         if (!uuidRegex.test(input.data)) {
@@ -8036,7 +8038,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "nanoid") {
         if (!nanoidRegex.test(input.data)) {
@@ -8046,7 +8048,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "cuid") {
         if (!cuidRegex.test(input.data)) {
@@ -8056,7 +8058,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "cuid2") {
         if (!cuid2Regex.test(input.data)) {
@@ -8066,7 +8068,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "ulid") {
         if (!ulidRegex.test(input.data)) {
@@ -8076,7 +8078,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "url") {
         try {
@@ -8088,7 +8090,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "regex") {
         check2.regex.lastIndex = 0;
@@ -8100,7 +8102,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "trim") {
         input.data = input.data.trim();
@@ -8112,7 +8114,7 @@ var ZodString = class _ZodString2 extends ZodType {
             validation: { includes: check2.value, position: check2.position },
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "toLowerCase") {
         input.data = input.data.toLowerCase();
@@ -8126,7 +8128,7 @@ var ZodString = class _ZodString2 extends ZodType {
             validation: { startsWith: check2.value },
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "endsWith") {
         if (!input.data.endsWith(check2.value)) {
@@ -8136,7 +8138,7 @@ var ZodString = class _ZodString2 extends ZodType {
             validation: { endsWith: check2.value },
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "datetime") {
         const regex = datetimeRegex(check2);
@@ -8147,7 +8149,7 @@ var ZodString = class _ZodString2 extends ZodType {
             validation: "datetime",
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "date") {
         const regex = dateRegex;
@@ -8158,7 +8160,7 @@ var ZodString = class _ZodString2 extends ZodType {
             validation: "date",
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "time") {
         const regex = timeRegex(check2);
@@ -8169,7 +8171,7 @@ var ZodString = class _ZodString2 extends ZodType {
             validation: "time",
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "duration") {
         if (!durationRegex.test(input.data)) {
@@ -8179,7 +8181,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "ip") {
         if (!isValidIP(input.data, check2.version)) {
@@ -8189,7 +8191,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "jwt") {
         if (!isValidJWT(input.data, check2.alg)) {
@@ -8199,7 +8201,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "cidr") {
         if (!isValidCidr(input.data, check2.version)) {
@@ -8209,7 +8211,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "base64") {
         if (!base64Regex.test(input.data)) {
@@ -8219,7 +8221,7 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "base64url") {
         if (!base64urlRegex.test(input.data)) {
@@ -8229,13 +8231,13 @@ var ZodString = class _ZodString2 extends ZodType {
             code: ZodIssueCode.invalid_string,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else {
         util.assertNever(check2);
       }
     }
-    return { status: status.value, value: input.data };
+    return { status: status2.value, value: input.data };
   }
   _regex(regex, validation, message) {
     return this.refinement((data) => regex.test(data), {
@@ -8511,7 +8513,7 @@ var ZodNumber = class _ZodNumber extends ZodType {
       return INVALID;
     }
     let ctx = void 0;
-    const status = new ParseStatus();
+    const status2 = new ParseStatus();
     for (const check2 of this._def.checks) {
       if (check2.kind === "int") {
         if (!util.isInteger(input.data)) {
@@ -8522,7 +8524,7 @@ var ZodNumber = class _ZodNumber extends ZodType {
             received: "float",
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "min") {
         const tooSmall = check2.inclusive ? input.data < check2.value : input.data <= check2.value;
@@ -8536,7 +8538,7 @@ var ZodNumber = class _ZodNumber extends ZodType {
             exact: false,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "max") {
         const tooBig = check2.inclusive ? input.data > check2.value : input.data >= check2.value;
@@ -8550,7 +8552,7 @@ var ZodNumber = class _ZodNumber extends ZodType {
             exact: false,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "multipleOf") {
         if (floatSafeRemainder(input.data, check2.value) !== 0) {
@@ -8560,7 +8562,7 @@ var ZodNumber = class _ZodNumber extends ZodType {
             multipleOf: check2.value,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "finite") {
         if (!Number.isFinite(input.data)) {
@@ -8569,13 +8571,13 @@ var ZodNumber = class _ZodNumber extends ZodType {
             code: ZodIssueCode.not_finite,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else {
         util.assertNever(check2);
       }
     }
-    return { status: status.value, value: input.data };
+    return { status: status2.value, value: input.data };
   }
   gte(value, message) {
     return this.setLimit("min", value, true, errorUtil.toString(message));
@@ -8740,7 +8742,7 @@ var ZodBigInt = class _ZodBigInt extends ZodType {
       return this._getInvalidInput(input);
     }
     let ctx = void 0;
-    const status = new ParseStatus();
+    const status2 = new ParseStatus();
     for (const check2 of this._def.checks) {
       if (check2.kind === "min") {
         const tooSmall = check2.inclusive ? input.data < check2.value : input.data <= check2.value;
@@ -8753,7 +8755,7 @@ var ZodBigInt = class _ZodBigInt extends ZodType {
             inclusive: check2.inclusive,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "max") {
         const tooBig = check2.inclusive ? input.data > check2.value : input.data >= check2.value;
@@ -8766,7 +8768,7 @@ var ZodBigInt = class _ZodBigInt extends ZodType {
             inclusive: check2.inclusive,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "multipleOf") {
         if (input.data % check2.value !== BigInt(0)) {
@@ -8776,13 +8778,13 @@ var ZodBigInt = class _ZodBigInt extends ZodType {
             multipleOf: check2.value,
             message: check2.message
           });
-          status.dirty();
+          status2.dirty();
         }
       } else {
         util.assertNever(check2);
       }
     }
-    return { status: status.value, value: input.data };
+    return { status: status2.value, value: input.data };
   }
   _getInvalidInput(input) {
     const ctx = this._getOrReturnCtx(input);
@@ -8940,7 +8942,7 @@ var ZodDate = class _ZodDate extends ZodType {
       });
       return INVALID;
     }
-    const status = new ParseStatus();
+    const status2 = new ParseStatus();
     let ctx = void 0;
     for (const check2 of this._def.checks) {
       if (check2.kind === "min") {
@@ -8954,7 +8956,7 @@ var ZodDate = class _ZodDate extends ZodType {
             minimum: check2.value,
             type: "date"
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (check2.kind === "max") {
         if (input.data.getTime() > check2.value) {
@@ -8967,14 +8969,14 @@ var ZodDate = class _ZodDate extends ZodType {
             maximum: check2.value,
             type: "date"
           });
-          status.dirty();
+          status2.dirty();
         }
       } else {
         util.assertNever(check2);
       }
     }
     return {
-      status: status.value,
+      status: status2.value,
       value: new Date(input.data.getTime())
     };
   }
@@ -9160,7 +9162,7 @@ ZodVoid.create = (params) => {
 };
 var ZodArray = class _ZodArray extends ZodType {
   _parse(input) {
-    const { ctx, status } = this._processInputParams(input);
+    const { ctx, status: status2 } = this._processInputParams(input);
     const def = this._def;
     if (ctx.parsedType !== ZodParsedType.array) {
       addIssueToContext(ctx, {
@@ -9183,7 +9185,7 @@ var ZodArray = class _ZodArray extends ZodType {
           exact: true,
           message: def.exactLength.message
         });
-        status.dirty();
+        status2.dirty();
       }
     }
     if (def.minLength !== null) {
@@ -9196,7 +9198,7 @@ var ZodArray = class _ZodArray extends ZodType {
           exact: false,
           message: def.minLength.message
         });
-        status.dirty();
+        status2.dirty();
       }
     }
     if (def.maxLength !== null) {
@@ -9209,20 +9211,20 @@ var ZodArray = class _ZodArray extends ZodType {
           exact: false,
           message: def.maxLength.message
         });
-        status.dirty();
+        status2.dirty();
       }
     }
     if (ctx.common.async) {
       return Promise.all([...ctx.data].map((item, i) => {
         return def.type._parseAsync(new ParseInputLazyPath(ctx, item, ctx.path, i));
       })).then((result2) => {
-        return ParseStatus.mergeArray(status, result2);
+        return ParseStatus.mergeArray(status2, result2);
       });
     }
     const result = [...ctx.data].map((item, i) => {
       return def.type._parseSync(new ParseInputLazyPath(ctx, item, ctx.path, i));
     });
-    return ParseStatus.mergeArray(status, result);
+    return ParseStatus.mergeArray(status2, result);
   }
   get element() {
     return this._def.type;
@@ -9311,7 +9313,7 @@ var ZodObject = class _ZodObject extends ZodType {
       });
       return INVALID;
     }
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     const { shape, keys: shapeKeys } = this._getCached();
     const extraKeys = [];
     if (!(this._def.catchall instanceof ZodNever && this._def.unknownKeys === "strip")) {
@@ -9346,7 +9348,7 @@ var ZodObject = class _ZodObject extends ZodType {
             code: ZodIssueCode.unrecognized_keys,
             keys: extraKeys
           });
-          status.dirty();
+          status2.dirty();
         }
       } else if (unknownKeys === "strip") {
       } else {
@@ -9380,10 +9382,10 @@ var ZodObject = class _ZodObject extends ZodType {
         }
         return syncPairs;
       }).then((syncPairs) => {
-        return ParseStatus.mergeObjectSync(status, syncPairs);
+        return ParseStatus.mergeObjectSync(status2, syncPairs);
       });
     } else {
-      return ParseStatus.mergeObjectSync(status, pairs);
+      return ParseStatus.mergeObjectSync(status2, pairs);
     }
   }
   get shape() {
@@ -9861,7 +9863,7 @@ function mergeValues(a, b) {
 }
 var ZodIntersection = class extends ZodType {
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     const handleParsed = (parsedLeft, parsedRight) => {
       if (isAborted(parsedLeft) || isAborted(parsedRight)) {
         return INVALID;
@@ -9874,9 +9876,9 @@ var ZodIntersection = class extends ZodType {
         return INVALID;
       }
       if (isDirty(parsedLeft) || isDirty(parsedRight)) {
-        status.dirty();
+        status2.dirty();
       }
-      return { status: status.value, value: merged.data };
+      return { status: status2.value, value: merged.data };
     };
     if (ctx.common.async) {
       return Promise.all([
@@ -9914,7 +9916,7 @@ ZodIntersection.create = (left, right, params) => {
 };
 var ZodTuple = class _ZodTuple extends ZodType {
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     if (ctx.parsedType !== ZodParsedType.array) {
       addIssueToContext(ctx, {
         code: ZodIssueCode.invalid_type,
@@ -9942,7 +9944,7 @@ var ZodTuple = class _ZodTuple extends ZodType {
         exact: false,
         type: "array"
       });
-      status.dirty();
+      status2.dirty();
     }
     const items = [...ctx.data].map((item, itemIndex) => {
       const schema = this._def.items[itemIndex] || this._def.rest;
@@ -9952,10 +9954,10 @@ var ZodTuple = class _ZodTuple extends ZodType {
     }).filter((x) => !!x);
     if (ctx.common.async) {
       return Promise.all(items).then((results) => {
-        return ParseStatus.mergeArray(status, results);
+        return ParseStatus.mergeArray(status2, results);
       });
     } else {
-      return ParseStatus.mergeArray(status, items);
+      return ParseStatus.mergeArray(status2, items);
     }
   }
   get items() {
@@ -9987,7 +9989,7 @@ var ZodRecord = class _ZodRecord extends ZodType {
     return this._def.valueType;
   }
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     if (ctx.parsedType !== ZodParsedType.object) {
       addIssueToContext(ctx, {
         code: ZodIssueCode.invalid_type,
@@ -10007,9 +10009,9 @@ var ZodRecord = class _ZodRecord extends ZodType {
       });
     }
     if (ctx.common.async) {
-      return ParseStatus.mergeObjectAsync(status, pairs);
+      return ParseStatus.mergeObjectAsync(status2, pairs);
     } else {
-      return ParseStatus.mergeObjectSync(status, pairs);
+      return ParseStatus.mergeObjectSync(status2, pairs);
     }
   }
   get element() {
@@ -10040,7 +10042,7 @@ var ZodMap = class extends ZodType {
     return this._def.valueType;
   }
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     if (ctx.parsedType !== ZodParsedType.map) {
       addIssueToContext(ctx, {
         code: ZodIssueCode.invalid_type,
@@ -10067,11 +10069,11 @@ var ZodMap = class extends ZodType {
             return INVALID;
           }
           if (key.status === "dirty" || value.status === "dirty") {
-            status.dirty();
+            status2.dirty();
           }
           finalMap.set(key.value, value.value);
         }
-        return { status: status.value, value: finalMap };
+        return { status: status2.value, value: finalMap };
       });
     } else {
       const finalMap = /* @__PURE__ */ new Map();
@@ -10082,11 +10084,11 @@ var ZodMap = class extends ZodType {
           return INVALID;
         }
         if (key.status === "dirty" || value.status === "dirty") {
-          status.dirty();
+          status2.dirty();
         }
         finalMap.set(key.value, value.value);
       }
-      return { status: status.value, value: finalMap };
+      return { status: status2.value, value: finalMap };
     }
   }
 };
@@ -10100,7 +10102,7 @@ ZodMap.create = (keyType, valueType, params) => {
 };
 var ZodSet = class _ZodSet extends ZodType {
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     if (ctx.parsedType !== ZodParsedType.set) {
       addIssueToContext(ctx, {
         code: ZodIssueCode.invalid_type,
@@ -10120,7 +10122,7 @@ var ZodSet = class _ZodSet extends ZodType {
           exact: false,
           message: def.minSize.message
         });
-        status.dirty();
+        status2.dirty();
       }
     }
     if (def.maxSize !== null) {
@@ -10133,7 +10135,7 @@ var ZodSet = class _ZodSet extends ZodType {
           exact: false,
           message: def.maxSize.message
         });
-        status.dirty();
+        status2.dirty();
       }
     }
     const valueType = this._def.valueType;
@@ -10143,10 +10145,10 @@ var ZodSet = class _ZodSet extends ZodType {
         if (element.status === "aborted")
           return INVALID;
         if (element.status === "dirty")
-          status.dirty();
+          status2.dirty();
         parsedSet.add(element.value);
       }
-      return { status: status.value, value: parsedSet };
+      return { status: status2.value, value: parsedSet };
     }
     const elements = [...ctx.data.values()].map((item, i) => valueType._parse(new ParseInputLazyPath(ctx, item, ctx.path, i)));
     if (ctx.common.async) {
@@ -10477,15 +10479,15 @@ var ZodEffects = class extends ZodType {
     return this._def.schema._def.typeName === ZodFirstPartyTypeKind.ZodEffects ? this._def.schema.sourceType() : this._def.schema;
   }
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     const effect = this._def.effect || null;
     const checkCtx = {
       addIssue: (arg) => {
         addIssueToContext(ctx, arg);
         if (arg.fatal) {
-          status.abort();
+          status2.abort();
         } else {
-          status.dirty();
+          status2.dirty();
         }
       },
       get path() {
@@ -10497,7 +10499,7 @@ var ZodEffects = class extends ZodType {
       const processed = effect.transform(ctx.data, checkCtx);
       if (ctx.common.async) {
         return Promise.resolve(processed).then(async (processed2) => {
-          if (status.value === "aborted")
+          if (status2.value === "aborted")
             return INVALID;
           const result = await this._def.schema._parseAsync({
             data: processed2,
@@ -10508,12 +10510,12 @@ var ZodEffects = class extends ZodType {
             return INVALID;
           if (result.status === "dirty")
             return DIRTY(result.value);
-          if (status.value === "dirty")
+          if (status2.value === "dirty")
             return DIRTY(result.value);
           return result;
         });
       } else {
-        if (status.value === "aborted")
+        if (status2.value === "aborted")
           return INVALID;
         const result = this._def.schema._parseSync({
           data: processed,
@@ -10524,7 +10526,7 @@ var ZodEffects = class extends ZodType {
           return INVALID;
         if (result.status === "dirty")
           return DIRTY(result.value);
-        if (status.value === "dirty")
+        if (status2.value === "dirty")
           return DIRTY(result.value);
         return result;
       }
@@ -10549,17 +10551,17 @@ var ZodEffects = class extends ZodType {
         if (inner.status === "aborted")
           return INVALID;
         if (inner.status === "dirty")
-          status.dirty();
+          status2.dirty();
         executeRefinement(inner.value);
-        return { status: status.value, value: inner.value };
+        return { status: status2.value, value: inner.value };
       } else {
         return this._def.schema._parseAsync({ data: ctx.data, path: ctx.path, parent: ctx }).then((inner) => {
           if (inner.status === "aborted")
             return INVALID;
           if (inner.status === "dirty")
-            status.dirty();
+            status2.dirty();
           return executeRefinement(inner.value).then(() => {
-            return { status: status.value, value: inner.value };
+            return { status: status2.value, value: inner.value };
           });
         });
       }
@@ -10577,13 +10579,13 @@ var ZodEffects = class extends ZodType {
         if (result instanceof Promise) {
           throw new Error(`Asynchronous transform encountered during synchronous parse operation. Use .parseAsync instead.`);
         }
-        return { status: status.value, value: result };
+        return { status: status2.value, value: result };
       } else {
         return this._def.schema._parseAsync({ data: ctx.data, path: ctx.path, parent: ctx }).then((base) => {
           if (!isValid(base))
             return INVALID;
           return Promise.resolve(effect.transform(base.value, checkCtx)).then((result) => ({
-            status: status.value,
+            status: status2.value,
             value: result
           }));
         });
@@ -10762,7 +10764,7 @@ var ZodBranded = class extends ZodType {
 };
 var ZodPipeline = class _ZodPipeline extends ZodType {
   _parse(input) {
-    const { status, ctx } = this._processInputParams(input);
+    const { status: status2, ctx } = this._processInputParams(input);
     if (ctx.common.async) {
       const handleAsync = async () => {
         const inResult = await this._def.in._parseAsync({
@@ -10773,7 +10775,7 @@ var ZodPipeline = class _ZodPipeline extends ZodType {
         if (inResult.status === "aborted")
           return INVALID;
         if (inResult.status === "dirty") {
-          status.dirty();
+          status2.dirty();
           return DIRTY(inResult.value);
         } else {
           return this._def.out._parseAsync({
@@ -10793,7 +10795,7 @@ var ZodPipeline = class _ZodPipeline extends ZodType {
       if (inResult.status === "aborted")
         return INVALID;
       if (inResult.status === "dirty") {
-        status.dirty();
+        status2.dirty();
         return {
           status: "dirty",
           value: inResult.value
@@ -12132,8 +12134,8 @@ var Doc = class {
     const lines = content.split("\n").filter((x) => x);
     const minIndent = Math.min(...lines.map((x) => x.length - x.trimStart().length));
     const dedented = lines.map((x) => x.slice(minIndent)).map((x) => " ".repeat(this.indent * 2) + x);
-    for (const line of dedented) {
-      this.content.push(line);
+    for (const line2 of dedented) {
+      this.content.push(line2);
     }
   }
   compile() {
@@ -12728,38 +12730,38 @@ var $ZodObject = /* @__PURE__ */ $constructor("$ZodObject", (inst, def) => {
     doc.write(`const newResult = {}`);
     for (const key of normalized.keys) {
       if (normalized.optionalKeys.has(key)) {
-        const id = ids[key];
-        doc.write(`const ${id} = ${parseStr(key)};`);
+        const id2 = ids[key];
+        doc.write(`const ${id2} = ${parseStr(key)};`);
         const k = esc(key);
         doc.write(`
-        if (${id}.issues.length) {
+        if (${id2}.issues.length) {
           if (input[${k}] === undefined) {
             if (${k} in input) {
               newResult[${k}] = undefined;
             }
           } else {
             payload.issues = payload.issues.concat(
-              ${id}.issues.map((iss) => ({
+              ${id2}.issues.map((iss) => ({
                 ...iss,
                 path: iss.path ? [${k}, ...iss.path] : [${k}],
               }))
             );
           }
-        } else if (${id}.value === undefined) {
+        } else if (${id2}.value === undefined) {
           if (${k} in input) newResult[${k}] = undefined;
         } else {
-          newResult[${k}] = ${id}.value;
+          newResult[${k}] = ${id2}.value;
         }
         `);
       } else {
-        const id = ids[key];
-        doc.write(`const ${id} = ${parseStr(key)};`);
+        const id2 = ids[key];
+        doc.write(`const ${id2} = ${parseStr(key)};`);
         doc.write(`
-          if (${id}.issues.length) payload.issues = payload.issues.concat(${id}.issues.map(iss => ({
+          if (${id2}.issues.length) payload.issues = payload.issues.concat(${id2}.issues.map(iss => ({
             ...iss,
             path: iss.path ? [${esc(key)}, ...iss.path] : [${esc(key)}]
           })));`);
-        doc.write(`newResult[${esc(key)}] = ${id}.value`);
+        doc.write(`newResult[${esc(key)}] = ${id2}.value`);
       }
     }
     doc.write(`payload.value = newResult;`);
@@ -14492,13 +14494,13 @@ var JSONSchemaGenerator = class {
       const defsSegment = this.target === "draft-2020-12" ? "$defs" : "definitions";
       if (params.external) {
         const externalId = params.external.registry.get(entry[0])?.id;
-        const uriGenerator = params.external.uri ?? ((id2) => id2);
+        const uriGenerator = params.external.uri ?? ((id3) => id3);
         if (externalId) {
           return { ref: uriGenerator(externalId) };
         }
-        const id = entry[1].defId ?? entry[1].schema.id ?? `schema${this.counter++}`;
-        entry[1].defId = id;
-        return { defId: id, ref: `${uriGenerator("__shared")}#/${defsSegment}/${id}` };
+        const id2 = entry[1].defId ?? entry[1].schema.id ?? `schema${this.counter++}`;
+        entry[1].defId = id2;
+        return { defId: id2, ref: `${uriGenerator("__shared")}#/${defsSegment}/${id2}` };
       }
       if (entry[1] === root) {
         return { ref: "#" };
@@ -14546,8 +14548,8 @@ Set the \`cycles\` parameter to \`"ref"\` to resolve cyclical schemas with defs.
           continue;
         }
       }
-      const id = this.metadataRegistry.get(entry[0])?.id;
-      if (id) {
+      const id2 = this.metadataRegistry.get(entry[0])?.id;
+      if (id2) {
         extractToDef(entry);
         continue;
       }
@@ -14601,10 +14603,10 @@ Set the \`cycles\` parameter to \`"ref"\` to resolve cyclical schemas with defs.
       console.warn(`Invalid target: ${this.target}`);
     }
     if (params.external?.uri) {
-      const id = params.external.registry.get(schema)?.id;
-      if (!id)
+      const id2 = params.external.registry.get(schema)?.id;
+      if (!id2)
         throw new Error("Schema is missing an `id` property");
-      result.$id = params.external.uri(id);
+      result.$id = params.external.uri(id2);
     }
     Object.assign(result, root.def);
     const defs = params.external?.defs ?? {};
@@ -17197,8 +17199,8 @@ var UrlElicitationRequiredError = class extends McpError {
 };
 
 // node_modules/@modelcontextprotocol/sdk/dist/esm/experimental/tasks/interfaces.js
-function isTerminal(status) {
-  return status === "completed" || status === "failed" || status === "cancelled";
+function isTerminal(status2) {
+  return status2 === "completed" || status2 === "failed" || status2 === "cancelled";
 }
 
 // node_modules/zod-to-json-schema/dist/esm/Options.js
@@ -19417,8 +19419,8 @@ var Protocol = class {
         }
         return task;
       },
-      storeTaskResult: async (taskId, status, result) => {
-        await taskStore.storeTaskResult(taskId, status, result, sessionId);
+      storeTaskResult: async (taskId, status2, result) => {
+        await taskStore.storeTaskResult(taskId, status2, result, sessionId);
         const task = await taskStore.getTask(taskId, sessionId);
         if (task) {
           const notification = TaskStatusNotificationSchema.parse({
@@ -19434,15 +19436,15 @@ var Protocol = class {
       getTaskResult: (taskId) => {
         return taskStore.getTaskResult(taskId, sessionId);
       },
-      updateTaskStatus: async (taskId, status, statusMessage) => {
+      updateTaskStatus: async (taskId, status2, statusMessage) => {
         const task = await taskStore.getTask(taskId, sessionId);
         if (!task) {
           throw new McpError(ErrorCode.InvalidParams, `Task "${taskId}" not found - it may have been cleaned up`);
         }
         if (isTerminal(task.status)) {
-          throw new McpError(ErrorCode.InvalidParams, `Cannot update task "${taskId}" from terminal status "${task.status}" to "${status}". Terminal states (completed, failed, cancelled) cannot transition to other states.`);
+          throw new McpError(ErrorCode.InvalidParams, `Cannot update task "${taskId}" from terminal status "${task.status}" to "${status2}". Terminal states (completed, failed, cancelled) cannot transition to other states.`);
         }
-        await taskStore.updateTaskStatus(taskId, status, statusMessage, sessionId);
+        await taskStore.updateTaskStatus(taskId, status2, statusMessage, sessionId);
         const updatedTask = await taskStore.getTask(taskId, sessionId);
         if (updatedTask) {
           const notification = TaskStatusNotificationSchema.parse({
@@ -19637,7 +19639,7 @@ var ExperimentalServerTasks = class {
       if (hasPreviousToolUse) {
         const toolUseIds = new Set(previousContent.filter((c) => c.type === "tool_use").map((c) => c.id));
         const toolResultIds = new Set(lastContent.filter((c) => c.type === "tool_result").map((c) => c.toolUseId));
-        if (toolUseIds.size !== toolResultIds.size || ![...toolUseIds].every((id) => toolResultIds.has(id))) {
+        if (toolUseIds.size !== toolResultIds.size || ![...toolUseIds].every((id2) => toolResultIds.has(id2))) {
           throw new Error("ids of tool_result blocks and tool_use blocks from previous message do not match");
         }
       }
@@ -20062,7 +20064,7 @@ var Server = class extends Protocol {
       if (hasPreviousToolUse) {
         const toolUseIds = new Set(previousContent.filter((c) => c.type === "tool_use").map((c) => c.id));
         const toolResultIds = new Set(lastContent.filter((c) => c.type === "tool_result").map((c) => c.toolUseId));
-        if (toolUseIds.size !== toolResultIds.size || ![...toolUseIds].every((id) => toolResultIds.has(id))) {
+        if (toolUseIds.size !== toolResultIds.size || ![...toolUseIds].every((id2) => toolResultIds.has(id2))) {
           throw new Error("ids of tool_result blocks and tool_use blocks from previous message do not match");
         }
       }
@@ -21072,16 +21074,16 @@ var ReadBuffer = class {
     if (index === -1) {
       return null;
     }
-    const line = this._buffer.toString("utf8", 0, index).replace(/\r$/, "");
+    const line2 = this._buffer.toString("utf8", 0, index).replace(/\r$/, "");
     this._buffer = this._buffer.subarray(index + 1);
-    return deserializeMessage(line);
+    return deserializeMessage(line2);
   }
   clear() {
     this._buffer = void 0;
   }
 };
-function deserializeMessage(line) {
-  return JSONRPCMessageSchema.parse(JSON.parse(line));
+function deserializeMessage(line2) {
+  return JSONRPCMessageSchema.parse(JSON.parse(line2));
 }
 function serializeMessage(message) {
   return JSON.stringify(message) + "\n";
@@ -21177,6 +21179,12 @@ function makeNodeKind(raw) {
 function makeSubmapRef(raw) {
   return ID_RULE.test(raw) ? ok(raw) : err({ kind: "invalid-id", raw, rule: ID_RULE_TEXT });
 }
+var RANK_MIN = 0;
+var RANK_MAX = 99;
+var RANK_RULE_TEXT = `an integer in ${RANK_MIN}..${RANK_MAX}, 0 = bottom / most primitive`;
+function makeRank(raw) {
+  return Number.isInteger(raw) && raw >= RANK_MIN && raw <= RANK_MAX ? ok(raw) : err({ kind: "invalid-rank", raw, rule: RANK_RULE_TEXT });
+}
 var MAP_KINDS = ["dev", "architecture", "dataflow", "behavior-tree", "sequence"];
 function makeMapKind(raw) {
   return MAP_KINDS.includes(raw) ? ok(raw) : err({ kind: "invalid-map-kind", raw });
@@ -21190,6 +21198,8 @@ function describeMapError(e) {
   switch (e.kind) {
     case "invalid-id":
       return `invalid id "${e.raw}" (rule: ${e.rule})`;
+    case "invalid-rank":
+      return `invalid rank ${e.raw} (rule: ${e.rule})`;
     case "invalid-status":
       return `invalid status "${e.raw}" (expected: ${NODE_STATUSES.join(" | ")})`;
     case "duplicate-layer":
@@ -21210,6 +21220,8 @@ function describeMapError(e) {
       return `node "${e.id}" cannot depend on itself`;
     case "duplicate-group":
       return `group "${e.id}" already exists`;
+    case "id-collision":
+      return `id "${e.id}" already names a ${e.taken} on this map; nodes and groups share one id namespace (both render as boxes, so one id must mean one box) \u2014 rename "${e.id}"`;
     case "unknown-group":
       return `group "${e.id}" does not exist`;
     case "invalid-map-kind":
@@ -21221,23 +21233,23 @@ function describeMapError(e) {
     case "group-layer-mismatch":
       return `node "${e.node}" (layer ${e.nodeLayer}) cannot join group "${e.group}" (layer ${e.groupLayer}); groups cluster nodes within one band`;
     case "layer-not-empty":
-      return `layer "${e.id}" still holds node "${e.occupant}"; move or remove its nodes first`;
+      return `layer "${e.id}" still holds node "${e.occupant}"; move its nodes to another band (moveNode) or remove them (removeNode) first`;
     case "layer-holds-group":
-      return `layer "${e.id}" still holds group "${e.occupant}"; remove its groups first`;
+      return `layer "${e.id}" still holds group "${e.occupant}"; remove its groups (removeGroup) first`;
     case "edge-not-downward":
       return `edge ${e.from} (rank ${e.fromRank}) -> ${e.to} (rank ${e.toRank}) is not strictly downward; dependencies may only point to a lower layer`;
   }
 }
 
 // src/domain/ops.ts
-function findLayer(map, id) {
-  return map.layers.find((l) => l.id === id);
+function findLayer(map, id2) {
+  return map.layers.find((l) => l.id === id2);
 }
-function findNode(map, id) {
-  return map.nodes.find((n) => n.id === id);
+function findNode(map, id2) {
+  return map.nodes.find((n) => n.id === id2);
 }
-function findGroup(map, id) {
-  return map.groups.find((g) => g.id === id);
+function findGroup(map, id2) {
+  return map.groups.find((g) => g.id === id2);
 }
 function checkMembership(map, node, nodeLayer, group) {
   const g = findGroup(map, group);
@@ -21249,26 +21261,38 @@ function checkMembership(map, node, nodeLayer, group) {
 function hasEdge(map, from, to) {
   return map.edges.some((e) => e.from === from && e.to === to);
 }
+function checkIdSpace(map, id2, declaring) {
+  const taken = declaring === "node" ? map.groups.some((g) => g.id === id2) : map.nodes.some((n) => n.id === id2);
+  return taken ? { kind: "id-collision", id: id2, taken: declaring === "node" ? "group" : "node" } : void 0;
+}
 function setTitle(map, title) {
+  if (title === null || title === void 0) {
+    const { title: _dropped, ...rest } = map;
+    return rest;
+  }
   return { ...map, title };
 }
 function setKind(map, kind) {
   return { ...map, kind };
 }
-function findLane(map, id) {
-  return map.lanes.find((l) => l.id === id);
+function findLane(map, id2) {
+  return map.lanes.find((l) => l.id === id2);
 }
 function declareLane(map, input) {
   if (findLane(map, input.id)) return err({ kind: "duplicate-lane", id: input.id });
   return ok({ ...map, lanes: [...map.lanes, { id: input.id, label: input.label }] });
 }
-function removeLane(map, id) {
-  if (!findLane(map, id)) return err({ kind: "unknown-lane", id });
+function updateLane(map, id2, label) {
+  if (!findLane(map, id2)) return err({ kind: "unknown-lane", id: id2 });
+  return ok({ ...map, lanes: map.lanes.map((l) => l.id === id2 ? { ...l, label } : l) });
+}
+function removeLane(map, id2) {
+  if (!findLane(map, id2)) return err({ kind: "unknown-lane", id: id2 });
   return ok({
     ...map,
-    lanes: map.lanes.filter((l) => l.id !== id),
+    lanes: map.lanes.filter((l) => l.id !== id2),
     nodes: map.nodes.map((n) => {
-      if (n.lane !== id) return n;
+      if (n.lane !== id2) return n;
       const { lane: _dropped, ...rest } = n;
       return rest;
     })
@@ -21280,18 +21304,47 @@ function declareLayer(map, input) {
   if (rankHolder) return err({ kind: "duplicate-rank", rank: input.rank, existing: rankHolder.id });
   return ok({ ...map, layers: [...map.layers, { id: input.id, name: input.name, rank: input.rank }] });
 }
+function updateLayer(map, id2, input) {
+  const layer = findLayer(map, id2);
+  if (!layer) return err({ kind: "unknown-layer", id: id2 });
+  if (input.rank !== void 0 && input.rank !== layer.rank) {
+    const rankHolder = map.layers.find((l) => l.rank === input.rank && l.id !== id2);
+    if (rankHolder) return err({ kind: "duplicate-rank", rank: input.rank, existing: rankHolder.id });
+    const rankAfter = (nodeId) => {
+      const nodeLayer = findNode(map, nodeId).layer;
+      return nodeLayer === id2 ? input.rank : findLayer(map, nodeLayer).rank;
+    };
+    for (const e of map.edges) {
+      const fromRank = rankAfter(e.from);
+      const toRank = rankAfter(e.to);
+      if (fromRank <= toRank) return err({ kind: "edge-not-downward", from: e.from, fromRank, to: e.to, toRank });
+    }
+  }
+  const updated = {
+    ...layer,
+    ...input.name !== void 0 ? { name: input.name } : {},
+    ...input.rank !== void 0 ? { rank: input.rank } : {}
+  };
+  return ok({ ...map, layers: map.layers.map((l) => l.id === id2 ? updated : l) });
+}
 function declareGroup(map, input) {
   if (findGroup(map, input.id)) return err({ kind: "duplicate-group", id: input.id });
+  const collision = checkIdSpace(map, input.id, "group");
+  if (collision) return err(collision);
   if (!findLayer(map, input.layer)) return err({ kind: "unknown-layer", id: input.layer });
   return ok({ ...map, groups: [...map.groups, { id: input.id, label: input.label, layer: input.layer }] });
 }
-function removeGroup(map, id) {
-  if (!findGroup(map, id)) return err({ kind: "unknown-group", id });
+function updateGroup(map, id2, label) {
+  if (!findGroup(map, id2)) return err({ kind: "unknown-group", id: id2 });
+  return ok({ ...map, groups: map.groups.map((g) => g.id === id2 ? { ...g, label } : g) });
+}
+function removeGroup(map, id2) {
+  if (!findGroup(map, id2)) return err({ kind: "unknown-group", id: id2 });
   return ok({
     ...map,
-    groups: map.groups.filter((g) => g.id !== id),
+    groups: map.groups.filter((g) => g.id !== id2),
     nodes: map.nodes.map((n) => {
-      if (n.group !== id) return n;
+      if (n.group !== id2) return n;
       const { group: _dropped, ...rest } = n;
       return rest;
     })
@@ -21303,11 +21356,13 @@ function aggregateStatus(nodes) {
   if (nodes.length > 0 && nodes.every((n) => n.status === "done")) return "done";
   return "planned";
 }
-function groupStatus(map, id) {
-  return aggregateStatus(map.nodes.filter((n) => n.group === id));
+function groupStatus(map, id2) {
+  return aggregateStatus(map.nodes.filter((n) => n.group === id2));
 }
 function declareNode(map, input) {
   if (findNode(map, input.id)) return err({ kind: "duplicate-node", id: input.id });
+  const collision = checkIdSpace(map, input.id, "node");
+  if (collision) return err(collision);
   if (!findLayer(map, input.layer)) return err({ kind: "unknown-layer", id: input.layer });
   if (input.group !== void 0) {
     const bad = checkMembership(map, input.id, input.layer, input.group);
@@ -21319,6 +21374,7 @@ function declareNode(map, input) {
     label: input.label,
     layer: input.layer,
     status: input.status ?? "planned",
+    ...input.evidence !== void 0 ? { evidence: input.evidence } : {},
     ...input.detail !== void 0 ? { detail: input.detail } : {},
     ...input.group !== void 0 ? { group: input.group } : {},
     ...input.kind !== void 0 ? { kind: input.kind } : {},
@@ -21339,6 +21395,9 @@ function linkNodes(map, from, to, label) {
   if (fromRank <= toRank) return err({ kind: "edge-not-downward", from, fromRank, to, toRank });
   return ok({ ...map, edges: [...map.edges, { from, to, ...label !== void 0 ? { label } : {} }] });
 }
+function resolveOptional(input, current) {
+  return input === void 0 ? current : input === null ? void 0 : input;
+}
 function updateNode(map, input) {
   const node = findNode(map, input.id);
   if (!node) return err({ kind: "unknown-node", id: input.id });
@@ -21349,55 +21408,225 @@ function updateNode(map, input) {
   if (input.lane !== void 0 && input.lane !== null && !findLane(map, input.lane)) {
     return err({ kind: "unknown-lane", id: input.lane });
   }
-  const { group: currentGroup, kind: currentKind, lane: currentLane, submap: currentSubmap, ...bare } = node;
-  const nextGroup = input.group === void 0 ? currentGroup : input.group === null ? void 0 : input.group;
-  const nextKind = input.kind === void 0 ? currentKind : input.kind === null ? void 0 : input.kind;
-  const nextLane = input.lane === void 0 ? currentLane : input.lane === null ? void 0 : input.lane;
-  const nextSubmap = input.submap === void 0 ? currentSubmap : input.submap === null ? void 0 : input.submap;
+  const {
+    group: currentGroup,
+    kind: currentKind,
+    lane: currentLane,
+    submap: currentSubmap,
+    evidence: currentEvidence,
+    detail: currentDetail,
+    ...bare
+  } = node;
+  const nextGroup = resolveOptional(input.group, currentGroup);
+  const nextKind = resolveOptional(input.kind, currentKind);
+  const nextLane = resolveOptional(input.lane, currentLane);
+  const nextSubmap = resolveOptional(input.submap, currentSubmap);
+  const nextEvidence = resolveOptional(input.evidence, currentEvidence);
+  const nextDetail = resolveOptional(input.detail, currentDetail);
   const updated = {
     ...bare,
+    ...nextEvidence !== void 0 ? { evidence: nextEvidence } : {},
+    ...nextDetail !== void 0 ? { detail: nextDetail } : {},
     ...nextGroup !== void 0 ? { group: nextGroup } : {},
     ...nextKind !== void 0 ? { kind: nextKind } : {},
     ...nextLane !== void 0 ? { lane: nextLane } : {},
     ...nextSubmap !== void 0 ? { submap: nextSubmap } : {},
     ...input.status !== void 0 ? { status: input.status } : {},
-    ...input.label !== void 0 ? { label: input.label } : {},
-    ...input.evidence !== void 0 ? { evidence: input.evidence } : {},
-    ...input.detail !== void 0 ? { detail: input.detail } : {}
+    ...input.label !== void 0 ? { label: input.label } : {}
   };
   return ok({ ...map, nodes: map.nodes.map((n) => n.id === input.id ? updated : n) });
 }
-function removeNode(map, id) {
-  if (!findNode(map, id)) return err({ kind: "unknown-node", id });
+function moveNode(map, id2, layer) {
+  const node = findNode(map, id2);
+  if (!node) return err({ kind: "unknown-node", id: id2 });
+  const target = findLayer(map, layer);
+  if (!target) return err({ kind: "unknown-layer", id: layer });
+  if (node.group !== void 0) {
+    const bad = checkMembership(map, id2, layer, node.group);
+    if (bad) return err(bad);
+  }
+  const rankAfter = (nodeId) => nodeId === id2 ? target.rank : findLayer(map, findNode(map, nodeId).layer).rank;
+  for (const e of map.edges) {
+    if (e.from !== id2 && e.to !== id2) continue;
+    const fromRank = rankAfter(e.from);
+    const toRank = rankAfter(e.to);
+    if (fromRank <= toRank) return err({ kind: "edge-not-downward", from: e.from, fromRank, to: e.to, toRank });
+  }
+  return ok({ ...map, nodes: map.nodes.map((n) => n.id === id2 ? { ...n, layer } : n) });
+}
+function removeNode(map, id2) {
+  if (!findNode(map, id2)) return err({ kind: "unknown-node", id: id2 });
   return ok({
     ...map,
-    nodes: map.nodes.filter((n) => n.id !== id),
-    edges: map.edges.filter((e) => e.from !== id && e.to !== id)
+    nodes: map.nodes.filter((n) => n.id !== id2),
+    edges: map.edges.filter((e) => e.from !== id2 && e.to !== id2)
   });
 }
 function removeEdge(map, from, to) {
   if (!hasEdge(map, from, to)) return err({ kind: "unknown-edge", from, to });
   return ok({ ...map, edges: map.edges.filter((e) => !(e.from === from && e.to === to)) });
 }
-function removeLayer(map, id) {
-  if (!findLayer(map, id)) return err({ kind: "unknown-layer", id });
-  const occupant = map.nodes.find((n) => n.layer === id);
-  if (occupant) return err({ kind: "layer-not-empty", id, occupant: occupant.id });
-  const groupOccupant = map.groups.find((g) => g.layer === id);
-  if (groupOccupant) return err({ kind: "layer-holds-group", id, occupant: groupOccupant.id });
-  return ok({ ...map, layers: map.layers.filter((l) => l.id !== id) });
+function removeLayer(map, id2) {
+  if (!findLayer(map, id2)) return err({ kind: "unknown-layer", id: id2 });
+  const occupant = map.nodes.find((n) => n.layer === id2);
+  if (occupant) return err({ kind: "layer-not-empty", id: id2, occupant: occupant.id });
+  const groupOccupant = map.groups.find((g) => g.layer === id2);
+  if (groupOccupant) return err({ kind: "layer-holds-group", id: id2, occupant: groupOccupant.id });
+  return ok({ ...map, layers: map.layers.filter((l) => l.id !== id2) });
 }
 
-// src/render/render.ts
+// src/semantics/vocabulary.ts
+var STATUS_GLYPHS = {
+  planned: ["\xB7", "."],
+  "in-progress": ["\u283F", "*"],
+  done: ["\u25A0", "#"],
+  regressed: ["\u2717", "X"]
+};
+function statusGlyph(status2, unicode) {
+  const [uni, ascii] = STATUS_GLYPHS[status2];
+  return unicode ? uni : ascii;
+}
+var UNVERIFIED_DONE_GLYPHS = ["\u25A1", "o"];
+function unverifiedDoneGlyph(unicode) {
+  const [uni, ascii] = UNVERIFIED_DONE_GLYPHS;
+  return unicode ? uni : ascii;
+}
+var SPINNER_FRAMES = {
+  unicode: ["\u280B", "\u2819", "\u2839", "\u2838", "\u283C", "\u2834", "\u2826", "\u2827", "\u2807", "\u280F"],
+  ascii: ["|", "/", "-", "\\"]
+};
+function spinnerGlyph(frame, unicode) {
+  const frames = SPINNER_FRAMES[unicode ? "unicode" : "ascii"];
+  return frames[(frame % frames.length + frames.length) % frames.length];
+}
+var NODE_KIND_GLYPHS = {
+  selector: ["?", "?"],
+  sequence: ["\xBB", ">"],
+  parallel: ["\u2016", "="],
+  decorator: ["\u25CC", "o"],
+  condition: ["\u25C7", "c"],
+  action: ["\xB7", "."],
+  source: ["\u25CB", "o"],
+  transform: ["\u25D0", "%"],
+  sink: ["\u25CF", "*"],
+  service: ["\u25C6", "S"],
+  db: ["\u25A4", "D"],
+  queue: ["\u2263", "Q"],
+  ui: ["\u25A3", "U"]
+};
+function kindGlyph(kind, unicode) {
+  const pair = NODE_KIND_GLYPHS[kind];
+  return pair === void 0 ? void 0 : unicode ? pair[0] : pair[1];
+}
+
+// src/semantics/semantics.ts
 var ZOOM_MIN = -4;
 var ZOOM_MAX = 2;
 var ZOOM_DEFAULT = 0;
 function clampZoom(n) {
   return Math.max(ZOOM_MIN, Math.min(ZOOM_MAX, Math.round(n)));
 }
+function zoomMode(zoom) {
+  if (zoom >= 1) return "detail";
+  if (zoom <= -4) return "overview";
+  return "boxes";
+}
+function isNeutralKind(map) {
+  return map.kind !== void 0 && map.kind !== "dev";
+}
+function aggregateMap(map) {
+  if (map.groups.length === 0) return void 0;
+  const representative = /* @__PURE__ */ new Map();
+  for (const n of map.nodes) representative.set(n.id, n.group ?? n.id);
+  const nodes = map.groups.map((g) => {
+    const members = map.nodes.filter((n) => n.group === g.id);
+    const done = members.filter((n) => n.status === "done").length;
+    return {
+      id: g.id,
+      // neutral kinds document structure, not progress — no member counts
+      label: isNeutralKind(map) ? g.label : `${g.label} ${done}/${members.length}`,
+      layer: g.layer,
+      status: groupStatus(map, g.id)
+    };
+  });
+  for (const n of map.nodes) if (n.group === void 0) nodes.push(n);
+  const seen = /* @__PURE__ */ new Set();
+  const edges = [];
+  for (const e of map.edges) {
+    const from = representative.get(e.from);
+    const to = representative.get(e.to);
+    if (from === to || seen.has(`${from}->${to}`)) continue;
+    seen.add(`${from}->${to}`);
+    edges.push({ from, to });
+  }
+  return {
+    ...map.title !== void 0 ? { title: map.title } : {},
+    ...map.kind !== void 0 ? { kind: map.kind } : {},
+    layers: map.layers,
+    groups: [],
+    lanes: map.lanes,
+    nodes,
+    edges
+  };
+}
+function flipForSequence(map) {
+  if (map.kind !== "sequence") return map;
+  return {
+    ...map,
+    // VIOLATION: state-explicit-in-types - `-l.rank as Rank` produces a value
+    // the Rank brand promises cannot exist: mirroring 0..99 gives -99..0, and
+    // makeRank would refuse every one of them. The alternative is a second
+    // ordered-position type (an unbranded `order` field) threaded through the
+    // renderer's whole layout stage purely so this one derived map can be
+    // typed — a large change to express "these ranks are an order, not a
+    // stored value". What makes it safe is the same thing that makes it
+    // wrong: this map only ever reaches a renderer, which compares ranks and
+    // never writes them (same contract as aggregateMap).
+    layers: map.layers.map((l) => ({ ...l, rank: -l.rank })),
+    edges: map.edges.map((e) => ({ from: e.to, to: e.from, ...e.label !== void 0 ? { label: e.label } : {} }))
+  };
+}
+
+// src/render/width.ts
 var WIDE_RANGES = [
   [4352, 4447],
   // Hangul Jamo
+  // Wide symbols scattered through the BMP — mostly emoji that predate the
+  // emoji planes (⌚ ⏰ ⚡ ✅ ✨ ❌ ❓ ⭐ ⬛ …).
+  [8986, 8987],
+  [9001, 9002],
+  [9193, 9196],
+  [9200, 9200],
+  [9203, 9203],
+  [9725, 9726],
+  [9748, 9749],
+  [9800, 9811],
+  [9855, 9855],
+  [9875, 9875],
+  [9889, 9889],
+  [9898, 9899],
+  [9917, 9918],
+  [9924, 9925],
+  [9934, 9934],
+  [9940, 9940],
+  [9962, 9962],
+  [9970, 9971],
+  [9973, 9973],
+  [9978, 9978],
+  [9981, 9981],
+  [9989, 9989],
+  [9994, 9995],
+  [10024, 10024],
+  [10060, 10060],
+  [10062, 10062],
+  [10067, 10069],
+  [10071, 10071],
+  [10133, 10135],
+  [10160, 10160],
+  [10175, 10175],
+  [11035, 11036],
+  [11088, 11088],
+  [11093, 11093],
   [11904, 42191],
   // CJK radicals .. Yi (covers CJK Unified Ideographs)
   [43360, 43391],
@@ -21410,14 +21639,41 @@ var WIDE_RANGES = [
   [65280, 65376],
   // fullwidth forms
   [65504, 65510],
+  [127744, 128591],
+  // pictographs, transport, emoticons (🚀 🎯 😀 …)
+  [128640, 128767],
+  [129280, 129535],
+  // supplemental symbols (🤖 🧱 …)
+  [129648, 129791],
+  // symbols extended-A
   [131072, 262141]
   // CJK extension planes
 ];
-function charWidth(cp) {
-  for (const [lo, hi] of WIDE_RANGES) {
-    if (cp >= lo && cp <= hi) return 2;
+var ZERO_WIDTH_RANGES = [
+  [768, 879],
+  // combining diacritical marks (decomposed 'e' + ´)
+  [6832, 6911],
+  [7616, 7679],
+  [8203, 8207],
+  // zero-width space .. RLM, zero-width joiner among them
+  [8400, 8432],
+  // combining marks for symbols
+  [65024, 65039],
+  // variation selectors, VS16 (emoji presentation) included
+  [65056, 65071],
+  // combining half marks
+  [127995, 127999]
+  // emoji skin tone modifiers — always applied to a base
+];
+function inRanges(cp, ranges) {
+  for (const [lo, hi] of ranges) {
+    if (cp >= lo && cp <= hi) return true;
   }
-  return 1;
+  return false;
+}
+function charWidth(cp) {
+  if (inRanges(cp, ZERO_WIDTH_RANGES)) return 0;
+  return inRanges(cp, WIDE_RANGES) ? 2 : 1;
 }
 function displayWidth(text2) {
   let w = 0;
@@ -21438,27 +21694,40 @@ function fitWidth(s, width) {
 }
 function wrapWidth(s, width) {
   const lines = [];
-  let line = "";
+  let line2 = "";
   let w = 0;
   for (const ch of s.replace(/\r/g, "")) {
     if (ch === "\n") {
-      lines.push(line);
-      line = "";
+      lines.push(line2);
+      line2 = "";
       w = 0;
       continue;
     }
     const cw = displayWidth(ch);
     if (w + cw > width) {
-      lines.push(line);
-      line = "";
+      lines.push(line2);
+      line2 = "";
       w = 0;
     }
-    line += ch;
+    line2 += ch;
     w += cw;
   }
-  if (line !== "") lines.push(line);
+  if (line2 !== "") lines.push(line2);
   return lines;
 }
+
+// src/render/canvas.ts
+var SGR = {
+  none: "",
+  dim: "2",
+  amber: "33",
+  green: "32",
+  greenDim: "32;2",
+  // done, but nothing behind the claim: green, not fully lit
+  red: "31",
+  faint: "90"
+};
+var ANSI_RESET = "\x1B[0m";
 var UP = 1;
 var DOWN = 2;
 var LEFT = 4;
@@ -21493,15 +21762,6 @@ function maskChar(mask, heavyHorizontal, unicode) {
   }
   return LIGHT_BY_MASK[mask] ?? "\u253C";
 }
-var SGR = {
-  none: "",
-  dim: "2",
-  amber: "33",
-  green: "32",
-  red: "31",
-  faint: "90"
-};
-var ANSI_RESET = "\x1B[0m";
 var BORDER_JUNCTION = {
   "\u2500": { down: "\u252C", up: "\u2534" },
   "\u254C": { down: "\u252C", up: "\u2534" },
@@ -21527,11 +21787,17 @@ var Canvas = class {
   text(x, y, s, style, bold = false) {
     let cx = x;
     for (const ch of s) {
+      const w = charWidth(ch.codePointAt(0));
+      if (w === 0) {
+        const base = this.cell(Math.max(0, cx - 1), y);
+        const target = base.literal === "" ? this.cell(Math.max(0, cx - 2), y) : base;
+        target.literal = (target.literal ?? "") + ch;
+        continue;
+      }
       const c = this.cell(cx, y);
       c.literal = ch;
       c.style = style;
       c.bold = bold;
-      const w = charWidth(ch.codePointAt(0));
       if (w === 2) {
         const phantom = this.cell(cx + 1, y);
         phantom.literal = "";
@@ -21566,7 +21832,7 @@ var Canvas = class {
     const out = [];
     for (let y = vp.y; y < vp.y + vp.height; y++) {
       const row = this.rows[y] ?? [];
-      let line = "";
+      let line2 = "";
       let open = "";
       const end = Math.min(vp.x + vp.width, row.length);
       for (let x = Math.max(0, vp.x); x < end; x++) {
@@ -21581,13 +21847,13 @@ var Canvas = class {
         }
         const params = ch === " " ? "" : isWire ? c.bright ? "1" : SGR.faint : [SGR[c.style], c.bold ? "1" : ""].filter(Boolean).join(";");
         if (opts.color && params !== open) {
-          line += (open !== "" ? ANSI_RESET : "") + (params !== "" ? `\x1B[${params}m` : "");
+          line2 += (open !== "" ? ANSI_RESET : "") + (params !== "" ? `\x1B[${params}m` : "");
           open = params;
         }
-        line += ch;
+        line2 += ch;
       }
-      if (opts.color && open !== "") line += ANSI_RESET;
-      out.push(line.replace(/ +$/, ""));
+      if (opts.color && open !== "") line2 += ANSI_RESET;
+      out.push(line2.replace(/ +$/, ""));
     }
     return out;
   }
@@ -21610,163 +21876,33 @@ function drawPath(canvas, points, bright = false) {
     }
   }
 }
-var SPINNER_UNICODE = ["\u280B", "\u2819", "\u2839", "\u2838", "\u283C", "\u2834", "\u2826", "\u2827", "\u2807", "\u280F"];
-var SPINNER_ASCII = ["|", "/", "-", "\\"];
-function skinFor(status, unicode) {
-  const style = status === "planned" ? "dim" : status === "in-progress" ? "amber" : status === "done" ? "green" : "red";
-  if (!unicode) {
-    return status === "planned" ? { h: ".", v: ":", corners: ["+", "+", "+", "+"], style } : { h: "-", v: "|", corners: ["+", "+", "+", "+"], style };
-  }
-  switch (status) {
-    case "planned":
-      return { h: "\u254C", v: "\u254E", corners: ["\u256D", "\u256E", "\u2570", "\u256F"], style };
-    case "in-progress":
-      return { h: "\u2500", v: "\u2502", corners: ["\u256D", "\u256E", "\u2570", "\u256F"], style };
-    case "done":
-    case "regressed":
-      return { h: "\u2501", v: "\u2503", corners: ["\u250F", "\u2513", "\u2517", "\u251B"], style };
-  }
-}
-function glyphFor(status, opts) {
-  const spinner = opts.unicode ? SPINNER_UNICODE : SPINNER_ASCII;
-  switch (status) {
-    case "planned":
-      return opts.unicode ? "\xB7" : ".";
-    case "in-progress":
-      return spinner[opts.spinnerFrame % spinner.length];
-    case "done":
-      return opts.unicode ? "\u25A0" : "#";
-    case "regressed":
-      return opts.unicode ? "\u2717" : "X";
-  }
-}
-var NODE_KIND_GLYPHS = {
-  selector: ["?", "?"],
-  sequence: ["\xBB", ">"],
-  parallel: ["\u2016", "="],
-  decorator: ["\u25CC", "o"],
-  condition: ["\u25C7", "c"],
-  action: ["\xB7", "."],
-  source: ["\u25CB", "o"],
-  transform: ["\u25D0", "%"],
-  sink: ["\u25CF", "*"],
-  service: ["\u25C6", "S"],
-  db: ["\u25A4", "D"],
-  queue: ["\u2263", "Q"],
-  ui: ["\u25A3", "U"]
-};
-function kindGlyph(kind, unicode) {
-  const pair = NODE_KIND_GLYPHS[kind];
-  return pair === void 0 ? void 0 : unicode ? pair[0] : pair[1];
-}
-function isNeutralKind(map) {
-  return map.kind !== void 0 && map.kind !== "dev";
-}
-function neutralSkin(unicode) {
-  return unicode ? { h: "\u2500", v: "\u2502", corners: ["\u256D", "\u256E", "\u2570", "\u256F"], style: "none" } : { h: "-", v: "|", corners: ["+", "+", "+", "+"], style: "none" };
-}
+
+// src/render/zoom-geometry.ts
 var BOX_H = 3;
 var BOX_GAP = 2;
 var LEFT_MARGIN = 2;
+var BAR_MIN_RUN = 7;
 var DETAIL_BUDGET = { innerMin: 22, innerMax: 32, noteRows: 3 };
 var DETAIL_PLUS_BUDGET = { innerMin: 30, innerMax: 48, noteRows: 12 };
 function zoomGeometry(zoom) {
+  const m = zoomMode(zoom);
+  const mode = m === "overview" ? "constellation" : m;
   switch (zoom) {
     case 2:
-      return { mode: "detail", scale: 1, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false, detail: DETAIL_PLUS_BUDGET };
+      return { mode, scale: 1, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false, detail: DETAIL_PLUS_BUDGET };
     case 1:
-      return { mode: "detail", scale: 1, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false, detail: DETAIL_BUDGET };
+      return { mode, scale: 1, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false, detail: DETAIL_BUDGET };
     case 0:
-      return { mode: "boxes", scale: 1, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false };
+      return { mode, scale: 1, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false };
     case -1:
-      return { mode: "boxes", scale: 0.85, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false };
+      return { mode, scale: 0.85, pad: 1, boxGap: BOX_GAP, breathe: 1, titleGap: 1, barGap: 1, bandCounts: false };
     case -2:
-      return { mode: "boxes", scale: 0.7, pad: 0, boxGap: BOX_GAP, breathe: 0, titleGap: 0, barGap: 1, bandCounts: false };
+      return { mode, scale: 0.7, pad: 0, boxGap: BOX_GAP, breathe: 0, titleGap: 0, barGap: 1, bandCounts: false };
     case -3:
-      return { mode: "boxes", scale: 0.55, pad: 0, boxGap: 1, breathe: 0, titleGap: 0, barGap: 1, bandCounts: true };
+      return { mode, scale: 0.55, pad: 0, boxGap: 1, breathe: 0, titleGap: 0, barGap: 1, bandCounts: true };
     case -4:
-      return { mode: "constellation", scale: 0, pad: 0, boxGap: BOX_GAP, breathe: 0, titleGap: 0, barGap: 1, bandCounts: true };
-  }
-}
-var LABEL_BUDGET_MIN = 4;
-function boxSpec(node, geo, unicode, neutral) {
-  const glyph = node.kind !== void 0 ? kindGlyph(node.kind, unicode) : void 0;
-  const badge = node.submap !== void 0 ? unicode ? " \u229E" : " +" : "";
-  const badgeW = displayWidth(badge);
-  const text2 = !neutral && glyph !== void 0 ? `${glyph} ${node.label}` : node.label;
-  if (geo.mode === "constellation") {
-    return { w: 3, h: 1, label: "", pad: 0, borderless: true, extra: [] };
-  }
-  if (geo.mode === "detail" && geo.detail !== void 0) {
-    const budget2 = geo.detail;
-    const innerW = Math.min(Math.max(displayWidth(text2) + badgeW + 4, budget2.innerMin), budget2.innerMax);
-    const extra = [];
-    if (node.evidence !== void 0) extra.push({ text: fitWidth(` ${node.evidence}`, innerW), style: "faint" });
-    if (node.detail !== void 0) {
-      const wrapped = wrapWidth(node.detail, innerW - 2);
-      for (let i = 0; i < Math.min(wrapped.length, budget2.noteRows); i++) {
-        const cut = i === budget2.noteRows - 1 && wrapped.length > budget2.noteRows;
-        extra.push({ text: ` ${cut ? fitWidth(wrapped[i] + "\u2026", innerW - 2) : wrapped[i]}`, style: "none" });
-      }
-    }
-    return {
-      w: innerW + 2,
-      h: BOX_H + extra.length,
-      label: fitWidth(text2, innerW - 4 - badgeW) + badge,
-      pad: 1,
-      borderless: false,
-      extra
-    };
-  }
-  const budget = Math.max(LABEL_BUDGET_MIN, Math.ceil(displayWidth(text2) * geo.scale));
-  const label = fitWidth(text2, budget) + badge;
-  return {
-    w: displayWidth(label) + 4 + 2 * geo.pad,
-    h: BOX_H,
-    label,
-    pad: geo.pad,
-    borderless: false,
-    extra: []
-  };
-}
-function renderMap(map, opts) {
-  const built = buildCanvas(map, opts);
-  return built.canvas.emit(opts);
-}
-function aggregateMap(map) {
-  if (map.groups.length === 0) return void 0;
-  const representative = /* @__PURE__ */ new Map();
-  for (const n of map.nodes) representative.set(n.id, n.group ?? n.id);
-  const nodes = map.groups.map((g) => {
-    const members = map.nodes.filter((n) => n.group === g.id);
-    const done = members.filter((n) => n.status === "done").length;
-    return {
-      id: g.id,
-      // neutral kinds document structure, not progress — no member counts
-      label: isNeutralKind(map) ? g.label : `${g.label} ${done}/${members.length}`,
-      layer: g.layer,
-      status: groupStatus(map, g.id)
-    };
-  });
-  for (const n of map.nodes) if (n.group === void 0) nodes.push(n);
-  const seen = /* @__PURE__ */ new Set();
-  const edges = [];
-  for (const e of map.edges) {
-    const from = representative.get(e.from);
-    const to = representative.get(e.to);
-    if (from === to || seen.has(`${from}->${to}`)) continue;
-    seen.add(`${from}->${to}`);
-    edges.push({ from, to });
+      return { mode, scale: 0, pad: 0, boxGap: BOX_GAP, breathe: 0, titleGap: 0, barGap: 1, bandCounts: true };
   }
-  return {
-    ...map.title !== void 0 ? { title: map.title } : {},
-    ...map.kind !== void 0 ? { kind: map.kind } : {},
-    layers: map.layers,
-    groups: [],
-    lanes: map.lanes,
-    nodes,
-    edges
-  };
 }
 var AGGREGATE_GEO = {
   mode: "boxes",
@@ -21778,107 +21914,31 @@ var AGGREGATE_GEO = {
   barGap: 1,
   bandCounts: false
 };
-function flipForSequence(map) {
-  if (map.kind !== "sequence") return map;
-  return {
-    ...map,
-    layers: map.layers.map((l) => ({ ...l, rank: -l.rank })),
-    edges: map.edges.map((e) => ({ from: e.to, to: e.from, ...e.label !== void 0 ? { label: e.label } : {} }))
+
+// src/render/routing.ts
+function routeEdges(map, columns) {
+  const { bandIndexOf, bandBoxes, boxOf, contentWidth } = columns;
+  const pending = map.edges.map((e) => {
+    const from = boxOf.get(e.from);
+    const to = boxOf.get(e.to);
+    return {
+      from,
+      to,
+      fromBand: bandIndexOf.get(from.node.layer),
+      toBand: bandIndexOf.get(to.node.layer)
+    };
+  });
+  const gapVerticals = Array.from(
+    { length: Math.max(0, columns.bands.length - 1) },
+    () => /* @__PURE__ */ new Map()
+  );
+  const verticalFree = (gap, x, edge) => {
+    const owner = gapVerticals[gap]?.get(x);
+    return owner === void 0 || owner === edge;
+  };
+  const takeVertical = (gap, x, edge) => {
+    gapVerticals[gap]?.set(x, edge);
   };
-}
-function buildCanvas(map, opts) {
-  const oriented = flipForSequence(map);
-  const plainGeo = zoomGeometry(opts.zoom ?? ZOOM_DEFAULT);
-  const aggregated = plainGeo.mode === "constellation" ? aggregateMap(oriented) : void 0;
-  return buildCanvasWith(aggregated ?? oriented, opts, aggregated !== void 0 ? AGGREGATE_GEO : plainGeo);
-}
-function buildCanvasWith(map, opts, geo) {
-  const canvas = new Canvas();
-  const neutral = isNeutralKind(map);
-  const bands = [...map.layers].sort((a, b) => b.rank - a.rank);
-  if (bands.length === 0) {
-    canvas.text(0, 0, map.title ?? "mellos mapping", "none", true);
-    canvas.text(0, 2, "(empty map \u2014 declare layers and nodes to begin)", "dim");
-    return { canvas, hits: [] };
-  }
-  const bandIndexOf = new Map(bands.map((l, i) => [l.id, i]));
-  const boxes = /* @__PURE__ */ new Map();
-  const bandBoxes = bands.map(() => []);
-  for (const node of map.nodes) {
-    const band = bandIndexOf.get(node.layer);
-    const box = { node, ...boxSpec(node, geo, opts.unicode, neutral), x: LEFT_MARGIN, y: 0 };
-    bandBoxes[band].push(box);
-    boxes.set(node.id, box);
-  }
-  const laneCount = map.lanes.length;
-  const laneX = [];
-  const laneW = [];
-  if (laneCount === 0) {
-    for (const row of bandBoxes) {
-      let x = LEFT_MARGIN;
-      for (const box of row) {
-        box.x = x;
-        x += box.w + geo.boxGap;
-      }
-    }
-  } else {
-    const laneGap = geo.boxGap + 2;
-    const laneIndexOf = new Map(map.lanes.map((l, i) => [l.id, i]));
-    const regions = laneCount + 1;
-    const grouped = bandBoxes.map((row) => {
-      const cells = Array.from({ length: regions }, () => []);
-      for (const box of row) {
-        const lane = box.node.lane;
-        cells[lane !== void 0 ? laneIndexOf.get(lane) : regions - 1].push(box);
-      }
-      return cells;
-    });
-    const regionW = Array.from({ length: regions }, () => 0);
-    for (const cells of grouped) {
-      for (let i = 0; i < regions; i++) {
-        const rowW = cells[i].reduce((sum, b, k) => sum + b.w + (k > 0 ? geo.boxGap : 0), 0);
-        regionW[i] = Math.max(regionW[i], rowW);
-      }
-    }
-    for (let i = 0; i < laneCount; i++) regionW[i] = Math.max(regionW[i], displayWidth(map.lanes[i].label) + 2);
-    let x0 = LEFT_MARGIN;
-    for (let i = 0; i < regions; i++) {
-      laneX.push(x0);
-      laneW.push(regionW[i]);
-      x0 += regionW[i] + laneGap;
-    }
-    for (const cells of grouped) {
-      for (let i = 0; i < regions; i++) {
-        let x = laneX[i];
-        for (const box of cells[i]) {
-          box.x = x;
-          x += box.w + geo.boxGap;
-        }
-      }
-    }
-  }
-  const bandLabel = bands.map((l, i) => {
-    const row = bandBoxes[i];
-    const done = row.filter((b) => b.node.status === "done").length;
-    return geo.bandCounts && row.length > 0 && !neutral ? ` ${l.name} ${done}/${row.length}` : ` ${l.name}`;
-  });
-  let contentWidth = LEFT_MARGIN;
-  for (const row of bandBoxes) {
-    const last = row[row.length - 1];
-    if (last) contentWidth = Math.max(contentWidth, last.x + last.w);
-  }
-  for (let i = 0; i < laneCount; i++) contentWidth = Math.max(contentWidth, laneX[i] + laneW[i]);
-  for (const label of bandLabel) contentWidth = Math.max(contentWidth, LEFT_MARGIN + displayWidth(label) + 7);
-  const routes = map.edges.map((e) => {
-    const fromBox = boxes.get(e.from);
-    const toBox = boxes.get(e.to);
-    return {
-      fromBox,
-      toBox,
-      fromBand: bandIndexOf.get(fromBox.node.layer),
-      toBand: bandIndexOf.get(toBox.node.layer)
-    };
-  });
   const claimedColumns = /* @__PURE__ */ new Map();
   const isFree = (box, x) => !(claimedColumns.get(box)?.has(x) ?? false);
   const claim = (box, x) => {
@@ -21887,60 +21947,65 @@ function buildCanvasWith(map, opts, geo) {
     set.add(x);
     return x;
   };
-  const straightX = /* @__PURE__ */ new Map();
-  for (const r of routes) {
+  for (const r of pending) {
     if (r.toBand - r.fromBand !== 1) continue;
-    const lo = Math.max(r.fromBox.x + 1, r.toBox.x + 1);
-    const hi = Math.min(r.fromBox.x + r.fromBox.w - 2, r.toBox.x + r.toBox.w - 2);
+    const lo = Math.max(r.from.x + 1, r.to.x + 1);
+    const hi = Math.min(r.from.x + r.from.w - 2, r.to.x + r.to.w - 2);
     if (lo > hi) continue;
     const mid = Math.floor((lo + hi) / 2);
-    for (let d = 0; d <= hi - lo && !straightX.has(r); d++) {
+    for (let d = 0; d <= hi - lo && r.straightX === void 0; d++) {
       for (const x of d === 0 ? [mid] : [mid - d, mid + d]) {
-        if (x >= lo && x <= hi && isFree(r.fromBox, x) && isFree(r.toBox, x)) {
-          straightX.set(r, claim(r.toBox, claim(r.fromBox, x)));
+        if (x >= lo && x <= hi && isFree(r.from, x) && isFree(r.to, x) && verticalFree(r.fromBand, x, r)) {
+          r.straightX = claim(r.to, claim(r.from, x));
+          takeVertical(r.fromBand, x, r);
           break;
         }
       }
     }
   }
-  const bent = routes.filter((r) => !straightX.has(r));
+  const bent = pending.filter((r) => r.straightX === void 0);
   const outgoing = /* @__PURE__ */ new Map();
   const incoming = /* @__PURE__ */ new Map();
   for (const r of bent) {
-    outgoing.set(r.fromBox, [...outgoing.get(r.fromBox) ?? [], r]);
-    incoming.set(r.toBox, [...incoming.get(r.toBox) ?? [], r]);
+    outgoing.set(r.from, [...outgoing.get(r.from) ?? [], r]);
+    incoming.set(r.to, [...incoming.get(r.to) ?? [], r]);
   }
-  const freeSlot = (box, k, n) => {
+  const freeSlot = (box, k, n, edge, gap) => {
     const lo = box.x + 1;
     const hi = box.x + box.w - 2;
     const ideal = box.x + Math.min(box.w - 2, Math.max(1, Math.round((k + 1) * (box.w - 1) / (n + 1))));
     for (let d = 0; d <= hi - lo; d++) {
       for (const x of d === 0 ? [ideal] : [ideal - d, ideal + d]) {
-        if (x >= lo && x <= hi && isFree(box, x)) return claim(box, x);
+        if (x >= lo && x <= hi && isFree(box, x) && verticalFree(gap, x, edge)) {
+          takeVertical(gap, x, edge);
+          return claim(box, x);
+        }
       }
     }
     return ideal;
   };
-  const attach = /* @__PURE__ */ new Map();
   for (const r of bent) {
-    const outs = outgoing.get(r.fromBox);
-    const ins = incoming.get(r.toBox);
-    attach.set(r, {
-      sx: freeSlot(r.fromBox, outs.indexOf(r), outs.length),
-      ex: freeSlot(r.toBox, ins.indexOf(r), ins.length)
-    });
+    const outs = outgoing.get(r.from);
+    const ins = incoming.get(r.to);
+    r.exitX = freeSlot(r.from, outs.indexOf(r), outs.length, r, r.fromBand);
+    r.entryX = freeSlot(r.to, ins.indexOf(r), ins.length, r, r.toBand - 1);
   }
-  const skipRoutes = bent.filter((r) => r.toBand - r.fromBand > 1);
   const usedDescent = /* @__PURE__ */ new Set();
-  const descentX = /* @__PURE__ */ new Map();
   let fallbackCount = 0;
   const blockedByBox = (band, x) => bandBoxes[band].some((b) => x >= b.x && x <= b.x + b.w - 1);
-  for (const r of skipRoutes) {
-    const { ex } = attach.get(r);
+  const descentGapsFree = (r, c) => {
+    for (let g = r.fromBand; g <= r.toBand - 1; g++) {
+      if (!verticalFree(g, c, r)) return false;
+    }
+    return true;
+  };
+  for (const r of bent.filter((e) => e.toBand - e.fromBand > 1)) {
+    const ex = r.entryX;
     let chosen;
     for (let d = 0; d <= contentWidth && chosen === void 0; d++) {
       for (const c of d === 0 ? [ex] : [ex - d, ex + d]) {
         if (c < LEFT_MARGIN || c > contentWidth + 1 || usedDescent.has(c)) continue;
+        if (!descentGapsFree(r, c)) continue;
         let blocked = false;
         for (let b = r.fromBand + 1; b < r.toBand && !blocked; b++) blocked = blockedByBox(b, c);
         if (!blocked) {
@@ -21951,167 +22016,182 @@ function buildCanvasWith(map, opts, geo) {
     }
     if (chosen === void 0) chosen = contentWidth + 2 + fallbackCount++ * 2;
     usedDescent.add(chosen);
-    descentX.set(r, chosen);
+    for (let g = r.fromBand; g <= r.toBand - 1; g++) takeVertical(g, chosen, r);
+    r.descentX = chosen;
   }
-  const totalWidth = fallbackCount > 0 ? contentWidth + 2 + fallbackCount * 2 : contentWidth;
-  const gapCount = bands.length - 1;
-  const gapSegments = Array.from({ length: gapCount }, () => []);
-  const segmentOf = /* @__PURE__ */ new Map();
+  const gapCount = Math.max(0, columns.bands.length - 1);
+  const gapSegments = Array.from(
+    { length: gapCount },
+    () => []
+  );
   for (const r of bent) {
-    const { sx, ex } = attach.get(r);
-    if (r.toBand - r.fromBand === 1) {
-      const landing = { route: r, kind: "landing", lo: Math.min(sx, ex), hi: Math.max(sx, ex) };
-      gapSegments[r.toBand - 1].push(landing);
-      segmentOf.set(r, { landing });
+    const sx = r.exitX;
+    const ex = r.entryX;
+    if (r.descentX === void 0) {
+      gapSegments[r.toBand - 1].push({
+        edge: r,
+        kind: "landing",
+        segment: { lo: Math.min(sx, ex), hi: Math.max(sx, ex) }
+      });
     } else {
-      const c = descentX.get(r);
-      const exit = { route: r, kind: "exit", lo: Math.min(sx, c), hi: Math.max(sx, c) };
-      const landing = { route: r, kind: "landing", lo: Math.min(c, ex), hi: Math.max(c, ex) };
-      gapSegments[r.fromBand].push(exit);
-      gapSegments[r.toBand - 1].push(landing);
-      segmentOf.set(r, { exit, landing });
+      const c = r.descentX;
+      gapSegments[r.fromBand].push({ edge: r, kind: "exit", segment: { lo: Math.min(sx, c), hi: Math.max(sx, c) } });
+      gapSegments[r.toBand - 1].push({
+        edge: r,
+        kind: "landing",
+        segment: { lo: Math.min(c, ex), hi: Math.max(c, ex) }
+      });
     }
   }
-  const segmentRow = /* @__PURE__ */ new Map();
-  const gapRowCount = gapSegments.map((segments) => {
+  const exitRow = /* @__PURE__ */ new Map();
+  const landingRow = /* @__PURE__ */ new Map();
+  const gapRowCount = gapSegments.map((entries) => {
     const rowEnds = [];
-    for (const s of [...segments].sort((a, b) => a.lo - b.lo)) {
-      let row = rowEnds.findIndex((end) => s.lo > end + 1);
+    for (const e of [...entries].sort((a, b) => a.segment.lo - b.segment.lo)) {
+      let row = rowEnds.findIndex((end) => e.segment.lo > end + 1);
       if (row === -1) {
-        rowEnds.push(s.hi);
+        rowEnds.push(e.segment.hi);
         row = rowEnds.length - 1;
       } else {
-        rowEnds[row] = Math.max(rowEnds[row], s.hi);
+        rowEnds[row] = Math.max(rowEnds[row], e.segment.hi);
       }
-      segmentRow.set(s, row);
+      (e.kind === "exit" ? exitRow : landingRow).set(e.edge, row);
     }
     return rowEnds.length;
   });
-  let y = 0;
-  if (map.title !== void 0) y += 1 + geo.titleGap;
-  let laneHeaderY;
-  if (laneCount > 0) {
-    laneHeaderY = y;
-    y += 1 + geo.barGap;
-  }
-  const barY = [];
-  const gapTrackStartY = [];
-  for (let b = 0; b < bands.length; b++) {
-    barY.push(y);
-    y += 1 + geo.barGap;
-    const row = bandBoxes[b];
-    for (const box of row) box.y = y;
-    y += row.reduce((max, box) => Math.max(max, box.h), geo.mode === "constellation" ? 1 : BOX_H);
-    if (b < gapCount) {
-      y += geo.breathe;
-      gapTrackStartY.push(y);
-      y += gapRowCount[b];
-      y += geo.breathe;
-    }
-  }
-  const legendY = y + 1;
-  const rowYOf = (gap, s) => gapTrackStartY[gap] + segmentRow.get(s);
-  if (map.title !== void 0) canvas.text(LEFT_MARGIN, 0, map.title, "none", true);
-  if (laneHeaderY !== void 0) {
-    for (let i = 0; i < laneCount; i++) {
-      const label = fitWidth(map.lanes[i].label, laneW[i]);
-      const cx = laneX[i] + Math.max(0, Math.floor((laneW[i] - displayWidth(label)) / 2));
-      canvas.text(cx, laneHeaderY, label, "faint", true);
-    }
-  }
-  for (let b = 0; b < bands.length; b++) {
-    const label = bandLabel[b];
-    for (let x = 0; x < totalWidth; x++) canvas.line(x, barY[b], LEFT | RIGHT, true);
-    const labelStart = (fallbackCount > 0 ? contentWidth : totalWidth) - displayWidth(label);
-    canvas.text(labelStart, barY[b], label, "none", true);
-  }
-  for (const box of boxes.values()) {
-    drawBox(canvas, box, opts, neutral, opts.focus !== void 0 && box.node.id === opts.focus);
-  }
-  for (const r of routes) {
-    const sy = r.fromBox.y + r.fromBox.h - 1;
-    const ey = r.toBox.y;
-    const bright = opts.focus !== void 0 && (r.fromBox.node.id === opts.focus || r.toBox.node.id === opts.focus);
-    const direct = straightX.get(r);
-    if (direct !== void 0) {
-      drawPath(
-        canvas,
-        [
-          [direct, sy],
-          [direct, ey]
-        ],
-        bright
-      );
-      continue;
-    }
-    const { sx, ex } = attach.get(r);
-    const segments = segmentOf.get(r);
-    const landingY = rowYOf(r.toBand - 1, segments.landing);
-    if (r.toBand - r.fromBand === 1) {
-      drawPath(
-        canvas,
-        [
-          [sx, sy],
-          [sx, landingY],
-          [ex, landingY],
-          [ex, ey]
-        ],
-        bright
-      );
-    } else {
-      const c = descentX.get(r);
-      const exitY = rowYOf(r.fromBand, segments.exit);
-      drawPath(
-        canvas,
-        [
-          [sx, sy],
-          [sx, exitY],
-          [c, exitY],
-          [c, landingY],
-          [ex, landingY],
-          [ex, ey]
-        ],
-        bright
-      );
+  const edges = pending.map((r) => {
+    const common = { from: r.from, to: r.to, fromBand: r.fromBand, toBand: r.toBand };
+    if (r.straightX !== void 0) return { ...common, kind: "straight", x: r.straightX };
+    if (r.descentX === void 0) {
+      return { ...common, kind: "dogleg", exitX: r.exitX, entryX: r.entryX, landingRow: landingRow.get(r) };
     }
+    return {
+      ...common,
+      kind: "thread",
+      exitX: r.exitX,
+      entryX: r.entryX,
+      descentX: r.descentX,
+      exitRow: exitRow.get(r),
+      landingRow: landingRow.get(r)
+    };
+  });
+  return { edges, gapRowCount, fallbackCount };
+}
+function edgePolyline(edge, rows) {
+  const from = rows.boxOf.get(edge.from.node.id);
+  const to = rows.boxOf.get(edge.to.node.id);
+  const sy = from.y + from.h - 1;
+  const ey = to.y;
+  if (edge.kind === "straight") {
+    return [
+      [edge.x, sy],
+      [edge.x, ey]
+    ];
   }
-  let lx = LEFT_MARGIN;
-  if (neutral) {
-    lx = canvas.text(lx, legendY, map.kind, "faint");
-    const seen = /* @__PURE__ */ new Set();
-    for (const n of map.nodes) {
-      const k = n.kind;
-      if (k === void 0 || seen.has(k) || kindGlyph(k, opts.unicode) === void 0) continue;
-      seen.add(k);
-      lx = canvas.text(lx, legendY, "   ", "none");
-      lx = canvas.text(lx, legendY, `${kindGlyph(k, opts.unicode)} ${k}`, "none");
-    }
-  } else {
-    const legendOpts = { ...opts, spinnerFrame: 0 };
-    const legendEntries = [
-      ["planned", "dim"],
-      ["in-progress", "amber"],
-      ["done", "green"],
-      ["regressed", "red"]
+  const landingY = rows.gapTrackStartY[edge.toBand - 1] + edge.landingRow;
+  if (edge.kind === "dogleg") {
+    return [
+      [edge.exitX, sy],
+      [edge.exitX, landingY],
+      [edge.entryX, landingY],
+      [edge.entryX, ey]
     ];
-    for (const [status, style] of legendEntries) {
-      if (lx > LEFT_MARGIN) lx = canvas.text(lx, legendY, "   ", "none");
-      lx = canvas.text(lx, legendY, `${glyphFor(status, legendOpts)} ${status}`, style);
+  }
+  const exitY = rows.gapTrackStartY[edge.fromBand] + edge.exitRow;
+  return [
+    [edge.exitX, sy],
+    [edge.exitX, exitY],
+    [edge.descentX, exitY],
+    [edge.descentX, landingY],
+    [edge.entryX, landingY],
+    [edge.entryX, ey]
+  ];
+}
+
+// src/render/skins.ts
+function styleFor(face) {
+  switch (face) {
+    case "planned":
+      return "dim";
+    case "in-progress":
+      return "amber";
+    case "done":
+      return "green";
+    case "done-unverified":
+      return "greenDim";
+    case "regressed":
+      return "red";
+  }
+}
+function skinFor(face, unicode) {
+  const style = styleFor(face);
+  if (!unicode) {
+    return face === "planned" ? { h: ".", v: ":", corners: ["+", "+", "+", "+"], style } : { h: "-", v: "|", corners: ["+", "+", "+", "+"], style };
+  }
+  switch (face) {
+    case "planned":
+      return { h: "\u254C", v: "\u254E", corners: ["\u256D", "\u256E", "\u2570", "\u256F"], style };
+    case "in-progress":
+      return { h: "\u2500", v: "\u2502", corners: ["\u256D", "\u256E", "\u2570", "\u256F"], style };
+    // an unverified done keeps the heavy border of done — it is the same
+    // claim, told with a hollow glyph and a dimmer green
+    case "done":
+    case "done-unverified":
+    case "regressed":
+      return { h: "\u2501", v: "\u2503", corners: ["\u250F", "\u2513", "\u2517", "\u251B"], style };
+  }
+}
+function glyphFor(face, opts) {
+  if (face === "in-progress") return spinnerGlyph(opts.spinnerFrame, opts.unicode);
+  return face === "done-unverified" ? unverifiedDoneGlyph(opts.unicode) : statusGlyph(face, opts.unicode);
+}
+function neutralSkin(unicode) {
+  return unicode ? { h: "\u2500", v: "\u2502", corners: ["\u256D", "\u256E", "\u2570", "\u256F"], style: "none" } : { h: "-", v: "|", corners: ["+", "+", "+", "+"], style: "none" };
+}
+function neutralGlyph(node, unicode) {
+  return (node.kind !== void 0 ? kindGlyph(node.kind, unicode) : void 0) ?? (unicode ? "\xB7" : ".");
+}
+function unverifiedDoneIds(declared, drawn) {
+  const out = /* @__PURE__ */ new Set();
+  const declaredById = new Map(declared.nodes.map((n) => [n.id, n]));
+  for (const node of drawn.nodes) {
+    if (node.status !== "done") continue;
+    const own = declaredById.get(node.id);
+    if (own !== void 0) {
+      if (own.evidence === void 0) out.add(node.id);
+    } else if (declared.nodes.some(
+      (m) => m.group === node.id && m.status === "done" && m.evidence === void 0
+    )) {
+      out.add(node.id);
     }
   }
-  const hits = [...boxes.values()].map((b) => ({
-    id: b.node.id,
-    x: b.x,
-    y: b.y,
-    w: b.w,
-    h: b.h
-  }));
-  return { canvas, hits };
+  return out;
+}
+
+// src/render/draw.ts
+function drawTitle(canvas, title) {
+  canvas.text(LEFT_MARGIN, 0, title, "none", true);
+}
+function drawLaneHeaders(canvas, map, columns, rows) {
+  if (rows.laneHeaderY === void 0) return;
+  for (let i = 0; i < map.lanes.length; i++) {
+    const region = columns.lanes[i];
+    const label = fitWidth(map.lanes[i].label, region.w);
+    const cx = region.x + Math.max(0, Math.floor((region.w - displayWidth(label)) / 2));
+    canvas.text(cx, rows.laneHeaderY, label, "faint", true);
+  }
+}
+function drawBands(canvas, columns, rows, wiredWidth, totalWidth) {
+  for (let b = 0; b < columns.bands.length; b++) {
+    const label = columns.bandLabel[b];
+    for (let x = 0; x < wiredWidth; x++) canvas.line(x, rows.barY[b], LEFT | RIGHT, true);
+    canvas.text(totalWidth - displayWidth(label), rows.barY[b], label, "none", true);
+  }
 }
-function drawBox(canvas, box, opts, neutral, focused = false) {
+function drawBox(canvas, box, opts, neutral, face, focused = false) {
   const { node, x, y, w } = box;
-  const skin = neutral ? neutralSkin(opts.unicode) : skinFor(node.status, opts.unicode);
-  const slotGlyph = neutral ? (node.kind !== void 0 ? kindGlyph(node.kind, opts.unicode) : void 0) ?? (opts.unicode ? "\xB7" : ".") : glyphFor(node.status, opts);
+  const skin = neutral ? neutralSkin(opts.unicode) : skinFor(face, opts.unicode);
+  const slotGlyph = neutral ? neutralGlyph(node, opts.unicode) : glyphFor(face, opts);
   if (box.borderless) {
     canvas.text(x + 1, y, slotGlyph, skin.style, true);
     return;
@@ -22131,66 +22211,234 @@ function drawBox(canvas, box, opts, neutral, focused = false) {
   }
   canvas.text(x, y + box.h - 1, skin.corners[2] + skin.h.repeat(inner) + skin.corners[3], skin.style, focused);
 }
-
-// src/store/store.ts
-import { existsSync, mkdirSync, readdirSync, readFileSync, renameSync, rmSync, writeFileSync } from "node:fs";
-import { basename, dirname, join } from "node:path";
-var STATE_FILE_VERSION = 1;
-var STATE_FILE_RELATIVE_PATH = join(".claude", "mellos-mapping.json");
-var PAGES_DIR_NAME = "mellos-mapping.pages";
-function pageFilePath(defaultFile, page) {
-  return page === void 0 ? defaultFile : join(dirname(defaultFile), PAGES_DIR_NAME, `${page}.json`);
+function drawEdges(canvas, edges, rows, opts) {
+  for (const edge of edges) {
+    const bright = opts.focus !== void 0 && (edge.from.node.id === opts.focus || edge.to.node.id === opts.focus);
+    drawPath(canvas, edgePolyline(edge, rows), bright);
+  }
 }
-var CONFIG_FILE_NAME = "mellos-mapping.config.json";
-var CONFIG_FILE_VERSION = 1;
-function configFilePath(defaultFile) {
-  return join(dirname(defaultFile), CONFIG_FILE_NAME);
+function drawLegend(canvas, map, opts, legendY, neutral, anyUnverified) {
+  let lx = LEFT_MARGIN;
+  if (neutral) {
+    lx = canvas.text(lx, legendY, map.kind, "faint");
+    const seen = /* @__PURE__ */ new Set();
+    for (const n of map.nodes) {
+      const k = n.kind;
+      if (k === void 0 || seen.has(k) || kindGlyph(k, opts.unicode) === void 0) continue;
+      seen.add(k);
+      lx = canvas.text(lx, legendY, "   ", "none");
+      lx = canvas.text(lx, legendY, `${kindGlyph(k, opts.unicode)} ${k}`, "none");
+    }
+    return;
+  }
+  const legendOpts = { ...opts, spinnerFrame: 0 };
+  const faces = ["planned", "in-progress", "done", "regressed"];
+  if (anyUnverified) faces.push("done-unverified");
+  for (const face of faces) {
+    if (lx > LEFT_MARGIN) lx = canvas.text(lx, legendY, "   ", "none");
+    const word = face === "done-unverified" ? "done, no evidence" : face;
+    lx = canvas.text(lx, legendY, `${glyphFor(face, legendOpts)} ${word}`, styleFor(face));
+  }
 }
-var MAPPING_POLICIES = ["always", "complex", "on-request"];
-function makeMappingPolicy(raw) {
-  return MAPPING_POLICIES.includes(raw) ? ok(raw) : err({ kind: "invalid-policy", raw, allowed: MAPPING_POLICIES });
+
+// src/render/layout.ts
+var LABEL_BUDGET_MIN = 4;
+function boxSpec(node, geo, unicode, neutral) {
+  const glyph = node.kind !== void 0 ? kindGlyph(node.kind, unicode) : void 0;
+  const badge = node.submap !== void 0 ? unicode ? " \u229E" : " +" : "";
+  const badgeW = displayWidth(badge);
+  const text2 = !neutral && glyph !== void 0 ? `${glyph} ${node.label}` : node.label;
+  if (geo.mode === "constellation") {
+    return { w: 3, h: 1, label: "", pad: 0, borderless: true, extra: [] };
+  }
+  if (geo.mode === "detail" && geo.detail !== void 0) {
+    const budget2 = geo.detail;
+    const innerW = Math.min(Math.max(displayWidth(text2) + badgeW + 4, budget2.innerMin), budget2.innerMax);
+    const extra = [];
+    if (node.evidence !== void 0) extra.push({ text: fitWidth(` ${node.evidence}`, innerW), style: "faint" });
+    if (node.detail !== void 0) {
+      const wrapped = wrapWidth(node.detail, innerW - 2);
+      for (let i = 0; i < Math.min(wrapped.length, budget2.noteRows); i++) {
+        const cut = i === budget2.noteRows - 1 && wrapped.length > budget2.noteRows;
+        extra.push({ text: ` ${cut ? fitWidth(wrapped[i] + "\u2026", innerW - 2) : wrapped[i]}`, style: "none" });
+      }
+    }
+    return {
+      w: innerW + 2,
+      h: BOX_H + extra.length,
+      label: fitWidth(text2, innerW - 4 - badgeW) + badge,
+      pad: 1,
+      borderless: false,
+      extra
+    };
+  }
+  const budget = Math.max(LABEL_BUDGET_MIN, Math.ceil(displayWidth(text2) * geo.scale));
+  const label = fitWidth(text2, budget) + badge;
+  return {
+    w: displayWidth(label) + 4 + 2 * geo.pad,
+    h: BOX_H,
+    label,
+    pad: geo.pad,
+    borderless: false,
+    extra: []
+  };
 }
-function describeMappingPolicy(policy) {
-  switch (policy) {
-    case "always":
-      return "map every structured task \u2014 workflows, designs, architecture, technical dependencies";
-    case "complex":
-      return "map only medium or complex tasks \u2014 several modules, a new subsystem, roughly an hour or more";
-    case "on-request":
-      return "map only when the user explicitly asks";
+function layoutColumns(map, geo, unicode, neutral) {
+  const bands = [...map.layers].sort((a, b) => b.rank - a.rank);
+  const bandIndexOf = new Map(bands.map((l, i) => [l.id, i]));
+  const sized = /* @__PURE__ */ new Map();
+  const bandSized = bands.map(() => []);
+  for (const node of map.nodes) {
+    const spec = { node, ...boxSpec(node, geo, unicode, neutral) };
+    bandSized[bandIndexOf.get(node.layer)].push(spec);
+    sized.set(node.id, spec);
+  }
+  const columnOf = /* @__PURE__ */ new Map();
+  const lanes = [];
+  if (map.lanes.length === 0) {
+    for (const row of bandSized) {
+      let x = LEFT_MARGIN;
+      for (const spec of row) {
+        columnOf.set(spec, x);
+        x += spec.w + geo.boxGap;
+      }
+    }
+  } else {
+    const laneCount = map.lanes.length;
+    const laneGap = geo.boxGap + 2;
+    const laneIndexOf = new Map(map.lanes.map((l, i) => [l.id, i]));
+    const regions = laneCount + 1;
+    const grouped = bandSized.map((row) => {
+      const cells = Array.from({ length: regions }, () => []);
+      for (const spec of row) {
+        const lane = spec.node.lane;
+        cells[lane !== void 0 ? laneIndexOf.get(lane) : regions - 1].push(spec);
+      }
+      return cells;
+    });
+    const regionW = Array.from({ length: regions }, () => 0);
+    for (const cells of grouped) {
+      for (let i = 0; i < regions; i++) {
+        const rowW = cells[i].reduce((sum, b, k) => sum + b.w + (k > 0 ? geo.boxGap : 0), 0);
+        regionW[i] = Math.max(regionW[i], rowW);
+      }
+    }
+    for (let i = 0; i < laneCount; i++) regionW[i] = Math.max(regionW[i], displayWidth(map.lanes[i].label) + 2);
+    let x0 = LEFT_MARGIN;
+    for (let i = 0; i < regions; i++) {
+      lanes.push({ x: x0, w: regionW[i] });
+      x0 += regionW[i] + laneGap;
+    }
+    for (const cells of grouped) {
+      for (let i = 0; i < regions; i++) {
+        let x = lanes[i].x;
+        for (const spec of cells[i]) {
+          columnOf.set(spec, x);
+          x += spec.w + geo.boxGap;
+        }
+      }
+    }
   }
+  const placed = /* @__PURE__ */ new Map();
+  for (const [, spec] of sized) placed.set(spec, { ...spec, x: columnOf.get(spec) ?? LEFT_MARGIN });
+  const bandBoxes = bandSized.map((row) => row.map((spec) => placed.get(spec)));
+  const boxOf = /* @__PURE__ */ new Map();
+  for (const node of map.nodes) boxOf.set(node.id, placed.get(sized.get(node.id)));
+  const bandLabel = bands.map((l, i) => {
+    const row = bandBoxes[i];
+    const done = row.filter((b) => b.node.status === "done").length;
+    return geo.bandCounts && row.length > 0 && !neutral ? ` ${l.name} ${done}/${row.length}` : ` ${l.name}`;
+  });
+  let contentWidth = LEFT_MARGIN + BAR_MIN_RUN;
+  for (const row of bandBoxes) for (const box of row) contentWidth = Math.max(contentWidth, box.x + box.w);
+  for (const lane of lanes) contentWidth = Math.max(contentWidth, lane.x + lane.w);
+  return { bands, bandIndexOf, bandBoxes, boxOf, lanes, bandLabel, contentWidth };
 }
-function loadMappingPolicy(defaultFile) {
-  const path = configFilePath(defaultFile);
-  let text2;
-  try {
-    text2 = readFileSync(path, "utf8");
-  } catch (e) {
-    if (e.code === "ENOENT") return ok(void 0);
-    throw e;
+function layoutRows(columns, geo, gapRowCount, hasTitle, hasLanes) {
+  let y = 0;
+  if (hasTitle) y += 1 + geo.titleGap;
+  let laneHeaderY;
+  if (hasLanes) {
+    laneHeaderY = y;
+    y += 1 + geo.barGap;
   }
-  let raw;
-  try {
-    raw = JSON.parse(text2);
-  } catch (e) {
-    return err({ kind: "malformed-json", path, detail: e.message });
+  const barY = [];
+  const gapTrackStartY = [];
+  const bandBoxes = [];
+  const placed = /* @__PURE__ */ new Map();
+  const gapCount = columns.bands.length - 1;
+  for (let b = 0; b < columns.bands.length; b++) {
+    barY.push(y);
+    y += 1 + geo.barGap;
+    const row = columns.bandBoxes[b];
+    for (const box of row) placed.set(box, { ...box, y });
+    bandBoxes.push(row.map((box) => placed.get(box)));
+    y += row.reduce((max, box) => Math.max(max, box.h), geo.mode === "constellation" ? 1 : BOX_H);
+    if (b < gapCount) {
+      y += geo.breathe;
+      gapTrackStartY.push(y);
+      y += gapRowCount[b];
+      y += geo.breathe;
+    }
   }
-  if (!isRecord(raw)) return err({ kind: "bad-shape", path, detail: "root is not an object" });
-  if (raw["version"] !== CONFIG_FILE_VERSION) {
-    return err({ kind: "bad-shape", path, detail: `version is ${String(raw["version"])}, expected ${CONFIG_FILE_VERSION}` });
+  const boxOf = /* @__PURE__ */ new Map();
+  for (const [id2, box] of columns.boxOf) boxOf.set(id2, placed.get(box));
+  return { boxOf, bandBoxes, barY, gapTrackStartY, laneHeaderY, legendY: y + 1 };
+}
+
+// src/render/render.ts
+function renderMap(map, opts) {
+  const built = buildCanvas(map, opts);
+  return built.canvas.emit(opts);
+}
+function buildCanvas(map, opts) {
+  const oriented = flipForSequence(map);
+  const plainGeo = zoomGeometry(opts.zoom ?? ZOOM_DEFAULT);
+  const aggregated = plainGeo.mode === "constellation" ? aggregateMap(oriented) : void 0;
+  const drawn = aggregated ?? oriented;
+  return paint(drawn, opts, aggregated !== void 0 ? AGGREGATE_GEO : plainGeo, unverifiedDoneIds(oriented, drawn));
+}
+function paint(map, opts, geo, unverified) {
+  const canvas = new Canvas();
+  if (map.layers.length === 0) {
+    canvas.text(0, 0, map.title ?? "mellos mapping", "none", true);
+    canvas.text(0, 2, "(empty map \u2014 declare layers and nodes to begin)", "dim");
+    return { canvas, hits: [] };
   }
-  const rawPolicy = raw["policy"];
-  if (rawPolicy === void 0) return ok(void 0);
-  if (typeof rawPolicy !== "string") return err({ kind: "bad-shape", path, detail: "policy is not a string" });
-  const policy = makeMappingPolicy(rawPolicy);
-  return policy.ok ? ok(policy.value) : err({ kind: "bad-shape", path, detail: `policy is "${rawPolicy}", expected one of: ${MAPPING_POLICIES.join(" | ")}` });
+  const neutral = isNeutralKind(map);
+  const columns = layoutColumns(map, geo, opts.unicode, neutral);
+  const routing = routeEdges(map, columns);
+  const rows = layoutRows(columns, geo, routing.gapRowCount, map.title !== void 0, map.lanes.length > 0);
+  const wiredWidth = routing.fallbackCount > 0 ? columns.contentWidth + 2 + routing.fallbackCount * 2 : columns.contentWidth;
+  const totalWidth = wiredWidth + Math.max(...columns.bandLabel.map(displayWidth));
+  if (map.title !== void 0) drawTitle(canvas, map.title);
+  drawLaneHeaders(canvas, map, columns, rows);
+  drawBands(canvas, columns, rows, wiredWidth, totalWidth);
+  const faceOf = (id2, status2) => unverified.has(id2) ? "done-unverified" : status2;
+  for (const box of rows.boxOf.values()) {
+    const id2 = box.node.id;
+    drawBox(canvas, box, opts, neutral, faceOf(id2, box.node.status), opts.focus !== void 0 && id2 === opts.focus);
+  }
+  drawEdges(canvas, routing.edges, rows, opts);
+  drawLegend(canvas, map, opts, rows.legendY, neutral, unverified.size > 0);
+  const hits = [...rows.boxOf.values()].map((b) => ({
+    id: b.node.id,
+    x: b.x,
+    y: b.y,
+    w: b.w,
+    h: b.h
+  }));
+  return { canvas, hits };
 }
-function saveMappingPolicy(defaultFile, policy) {
-  const path = configFilePath(defaultFile);
-  mkdirSync(dirname(path), { recursive: true });
-  const tmp = path + ".tmp";
-  writeFileSync(tmp, JSON.stringify({ version: CONFIG_FILE_VERSION, policy }, null, 2) + "\n", "utf8");
-  renameSync(tmp, path);
+
+// src/store/store.ts
+import { existsSync, mkdirSync, readdirSync, readFileSync, renameSync, rmSync, statSync, writeFileSync } from "node:fs";
+import { basename, dirname, join } from "node:path";
+
+// src/store/format.ts
+var STATE_FILE_VERSION = 1;
+function makePageId(raw) {
+  return ID_RULE.test(raw) ? ok(raw) : err({ kind: "invalid-id", raw, rule: ID_RULE_TEXT });
 }
 function describeStoreError(e) {
   switch (e.kind) {
@@ -22202,132 +22450,198 @@ function describeStoreError(e) {
       return `map file ${e.path} has an unexpected shape: ${e.detail}`;
     case "invariant-violation":
       return `map file ${e.path} violates a structural invariant: ${describeMapError(e.violation)}`;
+    case "save-failed":
+      return `could not write ${e.path}: ${e.detail}`;
+    case "delete-failed":
+      return `could not delete ${e.path}: ${e.detail}`;
   }
 }
 function isRecord(v) {
   return typeof v === "object" && v !== null && !Array.isArray(v);
 }
-function asArray(v) {
-  return Array.isArray(v) ? v : [];
+function describeValue(v) {
+  if (v === void 0) return "missing";
+  if (v === null) return "null";
+  if (Array.isArray(v)) return "an array";
+  return `a ${typeof v}`;
+}
+function badShape(path, where, expected, got) {
+  return err({ kind: "bad-shape", path, detail: `${where} is ${describeValue(got)}, expected ${expected}` });
 }
-function optionalString(v) {
-  return typeof v === "string" ? v : void 0;
+function arrayField(raw, key, path, presence) {
+  const v = raw[key];
+  if (Array.isArray(v)) return ok(v);
+  if (v === void 0 && presence === "optional") return ok([]);
+  return badShape(path, `"${key}"`, "an array", v);
+}
+function requiredString(rec, key, where, path) {
+  const v = rec[key];
+  return typeof v === "string" ? ok(v) : badShape(path, `${where}.${key}`, "a string", v);
+}
+function optionalString(rec, key, where, path) {
+  const v = rec[key];
+  if (v === void 0) return ok(void 0);
+  return typeof v === "string" ? ok(v) : badShape(path, `${where}.${key}`, "a string", v);
 }
 function parseMap(raw, path) {
   if (!isRecord(raw)) return err({ kind: "bad-shape", path, detail: "root is not an object" });
   if (raw["version"] !== STATE_FILE_VERSION) {
     return err({ kind: "bad-shape", path, detail: `version is ${String(raw["version"])}, expected ${STATE_FILE_VERSION}` });
   }
+  const layers = arrayField(raw, "layers", path, "required");
+  if (!layers.ok) return layers;
+  const nodes = arrayField(raw, "nodes", path, "required");
+  if (!nodes.ok) return nodes;
+  const edges = arrayField(raw, "edges", path, "required");
+  if (!edges.ok) return edges;
+  const lanes = arrayField(raw, "lanes", path, "optional");
+  if (!lanes.ok) return lanes;
+  const groups = arrayField(raw, "groups", path, "optional");
+  if (!groups.ok) return groups;
   let map = EMPTY_MAP;
-  const title = optionalString(raw["title"]);
-  if (title !== void 0) map = setTitle(map, title);
-  const rawKind = optionalString(raw["kind"]);
-  if (rawKind !== void 0) {
-    const kind = makeMapKind(rawKind);
+  const title = optionalString(raw, "title", "map", path);
+  if (!title.ok) return title;
+  if (title.value !== void 0) map = setTitle(map, title.value);
+  const rawKind = optionalString(raw, "kind", "map", path);
+  if (!rawKind.ok) return rawKind;
+  if (rawKind.value !== void 0) {
+    const kind = makeMapKind(rawKind.value);
     if (!kind.ok) return err({ kind: "invariant-violation", path, violation: kind.error });
     map = setKind(map, kind.value);
   }
-  for (const [i, rawLayer] of asArray(raw["layers"]).entries()) {
-    if (!isRecord(rawLayer)) return err({ kind: "bad-shape", path, detail: `layers[${i}] is not an object` });
-    const id = makeLayerId(String(rawLayer["id"] ?? ""));
-    if (!id.ok) return err({ kind: "invariant-violation", path, violation: id.error });
-    const name = optionalString(rawLayer["name"]);
-    const rank = rawLayer["rank"];
-    if (name === void 0 || typeof rank !== "number" || !Number.isInteger(rank)) {
-      return err({ kind: "bad-shape", path, detail: `layers[${i}] needs a string name and an integer rank` });
-    }
-    const next = declareLayer(map, { id: id.value, name, rank });
+  for (const [i, rawLayer] of layers.value.entries()) {
+    const where = `layers[${i}]`;
+    if (!isRecord(rawLayer)) return badShape(path, where, "an object", rawLayer);
+    const rawId = requiredString(rawLayer, "id", where, path);
+    if (!rawId.ok) return rawId;
+    const id2 = makeLayerId(rawId.value);
+    if (!id2.ok) return err({ kind: "invariant-violation", path, violation: id2.error });
+    const name = requiredString(rawLayer, "name", where, path);
+    if (!name.ok) return name;
+    const rawRank = rawLayer["rank"];
+    if (typeof rawRank !== "number") return badShape(path, `${where}.rank`, "a number", rawRank);
+    const rank2 = makeRank(rawRank);
+    if (!rank2.ok) return err({ kind: "invariant-violation", path, violation: rank2.error });
+    const next = declareLayer(map, { id: id2.value, name: name.value, rank: rank2.value });
     if (!next.ok) return err({ kind: "invariant-violation", path, violation: next.error });
     map = next.value;
   }
-  for (const [i, rawLane] of asArray(raw["lanes"]).entries()) {
-    if (!isRecord(rawLane)) return err({ kind: "bad-shape", path, detail: `lanes[${i}] is not an object` });
-    const id = makeLaneId(String(rawLane["id"] ?? ""));
-    if (!id.ok) return err({ kind: "invariant-violation", path, violation: id.error });
-    const label = optionalString(rawLane["label"]);
-    if (label === void 0) return err({ kind: "bad-shape", path, detail: `lanes[${i}] needs a string label` });
-    const declared = declareLane(map, { id: id.value, label });
+  for (const [i, rawLane] of lanes.value.entries()) {
+    const where = `lanes[${i}]`;
+    if (!isRecord(rawLane)) return badShape(path, where, "an object", rawLane);
+    const rawId = requiredString(rawLane, "id", where, path);
+    if (!rawId.ok) return rawId;
+    const id2 = makeLaneId(rawId.value);
+    if (!id2.ok) return err({ kind: "invariant-violation", path, violation: id2.error });
+    const label = requiredString(rawLane, "label", where, path);
+    if (!label.ok) return label;
+    const declared = declareLane(map, { id: id2.value, label: label.value });
     if (!declared.ok) return err({ kind: "invariant-violation", path, violation: declared.error });
     map = declared.value;
   }
-  for (const [i, rawGroup] of asArray(raw["groups"]).entries()) {
-    if (!isRecord(rawGroup)) return err({ kind: "bad-shape", path, detail: `groups[${i}] is not an object` });
-    const id = makeGroupId(String(rawGroup["id"] ?? ""));
-    if (!id.ok) return err({ kind: "invariant-violation", path, violation: id.error });
-    const layer = makeLayerId(String(rawGroup["layer"] ?? ""));
+  for (const [i, rawGroup] of groups.value.entries()) {
+    const where = `groups[${i}]`;
+    if (!isRecord(rawGroup)) return badShape(path, where, "an object", rawGroup);
+    const rawId = requiredString(rawGroup, "id", where, path);
+    if (!rawId.ok) return rawId;
+    const id2 = makeGroupId(rawId.value);
+    if (!id2.ok) return err({ kind: "invariant-violation", path, violation: id2.error });
+    const rawLayer = requiredString(rawGroup, "layer", where, path);
+    if (!rawLayer.ok) return rawLayer;
+    const layer = makeLayerId(rawLayer.value);
     if (!layer.ok) return err({ kind: "invariant-violation", path, violation: layer.error });
-    const label = optionalString(rawGroup["label"]);
-    if (label === void 0) return err({ kind: "bad-shape", path, detail: `groups[${i}] needs a string label` });
-    const declared = declareGroup(map, { id: id.value, label, layer: layer.value });
+    const label = requiredString(rawGroup, "label", where, path);
+    if (!label.ok) return label;
+    const declared = declareGroup(map, { id: id2.value, label: label.value, layer: layer.value });
     if (!declared.ok) return err({ kind: "invariant-violation", path, violation: declared.error });
     map = declared.value;
   }
-  for (const [i, rawNode] of asArray(raw["nodes"]).entries()) {
-    if (!isRecord(rawNode)) return err({ kind: "bad-shape", path, detail: `nodes[${i}] is not an object` });
-    const id = makeNodeId(String(rawNode["id"] ?? ""));
-    if (!id.ok) return err({ kind: "invariant-violation", path, violation: id.error });
-    const layer = makeLayerId(String(rawNode["layer"] ?? ""));
+  for (const [i, rawNode] of nodes.value.entries()) {
+    const where = `nodes[${i}]`;
+    if (!isRecord(rawNode)) return badShape(path, where, "an object", rawNode);
+    const rawId = requiredString(rawNode, "id", where, path);
+    if (!rawId.ok) return rawId;
+    const id2 = makeNodeId(rawId.value);
+    if (!id2.ok) return err({ kind: "invariant-violation", path, violation: id2.error });
+    const rawLayer = requiredString(rawNode, "layer", where, path);
+    if (!rawLayer.ok) return rawLayer;
+    const layer = makeLayerId(rawLayer.value);
     if (!layer.ok) return err({ kind: "invariant-violation", path, violation: layer.error });
-    const status = makeNodeStatus(String(rawNode["status"] ?? ""));
-    if (!status.ok) return err({ kind: "invariant-violation", path, violation: status.error });
-    const label = optionalString(rawNode["label"]);
-    if (label === void 0) return err({ kind: "bad-shape", path, detail: `nodes[${i}] needs a string label` });
-    const detail = optionalString(rawNode["detail"]);
-    const rawGroup = optionalString(rawNode["group"]);
+    const rawStatus = requiredString(rawNode, "status", where, path);
+    if (!rawStatus.ok) return rawStatus;
+    const status2 = makeNodeStatus(rawStatus.value);
+    if (!status2.ok) return err({ kind: "invariant-violation", path, violation: status2.error });
+    const label = requiredString(rawNode, "label", where, path);
+    if (!label.ok) return label;
+    const detail = optionalString(rawNode, "detail", where, path);
+    if (!detail.ok) return detail;
+    const rawGroup = optionalString(rawNode, "group", where, path);
+    if (!rawGroup.ok) return rawGroup;
     let group;
-    if (rawGroup !== void 0) {
-      const made = makeGroupId(rawGroup);
+    if (rawGroup.value !== void 0) {
+      const made = makeGroupId(rawGroup.value);
       if (!made.ok) return err({ kind: "invariant-violation", path, violation: made.error });
       group = made.value;
     }
-    const rawNodeKind = optionalString(rawNode["kind"]);
-    let nodeKind;
-    if (rawNodeKind !== void 0) {
-      const made = makeNodeKind(rawNodeKind);
+    const rawNodeKind = optionalString(rawNode, "kind", where, path);
+    if (!rawNodeKind.ok) return rawNodeKind;
+    let nodeKind2;
+    if (rawNodeKind.value !== void 0) {
+      const made = makeNodeKind(rawNodeKind.value);
       if (!made.ok) return err({ kind: "invariant-violation", path, violation: made.error });
-      nodeKind = made.value;
+      nodeKind2 = made.value;
     }
-    const rawLane = optionalString(rawNode["lane"]);
+    const rawLane = optionalString(rawNode, "lane", where, path);
+    if (!rawLane.ok) return rawLane;
     let lane;
-    if (rawLane !== void 0) {
-      const made = makeLaneId(rawLane);
+    if (rawLane.value !== void 0) {
+      const made = makeLaneId(rawLane.value);
       if (!made.ok) return err({ kind: "invariant-violation", path, violation: made.error });
       lane = made.value;
     }
-    const rawSubmap = optionalString(rawNode["submap"]);
+    const rawSubmap = optionalString(rawNode, "submap", where, path);
+    if (!rawSubmap.ok) return rawSubmap;
     let submap;
-    if (rawSubmap !== void 0) {
-      const made = makeSubmapRef(rawSubmap);
+    if (rawSubmap.value !== void 0) {
+      const made = makeSubmapRef(rawSubmap.value);
       if (!made.ok) return err({ kind: "invariant-violation", path, violation: made.error });
       submap = made.value;
     }
     const declared = declareNode(map, {
-      id: id.value,
-      label,
+      id: id2.value,
+      label: label.value,
       layer: layer.value,
-      status: status.value,
-      ...detail !== void 0 ? { detail } : {},
+      status: status2.value,
+      ...detail.value !== void 0 ? { detail: detail.value } : {},
       ...group !== void 0 ? { group } : {},
-      ...nodeKind !== void 0 ? { kind: nodeKind } : {},
+      ...nodeKind2 !== void 0 ? { kind: nodeKind2 } : {},
       ...lane !== void 0 ? { lane } : {},
       ...submap !== void 0 ? { submap } : {}
     });
     if (!declared.ok) return err({ kind: "invariant-violation", path, violation: declared.error });
     map = declared.value;
-    const evidence = optionalString(rawNode["evidence"]);
-    if (evidence !== void 0) {
-      const updated = updateNode(map, { id: id.value, evidence });
+    const evidence = optionalString(rawNode, "evidence", where, path);
+    if (!evidence.ok) return evidence;
+    if (evidence.value !== void 0) {
+      const updated = updateNode(map, { id: id2.value, evidence: evidence.value });
       if (!updated.ok) return err({ kind: "invariant-violation", path, violation: updated.error });
       map = updated.value;
     }
   }
-  for (const [i, rawEdge] of asArray(raw["edges"]).entries()) {
-    if (!isRecord(rawEdge)) return err({ kind: "bad-shape", path, detail: `edges[${i}] is not an object` });
-    const from = makeNodeId(String(rawEdge["from"] ?? ""));
+  for (const [i, rawEdge] of edges.value.entries()) {
+    const where = `edges[${i}]`;
+    if (!isRecord(rawEdge)) return badShape(path, where, "an object", rawEdge);
+    const rawFrom = requiredString(rawEdge, "from", where, path);
+    if (!rawFrom.ok) return rawFrom;
+    const from = makeNodeId(rawFrom.value);
     if (!from.ok) return err({ kind: "invariant-violation", path, violation: from.error });
-    const to = makeNodeId(String(rawEdge["to"] ?? ""));
+    const rawTo = requiredString(rawEdge, "to", where, path);
+    if (!rawTo.ok) return rawTo;
+    const to = makeNodeId(rawTo.value);
     if (!to.ok) return err({ kind: "invariant-violation", path, violation: to.error });
-    const linked = linkNodes(map, from.value, to.value, optionalString(rawEdge["label"]));
+    const label = optionalString(rawEdge, "label", where, path);
+    if (!label.ok) return label;
+    const linked = linkNodes(map, from.value, to.value, label.value);
     if (!linked.ok) return err({ kind: "invariant-violation", path, violation: linked.error });
     map = linked.value;
   }
@@ -22346,6 +22660,222 @@ function serializeMap(map) {
   };
   return JSON.stringify(body, null, 2) + "\n";
 }
+
+// src/store/store.ts
+var RENAME_MAX_ATTEMPTS = 10;
+var RENAME_BACKOFF_STEP_MS = 10;
+var TRANSIENT_RENAME_CODES = /* @__PURE__ */ new Set(["EPERM", "EBUSY", "EACCES", "ENOENT"]);
+function sleepSync(ms) {
+  Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, ms);
+}
+function discardTemp(tmp) {
+  try {
+    rmSync(tmp, { force: true });
+  } catch {
+  }
+}
+function errnoOf(e) {
+  return e.code ?? e.message;
+}
+function writeFileAtomic(path, contents) {
+  const tmp = `${path}.${process.pid}.${Math.random().toString(36).slice(2, 10)}.tmp`;
+  try {
+    mkdirSync(dirname(path), { recursive: true });
+    writeFileSync(tmp, contents, "utf8");
+  } catch (e) {
+    discardTemp(tmp);
+    return err({ kind: "save-failed", path, detail: `writing the temp file failed: ${errnoOf(e)}` });
+  }
+  let attempt = 1;
+  for (; ; ) {
+    try {
+      renameSync(tmp, path);
+      return ok(void 0);
+    } catch (e) {
+      const code = errnoOf(e);
+      if (!TRANSIENT_RENAME_CODES.has(code) || attempt >= RENAME_MAX_ATTEMPTS) {
+        discardTemp(tmp);
+        return err({ kind: "save-failed", path, detail: `${code} after ${attempt} attempt(s)` });
+      }
+      sleepSync(attempt * RENAME_BACKOFF_STEP_MS);
+      attempt += 1;
+    }
+  }
+}
+function isRecord2(v) {
+  return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+function stripBom(text2) {
+  return text2.charCodeAt(0) === 65279 ? text2.slice(1) : text2;
+}
+var STORE_DIR_NAME = ".mellos";
+var STATE_FILE_RELATIVE_PATH = join(STORE_DIR_NAME, "map.json");
+var PAGES_DIR_NAME = "pages";
+function pageFilePath(defaultFile, page2) {
+  return page2 === void 0 ? defaultFile : join(dirname(defaultFile), PAGES_DIR_NAME, `${page2}.json`);
+}
+function pageIdOfFile(defaultFile, path) {
+  if (path === defaultFile) return void 0;
+  const name = basename(path);
+  return name.endsWith(".json") ? name.slice(0, -".json".length) : name;
+}
+function listPageFiles(defaultFile) {
+  const out = [];
+  if (existsSync(defaultFile)) out.push(defaultFile);
+  let entries = [];
+  try {
+    entries = readdirSync(join(dirname(defaultFile), PAGES_DIR_NAME));
+  } catch {
+  }
+  for (const e of entries.sort()) {
+    if (e.endsWith(".json")) out.push(join(dirname(defaultFile), PAGES_DIR_NAME, e));
+  }
+  return out;
+}
+function deletePageFile(path) {
+  try {
+    rmSync(path, { force: true });
+    return ok(void 0);
+  } catch (e) {
+    return err({ kind: "delete-failed", path, detail: errnoOf(e) });
+  }
+}
+var VIEWERS_DIR_NAME = "viewers";
+var VIEWER_FILE_VERSION = 1;
+var VIEWER_STALE_MS = 5e3;
+var VIEWER_SWEEP_MS = 6e4;
+function viewersDirPath(defaultFile) {
+  return join(dirname(defaultFile), VIEWERS_DIR_NAME);
+}
+function viewerPidOf(fileName) {
+  const m = /^(\d+)\.json$/.exec(fileName);
+  return m === null ? void 0 : Number(m[1]);
+}
+function parseViewerReport(raw) {
+  let parsed;
+  try {
+    parsed = JSON.parse(stripBom(raw));
+  } catch {
+    return void 0;
+  }
+  if (!isRecord2(parsed)) return void 0;
+  if (parsed["version"] !== VIEWER_FILE_VERSION) return void 0;
+  const follow = parsed["follow"];
+  if (typeof follow !== "boolean") return void 0;
+  const page2 = parsed["page"];
+  if (page2 === null || page2 === void 0) return { page: void 0, follow };
+  if (typeof page2 !== "string") return void 0;
+  const id2 = makePageId(page2);
+  return id2.ok ? { page: id2.value, follow } : void 0;
+}
+function readLiveViewers(defaultFile, nowMs) {
+  const dir = viewersDirPath(defaultFile);
+  let names;
+  try {
+    names = readdirSync(dir);
+  } catch {
+    return [];
+  }
+  const live = [];
+  for (const name of names) {
+    const pid = viewerPidOf(name);
+    if (pid === void 0) continue;
+    const path = join(dir, name);
+    let raw;
+    let ageMs;
+    try {
+      ageMs = Math.max(0, nowMs - statSync(path).mtimeMs);
+      if (ageMs > VIEWER_SWEEP_MS) {
+        rmSync(path, { force: true });
+        continue;
+      }
+      if (ageMs > VIEWER_STALE_MS) continue;
+      raw = readFileSync(path, "utf8");
+    } catch {
+      continue;
+    }
+    const report = parseViewerReport(raw);
+    if (report !== void 0) live.push({ ...report, pid, ageMs });
+  }
+  return live.sort((a, b) => a.ageMs - b.ageMs || a.pid - b.pid);
+}
+var CONFIG_FILE_NAME = "config.json";
+var CONFIG_FILE_VERSION = 1;
+function configFilePath(defaultFile) {
+  return join(dirname(defaultFile), CONFIG_FILE_NAME);
+}
+function userConfigFilePath(userBase) {
+  return join(userBase, STORE_DIR_NAME, CONFIG_FILE_NAME);
+}
+var MAPPING_POLICIES = ["always", "complex", "on-request"];
+function makeMappingPolicy(raw) {
+  return MAPPING_POLICIES.includes(raw) ? ok(raw) : err({ kind: "invalid-policy", raw, allowed: MAPPING_POLICIES });
+}
+function describeMappingPolicy(policy) {
+  switch (policy) {
+    case "always":
+      return "map every structured task \u2014 workflows, designs, architecture, technical dependencies";
+    case "complex":
+      return "map only medium or complex tasks \u2014 several modules, a new subsystem, roughly an hour or more";
+    case "on-request":
+      return "map only when the user explicitly asks";
+  }
+}
+function loadMappingPolicy(path) {
+  let text2;
+  try {
+    text2 = readFileSync(path, "utf8");
+  } catch (e) {
+    if (e.code === "ENOENT") return ok(void 0);
+    throw e;
+  }
+  let raw;
+  try {
+    raw = JSON.parse(stripBom(text2));
+  } catch (e) {
+    return err({ kind: "malformed-json", path, detail: e.message });
+  }
+  if (!isRecord2(raw)) return err({ kind: "bad-shape", path, detail: "root is not an object" });
+  if (raw["version"] !== CONFIG_FILE_VERSION) {
+    return err({ kind: "bad-shape", path, detail: `version is ${String(raw["version"])}, expected ${CONFIG_FILE_VERSION}` });
+  }
+  const rawPolicy = raw["policy"];
+  if (rawPolicy === void 0) return ok(void 0);
+  if (typeof rawPolicy !== "string") return err({ kind: "bad-shape", path, detail: "policy is not a string" });
+  const policy = makeMappingPolicy(rawPolicy);
+  return policy.ok ? ok(policy.value) : err({ kind: "bad-shape", path, detail: `policy is "${rawPolicy}", expected one of: ${MAPPING_POLICIES.join(" | ")}` });
+}
+function saveMappingPolicy(path, policy) {
+  const body = JSON.stringify({ version: CONFIG_FILE_VERSION, policy }, null, 2) + "\n";
+  return writeFileAtomic(path, body);
+}
+var POLICY_SCOPES = ["user", "project"];
+function effectiveMappingPolicy(projectConfigFile, userConfigFile) {
+  const project = loadMappingPolicy(projectConfigFile);
+  if (!project.ok) return project;
+  const user = loadMappingPolicy(userConfigFile);
+  if (!user.ok) return user;
+  const effective = project.value ?? user.value;
+  const source = project.value !== void 0 ? "project" : user.value !== void 0 ? "user" : void 0;
+  return ok({ project: project.value, user: user.value, effective, source });
+}
+var LEGACY_STATE_FILE_RELATIVE_PATH = join(".claude", "mellos-mapping.json");
+var LEGACY_PAGES_DIR_NAME = "mellos-mapping.pages";
+var LEGACY_CONFIG_FILE_NAME = "mellos-mapping.config.json";
+function migrateLegacyStore(defaultFile) {
+  const projectRoot = dirname(dirname(defaultFile));
+  const legacyDefault = join(projectRoot, LEGACY_STATE_FILE_RELATIVE_PATH);
+  const legacyPages = join(dirname(legacyDefault), LEGACY_PAGES_DIR_NAME);
+  const legacyConfig = join(dirname(legacyDefault), LEGACY_CONFIG_FILE_NAME);
+  const hasLegacy = existsSync(legacyDefault) || existsSync(legacyPages) || existsSync(legacyConfig);
+  const hasCurrent = existsSync(defaultFile) || existsSync(join(dirname(defaultFile), PAGES_DIR_NAME)) || existsSync(configFilePath(defaultFile));
+  if (!hasLegacy || hasCurrent) return false;
+  mkdirSync(dirname(defaultFile), { recursive: true });
+  if (existsSync(legacyDefault)) renameSync(legacyDefault, defaultFile);
+  if (existsSync(legacyPages)) renameSync(legacyPages, join(dirname(defaultFile), PAGES_DIR_NAME));
+  if (existsSync(legacyConfig)) renameSync(legacyConfig, configFilePath(defaultFile));
+  return true;
+}
 function loadMapFile(path) {
   let text2;
   try {
@@ -22357,20 +22887,20 @@ function loadMapFile(path) {
   }
   let raw;
   try {
-    raw = JSON.parse(text2);
+    raw = JSON.parse(stripBom(text2));
   } catch (e) {
     return err({ kind: "malformed-json", path, detail: e.message });
   }
   return parseMap(raw, path);
 }
 function saveMapFile(path, map) {
-  mkdirSync(dirname(path), { recursive: true });
-  const tmp = path + ".tmp";
-  writeFileSync(tmp, serializeMap(map), "utf8");
-  renameSync(tmp, path);
+  return writeFileAtomic(path, serializeMap(map));
 }
 
 // src/server/apply.ts
+function refuseSelfDive(where, submap, page2) {
+  return submap === page2 ? `${where}: a node cannot dive into its own page ("${submap}"); a submap links a CHILD page` : void 0;
+}
 function applyDeclare(map, input) {
   let next = input.title !== void 0 ? setTitle(map, input.title) : map;
   if (input.kind !== void 0) {
@@ -22379,38 +22909,40 @@ function applyDeclare(map, input) {
     next = setKind(next, kind.value);
   }
   for (const [i, l] of (input.layers ?? []).entries()) {
-    const id = makeLayerId(l.id);
-    if (!id.ok) return err(`layers[${i}]: ${describeMapError(id.error)}`);
-    const declared = declareLayer(next, { id: id.value, name: l.name, rank: l.rank });
+    const id2 = makeLayerId(l.id);
+    if (!id2.ok) return err(`layers[${i}]: ${describeMapError(id2.error)}`);
+    const rank2 = makeRank(l.rank);
+    if (!rank2.ok) return err(`layers[${i}]: ${describeMapError(rank2.error)}`);
+    const declared = declareLayer(next, { id: id2.value, name: l.name, rank: rank2.value });
     if (!declared.ok) return err(`layers[${i}]: ${describeMapError(declared.error)}`);
     next = declared.value;
   }
   for (const [i, l] of (input.lanes ?? []).entries()) {
-    const id = makeLaneId(l.id);
-    if (!id.ok) return err(`lanes[${i}]: ${describeMapError(id.error)}`);
-    const declared = declareLane(next, { id: id.value, label: l.label });
+    const id2 = makeLaneId(l.id);
+    if (!id2.ok) return err(`lanes[${i}]: ${describeMapError(id2.error)}`);
+    const declared = declareLane(next, { id: id2.value, label: l.label });
     if (!declared.ok) return err(`lanes[${i}]: ${describeMapError(declared.error)}`);
     next = declared.value;
   }
   for (const [i, g] of (input.groups ?? []).entries()) {
-    const id = makeGroupId(g.id);
-    if (!id.ok) return err(`groups[${i}]: ${describeMapError(id.error)}`);
+    const id2 = makeGroupId(g.id);
+    if (!id2.ok) return err(`groups[${i}]: ${describeMapError(id2.error)}`);
     const layer = makeLayerId(g.layer);
     if (!layer.ok) return err(`groups[${i}]: ${describeMapError(layer.error)}`);
-    const declared = declareGroup(next, { id: id.value, label: g.label, layer: layer.value });
+    const declared = declareGroup(next, { id: id2.value, label: g.label, layer: layer.value });
     if (!declared.ok) return err(`groups[${i}]: ${describeMapError(declared.error)}`);
     next = declared.value;
   }
   for (const [i, n] of (input.nodes ?? []).entries()) {
-    const id = makeNodeId(n.id);
-    if (!id.ok) return err(`nodes[${i}]: ${describeMapError(id.error)}`);
+    const id2 = makeNodeId(n.id);
+    if (!id2.ok) return err(`nodes[${i}]: ${describeMapError(id2.error)}`);
     const layer = makeLayerId(n.layer);
     if (!layer.ok) return err(`nodes[${i}]: ${describeMapError(layer.error)}`);
-    let status;
+    let status2;
     if (n.status !== void 0) {
       const parsed = makeNodeStatus(n.status);
       if (!parsed.ok) return err(`nodes[${i}]: ${describeMapError(parsed.error)}`);
-      status = parsed.value;
+      status2 = parsed.value;
     }
     let group;
     if (n.group !== void 0) {
@@ -22434,13 +22966,16 @@ function applyDeclare(map, input) {
     if (n.submap !== void 0) {
       const parsed = makeSubmapRef(n.submap);
       if (!parsed.ok) return err(`nodes[${i}]: ${describeMapError(parsed.error)}`);
+      const selfDive = refuseSelfDive(`nodes[${i}]`, n.submap, input.page);
+      if (selfDive !== void 0) return err(selfDive);
       submap = parsed.value;
     }
     const declared = declareNode(next, {
-      id: id.value,
+      id: id2.value,
       label: n.label,
       layer: layer.value,
-      ...status !== void 0 ? { status } : {},
+      ...status2 !== void 0 ? { status: status2 } : {},
+      ...n.evidence !== void 0 ? { evidence: n.evidence } : {},
       ...n.detail !== void 0 ? { detail: n.detail } : {},
       ...group !== void 0 ? { group } : {},
       ...kind !== void 0 ? { kind } : {},
@@ -22463,14 +22998,56 @@ function applyDeclare(map, input) {
 }
 function applyUpdate(map, input) {
   let next = map;
-  for (const [i, u] of input.updates.entries()) {
-    const id = makeNodeId(u.id);
-    if (!id.ok) return err(`updates[${i}]: ${describeMapError(id.error)}`);
-    let status;
+  const items = (input.updates?.length ?? 0) + (input.layers?.length ?? 0) + (input.groups?.length ?? 0) + (input.lanes?.length ?? 0);
+  if (items === 0) return err("nothing to revise: pass updates, layers, groups or lanes");
+  for (const [i, l] of (input.layers ?? []).entries()) {
+    const id2 = makeLayerId(l.id);
+    if (!id2.ok) return err(`layers[${i}]: ${describeMapError(id2.error)}`);
+    if (l.name === void 0 && l.rank === void 0) {
+      return err(`layers[${i}]: nothing to change; give a name, a rank, or both`);
+    }
+    let rank2;
+    if (l.rank !== void 0) {
+      const parsed = makeRank(l.rank);
+      if (!parsed.ok) return err(`layers[${i}]: ${describeMapError(parsed.error)}`);
+      rank2 = parsed.value;
+    }
+    const updated = updateLayer(next, id2.value, {
+      ...l.name !== void 0 ? { name: l.name } : {},
+      ...rank2 !== void 0 ? { rank: rank2 } : {}
+    });
+    if (!updated.ok) return err(`layers[${i}]: ${describeMapError(updated.error)}`);
+    next = updated.value;
+  }
+  for (const [i, g] of (input.groups ?? []).entries()) {
+    const id2 = makeGroupId(g.id);
+    if (!id2.ok) return err(`groups[${i}]: ${describeMapError(id2.error)}`);
+    const updated = updateGroup(next, id2.value, g.label);
+    if (!updated.ok) return err(`groups[${i}]: ${describeMapError(updated.error)}`);
+    next = updated.value;
+  }
+  for (const [i, l] of (input.lanes ?? []).entries()) {
+    const id2 = makeLaneId(l.id);
+    if (!id2.ok) return err(`lanes[${i}]: ${describeMapError(id2.error)}`);
+    const updated = updateLane(next, id2.value, l.label);
+    if (!updated.ok) return err(`lanes[${i}]: ${describeMapError(updated.error)}`);
+    next = updated.value;
+  }
+  for (const [i, u] of (input.updates ?? []).entries()) {
+    const id2 = makeNodeId(u.id);
+    if (!id2.ok) return err(`updates[${i}]: ${describeMapError(id2.error)}`);
+    if (u.layer !== void 0) {
+      const layer = makeLayerId(u.layer);
+      if (!layer.ok) return err(`updates[${i}]: ${describeMapError(layer.error)}`);
+      const moved = moveNode(next, id2.value, layer.value);
+      if (!moved.ok) return err(`updates[${i}]: ${describeMapError(moved.error)}`);
+      next = moved.value;
+    }
+    let status2;
     if (u.status !== void 0) {
       const parsed = makeNodeStatus(u.status);
       if (!parsed.ok) return err(`updates[${i}]: ${describeMapError(parsed.error)}`);
-      status = parsed.value;
+      status2 = parsed.value;
     }
     let group;
     if (u.group === null) group = null;
@@ -22498,11 +23075,13 @@ function applyUpdate(map, input) {
     else if (u.submap !== void 0) {
       const parsed = makeSubmapRef(u.submap);
       if (!parsed.ok) return err(`updates[${i}]: ${describeMapError(parsed.error)}`);
+      const selfDive = refuseSelfDive(`updates[${i}]`, u.submap, input.page);
+      if (selfDive !== void 0) return err(selfDive);
       submap = parsed.value;
     }
     const updated = updateNode(next, {
-      id: id.value,
-      ...status !== void 0 ? { status } : {},
+      id: id2.value,
+      ...status2 !== void 0 ? { status: status2 } : {},
       ...u.label !== void 0 ? { label: u.label } : {},
       ...u.evidence !== void 0 ? { evidence: u.evidence } : {},
       ...u.detail !== void 0 ? { detail: u.detail } : {},
@@ -22528,30 +23107,30 @@ function applyRemove(map, input) {
     next = removed.value;
   }
   for (const [i, rawId] of (input.nodes ?? []).entries()) {
-    const id = makeNodeId(rawId);
-    if (!id.ok) return err(`nodes[${i}]: ${describeMapError(id.error)}`);
-    const removed = removeNode(next, id.value);
+    const id2 = makeNodeId(rawId);
+    if (!id2.ok) return err(`nodes[${i}]: ${describeMapError(id2.error)}`);
+    const removed = removeNode(next, id2.value);
     if (!removed.ok) return err(`nodes[${i}]: ${describeMapError(removed.error)}`);
     next = removed.value;
   }
   for (const [i, rawId] of (input.groups ?? []).entries()) {
-    const id = makeGroupId(rawId);
-    if (!id.ok) return err(`groups[${i}]: ${describeMapError(id.error)}`);
-    const removed = removeGroup(next, id.value);
+    const id2 = makeGroupId(rawId);
+    if (!id2.ok) return err(`groups[${i}]: ${describeMapError(id2.error)}`);
+    const removed = removeGroup(next, id2.value);
     if (!removed.ok) return err(`groups[${i}]: ${describeMapError(removed.error)}`);
     next = removed.value;
   }
   for (const [i, rawId] of (input.lanes ?? []).entries()) {
-    const id = makeLaneId(rawId);
-    if (!id.ok) return err(`lanes[${i}]: ${describeMapError(id.error)}`);
-    const removed = removeLane(next, id.value);
+    const id2 = makeLaneId(rawId);
+    if (!id2.ok) return err(`lanes[${i}]: ${describeMapError(id2.error)}`);
+    const removed = removeLane(next, id2.value);
     if (!removed.ok) return err(`lanes[${i}]: ${describeMapError(removed.error)}`);
     next = removed.value;
   }
   for (const [i, rawId] of (input.layers ?? []).entries()) {
-    const id = makeLayerId(rawId);
-    if (!id.ok) return err(`layers[${i}]: ${describeMapError(id.error)}`);
-    const removed = removeLayer(next, id.value);
+    const id2 = makeLayerId(rawId);
+    if (!id2.ok) return err(`layers[${i}]: ${describeMapError(id2.error)}`);
+    const removed = removeLayer(next, id2.value);
     if (!removed.ok) return err(`layers[${i}]: ${describeMapError(removed.error)}`);
     next = removed.value;
   }
@@ -22560,105 +23139,280 @@ function applyRemove(map, input) {
 function summarize(map) {
   const byStatus = { planned: 0, "in-progress": 0, done: 0, regressed: 0 };
   for (const n of map.nodes) byStatus[n.status]++;
-  const statusPart = Object.entries(byStatus).filter(([, count]) => count > 0).map(([status, count]) => `${count} ${status}`).join(", ");
+  const statusPart = Object.entries(byStatus).filter(([, count]) => count > 0).map(([status2, count]) => `${count} ${status2}`).join(", ");
   return `map now: ${map.layers.length} layer(s), ${map.nodes.length} node(s)` + (statusPart ? ` [${statusPart}]` : "") + (map.groups.length > 0 ? `, ${map.groups.length} group(s)` : "") + (map.lanes.length > 0 ? `, ${map.lanes.length} lane(s)` : "") + `, ${map.edges.length} edge(s)` + (map.kind !== void 0 && map.kind !== "dev" ? ` (${map.kind})` : "");
 }
 
 // src/server/server.ts
 var SERVER_NAME = "mellos-mapping";
-var SERVER_VERSION = "0.19.0";
-var ID = external_exports.string().regex(/^[a-z0-9][a-z0-9-]{0,63}$/, "lowercase letters, digits and dashes, 1-64 chars").describe("stable kebab-case identifier");
-var PAGE = ID.optional().describe(
-  "page (parallel map) this call targets; omit for the default page. One effort = one page: start a NEW effort on its own page named after the effort, so concurrent sessions never write over each other and the pane can switch between pages."
-);
-var STATUS = external_exports.enum(["planned", "in-progress", "done", "regressed"]).describe("planned = ghost on the map; in-progress = spinner; done = verified; regressed = was done, now broken");
-var EDGE = external_exports.object({
-  from: ID.describe("the node that USES the other (must live on a higher layer)"),
-  to: ID.describe("the node being used (must live on a strictly lower layer)")
-});
-var KIND = external_exports.enum(["dev", "architecture", "dataflow", "behavior-tree", "sequence"]).describe(
-  "diagram kind. dev (default) = the live progress ledger with status skins. The rest are documentation diagrams rendered neutrally: architecture (layered components; also fits call graphs and module dependencies), dataflow (source\u2192transform\u2192sink, stages as layers), behavior-tree (root on top, leaves at the bottom; also fits mind maps and WBS), sequence (classic call/return: rank = time step with rank 0 = EARLIEST, drawn top-down; declare lanes as participants and make every call AND every return its own event node in the acting participant's lane, edges labeled with the message). State machines are unsupported: cycles cannot enter a Mellos map."
-);
-var NODE_KIND = ID.describe(
-  "node kind rendered as a glyph prefix. Known: selector | sequence | parallel | decorator | condition | action (behavior trees); source | transform | sink (dataflow); service | db | queue | ui (architecture). Unknown kinds are kept and shown in the detail panel."
-);
+var SERVER_VERSION = "0.20.2";
+var TITLE_MAX = 120;
+var LABEL_MAX = 60;
+var DETAIL_MAX = 600;
+var EVIDENCE_MAX = 200;
+var EDGE_LABEL_MAX = 80;
+function id(description) {
+  return external_exports.string().regex(ID_RULE, ID_RULE_TEXT).describe(description);
+}
+var PAGE_DESCRIPTION = "page (parallel map) this call targets; omit for the default page. One effort = one page: start a NEW effort on its own page named after the effort, so concurrent sessions never write over each other and the pane can switch between pages.";
+function page() {
+  return id(PAGE_DESCRIPTION).optional();
+}
+var STATUS_VOCABULARY = "planned = ghost on the map; in-progress = spinner; done = verified; regressed = was done, now broken";
+function status(note2) {
+  return external_exports.enum(NODE_STATUSES).describe(`${note2}. ${STATUS_VOCABULARY}`);
+}
+function nodeKind() {
+  return id(
+    "node kind rendered as a glyph prefix. Known: selector | sequence | parallel | decorator | condition | action (behavior trees); source | transform | sink (dataflow); service | db | queue | ui (architecture). Unknown kinds are kept and shown in the detail panel."
+  );
+}
+function mapKind() {
+  return external_exports.enum(MAP_KINDS).describe(
+    "diagram kind. dev (default) = the live progress ledger with status skins. The rest are documentation diagrams rendered neutrally: architecture (layered components; also fits call graphs and module dependencies), dataflow (source\u2192transform\u2192sink, stages as layers), behavior-tree (root on top, leaves at the bottom; also fits mind maps and WBS), sequence (classic call/return: rank = time step with rank 0 = EARLIEST, drawn top-down; declare lanes as participants and make every call AND every return its own event node in the acting participant's lane, edges labeled with the message). State machines are unsupported: cycles cannot enter a Mellos map."
+  );
+}
+function rank() {
+  return external_exports.number().int().min(RANK_MIN).max(RANK_MAX).describe(`${RANK_RULE_TEXT}; must be unique among the map's bands`);
+}
+function edgeEnds() {
+  return {
+    from: id("the node that USES the other (must live on a higher layer)"),
+    to: id("the node being used (must live on a strictly lower layer)")
+  };
+}
+var NO_CONTROLS = /^[^\u0000-\u001f\u007f-\u009f]*$/;
+var NO_CONTROLS_TEXT = "one line of text; control characters (ESC, newline, tab) are not allowed";
+var NO_CONTROLS_BUT_BREAKS = /^[^\u0000-\u0008\u000b-\u001f\u007f-\u009f]*$/;
+var NO_CONTROLS_BUT_BREAKS_TEXT = "text with optional newlines (\\n) and tabs; other control characters (ESC, BEL, CR) are not allowed";
+function line(max, description) {
+  return external_exports.string().min(1).max(max).regex(NO_CONTROLS, NO_CONTROLS_TEXT).describe(description);
+}
+function note(max, description) {
+  return external_exports.string().min(1).max(max).regex(NO_CONTROLS_BUT_BREAKS, NO_CONTROLS_BUT_BREAKS_TEXT).describe(description);
+}
+function closed(shape) {
+  return external_exports.object(shape).strict();
+}
+var DEFAULT_PAGE_NAME = "(default)";
+var DEFAULT_PAGE_ABSENT = "(default: absent)";
+function pagesLine(stateFile, shown) {
+  const files = listPageFiles(stateFile);
+  const named = files.map((f) => pageIdOfFile(stateFile, f)).filter((p) => p !== void 0);
+  const hasDefault = files.length > named.length;
+  const known = [hasDefault ? DEFAULT_PAGE_NAME : DEFAULT_PAGE_ABSENT, ...named];
+  return `pages: ${known.join(", ")} \u2014 this view: ${shown ?? DEFAULT_PAGE_NAME}`;
+}
+function pageName(page2) {
+  return page2 ?? DEFAULT_PAGE_NAME;
+}
+function paneLine(stateFile, touched) {
+  const viewers = readLiveViewers(stateFile, Date.now());
+  if (viewers.length === 0) {
+    return `pane: CLOSED \u2014 nobody is seeing this map. Open it with mmap_open {page: ${touched === void 0 ? "(omit for the default page)" : `"${touched}"`}} and do not ask first: a user with a mapping policy has already said they want the picture.`;
+  }
+  if (viewers.some((v) => v.page === touched)) return "pane: open on this page \u2014 the user is seeing this.";
+  const elsewhere = [...new Set(viewers.map((v) => pageName(v.page)))].join(", ");
+  if (viewers.some((v) => v.follow)) {
+    return `pane: open on ${elsewhere}, auto-follow on \u2014 it lands on this page within a second.`;
+  }
+  return `pane: open on ${elsewhere}, auto-follow OFF \u2014 the user pinned that page, so this change is NOT on their screen. Tell them rather than switching it behind them; mmap_open {page} retargets the pane if they want it moved.`;
+}
+var LAUNCH_TIMEOUT_MS = 45e3;
+var PANE_REPORT_TIMEOUT_MS = 8e3;
+var PANE_REPORT_POLL_MS = 250;
+function launcherPath(moduleUrl) {
+  return join2(dirname2(dirname2(fileURLToPath(moduleUrl))), "scripts", "open-pane.mjs");
+}
+function projectDirOf(stateFile) {
+  return dirname2(dirname2(stateFile));
+}
+function launcherArgs(projectDir, page2, window) {
+  const args = [projectDir];
+  if (page2 !== void 0) args.push("--page", page2);
+  if (window) args.push("--window");
+  return args;
+}
+function runLauncher(script, args) {
+  return new Promise((resolve) => {
+    const child = spawn(process.execPath, [script, ...args], {
+      windowsHide: true,
+      stdio: ["ignore", "pipe", "pipe"]
+    });
+    let output = "";
+    const collect = (chunk) => {
+      output += chunk.toString("utf8");
+    };
+    child.stdout.on("data", collect);
+    child.stderr.on("data", collect);
+    const abandon = setTimeout(() => child.kill(), LAUNCH_TIMEOUT_MS);
+    child.on("error", (e) => {
+      clearTimeout(abandon);
+      resolve({ ok: false, output: e.message });
+    });
+    child.on("close", (code) => {
+      clearTimeout(abandon);
+      resolve({ ok: code === 0, output: output.trim() });
+    });
+  });
+}
+function paneShows(viewers, page2) {
+  return page2 === void 0 ? viewers.length > 0 : viewers.some((v) => v.page === page2);
+}
+async function awaitPane(stateFile, page2, deadlineMs) {
+  for (; ; ) {
+    const viewers = readLiveViewers(stateFile, Date.now());
+    if (paneShows(viewers, page2)) return viewers;
+    if (Date.now() >= deadlineMs) return viewers;
+    await new Promise((r) => setTimeout(r, PANE_REPORT_POLL_MS));
+  }
+}
+function openOutcome(run, viewers, page2) {
+  if (!run.ok) {
+    return `could not open the pane: ${run.output === "" ? "the launcher failed without saying why" : run.output}
+Relay this to the user \u2014 on a machine without Windows Terminal the map is opened by running the watcher in any second terminal or tmux split (see the plugin README).`;
+  }
+  if (paneShows(viewers, page2)) {
+    return `pane: open and showing ${pageName(page2)} \u2014 the user can see the map now.
+${run.output}`;
+  }
+  if (viewers.length > 0) {
+    const elsewhere = [...new Set(viewers.map((v) => pageName(v.page)))].join(", ");
+    return `pane: open, but it reports ${elsewhere} rather than ${pageName(page2)}. With auto-follow on it lands there on your next write; with follow off the user is holding that page on purpose.
+` + run.output;
+  }
+  return `the launcher succeeded but no pane has reported in within ${PANE_REPORT_TIMEOUT_MS / 1e3}s. It may still be starting; the \`pane:\` line on your next write says whether it made it.
+` + run.output;
+}
 function text(s, isError = false) {
   return { content: [{ type: "text", text: s }], ...isError ? { isError: true } : {} };
 }
+function saveFailed(error2) {
+  return text(`save failed, nothing changed (retry): ${describeStoreError(error2)}`, true);
+}
 function loadOrEmpty(stateFile) {
   const loaded = loadMapFile(stateFile);
   if (loaded.ok) return { ok: true, value: loaded.value };
   if (loaded.error.kind === "not-found") return { ok: true, value: EMPTY_MAP };
   return { ok: false, error: describeStoreError(loaded.error) };
 }
-function buildServer(stateFile) {
+function buildServer(stateFile, userConfigFile) {
   const server = new McpServer({ name: SERVER_NAME, version: SERVER_VERSION });
-  const fileOf = (page) => pageFilePath(stateFile, page);
-  const mutate = (page, apply) => {
-    const file = fileOf(page);
+  const projectConfigFile = configFilePath(stateFile);
+  const fileOf = (page2) => pageFilePath(stateFile, page2);
+  const mutate = (page2, apply) => {
+    const file = fileOf(page2);
     const current = loadOrEmpty(file);
     if (!current.ok) return text(current.error, true);
     const applied = apply(current.value);
     if (!applied.ok) return text(`refused (nothing changed): ${applied.error}`, true);
-    saveMapFile(file, applied.value);
-    return text(summarize(applied.value) + (page !== void 0 ? ` [page: ${page}]` : ""));
+    const saved = saveMapFile(file, applied.value);
+    if (!saved.ok) return saveFailed(saved.error);
+    return text(summarize(applied.value) + (page2 !== void 0 ? ` [page: ${page2}]` : ""));
+  };
+  const withPane = (result, page2) => result.isError === true ? result : text(`${result.content[0]?.text ?? ""}
+${paneLine(stateFile, page2)}`);
+  const knownPages = () => listPageFiles(stateFile).map((f) => pageIdOfFile(stateFile, f)).filter((p) => p !== void 0);
+  const refusePageDeletion = (pages, target) => {
+    if (target !== void 0 && pages.includes(target)) {
+      return text(
+        `refused (nothing changed): pages includes "${target}", the page this call targets \u2014 one call must not edit a map it is deleting. Delete it from a call that does not target it.`,
+        true
+      );
+    }
+    const known = knownPages();
+    const unknown2 = pages.filter((p) => !known.includes(p));
+    if (unknown2.length > 0) {
+      return text(
+        `refused (nothing changed): no page named ${unknown2.map((p) => `"${p}"`).join(", ")}. This project's named pages: ${known.length > 0 ? known.join(", ") : "(none)"}.`,
+        true
+      );
+    }
+    return void 0;
+  };
+  const deletePages = (pages, summary) => {
+    const deleted = [];
+    const failed = [];
+    for (const p of pages) {
+      const removed = deletePageFile(pageFilePath(stateFile, p));
+      if (removed.ok) deleted.push(p);
+      else failed.push(`${p} (${describeStoreError(removed.error)})`);
+    }
+    const gone = `deleted page(s): ${deleted.length > 0 ? deleted.join(", ") : "(none)"}`;
+    if (failed.length === 0) return text(`${summary}${gone}`);
+    return text(
+      `${summary}${gone}; could NOT delete: ${failed.join("; ")}. Deleting files is not a transaction: what is named deleted above is gone for good, and only the failures are worth retrying.`,
+      true
+    );
   };
   const setupNudge = () => {
-    const policy = loadMappingPolicy(stateFile);
-    if (!policy.ok) return `
-note: ${describeStoreError(policy.error)} \u2014 fix it or rerun setup (mmap_setup).`;
-    if (policy.value !== void 0) return "";
-    return "\nnote: mapping policy not set for this project. Ask the user when maps should open \u2014 " + MAPPING_POLICIES.map((p) => `${p} (${describeMappingPolicy(p)})`).join("; ") + " \u2014 then record the answer with mmap_setup.";
+    const scopes = effectiveMappingPolicy(projectConfigFile, userConfigFile);
+    if (!scopes.ok) return `
+note: ${describeStoreError(scopes.error)} \u2014 fix it or rerun setup (mmap_setup).`;
+    if (scopes.value.effective !== void 0) return "";
+    return "\nnote: no mapping policy has been chosen yet. Ask the user when maps should open \u2014 " + MAPPING_POLICIES.map((p) => `${p} (${describeMappingPolicy(p)})`).join("; ") + " \u2014 then record the answer with mmap_setup. It is asked once ever, not once per project.";
   };
   server.registerTool(
     "mmap_declare",
     {
       title: "Declare map structure",
-      description: "Grow the Mellos map: set the title and diagram kind, add layer bands, lanes and groups (labeled subsystems within ONE band \u2014 declare them when a single band grows crowded, roughly five or more nodes in that band; a group must be a strict subset of its band, and a map spread thin across many bands needs none), add nodes, add dependency edges. Declare the whole ghost design up front, then grow it as understanding deepens. Edges must point strictly downward (a node may only use nodes on lower layers); the batch is all-or-nothing.",
-      inputSchema: {
-        page: PAGE,
-        title: external_exports.string().max(120).optional().describe("map title, e.g. the feature being built"),
-        kind: KIND.optional(),
+      description: "Grow the Mellos map: set the title and diagram kind, add layer bands, lanes and groups (labeled subsystems within ONE band \u2014 declare them when a single band grows crowded, roughly five or more nodes in that band; a group must be a strict subset of its band, and a map spread thin across many bands needs none), add nodes, add dependency edges. Declare the whole ghost design up front, then grow it as understanding deepens. Edges must point strictly downward (a node may only use nodes on lower layers); the batch is all-or-nothing. The title lives here and only here: pass it again to replace it, or null to remove it. Revising what already exists (moving, renaming, relabeling, clearing) is mmap_update.",
+      inputSchema: closed({
+        page: page(),
+        title: line(TITLE_MAX, "map title, e.g. the feature being built; null removes it").nullable().optional(),
+        kind: mapKind().optional(),
         lanes: external_exports.array(
-          external_exports.object({
-            id: ID,
-            label: external_exports.string().min(1).max(60).describe("column name, e.g. a sequence participant")
+          closed({
+            id: id("stable kebab-case identifier of the lane"),
+            label: line(LABEL_MAX, "column name, e.g. a sequence participant")
           })
         ).optional().describe("vertical columns crossing all bands; declaration order = left-to-right"),
         layers: external_exports.array(
-          external_exports.object({
-            id: ID,
-            name: external_exports.string().min(1).max(60).describe("display name of the band"),
-            rank: external_exports.number().int().min(0).max(99).describe("0 = bottom / most primitive; must be unique")
+          closed({
+            id: id("stable kebab-case identifier of the band"),
+            name: line(LABEL_MAX, "display name of the band"),
+            rank: rank()
           })
         ).optional(),
         groups: external_exports.array(
-          external_exports.object({
-            id: ID,
-            label: external_exports.string().min(1).max(60).describe("subsystem name shown at the far zoom"),
-            layer: ID.describe("band this group clusters; members must live on the same band")
+          closed({
+            id: id("stable kebab-case identifier of the group"),
+            label: line(LABEL_MAX, "subsystem name shown at the far zoom"),
+            layer: id("band this group clusters; members must live on the same band")
           })
         ).optional(),
         nodes: external_exports.array(
-          external_exports.object({
-            id: ID,
-            label: external_exports.string().min(1).max(60).describe("display label inside the box"),
-            layer: ID.describe("id of the band this node lives in"),
-            status: STATUS.optional().describe("defaults to planned"),
-            detail: external_exports.string().max(600).optional().describe("design notes shown in the pane detail panel: responsibility, contract, key decisions"),
-            group: ID.optional().describe("same-band group this node belongs to"),
-            kind: NODE_KIND.optional(),
-            lane: ID.optional().describe("lane (column) this node belongs to"),
-            submap: ID.optional().describe(
+          closed({
+            id: id("stable kebab-case identifier of the node"),
+            label: line(LABEL_MAX, "display label inside the box"),
+            layer: id("id of the band this node lives in"),
+            status: status("defaults to planned").optional(),
+            evidence: line(
+              EVIDENCE_MAX,
+              "how an already-verified node was verified; for regressed: what broke. Declaring a node straight to done needs it as much as updating one does."
+            ).optional(),
+            detail: note(
+              DETAIL_MAX,
+              "design notes shown in the pane detail panel: responsibility, contract, key decisions"
+            ).optional(),
+            group: id("same-band group this node belongs to").optional(),
+            kind: nodeKind().optional(),
+            lane: id("lane (column) this node belongs to").optional(),
+            submap: id(
               "page slug of this node's child map \u2014 the pane badges the node \u229E and double-click dives in. Declare the child page separately. Create a sub-map only when the node's internals genuinely deserve their own picture; most nodes need none."
-            )
+            ).optional()
           })
         ).optional(),
-        edges: external_exports.array(EDGE.extend({ label: external_exports.string().max(80).optional().describe("what flows along the edge") })).optional()
-      }
+        edges: external_exports.array(
+          closed({
+            ...edgeEnds(),
+            label: line(EDGE_LABEL_MAX, "what flows along the edge").optional()
+          })
+        ).optional()
+      })
     },
     (input) => {
-      const result = mutate(input.page, (map) => applyDeclare(map, input));
+      const result = withPane(mutate(input.page, (map) => applyDeclare(map, input)), input.page);
       if (result.isError === true) return result;
       const nudge = setupNudge();
       return nudge === "" ? result : text((result.content[0]?.text ?? "") + nudge);
@@ -22667,83 +23421,158 @@ note: ${describeStoreError(policy.error)} \u2014 fix it or rerun setup (mmap_set
   server.registerTool(
     "mmap_update",
     {
-      title: "Record progress on nodes",
-      description: "Update node status/label/evidence. Set in-progress when starting a node (the pane spins), done with evidence when its verification passes, regressed with evidence when a done node breaks. The map is a ledger: report honestly, it never blocks you.",
-      inputSchema: {
-        page: PAGE,
+      title: "Record progress and revise the map",
+      description: "The revision tool, all-or-nothing. Record progress on nodes: in-progress when starting a node (the pane spins), done with evidence when its verification passes, regressed with evidence when a done node breaks. Revise what the ghost design got wrong: move a node to another band, join or leave a group or lane, rename a band (or re-rank it, which reorders the whole map), relabel a group or a lane. Every clearable field takes null to empty it \u2014 that is how a field is cleared, never an empty string. Bands, groups and lanes are applied before the node updates, and within one node update `layer` moves the node before its other fields. The map is a ledger: report honestly, it never blocks you.",
+      inputSchema: closed({
+        page: page(),
         updates: external_exports.array(
-          external_exports.object({
-            id: ID,
-            status: STATUS.optional(),
-            label: external_exports.string().min(1).max(60).optional(),
-            evidence: external_exports.string().max(200).optional().describe("for done: how it was verified; for regressed: what broke"),
-            detail: external_exports.string().max(600).optional().describe("design notes shown in the pane detail panel: responsibility, contract, key decisions"),
-            group: ID.nullable().optional().describe("join this same-band group; null leaves the current group"),
-            kind: NODE_KIND.nullable().optional().describe("set the node kind; null clears it"),
-            lane: ID.nullable().optional().describe("join this lane; null leaves the current lane"),
-            submap: ID.nullable().optional().describe("link a child map page; null unlinks it")
+          closed({
+            id: id("id of the node to update"),
+            status: status("the status to record").optional(),
+            label: line(LABEL_MAX, "new display label inside the box").optional(),
+            evidence: line(EVIDENCE_MAX, "for done: how it was verified; for regressed: what broke; null clears it").nullable().optional(),
+            detail: note(
+              DETAIL_MAX,
+              "design notes shown in the pane detail panel: responsibility, contract, key decisions; null clears them"
+            ).nullable().optional(),
+            layer: id(
+              "move the node to this band; applied before this item's other fields, so a node can move and join a group on the new band in one item. Every edge touching it must still point strictly downward, and a grouped node may only move to its group's band."
+            ).optional(),
+            group: id("join this same-band group; null leaves the current group").nullable().optional(),
+            kind: nodeKind().nullable().optional(),
+            lane: id("join this lane; null leaves the current lane").nullable().optional(),
+            submap: id("link a child map page by slug; null unlinks it").nullable().optional()
           })
-        ).min(1)
-      }
+        ).min(1).optional(),
+        layers: external_exports.array(
+          closed({
+            id: id("id of the band to revise"),
+            name: line(LABEL_MAX, "new display name of the band").optional(),
+            rank: rank().optional()
+          })
+        ).min(1).optional().describe("rename and/or re-rank existing bands; an item must carry a name, a rank, or both"),
+        groups: external_exports.array(closed({ id: id("id of the group to relabel"), label: line(LABEL_MAX, "new subsystem name") })).min(1).optional().describe("relabel existing groups; membership and band are untouched"),
+        lanes: external_exports.array(closed({ id: id("id of the lane to relabel"), label: line(LABEL_MAX, "new column name") })).min(1).optional().describe("relabel existing lanes; order and membership are untouched")
+      })
     },
-    (input) => mutate(input.page, (map) => applyUpdate(map, input))
+    (input) => withPane(mutate(input.page, (map) => applyUpdate(map, input)), input.page)
   );
   server.registerTool(
     "mmap_remove",
     {
       title: "Revise the map",
-      description: "Remove edges, nodes, groups and empty layer bands (in that order, all-or-nothing). Removing a node also removes every edge touching it; removing a group merely ungroups its members. Use when the ghost design turns out wrong \u2014 the map is a hypothesis, revising it is honest work.",
-      inputSchema: {
-        page: PAGE,
-        edges: external_exports.array(EDGE).optional(),
-        nodes: external_exports.array(ID).optional(),
-        groups: external_exports.array(ID).optional().describe("groups to remove; members stay, merely ungrouped"),
-        lanes: external_exports.array(ID).optional().describe("lanes to remove; members stay, merely off-lane"),
-        layers: external_exports.array(ID).optional().describe("bands to remove; must be empty of nodes and groups")
-      }
+      description: 'Remove edges, nodes, groups and empty layer bands (in that order, all-or-nothing). Removing a node also removes every edge touching it; removing a group merely ungroups its members. Use when the ghost design turns out wrong \u2014 the map is a hypothesis, revising it is honest work. `pages` is the other scale: it DELETES whole page files, so a finished effort can be cleaned up instead of accumulating tabs forever. A bare `{pages: ["slug"]}` with no other field is the normal form; combined with map edits, the edits are applied first and the pages are deleted after. The deletion is permanent and cannot be undone, so delete only pages whose effort is over \u2014 and only ever with the user behind it. An unknown slug is refused with the project\'s real page list (naming a page that does not exist is a typo, not a request). The default page has no slug and is not deletable here. A node elsewhere still pointing at a deleted page with `submap` stays legal \u2014 a submap reference has no existence invariant \u2014 but it has nowhere to dive until the page comes back.',
+      inputSchema: closed({
+        page: page(),
+        edges: external_exports.array(closed(edgeEnds())).optional(),
+        nodes: external_exports.array(id("id of the node to remove, with every edge touching it")).optional(),
+        groups: external_exports.array(id("id of the group to remove; members stay, merely ungrouped")).optional(),
+        lanes: external_exports.array(id("id of the lane to remove; members stay, merely off-lane")).optional(),
+        layers: external_exports.array(id("id of the band to remove; it must hold no nodes and no groups")).optional(),
+        pages: external_exports.array(
+          id(
+            "slug of a page whose WHOLE map file is deleted \u2014 the page and everything drawn on it. Not the page this same call targets with `page`."
+          )
+        ).optional().describe("pages to delete entirely, after this call's map edits; permanent")
+      })
     },
-    (input) => mutate(input.page, (map) => applyRemove(map, input))
+    (input) => {
+      if (input.pages === void 0) return withPane(mutate(input.page, (map) => applyRemove(map, input)), input.page);
+      const refusal = refusePageDeletion(input.pages, input.page);
+      if (refusal !== void 0) return refusal;
+      const editsAnything = (input.edges?.length ?? 0) + (input.nodes?.length ?? 0) + (input.groups?.length ?? 0) + (input.lanes?.length ?? 0) + (input.layers?.length ?? 0) > 0;
+      let summary = "";
+      if (editsAnything) {
+        const edited = mutate(input.page, (map) => applyRemove(map, input));
+        if (edited.isError === true) return edited;
+        summary = `${edited.content[0]?.text ?? ""}
+`;
+      }
+      return withPane(deletePages(input.pages, summary), input.page);
+    }
   );
   server.registerTool(
     "mmap_setup",
     {
       title: "Configure when maps open",
-      description: `Get or set this project's mapping policy \u2014 WHEN the assistant opens a Mellos map. Call with no arguments to read it. If it reports "not set", ask the USER to choose (never pick for them): always = ` + describeMappingPolicy("always") + "; complex = " + describeMappingPolicy("complex") + "; on-request = " + describeMappingPolicy("on-request") + ". Then call again with their choice to persist it. The policy guides you; it never blocks the tools, and an explicit user request for a map always wins.",
-      inputSchema: {
-        policy: external_exports.enum(MAPPING_POLICIES).optional().describe("the user's choice to persist; omit to read the current policy")
-      }
+      description: 'Get or set the mapping policy \u2014 WHEN the assistant opens a Mellos map. Call with no arguments to read it: the reply names the policy chosen for the USER (every project), the one this PROJECT overrides it with if any, and which of them is in effect. If it reports "not set", ask the USER to choose (never pick for them): always = ' + describeMappingPolicy("always") + "; complex = " + describeMappingPolicy("complex") + "; on-request = " + describeMappingPolicy("on-request") + '. Then call again with their choice to persist it. It defaults to user scope, which is the normal one \u2014 the question is about how someone works, so it is asked once ever, not once per repository. Pass scope: "project" only when the user wants THIS project to differ from that habit. The policy guides you; it never blocks the tools, and an explicit user request for a map always wins.',
+      inputSchema: closed({
+        policy: external_exports.enum(MAPPING_POLICIES).optional().describe("the user's choice to persist; omit to read the current policy"),
+        scope: external_exports.enum(POLICY_SCOPES).optional().describe(
+          'where to record the choice: "user" (default) applies to every project this user opens; "project" overrides that for this project alone. Ignored when reading.'
+        )
+      })
     },
     (input) => {
+      const scope = input.scope ?? "user";
+      const configFile = scope === "project" ? projectConfigFile : userConfigFile;
       if (input.policy !== void 0) {
         const policy = input.policy;
-        saveMappingPolicy(stateFile, policy);
-        return text(`mapping policy set: ${policy} \u2014 ${describeMappingPolicy(policy)} [${configFilePath(stateFile)}]`);
+        const saved = saveMappingPolicy(configFile, policy);
+        if (!saved.ok) return saveFailed(saved.error);
+        const reach = scope === "user" ? 'applies to EVERY project this user opens; a single project can still override it with mmap_setup {policy, scope: "project"}' : "applies to THIS project only, overriding the user-level choice";
+        return text(
+          `mapping policy set (${scope} scope): ${policy} \u2014 ${describeMappingPolicy(policy)}. ${reach}. [${configFile}]`
+        );
       }
-      const loaded = loadMappingPolicy(stateFile);
-      if (!loaded.ok) return text(describeStoreError(loaded.error), true);
-      if (loaded.value === void 0) {
+      const scopes = effectiveMappingPolicy(projectConfigFile, userConfigFile);
+      if (!scopes.ok) return text(describeStoreError(scopes.error), true);
+      const { user, project, effective, source } = scopes.value;
+      const said = (p) => p === void 0 ? "not set" : p;
+      const heading = `mapping policy \u2014 user: ${said(user)}; project: ${said(project)}`;
+      if (effective === void 0) {
         return text(
-          "mapping policy not set. Ask the user to choose one of: " + MAPPING_POLICIES.map((p) => `${p} (${describeMappingPolicy(p)})`).join("; ") + " \u2014 then call mmap_setup with their choice. Until then act as complex."
+          `${heading}. Nobody has chosen yet. Ask the user to choose one of: ` + MAPPING_POLICIES.map((p) => `${p} (${describeMappingPolicy(p)})`).join("; ") + " \u2014 then call mmap_setup with their choice (scope defaults to user, which is what you want: the question is asked once ever). Until then act as complex."
         );
       }
-      return text(`mapping policy: ${loaded.value} \u2014 ${describeMappingPolicy(loaded.value)}`);
+      return text(`${heading}. In effect: ${effective} (${source} scope) \u2014 ${describeMappingPolicy(effective)}`);
     }
   );
   server.registerTool(
     "mmap_view",
     {
       title: "View the current map",
-      description: "Render the current Mellos map as monochrome text \u2014 the same picture the split-pane watcher shows live. Use it to check the map state or to show it inline in conversation.",
-      inputSchema: {
-        page: PAGE,
+      description: "Render the current Mellos map as monochrome text \u2014 the same picture the split-pane watcher shows live. Use it to check the map state or to show it inline in conversation. Every response ends with a `pages:` line naming the pages this project actually has and which one you are looking at, so this is also how you discover whether a map exists at all and under which slugs \u2014 never probe the files.",
+      inputSchema: closed({
+        page: page(),
         zoom: external_exports.number().int().min(ZOOM_MIN).max(ZOOM_MAX).optional().describe("zoom ladder: 1 = detail (notes unfold), 0 = standard (default), -1..-3 = scaled down, -4 = overview glyphs")
-      }
+      })
     },
     (input) => {
       const current = loadOrEmpty(fileOf(input.page));
       if (!current.ok) return text(current.error, true);
       const zoom = clampZoom(input.zoom ?? 0);
-      return text(renderMap(current.value, { color: false, unicode: true, spinnerFrame: 0, zoom }).join("\n"));
+      const picture = renderMap(current.value, { color: false, unicode: true, spinnerFrame: 0, zoom }).join("\n");
+      return text(`${picture}
+${pagesLine(stateFile, input.page)}
+${paneLine(stateFile, input.page)}`);
+    }
+  );
+  server.registerTool(
+    "mmap_open",
+    {
+      title: "Open the map pane",
+      description: "Put the live map on the user's screen: a terminal pane beside this conversation that redraws on every write. Call it whenever a result says `pane: CLOSED` \u2014 and do NOT ask permission first, because a user who has set a mapping policy has already said they want to see the map. With a pane already open this RETARGETS it to `page` instead of opening a second one, so it is also how you show the user a particular page when they ask for one. It never closes a pane: taking the map off the screen belongs to the user (the `q` key in the pane, or typing `mmap` in a terminal). The reply says whether a pane actually reported itself in afterwards, not merely that a command was run. Windows Terminal is the supported route; anywhere else it says so and you relay the manual command from the README.",
+      inputSchema: closed({
+        page: id(
+          "page to show first \u2014 the page THIS effort lives on, the same slug you pass to the other tools. Omit only for the default page: without it a fresh pane opens on whichever page was written last, which after a gap is rarely the one under discussion."
+        ).optional(),
+        window: external_exports.boolean().optional().describe(
+          `open the map in its own "mellos-mapping" window instead of splitting this conversation's window. Pass it only when the user asked for the map separate (a second monitor, a small screen); the split is the default because the map is meant to sit beside what it describes.`
+        )
+      })
+    },
+    async (input) => {
+      const script = launcherPath(import.meta.url);
+      if (!existsSync2(script)) {
+        return text(
+          `cannot open the pane: the launcher is missing at ${script}. This install is incomplete \u2014 tell the user to reinstall the plugin (a source checkout needs "npm run build").`,
+          true
+        );
+      }
+      const run = await runLauncher(script, launcherArgs(projectDirOf(stateFile), input.page, input.window === true));
+      const viewers = run.ok ? await awaitPane(stateFile, input.page, Date.now() + PANE_REPORT_TIMEOUT_MS) : [];
+      return text(openOutcome(run, viewers, input.page), !run.ok);
     }
   );
   return server;
@@ -22752,8 +23581,14 @@ function resolveStateFile(env, cwd) {
   const projectDir = env["MELLOS_MAPPING_CWD"] ?? env["CLAUDE_PROJECT_DIR"] ?? cwd;
   return join2(projectDir, STATE_FILE_RELATIVE_PATH);
 }
+function resolveUserConfigFile(home) {
+  return userConfigFilePath(home);
+}
 async function main() {
-  const server = buildServer(resolveStateFile(process.env, process.cwd()));
+  const stateFile = resolveStateFile(process.env, process.cwd());
+  const userConfigFile = resolveUserConfigFile(homedir());
+  if (migrateLegacyStore(stateFile)) console.error("mellos-mapping: moved the legacy .claude map store to .mellos/ \u2014 commit the move.");
+  const server = buildServer(stateFile, userConfigFile);
   await server.connect(new StdioServerTransport());
 }
 function launchedAsEntry(argv1, moduleUrl) {
@@ -22775,5 +23610,10 @@ export {
   SERVER_VERSION,
   buildServer,
   launchedAsEntry,
-  resolveStateFile
+  launcherArgs,
+  launcherPath,
+  openOutcome,
+  projectDirOf,
+  resolveStateFile,
+  resolveUserConfigFile
 };