synthesisui 0.16.50 → 0.16.51

package/dist/commands/import.js

@@ -3,7 +3,7 @@ import { basename, join, relative } from "node:path";
 import { readToken, resolveRegistry } from "../config.js";
 import { isNearDuplicate } from "../doctor/color-distance.js";
 import { emptyTally, internalSpecifiers, scanComponentsInto, tallyToInventory, } from "../doctor/components-scan.js";
-import { crosswalk } from "../doctor/crosswalk.js";
+import { crosswalk, observedRules } from "../doctor/crosswalk.js";
 import { diagnose, scanSource } from "../doctor/scan.js";
 import { parseSchemeBlocks } from "../doctor/scheme-blocks.js";
 import { buildTable } from "../doctor/tokens.js";
@@ -293,9 +293,14 @@ export async function takeCensus(root) {
         r.component.name,
         { bucket: r.bucket, canonical: r.canonical, because: r.because },
     ]));
+    const laws = new Map();
+    for (const r of observedRules(inventory)) {
+        laws.set(r.component, [...(laws.get(r.component) ?? []), r.text]);
+    }
     const components = inventory.map((c) => ({
         ...c,
         ...(verdicts.get(c.name) ?? {}),
+        ...(laws.has(c.name) ? { laws: laws.get(c.name) } : {}),
     }));
     const pkgRaw = await readFile(join(root, "package.json"), "utf8").catch(() => null);
     let name = null;
@@ -402,6 +407,29 @@ function printComponents(c) {
         console.log(body(paint.faint(`(${mine.length - 12} more of yours)`)));
     }
     printCrosswalk(mine);
+    printObserved(mine);
+}
+/**
+ * Laws their code already obeys, printed with the evidence that found them.
+ *
+ * Not applied and not sent as decisions - they ride along on the contract as
+ * `usage`, which is where a law about one component belongs and what the GUIDE
+ * and the build script already read.
+ */
+function printObserved(mine) {
+    const rules = observedRules(mine);
+    if (rules.length === 0)
+        return;
+    console.log("");
+    console.log(section("Laws your code already obeys"));
+    console.log(body(paint.faint("A prop with one value across many files is not a choice being made - it is a rule nobody wrote down.")));
+    console.log("");
+    for (const r of rules.slice(0, 8)) {
+        console.log(body(`  ${paint.strong(r.component)} ${paint.dim(r.text.replace(/^Always /, "always "))}`));
+    }
+    if (rules.length > 8) {
+        console.log(body(paint.faint(`  (${rules.length - 8} more)`)));
+    }
 }
 /**
  * The crosswalk, printed and nothing else.

package/dist/doctor/components-scan.js

@@ -106,6 +106,7 @@ internal = []) {
                 count: 0,
                 files: new Set(),
                 props: new Map(),
+                propFiles: new Map(),
                 ...(owner ? { from: owner } : {}),
             };
             tally.set(name, hit);
@@ -122,6 +123,9 @@ internal = []) {
             const bucket = hit.props.get(prop) ?? new Map();
             bucket.set(value, (bucket.get(value) ?? 0) + 1);
             hit.props.set(prop, bucket);
+            const seenIn = hit.propFiles.get(prop) ?? new Set();
+            seenIn.add(file);
+            hit.propFiles.set(prop, seenIn);
         }
         // Bare booleans, minus anything already read as a valued prop.
         // Strip the WHOLE pair, name included: stripping only the value left
@@ -138,6 +142,9 @@ internal = []) {
             const bucket = hit.props.get(prop) ?? new Map();
             bucket.set("true", (bucket.get("true") ?? 0) + 1);
             hit.props.set(prop, bucket);
+            const seenIn = hit.propFiles.get(prop) ?? new Set();
+            seenIn.add(file);
+            hit.propFiles.set(prop, seenIn);
         }
     }
 }
@@ -149,6 +156,7 @@ export function tallyToInventory(tally, max = 80) {
         ...(v.from ? { from: v.from } : {}),
         count: v.count,
         files: v.files.size,
+        propFiles: Object.fromEntries([...v.propFiles.entries()].map(([p, files]) => [p, files.size])),
         props: Object.fromEntries([...v.props.entries()].map(([p, values]) => [
             p,
             [...values.entries()]

package/dist/doctor/crosswalk.js

@@ -337,3 +337,41 @@ export function crosswalk(components) {
     })
         .sort((a, b) => b.component.files - a.component.files);
 }
+/** Below this a repetition is a coincidence rather than a habit. */
+export const RULE_MIN_FILES = 3;
+export function observedRules(components) {
+    const out = [];
+    for (const c of components) {
+        if (c.from)
+            continue;
+        for (const [prop, values] of Object.entries(c.props)) {
+            if (values.length !== 1)
+                continue;
+            const value = values[0];
+            // A law is about a DESIGN AXIS or a flag. `marginBottom="1em"` and
+            // `textAlign="center"` are CSS escaping through a prop - a real finding,
+            // and a different one, but writing "always textAlign=center" as a law of
+            // the component is nonsense (dono, 31/07).
+            const isAxis = AXIS_SYNONYM[prop.toLowerCase()] != null;
+            if (!isAxis && value !== "true")
+                continue;
+            // The prop's OWN reach, never the component's: `Text` lives in 66 files
+            // and `textAlign` may appear in one of them, and the first version
+            // claimed all 66 agreed.
+            const files = c.propFiles?.[prop] ?? 0;
+            if (files < RULE_MIN_FILES)
+                continue;
+            out.push({
+                component: c.name,
+                prop,
+                value,
+                files,
+                count: c.count,
+                text: value === "true"
+                    ? `Always set ${prop} - every one of the ${files} files that passes it does.`
+                    : `Always ${prop}="${value}" - all ${files} files that pass it agree.`,
+            });
+        }
+    }
+    return out.sort((a, b) => b.files - a.files || b.count - a.count);
+}

package/package.json

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