unoverse 0.1.189 → 0.1.190

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "unoverse",
-  "version": "0.1.189",
+  "version": "0.1.190",
   "description": "The Unoverse front door — create a Studio project, a universe, or a client app, and launch Studio.",
   "license": "SEE LICENSE IN README.md",
   "type": "module",

package/vendor/base/lint/design/walk.mjs

@@ -17,9 +17,15 @@ import { join, dirname, basename, relative, sep } from "node:path";
 import { PRIMITIVES, CONDITION_KEYS, STYLE_KEYS, RAW_VALUE, CHILD_NODE_KEYS, PARTIAL_DIRS, DIMENSION_KEYS, UNIVERSAL_PROPS, PRIMITIVE_PROPS, PRIMITIVE_BINDS } from "./vocabulary.mjs";
 import { isDefFile, defName, defPath, readDef } from "./defs.mjs";
 
-// THE THREE WORDS and the director's closed block (UNOVERSE_TEMPLATE_MODEL.md §9b).
-const SECTION_WORDS = ["static", "copywriter", "director"];
+// THE FOUR WORDS and the two closed blocks (UNOVERSE_TEMPLATE_MODEL.md §9b + §9e).
+const SECTION_WORDS = ["static", "copywriter", "director", "query"];
 const DIRECTOR_KEYS = ["state", "limit", "rules", "preview"];
+// §9e: a queried place says WHAT draws it, WHAT it asks, WHAT KIND may answer, HOW MANY.
+const QUERY_KEYS = ["component", "ask", "type", "include", "pick"];
+// The `object_type`s a place may admit. Apps and skills are absent by construction: the
+// page's own searches are SILENT (no app unlocked, no tool minted, no card lane, no
+// director woken), or every place would rain cards onto a page still assembling itself.
+const QUERY_TYPES = ["services", "images", "needs", "actions"];
 
 export function makeWalkNode(ctx) {
   const { report, checkCondition, checkDimension, checkToken, appSizesForFile, componentNamesForFile, refResolves, canonicalRef, declaredProps, atomsDirExists, stepList, spaceSteps, isAppPath, isTemplatePath, defRoot } = ctx;
@@ -83,6 +89,71 @@ function walkNode(node, file, root, widthCap = null, isLayoutRoot = false) {
       if (face && seen.includes(face))
         report("error", file, `two directed bands claim the face "${face}". A face has exactly one surface, or the active one is ambiguous (§9b rule 3, the reaction contract)`);
       directorsSeen.set(file, [...seen, face]);
+    } else if (word === "query") {
+      /**
+       * A QUERIED PLACE (§9e, RULED 2026-09-01) — lane 2 of §5b, spelled at last. It links a
+       * component like `static:`/`copywriter:` do, but as a BLOCK, because it also carries
+       * the question it puts to the search.
+       *
+       * The checks here are the ones that fail SILENTLY at runtime: a place with no ask
+       * simply never fills, and a place asking for a type nobody stores draws nothing. Both
+       * read as "the design is broken" on screen, with nothing in any log saying why.
+       */
+      const q = node.query;
+      if (!q || typeof q !== "object" || Array.isArray(q)) {
+        report("error", file, `"query:" is a block, not a path — it carries the component AND the question it asks (§9e)`);
+      } else {
+        for (const k of Object.keys(q))
+          if (!QUERY_KEYS.includes(k))
+            report("error", file, `query has no "${k}". It reads ${QUERY_KEYS.map((x) => `"${x}"`).join(", ")} (§9e, the four words: the ask, which search answers it, what kind may answer, how many the director picks)`);
+        if (typeof q.component !== "string" || !q.component)
+          report("error", file, `query.component links the part by PATH (component: components/<part>) — that is what draws the rows it finds (§9e)`);
+        else if (!defPath(root, q.component) && !existsSync(join(root, q.component)))
+          report("error", file, `query.component "${q.component}" does not resolve under ${relative(process.cwd(), root)}/ (§9e)`);
+        if (typeof q.ask !== "string" || !q.ask.trim())
+          report("error", file, `query.ask is the QUESTION put to the search — without one the place never fills, and nothing says so (§9e)`);
+        // REQUIRED, both of them (2026-09-01). The engine supplies NO defaults: it has to
+        // fill a course page and a deal page as readily as a day, and a default `include`
+        // or `limit` would be one template's answer written into the platform. A place that
+        // does not say what it wants and how many is skipped at runtime, so the slip has to
+        // be caught here or it is silent.
+        if (q.include === undefined)
+          report("error", file, `query.include is REQUIRED — the engine has no default kind, because a default would be one template's answer written into the platform (§9e rule 6)`);
+        if (q.pick === undefined)
+          report("error", file, `query.pick is REQUIRED — how many the director puts on the page; the engine has no default count (§9e rule 9)`);
+        // A searching place says WHICH search answers it; a gallery place ([images] alone)
+        // never searches and omits it. Skipped silently at runtime otherwise (§9e).
+        const gallery = Array.isArray(q.include) && q.include.length > 0 && q.include.every((w) => String(w).toLowerCase() === "images");
+        if (!gallery && q.type !== "discovery" && q.type !== "intent")
+          report("error", file, `query.type is REQUIRED on a searching place — "discovery" (what lives around a topic) or "intent" (a named need). The author knows which their question is (§9e)`);
+        {
+          // NOT CHECKED HERE: "one place, one kind of moment, one plain question" (§9e).
+          // It is a real rule and it is not machine-readable. An "and" check was written and
+          // removed the same hour: it fired on "theme parks and attractions"
+          // and "bars and evening entertainment", which name ONE kind of thing twice for
+          // recall — indistinguishable by regex from "dinner and after-dark", which is two
+          // moments. A warning that fires on correct authoring teaches authors to ignore
+          // warnings, so the rule stays in the doc and in review rather than half-enforced.
+
+          // The template writes the half true of EVERY guest; who the guest is reaches the
+          // ranking through task affinity, not through the words. Measured 2026-09-01:
+          // a plain "restaurants" ask returned three matches, and the same question with
+          // ", for a family with teenagers" appended returned NONE — the clause pulls the
+          // embedding off the thing being asked for, under the precision floor.
+          if (/\b(for a|for my|with kids|with children|teenager|family of)\b/i.test(q.ask))
+            report("error", file, `query.ask "${q.ask}" names WHO it is for. An ask says what KIND of thing; who the guest is rides task affinity in the ranking, and appending it to the question drops every match under the precision floor (§9e rule 4)`);
+        }
+        if (q.include !== undefined) {
+          if (!Array.isArray(q.include) || q.include.some((t) => typeof t !== "string"))
+            report("error", file, `query.include is an array of result types — ${QUERY_TYPES.map((t) => `"${t}"`).join(", ")} (§9e rule 6)`);
+          else
+            for (const t of q.include)
+              if (!QUERY_TYPES.includes(String(t)))
+                report("error", file, `query.include has no "${t}". A place may admit ${QUERY_TYPES.map((x) => `"${x}"`).join(", ")}; apps and skills are never included, because the page's own searches are SILENT (§9e rule 6)`);
+        }
+        if (q.pick !== undefined && (typeof q.pick !== "number" || q.pick < 1))
+          report("error", file, `query.pick is a NUMBER — how many the director puts on the page, a cap the machine enforces (§9e rule 9)`);
+      }
     } else if (typeof node[word] !== "string") {
       report("error", file, `"${word}:" links a component by PATH (${word}: components/<part>) — that is what makes it a known part (§9b rule 1)`);
     } else {
@@ -97,7 +168,7 @@ function walkNode(node, file, root, widthCap = null, isLayoutRoot = false) {
     // exists to abolish.
     if (node.select !== undefined)
       report("error", file, `a template part never authors "select" — the three words compile to the wire primitives at serve time (§9b rule 9)`);
-    const { static: _s, copywriter: _c, director: _d, select: _sel, ...rest } = node;
+    const { static: _s, copywriter: _c, director: _d, query: _q, select: _sel, ...rest } = node;
     // An unpinned director claims the OWNING STATE's name (arrivals keep their own state
     // and the template's states react by name — the free grid↔page dance), so the face
     // comes from whichever state in the envelope declares this layout.
@@ -111,7 +182,12 @@ function walkNode(node, file, root, widthCap = null, isLayoutRoot = false) {
         return typeof l === "string" && basename(l).toLowerCase() === here.toLowerCase();
       });
     };
-    const face = word === "director" ? (node.director?.state ?? owningState()) : String(node[word]).split("/").pop();
+    // A QUERIED place links its component under `component:`, and claims that part's own
+    // face at limit 1 exactly as a linked part does — its `limit:` counts ROWS inside the
+    // part, not instances of it, so it never reaches the slot (§9e).
+    const linkedPath = word === "query" ? node.query?.component : node[word];
+    const face =
+      word === "director" ? (node.director?.state ?? owningState()) : typeof linkedPath === "string" ? linkedPath.split("/").pop() : undefined;
     const limit = word === "director" ? node.director?.limit : 1;
     const select = { from: "all", ...(face ? { where: { field: "state", eq: face } } : {}), ...(typeof limit === "number" ? { limit } : {}) };
     return walkNode({ type: "ComponentSlot", select, ...rest }, file, root, widthCap);