@decantr/verifier 2.3.0 → 2.3.1

package/dist/index.js

@@ -896,7 +896,7 @@ function createContractAssertions(projectRoot, audit) {
       status: packManifest ? "passed" : "failed",
       message: packManifest ? "Compiled execution pack manifest is present." : "Compiled execution pack manifest is missing.",
       evidence: [redactEvidenceText(projectRoot, join2(contextDir, "pack-manifest.json"))],
-      suggestedFix: packManifest ? void 0 : "Run `decantr refresh` to regenerate context packs."
+      suggestedFix: packManifest ? void 0 : "Run `decantr registry compile-packs decantr.essence.json --write-context` to hydrate the full context pack bundle."
     })
   );
   assertions.push(
@@ -908,7 +908,7 @@ function createContractAssertions(projectRoot, audit) {
       status: audit?.reviewPack ? "passed" : "failed",
       message: audit?.reviewPack ? "Compiled review pack is present." : "Compiled review pack is missing.",
       evidence: [redactEvidenceText(projectRoot, join2(contextDir, "review-pack.json"))],
-      suggestedFix: audit?.reviewPack ? void 0 : "Run `decantr refresh` or hydrate the review pack from the registry."
+      suggestedFix: audit?.reviewPack ? void 0 : "Run `decantr registry compile-packs decantr.essence.json --write-context` so critique has the compiled review contract."
     })
   );
   const tokensPath = join2(projectRoot, "src", "styles", "tokens.css");
@@ -1043,6 +1043,71 @@ function loadPackManifest(projectRoot) {
     join2(projectRoot, ".decantr", "context", "pack-manifest.json")
   );
 }
+function collectPackManifestReferences(packManifest) {
+  const references = [];
+  if (packManifest.scaffold) {
+    references.push({
+      entryId: packManifest.scaffold.id || "scaffold",
+      kind: "scaffold",
+      markdown: packManifest.scaffold.markdown,
+      json: packManifest.scaffold.json
+    });
+  }
+  if (packManifest.review) {
+    references.push({
+      entryId: packManifest.review.id || "review",
+      kind: "review",
+      markdown: packManifest.review.markdown,
+      json: packManifest.review.json
+    });
+  }
+  for (const section of packManifest.sections ?? []) {
+    references.push({
+      entryId: section.id,
+      kind: "section",
+      markdown: section.markdown,
+      json: section.json
+    });
+  }
+  for (const page of packManifest.pages ?? []) {
+    references.push({
+      entryId: page.id,
+      kind: "page",
+      markdown: page.markdown,
+      json: page.json
+    });
+  }
+  for (const mutation of packManifest.mutations ?? []) {
+    references.push({
+      entryId: mutation.id,
+      kind: "mutation",
+      markdown: mutation.markdown,
+      json: mutation.json
+    });
+  }
+  return references;
+}
+function collectMissingPackManifestFiles(projectRoot, packManifest = loadPackManifest(projectRoot)) {
+  if (!packManifest) return [];
+  const contextDir = join2(projectRoot, ".decantr", "context");
+  const missing = [];
+  for (const reference of collectPackManifestReferences(packManifest)) {
+    for (const field of ["markdown", "json"]) {
+      const fileName = reference[field];
+      if (!fileName) continue;
+      const absolutePath = join2(contextDir, fileName);
+      if (existsSync2(absolutePath)) continue;
+      missing.push({
+        entryId: reference.entryId,
+        kind: reference.kind,
+        field,
+        relativePath: `.decantr/context/${fileName}`,
+        absolutePath
+      });
+    }
+  }
+  return missing;
+}
 function readTextIfExists(path) {
   try {
     return existsSync2(path) ? readFileSync2(path, "utf-8") : "";
@@ -1050,6 +1115,11 @@ function readTextIfExists(path) {
     return "";
   }
 }
+function readProjectAdoptionMode(projectRoot) {
+  const projectJson = readJsonIfExists(join2(projectRoot, ".decantr", "project.json"));
+  const adoptionMode = projectJson?.initialized?.adoptionMode;
+  return typeof adoptionMode === "string" ? adoptionMode : null;
+}
 function createSourceAuditBucket() {
   return { count: 0, files: [] };
 }
@@ -2556,23 +2626,24 @@ function appendRuntimeAuditFindings(findings, runtimeAudit, projectRoot, topolog
     );
   }
 }
-function appendSourceAuditFindings(findings, sourceAudit, essence, reviewPack) {
+function appendSourceAuditFindings(findings, sourceAudit, essence, reviewPack, adoptionMode) {
   if (sourceAudit.filesChecked === 0) {
     return;
   }
+  const isContractOnly = adoptionMode === "contract-only";
   if (sourceAudit.inlineStyles.count > 0) {
     findings.push(
       makeFinding({
         id: "source-inline-styles-present",
         category: "Source Audit",
         severity: "warn",
-        message: "Source files still contain disallowed inline style attributes, which undermines the compiled treatment contract.",
+        message: isContractOnly ? "Source files contain inline style attributes; contract-only projects should route static visual decisions through project-owned styling law." : "Source files still contain disallowed inline style attributes, which undermines the compiled treatment contract.",
         evidence: buildSourceAuditEvidence(
           sourceAudit,
           sourceAudit.inlineStyles,
           "Disallowed inline style attributes"
         ),
-        suggestedFix: "Move static visual styling into treatments, atoms, or design-token-backed classes. Inline style remains acceptable for Decantr CSS-variable writes and truly dynamic geometry."
+        suggestedFix: isContractOnly ? "Move static visual styling into the app design system, Tailwind/theme tokens, component variants, or accepted local rules. Keep inline style only for truly dynamic geometry." : "Move static visual styling into treatments, atoms, or design-token-backed classes. Inline style remains acceptable for Decantr CSS-variable writes and truly dynamic geometry."
       })
     );
   }
@@ -2582,17 +2653,17 @@ function appendSourceAuditFindings(findings, sourceAudit, essence, reviewPack) {
         id: "source-component-style-tags-present",
         category: "Source Audit",
         severity: "warn",
-        message: "Source files inject component-scoped style tags or dynamic style elements, which bypass the compiled Decantr layer contract.",
+        message: isContractOnly ? "Source files inject component-scoped style tags or dynamic style elements, which makes project-owned styling rules harder to enforce." : "Source files inject component-scoped style tags or dynamic style elements, which bypass the compiled Decantr layer contract.",
         evidence: buildSourceAuditEvidence(
           sourceAudit,
           sourceAudit.componentStyleTags,
           "Component-level style tag signals"
         ),
-        suggestedFix: "Move shared keyframes, media queries, and visual rules into global.css or treatments.css so styling stays inside the reviewed Decantr layer stack."
+        suggestedFix: isContractOnly ? "Move shared keyframes, media queries, and visual rules into the project stylesheet, component library, or accepted local pattern/rule manifest." : "Move shared keyframes, media queries, and visual rules into global.css or treatments.css so styling stays inside the reviewed Decantr layer stack."
       })
     );
   }
-  if (sourceAudit.localCssRuntimeSignals.count > 0) {
+  if (!isContractOnly && sourceAudit.localCssRuntimeSignals.count > 0) {
     findings.push(
       makeFinding({
         id: "source-local-css-runtime-stub-present",
@@ -3695,6 +3766,7 @@ async function auditProject(projectRoot) {
   const findings = [];
   const reviewPack = loadReviewPack(projectRoot);
   const packManifest = loadPackManifest(projectRoot);
+  const adoptionMode = readProjectAdoptionMode(projectRoot);
   const runtimeAudit = emptyRuntimeAudit();
   if (!existsSync2(essencePath)) {
     findings.push(
@@ -3775,10 +3847,25 @@ async function auditProject(projectRoot) {
         severity: "warn",
         message: "Compiled execution pack manifest is missing.",
         evidence: [join2(projectRoot, ".decantr", "context", "pack-manifest.json")],
-        suggestedFix: "Run `decantr refresh` to regenerate scaffold, review, mutation, section, and page packs."
+        suggestedFix: "Run `decantr registry compile-packs decantr.essence.json --write-context` to hydrate scaffold, review, mutation, section, and page packs."
       })
     );
   } else {
+    const missingPackFiles = collectMissingPackManifestFiles(projectRoot, packManifest);
+    if (missingPackFiles.length > 0) {
+      findings.push(
+        makeFinding({
+          id: "pack-manifest-referenced-files-missing",
+          category: "Execution Packs",
+          severity: "warn",
+          message: "The compiled execution pack manifest references files that are missing.",
+          evidence: missingPackFiles.slice(0, 12).map(
+            (missing) => `${missing.kind}:${missing.entryId}:${missing.field} -> ${missing.relativePath}`
+          ),
+          suggestedFix: "Regenerate or hydrate the full execution pack bundle so every file named by pack-manifest.json exists beside it."
+        })
+      );
+    }
     if (!packManifest.scaffold) {
       findings.push(
         makeFinding({
@@ -3811,7 +3898,7 @@ async function auditProject(projectRoot) {
           severity: "info",
           message: "No mutation packs were found in the manifest.",
           evidence: ["pack-manifest.json"],
-          suggestedFix: "Run `decantr refresh` to regenerate mutation task packs."
+          suggestedFix: "Run `decantr registry compile-packs decantr.essence.json --write-context` to hydrate mutation task packs."
         })
       );
     }
@@ -3824,7 +3911,7 @@ async function auditProject(projectRoot) {
         severity: "warn",
         message: "The compiled review pack file is missing.",
         evidence: [join2(projectRoot, ".decantr", "context", "review-pack.json")],
-        suggestedFix: "Regenerate context with `decantr refresh`, or hydrate the hosted review contract with `decantr registry get-pack review --write-context`, so critique consumers can anchor findings to the compiled review contract."
+        suggestedFix: "Hydrate the full hosted context bundle with `decantr registry compile-packs decantr.essence.json --write-context` so critique consumers can anchor findings to the compiled review contract."
       })
     );
   }
@@ -3838,7 +3925,7 @@ async function auditProject(projectRoot) {
     summarizeTopology(essence, reviewPack),
     sourceAudit
   );
-  appendSourceAuditFindings(findings, sourceAudit, essence, reviewPack);
+  appendSourceAuditFindings(findings, sourceAudit, essence, reviewPack, adoptionMode);
   appendStyleContractFindings(findings, styleAudit, essence);
   const summary = {
     errorCount: findings.filter((finding) => finding.severity === "error").length,
@@ -4555,14 +4642,17 @@ function getObjectLiteralPropertyExpression(objectLiteral, propertyName, namedEx
   }
   return null;
 }
-function resolveObjectLiteralExpressionAtPropertyPath(expression, sourceFile, propertyPath, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions) {
+var MAX_OPEN_REDIRECT_RESOLUTION_DEPTH = 40;
+function resolveObjectLiteralExpressionAtPropertyPath(expression, sourceFile, propertyPath, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions, depth = 0) {
+  if (depth > MAX_OPEN_REDIRECT_RESOLUTION_DEPTH) return null;
   let resolvedObjectLiteral = resolveObjectLiteralExpression(
     expression,
     sourceFile,
     namedExpressions,
     namedPropertyAliases,
     seenIdentifiers,
-    seenFunctions
+    seenFunctions,
+    depth + 1
   );
   if (!resolvedObjectLiteral) return null;
   for (const propertyName of propertyPath) {
@@ -4578,13 +4668,15 @@ function resolveObjectLiteralExpressionAtPropertyPath(expression, sourceFile, pr
       resolvedObjectLiteral.namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
     if (!resolvedObjectLiteral) return null;
   }
   return resolvedObjectLiteral;
 }
-function resolveReturnedObjectLiteralExpression(functionLike, args, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions) {
+function resolveReturnedObjectLiteralExpression(functionLike, args, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions, depth = 0) {
+  if (depth > MAX_OPEN_REDIRECT_RESOLUTION_DEPTH) return null;
   const functionKey = getFunctionLikeCacheKey(functionLike);
   if (seenFunctions.has(functionKey)) return null;
   seenFunctions.add(functionKey);
@@ -4596,7 +4688,8 @@ function resolveReturnedObjectLiteralExpression(functionLike, args, sourceFile,
       boundExpressions,
       namedPropertyAliases,
       new Set(seenIdentifiers),
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
     if (objectLiteral) {
       seenFunctions.delete(functionKey);
@@ -4606,8 +4699,9 @@ function resolveReturnedObjectLiteralExpression(functionLike, args, sourceFile,
   seenFunctions.delete(functionKey);
   return null;
 }
-function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions = /* @__PURE__ */ new Set()) {
+function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions = /* @__PURE__ */ new Set(), depth = 0) {
   if (!expression) return null;
+  if (depth > MAX_OPEN_REDIRECT_RESOLUTION_DEPTH) return null;
   if (ts.isParenthesizedExpression(expression) || ts.isAsExpression(expression) || ts.isTypeAssertionExpression(expression) || ts.isNonNullExpression(expression)) {
     return resolveObjectLiteralExpression(
       expression.expression,
@@ -4615,7 +4709,8 @@ function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions
       namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
   }
   if (ts.isObjectLiteralExpression(expression)) {
@@ -4632,7 +4727,8 @@ function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions
         namedExpressions,
         namedPropertyAliases,
         seenIdentifiers,
-        seenFunctions
+        seenFunctions,
+        depth + 1
       );
       seenIdentifiers.delete(expression.text);
       return result2;
@@ -4647,7 +4743,8 @@ function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions
       namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
     seenIdentifiers.delete(expression.text);
     return result;
@@ -4658,7 +4755,9 @@ function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions
       sourceFile,
       namedExpressions,
       namedPropertyAliases,
-      /* @__PURE__ */ new Set()
+      new Set(seenIdentifiers),
+      seenFunctions,
+      depth + 1
     );
     if (!functionResolution) return null;
     return resolveReturnedObjectLiteralExpression(
@@ -4668,7 +4767,8 @@ function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions
       functionResolution.namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
   }
   if (isMemberAccessExpression(expression)) {
@@ -4681,7 +4781,8 @@ function resolveObjectLiteralExpression(expression, sourceFile, namedExpressions
       namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
   }
   return null;
@@ -4700,7 +4801,8 @@ function findFunctionLikeOnObjectLiteral(objectLiteral, propertyName, namedFunct
   }
   return null;
 }
-function resolveReturnedTrackedFunctionLike(functionLike, args, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions) {
+function resolveReturnedTrackedFunctionLike(functionLike, args, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions, depth = 0) {
+  if (depth > MAX_OPEN_REDIRECT_RESOLUTION_DEPTH) return null;
   const functionKey = getFunctionLikeCacheKey(functionLike);
   if (seenFunctions.has(functionKey)) return null;
   const nextSeenFunctions = new Set(seenFunctions);
@@ -4713,14 +4815,16 @@ function resolveReturnedTrackedFunctionLike(functionLike, args, sourceFile, name
       boundExpressions,
       namedPropertyAliases,
       new Set(seenIdentifiers),
-      nextSeenFunctions
+      nextSeenFunctions,
+      depth + 1
     );
     if (result) return result;
   }
   return null;
 }
-function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions = /* @__PURE__ */ new Set()) {
+function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExpressions, namedPropertyAliases, seenIdentifiers, seenFunctions = /* @__PURE__ */ new Set(), depth = 0) {
   if (!expression) return null;
+  if (depth > MAX_OPEN_REDIRECT_RESOLUTION_DEPTH) return null;
   const namedFunctions = getCachedNamedFunctionLikeDeclarations(sourceFile);
   const directFunctionLike = resolveFunctionLikeHandler(expression, namedFunctions);
   if (directFunctionLike) {
@@ -4733,7 +4837,8 @@ function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExp
       namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
   }
   if (isCallLikeExpression(expression)) {
@@ -4742,8 +4847,9 @@ function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExp
       sourceFile,
       namedExpressions,
       namedPropertyAliases,
-      /* @__PURE__ */ new Set(),
-      seenFunctions
+      new Set(seenIdentifiers),
+      seenFunctions,
+      depth + 1
     );
     if (!functionResolution) return null;
     return resolveReturnedTrackedFunctionLike(
@@ -4753,7 +4859,8 @@ function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExp
       functionResolution.namedExpressions,
       namedPropertyAliases,
       seenIdentifiers,
-      seenFunctions
+      seenFunctions,
+      depth + 1
     );
   }
   if (ts.isIdentifier(expression)) {
@@ -4767,7 +4874,8 @@ function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExp
         namedExpressions,
         namedPropertyAliases,
         seenIdentifiers,
-        seenFunctions
+        seenFunctions,
+        depth + 1
       );
       seenIdentifiers.delete(expression.text);
       if (result) return result;
@@ -4780,8 +4888,9 @@ function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExp
       propertyAlias.propertyPath.slice(0, -1),
       namedExpressions,
       namedPropertyAliases,
-      /* @__PURE__ */ new Set(),
-      /* @__PURE__ */ new Set()
+      new Set(seenIdentifiers),
+      seenFunctions,
+      depth + 1
     );
     if (!resolvedObjectLiteral2) return null;
     const functionLike2 = findFunctionLikeOnObjectLiteral(
@@ -4801,8 +4910,9 @@ function resolveTrackedOpenRedirectFunctionLike(expression, sourceFile, namedExp
     sourceFile,
     namedExpressions,
     namedPropertyAliases,
-    /* @__PURE__ */ new Set(),
-    /* @__PURE__ */ new Set()
+    new Set(seenIdentifiers),
+    seenFunctions,
+    depth + 1
   );
   if (!resolvedObjectLiteral) return null;
   const functionLike = findFunctionLikeOnObjectLiteral(
@@ -10219,7 +10329,8 @@ function critiqueSource({
   code,
   reviewPack = null,
   packManifest = null,
-  treatmentsCss = ""
+  treatmentsCss = "",
+  adoptionMode = null
 }) {
   const codeLower = code.toLowerCase();
   const astSignals = analyzeAstSignals(filePath, code);
@@ -10227,67 +10338,92 @@ function critiqueSource({
   const findings = [];
   const scores = [];
   const antiPatternIds = new Set(reviewPack?.antiPatterns.map((entry) => entry.id) ?? []);
+  const isContractOnly = adoptionMode === "contract-only";
   const usedTreatments = TREATMENT_CLASSES.filter((token) => code.includes(token));
-  const treatmentSuggestions = TREATMENT_CLASSES.filter((token) => !code.includes(token)).map(
-    (token) => `Consider using \`${token}\` where appropriate.`
-  );
-  scores.push({
-    category: "Treatment Usage",
-    focusArea: "treatment-usage",
-    score: scoreRatio(usedTreatments.length, TREATMENT_CLASSES.length),
-    details: `${usedTreatments.length}/${TREATMENT_CLASSES.length} base treatments used: ${usedTreatments.join(", ") || "none"}`,
-    suggestions: treatmentSuggestions
-  });
-  if (focusAreas.includes("treatment-usage") && usedTreatments.length === 0) {
-    findings.push(
-      makeFinding({
-        id: "treatment-usage-missing",
-        category: "Treatment Usage",
-        severity: resolveSeverityFromChecks(reviewPack, "warn", [
-          "page-pattern-contract",
-          "section-pattern-coverage"
-        ]),
-        message: "No Decantr treatment classes were detected in the reviewed file.",
-        evidence: [
-          filePath,
-          "Expected tokens include d-interactive, d-surface, d-data, d-control, d-section, d-annotation, d-label."
-        ],
-        file: filePath,
-        suggestedFix: "Apply the compiled treatment vocabulary instead of hand-rolled utility styling."
-      })
-    );
+  if (isContractOnly) {
+    scores.push({
+      category: "Styling Authority",
+      focusArea: "treatment-usage",
+      score: 3,
+      details: "Contract-only adoption does not require Decantr d-* treatment classes in source files.",
+      suggestions: [
+        "Codify project-owned component variants and local rules when button/card/surface drift needs mechanical enforcement."
+      ]
+    });
+  } else {
+    const treatmentSuggestions = TREATMENT_CLASSES.filter((token) => !code.includes(token)).map(
+      (token) => `Consider using \`${token}\` where appropriate.`
+    );
+    scores.push({
+      category: "Treatment Usage",
+      focusArea: "treatment-usage",
+      score: scoreRatio(usedTreatments.length, TREATMENT_CLASSES.length),
+      details: `${usedTreatments.length}/${TREATMENT_CLASSES.length} base treatments used: ${usedTreatments.join(", ") || "none"}`,
+      suggestions: treatmentSuggestions
+    });
+    if (focusAreas.includes("treatment-usage") && usedTreatments.length === 0) {
+      findings.push(
+        makeFinding({
+          id: "treatment-usage-missing",
+          category: "Treatment Usage",
+          severity: resolveSeverityFromChecks(reviewPack, "warn", [
+            "page-pattern-contract",
+            "section-pattern-coverage"
+          ]),
+          message: "No Decantr treatment classes were detected in the reviewed file.",
+          evidence: [
+            filePath,
+            "Expected tokens include d-interactive, d-surface, d-data, d-control, d-section, d-annotation, d-label."
+          ],
+          file: filePath,
+          suggestedFix: "Apply the compiled treatment vocabulary instead of hand-rolled utility styling."
+        })
+      );
+    }
   }
   const decoratorNames = buildDecoratorInventory(treatmentsCss);
   const usedDecorators = decoratorNames.filter((name) => code.includes(name));
   const usesCssVars = code.includes("var(--");
-  scores.push({
-    category: "Theme Consistency",
-    focusArea: "theme-consistency",
-    score: decoratorNames.length > 0 ? scoreRatio((usedDecorators.length > 0 ? 1 : 0) + (usesCssVars ? 1 : 0), 2) : usesCssVars ? 4 : 2,
-    details: `Decorators used: ${usedDecorators.join(", ") || "none"}; CSS vars: ${usesCssVars ? "yes" : "no"}`,
-    suggestions: [
-      ...!usesCssVars ? ["Prefer CSS variable references over hardcoded visual values."] : [],
-      ...decoratorNames.length > 0 && usedDecorators.length === 0 ? ["Use theme decorators from treatments.css when they fit the component intent."] : []
-    ]
-  });
-  if (focusAreas.includes("theme-consistency") && !usesCssVars && usedDecorators.length === 0) {
-    findings.push(
-      makeFinding({
-        id: "theme-consistency-weak",
-        category: "Theme Consistency",
-        severity: resolveSeverityFromChecks(reviewPack, "warn", [
-          "theme-consistency",
-          "mutation-theme-contract"
-        ]),
-        message: "The file does not appear to use theme decorators or CSS variables from the compiled contract.",
-        evidence: [
-          filePath,
-          `Decorators available: ${decoratorNames.slice(0, 5).join(", ") || "none"}`
-        ],
-        file: filePath,
-        suggestedFix: "Anchor styling to tokens.css and treatments.css instead of local hardcoded values."
-      })
-    );
+  if (isContractOnly) {
+    scores.push({
+      category: "Theme Consistency",
+      focusArea: "theme-consistency",
+      score: usesCssVars ? 4 : 3,
+      details: `Contract-only mode: Decantr decorators are not required; CSS vars: ${usesCssVars ? "yes" : "no"}.`,
+      suggestions: [
+        "Use the app design system, Tailwind theme, Sass variables, component variants, or accepted local rules as the styling authority."
+      ]
+    });
+  } else {
+    scores.push({
+      category: "Theme Consistency",
+      focusArea: "theme-consistency",
+      score: decoratorNames.length > 0 ? scoreRatio((usedDecorators.length > 0 ? 1 : 0) + (usesCssVars ? 1 : 0), 2) : usesCssVars ? 4 : 2,
+      details: `Decorators used: ${usedDecorators.join(", ") || "none"}; CSS vars: ${usesCssVars ? "yes" : "no"}`,
+      suggestions: [
+        ...!usesCssVars ? ["Prefer CSS variable references over hardcoded visual values."] : [],
+        ...decoratorNames.length > 0 && usedDecorators.length === 0 ? ["Use theme decorators from treatments.css when they fit the component intent."] : []
+      ]
+    });
+    if (focusAreas.includes("theme-consistency") && !usesCssVars && usedDecorators.length === 0) {
+      findings.push(
+        makeFinding({
+          id: "theme-consistency-weak",
+          category: "Theme Consistency",
+          severity: resolveSeverityFromChecks(reviewPack, "warn", [
+            "theme-consistency",
+            "mutation-theme-contract"
+          ]),
+          message: "The file does not appear to use theme decorators or CSS variables from the compiled contract.",
+          evidence: [
+            filePath,
+            `Decorators available: ${decoratorNames.slice(0, 5).join(", ") || "none"}`
+          ],
+          file: filePath,
+          suggestedFix: "Anchor styling to tokens.css and treatments.css instead of local hardcoded values."
+        })
+      );
+    }
   }
   const hasAria = codeLower.includes("aria-") || codeLower.includes("role=");
   const hasFocus = codeLower.includes("focus-visible") || codeLower.includes("focusvisible");
@@ -11217,7 +11353,9 @@ function critiqueSource({
     ),
     details: reviewPack ? `Compiled review contract covers ${knownRoutes} routes. Placeholder navigation targets: ${placeholderNavigationTargets}.` : packManifest ? `Pack manifest is available for ${knownRoutes} pages, but the review pack is missing. Placeholder navigation targets: ${placeholderNavigationTargets}.` : `No compiled route context was available during critique. Placeholder navigation targets: ${placeholderNavigationTargets}.`,
     suggestions: [
-      ...reviewPack ? [] : ["Run `decantr refresh` so critique starts from a compiled review contract."],
+      ...reviewPack ? [] : [
+        "Run `decantr registry compile-packs decantr.essence.json --write-context` so critique starts from a compiled review contract."
+      ],
       ...placeholderNavigationTargets > 0 ? [
         "Replace placeholder href/to targets with real route destinations from the compiled contract."
       ] : []
@@ -11273,7 +11411,7 @@ function critiqueSource({
           `Disallowed inline style attributes: ${astSignals.inlineStyleAttributeCount}`
         ],
         file: filePath,
-        suggestedFix: "Replace static inline visual values with treatments, decorators, and CSS variables from the compiled contract. Keep inline style only for Decantr CSS-variable writes and truly dynamic geometry."
+        suggestedFix: isContractOnly ? "Replace static inline visual values with the project design system, accepted component variants, or local style rules. Keep inline style only for truly dynamic geometry." : "Replace static inline visual values with treatments, decorators, and CSS variables from the compiled contract. Keep inline style only for Decantr CSS-variable writes and truly dynamic geometry."
       })
     );
   }
@@ -11290,7 +11428,7 @@ function critiqueSource({
         message: "Component-scoped style tags or dynamic style elements were detected in the reviewed file.",
         evidence: [filePath, `Component style tag signals: ${componentStyleTagSignals}`],
         file: filePath,
-        suggestedFix: "Move shared keyframes, media queries, and visual rules into global.css or treatments.css so the file stays aligned with the Decantr layer contract."
+        suggestedFix: isContractOnly ? "Move shared keyframes, media queries, and visual rules into the project stylesheet, component library, or accepted local pattern/rule manifest." : "Move shared keyframes, media queries, and visual rules into global.css or treatments.css so the file stays aligned with the Decantr layer contract."
       })
     );
   }
@@ -11943,12 +12081,14 @@ async function critiqueFile(filePath, projectRoot) {
   const treatmentsCss = readTextIfExists(join2(projectRoot, "src", "styles", "treatments.css"));
   const reviewPack = loadReviewPack(projectRoot);
   const packManifest = loadPackManifest(projectRoot);
+  const adoptionMode = readProjectAdoptionMode(projectRoot);
   return critiqueSource({
     filePath: resolvedPath,
     code,
     reviewPack,
     packManifest,
-    treatmentsCss
+    treatmentsCss,
+    adoptionMode
   });
 }
 export {
@@ -11957,6 +12097,7 @@ export {
   VERIFICATION_SCHEMA_URLS,
   auditBuiltDist,
   auditProject,
+  collectMissingPackManifestFiles,
   createContractAssertions,
   createEvidenceBundle,
   critiqueFile,