synthesisui 0.9.0 → 0.9.1

package/dist/commands/doctor.js

@@ -2,7 +2,7 @@ import { readdir, readFile } from "node:fs/promises";
 import { join, relative, resolve } from "node:path";
 import { bindingsFromDocument, countComponents, findOverrides, } from "../doctor/overrides.js";
 import { diagnose, scanSource, } from "../doctor/scan.js";
-import { findSelfConflicts } from "../doctor/self-conflict.js";
+import { findSelfConflicts, forbiddenProps, isReset, propMatchesLabel, } from "../doctor/self-conflict.js";
 import { buildTable, EMPTY_TABLE, nearestToken, } from "../doctor/tokens.js";
 import { body, section, snippet } from "../output.js";
 /**
@@ -313,10 +313,64 @@ export async function doctor(opts) {
             console.log(body(`+${files.length - shownFiles.length} more files. Run with --all to see everything.`));
         }
     }
+    // Every other section asks whether the code obeys the system. This one asks
+    // whether the system obeys itself, and it is only here because the tool once
+    // reported a consumer for overruling a recipe while they were obeying the
+    // law written on that same component.
+    const conflicts = documents.flatMap((doc) => findSelfConflicts(doc));
+    const conflictsInUse = conflicts.filter((c) => used.has(c.component));
+    if (conflictsInUse.length > 0) {
+        console.log(section("Your system contradicts itself"));
+        console.log(body(conflictsInUse.length === 1
+            ? "One component says one thing in prose and another in its recipe."
+            : `${conflictsInUse.length} components say one thing in prose and another in their recipe.`));
+        console.log("");
+        for (const c of conflictsInUse) {
+            console.log(body(`ds-${c.component}`));
+            console.log(`          "${c.law}"`);
+            console.log(`          but ${c.where} binds ${c.value}`);
+            console.log("");
+        }
+        console.log(body("Whoever wrote the law and whoever wrote the recipe disagree."));
+        console.log(body("Until they do not, no code here can be correct."));
+    }
     if (overrides.length > 0) {
+        // An override on a property the component's own law FORBIDS, written as a
+        // reset, is not drift - it is the author keeping a promise the recipe
+        // broke. Counting it against them was the report being unfair to the only
+        // person in the loop who read the law (investidorez, 25/07).
+        const forbidden = new Map();
+        for (const doc of documents) {
+            for (const [comp, props] of forbiddenProps(doc)) {
+                const merged = forbidden.get(comp) ?? new Map();
+                for (const [label, law] of props)
+                    merged.set(label, law);
+                forbidden.set(comp, merged);
+            }
+        }
+        const lawKept = (o) => {
+            if (!isReset(o.wrote))
+                return null;
+            const props = forbidden.get(o.component);
+            if (!props)
+                return null;
+            for (const [label, law] of props) {
+                if (propMatchesLabel(o.prop, label))
+                    return law;
+            }
+            return null;
+        };
+        const drifting = overrides.filter((o) => lawKept(o) === null);
+        const correcting = overrides.length - drifting.length;
         console.log(section("Overruled"));
-        console.log(body(`${overrides.length} place${overrides.length === 1 ? "" : "s"} where the code takes a component`));
+        console.log(body(`${drifting.length} place${drifting.length === 1 ? "" : "s"} where the code takes a component`));
         console.log(body("the system defines, and then overrules it locally."));
+        if (correcting > 0) {
+            console.log("");
+            console.log(body(correcting === 1
+                ? "One more overrules it to KEEP a law the recipe breaks - marked below."
+                : `${correcting} more overrule it to KEEP a law the recipe breaks - marked below.`));
+        }
         console.log("");
         const byFile = new Map();
         for (const o of overrides) {
@@ -338,6 +392,11 @@ export async function doctor(opts) {
                     console.log(`            the recipe binds ${o.recipe}`);
                 else if (o.where)
                     console.log(`            the recipe binds it ${o.where}`);
+                const kept = lawKept(o);
+                if (kept) {
+                    console.log(`            ✓ but the law says: "${kept}"`);
+                    console.log("              this override keeps it - the recipe does not");
+                }
             }
             if (!opts.all && list.length > 3) {
                 console.log(`            +${list.length - 3} more`);
@@ -351,27 +410,6 @@ export async function doctor(opts) {
     // The system's own words, for the components this project actually uses.
     // Prose, so nothing verifies it - the value is putting it in front of
     // whoever is touching the component, which no other tool is positioned to
-    // Every other section asks whether the code obeys the system. This one asks
-    // whether the system obeys itself, and it is only here because the tool once
-    // reported a consumer for overruling a recipe while they were obeying the
-    // law written on that same component.
-    const conflicts = documents.flatMap((doc) => findSelfConflicts(doc));
-    const conflictsInUse = conflicts.filter((c) => used.has(c.component));
-    if (conflictsInUse.length > 0) {
-        console.log(section("Your system contradicts itself"));
-        console.log(body(conflictsInUse.length === 1
-            ? "One component says one thing in prose and another in its recipe."
-            : `${conflictsInUse.length} components say one thing in prose and another in their recipe.`));
-        console.log("");
-        for (const c of conflictsInUse) {
-            console.log(body(`ds-${c.component}`));
-            console.log(`          "${c.law}"`);
-            console.log(`          but ${c.where} binds ${c.value}`);
-            console.log("");
-        }
-        console.log(body("Whoever wrote the law and whoever wrote the recipe disagree."));
-        console.log(body("Until they do not, no code here can be correct."));
-    }
     // do because no other tool knows these laws exist.
     const inUse = [...used.entries()]
         .filter(([name]) => (recipes.get(name)?.usage.length ?? 0) > 0)

package/dist/doctor/self-conflict.js

@@ -94,6 +94,43 @@ function* declarations(node, where) {
         }
     }
 }
+/**
+ * Per component, the properties its own laws forbid and the law that does it.
+ *
+ * The report needs this separately from the conflicts: an override on a
+ * forbidden property is not drift, it is the author keeping a promise the
+ * recipe broke. Listing them together was accusing the person who was right.
+ */
+export function forbiddenProps(document) {
+    const out = new Map();
+    const doc = (document ?? {});
+    const components = (doc.components ?? {});
+    for (const [name, raw] of Object.entries(components)) {
+        const recipe = (raw ?? {});
+        const laws = Array.isArray(recipe.usage)
+            ? recipe.usage.filter((x) => typeof x === "string")
+            : [];
+        for (const law of laws) {
+            for (const rule of FORBIDDABLE) {
+                if (!forbids(law, rule.words))
+                    continue;
+                const byProp = out.get(name) ?? new Map();
+                byProp.set(rule.label, law);
+                out.set(name, byProp);
+            }
+        }
+    }
+    return out;
+}
+/** Is this property one the law names, given how the rule matches? */
+export function propMatchesLabel(prop, label) {
+    const rule = FORBIDDABLE.find((r) => r.label === label);
+    return rule ? rule.prop.test(prop) : false;
+}
+/** A value that removes rather than sets - the law being kept. */
+export function isReset(value) {
+    return !isSet(value);
+}
 /**
  * Every place a component's recipe does what its own law forbids.
  */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "synthesisui",
-  "version": "0.9.0",
+  "version": "0.9.1",
   "description": "Bring SynthesisUI design systems into any project - tokens, typed components, whole pages and an agent-ready CLAUDE.md manifest.",
   "type": "module",
   "bin": {