@contentful/experience-design-system-cli 2.11.4-dev-build-a9b4d34.0 → 2.11.4-dev-build-8cd3b18.0

package/dist/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contentful/experience-design-system-cli",
-  "version": "2.11.4-dev-build-a9b4d34.0",
+  "version": "2.11.4-dev-build-8cd3b18.0",
   "description": "Contentful Experiences design system import CLI",
   "license": "MIT",
   "type": "module",

package/dist/src/analyze/extract/svelte.js

@@ -71,6 +71,7 @@ async function extractFromSvelteFile(filePath, source) {
     let props = [];
     let propNamesTreatedAsSnippet = new Set();
     let snippetSlotsFromProps = [];
+    const extractionReasons = [];
     if (propsCall) {
         const result = await extractPropsFromCall({
             propsCall,
@@ -84,6 +85,8 @@ async function extractFromSvelteFile(filePath, source) {
         propNamesTreatedAsSnippet = result.snippetNames;
         snippetSlotsFromProps = result.snippetSlots;
         warnings.push(...result.warnings);
+        if (result.additionalReasons)
+            extractionReasons.push(...result.additionalReasons);
     }
     else if (instance) {
         // No $props() call. We've already ruled out v4 above; this means $props was used
@@ -107,11 +110,17 @@ async function extractFromSvelteFile(filePath, source) {
         props,
         slots,
     };
-    // Score & flag review.
-    const score = computeExtractionScore(component);
+    // Score & flag review. Forward extraction-time reasons (e.g. props-type-unresolved)
+    // so they count toward the confidence score AND surface in reviewReasons.
+    const score = computeExtractionScore(component, {
+        additionalIssueCount: extractionReasons.length,
+        additionalReasons: extractionReasons,
+    });
     component.extractionConfidence = score.confidence;
     component.reviewReasons = score.reasons;
-    component.needsReview = deriveNeedsReview(score.confidence);
+    // A type-resolution failure is a strong signal something is wrong; force
+    // human review even when other heuristics keep confidence above the threshold.
+    component.needsReview = deriveNeedsReview(score.confidence) || extractionReasons.includes('props-type-unresolved');
     // Validation issues (EMPTY_COMPONENT_NAME / EMPTY_PROP_NAME / PROP_SLOT_NAME_COLLISION /
     // DUPLICATE_COMPONENT_NAME / EMPTY_COMPONENT / EMPTY_SLOT_NAME) are populated
     // centrally by validateExtractedComponents() in analyze/command.ts after all
@@ -220,19 +229,83 @@ async function extractPropsFromCall(ctx) {
     const typeMembers = annotation
         ? await resolveTypeMembers(annotation, ctx.instance, ctx.moduleScript, ctx.filePath, ctx.source)
         : null;
+    // Detect "we tried to resolve a real type and got nothing back" — distinct from
+    // the user genuinely typing an empty literal. Surface as both a warning (CLI
+    // stderr / analyze report) and a review reason (TUI / downstream gating).
+    const unresolved = classifyUnresolved(annotation, typeMembers, ctx.instance, ctx.moduleScript);
+    const additionalReasons = [];
+    if (unresolved) {
+        const refLabel = describeAnnotationForUser(annotation);
+        const heritageNote = unresolved === 'partial-heritage' ? ' (heritage clauses extending unreachable types)' : '';
+        warnings.push(`${ctx.filePath}: declared Props type ${refLabel} resolved to ${unresolved === 'empty' ? '0' : 'only Snippet-typed'} properties${heritageNote} — possible cross-package extends or unreachable type. ` +
+            `See https://github.com/contentful/experience-design-system-sdk-public/pull/44 for context and partner workarounds.`);
+        additionalReasons.push('props-type-unresolved');
+    }
     if (idType === 'ObjectPattern') {
-        return extractFromDestructure(ctx.propsCall, ctx, typeMembers, warnings);
+        return extractFromDestructure(ctx.propsCall, ctx, typeMembers, warnings, additionalReasons);
     }
     if (idType === 'Identifier') {
         // const props: Props = $props(); — no destructure, no defaults, no per-name binding.
-        if (typeMembers) {
-            return extractFromTypeMembersOnly(typeMembers);
+        if (typeMembers && typeMembers.length > 0) {
+            return { ...extractFromTypeMembersOnly(typeMembers), warnings, additionalReasons };
         }
-        warnings.push(`${ctx.filePath}: $props() called without destructuring; cannot extract individual props`);
-        return { props: [], snippetNames: new Set(), snippetSlots: [], warnings };
+        if (!unresolved) {
+            warnings.push(`${ctx.filePath}: $props() called without destructuring; cannot extract individual props`);
+        }
+        return { props: [], snippetNames: new Set(), snippetSlots: [], warnings, additionalReasons };
     }
     warnings.push(`${ctx.filePath}: unrecognized $props() binding pattern (${idType})`);
-    return { props: [], snippetNames: new Set(), snippetSlots: [], warnings };
+    return { props: [], snippetNames: new Set(), snippetSlots: [], warnings, additionalReasons };
+}
+/**
+ * Classify whether the user's declared Props type failed to resolve usefully.
+ *
+ * - `'empty'`: the resolver returned no members for a non-trivial annotation.
+ * - `'partial-heritage'`: the source declaration has heritage clauses (extends /
+ *   intersection in module-script) but the resolver only surfaced Snippet-typed
+ *   members — strong signal that one or more parents pointed at unreachable
+ *   types (e.g. cross-package node_modules) and were silently dropped.
+ * - `null`: nothing to surface — either the user genuinely typed an empty
+ *   literal, omitted the annotation, or the resolver returned regular props.
+ */
+function classifyUnresolved(annotation, members, instance, moduleScript) {
+    if (!annotation)
+        return null;
+    if (annotation.type === 'TSTypeLiteral') {
+        const litMembers = annotation['members'] ?? [];
+        if (litMembers.length === 0)
+            return null; // user genuinely typed `{}`
+    }
+    if (members === null || members.length === 0)
+        return 'empty';
+    // Partial-heritage signal: declaration has extends and every surviving member
+    // is Snippet-typed. Real prop interfaces almost never declare every prop as a
+    // Snippet, so this is a strong "something fell off the resolution edge" hint.
+    if (annotation.type === 'TSTypeReference') {
+        const refName = annotation['typeName']?.['name'] ?? null;
+        if (refName) {
+            const decl = findLocalTypeDeclaration(instance, refName, moduleScript);
+            if (decl && declarationHasHeritage(decl) && members.every((m) => m.isSnippet)) {
+                return 'partial-heritage';
+            }
+        }
+    }
+    return null;
+}
+function describeAnnotationForUser(annotation) {
+    if (!annotation)
+        return '<unknown>';
+    if (annotation.type === 'TSTypeReference') {
+        const name = annotation['typeName']?.['name'] ?? null;
+        return name ? `'${name}'` : '<unnamed reference>';
+    }
+    if (annotation.type === 'TSIntersectionType')
+        return '<intersection>';
+    if (annotation.type === 'TSUnionType')
+        return '<union>';
+    if (annotation.type === 'TSTypeLiteral')
+        return '<inline literal>';
+    return `<${annotation.type}>`;
 }
 async function resolveTypeMembers(annotation, instance, moduleScript, filePath, source) {
     // Snippet imports may live in either script block; collect from both.
@@ -569,7 +642,7 @@ function extractJsdocText(comments) {
 // ---------------------------------------------------------------------------
 // Extraction: ObjectPattern destructure + type-members
 // ---------------------------------------------------------------------------
-function extractFromDestructure(propsCall, ctx, typeMembers, warnings) {
+function extractFromDestructure(propsCall, ctx, typeMembers, warnings, additionalReasons) {
     const id = propsCall['id'];
     const properties = id['properties'] ?? [];
     const typeByName = new Map();
@@ -633,6 +706,7 @@ function extractFromDestructure(propsCall, ctx, typeMembers, warnings) {
         snippetNames,
         snippetSlots,
         warnings,
+        ...(additionalReasons && additionalReasons.length > 0 ? { additionalReasons } : {}),
     };
 }
 function extractFromTypeMembersOnly(typeMembers) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contentful/experience-design-system-cli",
-  "version": "2.11.4-dev-build-a9b4d34.0",
+  "version": "2.11.4-dev-build-8cd3b18.0",
   "description": "Contentful Experiences design system import CLI",
   "license": "MIT",
   "type": "module",
@@ -37,7 +37,7 @@
     "svelte": "^5.56.4",
     "ts-morph": "^27.0.2",
     "typescript": "^5.9.3",
-    "@contentful/experience-design-system-types": "2.11.4-dev-build-a9b4d34.0"
+    "@contentful/experience-design-system-types": "2.11.4-dev-build-8cd3b18.0"
   },
   "devDependencies": {
     "@tsconfig/node24": "^24.0.3",