figma-console-mcp 1.40.2 → 1.40.3

package/dist/cloudflare/core/design-code-tools.js

@@ -4,7 +4,7 @@
  * and generating platform-agnostic component documentation.
  */
 import { z } from "zod";
-import { extractFileKey } from "./figma-api.js";
+import { extractFileKey, withTimeout } from "./figma-api.js";
 import { createChildLogger } from "./logger.js";
 import { EnrichmentService } from "./enrichment/index.js";
 import { buildDesignHistory, DEFAULT_HISTORY_VERSIONS, MAX_HISTORY_VERSIONS, } from "./history/component-history.js";
@@ -107,6 +107,18 @@ export function chunkMarkdownByHeaders(markdown) {
  * Clean a raw Figma variant name like "Type=Image, Size=12" into "Image / 12".
  * Extracts just the values from "Key=Value" pairs, joined by " / ".
  */
+/**
+ * How many levels of a component's tree the doc tool fetches and walks. The REST
+ * fetch counts from the requested node, so for a COMPONENT_SET one level is
+ * spent on the variants themselves. Anything deeper is cut off by the API — and
+ * REST returns a cut-off container as `children: []`, indistinguishable from an
+ * empty frame, so the walkers report when they reach this limit.
+ */
+export const DOC_TREE_DEPTH = 8;
+/** Depth used when the deep fetch fails or times out — the pre-1.40.3 behavior */
+const SHALLOW_FETCH_DEPTH = 4;
+const DEEP_FETCH_TIMEOUT_MS = 45_000;
+const BOOLEAN_LIKE_VALUE = /^(true|false|yes|no|on|off)$/i;
 export function cleanVariantName(rawName) {
     // Match Key=Value pairs separated by comma/space
     const pairs = rawName.match(/(\w[\w\s]*)=([^,]+)/g);
@@ -114,7 +126,10 @@ export function cleanVariantName(rawName) {
         return rawName;
     const values = pairs.map((p) => {
         const eqIdx = p.indexOf("=");
-        return p.slice(eqIdx + 1).trim();
+        const value = p.slice(eqIdx + 1).trim();
+        // "False" is not a name. A boolean-like value only means something next to
+        // its property: "Is scrollable=False", "Hover / Is Selected=True".
+        return BOOLEAN_LIKE_VALUE.test(value) ? `${p.slice(0, eqIdx).trim()}=${value}` : value;
     });
     return values.join(" / ");
 }
@@ -283,6 +298,31 @@ export function parseComponentDescription(description) {
     result.overview = overviewLines.join(" ").trim();
     return result;
 }
+/**
+ * id → token name. Two collections can each hold a variable with the SAME name
+ * ("Primitive/2x" in both Spacing and Radius), which is ambiguous to paste into
+ * code — those, and only those, are qualified with their collection. Every other
+ * token keeps the plain name people already map to code.
+ */
+export function buildVariableNameMap(variables, collections) {
+    const collectionNames = new Map();
+    if (Array.isArray(collections))
+        for (const c of collections)
+            if (c?.id && c?.name)
+                collectionNames.set(c.id, c.name);
+    const nameCounts = new Map();
+    for (const v of variables)
+        if (v?.name)
+            nameCounts.set(v.name, (nameCounts.get(v.name) ?? 0) + 1);
+    const out = new Map();
+    for (const v of variables) {
+        if (!v?.id || !v?.name)
+            continue;
+        const collection = collectionNames.get(v.variableCollectionId);
+        out.set(v.id, (nameCounts.get(v.name) ?? 0) > 1 && collection ? `${collection}/${v.name}` : v.name);
+    }
+    return out;
+}
 /** Strip Figma's internal "#123:4" id suffix from a component property name */
 function stripPropertyIdSuffix(rawName) {
     return rawName.replace(/#\d+:\d+$/, "").trim();
@@ -302,6 +342,50 @@ export function resolveMainComponentName(componentId, lookup = {}) {
         return `${setName} (${cleanVariantName(comp.name)})`;
     return comp.name;
 }
+/**
+ * Describe a visible paint as a table value. Solid paints are a hex; anything
+ * else is named rather than dropped — silence would read as "nothing there".
+ */
+function describePaint(paint) {
+    if (!paint || paint.visible === false)
+        return null;
+    if (paint.type === "SOLID") {
+        if (!paint.color)
+            return null;
+        return figmaRGBAToHex({ ...paint.color, a: paint.opacity ?? paint.color.a ?? 1 });
+    }
+    if (typeof paint.type === "string" && paint.type.startsWith("GRADIENT_")) {
+        const kind = paint.type.replace("GRADIENT_", "").toLowerCase();
+        const stops = Array.isArray(paint.gradientStops) ? paint.gradientStops : [];
+        const stopHexes = stops
+            .filter((st) => st?.color)
+            .map((st) => figmaRGBAToHex({ ...st.color, a: st.color.a ?? 1 }));
+        const detail = stopHexes.length > 0 ? `: ${stopHexes.join(" → ")}` : "";
+        return `${kind} gradient (${stops.length} stops${detail})`;
+    }
+    if (paint.type === "IMAGE")
+        return "image fill";
+    if (paint.type === "VIDEO")
+        return "video fill";
+    if (paint.type === "PATTERN")
+        return "pattern fill";
+    return typeof paint.type === "string" ? `${paint.type.toLowerCase()} paint` : null;
+}
+/** Describe a visible effect (shadow / blur) as a table value */
+function describeEffect(effect) {
+    if (!effect || effect.visible === false || typeof effect.type !== "string")
+        return null;
+    if (effect.type === "DROP_SHADOW" || effect.type === "INNER_SHADOW") {
+        const color = effect.color ? figmaRGBAToHex({ ...effect.color, a: effect.color.a ?? 1 }) : "";
+        const x = effect.offset?.x ?? 0, y = effect.offset?.y ?? 0;
+        return `${effect.type === "DROP_SHADOW" ? "drop" : "inner"} shadow: x ${x} · y ${y} · blur ${effect.radius ?? 0} · spread ${effect.spread ?? 0}${color ? ` · ${color}` : ""}`;
+    }
+    if (effect.type === "LAYER_BLUR")
+        return `layer blur ${effect.radius ?? 0}px`;
+    if (effect.type === "BACKGROUND_BLUR")
+        return `background blur ${effect.radius ?? 0}px`;
+    return `${effect.type.toLowerCase().replace(/_/g, " ")} effect`;
+}
 /** Largest dimension (px) an instance-swap slot can have and still be treated as an icon */
 const MAX_ICON_SLOT_SIZE = 64;
 /**
@@ -337,10 +421,9 @@ function detectIconInstance(node, lookup) {
         ...(swapProperty ? { swapProperty } : {}),
     };
 }
-/** True when the node has at least one visible solid fill */
+/** True when the node has at least one visible paint (solid, gradient, image…) */
 function hasVisibleSolidFill(node) {
-    return Array.isArray(node?.fills)
-        && node.fills.some((f) => f.type === "SOLID" && f.color && f.visible !== false);
+    return Array.isArray(node?.fills) && node.fills.some((f) => describePaint(f) !== null);
 }
 /**
  * When a variant's root is transparent, some systems paint the surface with a
@@ -386,12 +469,13 @@ export function collectAllVariantData(node, varNameMap, lookup = {}) {
             iconColors: [],
             strokes: [],
             textColors: [],
+            effects: [],
             icons: [],
         };
         const backgroundLayer = findBackgroundLayer(variant);
         if (backgroundLayer)
             data.backgroundLayer = backgroundLayer.name || "background layer";
-        walkVariantNode(variant, data, { varNameMap, lookup, backgroundLayer }, 0, 5, null);
+        walkVariantNode(variant, data, { varNameMap, lookup, backgroundLayer }, 0, DOC_TREE_DEPTH, null);
         variants.push(data);
     }
     return variants;
@@ -399,26 +483,33 @@ export function collectAllVariantData(node, varNameMap, lookup = {}) {
 /** Walk a single variant node tree to collect colors and icons */
 function walkVariantNode(node, data, ctx, depth, maxDepth, 
 /** Label of the icon instance we're inside of, or null when outside any icon */
-insideIcon) {
+insideIcon, 
+/** An ancestor is hidden, so nothing beneath it paints either */
+ancestorHidden = false) {
     if (depth > maxDepth)
         return;
     const isText = node.type === "TEXT";
+    // Hidden layers are COLLECTED, not skipped: a hidden focus ring is real design
+    // intent. They are labeled so a reader can tell it from what actually renders.
+    const hidden = ancestorHidden || node.visible === false;
     // Icons are reported once, at the outermost instance — everything beneath it
     // (vectors, nested instances) is that icon's artwork, not a separate icon.
     if (insideIcon === null) {
         const icon = detectIconInstance(node, ctx.lookup);
         if (icon) {
-            data.icons.push(icon);
+            data.icons.push(hidden ? { ...icon, hidden: true } : icon);
             insideIcon = icon.layerName || icon.name;
         }
     }
-    const toEntry = (paint) => {
+    const toEntry = (paint, value) => {
         const varId = paint.boundVariables?.color?.id;
         return {
-            hex: figmaRGBAToHex({ ...paint.color, a: paint.opacity ?? paint.color.a ?? 1 }),
-            nodeName: node.name || "",
+            hex: value,
+            // The variant root's own name is "Size=lg, State=hover" — not a layer name
+            nodeName: depth === 0 ? "" : node.name || "",
             variableId: varId,
             variableName: varId ? ctx.varNameMap.get(varId) : undefined,
+            ...(hidden ? { hidden: true } : {}),
         };
     };
     // Collect fills. Only the variant root (or its full-bleed stand-in) is a
@@ -426,8 +517,9 @@ insideIcon) {
     // transparent variant gets documented with its icon's color as the surface.
     if (node.fills && Array.isArray(node.fills)) {
         for (const fill of node.fills) {
-            if (fill.type === "SOLID" && fill.color && fill.visible !== false) {
-                const entry = toEntry(fill);
+            const value = describePaint(fill);
+            if (value) {
+                const entry = toEntry(fill, value);
                 if (isText) {
                     data.textColors.push(entry);
                 }
@@ -446,8 +538,9 @@ insideIcon) {
     // Collect strokes
     if (node.strokes && Array.isArray(node.strokes)) {
         for (const stroke of node.strokes) {
-            if (stroke.type === "SOLID" && stroke.color && stroke.visible !== false) {
-                const entry = toEntry(stroke);
+            const value = describePaint(stroke);
+            if (value) {
+                const entry = toEntry(stroke, value);
                 if (insideIcon !== null) {
                     data.iconColors.push({ ...entry, iconLabel: insideIcon });
                 }
@@ -457,24 +550,44 @@ insideIcon) {
             }
         }
     }
+    // Effects and opacity — outside icon artwork, which has its own internals
+    if (insideIcon === null || depth === 0) {
+        if (Array.isArray(node.effects)) {
+            for (const effect of node.effects) {
+                const value = describeEffect(effect);
+                if (value)
+                    data.effects.push(toEntry(effect, value));
+            }
+        }
+        if (typeof node.opacity === "number" && node.opacity < 1) {
+            data.effects.push({
+                ...toEntry({}, `opacity ${Math.round(node.opacity * 100)}%`),
+                variableId: node.boundVariables?.opacity?.id,
+                variableName: node.boundVariables?.opacity?.id ? ctx.varNameMap.get(node.boundVariables.opacity.id) : undefined,
+            });
+        }
+    }
     // Recurse into children
     if (node.children && Array.isArray(node.children)) {
         for (const child of node.children) {
-            walkVariantNode(child, data, ctx, depth + 1, maxDepth, insideIcon);
+            walkVariantNode(child, data, ctx, depth + 1, maxDepth, insideIcon, hidden);
         }
     }
 }
 /**
  * Collect typography data from all text nodes in a component tree.
  */
-export function collectTypographyData(node, depth = 0, maxDepth = 5) {
+export function collectTypographyData(node, depth = 0, maxDepth = DOC_TREE_DEPTH, ancestorHidden = false) {
     const results = [];
     if (depth > maxDepth)
         return results;
-    // For COMPONENT_SET, walk the default (first) variant
+    // A COMPONENT_SET resolves to its default (first) variant HERE ONLY. Anything
+    // documenting a set must use collectTypographyAcrossVariants — variants
+    // routinely differ in weight (a selected tab is SemiBold, the rest Regular).
     if (node.type === "COMPONENT_SET" && node.children?.length > 0 && depth === 0) {
         return collectTypographyData(node.children[0], 0, maxDepth);
     }
+    const hidden = ancestorHidden || node.visible === false;
     if (node.type === "TEXT" && node.style) {
         const s = node.style;
         const weightNames = {
@@ -489,20 +602,101 @@ export function collectTypographyData(node, depth = 0, maxDepth = 5) {
             fontSize: s.fontSize || 14,
             lineHeight: s.lineHeightPx || s.fontSize || 14,
             letterSpacing: s.letterSpacing || 0,
+            ...(hidden ? { hidden: true } : {}),
+            // REST: characterStyleOverrides maps characters → styleOverrideTable ids; any
+            // non-zero entry means part of the text departs from `style`
+            ...(Array.isArray(node.characterStyleOverrides) && node.characterStyleOverrides.some((id) => id !== 0)
+                ? { mixed: true } : {}),
         });
     }
     if (node.children && Array.isArray(node.children)) {
         for (const child of node.children) {
-            results.push(...collectTypographyData(child, depth + 1, maxDepth));
+            results.push(...collectTypographyData(child, depth + 1, maxDepth, hidden));
         }
     }
     return results;
 }
+// `hidden` and `mixed` belong in the signature: a label shown in one variant and
+// hidden in another is NOT "the same in all variants".
+const typographySignature = (ts) => `${ts.fontFamily}|${ts.fontWeight}|${ts.fontSize}|${ts.lineHeight}|${ts.letterSpacing}|${ts.hidden ? "hidden" : ""}|${ts.mixed ? "mixed" : ""}`;
+/**
+ * Typography for EVERY variant of a set. Per text element: one row when all
+ * variants agree, otherwise one row per distinct style, scoped by the variant
+ * property that drives it ("Is Selected=True") or, failing that, by variant name.
+ */
+export function collectTypographyAcrossVariants(setNode) {
+    const variants = Array.isArray(setNode?.children) ? setNode.children : [];
+    const perVariant = variants.map((v) => {
+        // Same-named text layers within one variant are told apart by order
+        const seen = new Map();
+        const byElement = new Map();
+        for (const ts of collectTypographyData(v)) {
+            const n = (seen.get(ts.nodeName) ?? 0) + 1;
+            seen.set(ts.nodeName, n);
+            byElement.set(n === 1 ? ts.nodeName : `${ts.nodeName} #${n}`, ts);
+        }
+        return { name: cleanVariantName(v.name || "Unknown"), props: parseVariantProperties(v.name || ""), byElement };
+    });
+    const elements = [];
+    for (const pv of perVariant)
+        for (const el of pv.byElement.keys())
+            if (!elements.includes(el))
+                elements.push(el);
+    const rows = [];
+    for (const el of elements) {
+        const having = perVariant.filter((pv) => pv.byElement.has(el));
+        const distinct = new Map();
+        for (const pv of having) {
+            const style = pv.byElement.get(el);
+            const sig = typographySignature(style);
+            if (!distinct.has(sig))
+                distinct.set(sig, { style, names: [] });
+            distinct.get(sig).names.push(pv.name);
+        }
+        if (distinct.size === 1) {
+            const only = [...distinct.values()][0];
+            // Present in only some variants? Say which, rather than implying all.
+            const scope = having.length === perVariant.length ? "" : scopeLabel(only.names, perVariant.length);
+            rows.push({ style: { ...only.style, nodeName: el }, scope });
+            continue;
+        }
+        const explanation = explainByVariantProperty(having.map((pv) => ({ props: pv.props, display: typographySignature(pv.byElement.get(el)) })));
+        for (const [sig, group] of distinct) {
+            const propValue = explanation?.groups.filter(([, display]) => display === sig).map(([pv]) => pv);
+            const scope = explanation && propValue && propValue.length > 0
+                ? `${explanation.property}=${propValue.join(" | ")}`
+                : scopeLabel(group.names, perVariant.length);
+            rows.push({ style: { ...group.style, nodeName: el }, scope });
+        }
+    }
+    // Same-named layers ("Label", "Label #2", "Label #3" — three tabs in a tab list)
+    // that share a style and a scope are one fact, not three rows.
+    const merged = [];
+    const seenRows = new Set();
+    for (const row of rows) {
+        const baseName = row.style.nodeName.replace(/ #\d+$/, "");
+        const key = `${baseName}|${typographySignature(row.style)}|${row.scope}|${row.style.hidden ? "h" : ""}`;
+        if (seenRows.has(key))
+            continue;
+        seenRows.add(key);
+        // Text layers are often auto-named after their content — keep the table readable
+        const label = baseName.length > 40 ? `${baseName.slice(0, 40)}…` : baseName;
+        merged.push({ ...row, style: { ...row.style, nodeName: label } });
+    }
+    return merged;
+}
+/** "Primary / Default, Primary / Hover, +3 more" — enough to identify, short enough to read */
+function scopeLabel(names, total) {
+    if (names.length === total)
+        return "";
+    const shown = names.slice(0, 3).join(", ");
+    return names.length > 3 ? `${shown}, +${names.length - 3} more` : shown;
+}
 /**
  * Build an anatomy tree representation from a Figma node structure.
  * Returns a formatted string showing the component's nested structure.
  */
-export function buildAnatomyTree(node, depth = 0, maxDepth = 5) {
+export function buildAnatomyTree(node, depth = 0, maxDepth = DOC_TREE_DEPTH) {
     if (depth > maxDepth)
         return "";
     // For COMPONENT_SET, pick the variant with the deepest children tree for the richest anatomy
@@ -572,10 +766,13 @@ function buildAnatomyLines(node, lines, prefix, isLast, depth, maxDepth) {
         if (parts.length > 0)
             sizingInfo = ` [${parts.join(", ")}]`;
     }
-    lines.push(`${prefix}${connector}${label}${typeHint}${layoutInfo}${sizingInfo}`);
+    // Hidden layers stay in the tree, marked: the color table names them (a hidden
+    // focus ring is real design intent), so the tree must not pretend they don't exist.
+    const hiddenHint = node.visible === false ? " (hidden)" : "";
+    lines.push(`${prefix}${connector}${label}${typeHint}${hiddenHint}${layoutInfo}${sizingInfo}`);
     // Recurse into children
     if (node.children && Array.isArray(node.children)) {
-        const visibleChildren = node.children.filter((c) => c.visible !== false);
+        const visibleChildren = node.children;
         for (let i = 0; i < visibleChildren.length; i++) {
             const isChildLast = i === visibleChildren.length - 1;
             buildAnatomyLines(visibleChildren[i], lines, prefix + childPrefix, isChildLast, depth + 1, maxDepth);
@@ -587,6 +784,7 @@ function buildAnatomyLines(node, lines, prefix, isLast, depth, maxDepth) {
  */
 function collectSpacingTokens(node, varNameMap = new Map()) {
     const tokens = [];
+    const autoLayout = !!node.layoutMode && node.layoutMode !== "NONE";
     const boundVars = node.boundVariables || {};
     const spacingProps = [
         { key: "paddingTop", label: "Padding top" },
@@ -598,7 +796,16 @@ function collectSpacingTokens(node, varNameMap = new Map()) {
         { key: "strokeWeight", label: "Border width" },
     ];
     for (const { key, label } of spacingProps) {
-        const value = node[key];
+        let value = node[key];
+        // Same rules as the cross-variant table: a border width only where a border
+        // is painted (and per-side weights win); zero padding is reported, not omitted.
+        if (key === "strokeWeight")
+            value = hasVisibleStroke(node) ? describeStrokeWeight(node) : undefined;
+        else if ((key.startsWith("padding") || key === "itemSpacing") && autoLayout)
+            value = value ?? 0;
+        else if (key === "cornerRadius" && (value === undefined || value === null) && Array.isArray(node.rectangleCornerRadii)) {
+            value = node.rectangleCornerRadii.map((r) => `${r}px`).join(" / ");
+        }
         if (value !== undefined && value !== null) {
             const varBinding = boundVars[key];
             // Bound spacing variables expose their id as boundVariables[key].id.
@@ -615,6 +822,35 @@ function collectSpacingTokens(node, varNameMap = new Map()) {
     }
     return tokens;
 }
+/** True when the node paints at least one stroke */
+function hasVisibleStroke(node) {
+    return Array.isArray(node?.strokes) && node.strokes.some((st) => describePaint(st) !== null);
+}
+/**
+ * The border width that actually RENDERS. With per-side weights (underlines,
+ * dividers, accent bars) the scalar `strokeWeight` is a leftover from before the
+ * override and appears nowhere in the component — `individualStrokeWeights` wins.
+ */
+export function describeStrokeWeight(node) {
+    if (!hasVisibleStroke(node))
+        return "none";
+    const sides = node.individualStrokeWeights;
+    if (sides && typeof sides === "object") {
+        const order = [
+            ["top", sides.top ?? 0], ["right", sides.right ?? 0],
+            ["bottom", sides.bottom ?? 0], ["left", sides.left ?? 0],
+        ];
+        const weights = order.map(([, w]) => w);
+        if (weights.every((w) => w === weights[0]))
+            return weights[0];
+        const painted = order.filter(([, w]) => w > 0);
+        // "4px bottom" reads better than "0 / 0 / 4 / 0" when few sides are in play
+        if (painted.length <= 2)
+            return painted.map(([side, w]) => `${w}px ${side}`).join(", ");
+        return `${weights.map((w) => `${w}px`).join(" / ")} (top / right / bottom / left)`;
+    }
+    return node.strokeWeight ?? 0;
+}
 /** Parse "Size=lg, State=hover" into ordered [property, value] pairs */
 export function parseVariantProperties(rawName) {
     const pairs = [];
@@ -626,6 +862,38 @@ export function parseVariantProperties(rawName) {
     }
     return pairs;
 }
+/**
+ * Find ONE variant property that fully accounts for how a value differs across
+ * variants: grouping by that property leaves a single value per group.
+ *
+ * The explanation must be non-vacuous — with one variant per group any values
+ * at all would "fit" (single-property sets), so that doesn't count.
+ * Shared by spacing, typography and anatomy so they explain variation alike.
+ */
+export function explainByVariantProperty(samples) {
+    if (samples.length < 2)
+        return null;
+    for (const [propName] of samples[0].props) {
+        const groups = new Map();
+        let complete = true;
+        for (const x of samples) {
+            const propValue = x.props.find(([n]) => n === propName)?.[1];
+            if (propValue === undefined) {
+                complete = false;
+                break;
+            }
+            if (!groups.has(propValue))
+                groups.set(propValue, new Set());
+            groups.get(propValue).add(x.display);
+        }
+        if (!complete)
+            continue;
+        if (groups.size > 1 && groups.size < samples.length && [...groups.values()].every((vals) => vals.size === 1)) {
+            return { property: propName, groups: [...groups.entries()].map(([pv, vals]) => [pv, [...vals][0]]) };
+        }
+    }
+    return null;
+}
 const SPACING_COMPARISON_PROPS = [
     { key: "paddingTop", label: "Padding top" },
     { key: "paddingRight", label: "Padding right" },
@@ -662,9 +930,17 @@ export function collectSpacingAcrossVariants(setNode, varNameMap = new Map()) {
     if (variants.length === 0)
         return result;
     for (const { key, label } of SPACING_COMPARISON_PROPS) {
-        const isSet = (v) => (v[key] !== undefined && v[key] !== null)
-            // Per-corner rounding: REST drops the scalar and sends only the 4-tuple
-            || (key === "cornerRadius" && Array.isArray(v.rectangleCornerRadii));
+        const isPadding = key.startsWith("padding") || key === "itemSpacing";
+        const isSet = (v) => (key === "strokeWeight"
+            // A border width only means something where a border is painted. REST
+            // reports strokeWeight (default 1) on every node, stroked or not.
+            ? hasVisibleStroke(v)
+            : (v[key] !== undefined && v[key] !== null)
+                // Per-corner rounding: REST drops the scalar and sends only the 4-tuple
+                || (key === "cornerRadius" && Array.isArray(v.rectangleCornerRadii))
+                // Auto-layout: REST omits zero-valued padding/gap, but 0 is a real,
+                // reportable value — leaving it out is indistinguishable from "unknown"
+                || (isPadding && !!v.layoutMode && v.layoutMode !== "NONE"));
         if (!variants.some(isSet))
             continue;
         const samples = variants.map((v) => {
@@ -673,6 +949,8 @@ export function collectSpacingAcrossVariants(setNode, varNameMap = new Map()) {
             if (key === "cornerRadius" && (v[key] === undefined || v[key] === null) && Array.isArray(v.rectangleCornerRadii)) {
                 value = v.rectangleCornerRadii.map((r) => `${r}px`).join(" / ");
             }
+            if (key === "strokeWeight")
+                value = describeStrokeWeight(v);
             const varId = typeof v.boundVariables?.[key]?.id === "string"
                 ? v.boundVariables[key].id
                 : undefined;
@@ -714,31 +992,20 @@ export function collectSpacingAcrossVariants(setNode, varNameMap = new Map()) {
                 : formatSpacingValue(x.value);
         }
         // Is the variation fully explained by ONE variant property (e.g. Size)?
-        let explainedBy = null;
-        let explainedGroups = [];
-        for (const [propName] of samples[0].props) {
-            const groups = new Map();
-            for (const x of samples) {
-                const propValue = x.props.find(([n]) => n === propName)?.[1];
-                if (propValue === undefined) {
-                    groups.clear();
-                    break;
-                }
-                if (!groups.has(propValue))
-                    groups.set(propValue, new Set());
-                groups.get(propValue).add(x.display);
-            }
-            // groups.size < samples.length: with one variant per group the "explanation"
-            // is vacuous — any values at all would satisfy it (single-property sets).
-            if (groups.size > 1 && groups.size < samples.length && [...groups.values()].every((vals) => vals.size === 1)) {
-                explainedBy = propName;
-                explainedGroups = [...groups.entries()].map(([pv, vals]) => [pv, [...vals][0]]);
-                break;
-            }
-        }
+        const explanation = explainByVariantProperty(samples);
+        const explainedBy = explanation?.property ?? null;
+        const explainedGroups = explanation?.groups ?? [];
         let valueCell;
         if (explainedBy) {
-            valueCell = `varies by **${explainedBy}**: ${explainedGroups.map(([pv, val]) => `${pv} ${val}`).join(" · ")}`;
+            // Property values that land on the same result read better together:
+            // "Active, Default, Hover 2px bottom · Focus 2px"
+            const byResult = new Map();
+            for (const [pv, val] of explainedGroups) {
+                if (!byResult.has(val))
+                    byResult.set(val, []);
+                byResult.get(val).push(pv);
+            }
+            valueCell = `varies by **${explainedBy}**: ${[...byResult.entries()].map(([val, pvs]) => `${pvs.join(", ")} ${val}`).join(" · ")}`;
         }
         else {
             // No pattern — list each distinct value, most common first, naming the rare ones
@@ -1691,19 +1958,19 @@ async function detectAtomicLevel(api, fileKey, nodeId, setNodeId, _componentMeta
         return null;
     }
 }
-function generateFrontmatter(componentName, description, node, componentMeta, fileUrl, codeInfo, canonicalSource, level, 
+export function generateFrontmatter(componentName, description, node, componentMeta, fileUrl, codeInfo, canonicalSource, level, 
 /**
  * Newest Figma version that touched this component, when design history was
  * pulled. Emitted as its own `figmaVersion` field rather than folded into
  * `version` — that one is the code-side semver and means something different.
  */
 latestDesignVersion) {
-    const status = codeInfo?.changelog?.[0]
-        ? "stable"
-        : componentMeta?.description?.toLowerCase().includes("deprecated")
-            ? "deprecated"
-            : "stable";
-    const version = codeInfo?.changelog?.[0]?.version || "1.0.0";
+    // Only state what is actually known. "stable" / "1.0.0" used to be emitted for
+    // every component and read as extracted facts.
+    const status = componentMeta?.description?.toLowerCase().includes("deprecated")
+        ? "deprecated"
+        : codeInfo?.changelog?.[0] ? "stable" : null;
+    const version = codeInfo?.changelog?.[0]?.version || null;
     const tags = [componentName.toLowerCase()];
     if (level)
         tags.push(level);
@@ -1714,9 +1981,9 @@ latestDesignVersion) {
     const lines = [
         "---",
         `title: ${componentName}`,
-        `description: ${((description.split(/\n\s*\n|\n#{1,6}\s|\n\*\*/)[0] || description).replace(/\n/g, " ").replace(/\s+/g, " ").trim().split(/(?<=[.!?])\s+/)[0] || `${componentName} component`)}`,
-        `status: ${status}`,
-        `version: ${version}`,
+        ...((((description.split(/\n\s*\n|\n#{1,6}\s|\n\*\*/)[0] || description).replace(/\n/g, " ").replace(/\s+/g, " ").trim().split(/(?<=[.!?])\s+/)[0])) ? [`description: ${((description.split(/\n\s*\n|\n#{1,6}\s|\n\*\*/)[0] || description).replace(/\n/g, " ").replace(/\s+/g, " ").trim().split(/(?<=[.!?])\s+/)[0])}`] : []),
+        ...(status ? [`status: ${status}`] : []),
+        ...(version ? [`version: ${version}`] : []),
         `category: components`,
         ...(level ? [`level: ${level}`] : []),
         `tags: [${tags.join(", ")}]`,
@@ -1748,7 +2015,7 @@ latestDesignVersion) {
     lines.push("---");
     return lines.join("\n");
 }
-function generateOverviewSection(componentName, description, fileUrl, parsedDesc, codeInfo) {
+export function generateOverviewSection(componentName, description, fileUrl, parsedDesc, codeInfo) {
     const lines = [
         `# ${componentName}`,
         "",
@@ -1768,9 +2035,13 @@ function generateOverviewSection(componentName, description, fileUrl, parsedDesc
     lines.push("## Overview");
     lines.push("");
     // Use parsed overview or fall back to raw description
-    const overviewText = parsedDesc.overview || description?.split("\n")[0] || `The ${componentName} component.`;
-    lines.push(overviewText);
-    lines.push("");
+    // No filler: libraries that deliberately keep descriptions empty would get a
+    // sentence carrying no information on every page. Nothing says more than that.
+    const overviewText = parsedDesc.overview || description?.split("\n")[0] || "";
+    if (overviewText.trim()) {
+        lines.push(overviewText);
+        lines.push("");
+    }
     // Base component attribution
     if (codeInfo?.baseComponent) {
         const baseLink = codeInfo.baseComponent.url
@@ -1805,10 +2076,19 @@ function generateOverviewSection(componentName, description, fileUrl, parsedDesc
     return lines.join("\n");
 }
 /** Icon cell text: the icon in the slot, flagged when it's only an instance-swap default */
-function formatIconCell(icon) {
-    if (!icon)
+function formatIconCell(icons) {
+    if (!icons || icons.length === 0)
         return "—";
-    return icon.swapProperty ? `${icon.name} _(default — swappable via **${icon.swapProperty}**)_` : icon.name;
+    // A chip with a leading AND a trailing icon has two — show both
+    return icons.map(formatOneIcon).join("; ");
+}
+function formatOneIcon(icon) {
+    const notes = [];
+    if (icon.swapProperty)
+        notes.push(`default — swappable via **${icon.swapProperty}**`);
+    if (icon.hidden)
+        notes.push("hidden in this variant");
+    return notes.length > 0 ? `${icon.name} _(${notes.join("; ")})_` : icon.name;
 }
 export function generateStatesAndVariantsSection(node, variantData, lookup = {}) {
     const props = node.componentPropertyDefinitions;
@@ -1819,6 +2099,7 @@ export function generateStatesAndVariantsSection(node, variantData, lookup = {})
     const booleans = [];
     const textProps = [];
     const instanceSwaps = [];
+    const slots = [];
     for (const [rawName, def] of Object.entries(props)) {
         // Strip Figma internal ID suffixes like "#17100:0" from property names
         const name = stripPropertyIdSuffix(rawName);
@@ -1843,6 +2124,14 @@ export function generateStatesAndVariantsSection(node, variantData, lookup = {})
                 preferredCount: Array.isArray(def.preferredValues) ? def.preferredValues.length : 0,
             });
         }
+        else if (def.type === "SLOT") {
+            // For a compositional component the slots ARE the API
+            slots.push({
+                name,
+                preferredCount: Array.isArray(def.preferredValues) ? def.preferredValues.length : 0,
+                description: typeof def.description === "string" && def.description.trim() ? def.description.trim() : null,
+            });
+        }
     }
     // Variant matrix with per-variant color data
     if (variants.length > 0 && variantData && variantData.length > 0) {
@@ -1866,19 +2155,21 @@ export function generateStatesAndVariantsSection(node, variantData, lookup = {})
             lines.push("|" + separatorParts.join("|") + "|");
             for (const vd of variantData) {
                 const displayName = cleanVariantName(vd.variantName);
+                // A hidden layer never stands in for what renders
+                const painted = (list) => list.find((c) => !c.hidden);
                 // Get primary fill (background)
-                const bgFill = vd.fills[0];
+                const bgFill = painted(vd.fills);
                 const bgVal = bgFill
                     ? (bgFill.variableName ? `\`${bgFill.variableName}\` (${bgFill.hex})` : bgFill.hex)
                     : "—";
                 // Get primary text/icon color
-                const textColor = vd.textColors[0] || vd.iconColors[0] || vd.strokes[0];
+                const textColor = painted(vd.textColors) || painted(vd.iconColors) || painted(vd.strokes);
                 const textVal = textColor
                     ? (textColor.variableName ? `\`${textColor.variableName}\` (${textColor.hex})` : textColor.hex)
                     : "—";
                 const rowParts = [`**${displayName}**`, bgVal];
                 if (hasIcons) {
-                    rowParts.push(formatIconCell(vd.icons[0]));
+                    rowParts.push(formatIconCell(vd.icons));
                 }
                 rowParts.push(textVal);
                 lines.push("| " + rowParts.join(" | ") + " |");
@@ -1893,7 +2184,7 @@ export function generateStatesAndVariantsSection(node, variantData, lookup = {})
             lines.push("|---------|---------------------|");
             for (const vd of variantData) {
                 const displayName = cleanVariantName(vd.variantName);
-                lines.push(`| ${displayName} | ${formatIconCell(vd.icons[0])} |`);
+                lines.push(`| ${displayName} | ${formatIconCell(vd.icons)} |`);
             }
             lines.push("");
         }
@@ -1908,7 +2199,9 @@ export function generateStatesAndVariantsSection(node, variantData, lookup = {})
         lines.push("");
     }
     // Configurable properties table (all property types)
-    if (booleans.length > 0 || textProps.length > 0 || instanceSwaps.length > 0) {
+    // `variants` belongs in this guard: the table below renders them as its first
+    // rows, so a set with only VARIANT properties used to get no table at all.
+    if (variants.length > 0 || booleans.length > 0 || textProps.length > 0 || instanceSwaps.length > 0 || slots.length > 0) {
         lines.push("### Configurable Properties");
         lines.push("");
         lines.push("| Property | Type | Default | Description |");
@@ -1926,6 +2219,10 @@ export function generateStatesAndVariantsSection(node, variantData, lookup = {})
             const preferred = sw.preferredCount > 0 ? ` (${sw.preferredCount} preferred values)` : "";
             lines.push(`| **${sw.name}** | \`instance swap\` | ${sw.defaultName ? `\`${sw.defaultName}\`` : "—"} | Swaps the nested ${sw.name.toLowerCase()} instance${preferred} |`);
         }
+        for (const slot of slots) {
+            const preferred = slot.preferredCount > 0 ? ` (${slot.preferredCount} preferred values)` : "";
+            lines.push(`| **${slot.name}** | \`slot\` | — | ${slot.description ?? `Accepts nested content for ${slot.name.toLowerCase()}`}${preferred} |`);
+        }
         lines.push("");
     }
     return lines.join("\n");
@@ -2022,7 +2319,7 @@ setNode) {
             // Multi-path icons and repeated shapes would otherwise emit identical rows
             const emitted = new Set();
             const pushRow = (label, c) => {
-                const row = `| ${label} | ${tokenCell(c)} | ${c.hex} |`;
+                const row = `| ${label}${c.hidden ? " _(hidden layer)_" : ""} | ${tokenCell(c)} | ${c.hex} |`;
                 if (emitted.has(row))
                     return;
                 emitted.add(row);
@@ -2042,15 +2339,15 @@ setNode) {
             for (const c of vd.iconColors)
                 pushRow(c.iconLabel ? `Icon (${c.iconLabel})` : "Icon", c);
             // Text colors
-            for (const text of vd.textColors) {
-                const varName = text.variableName || (text.variableId ? varNameMap.get(text.variableId) : undefined);
-                lines.push(`| Text (${text.nodeName}) | ${varName ? `\`${varName}\`` : "—"} | ${text.hex} |`);
-            }
-            // Strokes
-            for (const stroke of vd.strokes) {
-                const varName = stroke.variableName || (stroke.variableId ? varNameMap.get(stroke.variableId) : undefined);
-                lines.push(`| Stroke | ${varName ? `\`${varName}\`` : "—"} | ${stroke.hex} |`);
-            }
+            for (const text of vd.textColors)
+                pushRow(`Text (${text.nodeName})`, text);
+            // Strokes — through the same writer, so a visible underline and a hidden
+            // focus ring sharing one color don't print as two indistinguishable rows
+            for (const stroke of vd.strokes)
+                pushRow(stroke.nodeName ? `Stroke (${stroke.nodeName})` : "Stroke", stroke);
+            // Shadows, blurs, opacity — dropping them would imply the component is flat
+            for (const fx of vd.effects)
+                pushRow(fx.nodeName ? `Effect (${fx.nodeName})` : "Effect", fx);
         }
         lines.push("");
     }
@@ -2113,7 +2410,7 @@ setNode) {
         lines.push("|----------|---------------|-------|");
         for (const token of spacingTokens) {
             const varDisplay = token.variableName ? `\`${token.variableName}\`` : "—";
-            lines.push(`| ${token.property} | ${varDisplay} | ${token.value}px |`);
+            lines.push(`| ${token.property} | ${varDisplay} | ${formatSpacingValue(token.value)} |`);
         }
         lines.push("");
     }
@@ -2343,7 +2640,38 @@ function generateChangelogSection(codeInfo) {
 // ============================================================================
 // New Section Generators (Anatomy, Typography, Content Guidelines, Parity)
 // ============================================================================
-function generateAnatomySection(node) {
+/** Layer-structure fingerprint: names, types and nesting — not styling */
+function structureSignature(node, depth = 0) {
+    if (depth > DOC_TREE_DEPTH)
+        return "";
+    const kids = Array.isArray(node.children) ? node.children.map((c) => structureSignature(c, depth + 1)).join(",") : "";
+    return `${node.type}:${depth === 0 ? "" : node.name}${node.visible === false ? "!" : ""}[${kids}]`;
+}
+const CONTAINER_TYPES = new Set(["FRAME", "GROUP", "INSTANCE", "COMPONENT", "COMPONENT_SET", "SECTION", "BOOLEAN_OPERATION"]);
+/**
+ * Count containers sitting exactly at the fetch-depth limit with no children.
+ * REST cuts a tree off by returning `children: []`, which looks identical to an
+ * empty frame — so at that level an empty container MAY be hiding real content.
+ * `fetchedRoot` is the node the REST call requested (levels count from it).
+ */
+export function countPossiblyTruncated(fetchedRoot, fetchDepth = DOC_TREE_DEPTH) {
+    let count = 0;
+    const walk = (node, level) => {
+        if (!node)
+            return;
+        const kids = Array.isArray(node.children) ? node.children : [];
+        if (level >= fetchDepth) {
+            if (CONTAINER_TYPES.has(node.type) && kids.length === 0)
+                count++;
+            return;
+        }
+        for (const child of kids)
+            walk(child, level + 1);
+    };
+    walk(fetchedRoot, 0);
+    return count;
+}
+export function generateAnatomySection(node, fetchDepth = DOC_TREE_DEPTH) {
     const lines = ["", "## Component Anatomy", ""];
     // For COMPONENT_SET, list all variants first
     if (node.type === "COMPONENT_SET" && node.children?.length > 0) {
@@ -2355,25 +2683,81 @@ function generateAnatomySection(node) {
     }
     lines.push("### Design Structure (Figma)");
     lines.push("");
-    const tree = buildAnatomyTree(node);
-    if (tree.includes("└── ") || tree.includes("├── ")) {
-        // Rich tree with children
-        lines.push("```");
-        lines.push(tree);
-        lines.push("```");
+    // Variants can differ STRUCTURALLY (a scrollable variant wraps its list in
+    // scroller frames and adds a fade). Showing one tree would silently drop
+    // everything unique to the others — so: one tree per distinct structure.
+    const MAX_STRUCTURES = 6;
+    const structures = [];
+    if (node.type === "COMPONENT_SET" && node.children?.length > 0) {
+        const bySignature = new Map();
+        for (const variant of node.children) {
+            const sig = structureSignature(variant);
+            if (!bySignature.has(sig)) {
+                bySignature.set(sig, structures.length);
+                structures.push({ node: variant, names: [], props: [] });
+            }
+            const entry = structures[bySignature.get(sig)];
+            entry.names.push(cleanVariantName(variant.name || "Unknown"));
+            entry.props.push(parseVariantProperties(variant.name || ""));
+        }
+    }
+    else {
+        structures.push({ node, names: [], props: [] });
+    }
+    if (structures.length > 1) {
+        // Which variant property decides the structure, if one does
+        const explanation = explainByVariantProperty(structures.flatMap((st, i) => st.props.map((props) => ({ props, display: String(i) }))));
+        lines.push(`_${node.children.length} variants share ${structures.length} distinct layer structures${explanation ? `, decided by **${explanation.property}**` : ""}._`);
+        lines.push("");
+        structures.slice(0, MAX_STRUCTURES).forEach((st, i) => {
+            const values = explanation?.groups.filter(([, display]) => display === String(i)).map(([pv]) => pv) ?? [];
+            const heading = values.length > 0
+                ? `${explanation.property}=${values.join(" | ")}`
+                : scopeLabel(st.names, -1);
+            lines.push(`**${heading}** (${st.names.length} variant${st.names.length === 1 ? "" : "s"})`);
+            lines.push("");
+            lines.push("```");
+            lines.push(buildAnatomyTree(st.node));
+            lines.push("```");
+            lines.push("");
+        });
+        if (structures.length > MAX_STRUCTURES) {
+            lines.push(`_+${structures.length - MAX_STRUCTURES} more distinct structures not shown._`);
+            lines.push("");
+        }
     }
     else {
-        // Shallow tree (REST API depth limitation)
         lines.push("```");
-        lines.push(tree);
+        lines.push(buildAnatomyTree(structures[0].node));
         lines.push("```");
         lines.push("");
-        lines.push("_Note: Tree depth may be limited by the Figma REST API. Use the Desktop Bridge plugin for full node-level anatomy._");
     }
-    lines.push("");
+    // Say so when the fetch may have cut the tree off, rather than presenting an
+    // incomplete document as a complete one.
+    const truncated = countPossiblyTruncated(node, fetchDepth);
+    if (truncated > 0) {
+        lines.push(`_Note: ${truncated} layer${truncated === 1 ? "" : "s"} sit${truncated === 1 ? "s" : ""} at the depth limit of this extraction (${fetchDepth} levels) with no visible contents. Anything nested deeper is NOT reflected in this document — colors, typography and structure below that point may be incomplete._`);
+        lines.push("");
+    }
     return lines.join("\n");
 }
-function generateTypographySection(node) {
+export function generateTypographySection(node) {
+    if (node.type === "COMPONENT_SET" && node.children?.length > 1) {
+        const rows = collectTypographyAcrossVariants(node);
+        if (rows.length === 0)
+            return "";
+        const out = ["", "## Typography", ""];
+        const scoped = rows.some((r) => r.scope);
+        out.push(`_Compared across all ${node.children.length} variants${scoped ? " — the Applies to column shows where a style is specific to some of them" : "; every variant uses the same styles"}._`);
+        out.push("");
+        out.push(`| Element | Font | Weight | Size | Line Height | Letter Spacing |${scoped ? " Applies to |" : ""}`);
+        out.push(`|---------|------|--------|------|-------------|----------------|${scoped ? "------------|" : ""}`);
+        for (const { style: ts, scope } of rows) {
+            out.push(`| ${ts.nodeName}${ts.hidden ? " _(hidden layer)_" : ""}${ts.mixed ? " _(mixed styles — base style shown)_" : ""} | ${ts.fontFamily} | ${ts.fontWeightName} (${ts.fontWeight}) | ${ts.fontSize}px | ${ts.lineHeight}px | ${ts.letterSpacing === 0 ? "0" : `${ts.letterSpacing}px`} |${scoped ? ` ${scope || "all variants"} |` : ""}`);
+        }
+        out.push("");
+        return out.join("\n");
+    }
     const textStyles = collectTypographyData(node);
     if (textStyles.length === 0)
         return "";
@@ -2383,11 +2767,11 @@ function generateTypographySection(node) {
     // Deduplicate by font properties
     const seen = new Set();
     for (const ts of textStyles) {
-        const key = `${ts.fontFamily}:${ts.fontWeight}:${ts.fontSize}:${ts.lineHeight}`;
+        const key = `${ts.fontFamily}:${ts.fontWeight}:${ts.fontSize}:${ts.lineHeight}:${ts.hidden ? "h" : ""}:${ts.mixed ? "m" : ""}`;
         if (seen.has(key))
             continue;
         seen.add(key);
-        lines.push(`| ${ts.nodeName} | ${ts.fontFamily} | ${ts.fontWeightName} (${ts.fontWeight}) | ${ts.fontSize}px | ${ts.lineHeight}px | ${ts.letterSpacing === 0 ? "0" : `${ts.letterSpacing}px`} |`);
+        lines.push(`| ${ts.nodeName}${ts.hidden ? " _(hidden layer)_" : ""}${ts.mixed ? " _(mixed styles — base style shown)_" : ""} | ${ts.fontFamily} | ${ts.fontWeightName} (${ts.fontWeight}) | ${ts.fontSize}px | ${ts.lineHeight}px | ${ts.letterSpacing === 0 ? "0" : `${ts.letterSpacing}px`} |`);
     }
     lines.push("");
     return lines.join("\n");
@@ -2412,59 +2796,63 @@ function generateContentGuidelinesSection(parsedDesc) {
     }
     return lines.join("\n");
 }
-function generateParitySection(node, codeInfo) {
+export function generateParitySection(node, codeInfo) {
     const lines = ["", "## Design-Code Parity", ""];
-    // Variant coverage - compare Figma variants with code variants if available
-    // Use case-insensitive comparison: Figma uses "Default", code uses "default"
-    const figmaVariantsRaw = new Map(); // lowercase → original name
+    // Variant coverage — compare each Figma variant PROPERTY with the code prop of
+    // the same name, value by value. (This used to look only for a property
+    // literally named "Variant" and otherwise captured the first property's NAME —
+    // so a Size × State set was reported as having a Figma-only variant "Size".)
+    const normalize = (name) => name.toLowerCase().replace(/[^a-z0-9]/g, "");
+    const figmaProps = new Map();
     if (node.type === "COMPONENT_SET" && node.children) {
         for (const child of node.children) {
-            const match = child.name?.match(/Variant=([^,]+)/i) || child.name?.match(/^([^,=]+)/);
-            if (match) {
-                const raw = match[1].trim();
-                figmaVariantsRaw.set(raw.toLowerCase(), raw);
-            }
-        }
-    }
-    // Try to extract code variants from variant definition or props
-    const codeVariantsRaw = new Map(); // lowercase → original name
-    if (codeInfo.props) {
-        const variantProp = codeInfo.props.find((p) => p.name.toLowerCase() === "variant");
-        if (variantProp?.type) {
-            // Match both single and double quoted values: "default" or 'default'
-            const matches = variantProp.type.match(/["']([^"']+)["']/g);
-            if (matches) {
-                for (const m of matches) {
-                    const raw = m.replace(/["']/g, "");
-                    codeVariantsRaw.set(raw.toLowerCase(), raw);
-                }
+            for (const [propName, value] of parseVariantProperties(child.name || "")) {
+                const key = normalize(propName);
+                if (!figmaProps.has(key))
+                    figmaProps.set(key, { name: propName, values: new Map() });
+                figmaProps.get(key).values.set(value.toLowerCase(), value);
             }
         }
     }
-    if (figmaVariantsRaw.size > 0 || codeVariantsRaw.size > 0) {
-        // Merge by lowercase key
-        const allKeys = new Set([...figmaVariantsRaw.keys(), ...codeVariantsRaw.keys()]);
+    // Code props whose type is a union of string literals: "sm" | "md" | 'lg'
+    const codeProps = new Map();
+    for (const prop of codeInfo.props ?? []) {
+        const literals = prop.type?.match(/["']([^"']+)["']/g);
+        if (!literals)
+            continue;
+        const values = new Map();
+        for (const m of literals) {
+            const raw = m.replace(/["']/g, "");
+            values.set(raw.toLowerCase(), raw);
+        }
+        codeProps.set(normalize(prop.name), { name: prop.name, values });
+    }
+    // Compare properties present on BOTH sides, plus "variant" when either side has
+    // it (the long-standing behavior). A property with no counterpart gets no
+    // claim at all — a boolean in code and a True/False variant in Figma aren't comparable here.
+    const compared = [...figmaProps.keys()].filter((k) => codeProps.has(k));
+    if (!compared.includes("variant") && (figmaProps.has("variant") || codeProps.has("variant")))
+        compared.push("variant");
+    if (compared.length > 0) {
+        const labelProperty = compared.length > 1 || compared[0] !== "variant";
         lines.push("### Variant Coverage");
         lines.push("");
         lines.push("| Variant | In Figma | In Code | Status |");
         lines.push("|---------|----------|---------|--------|");
-        for (const key of allKeys) {
-            const figmaName = figmaVariantsRaw.get(key);
-            const codeName = codeVariantsRaw.get(key);
-            const displayName = figmaName || codeName || key;
-            const inFigma = figmaVariantsRaw.has(key);
-            const inCode = codeVariantsRaw.has(key);
-            let status;
-            if (inFigma && inCode) {
-                status = "In sync";
-            }
-            else if (inFigma && !inCode) {
-                status = "Figma-only — needs code variant";
+        for (const key of compared) {
+            const figma = figmaProps.get(key);
+            const code = codeProps.get(key);
+            const propLabel = figma?.name || code?.name || key;
+            const allValues = new Set([...(figma?.values.keys() ?? []), ...(code?.values.keys() ?? [])]);
+            for (const valueKey of allValues) {
+                const inFigma = figma?.values.has(valueKey) ?? false;
+                const inCode = code?.values.has(valueKey) ?? false;
+                const display = figma?.values.get(valueKey) || code?.values.get(valueKey) || valueKey;
+                const status = inFigma && inCode
+                    ? "In sync"
+                    : inFigma ? "Figma-only — needs code variant" : "Code-only — needs Figma variant";
+                lines.push(`| ${labelProperty ? `${propLabel}: ${display}` : display} | ${inFigma ? "Yes" : "**No**"} | ${inCode ? "Yes" : "**No**"} | ${status} |`);
             }
-            else {
-                status = "Code-only — needs Figma variant";
-            }
-            lines.push(`| ${displayName} | ${inFigma ? "Yes" : "**No**"} | ${inCode ? "Yes" : "**No**"} | ${status} |`);
         }
         lines.push("");
     }
@@ -2917,7 +3305,22 @@ export function registerDesignCodeTools(server, getFigmaAPI, getCurrentUrl, vari
             logger.info({ fileKey, nodeId, enrich }, "Generating component documentation");
             const api = await getFigmaAPI();
             // Fetch component node with deeper depth for anatomy & per-variant data
-            const nodesResponse = await api.getNodes(fileKey, [nodeId], { depth: 4 });
+            // DOC_TREE_DEPTH, not 4: levels count from the requested node, so on a
+            // COMPONENT_SET depth 4 left each variant only 3 — enough to silently drop
+            // nested labels and a whole scroll mechanism from the generated document.
+            let fetchDepth = DOC_TREE_DEPTH;
+            let nodesResponse;
+            try {
+                nodesResponse = await withTimeout(api.getNodes(fileKey, [nodeId], { depth: DOC_TREE_DEPTH }), DEEP_FETCH_TIMEOUT_MS, "deep component fetch");
+            }
+            catch (deepErr) {
+                // A huge set (hundreds of variants × nested instances) can make the deep
+                // fetch too slow or too large. A shallower document that SAYS it is
+                // shallow beats no document — the truncation note below reports it.
+                fetchDepth = SHALLOW_FETCH_DEPTH;
+                logger.warn({ err: deepErr instanceof Error ? deepErr.message : String(deepErr) }, "Deep fetch failed; retrying component doc fetch at reduced depth");
+                nodesResponse = await api.getNodes(fileKey, [nodeId], { depth: SHALLOW_FETCH_DEPTH });
+            }
             const nodeData = nodesResponse?.nodes?.[nodeId];
             if (!nodeData?.document) {
                 throw new Error(`Node ${nodeId} not found in file ${fileKey}`);
@@ -3005,10 +3408,8 @@ export function registerDesignCodeTools(server, getFigmaAPI, getCurrentUrl, vari
                     const varsResult = await connector.getVariables();
                     const varList = varsResult?.variables || varsResult?.result?.variables;
                     if (Array.isArray(varList)) {
-                        for (const v of varList) {
-                            if (v?.id && v?.name)
-                                varNameMap.set(v.id, v.name);
-                        }
+                        for (const [id, name] of buildVariableNameMap(varList, varsResult?.variableCollections || varsResult?.result?.variableCollections))
+                            varNameMap.set(id, name);
                         logger.info({ count: varList.length }, "Resolved variable names via Desktop Bridge for docs");
                     }
                 }
@@ -3141,7 +3542,7 @@ export function registerDesignCodeTools(server, getFigmaAPI, getCurrentUrl, vari
                 includedSections.push("overview");
             }
             if (s.anatomy) {
-                const anatomySection = generateAnatomySection(node);
+                const anatomySection = generateAnatomySection(node, fetchDepth);
                 if (anatomySection.trim()) {
                     parts.push(anatomySection);
                     includedSections.push("anatomy");