esedre 1.2.0 → 1.3.0

package/dist/esedre.mjs

@@ -7,10 +7,10 @@ import path11 from "node:path";
 // src/storage/filesystem.ts
 import fs3 from "node:fs";
 import path3 from "node:path";
-import os2 from "node:os";
+import os3 from "node:os";
 
 // src/types.ts
-var CURRENT_ESEDRE_VERSION = "1.2.0";
+var CURRENT_ESEDRE_VERSION = "1.3.0";
 var INVERSE_RELATIONS = {
   "relates-to": "relates-to",
   "blocks": "blocked-by",
@@ -20,6 +20,19 @@ var INVERSE_RELATIONS = {
   "duplicates": "duplicated-by",
   "duplicated-by": "duplicates"
 };
+var DEFAULT_LEASE_TTL_MINUTES = 60;
+var EsedreLeaseConflictError = class extends Error {
+  ticketKey;
+  activeLease;
+  constructor(ticketKey, activeLease) {
+    super(
+      `Lease Conflict on Ticket ${ticketKey}: currently leased by '${activeLease.holder}'${activeLease.hostname ? ` on ${activeLease.hostname}` : ""} until ${activeLease.expiresAt}. Pass --force (or force: true) to override.`
+    );
+    this.name = "EsedreLeaseConflictError";
+    this.ticketKey = ticketKey;
+    this.activeLease = activeLease;
+  }
+};
 var EsedreConflictError = class extends Error {
   constructor(ticketId, currentHash, lastHash) {
     super(
@@ -35,10 +48,57 @@ var EsedreConflictError = class extends Error {
   lastHash;
 };
 
+// src/utils/identity.ts
+import os from "node:os";
+import { execSync } from "node:child_process";
+function detectGitBranch(cwd) {
+  try {
+    const out = execSync("git rev-parse --abbrev-ref HEAD", {
+      cwd: cwd || process.cwd(),
+      stdio: ["ignore", "pipe", "ignore"],
+      encoding: "utf-8",
+      timeout: 1500
+    }).trim();
+    return out && out !== "HEAD" ? out : void 0;
+  } catch {
+    return void 0;
+  }
+}
+function resolveWorkerIdentity(input) {
+  let hostname = input?.hostname?.trim() || "";
+  if (!hostname) {
+    try {
+      hostname = os.hostname() || "local-host";
+    } catch {
+      hostname = "local-host";
+    }
+  }
+  let username = "";
+  try {
+    username = os.userInfo().username || "";
+  } catch {
+    username = process.env.USER || process.env.USERNAME || "developer";
+  }
+  const envHolder = process.env.ESEDRE_WORKER_ID || process.env.ESEDRE_AGENT_ID || process.env.AGY_AGENT_ID || "";
+  const holder = input?.holder?.trim() || envHolder.trim() || input?.configDefaultAuthor?.trim() || `${username}@${hostname}`;
+  const agentType = input?.agentType?.trim() || process.env.ESEDRE_AGENT_TYPE?.trim() || (process.env.AGY_CONVERSATION_ID ? "antigravity" : void 0);
+  const sessionId = input?.sessionId?.trim() || process.env.ESEDRE_SESSION_ID?.trim() || process.env.AGY_CONVERSATION_ID?.trim() || void 0;
+  const worktree = input?.worktree?.trim() || process.cwd();
+  const branch = input?.branch?.trim() || detectGitBranch(worktree);
+  return {
+    holder,
+    ...agentType ? { agentType } : {},
+    hostname,
+    ...sessionId ? { sessionId } : {},
+    ...branch ? { branch } : {},
+    ...worktree ? { worktree } : {}
+  };
+}
+
 // src/config.ts
 import fs from "node:fs";
 import path from "node:path";
-import os from "node:os";
+import os2 from "node:os";
 var DEFAULT_ESEDRE_PORT = 5674;
 var MAX_PROJECT_CODE_LENGTH = 8;
 var PROJECT_CODE_REGEX = /^[a-zA-Z0-9]{1,8}$/;
@@ -113,7 +173,7 @@ function getGlobalConfigDir() {
     return process.env.ESEDRE_GLOBAL_DIR;
   }
   if (process.env.VITEST) {
-    const testGlobalDir = path.join(os.tmpdir(), "esedre-vitest-global");
+    const testGlobalDir = path.join(os2.tmpdir(), "esedre-vitest-global");
     if (!fs.existsSync(testGlobalDir)) {
       try {
         fs.mkdirSync(testGlobalDir, { recursive: true });
@@ -122,7 +182,7 @@ function getGlobalConfigDir() {
     }
     return testGlobalDir;
   }
-  return path.join(os.homedir(), ".esedre");
+  return path.join(os2.homedir(), ".esedre");
 }
 function getGlobalConfigPath() {
   return path.join(getGlobalConfigDir(), "config.json");
@@ -130,7 +190,7 @@ function getGlobalConfigPath() {
 function expandHome(filePath) {
   if (!filePath) return filePath;
   if (filePath === "~" || filePath.startsWith("~/") || filePath.startsWith("~\\")) {
-    return path.join(os.homedir(), filePath.slice(1));
+    return path.join(os2.homedir(), filePath.slice(1));
   }
   return filePath;
 }
@@ -492,7 +552,8 @@ function migrateEsedreConfig(raw, targetVersion = CURRENT_ESEDRE_VERSION) {
     serverUrl: raw?.serverUrl,
     port: typeof raw?.port === "number" && raw.port !== DEFAULT_ESEDRE_PORT ? raw.port : void 0,
     ports: typeof raw?.ports === "object" && raw?.ports ? raw.ports : void 0,
-    projects: typeof raw?.projects === "object" && raw?.projects ? raw.projects : void 0
+    projects: typeof raw?.projects === "object" && raw?.projects ? raw.projects : void 0,
+    defaultAuthor: typeof raw?.defaultAuthor === "string" && raw.defaultAuthor.trim() ? raw.defaultAuthor.trim() : void 0
   };
   return migrated;
 }
@@ -572,6 +633,7 @@ async function generateProjectSnapshot(storage, projectCode, outputDir) {
       inheritedFeatureFlag: ticketObj.meta.inheritedFeatureFlag,
       links: ticketObj.meta.links || [],
       isBlocked: ticketObj.isBlocked || false,
+      ...ticketObj.lease ? { lease: ticketObj.lease } : {},
       hasPlan: Boolean(plan && plan.trim().length > 0),
       planMarkdown: plan && plan.trim().length > 0 ? plan : void 0,
       createdAt,
@@ -607,13 +669,17 @@ async function generateProjectSnapshot(storage, projectCode, outputDir) {
     });
   } catch {
   }
+  const activeLeases = entries.map((e) => e.lease).filter((l) => Boolean(l));
+  const lastTicketId = entries.reduce((max, e) => Math.max(max, e.id), 0);
   const snapshot = {
     version: CURRENT_ESEDRE_VERSION,
     projectCode,
     generatedAt: (/* @__PURE__ */ new Date()).toISOString(),
     totalTickets: entries.length,
+    lastTicketId,
     tickets: entries,
-    ...milestoneSnapshots && milestoneSnapshots.length > 0 ? { milestones: milestoneSnapshots } : {}
+    ...milestoneSnapshots && milestoneSnapshots.length > 0 ? { milestones: milestoneSnapshots } : {},
+    ...activeLeases.length > 0 ? { activeLeases } : {}
   };
   const esedreDir = path2.join(outputDir, ".esedre");
   if (!fs2.existsSync(esedreDir)) {
@@ -801,6 +867,14 @@ function formatTicketDetail(ticket) {
   if (ticket.isBlocked) {
     lines.push(`${colors.bold}Dependency:${colors.reset}   ${colors.red}${colors.bold}Blocked by uncompleted ticket${colors.reset}`);
   }
+  if (ticket.lease) {
+    const l = ticket.lease;
+    const hostInfo = l.hostname ? ` on ${l.hostname}` : "";
+    const branchInfo = l.branch ? ` [branch: ${l.branch}]` : "";
+    lines.push(
+      `${colors.bold}Active Lease:${colors.reset} ${colors.cyan}${colors.bold}${l.holder}${colors.reset}${hostInfo}${branchInfo} ${colors.dim}(expires ${l.expiresAt})${colors.reset}`
+    );
+  }
   if (detail?.summary) {
     lines.push("");
     lines.push(`${colors.bold}Summary:${colors.reset}`);
@@ -933,6 +1007,23 @@ function formatMilestoneListTable(milestones, tickets) {
   });
   return [header, divider, ...formattedRows].join("\n");
 }
+function formatLeaseListTable(leases) {
+  if (leases.length === 0) {
+    return `${colors.dim}No active ticket leases.${colors.reset}`;
+  }
+  const lines = [];
+  const header = `${pad("TICKET", 12)} ${pad("HOLDER", 22)} ${pad("HOST / AGENT", 22)} ${pad("BRANCH", 24)} ${pad("EXPIRES AT", 24)}`;
+  lines.push(`${colors.bold}${colors.cyan}${header}${colors.reset}`);
+  lines.push(`${colors.dim}${"-".repeat(108)}${colors.reset}`);
+  for (const l of leases) {
+    const hostAgent = [l.hostname, l.agentType].filter(Boolean).join(" / ") || "-";
+    const branch = l.branch || "-";
+    lines.push(
+      `${colors.bold}${pad(l.ticketKey, 12)}${colors.reset} ${colors.green}${pad(l.holder.slice(0, 20), 22)}${colors.reset} ${pad(hostAgent.slice(0, 20), 22)} ${colors.cyan}${pad(branch.slice(0, 22), 24)}${colors.reset} ${colors.dim}${pad(l.expiresAt, 24)}${colors.reset}`
+    );
+  }
+  return lines.join("\n");
+}
 
 // src/storage/filesystem.ts
 function isProjectMatch(code, filter) {
@@ -1865,7 +1956,7 @@ ${formattedList}`
       } catch {
       }
     }
-    const globalConfigFile = path3.join(os2.homedir(), ".esedre", "config.json");
+    const globalConfigFile = path3.join(os3.homedir(), ".esedre", "config.json");
     if (fs3.existsSync(globalConfigFile)) {
       try {
         const gCfg = JSON.parse(fs3.readFileSync(globalConfigFile, "utf-8"));
@@ -2202,7 +2293,8 @@ ${formattedList}`
       "implementation_plan.md",
       "comments.json",
       "answers.json",
-      "inline-comments.json"
+      "inline-comments.json",
+      "lease.json"
     ];
     const currentStats = {};
     for (const f of filesToCheck) {
@@ -2230,14 +2322,34 @@ ${formattedList}`
         }
         if (match) {
           let ticket = cached.ticket;
-          if (ticket.meta.links && ticket.meta.links.length > 0) {
-            ticket = {
-              ...ticket,
-              meta: { ...ticket.meta, links: ticket.meta.links.map((l) => ({ ...l })) }
-            };
-            this.enrichTicketLinks(ticket);
+          if (ticket.lease) {
+            const expMs = Date.parse(ticket.lease.expiresAt);
+            if (!isNaN(expMs) && expMs <= Date.now()) {
+              try {
+                fs3.unlinkSync(path3.join(ticketDir, "lease.json"));
+              } catch {
+              }
+              this.ticketMemoryCache.delete(resolvedTicketDir);
+            } else {
+              if (ticket.meta.links && ticket.meta.links.length > 0) {
+                ticket = {
+                  ...ticket,
+                  meta: { ...ticket.meta, links: ticket.meta.links.map((l) => ({ ...l })) }
+                };
+                this.enrichTicketLinks(ticket);
+              }
+              return ticket;
+            }
+          } else {
+            if (ticket.meta.links && ticket.meta.links.length > 0) {
+              ticket = {
+                ...ticket,
+                meta: { ...ticket.meta, links: ticket.meta.links.map((l) => ({ ...l })) }
+              };
+              this.enrichTicketLinks(ticket);
+            }
+            return ticket;
           }
-          return ticket;
         }
       }
     }
@@ -2313,6 +2425,32 @@ ${formattedList}`
         } catch {
         }
       }
+      let lease = null;
+      const leasePath = path3.join(ticketDir, "lease.json");
+      if (currentStats["lease.json"]) {
+        try {
+          const parsedLease = JSON.parse(fs3.readFileSync(leasePath, "utf-8"));
+          const expMs = Date.parse(parsedLease.expiresAt);
+          if (!isNaN(expMs) && expMs <= Date.now()) {
+            try {
+              fs3.unlinkSync(leasePath);
+              delete currentStats["lease.json"];
+            } catch {
+            }
+          } else {
+            parsedLease.project = effectiveLoc.project.code;
+            parsedLease.ticketId = meta.id;
+            parsedLease.ticketKey = `${effectiveLoc.project.code}-${meta.id}`;
+            lease = parsedLease;
+          }
+        } catch {
+        }
+      }
+      if (lease) {
+        meta.lease = lease;
+      } else {
+        delete meta.lease;
+      }
       const ticketObj = {
         meta,
         detail,
@@ -2320,6 +2458,7 @@ ${formattedList}`
         comments,
         answers,
         inlineComments,
+        lease,
         projectDescriptor: effectiveLoc.project
       };
       normalizeTicketFields(ticketObj);
@@ -2450,6 +2589,18 @@ ${formattedList}`
             continue;
           }
         }
+        if (filter?.leased !== void 0) {
+          const hasActiveLease = Boolean(ticketObj.lease);
+          if (hasActiveLease !== Boolean(filter.leased)) {
+            continue;
+          }
+        }
+        if (filter?.leasedBy) {
+          const holderFilter = filter.leasedBy.trim().toLowerCase();
+          if (!ticketObj.lease || ticketObj.lease.holder.toLowerCase() !== holderFilter) {
+            continue;
+          }
+        }
         tickets.push(ticketObj);
       }
       const locResolvedDir = path3.resolve(loc.ticketsDir);
@@ -2483,7 +2634,7 @@ ${formattedList}`
     const category = type;
     const complexityMatch = raw.match(/\*\*Complexity\*\*:\s*([^\n]+)/i);
     const complexity = complexityMatch ? complexityMatch[1].trim() : "Medium";
-    const effortMatch = raw.match(/\*\*Estimated Effort\*\*:\s*([^\n]+)/i);
+    const effortMatch = raw.match(/\*\*(?:Estimated\s+)?Effort\*\*:\s*([^\n]+)/i);
     const estimatedEffort = effortMatch ? effortMatch[1].trim() : "2.0 - 4.0 hours";
     let summary;
     const summaryMatch = raw.match(/(?:##|###)\s*(?:Summary|Rationale)\s*\n([\s\S]*?)(?=\n##|\n###|\n#|$)/i);
@@ -2491,30 +2642,86 @@ ${formattedList}`
       summary = summaryMatch[1].trim();
     }
     const breakdown = [];
-    const breakdownMatch = raw.match(/(?:##|###)\s*Feature Breakdown\s*\n([\s\S]*?)(?=\n##|\n###|\n#|$)/i);
+    const breakdownMatch = raw.match(/(?:##|###)\s*(?:Feature|Task|Fix|Implementation)\s+Breakdown\s*\n([\s\S]*?)(?=\n##|\n###|\n#|$)/i);
     if (breakdownMatch) {
       const lines = breakdownMatch[1].split("\n");
+      let currentItem = "";
       for (const line of lines) {
-        const itemMatch = line.match(/^\s*(?:\d+\.|\*|-)\s+(.*)/);
-        if (itemMatch) breakdown.push(itemMatch[1].trim());
+        const numberedMatch = line.match(/^\s*\d+\.\s+(.*)$/);
+        if (numberedMatch) {
+          if (currentItem) breakdown.push(currentItem);
+          currentItem = numberedMatch[1].trim();
+        } else if (/^\s*[-*•]\s+/.test(line)) {
+          const bulletText = line.trim().replace(/^[-*•]\s+/, "").trim();
+          if (/^\s{2,}[-*•]\s+/.test(line) && currentItem) {
+            currentItem += "\n  - " + bulletText;
+          } else {
+            if (currentItem) {
+              breakdown.push(currentItem);
+              currentItem = "";
+            }
+            breakdown.push(bulletText);
+          }
+        } else if (currentItem && line.trim()) {
+          currentItem += " " + line.trim();
+        }
       }
+      if (currentItem) breakdown.push(currentItem);
     }
     const technicalDetails = [];
-    const techMatch = raw.match(/###\s*(?:Technical Details?|Architecture)\s*\n+([\s\S]*?)(?=\n###|\n---|\n##|$)/i);
+    const openQuestions = [];
+    const combinedMatch = raw.match(/(?:##|###)\s*Technical Details?\s*&\s*Open Questions?\s*\n+([\s\S]*?)(?=\n###|\n---|\n##|\n#|$)/i);
+    if (combinedMatch) {
+      const lines = combinedMatch[1].split("\n");
+      for (const line of lines) {
+        const itemMatch = line.match(/^\s*(?:\d+\.|\*|-|•)\s+(.*)/);
+        if (!itemMatch) continue;
+        const content = itemMatch[1].trim();
+        if (!content) continue;
+        if (/^\*\*Open Questions?\*\*:\s*/i.test(content)) {
+          const q = content.replace(/^\*\*Open Questions?\*\*:\s*/i, "").trim();
+          if (q && !/^(?:None|None recorded at initialization|N\/A)\.?$/i.test(q)) {
+            openQuestions.push(q);
+          }
+        } else {
+          const td = content.replace(/^\*\*Technical Details?\*\*:\s*/i, "").trim();
+          if (td && !/^Architecture specifications to be documented\.?$/i.test(td)) {
+            technicalDetails.push(td);
+          }
+        }
+      }
+    }
+    const techMatch = raw.match(/(?:##|###)\s*(?:Technical Details?(?!\s*&\s*Open Questions?)(?:\s*&\s*Architecture)?|Architecture)\s*\n+([\s\S]*?)(?=\n###|\n---|\n##|\n#|$)/i);
     if (techMatch) {
       const lines = techMatch[1].split("\n");
       for (const line of lines) {
-        const itemMatch = line.match(/^\s*(?:\d+\.|\*|-)\s+(.*)/);
-        if (itemMatch) technicalDetails.push(itemMatch[1].trim());
+        const itemMatch = line.match(/^\s*(?:\d+\.|\*|-|•)\s+(.*)/);
+        if (!itemMatch) continue;
+        const content = itemMatch[1].trim();
+        if (!content) continue;
+        if (/^\*\*Open Questions?\*\*:\s*/i.test(content)) {
+          const q = content.replace(/^\*\*Open Questions?\*\*:\s*/i, "").trim();
+          if (q && !/^(?:None|None recorded at initialization|N\/A)\.?$/i.test(q)) {
+            openQuestions.push(q);
+          }
+        } else {
+          const td = content.replace(/^\*\*Technical Details?\*\*:\s*/i, "").trim();
+          if (td && !/^Architecture specifications to be documented\.?$/i.test(td)) {
+            technicalDetails.push(td);
+          }
+        }
       }
     }
-    const openQuestions = [];
-    const questionsMatch = raw.match(/###\s*(?:Open Questions?|Technical Detail & Open Questions?|Decisions)\s*\n+([\s\S]*?)(?=\n###|\n---|\n##|$)/i);
+    const questionsMatch = raw.match(/(?:##|###)\s*(?:Open Questions?(?:\s*&\s*Decisions)?|Decisions)\s*\n+([\s\S]*?)(?=\n###|\n---|\n##|\n#|$)/i);
     if (questionsMatch) {
       const lines = questionsMatch[1].split("\n");
       for (const line of lines) {
-        const itemMatch = line.match(/^\s*(?:\d+\.|\*|-)\s+(.*)/);
-        if (itemMatch) openQuestions.push(itemMatch[1].trim());
+        const itemMatch = line.match(/^\s*(?:\d+\.|\*|-|•)\s+(.*)/);
+        if (!itemMatch) continue;
+        const content = itemMatch[1].trim().replace(/^\*\*Open Questions?\*\*:\s*/i, "").trim();
+        if (content && !/^(?:None|None recorded at initialization|N\/A)\.?$/i.test(content)) {
+          openQuestions.push(content);
+        }
       }
     }
     const priorityMatch = raw.match(/\*\*Priority\*\*:\s*([^\n]+)/i);
@@ -2533,6 +2740,101 @@ ${formattedList}`
       raw
     };
   }
+  reconcileDetailMetadataHeaders(content, meta, updates, syncAll = false) {
+    const sectionSplitMatch = content.match(/\n(?=(?:##|###)\s+)/);
+    const splitIdx = sectionSplitMatch && sectionSplitMatch.index !== void 0 ? sectionSplitMatch.index : content.length;
+    let preamble = content.slice(0, splitIdx);
+    const bodySection = content.slice(splitIdx);
+    const replaceAndDedupeLine = (text, lineRegex, formatReplacement) => {
+      let seen = false;
+      const next = text.replace(lineRegex, (_full, lead = "", label = "") => {
+        if (!seen) {
+          seen = true;
+          return formatReplacement(lead, label);
+        }
+        return "__ESEDRE_DEDUPE_REMOVE__";
+      });
+      return {
+        text: next.replace(/\n?__ESEDRE_DEDUPE_REMOVE__[ \t]*\r?/g, ""),
+        matched: seen
+      };
+    };
+    if (syncAll || updates?.title) {
+      preamble = preamble.replace(
+        /^#\s*(?:Ticket\s*#?\d+\s*:\s*|\d+\s*:\s*)?[^\n]+/im,
+        `# Ticket #${meta.id}: ${meta.title}`
+      );
+    }
+    if (syncAll || updates?.type || updates?.category) {
+      const effectiveType = meta.type || meta.category;
+      const preferTypeLabel = Boolean(updates?.type || updates?.category);
+      preamble = replaceAndDedupeLine(
+        preamble,
+        /^([ \t]*(?:[-*•]\s+)?)\*\*(Type|Category)\*\*:\s*[^\n\r]*/gim,
+        (lead, label) => `${lead}**${preferTypeLabel ? "Type" : label}**: ${effectiveType}${lead.trim() ? "" : "  "}`
+      ).text;
+    }
+    if (syncAll || updates?.status) {
+      preamble = replaceAndDedupeLine(
+        preamble,
+        /^([ \t]*(?:[-*•]\s+)?)\*\*(Status)\*\*:\s*[^\n\r]*/gim,
+        (lead) => `${lead}**Status**: ${meta.status}${lead.trim() ? "" : "  "}`
+      ).text;
+    }
+    if (syncAll || updates && "priority" in updates) {
+      if (meta.priority) {
+        const res = replaceAndDedupeLine(
+          preamble,
+          /^([ \t]*(?:[-*•]\s+)?)\*\*(Priority)\*\*:\s*[^\n\r]*/gim,
+          (lead) => `${lead}**Priority**: ${meta.priority}${lead.trim() ? "" : "  "}`
+        );
+        preamble = res.text;
+        if (!res.matched && /\*\*(?:Type|Category)\*\*:\s*[^\n]+/i.test(preamble)) {
+          preamble = preamble.replace(
+            /^([ \t]*(?:[-*•]\s+)?\*\*(?:Type|Category)\*\*:\s*[^\n\r]*)/im,
+            `$1
+**Priority**: ${meta.priority}  `
+          );
+        }
+      } else {
+        preamble = preamble.replace(/^[ \t]*(?:[-*•]\s+)?\*\*Priority\*\*:\s*[^\n\r]*\r?\n?/gim, "");
+      }
+    }
+    if (syncAll || updates && "milestone" in updates) {
+      if (meta.milestone) {
+        const res = replaceAndDedupeLine(
+          preamble,
+          /^([ \t]*(?:[-*•]\s+)?)\*\*(Milestone)\*\*:\s*[^\n\r]*/gim,
+          (lead) => `${lead}**Milestone**: ${meta.milestone}${lead.trim() ? "" : "  "}`
+        );
+        preamble = res.text;
+        if (!res.matched && /\*\*(?:Priority|Type|Category)\*\*:\s*[^\n]+/i.test(preamble)) {
+          preamble = preamble.replace(
+            /^([ \t]*(?:[-*•]\s+)?\*\*(?:Priority|Type|Category)\*\*:\s*[^\n\r]*)/im,
+            `$1
+**Milestone**: ${meta.milestone}  `
+          );
+        }
+      } else {
+        preamble = preamble.replace(/^[ \t]*(?:[-*•]\s+)?\*\*Milestone\*\*:\s*[^\n\r]*\r?\n?/gim, "");
+      }
+    }
+    if (syncAll || updates?.complexity) {
+      preamble = replaceAndDedupeLine(
+        preamble,
+        /^([ \t]*(?:[-*•]\s+)?)\*\*(Complexity)\*\*:\s*[^\n\r]*/gim,
+        (lead) => `${lead}**Complexity**: ${meta.complexity}${lead.trim() ? "" : "  "}`
+      ).text;
+    }
+    if (syncAll || updates?.estimatedEffort) {
+      preamble = replaceAndDedupeLine(
+        preamble,
+        /^([ \t]*(?:[-*•]\s+)?)\*\*((?:Estimated\s+)?Effort)\*\*:\s*[^\n\r]*/gim,
+        (lead, label) => `${lead}**${label || "Estimated Effort"}**: ${meta.estimatedEffort}${lead.trim() ? "" : "  "}`
+      ).text;
+    }
+    return preamble + bodySection;
+  }
   formatTicketDetailMarkdown(rawDetail, meta, fallbackSummary) {
     const trimmed = rawDetail.trim();
     const priorityLine = meta.priority ? `**Priority**: ${meta.priority}  
@@ -2541,26 +2843,37 @@ ${formattedList}`
 ` : "";
     if (/^#\s+[^\n]+/m.test(trimmed)) {
       let processed = trimmed.replace(/^#\s+[^\n]+/m, `# Ticket #${meta.id}: ${meta.title}`);
-      if (!/\*\*(?:Type|Category)\*\*:/i.test(processed)) {
+      const preambleCheck = processed.split(/\n(?=(?:##|###)\s+)/)[0];
+      const hasAnyMetaLine = /\*\*(?:Type|Category|Priority|Milestone|Complexity|(?:Estimated\s+)?Effort|Status)\*\*:/i.test(
+        preambleCheck
+      );
+      if (!hasAnyMetaLine) {
         const metaBlock = `
 **Category**: ${meta.category}  
 ${priorityLine}${milestoneLine}**Complexity**: ${meta.complexity}  
 **Estimated Effort**: ${meta.estimatedEffort}  
 `;
         processed = processed.replace(/^(# Ticket[^\n]+\n)/m, `$1${metaBlock}`);
+      } else if (!/\*\*(?:Type|Category)\*\*:/i.test(preambleCheck)) {
+        processed = processed.replace(/^(# Ticket[^\n]+\n)/m, `$1**Category**: ${meta.category}  
+`);
       }
+      processed = this.reconcileDetailMetadataHeaders(processed, meta, void 0, true);
       if (!/(?:##|###)\s*(?:Summary|Rationale)/i.test(processed)) {
         const summaryBlock = `
 ### Summary
 ${fallbackSummary || "Summary to be defined."}
 `;
-        processed = processed.replace(/^((?:# Ticket[^\n]+\n)(?:\*\*[^\n]+\n)*)/m, `$1${summaryBlock}`);
+        processed = processed.replace(
+          /^((?:# Ticket[^\n]+\n)(?:[ \t]*(?:[-*•]\s+)?\*\*[^\n]+\n|\s*\n)*)/m,
+          `$1${summaryBlock}`
+        );
       }
       return processed.endsWith("\n") ? processed : `${processed}
 `;
     }
     const hasSummary = /(?:##|###)\s*(?:Summary|Rationale)/i.test(trimmed);
-    const hasBreakdown = /(?:##|###)\s*Feature Breakdown/i.test(trimmed);
+    const hasBreakdown = /(?:##|###)\s*(?:Feature|Task|Fix|Implementation)\s+Breakdown/i.test(trimmed);
     let body = "";
     if (!hasSummary) {
       body += `### Summary
@@ -2767,7 +3080,17 @@ ${input.summary || "Summary to be defined."}
         }
       }
     }
+    delete updatedMeta.lease;
     writeSafeFile(metaPath, JSON.stringify(updatedMeta, null, 2) + "\n");
+    if (updates.status === "Completed" || updates.status === "Rejected") {
+      const leasePath = path3.join(locInfo.ticketDir, "lease.json");
+      if (fs3.existsSync(leasePath)) {
+        try {
+          fs3.unlinkSync(leasePath);
+        } catch {
+        }
+      }
+    }
     const newType = updates.type || updates.category;
     if (newType) {
       updatedMeta.type = newType;
@@ -2777,74 +3100,15 @@ ${input.summary || "Summary to be defined."}
     if (rawDetailArg !== void 0) {
       const cleanDetail = normalizeDashesAndMojibake(rawDetailArg);
       let content = this.formatTicketDetailMarkdown(cleanDetail, updatedMeta, existing.detail?.summary);
-      if (updates.type || updates.category) {
-        content = content.replace(/\*\*(?:Type|Category)\*\*:\s*[^\n]+/i, `**Type**: ${updatedMeta.type}`);
-      }
-      if (updatedMeta.priority) {
-        if (/\*\*Priority\*\*:\s*[^\n]+/i.test(content)) {
-          content = content.replace(/\*\*Priority\*\*:\s*[^\n]+/i, `**Priority**: ${updatedMeta.priority}`);
-        } else if (/\*\*(?:Type|Category)\*\*:\s*[^\n]+/i.test(content)) {
-          content = content.replace(/(\*\*(?:Type|Category)\*\*:\s*[^\n]+)/i, `$1  
-**Priority**: ${updatedMeta.priority}`);
-        }
-      } else if ("priority" in updates) {
-        content = content.replace(/\*\*Priority\*\*:\s*[^\n]+\n?/i, "");
-      }
-      if (updatedMeta.milestone) {
-        if (/\*\*Milestone\*\*:\s*[^\n]+/i.test(content)) {
-          content = content.replace(/\*\*Milestone\*\*:\s*[^\n]+/i, `**Milestone**: ${updatedMeta.milestone}`);
-        } else if (/\*\*(?:Priority|Type|Category)\*\*:\s*[^\n]+/i.test(content)) {
-          content = content.replace(/(\*\*(?:Priority|Type|Category)\*\*:\s*[^\n]+)/i, `$1  
-**Milestone**: ${updatedMeta.milestone}`);
-        }
-      } else if ("milestone" in updates) {
-        content = content.replace(/\*\*Milestone\*\*:\s*[^\n]+\n?/i, "");
-      }
-      if (updates.complexity) {
-        content = content.replace(/\*\*Complexity\*\*:\s*[^\n]+/i, `**Complexity**: ${updatedMeta.complexity}`);
-      }
-      if (updates.estimatedEffort) {
-        content = content.replace(/\*\*Estimated Effort\*\*:\s*[^\n]+/i, `**Estimated Effort**: ${updatedMeta.estimatedEffort}`);
-      }
+      content = this.reconcileDetailMetadataHeaders(content, updatedMeta, updates, true);
       writeSafeFile(path3.join(locInfo.ticketDir, "detail.md"), content);
-    } else if (existing.detail && ("priority" in updates || "milestone" in updates || updates.title || updates.type || updates.category || updates.complexity || updates.estimatedEffort)) {
-      let content = existing.detail.raw;
-      if (updates.title) {
-        content = content.replace(/^#\s*(?:Ticket\s*#?\d+\s*:\s*|\d+\s*:\s*)?[^\n]+/im, `# Ticket #${locInfo.id}: ${updatedMeta.title}`);
-      }
-      if (updates.type || updates.category) {
-        content = content.replace(/\*\*(?:Type|Category)\*\*:\s*[^\n]+/i, `**Type**: ${updatedMeta.type}`);
-      }
-      if ("priority" in updates) {
-        if (updatedMeta.priority) {
-          if (/\*\*Priority\*\*:\s*[^\n]+/i.test(content)) {
-            content = content.replace(/\*\*Priority\*\*:\s*[^\n]+/i, `**Priority**: ${updatedMeta.priority}`);
-          } else if (/\*\*(?:Type|Category)\*\*:\s*[^\n]+/i.test(content)) {
-            content = content.replace(/(\*\*(?:Type|Category)\*\*:\s*[^\n]+)/i, `$1  
-**Priority**: ${updatedMeta.priority}`);
-          }
-        } else {
-          content = content.replace(/\*\*Priority\*\*:\s*[^\n]+\n?/i, "");
-        }
-      }
-      if ("milestone" in updates) {
-        if (updatedMeta.milestone) {
-          if (/\*\*Milestone\*\*:\s*[^\n]+/i.test(content)) {
-            content = content.replace(/\*\*Milestone\*\*:\s*[^\n]+/i, `**Milestone**: ${updatedMeta.milestone}`);
-          } else if (/\*\*(?:Priority|Type|Category)\*\*:\s*[^\n]+/i.test(content)) {
-            content = content.replace(/(\*\*(?:Priority|Type|Category)\*\*:\s*[^\n]+)/i, `$1  
-**Milestone**: ${updatedMeta.milestone}`);
-          }
-        } else {
-          content = content.replace(/\*\*Milestone\*\*:\s*[^\n]+\n?/i, "");
-        }
-      }
-      if (updates.complexity) {
-        content = content.replace(/\*\*Complexity\*\*:\s*[^\n]+/i, `**Complexity**: ${updatedMeta.complexity}`);
-      }
-      if (updates.estimatedEffort) {
-        content = content.replace(/\*\*Estimated Effort\*\*:\s*[^\n]+/i, `**Estimated Effort**: ${updatedMeta.estimatedEffort}`);
-      }
+    } else if (existing.detail && ("priority" in updates || "milestone" in updates || updates.status || updates.title || updates.type || updates.category || updates.complexity || updates.estimatedEffort)) {
+      const content = this.reconcileDetailMetadataHeaders(
+        existing.detail.raw,
+        updatedMeta,
+        updates,
+        false
+      );
       writeSafeFile(path3.join(locInfo.ticketDir, "detail.md"), content);
     }
     this.invalidateTicketCache(locInfo.ticketDir);
@@ -3280,6 +3544,163 @@ ${input.summary || "Summary to be defined."}
     const updatedSource = await this.getTicket(sourceInfo.key);
     return { source: updatedSource, target: updatedTarget };
   }
+  readValidLeaseFromDir(ticketDir, projectCode, ticketId) {
+    const leasePath = path3.join(ticketDir, "lease.json");
+    if (!fs3.existsSync(leasePath)) return null;
+    try {
+      const parsed = JSON.parse(fs3.readFileSync(leasePath, "utf-8"));
+      const expMs = Date.parse(parsed.expiresAt);
+      if (!isNaN(expMs) && expMs <= Date.now()) {
+        try {
+          fs3.unlinkSync(leasePath);
+        } catch {
+        }
+        this.invalidateTicketCache(ticketDir);
+        return null;
+      }
+      parsed.project = projectCode;
+      parsed.ticketId = ticketId;
+      parsed.ticketKey = `${projectCode}-${ticketId}`;
+      return parsed;
+    } catch {
+      return null;
+    }
+  }
+  async claimTicket(input) {
+    const resolved = this.resolveTicketIdentifier(input.ticketId, input.project || this.config.projectCode);
+    if (!resolved) {
+      throw new Error(`Ticket #${input.ticketId} could not be located.`);
+    }
+    const identity = resolveWorkerIdentity({
+      holder: input.holder,
+      agentType: input.agentType,
+      hostname: input.hostname,
+      sessionId: input.sessionId,
+      branch: input.branch,
+      worktree: input.worktree || this.workspaceRoot,
+      configDefaultAuthor: this.config.defaultAuthor
+    });
+    const ttlMinutes = typeof input.ttlMinutes === "number" && input.ttlMinutes > 0 ? Math.min(Math.max(1, Math.round(input.ttlMinutes)), 24 * 60) : DEFAULT_LEASE_TTL_MINUTES;
+    const existingLease = this.readValidLeaseFromDir(resolved.ticketDir, resolved.project, resolved.id);
+    let renewed = false;
+    let overridden = false;
+    if (existingLease) {
+      const isSameHolder = existingLease.holder.toLowerCase() === identity.holder.toLowerCase();
+      if (!isSameHolder && !input.force) {
+        throw new EsedreLeaseConflictError(resolved.key, existingLease);
+      }
+      if (isSameHolder) {
+        renewed = true;
+      } else {
+        overridden = true;
+      }
+    }
+    const now = /* @__PURE__ */ new Date();
+    const nowIso = now.toISOString();
+    const expiresIso = new Date(now.getTime() + ttlMinutes * 60 * 1e3).toISOString();
+    const lease = {
+      ticketId: resolved.id,
+      ticketKey: resolved.key,
+      project: resolved.project,
+      holder: normalizeDashesAndMojibake(identity.holder),
+      ...identity.agentType ? { agentType: normalizeDashesAndMojibake(identity.agentType) } : {},
+      ...identity.hostname ? { hostname: normalizeDashesAndMojibake(identity.hostname) } : {},
+      ...identity.sessionId ? { sessionId: normalizeDashesAndMojibake(identity.sessionId) } : {},
+      ...identity.branch ? { branch: normalizeDashesAndMojibake(identity.branch) } : {},
+      ...identity.worktree ? { worktree: identity.worktree } : {},
+      claimedAt: renewed && existingLease ? existingLease.claimedAt : nowIso,
+      renewedAt: nowIso,
+      expiresAt: expiresIso,
+      ttlMinutes
+    };
+    const leasePath = path3.join(resolved.ticketDir, "lease.json");
+    writeSafeFile(leasePath, JSON.stringify(lease, null, 2) + "\n");
+    this.invalidateTicketCache(resolved.ticketDir);
+    let ticket = await this.getTicket(resolved.key);
+    const targetStatus = input.statusOnClaim ?? (ticket.meta.status === "Planned" ? "In Development" : void 0);
+    if (targetStatus && ticket.meta.status !== targetStatus) {
+      ticket = await this.updateTicket(resolved.key, {
+        status: targetStatus,
+        isActivePlanning: targetStatus === "In Development" ? true : ticket.meta.isActivePlanning
+      });
+    }
+    return {
+      lease,
+      ticket,
+      renewed,
+      ...overridden ? { overridden: true } : {}
+    };
+  }
+  async renewLease(input) {
+    const resolved = this.resolveTicketIdentifier(input.ticketId, input.project || this.config.projectCode);
+    if (!resolved) {
+      throw new Error(`Ticket #${input.ticketId} could not be located.`);
+    }
+    const existingLease = this.readValidLeaseFromDir(resolved.ticketDir, resolved.project, resolved.id);
+    if (!existingLease) {
+      throw new Error(`Ticket ${resolved.key} does not have an active lease to renew.`);
+    }
+    if (input.holder && !input.force) {
+      const requestedHolder = input.holder.trim().toLowerCase();
+      if (existingLease.holder.toLowerCase() !== requestedHolder) {
+        throw new EsedreLeaseConflictError(resolved.key, existingLease);
+      }
+    }
+    const ttlMinutes = typeof input.ttlMinutes === "number" && input.ttlMinutes > 0 ? Math.min(Math.max(1, Math.round(input.ttlMinutes)), 24 * 60) : existingLease.ttlMinutes || DEFAULT_LEASE_TTL_MINUTES;
+    const now = /* @__PURE__ */ new Date();
+    const updatedLease = {
+      ...existingLease,
+      ...input.holder ? { holder: normalizeDashesAndMojibake(input.holder.trim()) } : {},
+      renewedAt: now.toISOString(),
+      expiresAt: new Date(now.getTime() + ttlMinutes * 60 * 1e3).toISOString(),
+      ttlMinutes
+    };
+    const leasePath = path3.join(resolved.ticketDir, "lease.json");
+    writeSafeFile(leasePath, JSON.stringify(updatedLease, null, 2) + "\n");
+    this.invalidateTicketCache(resolved.ticketDir);
+    return updatedLease;
+  }
+  async releaseTicket(input) {
+    const resolved = this.resolveTicketIdentifier(input.ticketId, input.project || this.config.projectCode);
+    if (!resolved) {
+      throw new Error(`Ticket #${input.ticketId} could not be located.`);
+    }
+    const existingLease = this.readValidLeaseFromDir(resolved.ticketDir, resolved.project, resolved.id);
+    if (!existingLease) {
+      return { released: false, ticketKey: resolved.key };
+    }
+    if (input.holder && !input.force) {
+      const requestedHolder = input.holder.trim().toLowerCase();
+      if (existingLease.holder.toLowerCase() !== requestedHolder) {
+        throw new EsedreLeaseConflictError(resolved.key, existingLease);
+      }
+    }
+    const leasePath = path3.join(resolved.ticketDir, "lease.json");
+    if (fs3.existsSync(leasePath)) {
+      try {
+        fs3.unlinkSync(leasePath);
+      } catch {
+      }
+    }
+    this.invalidateTicketCache(resolved.ticketDir);
+    return {
+      released: true,
+      ticketKey: resolved.key,
+      previousLease: existingLease
+    };
+  }
+  async getTicketLease(id, projectCode) {
+    const resolved = this.resolveTicketIdentifier(id, projectCode || this.config.projectCode);
+    if (!resolved) return null;
+    return this.readValidLeaseFromDir(resolved.ticketDir, resolved.project, resolved.id);
+  }
+  async listLeases(projectCode) {
+    const tickets = await this.listTickets({
+      project: projectCode === "all" ? void 0 : projectCode,
+      leased: true
+    });
+    return tickets.map((t) => t.lease).filter((l) => Boolean(l));
+  }
 };
 
 // src/securityFilter.ts
@@ -3576,6 +3997,59 @@ var SecurityFilter = class {
     }
     return this.target.getAttachmentPath ? this.target.getAttachmentPath(id, filename) : null;
   }
+  async claimTicket(input) {
+    if (input.project && !isProjectAuthorized(input.project, this.config.allowedProjects)) {
+      throw new EsedreAuthorizationError(input.project);
+    }
+    const ticket = await this.getTicket(
+      input.project && /^\d+$/.test(String(input.ticketId).trim()) ? `${input.project}-${input.ticketId}` : input.ticketId
+    );
+    if (!ticket) {
+      throw new Error(`Ticket #${input.ticketId} not found`);
+    }
+    return this.target.claimTicket(input);
+  }
+  async renewLease(input) {
+    if (input.project && !isProjectAuthorized(input.project, this.config.allowedProjects)) {
+      throw new EsedreAuthorizationError(input.project);
+    }
+    const ticket = await this.getTicket(
+      input.project && /^\d+$/.test(String(input.ticketId).trim()) ? `${input.project}-${input.ticketId}` : input.ticketId
+    );
+    if (!ticket) {
+      throw new Error(`Ticket #${input.ticketId} not found`);
+    }
+    return this.target.renewLease(input);
+  }
+  async releaseTicket(input) {
+    if (input.project && !isProjectAuthorized(input.project, this.config.allowedProjects)) {
+      throw new EsedreAuthorizationError(input.project);
+    }
+    const ticket = await this.getTicket(
+      input.project && /^\d+$/.test(String(input.ticketId).trim()) ? `${input.project}-${input.ticketId}` : input.ticketId
+    );
+    if (!ticket) {
+      throw new Error(`Ticket #${input.ticketId} not found`);
+    }
+    return this.target.releaseTicket(input);
+  }
+  async getTicketLease(id, projectCode) {
+    if (projectCode && !isProjectAuthorized(projectCode, this.config.allowedProjects)) {
+      throw new EsedreAuthorizationError(projectCode);
+    }
+    const ticket = await this.getTicket(
+      projectCode && /^\d+$/.test(String(id).trim()) ? `${projectCode}-${id}` : id
+    );
+    if (!ticket) return null;
+    return this.target.getTicketLease(id, projectCode);
+  }
+  async listLeases(projectCode) {
+    if (projectCode && projectCode !== "all" && !isProjectAuthorized(projectCode, this.config.allowedProjects)) {
+      throw new EsedreAuthorizationError(projectCode);
+    }
+    const allLeases = await this.target.listLeases(projectCode);
+    return allLeases.filter((l) => isProjectAuthorized(l.project, this.config.allowedProjects));
+  }
 };
 
 // src/mcp/server.ts
@@ -3691,6 +4165,20 @@ var EsedreMcpServer = class {
               }
             };
           }
+          if (err instanceof EsedreLeaseConflictError || err.name === "EsedreLeaseConflictError") {
+            return {
+              jsonrpc: "2.0",
+              id,
+              error: {
+                code: -32001,
+                message: err.message,
+                data: {
+                  ticketKey: err.ticketKey,
+                  activeLease: err.activeLease
+                }
+              }
+            };
+          }
           return {
             jsonrpc: "2.0",
             id,
@@ -3987,6 +4475,71 @@ Status: ${ticket.meta.status}`;
           },
           required: ["sourceTicketId", "targetTicketId"]
         }
+      },
+      {
+        name: "esedre_claim_ticket",
+        description: "Claim an advisory TTL-backed lease on a ticket to coordinate multi-agent and multi-machine work and prevent duplicate effort.",
+        inputSchema: {
+          type: "object",
+          properties: {
+            ticketId: { type: ["number", "string"], description: 'Ticket ID or prefixed key (e.g. 69 or "Esedre-69")' },
+            holder: { type: "string", description: 'Agent or developer identity claiming the ticket (e.g. "agy-subagent-1" or "desktop-worker")' },
+            workerId: { type: "string", description: "Alias for holder: agent or worker identity claiming the ticket" },
+            agentType: { type: "string", description: 'Optional agent runtime identifier (e.g. "antigravity", "claude-code", "codex")' },
+            system: { type: "string", description: "Alias for agentType: system or runtime identifier" },
+            sessionId: { type: "string", description: "Optional conversation or session identifier" },
+            branch: { type: "string", description: "Optional Git branch associated with the lease" },
+            ttlMinutes: { type: "number", description: "Lease time-to-live in minutes (default: 60)" },
+            force: { type: "boolean", description: "Override an existing active lease held by another worker" },
+            project: { type: "string", description: "Optional project code when numeric ticketId is used" }
+          },
+          required: ["ticketId"]
+        }
+      },
+      {
+        name: "esedre_renew_lease",
+        description: "Renew (heartbeat) an active ticket lease to extend its expiration timestamp.",
+        inputSchema: {
+          type: "object",
+          properties: {
+            ticketId: { type: ["number", "string"], description: "Ticket ID or prefixed key" },
+            holder: { type: "string", description: "Holder identity verifying lease ownership" },
+            workerId: { type: "string", description: "Alias for holder: worker identity verifying lease ownership" },
+            system: { type: "string", description: "Optional system or agent runtime identifier" },
+            ttlMinutes: { type: "number", description: "New TTL in minutes from now (default: 60)" },
+            force: { type: "boolean", description: "Force renewal even if held by another identity" },
+            project: { type: "string", description: "Optional project code" }
+          },
+          required: ["ticketId"]
+        }
+      },
+      {
+        name: "esedre_release_ticket",
+        description: "Release an active lease on a ticket when work is paused, handed off, or completed.",
+        inputSchema: {
+          type: "object",
+          properties: {
+            ticketId: { type: ["number", "string"], description: "Ticket ID or prefixed key" },
+            holder: { type: "string", description: "Holder identity verifying lease ownership" },
+            workerId: { type: "string", description: "Alias for holder: worker identity verifying lease ownership" },
+            system: { type: "string", description: "Optional system or agent runtime identifier" },
+            finalStatus: { type: "string", enum: ["Planned", "In Development", "Completed", "Rejected"], description: "Optional status to transition the ticket to upon release" },
+            notes: { type: "string", description: "Optional verification or handoff comment to append upon release" },
+            force: { type: "boolean", description: "Force release even if held by another identity" },
+            project: { type: "string", description: "Optional project code" }
+          },
+          required: ["ticketId"]
+        }
+      },
+      {
+        name: "esedre_list_leases",
+        description: "List all currently active (non-expired) ticket leases across authorized projects.",
+        inputSchema: {
+          type: "object",
+          properties: {
+            project: { type: "string", description: 'Optional project code filter (or "all")' }
+          }
+        }
       }
     ];
   }
@@ -4179,12 +4732,103 @@ Status: ${ticket.meta.status}`;
           target: result.target
         };
       }
+      case "claim_ticket": {
+        const identity = resolveWorkerIdentity({
+          holder: args.holder || args.workerId,
+          agentType: args.agentType || args.system || "mcp-agent",
+          sessionId: args.sessionId,
+          branch: args.branch
+        });
+        const res = await this.storage.claimTicket({
+          ticketId: this.parseTicketId(args.ticketId),
+          holder: identity.holder,
+          agentType: identity.agentType,
+          hostname: identity.hostname,
+          sessionId: identity.sessionId,
+          branch: identity.branch,
+          worktree: identity.worktree,
+          ttlMinutes: args.ttlMinutes,
+          force: Boolean(args.force),
+          project: args.project
+        });
+        return {
+          success: true,
+          renewed: res.renewed,
+          overridden: res.overridden || false,
+          lease: res.lease,
+          ticket: {
+            id: res.ticket.meta.id,
+            project: res.ticket.meta.project,
+            title: res.ticket.meta.title,
+            status: res.ticket.meta.status,
+            sha1: res.ticket.sha1
+          }
+        };
+      }
+      case "renew_lease": {
+        const lease = await this.storage.renewLease({
+          ticketId: this.parseTicketId(args.ticketId),
+          holder: args.holder || args.workerId,
+          ttlMinutes: args.ttlMinutes,
+          force: Boolean(args.force),
+          project: args.project
+        });
+        return {
+          success: true,
+          lease
+        };
+      }
+      case "release_ticket": {
+        const holder = args.holder || args.workerId;
+        const parsedId = this.parseTicketId(args.ticketId);
+        const res = await this.storage.releaseTicket({
+          ticketId: parsedId,
+          holder,
+          force: Boolean(args.force),
+          project: args.project
+        });
+        if (args.finalStatus) {
+          await this.storage.updateTicket(res.ticketKey || parsedId, { status: args.finalStatus });
+        }
+        if (args.notes) {
+          await this.storage.addComment(res.ticketKey || parsedId, {
+            author: holder || res.previousLease?.holder || "mcp-agent",
+            text: args.notes
+          });
+        }
+        return {
+          success: true,
+          ...res
+        };
+      }
+      case "list_leases": {
+        const leases = await this.storage.listLeases(args.project);
+        return {
+          total: leases.length,
+          leases
+        };
+      }
       default:
         throw new Error(`Unknown tool: ${name}`);
     }
   }
 };
 
+// src/utils/logger.ts
+var MAX_LOG_FILE_BYTES = 5 * 1024 * 1024;
+var debugEnabled = Boolean(process.env.ESEDRE_DEBUG);
+var logFileOverride;
+function initLogger(options) {
+  if (options?.debug !== void 0) {
+    debugEnabled = options.debug;
+  } else if (process.env.ESEDRE_DEBUG) {
+    debugEnabled = true;
+  }
+  if (options?.logFile) {
+    logFileOverride = options.logFile;
+  }
+}
+
 // src/utils/manifestDetector.ts
 import fs5 from "node:fs";
 import path5 from "node:path";
@@ -4373,12 +5017,13 @@ function detectProjectManifest(targetDir) {
 // src/upgrade.ts
 import crypto2 from "node:crypto";
 import fs7 from "node:fs";
+import os5 from "node:os";
 import path7 from "node:path";
 
 // src/server/daemon.ts
 import fs6 from "node:fs";
 import path6 from "node:path";
-import os3 from "node:os";
+import os4 from "node:os";
 import http from "node:http";
 import { spawn, spawnSync } from "node:child_process";
 import { fileURLToPath } from "node:url";
@@ -4388,7 +5033,7 @@ function getGlobalEsedreDir() {
   if (process.env.ESEDRE_GLOBAL_DIR) {
     return process.env.ESEDRE_GLOBAL_DIR;
   }
-  return path6.join(os3.homedir(), ".esedre");
+  return path6.join(os4.homedir(), ".esedre");
 }
 function ensureGlobalEsedreStore() {
   const globalDir = getGlobalEsedreDir();
@@ -4970,7 +5615,11 @@ var HISTORIC_SKILL_HASHES = [
   "8611116c276fdfb598b965c716b251ce7c77c7f7",
   "05f129fb6e06a18df00215af105567abcbf0bc67",
   "5d330ecf8fc96f383946e0351adb60378afa70f0",
-  "23716c9db561e52e5115dc364fe154d3a7bc1e23"
+  "23716c9db561e52e5115dc364fe154d3a7bc1e23",
+  "75d50d5f9cf9348cca9d9b2466e04cf7992ef17e",
+  "d0bd99ea93d9c65245b3be51188d4bc153024092",
+  "e5d4fe4f2ae0bd464bad877ea1e5ab63cef747fa",
+  "d25597e8c2c26cdc5873e5dbf02335032db07580"
 ];
 var ESEDRE_SKILL_TEMPLATE = `---
 name: esedre
@@ -4979,7 +5628,7 @@ description: Tooling and workflow reference for interacting with the Esedre deve
 
 # Esedre Planning & Roadmap Workflow
 
-Esedre is the developer ticketing and LLM coding partner coordination platform. The engine codebase resides in the standalone repository \`aellinsar/esedre\` (\`../esedre\`), and operates on decoupled ticket repositories (such as \`aellinsar/esedre-data\` configured in \`.esedre/esedre.json\`). Interact with tickets via in-repo shell wrappers in \`.esedre/\` (\`.esedre/ese\`), or the global \`ese\` CLI.
+Esedre is the developer ticketing and LLM coding partner coordination platform. The engine codebase resides in the standalone repository \`aellinsar/esedre\` (\`../esedre\`), and operates on decoupled ticket repositories (such as \`aellinsar/esedre-data\` configured in \`~/.esedre/config.json\` or \`.esedre/esedre.json\`). Interact with tickets via in-repo shell wrappers in \`.esedre/\` (\`.esedre/ese\` on POSIX/macOS/Linux/Git Bash, or \`.\\.esedre\\ese.cmd\` on Windows PowerShell/CMD), or the global \`ese\` CLI.
 
 ## 0. Authoritative Ingress Hierarchy & Zero-Latency Context (\`.esedre/snapshot.json\`)
 
@@ -4988,38 +5637,49 @@ All ticket discovery, inspection, and state management strictly follow this posi
 1. **Step 1 (Default for Read-Only Inspection) - Local Snapshot Projection**:
    Always read \`.esedre/snapshot.json\` in the workspace root first. It provides an immediate, zero-latency local projection containing all active and completed tickets, summaries, implementation plans, revision numbers, completion dates (\`completedAt\`), and staleness metrics (\`daysSinceUpdate\`).
 2. **Step 2 (Dynamic Queries & State Mutations) - Esedre MCP Tools**:
-   Use first-class MCP tools when active in the session (\`esedre_list_tickets\`, \`esedre_get_ticket\`, \`esedre_get_plan\`, \`esedre_save_plan\`, \`esedre_update_ticket\`, \`esedre_add_comment\`).
+   Use first-class MCP tools when active in the session (\`esedre_list_tickets\`, \`esedre_get_ticket\`, \`esedre_get_plan\`, \`esedre_save_plan\`, \`esedre_update_ticket\`, \`esedre_claim_ticket\`, \`esedre_renew_lease\`, \`esedre_release_ticket\`, \`esedre_list_leases\`, \`esedre_add_comment\`).
 3. **Step 3 (Terminal & Script Fallback) - In-Repo CLI Wrapper**:
-   Use \`.esedre/ese\` (\`.esedre/ese get\`, \`.esedre/ese plan\`, \`.esedre/ese update\`, \`.esedre/ese snapshot\`, \`.esedre/ese refresh\`).
+   - **POSIX (macOS, Linux, Git Bash, WSL)**: \`.esedre/ese <command>\` (e.g. \`.esedre/ese get\`, \`.esedre/ese plan\`, \`.esedre/ese update\`, \`.esedre/ese lease\`, \`.esedre/ese snapshot\`).
+   - **Windows (PowerShell / CMD)**: \`.\\.esedre\\ese.cmd <command>\` or \`.\\.esedre\\ese.ps1 <command>\` (do not invoke the extensionless POSIX script \`.esedre/ese\` directly in PowerShell or \`cmd.exe\`, as Windows will fail or prompt to select an application to open the file).
 4. **Storage Boundary**:
    Backing ticket hubs (such as \`esedre-data\`) represent data storage managed by the engine. All agent interactions with roadmap tickets flow through the snapshot projection, MCP tools, or CLI wrappers.
 
 ## 1. Model Context Protocol (MCP) Tools
 
-When Esedre MCP is active in your agent session (\`.agents/mcp_config.json\`), use these tools directly:
+When Esedre MCP is active in your agent session (\`.agents/mcp.json\` or \`.agents/mcp_config.json\`), use these tools directly:
 
 | Tool | Purpose | Key Arguments |
 |---|---|---|
 | \`esedre_list_tickets\` | List roadmap tickets with filters | \`project\` (e.g. \`Profe\`, \`Esedre\`, \`Alce\`), \`status\`, \`type\`, \`priority\`, \`milestone\`, \`isBlocked\`, \`linkedTo\`, \`search\`, \`includePlan\` |
-| \`esedre_get_ticket\` | Full specification, summary, comments, revision & sha1 | \`ticketId\` (numeric e.g. \`96\` or compound e.g. \`Profe-96\`) |
+| \`esedre_get_ticket\` | Full specification, summary, comments, links, lease, revision & sha1 | \`ticketId\` (numeric e.g. \`96\` or compound e.g. \`Profe-96\`) |
 | \`esedre_get_plan\` | Active implementation plan markdown | \`ticketId\` (numeric or compound) |
 | \`esedre_save_plan\` | Save implementation plan markdown with OCC | \`ticketId\`, \`planMarkdown\`, \`lastHash\` |
-| \`esedre_create_ticket\` | Mint a new ticket with auto sequential ID | \`title\` (max 48 chars), \`type\`, \`project\`, \`effort\`, \`summary\`, \`detail\` |
-| \`esedre_update_ticket\` | Update ticket attributes with OCC | \`ticketId\`, \`status\`, \`type\`, \`title\`, \`complexity\`, \`effort\`, \`inDevelopment\`, \`featureFlag\`, \`lastHash\` |
+| \`esedre_create_ticket\` | Mint a new ticket with auto sequential ID | \`title\` (max 48 chars), \`type\`, \`project\`, \`priority\`, \`milestone\`, \`effort\`, \`summary\`, \`detail\` |
+| \`esedre_update_ticket\` | Update ticket attributes with OCC | \`ticketId\`, \`status\`, \`type\`, \`priority\`, \`milestone\`, \`title\`, \`detail\`, \`detailMarkdown\`, \`complexity\`, \`effort\`, \`inDevelopment\`, \`featureFlag\`, \`lastHash\` |
+| \`esedre_claim_ticket\` | Claim an ephemeral TTL lease on a ticket (\`In Development\`) | \`ticketId\`, \`holder\`/\`workerId\`, \`agentType\`/\`system\`, \`ttlMinutes\`, \`branch\`, \`force\` |
+| \`esedre_renew_lease\` | Extend an active ticket lease TTL | \`ticketId\`, \`holder\`/\`workerId\`, \`system\`, \`ttlMinutes\` |
+| \`esedre_release_ticket\` | Release a ticket lease and optionally transition status | \`ticketId\`, \`holder\`/\`workerId\`, \`system\`, \`finalStatus\`, \`notes\`, \`force\` |
+| \`esedre_list_leases\` | List all active unexpired ticket leases | \`project\` |
+| \`esedre_link_ticket\` | Establish bi-directional ticket relationship | \`sourceTicketId\`, \`relation\` (\`relates-to\` \\| \`blocks\` \\| \`parent-of\` \\| \`duplicates\`), \`targetTicketId\`, \`author\` |
+| \`esedre_unlink_ticket\` | Remove bi-directional ticket relationship | \`sourceTicketId\`, \`targetTicketId\`, \`relation\` |
+| \`esedre_list_milestones\` | List project milestones and deliverables progress | \`project\` |
+| \`esedre_get_milestone\` | Get milestone specs, umbrella flag, and member tickets | \`milestoneId\` (numeric or title), \`project\` |
+| \`esedre_create_milestone\` | Create a project milestone with optional umbrella flag | \`title\`, \`project\`, \`featureFlag\`, \`status\`, \`targetDate\`, \`description\` |
+| \`esedre_update_milestone\` | Update milestone status, umbrella flag, or title | \`milestoneId\`, \`project\`, \`title\`, \`featureFlag\`, \`status\`, \`targetDate\`, \`description\` |
 | \`esedre_add_comment\` | Append developer or agent comment | \`ticketId\`, \`text\`, \`file\`, \`author\` |
 
 ## 2. Core CLI Commands (Fallback via \`run_command\`)
 
-Both \`esedre\` and \`ese\` work interchangeably:
+Both \`esedre\` and \`ese\` work interchangeably. On POSIX shells use \`.esedre/ese <command>\`; on Windows PowerShell or CMD use \`.\\.esedre\\ese.cmd <command>\` (or \`.\\.esedre\\ese.ps1 <command>\`):
 
 ### List Tickets
 \`\`\`bash
-.esedre/ese list [-p|--project <code|all>] [-s|--status <status>] [-t|--type <type>] [-q|--search <q>] [--json]
+.esedre/ese list [-p|--project <code|all>] [-s|--status <status>] [-t|--type <type>] [-P|--priority <priority>] [-m|--milestone <name>] [--blocked] [--linked-to <ticketKey>] [-q|--search <q>] [--json]
 \`\`\`
 
 ### Read Ticket Details
 \`\`\`bash
-.esedre/ese get <ticketId> [--json]
+.esedre/ese get <ticketId...> [--json]
 \`\`\`
 
 ### Read or Update Implementation Plans
@@ -5031,14 +5691,35 @@ Both \`esedre\` and \`ese\` work interchangeably:
 
 ### Create a Ticket
 \`\`\`bash
-.esedre/ese create --title "..." [-p|--project <code>] [-t|--type Feature] [--complexity Medium] [--effort "2.0 - 4.0 hours"] [--detail "<md>"] [--file <path>] [--json]
+.esedre/ese create --title "..." [-p|--project <code>] [-t|--type Feature] [-P|--priority High] [-m|--milestone <name>] [--complexity Medium] [--effort "2.0 - 4.0 hours"] [--detail "<md>"] [--file <path>] [--json]
 \`\`\`
 
 ### Update Ticket Status & Attributes
 \`\`\`bash
 .esedre/ese update <ticketId> --status "In Development"
 .esedre/ese update <ticketId> --status "Completed"
-.esedre/ese update <ticketId> --type Feature --complexity Medium --effort "2.0 - 4.0 hours"
+.esedre/ese update <ticketId> --type Feature -P High --complexity Medium --effort "2.0 - 4.0 hours"
+.esedre/ese update <ticketId> -P none           # Clears priority
+.esedre/ese update <ticketId> -m "Release 1.0"  # Links ticket to milestone (inherits umbrella feature flag)
+.esedre/ese update <ticketId> -m none           # Unlinks ticket from milestone
+.esedre/ese update <ticketId> --detail "<markdownContent>"  # Updates specification markdown
+.esedre/ese update <ticketId> --file <detailFilePath>       # Overwrites specification from file
+\`\`\`
+
+### Ticket Specification (\`detail.md\`) Sections
+When authoring or updating a ticket's \`detail.md\` (via \`--detail\`, \`--file\`, or \`esedre_update_ticket\`), the snapshot compiler and UI parser recognize the following canonical \`###\` headings:
+- \`### Summary\`: Concise overview of the problem or feature.
+- \`### Feature Breakdown\` (or aliases \`### Task Breakdown\`, \`### Fix Breakdown\`, \`### Implementation Breakdown\`): Numbered or bulleted deliverables and fix steps (indented sub-bullets are preserved under their parent item). Use \`### Fix Breakdown\` or \`### Task Breakdown\` naturally for \`Bug\` and \`Tools\` tickets.
+- \`### Technical Details\` (or \`### Technical Details & Architecture\`): Bold-keyed architectural notes (e.g. \`- **Architecture**: ...\`, \`- **Key Modules**: ...\`, \`- **Root Cause**: ...\`, \`- **Technical Detail**: ...\`).
+- \`### Open Questions\` (or \`### Open Questions & Decisions\`): Unresolved design questions (\`- **QuestionId**: Question text?\`), which populate \`openQuestions[]\` in \`.esedre/snapshot.json\`.
+
+### Ticket Leases (\`ese lease\`)
+\`\`\`bash
+.esedre/ese lease claim <ticketId> [--worker-id <id>] [--system <name>] [--ttl <minutes>] [--branch <branch>] [--force] [--json]
+.esedre/ese lease renew <ticketId> [--worker-id <id>] [--system <name>] [--ttl <minutes>] [--json]
+.esedre/ese lease release <ticketId> [--worker-id <id>] [--system <name>] [--status <Completed|Planned>] [--notes "..."] [--force] [--json]
+.esedre/ese lease list [-p|--project <code|all>] [--json]
+# Top-level aliases: ese claim, ese renew, ese release, ese leases
 \`\`\`
 
 ### Append Comments or Notes
@@ -5048,6 +5729,23 @@ Both \`esedre\` and \`ese\` work interchangeably:
 .esedre/ese comment <ticketId> --text "Verified implementation." --author "Agent"
 \`\`\`
 
+### Link or Unlink Tickets
+\`\`\`bash
+.esedre/ese link <sourceId> <relation> <targetId> [--author "..."]
+.esedre/ese unlink <sourceId> <targetId> [--relation <relation>]
+# Supported relations: relates-to, blocks, parent-of, duplicates
+# Inverse reciprocal links are automatically synchronized.
+\`\`\`
+
+### Manage Milestones & Umbrella Feature Flags
+\`\`\`bash
+.esedre/ese milestone list [-p|--project <code>] [--json]
+.esedre/ese milestone get <id|title> [-p|--project <code>] [--json]
+.esedre/ese milestone create --title "..." [-p|--project <code>] [--flag <flag>] [--status <status>] [--target-date <YYYY-MM-DD>] [--description "..."] [--json]
+.esedre/ese milestone update <id|title> [-p|--project <code>] [--title "..."] [--flag <flag|none>] [--status <status>] [--target-date <YYYY-MM-DD>] [--description "..."] [--json]
+.esedre/ese milestone delete <id|title> [-p|--project <code>] [--json]
+\`\`\`
+
 ### Regenerate Snapshot
 \`\`\`bash
 .esedre/ese snapshot
@@ -5090,7 +5788,10 @@ If the host application declares any or all of the 12 core design tokens on \`:r
 ## 4. Safety & Invariants
 - **Always use \`--json\`** for CLI programmatic inspection.
 - **Optimistic Concurrency**: Writes support \`--last-hash <hash>\` to prevent overwriting concurrent updates.
+- **Ticket Leases (\`ese lease\`)**: Claim a lease (\`ese lease claim <id>\` or \`esedre_claim_ticket\`) when starting active work so concurrent agent sessions or subagents do not collide on the same ticket, and release it (\`ese lease release <id>\`) upon completion.
 - **Universal Type Naming**: Always use \`type\` (\`Feature\`, \`Platform\`, \`Tools\`, \`Idea\`, \`Bug\`). The legacy name \`category\` is deprecated.
+- **Ticket Priority**: The \`priority\` field is optional (\`Critical\`, \`High\`, \`Medium\`, \`Low\`, or unset/null). Backwards compatible with legacy tickets lacking a priority field. To clear via CLI use \`-P none\` or \`--priority none\` (in code/MCP, pass \`null\` or \`'none'\`).
+- **Milestones & Umbrella Feature Flags**: Milestones group tickets into deliverables with completion metrics. Milestones can declare an optional umbrella feature flag which member tickets inherit automatically. Unlinking a ticket (\`-m none\`) removes inherited flags.
 - **Compound IDs for Multi-Project Portfolios**: In \`project=all\`, ticket IDs are \`\${projectCode}-\${id}\` (e.g. \`Profe-1\`, \`Esedre-1\`). DOM anchors strictly use \`feature-card-\${projectCode}-\${id}\`.
 - **Never delete tickets** directly via filesystem.
 - **Workspace Scoping**: An LLM coding partner operates strictly within the authorized project scope declared in the local repository configuration. Central repository linking and system-level configuration are managed separately; focus roadmap work, implementation plans, and verification notes on this project.
@@ -5099,6 +5800,35 @@ If the host application declares any or all of the 12 core design tokens on \`:r
   - **SEO Invariant**: These developer routes are private and MUST NEVER be exposed in \`sitemap.xml\`, \`robots.txt\`, \`llms.txt\`, or public navigation links.
   - The URL hash is preserved across hard page refreshes (F5) without falling back to \`#/chat\` or other views.
 `;
+var AGENT_RULE_MAX_BYTES = 24e3;
+function checkAgentRuleSizes(targetDir) {
+  const candidates = [
+    "AGENTS.md",
+    "GEMINI.md",
+    ".agents/AGENTS.md",
+    ".agents/GEMINI.md",
+    ".gemini/GEMINI.md"
+  ];
+  const warnings = [];
+  for (const rel of candidates) {
+    const fullPath = path7.join(targetDir, rel);
+    if (fs7.existsSync(fullPath)) {
+      try {
+        const stat = fs7.statSync(fullPath);
+        if (stat.isFile() && stat.size > AGENT_RULE_MAX_BYTES) {
+          warnings.push({
+            file: rel,
+            bytes: stat.size,
+            limitBytes: AGENT_RULE_MAX_BYTES,
+            message: `${rel} is ${stat.size.toLocaleString()} bytes (exceeds ${AGENT_RULE_MAX_BYTES.toLocaleString()}-byte agent rule context limit and will be truncated; extract detailed specs into .agents/skills/<name>/SKILL.md).`
+          });
+        }
+      } catch {
+      }
+    }
+  }
+  return warnings;
+}
 function plantWrappers(targetDir) {
   const esedreDir = path7.join(targetDir, ".esedre");
   fs7.mkdirSync(esedreDir, { recursive: true });
@@ -5121,36 +5851,91 @@ function plantWrappers(targetDir) {
     }
   }
 }
-function setupMcpConfig(targetDir) {
-  const agentsDir = path7.join(targetDir, ".agents");
-  fs7.mkdirSync(agentsDir, { recursive: true });
-  const mcpConfigPath = path7.join(agentsDir, "mcp_config.json");
-  let configObj = { mcpServers: {} };
-  if (fs7.existsSync(mcpConfigPath)) {
-    try {
-      configObj = JSON.parse(fs7.readFileSync(mcpConfigPath, "utf-8"));
-      if (!configObj.mcpServers) configObj.mcpServers = {};
-    } catch {
-    }
-  }
-  if (process.platform === "win32") {
-    configObj.mcpServers.esedre = {
-      command: "cmd.exe",
-      args: ["/c", ".esedre\\esedre.cmd", "mcp"]
-    };
-  } else {
-    configObj.mcpServers.esedre = {
-      command: ".esedre/esedre",
-      args: ["mcp"]
-    };
+function setupGlobalAntigravityMcpConfig(options = {}) {
+  const geminiDir = options.geminiDir || process.env.ESEDRE_GEMINI_DIR || (process.env.VITEST ? null : path7.join(os5.homedir(), ".gemini"));
+  if (!geminiDir || !fs7.existsSync(geminiDir)) {
+    return false;
   }
   try {
-    fs7.writeFileSync(mcpConfigPath, JSON.stringify(configObj, null, 2) + "\n", "utf-8");
+    const configDir = path7.join(geminiDir, "config");
+    fs7.mkdirSync(configDir, { recursive: true });
+    const mcpConfigPath = path7.join(configDir, "mcp_config.json");
+    let configObj = { mcpServers: {} };
+    if (fs7.existsSync(mcpConfigPath)) {
+      try {
+        configObj = JSON.parse(fs7.readFileSync(mcpConfigPath, "utf-8"));
+        if (!configObj || typeof configObj !== "object") configObj = {};
+        if (!configObj.mcpServers || typeof configObj.mcpServers !== "object") {
+          configObj.mcpServers = {};
+        }
+      } catch {
+        configObj = { mcpServers: {} };
+      }
+    }
+    const existing = configObj.mcpServers.esedre;
+    const existingArgs = Array.isArray(existing?.args) ? existing.args.join(" ") : "";
+    const isBareRelativeWrapper = existing?.command === ".esedre/esedre" || existing?.command === ".esedre\\esedre.cmd" || existing?.command === "cmd.exe" && existingArgs.includes(".esedre\\esedre.cmd") && !existingArgs.toLowerCase().includes("if exist");
+    if (!existing || isBareRelativeWrapper) {
+      if (process.platform === "win32") {
+        const globalNpmEse = path7.join(
+          process.env.APPDATA || path7.join(os5.homedir(), "AppData", "Roaming"),
+          "npm",
+          "ese.cmd"
+        );
+        const fallbackCmd = fs7.existsSync(globalNpmEse) ? `call "${globalNpmEse}" mcp` : "call ese mcp";
+        configObj.mcpServers.esedre = {
+          command: "cmd.exe",
+          args: ["/c", `if exist .esedre\\esedre.cmd (call .esedre\\esedre.cmd mcp) else (${fallbackCmd})`]
+        };
+      } else {
+        configObj.mcpServers.esedre = {
+          command: "sh",
+          args: ["-c", "if [ -x .esedre/esedre ]; then exec .esedre/esedre mcp; else exec ese mcp; fi"]
+        };
+      }
+      fs7.writeFileSync(mcpConfigPath, JSON.stringify(configObj, null, 2) + "\n", "utf-8");
+    }
     return true;
   } catch {
     return false;
   }
 }
+function setupMcpConfig(targetDir, options = {}) {
+  const agentsDir = path7.join(targetDir, ".agents");
+  fs7.mkdirSync(agentsDir, { recursive: true });
+  const writeConfigFile = (fileName) => {
+    const mcpConfigPath = path7.join(agentsDir, fileName);
+    let configObj = { mcpServers: {} };
+    if (fs7.existsSync(mcpConfigPath)) {
+      try {
+        configObj = JSON.parse(fs7.readFileSync(mcpConfigPath, "utf-8"));
+        if (!configObj.mcpServers) configObj.mcpServers = {};
+      } catch {
+      }
+    }
+    if (process.platform === "win32") {
+      configObj.mcpServers.esedre = {
+        command: "cmd.exe",
+        args: ["/c", ".esedre\\esedre.cmd", "mcp"]
+      };
+    } else {
+      configObj.mcpServers.esedre = {
+        command: ".esedre/esedre",
+        args: ["mcp"]
+      };
+    }
+    try {
+      fs7.writeFileSync(mcpConfigPath, JSON.stringify(configObj, null, 2) + "\n", "utf-8");
+      return true;
+    } catch {
+      return false;
+    }
+  };
+  const okLegacy = writeConfigFile("mcp_config.json");
+  const okModern = writeConfigFile("mcp.json");
+  setupGlobalAntigravityMcpConfig(options);
+  return okLegacy && okModern;
+}
 function setupSkill(targetDir, options = {}) {
   const skillDir = path7.join(targetDir, ".agents", "skills", "esedre");
   fs7.mkdirSync(skillDir, { recursive: true });
@@ -5164,7 +5949,7 @@ function setupSkill(targetDir, options = {}) {
   if (status === "LATEST" && !options.force) {
     return { status, updated: false };
   }
-  const hasBannedOrDeprecatedTerms = currentContent.includes("companion agent") || currentContent.includes("companion LLM") || currentContent.includes("tools/esedre.mjs");
+  const hasBannedOrDeprecatedTerms = currentContent.includes("companion agent") || currentContent.includes("companion LLM") || currentContent.includes("tools/esedre.mjs") || currentContent.includes("# Esedre Planning & Roadmap Workflow") && (!currentContent.includes("ese.cmd") || !currentContent.includes("Fix Breakdown") || !currentContent.includes("<ticketId...>"));
   if (options.force || status === "HISTORIC_DEFAULT" || status === "MISSING" || hasBannedOrDeprecatedTerms) {
     fs7.writeFileSync(skillFile, ESEDRE_SKILL_TEMPLATE, "utf-8");
     return { status: "LATEST", updated: true };
@@ -5385,6 +6170,7 @@ function configureWorkspace(targetDir, options = {}) {
   if (!globalStoreRes.ok) {
     console.warn(`\x1B[33m\u26A0\uFE0F Warning: Could not initialize global store at ${globalStoreRes.path}: ${globalStoreRes.error}\x1B[0m`);
   }
+  const ruleSizeWarnings = checkAgentRuleSizes(targetDir);
   return {
     esedreJsonCreatedOrUpdated: true,
     projectRegistered,
@@ -5399,7 +6185,8 @@ function configureWorkspace(targetDir, options = {}) {
     recommendedProxySnippet: proxyRes.recommendedProxySnippet,
     globalStoreStatus: globalStoreRes.ok ? "ready" : "warning",
     globalStorePath: globalStoreRes.path,
-    globalStoreError: globalStoreRes.error
+    globalStoreError: globalStoreRes.error,
+    ruleSizeWarnings
   };
 }
 var initWorkspace = configureWorkspace;
@@ -5409,8 +6196,8 @@ var ESEDRE_HUB_AGENTS_TEMPLATE = `# Agent Guidelines: esedre-data
 - **Backing Storage Repository**: \`esedre-data\` is a dedicated, decoupled data hub storing raw tickets, metadata manifests, and implementation plans managed by the Esedre engine.
 - **Authorized Ingress Channels**: Ticket discovery, read-only inspection, status updates, and plan authoring strictly ingress through the Esedre application layer in consuming project workspaces:
   1. **Local Workspace Snapshot**: Check the consuming workspace's \`.esedre/snapshot.json\` first for instant, zero-latency read access to ticket summaries, plans, and statuses.
-  2. **Esedre MCP Tools**: Use \`esedre_get_ticket\`, \`esedre_list_tickets\`, \`esedre_get_plan\`, \`esedre_save_plan\`, and \`esedre_update_ticket\`.
-  3. **Esedre CLI**: Execute \`.esedre/ese get <id>\`, \`.esedre/ese list\`, or \`.esedre/ese plan\` from within the relevant project workspace.
+  2. **Esedre MCP Tools**: Use \`esedre_get_ticket\`, \`esedre_list_tickets\`, \`esedre_get_plan\`, \`esedre_save_plan\`, \`esedre_create_ticket\`, \`esedre_update_ticket\`, \`esedre_claim_ticket\`, \`esedre_renew_lease\`, \`esedre_release_ticket\`, \`esedre_list_leases\`, and \`esedre_add_comment\`.
+  3. **Esedre CLI**: Execute \`.esedre/ese get <id>\`, \`.esedre/ese list\`, \`.esedre/ese plan\`, \`.esedre/ese create\`, \`.esedre/ese update\`, \`.esedre/ese lease\`, \`.esedre/ese comment\`, \`.esedre/ese snapshot\`, or \`.esedre/ese refresh\` from within the relevant project workspace.
 
 ## 2. Ingress Redirection Protocol
 When inspecting or managing tickets for any project (such as \`Profe\`, \`Esedre\`, or \`Alce\`), navigate to that project's workspace and utilize its local \`.esedre/snapshot.json\`, Esedre MCP tools, or \`.esedre/ese\` CLI wrapper.
@@ -5779,7 +6566,7 @@ function createApiHandler(storage, workspaceRoot) {
             const numKey = String(t.meta.id);
             const code = t.projectDescriptor?.code || t.meta.project || "Profe";
             const prefixedKey = `${code}-${t.meta.id}`;
-            const metaWithLinks = { ...t.meta, links: t.links || t.meta.links || [], isBlocked: t.isBlocked };
+            const metaWithLinks = { ...t.meta, links: t.links || t.meta.links || [], isBlocked: t.isBlocked, lease: t.lease || t.meta.lease || null };
             metasMap[prefixedKey] = metaWithLinks;
             if (!metasMap[numKey] || code.toUpperCase() === "PROF") {
               metasMap[numKey] = metaWithLinks;
@@ -5983,6 +6770,12 @@ function createApiHandler(storage, workspaceRoot) {
           sendJson(res, 200, { milestones });
           return true;
         }
+        if (pathname === "/api/planning/leases") {
+          const project = url.searchParams.get("project") || void 0;
+          const leases = await reqStorage.listLeases(project);
+          sendJson(res, 200, { leases });
+          return true;
+        }
       }
       if (req.method === "POST") {
         const body = await readJsonBody(req);
@@ -6215,6 +7008,61 @@ function createApiHandler(storage, workspaceRoot) {
           sendJson(res, 200, { success: true, source: result.source, target: result.target });
           return true;
         }
+        if (pathname === "/api/planning/leases/claim") {
+          invalidateApiCache();
+          const { ticketId, holder, agentType, hostname, sessionId, branch, worktree, ttlMinutes, force, project } = body;
+          if (!ticketId) {
+            sendJson(res, 400, { error: "ticketId is required." });
+            return true;
+          }
+          const result = await reqStorage.claimTicket({
+            ticketId,
+            holder,
+            agentType,
+            hostname,
+            sessionId,
+            branch,
+            worktree,
+            ttlMinutes,
+            force: Boolean(force),
+            project
+          });
+          sendJson(res, 200, { success: true, ...result });
+          return true;
+        }
+        if (pathname === "/api/planning/leases/renew") {
+          invalidateApiCache();
+          const { ticketId, holder, ttlMinutes, force, project } = body;
+          if (!ticketId) {
+            sendJson(res, 400, { error: "ticketId is required." });
+            return true;
+          }
+          const lease = await reqStorage.renewLease({
+            ticketId,
+            holder,
+            ttlMinutes,
+            force: Boolean(force),
+            project
+          });
+          sendJson(res, 200, { success: true, lease });
+          return true;
+        }
+        if (pathname === "/api/planning/leases/release") {
+          invalidateApiCache();
+          const { ticketId, holder, force, project } = body;
+          if (!ticketId) {
+            sendJson(res, 400, { error: "ticketId is required." });
+            return true;
+          }
+          const result = await reqStorage.releaseTicket({
+            ticketId,
+            holder,
+            force: Boolean(force),
+            project
+          });
+          sendJson(res, 200, { success: true, ...result });
+          return true;
+        }
       }
       sendJson(res, 404, { error: `Endpoint not found: ${pathname}` });
       return true;
@@ -6223,6 +7071,10 @@ function createApiHandler(storage, workspaceRoot) {
         sendJson(res, 403, { error: err.message });
         return true;
       }
+      if (err.name === "EsedreLeaseConflictError") {
+        sendJson(res, 409, { error: err.message, ticketKey: err.ticketKey, activeLease: err.activeLease });
+        return true;
+      }
       console.error("[Esedre API Error]:", err);
       sendJson(res, 500, { error: err.message });
       return true;
@@ -6390,8 +7242,8 @@ ${colors.bold}ROADMAP COMMANDS (Pair Programming & LLM Agents):${colors.reset}
                \u2022 Status values: 'Planned', 'In Development', 'Completed', 'Rejected'
                \u2022 Type values:   'Feature', 'Platform', 'Tools', 'Idea', 'Bug'
 
-  ${colors.bold}get${colors.reset}         <id> [--json]
-               Inspect full ticket specification, feature breakdown, and comments.
+  ${colors.bold}get${colors.reset}         <id...> [--json]
+               Inspect full ticket specification, feature breakdown, and comments for one or more tickets.
 
   ${colors.bold}plan${colors.reset}        <id> [--file <path> | --set "<markdown>"] [--last-hash <sha1>] [--json]
                View or update implementation plan with optimistic concurrency control.
@@ -6412,6 +7264,9 @@ ${colors.bold}ROADMAP COMMANDS (Pair Programming & LLM Agents):${colors.reset}
   ${colors.bold}unlink${colors.reset}      <sourceId> <targetId> [--json]
                Remove a link between two tickets and its reciprocal link.
 
+  ${colors.bold}lease${colors.reset}       [claim <id> | release <id> | renew <id> | list] [--by|--worker-id <holder>] [--ttl <mins>] [--branch <b>] [--status <stat>] [--notes "..."] [--force] [--json]
+               Coordinate multi-agent / multi-machine ticket ownership via TTL-backed advisory leases.
+
   ${colors.bold}snapshot, refresh${colors.reset} [--project <code>] [--json]
                Generate lean read-only projection snapshot (.esedre/snapshot.json) for zero-latency agent context.
 
@@ -6571,6 +7426,7 @@ async function main() {
   }
   const rawArgs = process.argv.slice(2);
   const { command, positionals, flags } = parseArgs(rawArgs);
+  initLogger({ debug: Boolean(flags["debug"]) });
   try {
     writeGlobalVersion();
   } catch {
@@ -6830,9 +7686,14 @@ ${colors.bold}Next Steps:${colors.reset}`);
           console.log(`  \u2022 In-repo wrappers: .esedre/esedre.cmd, .esedre/ese.cmd, .esedre/esedre, .esedre/ese`);
           console.log(`  \u2022 .gitignore: ${res.gitignoreUpdated ? "Added .esedre/snapshot.json" : "Already configured"}`);
           console.log(`  \u2022 Snapshot: Generated .esedre/snapshot.json (${snapshotTickets} tickets projected)`);
-          console.log(`  \u2022 MCP: ${res.mcpConfigured ? "Configured in .agents/mcp_config.json" : "Skipped"}`);
+          console.log(`  \u2022 MCP: ${res.mcpConfigured ? "Configured in .agents/mcp_config.json and .agents/mcp.json" : "Skipped"}`);
           console.log(`  \u2022 Skill: ${res.skillConfigured ? "Updated .agents/skills/esedre/SKILL.md" : `Retained (${res.skillStatus})`}`);
           console.log(`  \u2022 Central Config: Linked into ~/.esedre/config.json`);
+          if (res.ruleSizeWarnings && res.ruleSizeWarnings.length > 0) {
+            for (const rw of res.ruleSizeWarnings) {
+              console.log(`  \u2022 ${colors.yellow}\u26A0\uFE0F  Rule Size Warning: ${rw.message}${colors.reset}`);
+            }
+          }
           if (res.viteProxyStatus === "CONFIGURED") {
             console.log(`  \u2022 ${colors.green}Vite Proxy: Added /esedre proxy to ${res.viteConfigFile} targeting http://127.0.0.1:${effectivePort}${colors.reset}`);
           } else if (res.viteProxyStatus === "ALREADY_CONFIGURED") {
@@ -7014,6 +7875,11 @@ ${colors.bold}${colors.green}\u2714 Esedre multi-workspace upgrade completed acr
               } else if (w.upgrade.skillStatus === "CUSTOMIZED") {
                 console.log(`    - Preserved customized .agents/skills/esedre/SKILL.md`);
               }
+              if (w.upgrade.ruleSizeWarnings && w.upgrade.ruleSizeWarnings.length > 0) {
+                for (const rw of w.upgrade.ruleSizeWarnings) {
+                  console.log(`    - ${colors.yellow}\u26A0\uFE0F  ${rw.message}${colors.reset}`);
+                }
+              }
             }
           }
           return;
@@ -7045,6 +7911,11 @@ ${colors.bold}${colors.green}\u2714 Esedre multi-workspace upgrade completed acr
           } else if (res.skillStatus === "CUSTOMIZED") {
             console.log(`  \u2022 ${colors.yellow}Notice: .agents/skills/esedre/SKILL.md is customized; preserved user modifications (use --force to overwrite).${colors.reset}`);
           }
+          if (res.ruleSizeWarnings && res.ruleSizeWarnings.length > 0) {
+            for (const rw of res.ruleSizeWarnings) {
+              console.log(`  \u2022 ${colors.yellow}\u26A0\uFE0F  ${rw.message}${colors.reset}`);
+            }
+          }
         }
         return;
       }
@@ -7278,7 +8149,9 @@ ${colors.yellow}Notice: ${outdatedWrappers.length} workspace(s) have legacy CMD
         const milestone = flags["milestone"] || flags["m"] || void 0;
         const isBlocked = flags["blocked"] ? true : void 0;
         const linkedTo = flags["linked-to"] || flags["linkedTo"] || void 0;
-        const tickets = await storage.listTickets({ project, status, type, category, priority, milestone, search, isBlocked, linkedTo });
+        const leased = flags["leased"] !== void 0 ? Boolean(flags["leased"]) : void 0;
+        const leasedBy = flags["leased-by"] || flags["leasedBy"] || void 0;
+        const tickets = await storage.listTickets({ project, status, type, category, priority, milestone, search, isBlocked, linkedTo, leased, leasedBy });
         if (isJson) {
           console.log(JSON.stringify(tickets.map((t) => ({
             id: t.meta.id,
@@ -7295,7 +8168,8 @@ ${colors.yellow}Notice: ${outdatedWrappers.length} workspace(s) have legacy CMD
             project: t.projectDescriptor?.code || t.meta.project || "UNASSIGNED",
             sha1: t.sha1 || t.meta.sha1,
             isBlocked: t.isBlocked,
-            links: t.links
+            links: t.links,
+            lease: t.lease || null
           })), null, 2));
         } else {
           if (tickets.length === 0) {
@@ -7318,22 +8192,30 @@ ${colors.dim}Total: ${tickets.length} tickets${colors.reset}`);
         return;
       }
       case "get": {
-        const idStr = positionals[0];
-        if (!idStr) {
+        if (positionals.length === 0) {
           console.error(`${colors.red}Error: Ticket ID is required (e.g. ese get 1 or ese get Profe-1)${colors.reset}`);
           process.exit(1);
         }
         const projectFlag = flags["project"];
-        const lookupKey = projectFlag && /^\d+$/.test(idStr) ? `${projectFlag}-${idStr}` : idStr;
-        const ticket = await storage.getTicket(lookupKey);
-        if (!ticket) {
-          console.error(`${colors.red}Error: Ticket #${lookupKey} not found.${colors.reset}`);
-          process.exit(1);
+        const tickets = [];
+        for (const idStr of positionals) {
+          const lookupKey = projectFlag && /^\d+$/.test(idStr) ? `${projectFlag}-${idStr}` : idStr;
+          const ticket = await storage.getTicket(lookupKey);
+          if (!ticket) {
+            console.error(`${colors.red}Error: Ticket #${lookupKey} not found.${colors.reset}`);
+            process.exit(1);
+          }
+          tickets.push(ticket);
         }
         if (isJson) {
-          console.log(JSON.stringify(ticket, null, 2));
+          console.log(JSON.stringify(tickets.length === 1 ? tickets[0] : tickets, null, 2));
         } else {
-          console.log(formatTicketDetail(ticket));
+          console.log(
+            tickets.map((t) => formatTicketDetail(t)).join(`
+${colors.dim}${"\u2500".repeat(60)}${colors.reset}
+
+`)
+          );
         }
         return;
       }
@@ -7761,6 +8643,129 @@ ${colors.bold}Tickets:${colors.reset}`);
         }
         return;
       }
+      case "claim":
+      case "release":
+      case "renew":
+      case "leases":
+      case "lease": {
+        const isTopLevelAlias = command === "claim" || command === "release" || command === "renew" || command === "leases";
+        const subAction = isTopLevelAlias ? command === "leases" ? "list" : command : positionals[0]?.toLowerCase() || "list";
+        const targetArg = isTopLevelAlias ? positionals[0] : positionals[1];
+        const project = flags["project"] || discovered.config?.projectCode;
+        const holder = flags["by"] || flags["holder"] || flags["worker-id"] || flags["workerId"] || flags["author"] || void 0;
+        const agentType = flags["agent"] || flags["agent-type"] || flags["system"] || void 0;
+        const sessionId = flags["session"] || flags["session-id"] || void 0;
+        const branch = flags["branch"] || void 0;
+        const ttlRaw = flags["ttl"] !== void 0 ? Number(flags["ttl"]) : void 0;
+        const isForce = Boolean(flags["force"] || flags["f"]);
+        if (subAction === "list" || subAction === "ls") {
+          const filterProject = flags["all"] || flags["a"] || flags["project"] === "all" ? "all" : project;
+          const leases = await storage.listLeases(filterProject);
+          if (isJson) {
+            console.log(JSON.stringify({ total: leases.length, leases }, null, 2));
+          } else {
+            console.log(formatLeaseListTable(leases));
+            if (leases.length > 0) {
+              console.log(`
+${colors.dim}Total: ${leases.length} active lease(s)${colors.reset}`);
+            }
+          }
+          return;
+        }
+        if (subAction === "claim") {
+          if (!targetArg) {
+            console.error(`${colors.red}Error: Ticket ID is required (e.g. ese lease claim 69 --by "agent-1")${colors.reset}`);
+            process.exit(1);
+          }
+          const identity = resolveWorkerIdentity({
+            holder,
+            agentType,
+            sessionId,
+            branch,
+            worktree: discovered.workspaceRoot,
+            configDefaultAuthor: discovered.config?.defaultAuthor
+          });
+          const res = await storage.claimTicket({
+            ticketId: targetArg,
+            holder: identity.holder,
+            agentType: identity.agentType,
+            hostname: identity.hostname,
+            sessionId: identity.sessionId,
+            branch: identity.branch,
+            worktree: identity.worktree,
+            ttlMinutes: ttlRaw,
+            force: isForce,
+            project
+          });
+          if (isJson) {
+            console.log(JSON.stringify(res, null, 2));
+          } else {
+            const actionLabel = res.overridden ? "Overrode & claimed" : res.renewed ? "Renewed lease on" : "Claimed lease on";
+            console.log(
+              `${colors.green}\u2714 ${actionLabel} Ticket ${res.lease.ticketKey}${colors.reset} for ${colors.bold}${res.lease.holder}${colors.reset}${res.lease.hostname ? ` on ${res.lease.hostname}` : ""} (TTL: ${res.lease.ttlMinutes}m, expires ${res.lease.expiresAt})`
+            );
+          }
+          return;
+        }
+        if (subAction === "renew" || subAction === "heartbeat") {
+          if (!targetArg) {
+            console.error(`${colors.red}Error: Ticket ID is required (e.g. ese lease renew 69)${colors.reset}`);
+            process.exit(1);
+          }
+          const lease = await storage.renewLease({
+            ticketId: targetArg,
+            holder,
+            ttlMinutes: ttlRaw,
+            force: isForce,
+            project
+          });
+          if (isJson) {
+            console.log(JSON.stringify({ success: true, lease }, null, 2));
+          } else {
+            console.log(
+              `${colors.green}\u2714 Renewed lease on Ticket ${lease.ticketKey}${colors.reset} for ${colors.bold}${lease.holder}${colors.reset} (expires ${lease.expiresAt})`
+            );
+          }
+          return;
+        }
+        if (subAction === "release" || subAction === "unlock") {
+          if (!targetArg) {
+            console.error(`${colors.red}Error: Ticket ID is required (e.g. ese lease release 69)${colors.reset}`);
+            process.exit(1);
+          }
+          const finalStatus = flags["status"] || void 0;
+          const notes = flags["notes"] || void 0;
+          const res = await storage.releaseTicket({
+            ticketId: targetArg,
+            holder,
+            force: isForce,
+            project
+          });
+          if (finalStatus) {
+            await storage.updateTicket(res.ticketKey || targetArg, { status: finalStatus });
+          }
+          if (notes) {
+            await storage.addComment(res.ticketKey || targetArg, {
+              author: holder || res.previousLease?.holder || discovered.config?.defaultAuthor || "Agent",
+              text: notes
+            });
+          }
+          if (isJson) {
+            console.log(JSON.stringify(res, null, 2));
+          } else {
+            if (res.released) {
+              console.log(
+                `${colors.green}\u2714 Released lease on Ticket ${res.ticketKey}${colors.reset}${res.previousLease ? ` (previously held by ${res.previousLease.holder})` : ""}${finalStatus ? ` -> ${finalStatus}` : ""}`
+              );
+            } else {
+              console.log(`${colors.dim}Ticket ${res.ticketKey} had no active lease.${colors.reset}`);
+            }
+          }
+          return;
+        }
+        console.error(`${colors.red}Error: Unknown lease action "${subAction}". Valid actions: claim, renew, release, list${colors.reset}`);
+        process.exit(1);
+      }
       default: {
         console.error(`${colors.red}Error: Unknown command "${command}"${colors.reset}`);
         printHelp();
@@ -7773,6 +8778,14 @@ ${colors.bold}Tickets:${colors.reset}`);
       console.error(`${colors.dim}Use --force to override if you are certain.${colors.reset}`);
       process.exit(1);
     }
+    if (err instanceof EsedreLeaseConflictError || err.name === "EsedreLeaseConflictError") {
+      if (isJson) {
+        console.error(JSON.stringify({ error: err.message, ticketKey: err.ticketKey, activeLease: err.activeLease }, null, 2));
+      } else {
+        console.error(`${colors.red}${err.message}${colors.reset}`);
+      }
+      process.exit(1);
+    }
     if (err instanceof EsedreAuthorizationError || err.name === "EsedreAuthorizationError") {
       console.error(`${colors.red}Access Denied: ${err.message}${colors.reset}`);
       process.exit(1);